{
  "vercy": "1.0-draft",
  "publication": {
    "status": "research-draft",
    "adjudicationStatus": "unreviewed",
    "publishableCanonical": false,
    "generatedAt": "2026-09-11T15:52:29Z",
    "providers": [
      "Claude"
    ],
    "breadth": "written by Claude from model knowledge without web access - no source was read, every claim is a lead to verify",
    "pass": 2,
    "wave": 1,
    "engine": "claude",
    "enrichment": {
      "pass": 3,
      "engine": "claude",
      "producedAt": "2026-10-05T18:30:00Z",
      "ingestedAt": "2026-10-05T13:30:32+00:00",
      "fields": [
        "agent_conduct",
        "ethics",
        "owners"
      ]
    },
    "revisions": [
      {
        "at": "2026-10-06T22:44:22+00:00",
        "engine": "codex",
        "fields": [
          "agent_conduct",
          "definition",
          "distinguishing_features",
          "ethics",
          "failure_modes_and_hazards",
          "owners",
          "purpose",
          "visual_identification"
        ],
        "answering_review": "1544a20599325ddde97ab930ba0b910ff71a0c87f30d08e488f4bf1e857c5ac4"
      }
    ],
    "gate": {
      "passed": true,
      "version": "1.0",
      "at": "2026-10-07T10:10:28+00:00",
      "evidence": [
        "completeness 1.00",
        "sense: Wikidata description",
        "2 live sources",
        "review by codex: pass"
      ]
    }
  },
  "metaModel": {
    "id": "THING-Q2301186",
    "registryId": "vr.tr.necessity",
    "name": "necessity",
    "version": "0.2.0-wave.1",
    "entryKind": "thing",
    "family": "Thing Registry",
    "domain": [
      "XCT.REL"
    ],
    "status": "research-draft"
  },
  "canonicalUrl": "https://ver.cy/models/thing/q2301186/",
  "model": {
    "registry_id": "vr.tr.necessity",
    "name": "necessity",
    "purpose": "Let an agent explain necessary conditions, identify the direction of implication between statements, distinguish necessity from sufficiency, and assess whether a claimed requirement follows from stated premises.",
    "definition": "The property of being a necessary condition for another statement: statement P is necessary for statement Q when Q implies P, so Q cannot be true unless P is true, although P alone need not imply Q.",
    "what_it_is_for": "Reasoning about what must be the case or must be done.",
    "affordances": [
      "distinguish logical, metaphysical and practical necessity",
      "explain modal logic basics",
      "explain the legal defence of necessity in general terms",
      "identify basic necessities in policy contexts"
    ],
    "distinguishing_features": [
      "Necessity relates a condition to another statement.",
      "If P is necessary for Q, then Q implies P.",
      "A necessary condition need not be sufficient.",
      "A condition can be both necessary and sufficient."
    ],
    "appearance": "Not physical; a concept in reasoning and law.",
    "visual_identification": [
      "The expression Q implies P identifies P as a necessary condition for Q.",
      "The expression Q only if P also identifies P as necessary for Q.",
      "Sufficiency is a distinct relation."
    ],
    "physical_properties": [],
    "families_and_kinds": [
      "logical and metaphysical necessity",
      "nomological and causal necessity",
      "practical necessity and needs",
      "legal necessity defence",
      "necessary conditions"
    ],
    "related_models": [
      {
        "relation": "is a kind of",
        "target": "modality",
        "why": "category"
      },
      {
        "relation": "is a kind of",
        "target": "dependency",
        "why": "category"
      },
      {
        "relation": "is studied in",
        "target": "logic",
        "why": "field"
      },
      {
        "relation": "is contrasted with",
        "target": "possibility",
        "why": "related modality"
      }
    ],
    "identifiers": [],
    "standards_and_regulation": [
      "Criminal law on necessity and duress",
      "Standards defining basic necessities in welfare law"
    ],
    "failure_modes_and_hazards": [
      "Confusing a necessary condition with modal necessity can misrepresent an argument.",
      "Confusing necessary and sufficient conditions can reverse an implication.",
      "Treating an unsupported assumption as a necessary condition can produce an invalid conclusion."
    ],
    "in_scope": [],
    "out_of_scope": [],
    "characteristics": [],
    "agent_conduct": {
      "may": [
        "Explain necessary conditions using statements and their implications.",
        "Identify proposed necessary conditions and assess them against stated premises.",
        "Distinguish necessary conditions from sufficient conditions and modal necessity."
      ],
      "must_not": [
        "Present a choice as necessary when alternatives exist, in order to pressure people.",
        "Infer that a necessary condition is sufficient without justification.",
        "Present an unsupported implication as an established necessary condition."
      ],
      "requires_human": [
        "Relying on a claim of necessity to justify an action that harms someone requires human review."
      ]
    },
    "ethics": {
      "considerations": [
        "Claims of necessity are often used to justify harm and to override rights.",
        "Misusing the idea can shut down debate about real alternatives."
      ],
      "affected_parties": [
        "People affected by decisions justified as necessary are affected.",
        "People relying on arguments about necessary conditions are affected."
      ]
    },
    "owners": {
      "steward": "Nobody owns the concept; it is shared knowledge in logic.",
      "master_systems": []
    }
  },
  "sources": [
    {
      "id": "wikidata",
      "title": "Wikidata item Q2301186: necessity",
      "url": "https://www.wikidata.org/wiki/Q2301186",
      "url_status": "live",
      "what_it_supports": "identity and sense of the item",
      "checked_by": "wikidata-api"
    },
    {
      "id": "wikipedia-en",
      "title": "Wikipedia: Necessity (logic)",
      "url": "https://en.wikipedia.org/wiki/Necessity_%28logic%29",
      "url_status": "live",
      "what_it_supports": "general description of the item",
      "checked_by": "wikidata-api sitelink"
    }
  ],
  "structure": {
    "bundles": [
      {
        "id": "sense",
        "name": "Sense",
        "description": "Which necessity.",
        "rationale": "Sense first.",
        "layers": [
          {
            "id": "which",
            "name": "Which",
            "description": "Disambiguation.",
            "findings": [
              {
                "id": "which-finding",
                "name": "Which",
                "description": "Disambiguation.",
                "questions": [
                  {
                    "text": "Is logical, metaphysical, causal, practical or legal necessity meant?",
                    "kind": "boundary"
                  },
                  {
                    "text": "Which entry or framework fits?",
                    "kind": "action"
                  }
                ]
              }
            ]
          },
          {
            "id": "conditions",
            "name": "Conditions",
            "description": "Necessary and sufficient.",
            "findings": [
              {
                "id": "conditions-finding",
                "name": "Conditions",
                "description": "Conditions.",
                "questions": [
                  {
                    "text": "Is this condition necessary, sufficient or both?",
                    "kind": "definition"
                  },
                  {
                    "text": "How can the distinction be shown with examples?",
                    "kind": "action"
                  }
                ]
              }
            ]
          }
        ]
      },
      {
        "id": "logic",
        "name": "Logic",
        "description": "Modal necessity.",
        "rationale": "Modal logic.",
        "layers": [
          {
            "id": "modal",
            "name": "Modal",
            "description": "Operators.",
            "findings": [
              {
                "id": "modal-finding",
                "name": "Modal",
                "description": "Modal operators.",
                "questions": [
                  {
                    "text": "How are necessity and possibility formalised in modal logic?",
                    "kind": "definition"
                  },
                  {
                    "text": "Which systems such as S4 and S5 apply?",
                    "kind": "provenance"
                  }
                ]
              }
            ]
          },
          {
            "id": "metaphysics",
            "name": "Metaphysics",
            "description": "Philosophical debates.",
            "findings": [
              {
                "id": "metaphysics-finding",
                "name": "Metaphysics",
                "description": "Debates.",
                "questions": [
                  {
                    "text": "What do philosophers say about metaphysical necessity and possible worlds?",
                    "kind": "provenance"
                  },
                  {
                    "text": "Which positions are contested?",
                    "kind": "boundary"
                  }
                ]
              }
            ]
          }
        ]
      },
      {
        "id": "law",
        "name": "Law",
        "description": "Necessity defence.",
        "rationale": "General information.",
        "layers": [
          {
            "id": "defence",
            "name": "Defence",
            "description": "The defence.",
            "findings": [
              {
                "id": "defence-finding",
                "name": "Defence",
                "description": "Necessity defence.",
                "questions": [
                  {
                    "text": "What is the defence of necessity, and how is it limited in this jurisdiction, in general terms?",
                    "kind": "provenance"
                  },
                  {
                    "text": "Is the user asking for legal advice about a case?",
                    "kind": "boundary"
                  }
                ]
              }
            ]
          },
          {
            "id": "needs",
            "name": "Needs",
            "description": "Basic necessities.",
            "findings": [
              {
                "id": "needs-finding",
                "name": "Needs",
                "description": "Basic necessities.",
                "questions": [
                  {
                    "text": "What count as basic necessities in this welfare or consumer context?",
                    "kind": "provenance"
                  },
                  {
                    "text": "Which support applies?",
                    "kind": "provenance"
                  }
                ]
              }
            ]
          }
        ]
      },
      {
        "id": "reason",
        "name": "Reason",
        "description": "Practical reasoning.",
        "rationale": "Clarity in argument.",
        "layers": [
          {
            "id": "argument",
            "name": "Argument",
            "description": "Claims of necessity.",
            "findings": [
              {
                "id": "argument-finding",
                "name": "Argument",
                "description": "Claims.",
                "questions": [
                  {
                    "text": "Is a claim that something is necessary justified, or is it an assumption?",
                    "kind": "boundary"
                  },
                  {
                    "text": "What alternatives exist?",
                    "kind": "action"
                  }
                ]
              }
            ]
          },
          {
            "id": "language",
            "name": "Language",
            "description": "Modal language.",
            "findings": [
              {
                "id": "language-finding",
                "name": "Language",
                "description": "Modal language.",
                "questions": [
                  {
                    "text": "How do words like must, need and have to express necessity in this language?",
                    "kind": "definition"
                  },
                  {
                    "text": "How are they translated?",
                    "kind": "action"
                  }
                ]
              }
            ]
          }
        ]
      }
    ]
  },
  "openQuestions": [
    "Should each sense be a separate entry?",
    "How should modal logic resources be linked?",
    "How should legal defences be localised?"
  ],
  "statistics": {
    "bundles": 4,
    "layers": 8,
    "findings": 8,
    "questions": 16
  }
}
