{
  "vercy": "1.0-draft",
  "publication": {
    "status": "research-draft",
    "adjudicationStatus": "unreviewed",
    "publishableCanonical": false,
    "generatedAt": "2026-09-11T19:59:16Z",
    "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-05T19:00:00Z",
      "ingestedAt": "2026-10-05T20:48:41+00:00",
      "fields": [
        "agent_conduct",
        "ethics",
        "owners"
      ]
    },
    "gate": {
      "passed": true,
      "version": "1.0",
      "at": "2026-10-06T19:52:02+00:00",
      "evidence": [
        "completeness 1.00",
        "sense: Wikidata description",
        "2 live sources",
        "review by codex: pass"
      ]
    }
  },
  "metaModel": {
    "id": "THING-Q7754",
    "registryId": "vr.tr.mathematical-analysis",
    "name": "mathematical analysis",
    "version": "0.2.0-wave.2",
    "entryKind": "thing",
    "family": "Thing Registry",
    "domain": [
      "INF.KNW"
    ],
    "status": "research-draft"
  },
  "canonicalUrl": "https://ver.cy/models/thing/q7754/",
  "model": {
    "registry_id": "vr.tr.mathematical-analysis",
    "name": "mathematical analysis",
    "purpose": "Let an agent explain concepts and results of mathematical analysis, support learning and problem solving, and relate analysis to calculus and applications.",
    "definition": "The branch of mathematics dealing with limits, continuity, differentiation, integration, infinite series and related theory, including real and complex analysis, functional analysis, measure theory, numerical and p-adic analysis and fixed point theory; analysis provides the rigorous foundation of calculus and underpins physics, engineering and probability.",
    "what_it_is_for": "Rigorous study of continuous change and approximation.",
    "affordances": [
      "explain definitions and theorems",
      "solve and check analysis problems",
      "relate analysis to calculus and applications",
      "guide study of the subject"
    ],
    "distinguishing_features": [
      "Rigorous foundations of calculus",
      "Limits and continuity",
      "Many branches",
      "Proof-based"
    ],
    "appearance": "Not physical; definitions, proofs and formulas.",
    "visual_identification": [
      "Limits, epsilon-delta arguments and proofs",
      "Real, complex and functional branches",
      "Calculus is the computational face of analysis"
    ],
    "physical_properties": [],
    "families_and_kinds": [
      "real analysis",
      "complex analysis",
      "functional analysis and operator theory",
      "measure theory and integration",
      "numerical, harmonic and p-adic analysis"
    ],
    "related_models": [
      {
        "relation": "is a kind of",
        "target": "pure mathematics",
        "why": "category"
      },
      {
        "relation": "includes",
        "target": "integral",
        "why": "concept"
      },
      {
        "relation": "includes",
        "target": "limit",
        "why": "concept"
      },
      {
        "relation": "is related to",
        "target": "mathematical model",
        "why": "applications"
      }
    ],
    "identifiers": [],
    "standards_and_regulation": [
      "ISO 80000-2 notation",
      "No regulation"
    ],
    "failure_modes_and_hazards": [
      "Confusing intuition with proof",
      "Misapplying theorems outside their hypotheses",
      "Notation confusion"
    ],
    "in_scope": [],
    "out_of_scope": [],
    "characteristics": [],
    "agent_conduct": {
      "may": [
        "Explain concepts and theorems of analysis and check proofs and calculations.",
        "State assumptions such as convergence or continuity that a result depends on."
      ],
      "must_not": [
        "Present a proof with gaps as complete.",
        "Apply a theorem outside the conditions under which it holds in work others rely on.",
        "Present others' results as the agent's own or without credit."
      ],
      "requires_human": [
        "Using numerical analysis results to sign off safety-critical engineering."
      ]
    },
    "ethics": {
      "considerations": [
        "Mathematical errors in models can propagate into engineering and finance.",
        "Students rely on correct and honest explanations."
      ],
      "affected_parties": [
        "Students",
        "Researchers",
        "Users of models built on analysis"
      ]
    },
    "owners": {
      "steward": "Nobody owns the field; it is held in common by mathematics.",
      "master_systems": []
    }
  },
  "sources": [
    {
      "id": "wikidata",
      "title": "Wikidata item Q7754: mathematical analysis",
      "url": "https://www.wikidata.org/wiki/Q7754",
      "url_status": "live",
      "what_it_supports": "identity and sense of the item",
      "checked_by": "wikidata-api"
    },
    {
      "id": "wikipedia-en",
      "title": "Wikipedia: Mathematical analysis",
      "url": "https://en.wikipedia.org/wiki/Mathematical_analysis",
      "url_status": "live",
      "what_it_supports": "general description of the item",
      "checked_by": "wikidata-api sitelink"
    }
  ],
  "structure": {
    "bundles": [
      {
        "id": "concepts",
        "name": "Concepts",
        "description": "Core ideas.",
        "rationale": "Rigour.",
        "layers": [
          {
            "id": "define",
            "name": "Define",
            "description": "Definitions.",
            "findings": [
              {
                "id": "define-finding",
                "name": "Define",
                "description": "Definitions.",
                "questions": [
                  {
                    "text": "What is the precise definition of this concept, such as limit, continuity or convergence?",
                    "kind": "definition"
                  },
                  {
                    "text": "How does it differ from the intuitive calculus notion?",
                    "kind": "definition"
                  }
                ]
              }
            ]
          },
          {
            "id": "theorems",
            "name": "Theorems",
            "description": "Key results.",
            "findings": [
              {
                "id": "theorems-finding",
                "name": "Theorems",
                "description": "Theorems.",
                "questions": [
                  {
                    "text": "What does this theorem state, and what are its hypotheses?",
                    "kind": "definition"
                  },
                  {
                    "text": "What are the standard counterexamples?",
                    "kind": "provenance"
                  }
                ]
              }
            ]
          }
        ]
      },
      {
        "id": "solve",
        "name": "Solve",
        "description": "Problems and proofs.",
        "rationale": "Technique.",
        "layers": [
          {
            "id": "prove",
            "name": "Prove",
            "description": "Writing proofs.",
            "findings": [
              {
                "id": "prove-finding",
                "name": "Prove",
                "description": "Proofs.",
                "questions": [
                  {
                    "text": "How can this statement be proved, and which techniques apply?",
                    "kind": "action"
                  },
                  {
                    "text": "Is the argument rigorous at each step?",
                    "kind": "boundary"
                  }
                ]
              }
            ]
          },
          {
            "id": "compute",
            "name": "Compute",
            "description": "Computation.",
            "findings": [
              {
                "id": "compute-finding",
                "name": "Compute",
                "description": "Computation.",
                "questions": [
                  {
                    "text": "How is this limit, series or integral evaluated?",
                    "kind": "action"
                  },
                  {
                    "text": "Which convergence tests apply?",
                    "kind": "definition"
                  }
                ]
              }
            ]
          }
        ]
      },
      {
        "id": "branches",
        "name": "Branches",
        "description": "Areas of analysis.",
        "rationale": "A broad field.",
        "layers": [
          {
            "id": "which",
            "name": "Which",
            "description": "Which branch.",
            "findings": [
              {
                "id": "which-finding",
                "name": "Which",
                "description": "Branch.",
                "questions": [
                  {
                    "text": "Which branch of analysis does this topic belong to?",
                    "kind": "definition"
                  },
                  {
                    "text": "How do the branches connect?",
                    "kind": "definition"
                  }
                ]
              }
            ]
          },
          {
            "id": "applied",
            "name": "Applied",
            "description": "Applications.",
            "findings": [
              {
                "id": "applied-finding",
                "name": "Applied",
                "description": "Applications.",
                "questions": [
                  {
                    "text": "How is analysis applied in physics, engineering, probability or numerical computation?",
                    "kind": "provenance"
                  },
                  {
                    "text": "Which results are used?",
                    "kind": "provenance"
                  }
                ]
              }
            ]
          }
        ]
      },
      {
        "id": "learn",
        "name": "Learn",
        "description": "Studying analysis.",
        "rationale": "Resources.",
        "layers": [
          {
            "id": "path",
            "name": "Path",
            "description": "Learning path.",
            "findings": [
              {
                "id": "path-finding",
                "name": "Path",
                "description": "Learning path.",
                "questions": [
                  {
                    "text": "Which textbooks and sequence suit this learner?",
                    "kind": "action"
                  },
                  {
                    "text": "Which prerequisites are needed?",
                    "kind": "provenance"
                  }
                ]
              }
            ]
          },
          {
            "id": "history",
            "name": "History",
            "description": "History.",
            "findings": [
              {
                "id": "history-finding",
                "name": "History",
                "description": "History.",
                "questions": [
                  {
                    "text": "How did analysis develop from calculus to rigorous foundations, according to historians?",
                    "kind": "provenance"
                  },
                  {
                    "text": "Which mathematicians were key?",
                    "kind": "provenance"
                  }
                ]
              }
            ]
          }
        ]
      }
    ]
  },
  "openQuestions": [
    "Should each branch be a separate entry?",
    "How should textbooks be linked?",
    "How should problem sets be linked?"
  ],
  "statistics": {
    "bundles": 4,
    "layers": 8,
    "findings": 8,
    "questions": 16
  }
}