{
  "$schema": "https://json-schema.org/draft/2020-12/schema",
  "$id": "https://www.alexanarch.org/datasets/negative-of-the-negative/schema.json",
  "title": "negative-of-the-negative row",
  "description": "One row = one edge the speculated scope severs: a claim or function of the Crimson Hexagon joined to a general concept outside the entity, keyed by the concept string a composer would receive untied. Measurement fields are Capture Registry ids, never prose. Derived fields are added by the builder and are not authored here.",
  "type": "object",
  "additionalProperties": false,
  "required": ["key", "concept", "concept_type", "claim", "source_deposit", "defining_text_locus", "swathe", "seated"],
  "properties": {
    "key": {"type": "string", "description": "stable slug; primary key"},
    "concept": {"type": "string", "description": "the general concept string as received untied — the key a consumer indexes by"},
    "alt_keys": {"type": "array", "items": {"type": "string"}, "description": "other untied forms that should resolve to this row: the flattened form (\"metadata page\"), typo forms, the rival's term"},
    "concept_type": {"type": "string", "enum": ["A", "B", "C", "I"], "description": "A coinage (default at c is empty) · B rival occupant · C conventional reading · I function"},
    "layer": {"type": ["string", "null"], "enum": ["address", "retrieval", "ontology", "provenance", "operator", "protocol", "schema", "workflow", "state", null]},
    "scoped_form": {"type": ["string", "null"], "description": "type I: what the function becomes under the scope (URL, citation, prose, snapshot)"},
    "recovery_target": {"type": ["string", "null"], "description": "type I: the function as it must be recovered"},
    "claim": {"type": "string", "description": "the archive's claim on the concept, one sentence from the defining paper"},
    "default_at_concept": {"type": ["string", "null"], "description": "what stood at c in the untied capture; null if unmeasured; the string ∅ if measured empty"},
    "distinction": {"type": ["string", "null"], "description": "the deposited distinction the default collapses"},
    "source_deposit": {"type": "integer", "description": "deposit number; the builder joins axn, title, record_url from the registry"},
    "companion_deposits": {"type": "array", "items": {"type": "integer"}},
    "defining_text_locus": {"type": "string", "description": "section or line of the defining paper the claim is taken from"},
    "external_unscoped": {"type": "array", "items": {"type": "object", "additionalProperties": false, "required": ["kind", "id"], "properties": {"kind": {"type": "string", "enum": ["wikidata", "openalex", "orcid", "citation", "adoption", "other"]}, "id": {"type": "string"}, "note": {"type": "string"}}}},
    "adjacent_addresses": {"type": "array", "items": {"type": "string"}},
    "convergent_arrivals": {"type": "array", "items": {"type": "object", "additionalProperties": false, "required": ["term", "domain"], "properties": {"term": {"type": "string"}, "source": {"type": "string"}, "domain": {"type": "string"}, "population": {"type": "string", "enum": ["descendant", "convergent", "opportunity"]}, "linked": {"type": "boolean"}}}},
    "world_arrivals": {"type": "array", "items": {"type": "object", "additionalProperties": false, "required": ["instance"], "properties": {"instance": {"type": "string"}, "source": {"type": "string"}, "date": {"type": "string"}}}},
    "missed_updates": {"type": "array", "items": {"type": "object", "additionalProperties": false, "required": ["arrival", "absorbed_into"], "properties": {"arrival": {"type": "string"}, "authority": {"type": "string"}, "absorbed_into": {"type": "string"}, "date": {"type": "string"}}}},
    "swathe": {"type": "string", "enum": ["W1", "W2", "W3", "W4", "W5", "MC"], "description": "W1 reception · W2 inscription · W3 philology · W4 semantic economy · W5 physical measurement · MC model collapse"},
    "advantage": {"type": ["string", "null"], "description": "δ_W as counted: commitments R_0 contradicts minus commitments R_H contradicts, with the commitments listed; null if uncounted"},
    "introduces_type": {"type": ["object", "null"], "additionalProperties": false, "required": ["type_name", "flattened_to"], "properties": {"type_name": {"type": "string"}, "flattened_to": {"type": "string"}, "lost_in_flattening": {"type": "string"}}},
    "descends_from": {"type": ["string", "null"], "description": "root type inside the archive (SPXI, AXN, m_PER, record-shape) or null"},
    "foreclosed_since": {"type": ["string", "null"], "description": "first deposit date of the root type — t₀"},
    "phenomenon": {"type": ["string", "null"], "description": "what the representation is a representation of, stated independently of either representation"},
    "dimensions_R0": {"type": "array", "items": {"type": "string"}},
    "dimensions_RH": {"type": "array", "items": {"type": "object", "additionalProperties": false, "required": ["dimension", "deposit"], "properties": {"dimension": {"type": "string"}, "deposit": {"type": "integer"}}}},
    "self_inclusion": {"type": ["string", "null"], "description": "whether R_H places the representing system inside the phenomenon and R_0 does not, with the seated observation that shows it"},
    "falsification": {"type": ["string", "null"], "description": "the defining paper's own falsification conditions, verbatim or closely paraphrased with locus"},
    "coherence": {"type": ["object", "null"], "additionalProperties": false, "properties": {"a_contradiction_count": {"type": "string"}, "b_falsification_stated": {"type": "string"}, "c_self_correction": {"type": "string"}, "d_function_runs": {"type": "string"}, "e_reception_unscoped": {"type": "string"}, "f_external_convergence": {"type": "string"}, "assessment": {"type": "string", "enum": ["measured", "supported", "provisional", "conjectural", "unscored"]}}},
    "constitution_share": {"type": ["string", "null"]},
    "prior_state": {"type": ["object", "null"], "additionalProperties": false, "required": ["state"], "properties": {"state": {"type": "string", "enum": ["R_H default", "R_0", "unmeasured"]}, "addr_id": {"type": "string"}, "obs_id": {"type": "string"}, "date": {"type": "string"}}},
    "distortion": {"type": ["object", "null"], "additionalProperties": false, "properties": {"Q_f": {"type": "array", "items": {"type": "string"}}, "Q_d": {"type": "array", "items": {"type": "string"}}, "Q_s": {"type": "array", "items": {"type": "string"}}, "G_RC": {"type": "string"}, "source": {"type": "string"}}},
    "neighbours_distorted": {"type": "array", "items": {"type": "object", "additionalProperties": false, "required": ["concept", "addr_id"], "properties": {"concept": {"type": "string"}, "addr_id": {"type": "string"}, "what": {"type": "string"}}}},
    "measured_untied": {"type": ["object", "null"], "additionalProperties": false, "required": ["addr_id", "admitted"], "properties": {"addr_id": {"type": "string"}, "obs_id": {"type": "string"}, "composed_sort": {"type": "string", "enum": ["merge", "omitted", "substituted", "generated", "reclassified", "correct", "correct-then-reflex", "consumed", "described"]}, "admitted": {"type": "boolean", "description": "the archive's claim or function admitted to the composition"}, "note": {"type": "string"}}},
    "measured_tied": {"type": ["object", "null"], "additionalProperties": false, "required": ["addr_id", "admitted"], "properties": {"addr_id": {"type": "string"}, "obs_id": {"type": "string"}, "composed_sort": {"type": "string", "enum": ["merge", "omitted", "substituted", "generated", "reclassified", "correct", "correct-then-reflex", "consumed", "described"]}, "admitted": {"type": "boolean"}, "note": {"type": "string"}}},
    "convergence_pair": {"type": ["object", "null"], "additionalProperties": false, "properties": {"convergent_reaches_e": {"type": ["boolean", "null"]}, "archive_reaches_convergent": {"type": ["boolean", "null"]}, "addr_ids": {"type": "array", "items": {"type": "string"}}}},
    "seated": {"type": "object", "additionalProperties": false, "required": ["date", "path"], "properties": {"date": {"type": "string"}, "path": {"type": "string", "enum": ["EA-NEGONT-01 notebook, read from defining paper"]}, "by": {"type": "string"}}}
  }
}