{
  "status": "PASS",
  "edition": "0.5",
  "physical_promotion": 0,
  "nodes": 73,
  "edges": 95,
  "source_snapshots_verified": 20,
  "scoped_target_declarations": 30,
  "acyclic": true,
  "edge_kinds_distinguished": true,
  "forbidden_edges_absent": true,
  "ordered_polarity_pairs": 15625,
  "index_equal_pairs": 6545,
  "equal_idle_nonsaturated_examples": 2449,
  "saturated_prior_pairs": 8000,
  "saturated_prior_index_equal_pairs": 4096,
  "scenario_results": [
    {
      "id": "idle-law",
      "affected": [
        "P-ADDRESS",
        "P-CONFLICT"
      ],
      "preserved_checks": [
        "P-CORRECT",
        "P-EQUAL",
        "P-INDEX",
        "P-SAT"
      ],
      "status": "PASS"
    },
    {
      "id": "prior",
      "affected": [
        "P-SAT"
      ],
      "preserved_checks": [
        "P-CORRECT",
        "P-EQUAL",
        "P-INDEX"
      ],
      "status": "PASS"
    },
    {
      "id": "frame",
      "affected": [
        "P-PREDICT",
        "P-SCORE",
        "R-PACKET"
      ],
      "preserved_checks": [
        "P-BUDGET",
        "P-CORRECT",
        "P-INDEX"
      ],
      "status": "PASS"
    },
    {
      "id": "g05",
      "affected": [],
      "preserved_checks": [
        "A-ALG",
        "A-ACTION",
        "A-ALIAS"
      ],
      "status": "PASS"
    },
    {
      "id": "metric",
      "affected": [
        "A-ACTION",
        "A-CARRIER",
        "A-END-NOGO",
        "A-J",
        "A-QPB",
        "A-QPB-TEST",
        "A-REC",
        "A-SCALE",
        "G-LOCAL"
      ],
      "preserved_checks": [
        "A-GAUGE",
        "P-CORRECT"
      ],
      "status": "PASS"
    },
    {
      "id": "action-anchor",
      "affected": [
        "A-QPB-TEST"
      ],
      "preserved_checks": [
        "A-ACTION",
        "A-SCALE",
        "A-GAUGE",
        "A-CLOCK"
      ],
      "status": "PASS"
    },
    {
      "id": "clock-anchor",
      "affected": [
        "A-CLOCK"
      ],
      "preserved_checks": [
        "A-QPB-TEST",
        "A-GAUGE",
        "A-SCALE"
      ],
      "status": "PASS"
    },
    {
      "id": "same-history",
      "affected": [
        "G-LOCAL"
      ],
      "preserved_checks": [
        "A-ACTION",
        "A-GAUGE",
        "G-GLOBAL-NOGO"
      ],
      "status": "PASS"
    },
    {
      "id": "reduced-carrier",
      "affected": [
        "R-DETERMINISTIC",
        "R-KERNEL"
      ],
      "preserved_checks": [
        "R-FIBER",
        "R-COUNT",
        "P-CORRECT"
      ],
      "status": "PASS"
    },
    {
      "id": "rsp-bank",
      "affected": [
        "SP-C-DURATION",
        "SP-H-LATCH",
        "SP-STOCK",
        "SP-STOP",
        "SP-TERM"
      ],
      "preserved_checks": [
        "P-CORRECT",
        "R-FIBER"
      ],
      "status": "PASS"
    },
    {
      "id": "rsp-close",
      "affected": [
        "SP-C-DURATION",
        "SP-PROJECTION",
        "SP-TERM"
      ],
      "preserved_checks": [
        "SP-H-LATCH",
        "SP-STOCK",
        "P-INDEX"
      ],
      "status": "PASS"
    },
    {
      "id": "rsp-stop",
      "affected": [
        "SP-C-DURATION",
        "SP-H-LATCH",
        "SP-TERM"
      ],
      "preserved_checks": [
        "P-CORRECT",
        "SP-STOCK"
      ],
      "status": "PASS"
    }
  ],
  "checks": [
    "source text hashes and locators",
    "explicit target premises",
    "DAG acyclicity",
    "twelve change audits",
    "full binary response enumeration",
    "selector conflict and flux witness",
    "rational action/clock gauge",
    "intensive native action ratio",
    "conditional Genesis product",
    "same-endpoint winding distinction"
  ],
  "scope": "Constructor verification; imported spectral identities are source premises; no independent proof review or empirical score.",
  "graph_sha256": "d77e040ba0a78b1357cc46f981c262951974c1272625846415f0c403d44d7680"
}