{
  "status": "PASS",
  "edition": "0.6",
  "physical_promotion": 0,
  "nodes": 91,
  "edges": 123,
  "source_snapshots_verified": 22,
  "scoped_target_declarations": 38,
  "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",
        "HR-LATENT-MISMATCH",
        "HR-WRAP"
      ],
      "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": [
        "HR-FINITE-NOGO",
        "HR-NORM-NOGO",
        "HR-PERIOD-NOGO",
        "HR-ROBUST-NOGO",
        "HR-WRAP",
        "SP-C-DURATION",
        "SP-H-LATCH",
        "SP-STOCK",
        "SP-STOP",
        "SP-TERM"
      ],
      "preserved_checks": [
        "P-CORRECT",
        "R-FIBER"
      ],
      "status": "PASS"
    },
    {
      "id": "rsp-close",
      "affected": [
        "HR-FINITE-NOGO",
        "HR-PERIOD-NOGO",
        "HR-ROBUST-NOGO",
        "HR-WRAP",
        "SP-C-DURATION",
        "SP-PROJECTION",
        "SP-TERM"
      ],
      "preserved_checks": [
        "SP-H-LATCH",
        "SP-STOCK",
        "P-INDEX"
      ],
      "status": "PASS"
    },
    {
      "id": "rsp-stop",
      "affected": [
        "HR-FINITE-NOGO",
        "HR-PERIOD-NOGO",
        "HR-ROBUST-NOGO",
        "HR-WRAP",
        "SP-C-DURATION",
        "SP-H-LATCH",
        "SP-TERM"
      ],
      "preserved_checks": [
        "P-CORRECT",
        "SP-STOCK"
      ],
      "status": "PASS"
    },
    {
      "id": "two-sided",
      "affected": [
        "HR-FINITE-NOGO",
        "HR-UNIFORM-NOGO"
      ],
      "preserved_checks": [
        "HR-PERIOD-NOGO",
        "HR-ROBUST-NOGO",
        "SP-C-DURATION"
      ],
      "status": "PASS"
    },
    {
      "id": "unstable",
      "affected": [
        "HR-ROBUST-NOGO"
      ],
      "preserved_checks": [
        "HR-FINITE-NOGO",
        "HR-PERIOD-NOGO",
        "SP-STOCK"
      ],
      "status": "PASS"
    },
    {
      "id": "norm-alias",
      "affected": [
        "HR-NORM-NOGO"
      ],
      "preserved_checks": [
        "HR-FINITE-NOGO",
        "HR-ROBUST-NOGO",
        "SP-STOCK"
      ],
      "status": "PASS"
    }
  ],
  "checks": [
    "source text hashes and locators",
    "explicit target premises",
    "DAG acyclicity",
    "fifteen 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": "cbf49abb9a0f16175d02dfce17eeee05ddba69a47d42a1b73d93d145e8c1a304"
}