{
  "schema": "concresca.correction-dissemination.v021",
  "site_version": "0.28.0-wip",
  "as_of": "2026-08-31",
  "truth_boundary": "These registries define and locally exercise synthetic repository-owned governance fixtures. They do not establish a sealed v0.20 lineage, external execution, production migration, legal authority, institutional adoption, human-study findings, independent certification, or deployment.",
  "nodes": [
    {
      "node_id": "N-ORIGIN",
      "actor_class": "origin",
      "name": "Origin record",
      "reachable": true
    },
    {
      "node_id": "N-HOLDER",
      "actor_class": "current_holder",
      "name": "Current receiving holder",
      "reachable": true
    },
    {
      "node_id": "N-DOWN-A",
      "actor_class": "downstream_recipient",
      "name": "Reachable downstream recipient A",
      "reachable": true
    },
    {
      "node_id": "N-REDIST",
      "actor_class": "redistributor",
      "name": "Known redistributor",
      "reachable": true
    },
    {
      "node_id": "N-DOWN-B",
      "actor_class": "downstream_recipient",
      "name": "Reachable downstream recipient B",
      "reachable": true
    },
    {
      "node_id": "N-UNREACH",
      "actor_class": "nonreachable_recipient",
      "name": "Known but unreachable recipient",
      "reachable": false
    },
    {
      "node_id": "N-DERIVED",
      "actor_class": "independent_derived_record",
      "name": "Independent derived record",
      "reachable": true
    },
    {
      "node_id": "N-PUBLIC",
      "actor_class": "public_index",
      "name": "Public index",
      "reachable": true
    },
    {
      "node_id": "N-RECEIPT",
      "actor_class": "receipt_store",
      "name": "Receipt store",
      "reachable": true
    },
    {
      "node_id": "N-REVIEW",
      "actor_class": "review_archive",
      "name": "Review archive",
      "reachable": true
    }
  ],
  "edges": [
    {
      "from": "N-ORIGIN",
      "to": "N-HOLDER",
      "relationship": "transferred_to"
    },
    {
      "from": "N-HOLDER",
      "to": "N-DOWN-A",
      "relationship": "disclosed_to"
    },
    {
      "from": "N-HOLDER",
      "to": "N-REDIST",
      "relationship": "disclosed_to"
    },
    {
      "from": "N-REDIST",
      "to": "N-DOWN-B",
      "relationship": "redistributed_to"
    },
    {
      "from": "N-REDIST",
      "to": "N-UNREACH",
      "relationship": "redistributed_to"
    },
    {
      "from": "N-HOLDER",
      "to": "N-DERIVED",
      "relationship": "derived"
    },
    {
      "from": "N-DERIVED",
      "to": "N-PUBLIC",
      "relationship": "indexed_by"
    },
    {
      "from": "N-HOLDER",
      "to": "N-RECEIPT",
      "relationship": "receipt_recorded_in"
    },
    {
      "from": "N-HOLDER",
      "to": "N-REVIEW",
      "relationship": "reviewed_in"
    }
  ],
  "scenarios": [
    {
      "scenario_id": "COR-001",
      "title": "Bounded downstream notice",
      "correction_id": "C-001",
      "revision": 1,
      "supersedes": null,
      "start_node": "N-ORIGIN",
      "expected_notified": [
        "N-HOLDER",
        "N-DOWN-A",
        "N-REDIST",
        "N-DOWN-B",
        "N-DERIVED",
        "N-PUBLIC",
        "N-RECEIPT",
        "N-REVIEW"
      ],
      "expected_unreachable": [
        "N-UNREACH"
      ],
      "actual_result": null
    },
    {
      "scenario_id": "COR-002",
      "title": "Idempotent repeat",
      "correction_id": "C-001",
      "revision": 1,
      "supersedes": null,
      "start_node": "N-ORIGIN",
      "repeat_count": 2,
      "expected_duplicate_effects": 0,
      "actual_result": null
    },
    {
      "scenario_id": "COR-003",
      "title": "Conflicting corrections",
      "correction_id": "C-002A",
      "revision": 2,
      "conflicts_with": "C-002B",
      "expected_state": "CONTESTED_BOUNDED",
      "actual_result": null
    },
    {
      "scenario_id": "COR-004",
      "title": "Superseding correction",
      "correction_id": "C-003",
      "revision": 3,
      "supersedes": "C-001",
      "expected_state": "SUPERSEDED_WITH_HISTORY",
      "actual_result": null
    },
    {
      "scenario_id": "COR-005",
      "title": "Correction withdrawal",
      "correction_id": "C-004",
      "revision": 4,
      "withdraws": "C-003",
      "expected_state": "WITHDRAWAL_RECORDED_NOT_ERASED",
      "actual_result": null
    },
    {
      "scenario_id": "COR-006",
      "title": "Recipient nonresponse",
      "correction_id": "C-005",
      "revision": 5,
      "nonresponsive": [
        "N-DOWN-B"
      ],
      "expected_state": "PARTIAL_NONRESPONSE_VISIBLE",
      "actual_result": null
    }
  ],
  "receipt_questions": [
    "What changed?",
    "Who changed it?",
    "Under what authority?",
    "Which recipients were notified?",
    "Which recipients confirmed?",
    "What remains wrong or unreachable?",
    "What can the affected person do next?"
  ],
  "invariants": [
    "Correction is distinct from deletion, rollback, revocation, compensation, restored access, and notification.",
    "Repeated delivery is idempotent and does not create duplicate substantive effects.",
    "Conflicting and superseding corrections retain their relationship and do not overwrite history.",
    "Unreachable or nonresponsive recipients remain explicit rather than being counted as corrected."
  ]
}