{
  "vercy": "1.0-draft",
  "publication": {
    "status": "research-draft",
    "adjudicationStatus": "unreviewed",
    "publishableCanonical": false,
    "generatedAt": "2026-09-13T04:06:09Z",
    "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": 3,
    "engine": "claude",
    "enrichment": {
      "pass": 3,
      "engine": "claude",
      "producedAt": "2026-10-06T10:00:00Z",
      "ingestedAt": "2026-10-06T07:05:45+00:00",
      "fields": [
        "agent_conduct",
        "ethics",
        "owners"
      ]
    },
    "gate": {
      "passed": true,
      "version": "1.0",
      "at": "2026-10-06T19:52:01+00:00",
      "evidence": [
        "completeness 1.00",
        "sense: Wikidata description",
        "2 live sources",
        "review by codex: pass"
      ]
    }
  },
  "metaModel": {
    "id": "THING-Q728223",
    "registryId": "vr.tr.euclid-number",
    "name": "Euclid number",
    "version": "0.2.0-wave.3",
    "entryKind": "thing",
    "family": "Thing Registry",
    "domain": [
      "XCT.QTY"
    ],
    "status": "research-draft"
  },
  "canonicalUrl": "https://ver.cy/models/thing/q728223/",
  "model": {
    "registry_id": "vr.tr.euclid-number",
    "name": "Euclid number",
    "purpose": "Let an agent explain Euclid numbers and their relation to Euclid proof, relay known primality results and open problems from number theory references, and distinguish Euclid numbers from primorial primes and Euclid-Mullin sequences.",
    "definition": "A number of the form E_n = p_n# + 1, one more than the product of the first n prime numbers, named after Euclid because his proof of the infinitude of primes considers such products, giving 3, 7, 31, 211, 2311, 30031 and so on; the first few Euclid numbers are prime but 30031 is composite, it is unknown whether infinitely many Euclid numbers are prime, and they are related to primorials and to the primorial primes.",
    "what_it_is_for": "Not applicable; a mathematical concept.",
    "affordances": [
      "explain the definition",
      "relay known results",
      "describe open problems",
      "distinguish related sequences"
    ],
    "distinguishing_features": [
      "Primorial plus one",
      "Euclid proof link",
      "Mostly composite",
      "Open primality question"
    ],
    "appearance": "Not a visible object; integers one more than primorials.",
    "visual_identification": [
      "Primorial plus one",
      "E_1 = 3, E_2 = 7, E_3 = 31, E_4 = 211, E_5 = 2311, E_6 = 30031",
      "Primorial primes include p# - 1 forms; the Euclid-Mullin sequence uses smallest prime factors"
    ],
    "physical_properties": [
      {
        "quantity": "first Euclid numbers",
        "typical_range": "3, 7, 31, 211, 2311, 30031",
        "unit": "sequence",
        "note": "OEIS A006862"
      },
      {
        "quantity": "first composite Euclid number",
        "typical_range": "30031",
        "unit": "value",
        "note": "59 times 509"
      },
      {
        "quantity": "known prime Euclid numbers",
        "typical_range": "for n = 1 to 5, 11, 75, 171, 172, 384 and more",
        "unit": "list",
        "note": "per OEIS"
      }
    ],
    "families_and_kinds": [
      "Euclid numbers p_n# + 1",
      "primorial primes of the form p# plus or minus 1",
      "Euclid-Mullin sequence",
      "Kummer numbers p_n# - 1"
    ],
    "related_models": [
      {
        "relation": "is a kind of",
        "target": "positive integer",
        "why": "in registry terms"
      },
      {
        "relation": "is built from",
        "target": "primorial",
        "why": "plus one"
      },
      {
        "relation": "is named after",
        "target": "Euclid",
        "why": "and his proof of infinite primes"
      },
      {
        "relation": "is related to",
        "target": "primorial prime",
        "why": "when prime"
      }
    ],
    "identifiers": [
      {
        "scheme": "OEIS",
        "value_or_pattern": "A006862",
        "note": "Euclid numbers"
      }
    ],
    "standards_and_regulation": [
      "No regulation; standard mathematical definitions"
    ],
    "failure_modes_and_hazards": [
      "Assuming all Euclid numbers are prime",
      "Misreading Euclid proof as producing primes directly",
      "Confusing with primorial primes or the Euclid-Mullin sequence"
    ],
    "in_scope": [],
    "out_of_scope": [],
    "characteristics": [],
    "agent_conduct": {
      "may": [
        "Compute Euclid numbers and state which are known to be prime or composite, citing sources.",
        "Explain the role of such products in Euclid's proof of the infinitude of primes.",
        "Distinguish Euclid numbers from primorial primes and the Euclid-Mullin sequence."
      ],
      "must_not": [
        "State that every Euclid number is prime.",
        "Claim that Euclid's proof constructs new primes directly as Euclid numbers.",
        "Claim new primality results without verifiable computation or a published source."
      ],
      "requires_human": [
        "Announcing a new mathematical result about Euclid numbers to the public."
      ]
    },
    "ethics": {
      "considerations": [
        "The common misreading of Euclid's proof spreads a false lesson to students."
      ],
      "affected_parties": [
        "Students and teachers",
        "Mathematicians"
      ]
    },
    "owners": {
      "steward": "Nobody: a mathematical concept is held in common.",
      "master_systems": []
    }
  },
  "sources": [
    {
      "id": "wikidata",
      "title": "Wikidata item Q728223: Euclid number",
      "url": "https://www.wikidata.org/wiki/Q728223",
      "url_status": "live",
      "what_it_supports": "identity and sense of the item",
      "checked_by": "wikidata-api"
    },
    {
      "id": "wikipedia-en",
      "title": "Wikipedia: Euclid number",
      "url": "https://en.wikipedia.org/wiki/Euclid_number",
      "url_status": "live",
      "what_it_supports": "general description of the item",
      "checked_by": "wikidata-api sitelink"
    }
  ],
  "structure": {
    "bundles": [
      {
        "id": "understand",
        "name": "Understand",
        "description": "What a Euclid number is.",
        "rationale": "Mathematics.",
        "layers": [
          {
            "id": "definition",
            "name": "Definition",
            "description": "Definition.",
            "findings": [
              {
                "id": "definition-finding",
                "name": "Definition",
                "description": "Definition.",
                "questions": [
                  {
                    "text": "What is a Euclid number, and how does it relate to Euclid proof that there are infinitely many primes?",
                    "kind": "definition"
                  },
                  {
                    "text": "Is the question about Euclid numbers, primorial primes or the Euclid-Mullin sequence?",
                    "kind": "boundary"
                  }
                ]
              }
            ]
          },
          {
            "id": "examples",
            "name": "Examples",
            "description": "Examples.",
            "findings": [
              {
                "id": "examples-finding",
                "name": "Examples",
                "description": "Examples.",
                "questions": [
                  {
                    "text": "What are the first Euclid numbers, and which are prime or composite?",
                    "kind": "measurement"
                  },
                  {
                    "text": "Which entry fits the specific number?",
                    "kind": "action"
                  }
                ]
              }
            ]
          }
        ]
      },
      {
        "id": "theory",
        "name": "Theory",
        "description": "Results.",
        "rationale": "Mathematics.",
        "layers": [
          {
            "id": "results",
            "name": "Results",
            "description": "Known results.",
            "findings": [
              {
                "id": "results-finding",
                "name": "Results",
                "description": "Results.",
                "questions": [
                  {
                    "text": "What is known about the primality and factors of Euclid numbers?",
                    "kind": "provenance"
                  },
                  {
                    "text": "Which references are standard?",
                    "kind": "provenance"
                  }
                ]
              }
            ]
          },
          {
            "id": "open",
            "name": "Open",
            "description": "Open problems.",
            "findings": [
              {
                "id": "open-finding",
                "name": "Open",
                "description": "Open.",
                "questions": [
                  {
                    "text": "Is it known whether infinitely many Euclid numbers are prime or composite?",
                    "kind": "provenance"
                  },
                  {
                    "text": "Which sources are cited?",
                    "kind": "provenance"
                  }
                ]
              }
            ]
          }
        ]
      },
      {
        "id": "compare",
        "name": "Compare",
        "description": "Related sequences.",
        "rationale": "Mathematics.",
        "layers": [
          {
            "id": "primorial",
            "name": "Primorial",
            "description": "Primorials and primorial primes.",
            "findings": [
              {
                "id": "primorial-finding",
                "name": "Primorial",
                "description": "Primorial.",
                "questions": [
                  {
                    "text": "How do primorials and primorial primes relate to Euclid numbers?",
                    "kind": "provenance"
                  },
                  {
                    "text": "Which entry fits primorial?",
                    "kind": "action"
                  }
                ]
              }
            ]
          },
          {
            "id": "mullin",
            "name": "Mullin",
            "description": "Euclid-Mullin sequence.",
            "findings": [
              {
                "id": "mullin-finding",
                "name": "Mullin",
                "description": "Mullin.",
                "questions": [
                  {
                    "text": "What is the Euclid-Mullin sequence, and how does it differ?",
                    "kind": "provenance"
                  },
                  {
                    "text": "Which entry fits Euclid-Mullin sequence?",
                    "kind": "action"
                  }
                ]
              }
            ]
          }
        ]
      },
      {
        "id": "context",
        "name": "Context",
        "description": "History and teaching.",
        "rationale": "Context.",
        "layers": [
          {
            "id": "history",
            "name": "History",
            "description": "Euclid proof.",
            "findings": [
              {
                "id": "history-finding",
                "name": "History",
                "description": "History.",
                "questions": [
                  {
                    "text": "How does Euclid proof work, and how is it often misstated?",
                    "kind": "provenance"
                  },
                  {
                    "text": "Which entry fits Euclid theorem?",
                    "kind": "action"
                  }
                ]
              }
            ]
          },
          {
            "id": "computation",
            "name": "Computation",
            "description": "Computation.",
            "findings": [
              {
                "id": "computation-finding",
                "name": "Computation",
                "description": "Computation.",
                "questions": [
                  {
                    "text": "How are large Euclid numbers tested for primality?",
                    "kind": "action"
                  },
                  {
                    "text": "Which entry fits primality test?",
                    "kind": "action"
                  }
                ]
              }
            ]
          }
        ]
      }
    ]
  },
  "openQuestions": [
    "Should primorial and primorial prime be the primary linked entries?",
    "How should number theory references be linked?",
    "How should the record of prime Euclid numbers be kept current?"
  ],
  "statistics": {
    "bundles": 4,
    "layers": 8,
    "findings": 8,
    "questions": 16
  }
}