{"schema":"https://ver.cy/schemas/card/1.0.0","id":"vr.tr.division","code":"thing-q1226939","url":"https://ver.cy/models/thing/q1226939/","name":"division","alternateNames":["Euclidean division","galley division","division by zero"],"kind":"thing","status":"published","version":"0.1.0-research.1","language":"en","classifiers":{"family":"Thing Registry","category":"Information and virtual systems","entryKind":"thing","plane":"INF","domain":["INF.MED"],"industry":[],"navPath":"","tags":[],"facets":{}},"whatItIs":"Division is one of the four basic arithmetic operations and determines a quotient from a dividend and a nonzero divisor, expressing the number that, when multiplied by the divisor, gives the dividend; division of natural numbers may instead be expressed as a whole-number quotient with a remainder.","purpose":"Enable an AI agent to explain arithmetic division, interpret quotients and remainders, assess numerical results and recognise when division is undefined.","scope":{"in":["The dividend, divisor and quotient define a division expression.","Division is related to multiplication as an inverse operation when the divisor is nonzero.","Natural-number division may produce a whole-number quotient and a remainder.","The numerical domain determines which quotients can be represented within it.","Exactness, approximation and rounding affect how a quotient is represented.","Division by zero is undefined in ordinary arithmetic."],"out":["An organisational division is outside this arithmetic sense.","Physical or conceptual partitioning without a numerical division relationship is outside this model.","General classification systems and social groupings are outside this model.","Resource allocation policies and ownership decisions are outside this model.","Detailed computational implementations are outside this model."],"boundaries":[]},"distinguishingFeatures":["Division relates a dividend and a nonzero divisor to a quotient.","Changing the order of dividend and divisor generally changes the result.","An exact quotient multiplied by the divisor equals the dividend.","For natural-number division with a positive divisor, the remainder is nonnegative and smaller than the divisor.","Equal sharing and counting equal groups are interpretations of arithmetic division."],"structure":{"bundles":[{"id":"whole-and-parts","name":"Whole and parts","description":"Establishes what is divided and what counts as a result of this division.","layers":[{"id":"whole-delimitation","name":"Whole delimitation","description":"Locates the extent within which the division makes claims.","findings":[{"id":"whole-reference","name":"Whole reference","description":"Record the whole and the extent or version used when assessing its parts.","questions":[{"text":"What whole is being divided, and what fixes its extent?","id":"whole-reference-q01","kind":"definition"},{"text":"Which changes to the whole would require reassessing this division?","id":"whole-reference-q02","kind":"boundary"}]}]},{"id":"resulting-parts","name":"Resulting parts","description":"Identifies the parts produced or recognised by the division.","findings":[{"id":"part-identification","name":"Part identification","description":"Record each part's identity and whether it already existed or was established through this division.","questions":[{"text":"Which distinguishable parts or sides constitute this division?","id":"part-identification-q01","kind":"definition"},{"text":"What evidence establishes each part's relationship to the whole?","id":"part-identification-q02","kind":"provenance"}]}]}]},{"id":"criterion-and-boundaries","name":"Criterion and boundaries","description":"Explains how the division separates its parts and resolves membership.","layers":[{"id":"dividing-rule","name":"Dividing rule","description":"Captures the distinction used to establish the parts.","findings":[{"id":"criterion-application","name":"Criterion application","description":"Record the rule and the observations or decisions needed to apply it.","questions":[{"text":"What predicate, threshold, boundary or agreement separates one part from another?","id":"criterion-application-q01","kind":"definition"},{"text":"What evidence or decision established this criterion for this whole?","id":"criterion-application-q02","kind":"provenance"}]}]},{"id":"boundary-cases","name":"Boundary cases","description":"Handles elements that lie on, cross or cannot be placed against a dividing boundary.","findings":[{"id":"membership-resolution","name":"Membership resolution","description":"Record boundary conventions, unresolved memberships and permitted ways to resolve them.","questions":[{"text":"How are items exactly on a threshold, spanning a boundary or lacking required evidence treated?","id":"membership-resolution-q01","kind":"boundary"},{"text":"When membership is ambiguous or contested, may the agent assign it, retain multiple possibilities or defer to a named decision-maker?","id":"membership-resolution-q02","kind":"action"}]}]}]},{"id":"coverage-and-separation","name":"Coverage and separation","description":"Assesses whether the declared parts account for the whole and remain distinct.","layers":[{"id":"whole-coverage","name":"Whole coverage","description":"Determines whether the parts exhaust the specified whole.","findings":[{"id":"remainder-accounting","name":"Remainder accounting","description":"Record uncovered portions and distinguish deliberate exclusions from unresolved or accidental gaps.","questions":[{"text":"Do the parts collectively cover the whole, and what evidence or measure supports that assessment?","id":"remainder-accounting-q01","kind":"measurement"},{"text":"Is any remainder an explicit part, an allowed omission or evidence that the division is incomplete?","id":"remainder-accounting-q02","kind":"boundary"}]}]},{"id":"part-exclusivity","name":"Part exclusivity","description":"Determines whether membership in more than one part is possible or permitted.","findings":[{"id":"overlap-assessment","name":"Overlap assessment","description":"Record intersections between parts and whether they comply with the intended meaning of this division.","questions":[{"text":"Which parts overlap, and how can the extent of their overlap be established?","id":"overlap-assessment-q01","kind":"measurement"},{"text":"Does the intended use permit shared membership, or does it require mutually exclusive parts?","id":"overlap-assessment-q02","kind":"boundary"}]}]}]},{"id":"application-and-revision","name":"Application and revision","description":"Establishes when the division may guide decisions and how it may change.","layers":[{"id":"applicability","name":"Applicability","description":"Connects the division's status and justification to its permitted uses.","findings":[{"id":"use-conditions","name":"Use conditions","description":"Record whether the division is descriptive or prescriptive, its current status and the decisions for which it is accepted.","questions":[{"text":"Does this division describe observed separation, prescribe a separation or propose one?","id":"use-conditions-q01","kind":"definition"},{"text":"For which decisions may the agent apply this division, and what acceptance or authority is required?","id":"use-conditions-q02","kind":"action"}]}]},{"id":"revision-consequences","name":"Revision consequences","description":"Tracks how boundary changes, refinement or consolidation affect the division and its dependants.","findings":[{"id":"permitted-transformations","name":"Permitted transformations","description":"Record permitted changes and whether they revise this division or establish an alternative division of the same whole.","questions":[{"text":"Who may move boundaries, subdivide parts, consolidate parts or withdraw the division?","id":"permitted-transformations-q01","kind":"action"},{"text":"Which membership assignments and dependent decisions must be reassessed after each permitted change?","id":"permitted-transformations-q02","kind":"action"}]}]}]}]},"agentConduct":{"may":["Explain arithmetic division and its relationship to multiplication.","Calculate and report quotients and remainders for authorised tasks.","State the numerical domain and any rounding assumptions."],"mustNot":["Present division by zero as a defined operation in ordinary arithmetic.","Silently discard a remainder or present an approximation as exact.","Treat a numerical quotient as sufficient justification for an allocation decision."],"requiresHuman":["Approving consequential decisions that use division results to allocate rights or resources."]},"ethics":{"considerations":["Transparent assumptions and rounding help prevent misleading numerical claims.","Arithmetic correctness alone does not establish the fairness of an allocation."],"affectedParties":["Learners depend on accurate explanations of arithmetic.","Users of calculated results depend on clear treatment of precision and remainders.","People affected by numerical allocations depend on accountable decisions."]},"owners":{"steward":"Nobody owns the arithmetic operation; the mathematical community maintains its description.","roles":[],"masterSystems":[]},"relations":[{"target":"Q164307","type":"parent","note":"registry parent class"},{"target":"Q3182649","type":"parent","note":"registry parent class"},{"target":"Q3435924","type":"parent","note":"registry parent class"}],"interaction":{"identity":{"applicability":"required","items":["Vercy registry: vr.tr.division","Wikidata: Q1226939 (https://www.wikidata.org/wiki/Q1226939)"]},"properties":{"applicability":"not-applicable","items":["Divided whole: Identified whole, including the version, extent or time interval to which the division applies","Dividing criterion: Explicit predicate, threshold, boundary, grouping rule or negotiated distinction","Resulting parts: Identified parts linked to the whole through this division","Part count: Integer count of declared parts; unknown if unresolved","Coverage: Complete, partial, disputed or unknown; proportion only when a suitable measure exists","Exclusivity: Mutually exclusive, overlapping, disputed or unknown","Boundary determination: Determinate, ambiguous, contested or unknown","Division status: Proposed, in use, superseded or withdrawn"]},"recognition":{"applicability":"not-applicable","items":[]},"capabilities":{"applicability":"required","items":["Determine which part contains a given element, location or interval under the stated criterion.","Check for uncovered portions, overlapping parts and inconsistent boundary decisions.","Compare alternative divisions of the same whole and explain where their memberships differ.","Identify which downstream decisions depend on a particular division.","Propose boundary revisions, refinement into smaller parts or consolidation of parts subject to stated authority.","Suspend application where the whole, criterion or boundary is unresolved."]},"hazards":{"applicability":"required","items":["Division by zero can produce undefined expressions or invalid computational results.","Confusing the dividend and divisor changes the intended calculation.","Confusing integer division with exact division can discard a remainder.","Unstated rounding or numerical precision can misrepresent a quotient."]},"interfaces":{"applicability":"required","items":["ISO 80000-2, issued by the International Organization for Standardization, specifies mathematical signs and symbols including notation for division."]},"context":{"applicability":"required","items":["Arithmetic division is used to calculate equal shares, determine how many groups fit into a quantity and express ratios or rates.","It occurs in everyday calculations, mathematics, science and software.","The number domain determines whether the result is expressed as an exact quotient, a quotient with a remainder or an approximation."]}},"sources":[{"title":"Wikidata item Q1226939: division","url":"https://www.wikidata.org/wiki/Q1226939","note":"identity and sense of the item"},{"title":"Wikipedia: Division (mathematics)","url":"https://en.wikipedia.org/wiki/Division_%28mathematics%29","note":"general description of the item"}],"openQuestions":["Does vr.tr.division in XCT.REL mean division of a whole into parts, social separation, an organisational unit or another sense? No registry definition was supplied.","Does the registry require divisions to be exhaustive and mutually exclusive, or does it admit partial and overlapping divisions?","How should this entry be bounded against neighbouring concepts such as partition, decomposition, separation and distinction?","Does the registered thing denote the dividing act, the resulting relationship or both, and what determines continuity across revisions?","Which existing Vercy world model, if any, already owns this concept and should serve as its single source of truth?"],"resources":{"spec":"/models/things/publications/thing-q1226939/spec.json"},"provenance":{"origin":"thing registry research (pass 2)","builtFrom":["models/things/publications/thing-q1226939/spec.json"],"providers":["Codex"],"researchStatus":"unreviewed","generatedAt":"2026-09-06T21:34:00Z","builder":"tools/build_cards.py@1.0.0"},"completeness":{"sections":{"classifiers":"filled","whatItIs":"filled","purpose":"filled","distinguishingFeatures":"filled","structure":"filled","agentConduct":"filled","ethics":"filled","owners":"filled","relations":"filled","interaction.identity":"filled","interaction.properties":"not-applicable","interaction.recognition":"not-applicable","interaction.capabilities":"filled","interaction.hazards":"filled","interaction.interfaces":"filled","interaction.context":"filled","sources":"filled"},"notes":{"_gate":"Published through the thing publication gate 1.0 on 2026-10-08T18:54:35+00:00: completeness 1.00; sense: Wikidata description; 2 live sources; review by codex: pass","interaction.properties":"Plane INF: no invented physical properties.","interaction.recognition":"Division is an abstract arithmetic operation rather than a visually identifiable physical thing."},"score":1.0}}