{ "vercy": "1.0-draft", "publication": { "status": "research-draft", "adjudicationStatus": "unreviewed", "publishableCanonical": false, "generatedAt": "2026-09-12T09:35:36Z", "providers": [ "Codex" ], "breadth": "recalled by Codex without web access - no source was read", "missingProviders": [], "pass": 2, "cost": { "grok": { "seconds": 21.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: 01a094f8-001b-7590-9db1-bc0337d06475\n--------\nuser\nDescribe what is already known about one registered thing. Answer as JSON only, no prose around it.\n\nThing: exception\nSense to describe: (none recorded)\nDomain code: XCT.QLT\nAlso known as: (none)\n\n\nContext for this batch of 1001 things:\n# Batch 043: 1001 regis", "usd": 0.0, "recall": true }, "codex": { "seconds": 61.5, "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: 01a094f8-001b-7943-ad3e-586839c5c00c\n--------\nuser\nYou are drafting a Vercy meta-model for one registered thing. Answer as JSON only, no prose around it.\n\nThing: exception\nRegistry id: vr.tr.exception\nPlane / domain: XCT / XCT.QLT\nRegistry definition: (none recorded)\nNames folded into this entry: (none)\n\n\nCont" } }, "enrichment": { "pass": 3, "engine": "claude", "producedAt": "2026-10-06T12:00:00Z", "ingestedAt": "2026-10-06T08:17:11+00:00", "fields": [ "agent_conduct", "ethics", "owners" ] }, "gate": { "passed": true, "version": "1.0", "at": "2026-10-07T12:51:19+00:00", "evidence": [ "completeness 1.00", "sense: Wikidata description", "2 live sources", "review by codex: pass" ] } }, "metaModel": { "id": "THING-Q779608", "registryId": "vr.tr.exception", "name": "exception", "version": "0.1.0-research.1", "entryKind": "thing", "family": "Thing Registry", "domain": [ "XCT.QLT" ], "status": "research-draft" }, "canonicalUrl": "https://ver.cy/models/thing/q779608/", "model": { "registry_id": "vr.tr.exception", "name": "exception", "purpose": "Enable an agent to recognise a claimed exception to a rule or expectation, assess its justification and decide how it may be handled.", "definition": "An exception is a case excluded from the scope of a rule or treated differently from the cases to which a rule, generalisation, or expectation ordinarily applies.", "scope_statement": "This model owns exception as a contextual relationship between a case and a specified rule, norm or expectation, including disputed interpretations, supporting evidence and handling limits; this is a provisional reading because the registry records no definition.", "in_scope": [ "The case, class of cases or circumstances claimed to constitute an exception", "The baseline rule or expectation and its intended scope", "Differences between an exclusion, an authorised exemption, a violation and a counterexample", "Evidence, arguments and authority supporting or contesting exceptional treatment", "Conditions, duration and consequences of recognising an exception" ], "out_of_scope": [ "Complete specification and administration of the underlying rule system", "Statistical anomaly detection methods and population models", "Programming language exception objects and runtime handling mechanisms", "Detailed legal doctrines governing particular statutory exceptions", "Incident remediation and defect repair beyond the exception decision" ], "distinguishing_features": [ "A candidate must identify the rule or expectation relative to which it is exceptional; unusualness alone is insufficient.", "A case outside a rule's original applicability may be an exclusion rather than an exception to an applicable rule.", "An observed departure does not establish permission to depart; a violation and an authorised exemption require different evidence.", "A genuine counterexample challenges a universal descriptive claim, whereas an exemption changes how a prescriptive rule applies.", "A departure permitted by the ordinary procedure may be a normal branch of that procedure rather than exceptional treatment." ], "characteristics": [ { "name": "Baseline referent", "kind": "relation", "unit_or_values": "Identified rule, norm or expectation, including version and relevant clause", "why_it_matters": "An exception cannot be assessed independently of the baseline it qualifies." }, { "name": "Interpretive sense", "kind": "category", "unit_or_values": "Descriptive departure; counterexample; explicit rule exception; discretionary exemption; contested or unresolved", "why_it_matters": "Different senses require different evidence and support different actions." }, { "name": "Applicability assessment", "kind": "state", "unit_or_values": "Baseline applies; baseline excludes case; applicability disputed; insufficient information", "why_it_matters": "Prevents ordinary exclusions from being treated as special permissions." }, { "name": "Exceptional condition", "kind": "relation", "unit_or_values": "Specific case facts linked to the condition claimed to defeat or qualify ordinary application", "why_it_matters": "Makes the claimed departure testable rather than merely asserted." }, { "name": "Recognition status", "kind": "state", "unit_or_values": "Proposed; recognised; rejected; disputed; withdrawn; expired, where applicable", "why_it_matters": "Separates a request or allegation from an established exception." }, { "name": "Recognition basis", "kind": "category", "unit_or_values": "Express clause; delegated decision; interpretive argument; empirical evidence; unsupported claim", "why_it_matters": "Distinguishes authority to permit a departure from evidence that a departure occurred." }, { "name": "Scope of effect", "kind": "relation", "unit_or_values": "Affected cases, obligations or conclusions, with contextual and temporal limits", "why_it_matters": "Constrains how far the exception may be extended." }, { "name": "Review trigger", "kind": "relation", "unit_or_values": "Expiry date, changed circumstance, new evidence, baseline revision or specified review event", "why_it_matters": "Identifies when continued recognition needs reassessment." } ], "affordances": [ "Compare a candidate case with a named baseline and locate the precise departure.", "Classify the claim as an exclusion, exemption, violation, counterexample or unresolved departure.", "Record competing interpretations and the evidence or authority each relies on.", "Determine whether an authorised exception permits a proposed action within its limits.", "Reassess recognition when conditions, evidence or the baseline change.", "Compare repeated exceptions to assess whether the baseline needs qualification or revision." ], "agent_conduct": { "may": [ "Identify and explain exceptions to rules, citing the rule and its source.", "Apply exceptions in systems only where the rule-owner has defined them." ], "must_not": [ "Invent exceptions to rules, laws or policies to justify an action.", "Grant itself or others exceptions it has no authority to grant.", "Treat a person as an exception to protections they are entitled to." ], "requires_human": [ "Granting an exception to a policy that affects people." ] }, "ethics": { "considerations": [ "Exceptions can be fair or a door to favouritism and abuse.", "People denied an exception they qualify for are wronged." ], "affected_parties": [ "People subject to rules", "Rule-makers and administrators" ] }, "owners": { "steward": "Nobody owns the concept; the owner of each rule answers for its exceptions.", "master_systems": [] }, "what_it_is_for": [ "An exception is used when a rule explicitly excludes a case or permits that case to receive different treatment.", "The concept appears in policy interpretation, administrative decisions and reasoning about general observations.", "Assessing an exception requires identifying the underlying rule, the excluded case and the grounds for different treatment." ], "failure_modes_and_hazards": [ "An unjustified exception can bypass safeguards and expose people or property to preventable harm.", "Inconsistent exceptions can produce unfair treatment and undermine confidence in decision making.", "An exception applied beyond its intended scope can weaken a rule and create unintended permissions.", "Mistaking an exceptional observation for a general pattern can lead to unreliable predictions." ], "facets_not_applicable": { "interfaces": "No universal standard or law governs exceptions as an abstract concept because applicable requirements come from the particular rule and its authority.", "recognition": "An exception is an abstract relationship between a case and a rule and has no intrinsic visual appearance." } }, "sources": [ { "id": "wikidata", "title": "Wikidata item Q779608: exception", "url": "https://www.wikidata.org/wiki/Q779608", "url_status": "live", "what_it_supports": "identity and sense of the item", "checked_by": "wikidata-api" }, { "id": "found-2", "title": "Cambridge Dictionary: Exception", "url": "https://dictionary.cambridge.org/dictionary/english/exception", "url_status": "live", "checked_by": "http 200", "what_it_supports": "Something outside a general rule or usual pattern." } ], "structure": { "bundles": [ { "id": "baseline-and-applicability", "name": "Baseline and applicability", "description": "Establish what ordinary treatment or expectation the candidate qualifies.", "rationale": "Exception is relational: without a baseline and an applicability test, the designation has no assessable content.", "layers": [ { "id": "baseline-identification", "name": "Baseline identification", "description": "Identify the operative rule or expectation and its force.", "findings": [ { "id": "ordinary-result", "name": "Ordinary result", "description": "Record what would ordinarily be required, permitted or predicted for the candidate case.", "questions": [ { "text": "Which precise rule, norm or expectation would produce the ordinary result, and which version is relevant?", "kind": "definition", "id": "ordinary-result-q01" }, { "text": "Is the baseline a universal claim, a default expectation or a prescription for conduct?", "kind": "boundary", "id": "ordinary-result-q02" } ] } ] }, { "id": "scope-membership", "name": "Scope membership", "description": "Test whether the candidate belongs to the baseline's intended domain.", "findings": [ { "id": "applicability-before-exception", "name": "Applicability before exception", "description": "Separate an exception to an applicable baseline from a case the baseline never covered.", "questions": [ { "text": "Which facts place this case within the baseline's subjects, circumstances and time period?", "kind": "boundary", "id": "applicability-before-exception-q01" }, { "text": "Does an existing scope exclusion already explain the different treatment without invoking an exception?", "kind": "definition", "id": "applicability-before-exception-q02" } ] } ] } ] }, { "id": "sense-and-instance-tests", "name": "Sense and instance tests", "description": "Make explicit which meaning of exception is being used and how instances are recognised.", "rationale": "Descriptive departures, counterexamples and permissions to depart are easily conflated but have different implications.", "layers": [ { "id": "competing-interpretations", "name": "Competing interpretations", "description": "Record who treats the case as exceptional and under which definition.", "findings": [ { "id": "exception-reading", "name": "Exception reading", "description": "Locate disagreement about whether exception means an observed departure, a rule qualification or authorised special treatment.", "questions": [ { "text": "What does each relevant source or participant mean by calling this case an exception?", "kind": "definition", "id": "exception-reading-q01" }, { "text": "Who holds each interpretation, and where is their position recorded?", "kind": "provenance", "id": "exception-reading-q02" }, { "text": "Would the competing interpretations classify the same concrete case differently?", "kind": "boundary", "id": "exception-reading-q03" } ] } ] }, { "id": "operational-recognition", "name": "Operational recognition", "description": "Specify observable or documentary tests for the claimed exceptional condition.", "findings": [ { "id": "departure-test", "name": "Departure test", "description": "Connect the candidate's facts to an explicit criterion rather than relying on the label exceptional.", "questions": [ { "text": "Which observable facts or documented conditions would make this case count as an exception under the selected interpretation?", "kind": "measurement", "id": "departure-test-q01" }, { "text": "What evidence would instead classify it as ordinary variation, a recording error or a violation?", "kind": "boundary", "id": "departure-test-q02" } ] } ] } ] }, { "id": "grounds-and-contestation", "name": "Grounds and contestation", "description": "Assess the support for recognising the exception and preserve challenges to that support.", "rationale": "Evidence that a departure occurred and authority to permit it are separate grounds that must not substitute for one another.", "layers": [ { "id": "evidential-support", "name": "Evidential support", "description": "Trace the case facts and determine whether they establish the claimed departure.", "findings": [ { "id": "case-evidence", "name": "Case evidence", "description": "Record evidence for and against the exceptional condition, including uncertainties that affect classification.", "questions": [ { "text": "Which records or observations establish the condition claimed to make this case exceptional?", "kind": "provenance", "id": "case-evidence-q01" }, { "text": "Which missing, conflicting or unreliable facts could reverse the assessment?", "kind": "measurement", "id": "case-evidence-q02" } ] } ] }, { "id": "normative-warrant", "name": "Normative warrant", "description": "For prescriptive baselines, identify the source and limits of permission to depart.", "findings": [ { "id": "permission-and-objection", "name": "Permission and objection", "description": "Distinguish explicit exceptions and delegated exemptions from unsupported requests or retrospective excuses.", "questions": [ { "text": "Which clause or delegated power permits the departure, and who may exercise it?", "kind": "provenance", "id": "permission-and-objection-q01" }, { "text": "What objections contest the justification or the decision-maker's authority?", "kind": "boundary", "id": "permission-and-objection-q02" }, { "text": "If permission is unestablished, what decision or evidence is needed before exceptional treatment may proceed?", "kind": "action", "id": "permission-and-objection-q03" } ] } ] } ] }, { "id": "effect-and-handling", "name": "Effect and handling", "description": "Specify what recognising the exception changes and how it should be acted upon.", "rationale": "Recognition must lead to a bounded consequence rather than an unrestricted suspension of the baseline.", "layers": [ { "id": "bounded-consequences", "name": "Bounded consequences", "description": "Identify exactly which obligations, permissions or conclusions are affected.", "findings": [ { "id": "extent-of-displacement", "name": "Extent of displacement", "description": "Record whether recognition removes, replaces, suspends or qualifies the ordinary result.", "questions": [ { "text": "Which specific obligation, permission or predicted conclusion changes when this exception is recognised?", "kind": "definition", "id": "extent-of-displacement-q01" }, { "text": "Which parts of the baseline continue to apply, and what substitute conditions govern the case?", "kind": "boundary", "id": "extent-of-displacement-q02" } ] } ] }, { "id": "decision-routing", "name": "Decision routing", "description": "Connect recognition status to an appropriate next action.", "findings": [ { "id": "status-dependent-action", "name": "Status-dependent action", "description": "Distinguish actions supported by an established exception from actions requiring further assessment.", "questions": [ { "text": "Given the current recognition status, should the agent apply ordinary treatment, use an established exception or refer the claim for decision?", "kind": "action", "id": "status-dependent-action-q01" }, { "text": "What record must accompany the action so another reviewer can reconstruct why the baseline was qualified?", "kind": "provenance", "id": "status-dependent-action-q02" } ] } ] } ] }, { "id": "persistence-and-generalisation", "name": "Persistence and generalisation", "description": "Control continued recognition and assess what the exception implies for other cases or the baseline itself.", "rationale": "An exception can cease to apply, influence later cases or reveal a defective baseline; these consequences require separate judgments.", "layers": [ { "id": "continued-applicability", "name": "Continued applicability", "description": "Track whether the conditions supporting recognition still hold.", "findings": [ { "id": "reassessment-conditions", "name": "Reassessment conditions", "description": "Identify expiry, changed facts and baseline revisions that require renewed assessment.", "questions": [ { "text": "Which time limit, factual condition or baseline version bounds this exception's continued applicability?", "kind": "boundary", "id": "reassessment-conditions-q01" }, { "text": "What event should trigger review, withdrawal or reclassification, and what treatment follows?", "kind": "action", "id": "reassessment-conditions-q02" } ] } ] }, { "id": "precedent-and-rule-revision", "name": "Precedent and rule revision", "description": "Assess transfer to similar cases and implications for the baseline's adequacy.", "findings": [ { "id": "limits-of-generalisation", "name": "Limits of generalisation", "description": "Separate case-specific recognition from a reusable exception class or a reason to revise the rule.", "questions": [ { "text": "Which features must another case share before this exception's reasoning or permission can apply to it?", "kind": "boundary", "id": "limits-of-generalisation-q01" }, { "text": "Does the evidence warrant a single-case exception, an explicit exception class or revision of the baseline?", "kind": "action", "id": "limits-of-generalisation-q02" }, { "text": "If recurrence is cited, how were exceptions counted relative to all eligible cases?", "kind": "measurement", "id": "limits-of-generalisation-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 account assumes the general abstract concept rather than the specialised programming sense.", "The listed kinds are useful distinctions, not a universal or standardised taxonomy.", "Whether a case is an exclusion, a permitted departure, or contrary evidence depends on the wording and intended scope of the underlying rule." ], "questions": [ { "id": "evidence-confidence-notes-q01", "text": "Which of these check these first hold for the sense of exception 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": [ "Explicit exception stated within a rule", "Discretionary exception authorised for a particular case", "Apparent exception caused by ambiguity or misclassification", "Empirical exception to an expected pattern" ], "questions": [ { "id": "evidence-kinds-q01", "text": "Which of these kinds and varieties hold for the sense of exception 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": [ "Defining the scope and exclusions of policies, contracts, and eligibility rules", "Recording authorised departures from organisational procedures", "Identifying cases that challenge an empirical generalisation", "Routing cases that ordinary processing procedures cannot handle" ], "questions": [ { "id": "evidence-real-world-use-q01", "text": "Which of these real-world use hold for the sense of exception 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": [ "Adding exceptions after the fact to protect a claim from contrary evidence", "Applying discretionary exceptions inconsistently across comparable cases", "Allowing accumulated exceptions to obscure the effective rule", "Treating an explicit exclusion as a violation of the rule", "Mistaking a data error or misclassified case for a substantive exception" ], "questions": [ { "id": "evidence-failure-modes-and-hazards-q01", "text": "Which of these failure modes and hazards hold for the sense of exception 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": "counterexample", "difference": "A counterexample falsifies a universal claim when it falls within that claim's scope; an explicitly excluded exception falls outside that scope." }, { "name": "exemption", "difference": "An exemption specifically releases a person, entity, or case from an otherwise applicable obligation; exception has a broader scope." }, { "name": "anomaly", "difference": "An anomaly departs from an expected pattern; an exception can be an anticipated and explicitly authorised exclusion." }, { "name": "violation", "difference": "A violation breaches an applicable rule; a permitted exception changes whether or how the rule applies." }, { "name": "outlier", "difference": "An outlier is unusually distant from other observations under a statistical criterion; an exception need not involve numerical data." }, { "name": "software exception", "difference": "A software exception is a programming mechanism or condition that redirects ordinary execution; the general concept does not require computational control flow." } ], "questions": [ { "id": "evidence-neighbours-q01", "text": "Which of these neighbouring kinds and how to tell them apart hold for the sense of exception this model covers, and on what evidence?", "kind": "provenance" } ] } ] } ] } ] }, "openQuestions": [ "Does the registry intend exception as a general rule-relative concept, a quality of being exceptional or a narrower disciplinary sense?", "Which reference works and disciplinary sources distinguish exception, exclusion, exemption, violation and counterexample, and where do their definitions conflict?", "Should descriptive departures and normative exceptions share one recognition lifecycle, or require separate state vocabularies within this model?", "When is an explicit exception best represented as part of the baseline's complete rule rather than as a departure from it?", "Which domain-specific criteria justify transferring an exception to similar cases or revising the baseline, without inventing a universal recurrence threshold?" ], "statistics": { "bundles": 6, "layers": 11, "findings": 15, "questions": 28 } }