{
  "vercy": "1.0-draft",
  "publication": {
    "status": "research-draft",
    "adjudicationStatus": "unreviewed",
    "publishableCanonical": false,
    "generatedAt": "2026-09-13T18:31:19Z",
    "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": 4,
    "engine": "claude",
    "enrichment": {
      "pass": 3,
      "engine": "claude",
      "producedAt": "2026-10-06T12:00:00Z",
      "ingestedAt": "2026-10-06T07:38:21+00:00",
      "fields": [
        "agent_conduct",
        "ethics",
        "owners"
      ]
    },
    "gate": {
      "passed": true,
      "version": "1.0",
      "at": "2026-10-06T19:51:53+00:00",
      "evidence": [
        "completeness 1.00",
        "sense: Wikidata description",
        "2 live sources",
        "review by codex: pass"
      ]
    }
  },
  "metaModel": {
    "id": "THING-Q1155772",
    "registryId": "vr.tr.scheme",
    "name": "scheme",
    "version": "0.2.0-wave.4",
    "entryKind": "thing",
    "family": "Thing Registry",
    "domain": [
      "XCT.QLT"
    ],
    "status": "research-draft"
  },
  "canonicalUrl": "https://ver.cy/models/thing/q1155772/",
  "model": {
    "registry_id": "vr.tr.scheme",
    "name": "scheme",
    "purpose": "Let an agent explain schemes and their basic properties, relay definitions and constructions from algebraic geometry references, describe the notions the registry aliases name, and distinguish schemes from varieties, algebraic spaces, stacks and the everyday senses of scheme.",
    "definition": "In algebraic geometry, a locally ringed space that is locally isomorphic to the spectrum of a commutative ring, introduced by Alexander Grothendieck, generalising algebraic varieties to allow nilpotents and arbitrary base rings, with properties and constructions such as locally Noetherian, reduced and separated schemes and open and closed subschemes; schemes are objects of a category and special cases of algebraic spaces.",
    "what_it_is_for": "Not applicable; a mathematical object.",
    "affordances": [
      "explain the concept",
      "relay definitions and properties",
      "describe constructions",
      "distinguish related objects"
    ],
    "distinguishing_features": [
      "Locally affine",
      "Allows nilpotents",
      "Arbitrary base",
      "Foundational"
    ],
    "appearance": "Not a visible object; an abstract geometric structure.",
    "visual_identification": [
      "Space locally modelled on spectra of rings",
      "Spectrum of a ring, locally Noetherian, reduced and separated schemes, open and closed subschemes",
      "Varieties are reduced and of finite type over a field; algebraic spaces and stacks generalise schemes; plans and plots are everyday senses"
    ],
    "physical_properties": [
      {
        "quantity": "introduced",
        "typical_range": "late 1950s",
        "unit": "note",
        "note": "Grothendieck"
      },
      {
        "quantity": "EGA",
        "typical_range": "1960-1967",
        "unit": "note",
        "note": "Elements de geometrie algebrique"
      },
      {
        "quantity": "affine scheme",
        "typical_range": "Spec of a commutative ring",
        "unit": "note",
        "note": ""
      }
    ],
    "families_and_kinds": [
      "affine schemes",
      "projective schemes",
      "locally Noetherian schemes",
      "reduced and integral schemes",
      "separated and proper schemes",
      "subschemes"
    ],
    "related_models": [
      {
        "relation": "is a kind of",
        "target": "locally ringed space",
        "why": "in registry terms"
      },
      {
        "relation": "is a kind of",
        "target": "algebraic space",
        "why": "in registry terms"
      },
      {
        "relation": "was introduced by",
        "target": "Alexander Grothendieck",
        "why": ""
      },
      {
        "relation": "is built from",
        "target": "spectrum of a ring",
        "why": ""
      }
    ],
    "identifiers": [],
    "standards_and_regulation": [
      "No regulation"
    ],
    "failure_modes_and_hazards": [
      "Confusing schemes with varieties",
      "Confusing mathematical and everyday senses",
      "Registry aliases mixing properties and constructions"
    ],
    "in_scope": [],
    "out_of_scope": [],
    "characteristics": [],
    "agent_conduct": {
      "may": [
        "Explain schemes in algebraic geometry, citing mathematical sources.",
        "Distinguish schemes from varieties."
      ],
      "must_not": [
        "Confuse the mathematical and everyday senses.",
        "Present properties in the aliases as types of scheme without care.",
        "State theorems without their hypotheses."
      ],
      "requires_human": [
        "Changing the registry's alias mapping for this sense."
      ]
    },
    "ethics": {
      "considerations": [
        "Precise mathematics matters for students and research.",
        "Errors propagate in teaching."
      ],
      "affected_parties": [
        "Students",
        "Mathematicians"
      ]
    },
    "owners": {
      "steward": "Nobody owns mathematical concepts; they are held in common.",
      "master_systems": []
    }
  },
  "sources": [
    {
      "id": "wikidata",
      "title": "Wikidata item Q1155772: scheme",
      "url": "https://www.wikidata.org/wiki/Q1155772",
      "url_status": "live",
      "what_it_supports": "identity and sense of the item",
      "checked_by": "wikidata-api"
    },
    {
      "id": "wikipedia-en",
      "title": "Wikipedia: Scheme (mathematics)",
      "url": "https://en.wikipedia.org/wiki/Scheme_%28mathematics%29",
      "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 scheme is.",
        "rationale": "Science.",
        "layers": [
          {
            "id": "definition",
            "name": "Definition",
            "description": "Definition.",
            "findings": [
              {
                "id": "definition-finding",
                "name": "Definition",
                "description": "Definition.",
                "questions": [
                  {
                    "text": "What is a scheme, and how does it differ from a variety, algebraic space, stack and everyday scheme?",
                    "kind": "definition"
                  },
                  {
                    "text": "Is the question about algebraic geometry or another sense of scheme?",
                    "kind": "boundary"
                  }
                ]
              }
            ]
          },
          {
            "id": "properties",
            "name": "Properties",
            "description": "Properties and constructions.",
            "findings": [
              {
                "id": "properties-finding",
                "name": "Properties",
                "description": "Properties.",
                "questions": [
                  {
                    "text": "What are spectra, locally Noetherian, reduced and separated schemes, and subschemes?",
                    "kind": "definition"
                  },
                  {
                    "text": "Which entry fits the specific notion?",
                    "kind": "action"
                  }
                ]
              }
            ]
          }
        ]
      },
      {
        "id": "theory",
        "name": "Theory",
        "description": "Theory.",
        "rationale": "Science.",
        "layers": [
          {
            "id": "foundations",
            "name": "Foundations",
            "description": "Foundations.",
            "findings": [
              {
                "id": "foundations-finding",
                "name": "Foundations",
                "description": "Foundations.",
                "questions": [
                  {
                    "text": "How are schemes defined via sheaves of rings and gluing?",
                    "kind": "provenance"
                  },
                  {
                    "text": "Which references are standard?",
                    "kind": "provenance"
                  }
                ]
              }
            ]
          },
          {
            "id": "morphisms",
            "name": "Morphisms",
            "description": "Morphisms.",
            "findings": [
              {
                "id": "morphisms-finding",
                "name": "Morphisms",
                "description": "Morphisms.",
                "questions": [
                  {
                    "text": "What are flat, proper and smooth morphisms of schemes?",
                    "kind": "provenance"
                  },
                  {
                    "text": "Which sources are cited?",
                    "kind": "provenance"
                  }
                ]
              }
            ]
          }
        ]
      },
      {
        "id": "applications",
        "name": "Applications",
        "description": "Applications.",
        "rationale": "Application.",
        "layers": [
          {
            "id": "number",
            "name": "Number theory",
            "description": "Number theory.",
            "findings": [
              {
                "id": "number-finding",
                "name": "Number theory",
                "description": "Number theory.",
                "questions": [
                  {
                    "text": "How did schemes contribute to proofs such as the Weil conjectures and Fermat s Last Theorem?",
                    "kind": "provenance"
                  },
                  {
                    "text": "Which entry fits Weil conjectures?",
                    "kind": "action"
                  }
                ]
              }
            ]
          },
          {
            "id": "generalisations",
            "name": "Generalisations",
            "description": "Generalisations.",
            "findings": [
              {
                "id": "generalisations-finding",
                "name": "Generalisations",
                "description": "Generalisations.",
                "questions": [
                  {
                    "text": "How do algebraic spaces and stacks extend schemes?",
                    "kind": "provenance"
                  },
                  {
                    "text": "Which entry fits algebraic stack?",
                    "kind": "action"
                  }
                ]
              }
            ]
          }
        ]
      },
      {
        "id": "context",
        "name": "Context",
        "description": "History.",
        "rationale": "Context.",
        "layers": [
          {
            "id": "history",
            "name": "History",
            "description": "History.",
            "findings": [
              {
                "id": "history-finding",
                "name": "History",
                "description": "History.",
                "questions": [
                  {
                    "text": "How did Grothendieck and the Paris school develop scheme theory?",
                    "kind": "provenance"
                  },
                  {
                    "text": "Which entry fits Alexander Grothendieck?",
                    "kind": "action"
                  }
                ]
              }
            ]
          },
          {
            "id": "learning",
            "name": "Learning",
            "description": "Learning.",
            "findings": [
              {
                "id": "learning-finding",
                "name": "Learning",
                "description": "Learning.",
                "questions": [
                  {
                    "text": "What textbooks introduce schemes?",
                    "kind": "provenance"
                  },
                  {
                    "text": "Which entry fits algebraic geometry?",
                    "kind": "action"
                  }
                ]
              }
            ]
          }
        ]
      }
    ]
  },
  "openQuestions": [
    "Should spectrum of a ring be a separate primary entry?",
    "How should algebraic geometry references be linked?",
    "The registry entry has merged aliases naming properties; should they be grouped?"
  ],
  "statistics": {
    "bundles": 4,
    "layers": 8,
    "findings": 8,
    "questions": 16
  }
}