{ "vercy": "1.0-draft", "publication": { "status": "research-draft", "adjudicationStatus": "unreviewed", "publishableCanonical": false, "generatedAt": "2026-09-11T07:21:51Z", "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": 1, "engine": "claude", "enrichment": { "pass": 3, "engine": "claude", "producedAt": "2026-10-05T15:00:00Z", "ingestedAt": "2026-10-05T13:24:07+00:00", "fields": [ "agent_conduct", "ethics", "owners" ] }, "gate": { "passed": true, "version": "1.0", "at": "2026-10-06T19:51:58+00:00", "evidence": [ "completeness 1.00", "sense: Wikidata description", "2 live sources", "review by codex: pass" ] } }, "metaModel": { "id": "THING-Q32043", "registryId": "vr.tr.addition", "name": "addition", "version": "0.2.0-wave.1", "entryKind": "thing", "family": "Thing Registry", "domain": [ "XCT.QTY" ], "status": "research-draft" }, "canonicalUrl": "https://ver.cy/models/thing/q32043/", "model": { "registry_id": "vr.tr.addition", "name": "addition", "purpose": "Let an agent handle addition by domain, properties and methods, from arithmetic to algebraic structures.", "definition": "The basic arithmetic operation of combining quantities to give their sum, written a + b; it extends to vectors, matrices, complex numbers and other structures with defined addition.", "what_it_is_for": "Combining quantities in everyday life, science and computing.", "affordances": [ "add numbers", "add vectors and matrices", "teach addition strategies", "check sums and carries" ], "distinguishing_features": [ "Binary operation giving a sum", "Commutative and associative for numbers", "Identity element zero", "Defined differently in different structures" ], "appearance": "The plus sign and sums.", "visual_identification": [ "Plus sign", "Sums, totals and carries", "Vector addition by components" ], "physical_properties": [], "families_and_kinds": [ "addition of natural numbers", "addition of integers and reals", "complex addition", "vector and matrix addition", "modular addition" ], "related_models": [ { "relation": "is a kind of", "target": "binary operation", "why": "category" }, { "relation": "has inverse", "target": "subtraction", "why": "operation" }, { "relation": "is repeated in", "target": "multiplication", "why": "operation" }, { "relation": "is studied in", "target": "arithmetic and algebra", "why": "fields" } ], "identifiers": [], "standards_and_regulation": [ "ISO 80000-2 notation" ], "failure_modes_and_hazards": [ "Floating-point rounding errors", "Adding quantities with different units", "Overflow in computing" ], "in_scope": [], "out_of_scope": [], "characteristics": [], "agent_conduct": { "may": [ "Add numbers and other quantities correctly, stating units.", "Check sums in records it is authorized to audit." ], "must_not": [ "Add quantities with different units without converting.", "Alter totals in financial or official records.", "Present copied answers as a student's own work in graded assessment." ], "requires_human": [ "Correcting totals in financial or official records." ] }, "ethics": { "considerations": [ "Wrong sums in bills, pay or votes can wrong many people." ], "affected_parties": [ "People relying on totals", "Students" ] }, "owners": { "steward": "Nobody owns it; it belongs to mathematics, held in common.", "master_systems": [] } }, "sources": [ { "id": "wikidata", "title": "Wikidata item Q32043: addition", "url": "https://www.wikidata.org/wiki/Q32043", "url_status": "live", "what_it_supports": "identity and sense of the item", "checked_by": "wikidata-api" }, { "id": "wikipedia-en", "title": "Wikipedia: Addition", "url": "https://en.wikipedia.org/wiki/Addition", "url_status": "live", "what_it_supports": "general description of the item", "checked_by": "wikidata-api sitelink" } ], "structure": { "bundles": [ { "id": "domain", "name": "Domain", "description": "What is added.", "rationale": "Domain decides rules.", "layers": [ { "id": "objects", "name": "Objects", "description": "Numbers, vectors.", "findings": [ { "id": "objects-finding", "name": "Objects", "description": "Domain.", "questions": [ { "text": "What kind of objects are being added?", "kind": "definition" }, { "text": "How is addition defined for them?", "kind": "definition" } ] } ] }, { "id": "units", "name": "Units", "description": "Compatible quantities.", "findings": [ { "id": "units-finding", "name": "Units", "description": "Units.", "questions": [ { "text": "Are the quantities in the same units?", "kind": "boundary" }, { "text": "How are they converted?", "kind": "action" } ] } ] } ] }, { "id": "properties", "name": "Properties", "description": "Laws.", "rationale": "Properties enable reasoning.", "layers": [ { "id": "laws", "name": "Laws", "description": "Commutative, associative.", "findings": [ { "id": "laws-finding", "name": "Laws", "description": "Algebraic laws.", "questions": [ { "text": "Is addition commutative and associative here?", "kind": "boundary" }, { "text": "What is the identity element?", "kind": "definition" } ] } ] }, { "id": "inverse", "name": "Inverse", "description": "Subtraction.", "findings": [ { "id": "inverse-finding", "name": "Inverse", "description": "Inverses.", "questions": [ { "text": "Does every element have an additive inverse?", "kind": "boundary" }, { "text": "In which structure?", "kind": "definition" } ] } ] } ] }, { "id": "computing", "name": "Computing", "description": "Machine addition.", "rationale": "Computers add with limits.", "layers": [ { "id": "precision", "name": "Precision", "description": "Floating point.", "findings": [ { "id": "precision-finding", "name": "Precision", "description": "Precision.", "questions": [ { "text": "Could floating-point rounding affect the sum?", "kind": "boundary" }, { "text": "Is exact arithmetic needed?", "kind": "action" } ] } ] }, { "id": "overflow", "name": "Overflow", "description": "Limits.", "findings": [ { "id": "overflow-finding", "name": "Overflow", "description": "Overflow.", "questions": [ { "text": "Could the sum overflow the data type?", "kind": "boundary" }, { "text": "How is it handled?", "kind": "action" } ] } ] } ] }, { "id": "learning", "name": "Learning", "description": "Teaching.", "rationale": "Addition is foundational.", "layers": [ { "id": "strategies", "name": "Strategies", "description": "Methods.", "findings": [ { "id": "strategies-finding", "name": "Strategies", "description": "Strategies.", "questions": [ { "text": "Which strategies help learners add?", "kind": "action" }, { "text": "How is carrying taught?", "kind": "action" } ] } ] }, { "id": "checking", "name": "Checking", "description": "Errors.", "findings": [ { "id": "checking-finding", "name": "Checking", "description": "Checking sums.", "questions": [ { "text": "How can a sum be checked?", "kind": "action" }, { "text": "What errors are common?", "kind": "boundary" } ] } ] } ] } ] }, "openQuestions": [ "Should addition in structures be separate entries?", "How should teaching strategies be linked?", "How should floating-point issues be recorded?" ], "statistics": { "bundles": 4, "layers": 8, "findings": 8, "questions": 16 } }