{ "vercy": "1.0-draft", "publication": { "status": "research-draft", "adjudicationStatus": "unreviewed", "publishableCanonical": false, "generatedAt": "2026-09-12T09:31:31Z", "providers": [ "Codex" ], "breadth": "recalled by Codex without web access - no source was read", "missingProviders": [], "pass": 2, "cost": { "grok": { "seconds": 23.4, "error": "Reading additional input from stdin...\nOpenAI Codex v0.153.4\n--------\nworkdir: R:\\02_PROJECTS\\02_Meta_Models_Platforms\\Ver.cy\\current\\thing-registry-backlog\nmodel: gpt-6-astra\nprovider: openai\napproval: never\nsandbox: read-only\nreasoning effort: none\nreasoning summaries: none\nsession id: 01a094f4-308b-7b11-b22e-4f700f2f9b23\n--------\nuser\nDescribe what is already known about one registered thing. Answer as JSON only, no prose around it.\n\nThing: error\nSense to describe: (none recorded)\nDomain code: INF.KNW\nAlso known as: (none)\n\n\nContext for this batch of 1001 things:\n# Batch 043: 1001 registere", "usd": 0.0, "recall": true }, "codex": { "seconds": 65.9, "error": "Reading additional input from stdin...\nOpenAI Codex v0.153.4\n--------\nworkdir: R:\\02_PROJECTS\\02_Meta_Models_Platforms\\Ver.cy\\current\\thing-registry-backlog\nmodel: gpt-6-astra\nprovider: openai\napproval: never\nsandbox: read-only\nreasoning effort: none\nreasoning summaries: none\nsession id: 01a094f4-307d-7011-a4b1-d4cf4607d756\n--------\nuser\nYou are drafting a Vercy meta-model for one registered thing. Answer as JSON only, no prose around it.\n\nThing: error\nRegistry id: vr.tr.error-q1202128\nPlane / domain: INF / INF.KNW\nRegistry definition: (none recorded)\nNames folded into this entry: (none)\n\n\nCon" } }, "enrichment": { "pass": 3, "engine": "claude", "producedAt": "2026-10-06T13:00:00Z", "ingestedAt": "2026-10-06T08:52:32+00:00", "fields": [ "agent_conduct", "ethics", "failure_modes_and_hazards", "owners", "standards_and_regulation" ] } }, "metaModel": { "id": "THING-Q1202128", "registryId": "vr.tr.error-q1202128", "name": "error", "version": "0.1.0-research.1", "entryKind": "thing", "family": "Thing Registry", "domain": [ "INF.KNW" ], "status": "research-draft" }, "canonicalUrl": "https://ver.cy/models/thing/q1202128/", "model": { "registry_id": "vr.tr.error-q1202128", "name": "error", "purpose": "Enable an agent to recognise, assess and address an error by relating a claim, result or action to an applicable reference and the evidence for a discrepancy.", "definition": "An error is a departure of a belief, statement, inference or result from truth, validity or an applicable reference, whose identification depends on the criterion used to assess correctness.", "scope_statement": "This model owns error as an assessed departure from an applicable truth condition, reference value, rule or intended result, including the grounds, limits and revision of that assessment.", "in_scope": [ "The claim, representation, calculation, observation or action assessed as erroneous", "The reference and comparison conditions that make an error assessment meaningful", "Evidence supporting or contesting the alleged discrepancy", "Error magnitude, pattern, consequences and propagation", "Detection, correction and verification of the error assessment" ], "out_of_scope": [ "Complete models of the people, organisations or systems associated with an error", "Measurement uncertainty as a standalone characterisation of incomplete knowledge", "Defects and failures beyond their relationship to an assessed discrepancy", "Intentional deception, misconduct and responsibility as independent concepts", "Domain-specific procedures for clinical, legal or engineering remediation" ], "distinguishing_features": [ "An error assessment identifies what is wrong and under which reference; mere surprise or dislike does not establish error.", "Uncertainty concerns what is known or how well it is known; an error assessment concerns a departure, whose exact size may itself be unknown.", "Two different results establish disagreement; establishing error additionally requires grounds for preferring an applicable reference.", "A defect is a condition that may produce errors, while a failure concerns unmet performance; these need not coincide with an erroneous claim or result.", "Calling something an error does not by itself establish intention, negligence or blame." ], "characteristics": [ { "name": "Assessed bearer", "kind": "relation", "unit_or_values": "Link to the particular claim, representation, result, observation or action and its version", "why_it_matters": "Prevents an error attributed to one item from being generalised to an entire source or system." }, { "name": "Reference basis", "kind": "relation", "unit_or_values": "Truth condition, reference value, rule, specification or intended result, with applicable context", "why_it_matters": "Makes explicit what the alleged discrepancy is measured or judged against." }, { "name": "Discrepancy form", "kind": "category", "unit_or_values": "False assertion, omission, invalid inference, numerical deviation, transcription discrepancy, procedural departure or domain-defined form", "why_it_matters": "Guides the comparison method and the kind of correction needed." }, { "name": "Assessment status", "kind": "state", "unit_or_values": "Suspected, supported, contested, refuted or unresolved", "why_it_matters": "Keeps a reported error distinct from an established assessment." }, { "name": "Quantitative deviation", "kind": "measurement", "unit_or_values": "Signed or absolute difference in the compared quantity's unit; relative difference only with an explicit denominator; unknown or not applicable", "why_it_matters": "Supports magnitude comparisons without assigning invented numerical precision to qualitative errors." }, { "name": "Observed recurrence pattern", "kind": "category", "unit_or_values": "Isolated, recurring with consistent direction, variable across repetitions, mixed or undetermined", "why_it_matters": "Helps distinguish a local correction from a problem requiring investigation across repeated cases." }, { "name": "Affected dependencies", "kind": "relation", "unit_or_values": "Links to conclusions, records, decisions or actions that used the erroneous item", "why_it_matters": "Identifies where correction or reassessment may need to propagate." }, { "name": "Correction status", "kind": "state", "unit_or_values": "Unaddressed, proposed, applied, verified, unsuccessful or no correction required", "why_it_matters": "Separates acknowledging an error from successfully resolving it." } ], "affordances": [ "Frame an alleged error as an explicit comparison against a stated reference.", "Test whether disagreement reflects error, differing conventions or insufficient evidence.", "Estimate discrepancy magnitude and investigate recurrence where the evidence permits.", "Trace which downstream claims or decisions require reassessment.", "Propose and verify a correction while preserving the original assessment and its history.", "Withdraw or revise an error attribution when its reference or evidence proves inadequate." ], "agent_conduct": { "may": [ "Identify and correct errors, stating the criterion used to judge them.", "Report errors in its own outputs openly and promptly.", "Estimate and state measurement or calculation error where relevant." ], "must_not": [ "Hide, minimise or deny its own errors.", "Label a person's view an error where the question is a matter of values or open debate.", "Blame a person for an error without evidence of who made it.", "Correct records that others rely on without leaving a trace of the change." ], "requires_human": [ "Correcting an error in an official or shared record.", "Telling an affected person about an error that harmed them." ] }, "ethics": { "considerations": [ "Admitting errors builds trust; hiding them compounds harm.", "Blame for errors falls unequally and can be used to scapegoat people." ], "affected_parties": [ "People affected by the error", "People blamed for it" ] }, "owners": { "steward": "Nobody owns the concept; whoever produced a result answers for its errors.", "master_systems": [] }, "failure_modes_and_hazards": [ "Errors that propagate through systems that copy each other's outputs.", "Silent errors in data that are never detected." ], "standards_and_regulation": [ "Evaluation of measurement data, Guide to the expression of uncertainty in measurement, issued by the Joint Committee for Guides in Metrology." ], "what_it_is_for": [ "In baseball, an error is recorded when an official scorer judges that a fielding misplay meets the applicable scoring criteria.", "Errors appear in game records and fielding statistics to account for certain missed outs or runner advances." ], "visual_identification": [ "A mishandled ground ball or dropped catch can indicate a possible error when the play appeared achievable with ordinary effort.", "An inaccurate throw associated with a missed out or runner advancement can indicate a possible throwing error.", "An E notation associated with a fielder in a scoring record identifies a recorded error, while the visible misplay alone does not establish the scoring decision." ] }, "sources": [ { "id": "wikidata", "title": "Wikidata item Q1202128: error", "url": "https://www.wikidata.org/wiki/Q1202128", "url_status": "live", "what_it_supports": "identity and sense of the item", "checked_by": "wikidata-api" }, { "id": "wikipedia-en", "title": "Wikipedia: Fielding error", "url": "https://en.wikipedia.org/wiki/Fielding_error", "url_status": "live", "what_it_supports": "general description of the item", "checked_by": "wikidata-api sitelink" } ], "structure": { "bundles": [ { "id": "grounds-of-error", "name": "Grounds of error", "description": "Establishes what is alleged to be wrong and what makes that allegation applicable.", "rationale": "Error is a relational assessment; neither a bearer nor a standard alone establishes it.", "layers": [ { "id": "error-bearer", "name": "Error bearer", "description": "Locates the precise content or occurrence under assessment.", "findings": [ { "id": "locatable-discrepancy", "name": "Locatable discrepancy", "description": "Record the particular assertion, result, omission or action alleged to depart from a reference.", "questions": [ { "text": "Which exact assertion, result, omission or action is alleged to be erroneous?", "kind": "definition", "id": "locatable-discrepancy-q01" }, { "text": "Which version, occurrence and context delimit the allegation?", "kind": "boundary", "id": "locatable-discrepancy-q02" } ] } ] }, { "id": "applicable-reference", "name": "Applicable reference", "description": "Identifies the comparison basis and its authority or evidential standing.", "findings": [ { "id": "reference-justification", "name": "Reference justification", "description": "Record why this truth condition, value, rule or intended result governs this particular assessment.", "questions": [ { "text": "Against which truth condition, reference value, rule or intended result is the departure assessed?", "kind": "definition", "id": "reference-justification-q01" }, { "text": "What establishes that this reference applies in the relevant context and time?", "kind": "provenance", "id": "reference-justification-q02" }, { "text": "Would another legitimate convention change whether the item counts as erroneous?", "kind": "boundary", "id": "reference-justification-q03" } ] } ] } ] }, { "id": "evidence-and-adjudication", "name": "Evidence and adjudication", "description": "Separates detection signals from evidence sufficient to support an error assessment.", "rationale": "An anomalous result, disputed statement or failed check can suggest error without establishing it.", "layers": [ { "id": "detection-evidence", "name": "Detection evidence", "description": "Captures how the possible error became visible and what the check actually tested.", "findings": [ { "id": "diagnostic-comparison", "name": "Diagnostic comparison", "description": "Record the observation or test and its ability to distinguish error from acceptable variation.", "questions": [ { "text": "Which observation, comparison or test first indicated the possible error?", "kind": "provenance", "id": "diagnostic-comparison-q01" }, { "text": "What alternatives, such as rounding, context mismatch or a faulty checker, could explain the same signal?", "kind": "boundary", "id": "diagnostic-comparison-q02" } ] } ] }, { "id": "assessment-limits", "name": "Assessment limits", "description": "Records the support, disputes and unknowns surrounding the attribution.", "findings": [ { "id": "supported-error-attribution", "name": "Supported error attribution", "description": "Keep the strength of the error assessment separate from confidence in the exact corrected answer.", "questions": [ { "text": "What evidence supports or contests the conclusion that an error occurred?", "kind": "provenance", "id": "supported-error-attribution-q01" }, { "text": "Can the item be shown to be wrong even if its correct replacement or exact deviation remains unknown?", "kind": "boundary", "id": "supported-error-attribution-q02" }, { "text": "What additional check would resolve the most consequential uncertainty in the assessment?", "kind": "action", "id": "supported-error-attribution-q03" } ] } ] } ] }, { "id": "discrepancy-form-and-extent", "name": "Discrepancy form and extent", "description": "Characterises how the item departs from its reference and how far that departure can be assessed.", "rationale": "A false assertion, missing step and numerical deviation require different descriptions of extent.", "layers": [ { "id": "error-form", "name": "Error form", "description": "Classifies the departure without treating every error as a numerical difference.", "findings": [ { "id": "form-specific-description", "name": "Form-specific description", "description": "Describe whether the problem concerns content, absence, reasoning, representation, calculation or execution.", "questions": [ { "text": "What form of departure best describes this case, and can several forms coexist?", "kind": "definition", "id": "form-specific-description-q01" }, { "text": "Is the error in the represented content, the transformation applied to it or the action performed?", "kind": "boundary", "id": "form-specific-description-q02" } ] } ] }, { "id": "error-magnitude", "name": "Error magnitude", "description": "Assesses size or extent using measures appropriate to the comparison.", "findings": [ { "id": "interpretable-deviation", "name": "Interpretable deviation", "description": "Record a quantitative deviation only when the reference and comparison operation support one.", "questions": [ { "text": "Can the discrepancy be quantified, and which units, sign convention or denominator make that quantity interpretable?", "kind": "measurement", "id": "interpretable-deviation-q01" }, { "text": "How well is the reference known, and what limits does that place on the reported deviation?", "kind": "measurement", "id": "interpretable-deviation-q02" }, { "text": "Does a stated tolerance affect acceptability, the definition of error, or both in this domain?", "kind": "boundary", "id": "interpretable-deviation-q03" } ] } ] } ] }, { "id": "origin-and-propagation", "name": "Origin and propagation", "description": "Examines how the error arose, recurs and affects dependent material.", "rationale": "Correcting a visible instance may leave its generating process and downstream consequences unresolved.", "layers": [ { "id": "error-generation", "name": "Error generation", "description": "Distinguishes observed recurrence from proposed explanations of its cause.", "findings": [ { "id": "supported-origin-hypothesis", "name": "Supported origin hypothesis", "description": "Record candidate points of introduction and distinguish causal evidence from repetition alone.", "questions": [ { "text": "At which acquisition, interpretation, transformation or execution step could the discrepancy have entered?", "kind": "provenance", "id": "supported-origin-hypothesis-q01" }, { "text": "Across comparable cases, what recurrence or directional pattern is actually observed?", "kind": "measurement", "id": "supported-origin-hypothesis-q02" }, { "text": "What evidence would distinguish the proposed cause from competing explanations?", "kind": "action", "id": "supported-origin-hypothesis-q03" } ] } ] }, { "id": "dependent-effects", "name": "Dependent effects", "description": "Tracks use of the erroneous item and whether that use changes subsequent outcomes.", "findings": [ { "id": "consequence-trace", "name": "Consequence trace", "description": "Separate exposure to an erroneous input from demonstrated error or harm in a dependent output.", "questions": [ { "text": "Which later claims, calculations, records or decisions used the erroneous item?", "kind": "provenance", "id": "consequence-trace-q01" }, { "text": "Which dependent outcomes change when the item is corrected, and which remain valid?", "kind": "measurement", "id": "consequence-trace-q02" }, { "text": "Which dependencies warrant reassessment first given the consequences of leaving them unresolved?", "kind": "action", "id": "consequence-trace-q03" } ] } ] } ] }, { "id": "correction-and-reassessment", "name": "Correction and reassessment", "description": "Connects corrective action to verification and possible revision of the original attribution.", "rationale": "A changed item is not necessarily corrected, and an error allegation may itself be mistaken.", "layers": [ { "id": "corrective-intervention", "name": "Corrective intervention", "description": "Defines what must change to remove or contain the supported discrepancy.", "findings": [ { "id": "targeted-correction", "name": "Targeted correction", "description": "Choose an intervention suited to the error bearer, its dependencies and the remaining uncertainty.", "questions": [ { "text": "Should the item be replaced, recalculated, qualified, withdrawn or held pending further evidence?", "kind": "action", "id": "targeted-correction-q01" }, { "text": "Which dependent items require correction or notification when this intervention is applied?", "kind": "action", "id": "targeted-correction-q02" } ] } ] }, { "id": "verification-and-revision", "name": "Verification and revision", "description": "Tests the correction and keeps the error assessment open to contrary evidence.", "findings": [ { "id": "verified-resolution", "name": "Verified resolution", "description": "Record evidence that the intervention addresses the discrepancy and conditions for reopening or withdrawing the assessment.", "questions": [ { "text": "Which check would show that the corrected item satisfies the applicable reference without repeating the original checking weakness?", "kind": "action", "id": "verified-resolution-q01" }, { "text": "What evidence would require withdrawing the error attribution or revising its reference?", "kind": "boundary", "id": "verified-resolution-q02" }, { "text": "What remains unresolved after correction, including possible recurrence and downstream effects?", "kind": "action", "id": "verified-resolution-q03" } ] } ] } ] }, { "id": "evidence-and-external-alignment", "name": "Evidence and external alignment", "description": "What the world already says about this thing, gathered so the model can be checked against it.", "rationale": "A model that cannot be lined up against existing standards, identifiers and practice cannot be adopted by anyone who already uses them.", "layers": [ { "id": "reported-evidence", "name": "Reported evidence", "description": "Findings from the breadth pass, kept separate from the structural claims.", "findings": [ { "id": "evidence-confidence-notes", "name": "Check these first", "description": "Recalled without web access and unsourced; every item is a lead to verify.", "evidence": [ "No sense is recorded; this description assumes the broad epistemic concept rather than a software error or a particular statistical quantity.", "The listed kinds come from different disciplines and do not form a mutually exclusive classification.", "Quantitative measures apply to operationally defined errors; many factual or logical errors have no natural numerical magnitude." ], "questions": [ { "id": "evidence-confidence-notes-q01", "text": "Which of these check these first hold for the sense of error this model covers, and on what evidence?", "kind": "provenance" } ] }, { "id": "evidence-kinds", "name": "Kinds and varieties", "description": "Recalled without web access and unsourced; every item is a lead to verify.", "evidence": [ "Factual error", "Logical error", "Systematic measurement error", "Random measurement error", "Numerical rounding error", "Numerical truncation error" ], "questions": [ { "id": "evidence-kinds-q01", "text": "Which of these kinds and varieties hold for the sense of error this model covers, and on what evidence?", "kind": "provenance" } ] }, { "id": "evidence-real-world-use", "name": "Real-world use", "description": "Recalled without web access and unsourced; every item is a lead to verify.", "evidence": [ "Checking claims against evidence and correcting inaccurate records.", "Evaluating whether conclusions follow from premises.", "Comparing measurements with reference quantity values.", "Assessing numerical approximations against exact or reference solutions.", "Evaluating predictions against observed outcomes." ], "questions": [ { "id": "evidence-real-world-use-q01", "text": "Which of these real-world use hold for the sense of error this model covers, and on what evidence?", "kind": "provenance" } ] }, { "id": "evidence-measurements", "name": "Typical measurements", "description": "Recalled without web access and unsourced; every item is a lead to verify.", "evidence": [ { "quantity": "Signed error", "typical_range": "Negative, zero or positive; bounds depend on the quantity and reference.", "unit": "Same unit as the assessed quantity." }, { "quantity": "Absolute error", "typical_range": "Zero or greater.", "unit": "Same unit as the assessed quantity." }, { "quantity": "Proportion of assessed items classified as erroneous", "typical_range": "0-1.", "unit": "Dimensionless; also expressed as a percentage." } ], "questions": [ { "id": "evidence-measurements-q01", "text": "Which of these typical measurements hold for the sense of error this model covers, and on what evidence?", "kind": "provenance" } ] }, { "id": "evidence-failure-modes-and-hazards", "name": "Failure modes and hazards", "description": "Recalled without web access and unsourced; every item is a lead to verify.", "evidence": [ "Using an incorrect reference can make correct results appear erroneous.", "Errors can propagate through later reasoning, calculations and decisions.", "Systematic errors may persist despite repeated measurement.", "Treating uncertainty as known error can create unjustified confidence in a correction.", "Aggregating signed errors can conceal large opposing deviations." ], "questions": [ { "id": "evidence-failure-modes-and-hazards-q01", "text": "Which of these failure modes and hazards hold for the sense of error this model covers, and on what evidence?", "kind": "provenance" } ] }, { "id": "evidence-neighbours", "name": "Neighbouring kinds and how to tell them apart", "description": "Recalled without web access and unsourced; every item is a lead to verify.", "evidence": [ { "name": "Uncertainty", "difference": "Uncertainty concerns incomplete knowledge or dispersion of plausible values; error concerns departure from a correctness criterion or reference." }, { "name": "Ignorance", "difference": "Ignorance is lack of knowledge; error involves an incorrect belief, assertion, inference or result." }, { "name": "Falsehood", "difference": "Falsehood concerns the truth of a proposition; error also applies to invalid inferences and quantitative deviations." }, { "name": "Bias", "difference": "Bias is a systematic tendency or displacement; an error need not be systematic." }, { "name": "Residual", "difference": "A statistical residual compares an observation with a fitted value; it is not generally the unobserved error relative to the underlying model." } ], "questions": [ { "id": "evidence-neighbours-q01", "text": "Which of these neighbouring kinds and how to tell them apart hold for the sense of error this model covers, and on what evidence?", "kind": "provenance" } ] } ] } ] } ] }, "openQuestions": [ "Does registry entry vr.tr.error-q1202128 intend the broad concept of error or a narrower epistemic sense within INF.KNW?", "Which existing Vercy world model, if any, already owns this concept and should be linked instead of duplicated?", "Should erroneous actions be owned here or represented only through relations to action-plane models?", "Which domain conventions must be named to distinguish error, uncertainty, residual, defect and failure without imposing one discipline's terminology on another?", "How should the model represent cases where the governing reference is disputed, changes over time or is later shown to be erroneous?" ], "statistics": { "bundles": 6, "layers": 11, "findings": 16, "questions": 32 } }