File size: 1,568 Bytes
851c05f | 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 | #!/usr/bin/env python3
"""Independent fail-closed checker for the four-route remaining-claim audit."""
from __future__ import annotations
import json
from pathlib import Path
def check(root: Path) -> dict:
data = json.loads((root / "outputs" / "remaining_claim_routes.json").read_text())
checks = {}
for claim in ("C2", "C4", "C5", "C6"):
record = data["claims"][claim]
checks[claim] = {
"exactly_four_routes": record["routes_completed"] == 4,
"honest_blocked_status": record["status"] == "BLOCKED",
"proof_certificate_absent": record["route_1_proof_chain"]["certificate_found"] is False,
"finite_route_scoped": "no quantum subroutine" in record["route_2_finite_simulation"]["scope"],
"negative_control_failed_as_intended": record["route_3_calibrated_first_hit"]["negative_control_failed_as_intended"],
"no_counterexample_mislabeled": record["route_4_falsification"]["valid_counterexample_found"] is False,
"blocker_recorded": bool(record["blocker"]),
}
passed = all(all(row.values()) for row in checks.values())
result = {"passed": passed, "checks": checks}
output = root / "outputs" / "remaining_claim_checker.json"
output.write_text(json.dumps(result, indent=2, sort_keys=True) + "\n")
print("REMAINING_CLAIMS_CHECKER=" + json.dumps(result, separators=(",", ":"), sort_keys=True))
if not passed:
raise SystemExit(1)
return result
if __name__ == "__main__":
check(Path(__file__).resolve().parents[2])
|