{
  "vercy": "1.0-draft",
  "publication": {
    "status": "research-draft",
    "adjudicationStatus": "unreviewed",
    "publishableCanonical": false,
    "generatedAt": "2026-09-12T05:47:46Z",
    "providers": [
      "Claude"
    ],
    "breadth": "written by Claude from model knowledge without web access - no source was read, every claim is a lead to verify",
    "pass": 2,
    "wave": 2,
    "engine": "claude",
    "enrichment": {
      "pass": 3,
      "engine": "claude",
      "producedAt": "2026-10-05T23:50:00Z",
      "ingestedAt": "2026-10-05T20:54:12+00:00",
      "fields": [
        "agent_conduct",
        "ethics",
        "owners"
      ]
    }
  },
  "metaModel": {
    "id": "THING-Q849530",
    "registryId": "vr.tr.carmichael-number",
    "name": "Carmichael number",
    "version": "0.2.0-wave.2",
    "entryKind": "thing",
    "family": "Thing Registry",
    "domain": [
      "XCT.QTY"
    ],
    "status": "research-draft"
  },
  "canonicalUrl": "https://ver.cy/models/thing/q849530/",
  "model": {
    "registry_id": "vr.tr.carmichael-number",
    "name": "Carmichael number",
    "purpose": "Let an agent explain Carmichael numbers and their definition and characterisation, describe their significance for primality testing, support computation and proofs, and support learning in number theory.",
    "definition": "A composite positive integer that satisfies the congruence of Fermat little theorem for every base coprime to it, so that it passes the Fermat primality test for all such bases despite not being prime, the smallest being five hundred and sixty-one, characterised by the Korselt criterion as square-free numbers each of whose prime factors minus one divides the number minus one; Carmichael numbers are infinite in number and matter for primality testing and cryptography.",
    "what_it_is_for": "Composites passing Fermat tests for all bases.",
    "affordances": [
      "explain definition and criterion",
      "describe significance",
      "support computation",
      "support learning"
    ],
    "distinguishing_features": [
      "Absolute Fermat pseudoprime",
      "Korselt criterion",
      "Square-free with at least three primes",
      "Infinitely many"
    ],
    "appearance": "Not physical; integers.",
    "visual_identification": [
      "Composite passing Fermat test for all coprime bases",
      "Five hundred and sixty-one is the smallest",
      "Fermat pseudoprimes pass for some bases; primes pass because they are prime"
    ],
    "physical_properties": [],
    "families_and_kinds": [
      "Carmichael numbers with three prime factors",
      "Carmichael numbers with many factors",
      "Chernick constructions",
      "generalisations to other pseudoprimes",
      "Carmichael numbers in cryptographic testing"
    ],
    "related_models": [
      {
        "relation": "is a kind of",
        "target": "Fermat pseudoprime",
        "why": "category"
      },
      {
        "relation": "is a kind of",
        "target": "Knodel number",
        "why": "category"
      },
      {
        "relation": "is related to",
        "target": "Lucas number",
        "why": "another number-theoretic class"
      },
      {
        "relation": "is related to",
        "target": "remainder",
        "why": "congruences underlying the definition"
      }
    ],
    "identifiers": [],
    "standards_and_regulation": [
      "Mathematical notation conventions",
      "Integer sequence catalogues",
      "No regulation of the concept"
    ],
    "failure_modes_and_hazards": [
      "Trusting Fermat tests alone for primality",
      "Confusing with ordinary pseudoprimes",
      "Computation errors"
    ],
    "in_scope": [],
    "out_of_scope": [],
    "characteristics": [],
    "agent_conduct": {
      "may": [
        "Explain Carmichael numbers and the Korselt criterion.",
        "Check whether a given number is a Carmichael number.",
        "Explain why Fermat tests alone cannot certify primality."
      ],
      "must_not": [
        "Rely on a Fermat test alone to declare a number prime in security software.",
        "Confuse Carmichael numbers with other pseudoprimes.",
        "Present an unverified computation as checked.",
        "Present homework answers as the student's own work when that would be dishonest."
      ],
      "requires_human": [
        "Choosing a primality test for cryptographic keys."
      ]
    },
    "ethics": {
      "considerations": [
        "Weak primality testing can leave cryptographic systems open.",
        "Help with learning should build understanding, not replace it."
      ],
      "affected_parties": [
        "Users of cryptographic systems",
        "Students",
        "Software developers"
      ]
    },
    "owners": {
      "steward": "Nobody: a mathematical object held in common.",
      "master_systems": []
    }
  },
  "sources": [],
  "structure": {
    "bundles": [
      {
        "id": "understand",
        "name": "Understand",
        "description": "What Carmichael numbers are.",
        "rationale": "Mathematics.",
        "layers": [
          {
            "id": "definition",
            "name": "Definition",
            "description": "Definition.",
            "findings": [
              {
                "id": "definition-finding",
                "name": "Definition",
                "description": "Definition.",
                "questions": [
                  {
                    "text": "How are Carmichael numbers defined, and what does the Korselt criterion say?",
                    "kind": "definition"
                  },
                  {
                    "text": "Which entry fits Fermat little theorem?",
                    "kind": "action"
                  }
                ]
              }
            ]
          },
          {
            "id": "examples",
            "name": "Examples",
            "description": "Examples and structure.",
            "findings": [
              {
                "id": "examples-finding",
                "name": "Examples",
                "description": "Examples.",
                "questions": [
                  {
                    "text": "What are the smallest Carmichael numbers, and what structure do they share?",
                    "kind": "definition"
                  },
                  {
                    "text": "Which property is meant?",
                    "kind": "boundary"
                  }
                ]
              }
            ]
          }
        ]
      },
      {
        "id": "apply",
        "name": "Apply",
        "description": "Primality testing.",
        "rationale": "Practice.",
        "layers": [
          {
            "id": "testing",
            "name": "Testing",
            "description": "Fermat and stronger tests.",
            "findings": [
              {
                "id": "testing-finding",
                "name": "Testing",
                "description": "Testing.",
                "questions": [
                  {
                    "text": "Why do Carmichael numbers defeat the Fermat test, and how do stronger tests handle them?",
                    "kind": "provenance"
                  },
                  {
                    "text": "Which entry fits primality testing?",
                    "kind": "action"
                  }
                ]
              }
            ]
          },
          {
            "id": "check",
            "name": "Check",
            "description": "Checking a number.",
            "findings": [
              {
                "id": "check-finding",
                "name": "Check",
                "description": "Checking.",
                "questions": [
                  {
                    "text": "Is this number a Carmichael number, and how can it be verified?",
                    "kind": "action"
                  },
                  {
                    "text": "Which entry fits factorisation?",
                    "kind": "action"
                  }
                ]
              }
            ]
          }
        ]
      },
      {
        "id": "theory",
        "name": "Theory",
        "description": "Theory and results.",
        "rationale": "Scholarship.",
        "layers": [
          {
            "id": "infinitude",
            "name": "Infinitude",
            "description": "Infinitely many.",
            "findings": [
              {
                "id": "infinitude-finding",
                "name": "Infinitude",
                "description": "Infinitude.",
                "questions": [
                  {
                    "text": "How was it proved that there are infinitely many Carmichael numbers?",
                    "kind": "provenance"
                  },
                  {
                    "text": "Which findings are current?",
                    "kind": "boundary"
                  }
                ]
              }
            ]
          },
          {
            "id": "generalisations",
            "name": "Generalisations",
            "description": "Generalisations.",
            "findings": [
              {
                "id": "generalisations-finding",
                "name": "Generalisations",
                "description": "Generalisations.",
                "questions": [
                  {
                    "text": "What generalisations and related pseudoprime classes exist?",
                    "kind": "provenance"
                  },
                  {
                    "text": "Which entry fits pseudoprimes?",
                    "kind": "action"
                  }
                ]
              }
            ]
          }
        ]
      },
      {
        "id": "learn",
        "name": "Learn",
        "description": "History and teaching.",
        "rationale": "Education.",
        "layers": [
          {
            "id": "history",
            "name": "History",
            "description": "History.",
            "findings": [
              {
                "id": "history-finding",
                "name": "History",
                "description": "History.",
                "questions": [
                  {
                    "text": "How were Carmichael numbers discovered and named?",
                    "kind": "provenance"
                  },
                  {
                    "text": "Which references are standard?",
                    "kind": "provenance"
                  }
                ]
              }
            ]
          },
          {
            "id": "teach",
            "name": "Teach",
            "description": "Teaching.",
            "findings": [
              {
                "id": "teach-finding",
                "name": "Teach",
                "description": "Teaching.",
                "questions": [
                  {
                    "text": "How can Carmichael numbers be taught in number theory?",
                    "kind": "action"
                  },
                  {
                    "text": "Which misconceptions arise?",
                    "kind": "provenance"
                  }
                ]
              }
            ]
          }
        ]
      }
    ]
  },
  "openQuestions": [
    "Should pseudoprimes be a separate entry?",
    "How should sequence catalogues be linked?",
    "How should open problems be tracked?"
  ],
  "statistics": {
    "bundles": 4,
    "layers": 8,
    "findings": 8,
    "questions": 16
  }
}