{
  "schema_id": "AI2-WP-2026-18/path-dossier/1.1",
  "is_certificate": false,
  "header": {
    "surface": {
      "name": null,
      "owner": null,
      "effect_type": null,
      "target": null
    },
    "path": {
      "id": null,
      "carrier": null,
      "last_deny_point": null
    },
    "grantor": {
      "principal": null,
      "plane": null,
      "outside_proposer_domain_ref": null
    },
    "evaluator": {
      "id": null,
      "pin": null,
      "write_set_from_proposer": []
    },
    "schema_version": null,
    "epoch": {
      "id": null,
      "freshness_rule": null,
      "use": null,
      "bound": null
    },
    "clocks": {
      "t_dec_ms": null,
      "grant_duration": null,
      "t_max_omega": null
    },
    "dossier_version": null
  },
  "exhibits": [
    {
      "clause": 1,
      "id": "X1",
      "name": "Path coverage",
      "state": "absent",
      "mode": null,
      "artifacts": [],
      "failure_reason": null,
      "refusals": [],
      "paths_enumerated": [],
      "exclusions": [],
      "residual_surface_note": null
    },
    {
      "clause": 2,
      "id": "X2",
      "name": "Default darkness",
      "state": "absent",
      "mode": null,
      "artifacts": [],
      "failure_reason": null,
      "refusals": [],
      "cold_start_dark": null,
      "never_armed_run_dark": null
    },
    {
      "clause": 3,
      "id": "X3",
      "name": "Pre-effect decision",
      "state": "absent",
      "mode": null,
      "artifacts": [],
      "failure_reason": null,
      "refusals": [],
      "decision_precedes_first_irreversible_step": null
    },
    {
      "clause": 4,
      "id": "X4",
      "name": "Effect specificity",
      "state": "absent",
      "mode": null,
      "artifacts": [],
      "failure_reason": null,
      "refusals": [],
      "canonical_object": {
        "effect_type": null,
        "surface": null,
        "target": null,
        "scope": null,
        "schema_version": null,
        "epoch": null
      },
      "unique_admissible_preimage": null
    },
    {
      "clause": 5,
      "id": "X5",
      "name": "Structural disjointness",
      "state": "absent",
      "mode": null,
      "artifacts": [],
      "failure_reason": null,
      "refusals": [],
      "a1": {
        "A1_1": {
          "state": "absent",
          "artifacts": []
        },
        "A1_2": {
          "state": "absent",
          "artifacts": []
        },
        "A1_3": {
          "state": "absent",
          "artifacts": []
        },
        "A1_4": {
          "state": "absent",
          "artifacts": []
        },
        "A1_5": {
          "state": "absent",
          "artifacts": []
        },
        "A1_6": {
          "state": "absent",
          "artifacts": []
        }
      },
      "auditor": null,
      "attested_by_proposer": null,
      "attested_by_builder": null
    },
    {
      "clause": 6,
      "id": "X6",
      "name": "Fail-closed operation",
      "state": "absent",
      "mode": null,
      "artifacts": [],
      "failure_reason": null,
      "refusals": [],
      "fault_map": {
        "clock": null,
        "power": null,
        "reset": null,
        "liveness": null,
        "schema_mismatch": null,
        "hash_mismatch": null
      }
    },
    {
      "clause": 7,
      "id": "X7",
      "name": "No proposer restoration",
      "state": "absent",
      "mode": null,
      "artifacts": [],
      "failure_reason": null,
      "refusals": [],
      "restoration_routes": []
    },
    {
      "clause": 8,
      "id": "X8",
      "name": "Independent auditability",
      "state": "absent",
      "mode": null,
      "artifacts": [],
      "failure_reason": null,
      "refusals": [],
      "logs_readable_without_proposer": null,
      "third_party_replay_of": []
    },
    {
      "clause": 9,
      "id": "X9",
      "name": "Bounded decision or deny",
      "state": "absent",
      "mode": null,
      "artifacts": [],
      "failure_reason": null,
      "refusals": [],
      "t_dec_ms": null,
      "expiry_maps_to": "deny"
    },
    {
      "clause": 10,
      "id": "X10",
      "name": "Red-team falsifiability",
      "state": "absent",
      "mode": null,
      "artifacts": [],
      "failure_reason": null,
      "refusals": [],
      "victory_condition": null,
      "written_before_test": null,
      "surfaces_in_scope": [],
      "surfaces_out_of_scope": []
    }
  ],
  "disposition": {
    "dossier_status": "INCOMPLETE",
    "path_state": "DARK",
    "failed_clauses": [],
    "falsification": null,
    "issued": null
  }
}