{ "vercy": "1.0-draft", "publication": { "status": "research-draft", "adjudicationStatus": "unreviewed", "publishableCanonical": false, "generatedAt": "2026-09-12T09:34:51Z", "providers": [ "Codex" ], "breadth": "recalled by Codex without web access - no source was read", "missingProviders": [], "pass": 2, "cost": { "grok": { "seconds": 16.1, "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: 01a094f7-5a9a-7040-adae-3485fa57f8c1\n--------\nuser\nDescribe what is already known about one registered thing. Answer as JSON only, no prose around it.\n\nThing: example\nSense to describe: an item of information that is typical of a class or group\nDomain code: INF.KNW\nAlso known as: (none)\n\n\nContext for this batc", "usd": 0.0, "recall": true }, "codex": { "seconds": 58.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: 01a094f7-5a91-75c3-b4ba-e1cb3db2896b\n--------\nuser\nYou are drafting a Vercy meta-model for one registered thing. Answer as JSON only, no prose around it.\n\nThing: example\nRegistry id: vr.tr.example\nPlane / domain: INF / INF.KNW\nRegistry definition: an item of information that is typical of a class or group\nName" } }, "enrichment": { "pass": 3, "engine": "claude", "producedAt": "2026-10-06T12:00:00Z", "ingestedAt": "2026-10-06T08:15:45+00:00", "fields": [ "agent_conduct", "ethics", "owners" ] }, "gate": { "passed": true, "version": "1.0", "at": "2026-10-07T12:16:27+00:00", "evidence": [ "completeness 1.00", "sense: WordNet gloss", "2 live sources", "review by codex: pass" ] } }, "metaModel": { "id": "THING-EXAMPLE", "registryId": "vr.tr.example", "name": "example", "version": "0.1.0-research.1", "entryKind": "thing", "family": "Thing Registry", "domain": [ "INF.KNW" ], "status": "research-draft" }, "canonicalUrl": "https://ver.cy/models/thing/example/", "model": { "registry_id": "vr.tr.example", "name": "example", "purpose": "Enable an agent to recognise an information item as an example of a specified class, assess its typicality and suitability, and use it within justified limits.", "definition": "An example is an item of information presented as an instance of a class or group to illustrate its characteristic features.", "scope_statement": "This model owns the relationship through which an information item represents a class or group by exhibiting its typical features, including the basis for selection, its presentation and the limits of its use.", "in_scope": [ "The information item and the class or group it exemplifies", "Features that establish membership and typicality", "Selection context and intended audience", "Authentic or constructed status and relevant alterations", "Suitability for illustration, comparison and reuse" ], "out_of_scope": [ "The complete definition and organisation of the represented class", "The physical object or event described by the information item", "Sampling procedures and population estimates", "Proofs and general claims that examples may help explain", "Complete lessons, arguments or datasets containing examples" ], "distinguishing_features": [ "An example presents a particular information item as typical of a named or recoverable class; a definition states what the class means.", "An item must exhibit relevant class features to qualify under this registry definition; merely mentioning the class is insufficient.", "Membership alone does not establish typicality: an exceptional member requires qualification before it can serve as a typical example.", "A counterexample challenges a claim, whereas this entry concerns typical representation; one item can occupy both roles only with separately stated targets.", "An analogy may resemble a class without belonging to it; an example requires a justified membership relationship at the level being exemplified." ], "characteristics": [ { "name": "Exemplified class", "kind": "relation", "unit_or_values": "Reference to the class or group, including its applicable interpretation", "why_it_matters": "An item is an example relative to a particular class, not in isolation." }, { "name": "Exemplifying features", "kind": "relation", "unit_or_values": "Connections between item details and relevant class features", "why_it_matters": "Makes the basis of exemplification inspectable." }, { "name": "Membership assessment", "kind": "state", "unit_or_values": "Supported | disputed | unresolved | excluded", "why_it_matters": "Prevents superficial resemblance from being treated as class membership." }, { "name": "Typicality assessment", "kind": "state", "unit_or_values": "Supported | qualified | disputed | unassessed", "why_it_matters": "Separates a typical representative from a merely possible instance." }, { "name": "Typicality basis", "kind": "category", "unit_or_values": "Observed prevalence | similarity to a stated prototype | named convention | other explicit criterion | unspecified", "why_it_matters": "Different meanings of typical require different justification." }, { "name": "Origin mode", "kind": "category", "unit_or_values": "Recorded occurrence | adapted occurrence | constructed item | mixed | unknown", "why_it_matters": "Determines whether the item can support claims about actual occurrences." }, { "name": "Presentation transformations", "kind": "relation", "unit_or_values": "Links to omissions, substitutions, simplifications or annotations", "why_it_matters": "Changes can improve clarity while weakening fidelity or typicality." }, { "name": "Use suitability", "kind": "state", "unit_or_values": "Suitable | suitable with qualifications | unsuitable | unassessed, for a specified use and audience", "why_it_matters": "A valid example may still mislead in a particular context." } ], "affordances": [ "Identify the class and features that an item exemplifies.", "Assess membership and typicality separately.", "Select examples that make relevant class features visible.", "Annotate incidental details and limits on generalisation.", "Adapt an example while checking whether its exemplifying features survive.", "Replace or qualify an example when its class interpretation or intended use changes." ], "agent_conduct": { "may": [ "Give examples to illustrate concepts and say they are examples.", "Mark invented examples clearly as invented." ], "must_not": [ "Present an invented example as a real case.", "Use real people's private data as examples without consent.", "Choose examples that reinforce stereotypes about groups.", "Generalise from one example as if it proved a rule." ], "requires_human": [ "Publishing a real case about identifiable people as an example." ] }, "ethics": { "considerations": [ "Examples shape how people understand groups and ideas; biased ones spread prejudice." ], "affected_parties": [ "People used as examples", "Learners" ] }, "owners": { "steward": "Nobody owns the concept; the author answers for each example used.", "master_systems": [] }, "what_it_is_for": [ "An example is used in teaching, documentation and explanation to connect a general category with a particular instance.", "Examples support comparison and reasoning when their relevant features and limits are made explicit." ], "failure_modes_and_hazards": [ "An unrepresentative example can lead people or agents to generalize beyond the available evidence.", "An incorrect example can teach a false rule or reinforce a mistaken classification.", "An example containing sensitive information can expose personal or confidential details." ], "facets_not_applicable": { "interfaces": "No specific standard, law or official classification applies to an example solely by virtue of its illustrative role.", "recognition": "Being an example is an informational role established by context rather than by distinctive perceptible features." } }, "sources": [ { "id": "oewn", "title": "Open English WordNet 2024, synset oewn-05828980-n", "url": "https://en-word.net/id/oewn-05828980-n", "what_it_supports": "sense and gloss of the concept", "url_status": "live", "checked_by": "http 200" }, { "id": "wiktionary-en", "title": "Wiktionary: example", "url": "https://en.wiktionary.org/wiki/example", "what_it_supports": "word senses and usage", "url_status": "live", "checked_by": "http 200" } ], "structure": { "bundles": [ { "id": "exemplification-target", "name": "Exemplification target", "description": "Establishes what the information item is an example of and at what level.", "rationale": "The same item may exemplify several classes, with different justifications.", "layers": [ { "id": "class-reference", "name": "Class reference", "description": "Identifies the intended class and the interpretation in use.", "findings": [ { "id": "recoverable-target-class", "name": "Recoverable target class", "description": "Record the class or group being exemplified and whether it is stated or inferred from context.", "questions": [ { "text": "Which class or group is this item presented as typical of?", "kind": "definition", "id": "recoverable-target-class-q01" }, { "text": "Which contextual cues establish the target when it is not explicitly named?", "kind": "provenance", "id": "recoverable-target-class-q02" } ] } ] }, { "id": "membership-fit", "name": "Membership fit", "description": "Connects the particular item to the target class.", "findings": [ { "id": "membership-bearing-details", "name": "Membership-bearing details", "description": "Identify the details supporting class membership and distinguish the information item from anything it describes.", "questions": [ { "text": "Which details establish membership in the target class?", "kind": "definition", "id": "membership-bearing-details-q01" }, { "text": "Does the information item itself belong to the class, or does it describe a member of that class?", "kind": "boundary", "id": "membership-bearing-details-q02" } ] } ] } ] }, { "id": "typicality-and-variation", "name": "Typicality and variation", "description": "Examines why the item counts as typical and which differences it leaves unrepresented.", "rationale": "The registry definition requires typicality, which cannot be inferred from membership alone.", "layers": [ { "id": "typicality-warrant", "name": "Typicality warrant", "description": "Makes the criterion and support for typicality explicit.", "findings": [ { "id": "supported-typicality", "name": "Supported typicality", "description": "Record what typical means in this context and the evidence or convention supporting that assessment.", "questions": [ { "text": "Does typical mean frequently occurring, close to a stated prototype, conventionally representative or something else here?", "kind": "definition", "id": "supported-typicality-q01" }, { "text": "What observations or named conventions support calling this item typical?", "kind": "provenance", "id": "supported-typicality-q02" } ] } ] }, { "id": "represented-variation", "name": "Represented variation", "description": "Identifies typical features alongside unusual or narrowly local details.", "findings": [ { "id": "typicality-limits", "name": "Typicality limits", "description": "Specify the dimensions on which the item is representative and the class variation it does not show.", "questions": [ { "text": "Which features are typical, and which are incidental or exceptional?", "kind": "boundary", "id": "typicality-limits-q01" }, { "text": "What additional example would reveal an important variation this item omits?", "kind": "action", "id": "typicality-limits-q02" } ] } ] } ] }, { "id": "selection-and-origin", "name": "Selection and origin", "description": "Explains how the example came to be chosen or constructed.", "rationale": "Deliberate selection can favour clarity while hiding variation, and constructed examples do not establish real-world occurrence.", "layers": [ { "id": "item-origin", "name": "Item origin", "description": "Distinguishes records of actual occurrences from invented or adapted information.", "findings": [ { "id": "origin-and-authenticity", "name": "Origin and authenticity", "description": "Record whether the example was observed, constructed or adapted and what supports that account.", "questions": [ { "text": "Was this item recorded from an actual occurrence, constructed for illustration or adapted from another item?", "kind": "provenance", "id": "origin-and-authenticity-q01" }, { "text": "What source or construction account allows its origin to be checked?", "kind": "provenance", "id": "origin-and-authenticity-q02" } ] } ] }, { "id": "selection-rationale", "name": "Selection rationale", "description": "Records why this particular item was preferred.", "findings": [ { "id": "selection-tradeoffs", "name": "Selection tradeoffs", "description": "Identify the intended benefit of selection and any resulting distortion of the class.", "questions": [ { "text": "Why was this item selected as an example rather than another member of the class?", "kind": "provenance", "id": "selection-tradeoffs-q01" }, { "text": "Did selection for simplicity, familiarity or vividness exclude features needed for typical representation?", "kind": "boundary", "id": "selection-tradeoffs-q02" } ] } ] } ] }, { "id": "presentation-and-fidelity", "name": "Presentation and fidelity", "description": "Connects the displayed example to the features it is meant to reveal.", "rationale": "A presentation can obscure relevant features or make incidental details appear defining.", "layers": [ { "id": "feature-visibility", "name": "Feature visibility", "description": "Checks whether a reader can locate the details that perform the exemplification.", "findings": [ { "id": "visible-exemplifying-features", "name": "Visible exemplifying features", "description": "Associate relevant class features with specific passages, values or other visible elements of the item.", "questions": [ { "text": "Where can the audience inspect each feature that makes this item an example?", "kind": "definition", "id": "visible-exemplifying-features-q01" }, { "text": "What annotation would distinguish exemplifying features from incidental details?", "kind": "action", "id": "visible-exemplifying-features-q02" } ] } ] }, { "id": "adaptation-fidelity", "name": "Adaptation fidelity", "description": "Assesses whether simplification or transformation preserves the example's role.", "findings": [ { "id": "preserved-exemplification", "name": "Preserved exemplification", "description": "Track changes to the presented item and assess their effect on membership and typicality.", "questions": [ { "text": "What has been omitted, substituted, simplified or added to the original item?", "kind": "provenance", "id": "preserved-exemplification-q01" }, { "text": "Would any change remove a class-defining feature or make the item atypical?", "kind": "boundary", "id": "preserved-exemplification-q02" } ] } ] } ] }, { "id": "use-and-inference", "name": "Use and inference", "description": "Assesses what the example helps an audience do and what conclusions its use supports.", "rationale": "An example's illustrative value must be assessed separately from the strength of claims inferred from it.", "layers": [ { "id": "illustrative-suitability", "name": "Illustrative suitability", "description": "Relates the example to a specific audience and recognition or explanation task.", "findings": [ { "id": "audience-task-fit", "name": "Audience and task fit", "description": "Record the intended use, required background knowledge and likely misunderstandings.", "questions": [ { "text": "What should the audience be able to recognise or understand after inspecting this example?", "kind": "action", "id": "audience-task-fit-q01" }, { "text": "What background knowledge is needed to recognise its relevant features correctly?", "kind": "boundary", "id": "audience-task-fit-q02" } ] } ] }, { "id": "generalisation-limits", "name": "Generalisation limits", "description": "Separates what the item illustrates from broader claims requiring further support.", "findings": [ { "id": "bounded-inference", "name": "Bounded inference", "description": "Specify conclusions warranted by the example and identify where additional evidence is required.", "questions": [ { "text": "Which conclusions concern only this item, and which extend to the represented class?", "kind": "boundary", "id": "bounded-inference-q01" }, { "text": "What further evidence is needed before using this example to support a claim about prevalence or all class members?", "kind": "action", "id": "bounded-inference-q02" } ] } ] } ] }, { "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": [ "The listed kinds overlap and do not constitute a standardized taxonomy.", "Broader usage allows atypical examples; this description follows the requested sense emphasizing typicality.", "No universal identifier scheme, measurement scale, or dedicated regulatory standard is asserted for this general concept." ], "questions": [ { "id": "evidence-confidence-notes-q01", "text": "Which of these check these first hold for the sense of example 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": [ "Representative example", "Illustrative example", "Real-world example", "Hypothetical example", "Worked example" ], "questions": [ { "id": "evidence-kinds-q01", "text": "Which of these kinds and varieties hold for the sense of example 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": [ "Teaching concepts through concrete instances.", "Clarifying definitions and instructions.", "Demonstrating procedures through worked solutions.", "Illustrating word meanings and grammatical constructions.", "Communicating general ideas through specific cases." ], "questions": [ { "id": "evidence-real-world-use-q01", "text": "Which of these real-world use hold for the sense of example 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": [ "Presenting an atypical instance as representative of a class.", "Generalizing from too few examples.", "Selecting examples that support a claim while ignoring contrary cases.", "Mistaking illustrative examples for proof of a universal claim.", "Including incidental details that obscure the feature being illustrated." ], "questions": [ { "id": "evidence-failure-modes-and-hazards-q01", "text": "Which of these failure modes and hazards hold for the sense of example 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": "Instance", "difference": "An instance belongs to a class; an example presents an instance for illustration or explanation." }, { "name": "Sample", "difference": "A sample is selected from a population for observation or analysis; an example need not result from a sampling procedure." }, { "name": "Counterexample", "difference": "A counterexample contradicts a general claim; an example in the requested sense illustrates characteristic features." }, { "name": "Prototype", "difference": "A prototype represents a category's central or characteristic form; an example is a particular item used to illustrate the category." }, { "name": "Evidence", "difference": "Evidence supports or challenges a claim; an example may serve only to explain its meaning." }, { "name": "Analogy", "difference": "An analogy explains through comparison with something else; an example illustrates through an instance of the relevant class." } ], "questions": [ { "id": "evidence-neighbours-q01", "text": "Which of these neighbouring kinds and how to tell them apart hold for the sense of example this model covers, and on what evidence?", "kind": "provenance" } ] } ] } ] } ] }, "openQuestions": [ "Does the registry intend typicality to require prevalence, similarity to a prototype, conventional representativeness or a context-dependent combination?", "Does this entry include atypical illustrative instances, or does its definition deliberately exclude them?", "How should the catalogue represent an information item that exemplifies a class indirectly by describing a physical member?", "When does adaptation create a distinct example rather than a new presentation of the same example?", "Which existing Vercy models own neighbouring roles such as counterexample, analogy, specimen and evidence?" ], "statistics": { "bundles": 6, "layers": 11, "findings": 15, "questions": 25 } }