{
  "status": "PASS",
  "runtime_seconds": 16.696441454812884,
  "stable_evidence_sha256": "b2e0c551cbea5ef869041f6fcedcc6f26d041d5a688d6a1a0e3f0d078a343470",
  "claims": {
    "claim_1": {
      "decision": "supported_in_independent_exact_rerun",
      "max_abs_error": 5.88418203051333e-15,
      "graph_instances": 108
    },
    "claim_2": {
      "decision": "supported_at_source_and_id_consequence_level",
      "id_graphs": 600,
      "violations": 0
    },
    "claim_3": {
      "decision": "supported_in_exhaustive_small_graph_audit",
      "lemma_violations": 0,
      "traversal_mismatches": 0
    },
    "claim_4": {
      "decision": "supported_in_boundary_sampler_rerun",
      "graph_instances": 90,
      "violations": 0
    },
    "claim_5": {
      "decision": "partially_supported_phase_transition_only",
      "demo_r": 133,
      "at_m_equals_r_exact_fraction": 1.0
    },
    "claim_6": {
      "decision": "partially_supported_synthetic_mechanism_only",
      "real_datasets_rerun": 0,
      "paper_reported_datasets": 156
    }
  }
}