| { | |
| "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 | |
| } | |
| } | |
| } | |