{
  "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"
      ]
    },
    "revisions": [
      {
        "at": "2026-10-06T22:58:53+00:00",
        "engine": "codex",
        "fields": [
          "definition"
        ],
        "answering_review": "1d6bcf3cf1b4bede717048130309e17f3759dfa61bddc4aa44c144daeb8f521a"
      }
    ],
    "gate": {
      "passed": true,
      "version": "1.0",
      "at": "2026-10-07T10:10:32+00:00",
      "evidence": [
        "completeness 1.00",
        "sense: Wikidata description",
        "2 live sources",
        "review by codex: pass"
      ]
    }
  },
  "metaModel": {
    "id": "THING-Q80091",
    "registryId": "vr.tr.integral",
    "name": "integral",
    "version": "0.2.0-wave.2",
    "entryKind": "thing",
    "family": "Thing Registry",
    "domain": [
      "XCT.QLT"
    ],
    "status": "research-draft"
  },
  "canonicalUrl": "https://ver.cy/models/thing/q80091/",
  "model": {
    "registry_id": "vr.tr.integral",
    "name": "integral",
    "purpose": "Let an agent explain integrals and integration techniques, compute and check integrals, interpret them in applications, and explain generalisations.",
    "definition": "A fundamental concept of calculus with definite and indefinite forms: a definite integral assigns a number to a function over an interval or region when it exists, interpreted as area, accumulated change or total quantity, while an indefinite integral denotes a family of antiderivatives; generalisations include line, surface, multiple and Lebesgue integrals and principal values, and integrals appear across science as accumulated quantities like optical path length and absement.",
    "what_it_is_for": "Calculus, analysis and quantitative science.",
    "affordances": [
      "compute definite and indefinite integrals",
      "explain integration techniques",
      "interpret integrals in applications",
      "explain generalisations and numerical methods"
    ],
    "distinguishing_features": [
      "Accumulation operation",
      "Inverse of differentiation",
      "Definite and indefinite",
      "Many generalisations"
    ],
    "appearance": "Not physical; the integral sign and formulas.",
    "visual_identification": [
      "Integral sign with limits",
      "Area under a curve interpretation",
      "A derivative measures rate, an integral accumulates"
    ],
    "physical_properties": [],
    "families_and_kinds": [
      "definite and indefinite integrals",
      "multiple, line and surface integrals",
      "Lebesgue and other measure-theoretic integrals",
      "improper integrals and principal values",
      "numerical integration"
    ],
    "related_models": [
      {
        "relation": "is a kind of",
        "target": "unary operation",
        "why": "category"
      },
      {
        "relation": "is a kind of",
        "target": "linear map",
        "why": "category"
      },
      {
        "relation": "is studied in",
        "target": "mathematical analysis",
        "why": "field"
      },
      {
        "relation": "is related to",
        "target": "limit",
        "why": "defined via limits"
      }
    ],
    "identifiers": [],
    "standards_and_regulation": [
      "ISO 80000-2 notation"
    ],
    "failure_modes_and_hazards": [
      "Sign and bound errors",
      "Misapplying techniques",
      "Divergent integrals treated as finite"
    ],
    "in_scope": [],
    "out_of_scope": [],
    "characteristics": [],
    "agent_conduct": {
      "may": [
        "Compute and explain integrals, stating the method and conditions used.",
        "Check that an integral converges before reporting its value."
      ],
      "must_not": [
        "Report a divergent or improper integral as a finite value without stating so.",
        "Hide numerical error in integrals used for dosages, loads or financial totals.",
        "Do a student's graded work in a way that breaks their institution's rules."
      ],
      "requires_human": [
        "Using computed integrals in a safety-critical calculation that is signed off."
      ]
    },
    "ethics": {
      "considerations": [
        "Integrals in engineering, medicine and finance have real consequences when wrong.",
        "Learners need help that builds understanding."
      ],
      "affected_parties": [
        "Students",
        "Engineers and analysts",
        "People affected by calculated results"
      ]
    },
    "owners": {
      "steward": "Nobody owns the concept; it is held in common by mathematics.",
      "master_systems": []
    }
  },
  "sources": [
    {
      "id": "wikidata",
      "title": "Wikidata item Q80091: integral",
      "url": "https://www.wikidata.org/wiki/Q80091",
      "url_status": "live",
      "what_it_supports": "identity and sense of the item",
      "checked_by": "wikidata-api"
    },
    {
      "id": "wikipedia-en",
      "title": "Wikipedia: Integral",
      "url": "https://en.wikipedia.org/wiki/Integral",
      "url_status": "live",
      "what_it_supports": "general description of the item",
      "checked_by": "wikidata-api sitelink"
    }
  ],
  "structure": {
    "bundles": [
      {
        "id": "compute",
        "name": "Compute",
        "description": "Evaluating integrals.",
        "rationale": "Techniques.",
        "layers": [
          {
            "id": "techniques",
            "name": "Techniques",
            "description": "Methods.",
            "findings": [
              {
                "id": "techniques-finding",
                "name": "Techniques",
                "description": "Methods.",
                "questions": [
                  {
                    "text": "Which technique, such as substitution, parts or partial fractions, evaluates this integral?",
                    "kind": "action"
                  },
                  {
                    "text": "What is the result, and can it be checked by differentiation?",
                    "kind": "measurement"
                  }
                ]
              }
            ]
          },
          {
            "id": "numerical",
            "name": "Numerical",
            "description": "Numerical integration.",
            "findings": [
              {
                "id": "numerical-finding",
                "name": "Numerical",
                "description": "Numerical integration.",
                "questions": [
                  {
                    "text": "How can this integral be approximated numerically, and with what error?",
                    "kind": "action"
                  },
                  {
                    "text": "When is numerical integration necessary?",
                    "kind": "boundary"
                  }
                ]
              }
            ]
          }
        ]
      },
      {
        "id": "meaning",
        "name": "Meaning",
        "description": "Interpretation.",
        "rationale": "Accumulation.",
        "layers": [
          {
            "id": "interpret",
            "name": "Interpret",
            "description": "What it represents.",
            "findings": [
              {
                "id": "interpret-finding",
                "name": "Interpret",
                "description": "Interpretation.",
                "questions": [
                  {
                    "text": "What does this integral represent physically or geometrically?",
                    "kind": "definition"
                  },
                  {
                    "text": "What are the units of the result?",
                    "kind": "measurement"
                  }
                ]
              }
            ]
          },
          {
            "id": "fundamental",
            "name": "Fundamental",
            "description": "Fundamental theorem.",
            "findings": [
              {
                "id": "fundamental-finding",
                "name": "Fundamental",
                "description": "Fundamental theorem.",
                "questions": [
                  {
                    "text": "How does the fundamental theorem of calculus connect integrals and derivatives?",
                    "kind": "definition"
                  },
                  {
                    "text": "When does it apply?",
                    "kind": "boundary"
                  }
                ]
              }
            ]
          }
        ]
      },
      {
        "id": "advanced",
        "name": "Advanced",
        "description": "Generalisations.",
        "rationale": "Beyond Riemann.",
        "layers": [
          {
            "id": "types",
            "name": "Types",
            "description": "Kinds of integral.",
            "findings": [
              {
                "id": "types-finding",
                "name": "Types",
                "description": "Types.",
                "questions": [
                  {
                    "text": "How do line, surface, multiple and Lebesgue integrals generalise the basic integral?",
                    "kind": "definition"
                  },
                  {
                    "text": "When is each used?",
                    "kind": "provenance"
                  }
                ]
              }
            ]
          },
          {
            "id": "improper",
            "name": "Improper",
            "description": "Improper integrals.",
            "findings": [
              {
                "id": "improper-finding",
                "name": "Improper",
                "description": "Improper integrals.",
                "questions": [
                  {
                    "text": "Does this improper integral converge, and what is a principal value?",
                    "kind": "boundary"
                  },
                  {
                    "text": "Which tests apply?",
                    "kind": "definition"
                  }
                ]
              }
            ]
          }
        ]
      },
      {
        "id": "learn",
        "name": "Learn",
        "description": "Teaching.",
        "rationale": "Intuition and rigour.",
        "layers": [
          {
            "id": "teach",
            "name": "Teach",
            "description": "Teaching integrals.",
            "findings": [
              {
                "id": "teach-finding",
                "name": "Teach",
                "description": "Teaching.",
                "questions": [
                  {
                    "text": "How can integration be taught with intuition and worked examples?",
                    "kind": "action"
                  },
                  {
                    "text": "Which misconceptions arise?",
                    "kind": "provenance"
                  }
                ]
              }
            ]
          },
          {
            "id": "applications",
            "name": "Applications",
            "description": "Uses in science.",
            "findings": [
              {
                "id": "applications-finding",
                "name": "Applications",
                "description": "Applications.",
                "questions": [
                  {
                    "text": "How are integrals used for quantities such as work, probability and optical path length?",
                    "kind": "provenance"
                  },
                  {
                    "text": "Which examples help?",
                    "kind": "action"
                  }
                ]
              }
            ]
          }
        ]
      }
    ]
  },
  "openQuestions": [
    "Should each integral type be a separate entry?",
    "How should computer algebra tools be linked?",
    "How should applications be linked?"
  ],
  "statistics": {
    "bundles": 4,
    "layers": 8,
    "findings": 8,
    "questions": 16
  }
}