{ "vercy": "1.0-draft", "publication": { "status": "research-draft", "adjudicationStatus": "unreviewed", "publishableCanonical": false, "generatedAt": "2026-09-12T11:46:08Z", "providers": [ "Codex" ], "breadth": "recalled by Codex without web access - no source was read", "missingProviders": [], "pass": 2, "cost": { "grok": { "seconds": 19.7, "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: 01a0956f-6ade-7c73-9147-69ada322a7c4\n--------\nuser\nDescribe what is already known about one registered thing. Answer as JSON only, no prose around it.\n\nThing: opposition\nSense to describe: (none recorded)\nDomain code: XCT.REL\nAlso known as: (none)\n\n\nContext for this batch of 1001 things:\n# Batch 044: 1001 regi", "usd": 0.0, "recall": true }, "codex": { "seconds": 66.0, "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: 01a0956f-6ad1-71d2-997c-4d7519c8f821\n--------\nuser\nYou are drafting a Vercy meta-model for one registered thing. Answer as JSON only, no prose around it.\n\nThing: opposition\nRegistry id: vr.tr.opposition-q3884233\nPlane / domain: XCT / XCT.REL\nRegistry definition: (none recorded)\nNames folded into this entry: (n" } }, "enrichment": { "pass": 3, "engine": "claude", "producedAt": "2026-10-06T12:00:00Z", "ingestedAt": "2026-10-06T08:53:58+00:00", "fields": [ "agent_conduct", "ethics", "failure_modes_and_hazards", "owners" ] } }, "metaModel": { "id": "THING-Q3884233", "registryId": "vr.tr.opposition-q3884233", "name": "opposition", "version": "0.1.0-research.1", "entryKind": "thing", "family": "Thing Registry", "domain": [ "XCT.REL" ], "status": "research-draft" }, "canonicalUrl": "https://ver.cy/models/thing/q3884233/", "model": { "registry_id": "vr.tr.opposition-q3884233", "name": "opposition", "purpose": "Enable an agent to identify, interpret and assess an opposition between terms, positions or tendencies without confusing difference, incompatibility and active resistance.", "definition": "Opposition is a relation in which terms, propositions, positions, or forces stand against one another through incompatibility, contrast, or counteraction, with the precise relation depending on the domain.", "scope_statement": "This model owns opposition as a relation in which identifiable relata stand against one another under a stated respect and interpretive framework; this scope is provisional until the intended sense of registry entry vr.tr.opposition-q3884233 is verified.", "in_scope": [ "The terms, positions or tendencies opposed and the respect in which they oppose one another", "Definitions of opposition attributed to particular disciplines, traditions or participants", "Criteria distinguishing contradiction, contrariety, polarity and practical counteraction", "Context, evidence and operational tests supporting an opposition claim", "Changes in the opposition and conditions under which it persists or dissolves" ], "out_of_scope": [ "Political opposition parties and their institutional organisation", "Military conflict, competitive events and their execution", "Astronomical opposition and its geometric measurements", "Anatomical opposition movements and their biomechanics", "Complete models of the propositions, agents or processes participating in an opposition" ], "distinguishing_features": [ "An opposition claim identifies a respect in which the relata stand against one another; merely showing that they differ is insufficient.", "A contradiction test asks whether exactly one alternative must hold, while a contrariety test asks whether both may fail; their application depends on the stated framework.", "A polarity claim requires an interpretable axis or ordering that makes the relata opposed poles, rather than an arbitrary pair.", "Practical opposition requires evidence of counteraction or resistance; incompatible descriptions alone do not establish opposing behaviour.", "Opposition on one issue does not establish opposition on every issue, permanent hostility or exhaustive division into two sides." ], "characteristics": [ { "name": "Opposed relata", "kind": "relation", "unit_or_values": "Identified pair or explicitly structured set of terms, propositions, positions, agents or tendencies", "why_it_matters": "An agent must know what stands in opposition and avoid substituting people for their positions." }, { "name": "Respect of opposition", "kind": "category", "unit_or_values": "Named issue, predicate, semantic dimension, objective or effect", "why_it_matters": "The same relata may oppose one another in one respect and agree in another." }, { "name": "Opposition interpretation", "kind": "category", "unit_or_values": "Contradiction; contrariety; polarity; counteraction; framework-specific interpretation; unresolved", "why_it_matters": "Different interpretations permit different conclusions and interventions." }, { "name": "Joint satisfiability", "kind": "state", "unit_or_values": "Both may hold; both cannot hold; context-dependent; unresolved", "why_it_matters": "Tests whether coexistence is excluded under the adopted interpretation." }, { "name": "Joint failure", "kind": "state", "unit_or_values": "Both may fail; both cannot fail; context-dependent; unresolved", "why_it_matters": "Helps distinguish exhaustive alternatives from opposition allowing neither alternative." }, { "name": "Direction of counteraction", "kind": "relation", "unit_or_values": "First relatum resists second; second resists first; reciprocal; not applicable; unknown", "why_it_matters": "Practical resistance need not be reciprocal even when a descriptive opposition is presented symmetrically." }, { "name": "Interpretive attribution", "kind": "relation", "unit_or_values": "Source, discipline, school or participant asserting the opposition and its definition", "why_it_matters": "Prevents a disputed framing from being treated as an observer-independent fact." }, { "name": "Temporal standing", "kind": "state", "unit_or_values": "Currently supported; historically supported; anticipated; ceased; unresolved, with applicable interval", "why_it_matters": "Separates durable conceptual relations from changing positions or counteracting activity." } ], "affordances": [ "Reconstruct an opposition claim by identifying its relata, respect and interpretive framework.", "Test whether the claimed opposition permits coexistence, intermediate cases or neither alternative.", "Compare competing accounts of why the same relata are opposed.", "Detect false dichotomies, shifts of meaning and unsupported attribution of opposition.", "Evaluate whether clarification, reframing, compromise or removal of counteraction addresses the identified kind of opposition." ], "agent_conduct": { "may": [ "Explain how terms, claims or forces stand in opposition within a stated field.", "Identify contradictions in a text or argument and point them out." ], "must_not": [ "Present contrasting positions as opposed when they are compatible, in order to inflame conflict.", "Frame people as enemies on the basis of a contrast it has drawn.", "Misstate which claims contradict each other in legal or contractual texts." ], "requires_human": [ "Resolving a conflict between rules or instructions that affects people's rights." ] }, "ethics": { "considerations": [ "Framing issues as binary oppositions can deepen social division.", "Getting contradictions wrong in law or logic leads to unsound decisions." ], "affected_parties": [ "Parties to a dispute", "Readers relying on the analysis", "Groups framed as opponents" ] }, "owners": { "steward": "Nobody owns it; it is an abstract relation.", "master_systems": [] }, "failure_modes_and_hazards": [ "False dichotomies hide middle positions and compromise.", "Missed contradictions let inconsistent rules be applied." ], "what_it_is_for": [ "Opposition is used in philosophy and logic to examine how concepts, judgments or propositions contrast or exclude one another.", "It helps distinguish relations such as contradiction and contrariety when evaluating arguments and conceptual systems." ], "facets_not_applicable": { "interfaces": "No generally applicable standard, law or official classification governs opposition as a philosophical relation.", "recognition": "Philosophical opposition is an abstract relation with no defining visual appearance." } }, "sources": [ { "id": "wikidata", "title": "Wikidata item Q3884233: opposition", "url": "https://www.wikidata.org/wiki/Q3884233", "url_status": "live", "what_it_supports": "identity and sense of the item", "checked_by": "wikidata-api" } ], "structure": { "bundles": [ { "id": "opposed-relata-and-respect", "name": "Opposed relata and respect", "description": "Establishes what is opposed and the precise respect that makes the relation oppositional.", "rationale": "Without a shared respect, apparent opposition may be unrelated difference or a mismatch between levels of description.", "layers": [ { "id": "relata-identification", "name": "Relata identification", "description": "Separates the opposed entities from their descriptions and representatives.", "findings": [ { "id": "terms-of-the-opposition", "name": "Terms of the opposition", "description": "Record the actual relata and distinguish a position from the person or institution expressing it.", "questions": [ { "text": "Which exact terms, claims, positions or tendencies are said to oppose one another?", "kind": "definition", "id": "terms-of-the-opposition-q01" }, { "text": "Does the opposition concern the relata themselves, their descriptions or particular commitments attributed to them?", "kind": "boundary", "id": "terms-of-the-opposition-q02" } ] } ] }, { "id": "shared-respect", "name": "Shared respect", "description": "Locates the issue, dimension or effect on which the relata stand against one another.", "findings": [ { "id": "respect-and-conditions", "name": "Respect and conditions", "description": "Require the opposition claim to specify a comparable respect and its contextual conditions.", "questions": [ { "text": "On what issue, predicate, axis or objective are these relata opposed?", "kind": "definition", "id": "respect-and-conditions-q01" }, { "text": "Does the opposition remain when time, reference, qualifications and circumstances are held constant?", "kind": "boundary", "id": "respect-and-conditions-q02" } ] } ] } ] }, { "id": "forms-of-opposition", "name": "Forms of opposition", "description": "Distinguishes interpretations with different logical, semantic and practical consequences.", "rationale": "Calling every opposition a contradiction conceals intermediate possibilities and misrepresents counteraction.", "layers": [ { "id": "exclusion-and-exhaustiveness", "name": "Exclusion and exhaustiveness", "description": "Examines whether alternatives can hold together or fail together.", "findings": [ { "id": "joint-possibility-tests", "name": "Joint possibility tests", "description": "Record coexistence and joint-failure judgments within an explicitly identified framework.", "questions": [ { "text": "Under the adopted framework, can both alternatives hold in the same respect at the same time?", "kind": "boundary", "id": "joint-possibility-tests-q01" }, { "text": "Can neither alternative hold, and what example or argument establishes that possibility?", "kind": "boundary", "id": "joint-possibility-tests-q02" } ] } ] }, { "id": "polarity-and-counteraction", "name": "Polarity and counteraction", "description": "Separates opposed locations on a dimension from action directed against another action or objective.", "findings": [ { "id": "basis-of-standing-against", "name": "Basis of standing against", "description": "Identify whether opposition rests on semantic organisation, an ordered dimension or demonstrated counteraction.", "questions": [ { "text": "What axis, ordering, convention or opposing effect supports describing these relata as opposed?", "kind": "definition", "id": "basis-of-standing-against-q01" }, { "text": "What observation would distinguish active counteraction from mere disagreement or separation?", "kind": "measurement", "id": "basis-of-standing-against-q02" } ] } ] } ] }, { "id": "interpretations-and-disputes", "name": "Interpretations and disputes", "description": "Preserves competing definitions and disagreements about an opposition's existence or character.", "rationale": "An opposition can be asserted by one participant or tradition and rejected by another.", "layers": [ { "id": "attributed-definitions", "name": "Attributed definitions", "description": "Connects each interpretation to its proponents and domain of use.", "findings": [ { "id": "definition-holder", "name": "Definition holder", "description": "Record who defines the opposition and which criteria their account requires.", "questions": [ { "text": "Which source, school or participant supplies the operative definition of opposition?", "kind": "provenance", "id": "definition-holder-q01" }, { "text": "What must an instance satisfy under that definition, and which nearby relations does it exclude?", "kind": "definition", "id": "definition-holder-q02" } ] } ] }, { "id": "contested-framing", "name": "Contested framing", "description": "Makes disagreements about the proposed opposition explicit.", "findings": [ { "id": "alternative-accounts", "name": "Alternative accounts", "description": "Compare accounts that classify the same case differently or reject its oppositional framing.", "questions": [ { "text": "Who disputes this opposition, and do they dispute the relata, the shared respect or the criterion of opposition?", "kind": "provenance", "id": "alternative-accounts-q01" }, { "text": "Which example or observation would distinguish the competing accounts?", "kind": "measurement", "id": "alternative-accounts-q02" } ] } ] } ] }, { "id": "recognition-and-evidence", "name": "Recognition and evidence", "description": "Turns an opposition claim into a checkable interpretation while testing for misleading binaries.", "rationale": "Labels such as opposite or opposed do not themselves establish the relation or justify treating two options as exhaustive.", "layers": [ { "id": "instance-tests", "name": "Instance tests", "description": "Links recognition criteria to evidence appropriate to the claimed kind of opposition.", "findings": [ { "id": "operational-criterion", "name": "Operational criterion", "description": "Specify whether recognition depends on a formal argument, usage evidence, stated commitments or observed effects.", "questions": [ { "text": "What repeatable test determines whether this case counts as opposition under the chosen definition?", "kind": "measurement", "id": "operational-criterion-q01" }, { "text": "Which evidence supports the result, and what result would overturn it?", "kind": "provenance", "id": "operational-criterion-q02" } ] } ] }, { "id": "binary-framing-checks", "name": "Binary framing checks", "description": "Searches for omitted alternatives, mixtures and changes of meaning.", "findings": [ { "id": "missing-middle-and-equivocation", "name": "Missing middle and equivocation", "description": "Check whether an apparent opposition depends on excluding legitimate cases or using a term in different senses.", "questions": [ { "text": "Are intermediate, mixed, independent or neither-side cases possible, and does the framing acknowledge them?", "kind": "boundary", "id": "missing-middle-and-equivocation-q01" }, { "text": "Does either term change meaning between the statements used to establish the opposition?", "kind": "boundary", "id": "missing-middle-and-equivocation-q02" } ] } ] } ] }, { "id": "persistence-and-response", "name": "Persistence and response", "description": "Assesses what sustains an opposition and which responses are coherent for its identified form.", "rationale": "A response appropriate to negotiable positions may be meaningless for a formal relation or insufficient for active counteraction.", "layers": [ { "id": "conditions-of-persistence", "name": "Conditions of persistence", "description": "Tracks whether opposition survives changes in commitments, circumstances or interpretation.", "findings": [ { "id": "continuity-or-dissolution", "name": "Continuity or dissolution", "description": "Distinguish changes to the relata from changes to the context or language that makes them opposed.", "questions": [ { "text": "Which commitments, definitions or circumstances must remain for this opposition to persist?", "kind": "definition", "id": "continuity-or-dissolution-q01" }, { "text": "What evidence would show that the opposition ended rather than became less visible or changed its terms?", "kind": "measurement", "id": "continuity-or-dissolution-q02" } ] } ] }, { "id": "form-appropriate-response", "name": "Form-appropriate response", "description": "Relates possible action to the kind and basis of opposition established.", "findings": [ { "id": "response-and-success-criterion", "name": "Response and success criterion", "description": "Evaluate whether a proposed response resolves ambiguity, changes commitments, introduces alternatives or reduces counteracting effects.", "questions": [ { "text": "Would clarification, reframing, compromise or changed behaviour address the established basis of this opposition?", "kind": "action", "id": "response-and-success-criterion-q01" }, { "text": "What would count as success, and would it dissolve the opposition or only alter its practical consequences?", "kind": "action", "id": "response-and-success-criterion-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": [ "With no recorded sense, the XCT.REL domain is taken to indicate the general relation; the intended registry scope should be checked.", "The listed kinds are overlapping domain usages, not a universally accepted taxonomy.", "The logical distinctions assume classical logic; applications of the traditional square of opposition also depend on assumptions about existential import." ], "questions": [ { "id": "evidence-confidence-notes-q01", "text": "Which of these check these first hold for the sense of opposition 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": [ "Logical contradiction", "Logical contrariety", "Semantic opposition between meanings", "Directional opposition", "Opposition between goals or positions", "Counteraction between forces or processes" ], "questions": [ { "id": "evidence-kinds-q01", "text": "Which of these kinds and varieties hold for the sense of opposition 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": [ "Logic distinguishes forms of opposition to determine which combinations of truth values are possible.", "Linguistics analyses oppositions between word meanings and between distinctive language features.", "Argument analysis identifies positions that deny or challenge a claim.", "Conflict analysis identifies incompatible goals and actions that obstruct their achievement." ], "questions": [ { "id": "evidence-real-world-use-q01", "text": "Which of these real-world use hold for the sense of opposition 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": [ "Treating any difference as opposition without specifying the relevant dimension.", "Confusing contradiction, where exactly one proposition is true, with contrariety, where both may be false.", "Imposing a binary opposition on a spectrum or a domain with multiple alternatives.", "Assuming opposed positions or forces have equal strength.", "Transferring conclusions between logical, semantic, and practical opposition without justification." ], "questions": [ { "id": "evidence-failure-modes-and-hazards-q01", "text": "Which of these failure modes and hazards hold for the sense of opposition 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": "difference", "difference": "Difference requires nonidentity in some respect; opposition additionally requires a specified contrast, incompatibility, or counteraction." }, { "name": "contradiction", "difference": "In classical logic, contradictory propositions cannot both be true or both be false; opposition includes relations without this constraint." }, { "name": "contrariety", "difference": "Contrary propositions cannot both be true but may both be false; this is one specific form of opposition." }, { "name": "conflict", "difference": "Conflict involves incompatible demands, goals, or interacting activities; opposition can exist simply between meanings or propositions." }, { "name": "political opposition", "difference": "Political opposition concerns actors or activities challenging political authority or policy; it is a specialised institutional or practical sense." } ], "questions": [ { "id": "evidence-neighbours-q01", "text": "Which of these neighbouring kinds and how to tell them apart hold for the sense of opposition this model covers, and on what evidence?", "kind": "provenance" } ] } ] } ] } ] }, "openQuestions": [ "Does Wikidata item Q3884233 identify opposition as a general relation or a narrower disciplinary concept requiring a different scope?", "Which reference works and traditions should anchor the competing definitions, and how do their classifications overlap or conflict?", "Should practical counteraction remain within this registry entry or be linked to a separate model once the intended sense is verified?", "Which operational tests are established for the intended domain, and where must recognition remain an attributed interpretive judgment?", "Does an existing Vercy world model already cover this concept and therefore need to serve as its single source of truth?" ], "statistics": { "bundles": 6, "layers": 11, "findings": 15, "questions": 25 } }