{
  "vercy": "1.0-draft",
  "publication": {
    "status": "research-draft",
    "adjudicationStatus": "unreviewed",
    "publishableCanonical": false,
    "generatedAt": "2026-09-12T02:23:20Z",
    "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:55:00Z",
      "ingestedAt": "2026-10-05T20:52:10+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-Q11538",
    "registryId": "vr.tr.mathematical-proof",
    "name": "mathematical proof",
    "version": "0.2.0-wave.2",
    "entryKind": "thing",
    "family": "Thing Registry",
    "domain": [
      "INF.KNW"
    ],
    "status": "research-draft"
  },
  "canonicalUrl": "https://ver.cy/models/thing/q11538/",
  "model": {
    "registry_id": "vr.tr.mathematical-proof",
    "name": "mathematical proof",
    "purpose": "Let an agent explain what a mathematical proof is and the main proof techniques, help construct, check and explain proofs, describe formal and computer-assisted proof, and support learning proof writing.",
    "definition": "A rigorous argument that establishes the truth of a mathematical statement from axioms, definitions and previously proved results by valid inference, in forms such as direct proof, proof by contradiction, proof by contrapositive, induction, construction, exhaustion, strategy-stealing arguments and computer-assisted proofs; proofs are the standard of certainty in mathematics, are written for human readers or checked by proof assistants, and famous examples include proofs of the Pythagorean theorem and of Fermat theorem on sums of two squares.",
    "what_it_is_for": "Rigorous arguments establishing mathematical truths.",
    "affordances": [
      "explain proof and techniques",
      "construct and check proofs",
      "describe formal proof",
      "support learning"
    ],
    "distinguishing_features": [
      "Deductive rigour",
      "Techniques",
      "Formalisable",
      "Peer review"
    ],
    "appearance": "Not physical; written arguments.",
    "visual_identification": [
      "Deductive argument from axioms",
      "Establishes a theorem",
      "Evidence and heuristics are not proofs; a conjecture is unproved"
    ],
    "physical_properties": [],
    "families_and_kinds": [
      "direct proofs",
      "proofs by contradiction and contrapositive",
      "proofs by induction",
      "constructive and existence proofs",
      "computer-assisted and formal proofs"
    ],
    "related_models": [
      {
        "relation": "is a kind of",
        "target": "argument",
        "why": "category"
      },
      {
        "relation": "is a kind of",
        "target": "mathematical reasoning",
        "why": "category"
      },
      {
        "relation": "is related to",
        "target": "inequality",
        "why": "statements often proved"
      },
      {
        "relation": "is related to",
        "target": "imaginary",
        "why": "objects proofs concern"
      }
    ],
    "identifiers": [],
    "standards_and_regulation": [
      "Conventions of mathematical writing",
      "Peer review in journals",
      "Proof assistant standards"
    ],
    "failure_modes_and_hazards": [
      "Circular reasoning and gaps",
      "Confusing examples with proofs",
      "Errors in long proofs"
    ],
    "in_scope": [],
    "out_of_scope": [],
    "characteristics": [],
    "agent_conduct": {
      "may": [
        "Check the steps of a proof and point out gaps, circular reasoning or unproved assumptions.",
        "Explain common proof techniques such as induction or contradiction with examples.",
        "Help formalise a proof in a proof assistant when the user asks."
      ],
      "must_not": [
        "Present a set of examples or a numerical check as a proof.",
        "Claim a proof is correct when it has not been checked step by step.",
        "Attribute a proof or theorem to a mathematician without evidence.",
        "Submit proofs on a student's behalf in assessments where that is not allowed."
      ],
      "requires_human": [
        "Declaring a disputed proof of an open problem correct in a publication or award."
      ]
    },
    "ethics": {
      "considerations": [
        "Credit for proofs shapes careers; misattribution wrongs mathematicians.",
        "Errors in proofs that others rely on, such as in safety or cryptography, can spread widely."
      ],
      "affected_parties": [
        "Mathematicians and students",
        "Users of results built on the proof",
        "Teachers and examiners"
      ]
    },
    "owners": {
      "steward": "Nobody owns a proof's truth; authors answer for their published proofs and journals for review.",
      "master_systems": []
    }
  },
  "sources": [
    {
      "id": "wikidata",
      "title": "Wikidata item Q11538: mathematical proof",
      "url": "https://www.wikidata.org/wiki/Q11538",
      "url_status": "live",
      "what_it_supports": "identity and sense of the item",
      "checked_by": "wikidata-api"
    },
    {
      "id": "wikipedia-en",
      "title": "Wikipedia: Mathematical proof",
      "url": "https://en.wikipedia.org/wiki/Mathematical_proof",
      "url_status": "live",
      "what_it_supports": "general description of the item",
      "checked_by": "wikidata-api sitelink"
    }
  ],
  "structure": {
    "bundles": [
      {
        "id": "understand",
        "name": "Understand",
        "description": "What proofs are.",
        "rationale": "Mathematics.",
        "layers": [
          {
            "id": "concept",
            "name": "Concept",
            "description": "Concept and standards.",
            "findings": [
              {
                "id": "concept-finding",
                "name": "Concept",
                "description": "Concept.",
                "questions": [
                  {
                    "text": "What makes an argument a mathematical proof, and how do axioms, definitions and inference rules function in it?",
                    "kind": "definition"
                  },
                  {
                    "text": "Which entry fits logic?",
                    "kind": "action"
                  }
                ]
              }
            ]
          },
          {
            "id": "techniques",
            "name": "Techniques",
            "description": "Techniques.",
            "findings": [
              {
                "id": "techniques-finding",
                "name": "Techniques",
                "description": "Techniques.",
                "questions": [
                  {
                    "text": "How do direct proof, contradiction, contrapositive, induction and construction work, and when is each used?",
                    "kind": "definition"
                  },
                  {
                    "text": "Which entry fits a specific technique?",
                    "kind": "action"
                  }
                ]
              }
            ]
          }
        ]
      },
      {
        "id": "write",
        "name": "Write",
        "description": "Constructing and checking.",
        "rationale": "Practice.",
        "layers": [
          {
            "id": "construct",
            "name": "Construct",
            "description": "Constructing a proof.",
            "findings": [
              {
                "id": "construct-finding",
                "name": "Construct",
                "description": "Constructing.",
                "questions": [
                  {
                    "text": "How can this statement be proved, and which technique fits?",
                    "kind": "action"
                  },
                  {
                    "text": "Is the statement precisely stated?",
                    "kind": "boundary"
                  }
                ]
              }
            ]
          },
          {
            "id": "check",
            "name": "Check",
            "description": "Checking a proof.",
            "findings": [
              {
                "id": "check-finding",
                "name": "Check",
                "description": "Checking.",
                "questions": [
                  {
                    "text": "Is this proof valid, and where are its gaps or errors?",
                    "kind": "action"
                  },
                  {
                    "text": "Which entry fits common proof errors?",
                    "kind": "action"
                  }
                ]
              }
            ]
          }
        ]
      },
      {
        "id": "formal",
        "name": "Formal",
        "description": "Formal and computer proof.",
        "rationale": "Technology.",
        "layers": [
          {
            "id": "assistants",
            "name": "Assistants",
            "description": "Proof assistants.",
            "findings": [
              {
                "id": "assistants-finding",
                "name": "Assistants",
                "description": "Assistants.",
                "questions": [
                  {
                    "text": "How do proof assistants and formal verification work, and which proofs have been formalised?",
                    "kind": "provenance"
                  },
                  {
                    "text": "Which entry fits a specific proof assistant?",
                    "kind": "action"
                  }
                ]
              }
            ]
          },
          {
            "id": "computer",
            "name": "Computer",
            "description": "Computer-assisted proofs.",
            "findings": [
              {
                "id": "computer-finding",
                "name": "Computer",
                "description": "Computer.",
                "questions": [
                  {
                    "text": "What are computer-assisted proofs, and what debates surround their acceptance, with positions attributed?",
                    "kind": "provenance"
                  },
                  {
                    "text": "Which references are standard?",
                    "kind": "provenance"
                  }
                ]
              }
            ]
          }
        ]
      },
      {
        "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 did the concept of proof develop from Euclid to modern foundations, and which proofs are famous?",
                    "kind": "provenance"
                  },
                  {
                    "text": "Which entry fits a famous proof?",
                    "kind": "action"
                  }
                ]
              }
            ]
          },
          {
            "id": "teach",
            "name": "Teach",
            "description": "Teaching proof.",
            "findings": [
              {
                "id": "teach-finding",
                "name": "Teach",
                "description": "Teaching.",
                "questions": [
                  {
                    "text": "How can proof writing be taught to beginners?",
                    "kind": "action"
                  },
                  {
                    "text": "Which misconceptions arise?",
                    "kind": "provenance"
                  }
                ]
              }
            ]
          }
        ]
      }
    ]
  },
  "openQuestions": [
    "Should each technique be a separate entry?",
    "How should proof assistants be linked?",
    "How should famous proofs be linked?"
  ],
  "statistics": {
    "bundles": 4,
    "layers": 8,
    "findings": 8,
    "questions": 16
  }
}