Spaces:
Running
Running
| #!/usr/bin/env python3 | |
| """Standalone fail-closed checker for both Claim 3 evidence routes.""" | |
| import csv | |
| import json | |
| from pathlib import Path | |
| artifact_dir = Path(__file__).resolve().parent | |
| scaling = list(csv.DictReader((artifact_dir / "raw_scaling.csv").open())) | |
| assert len(scaling) == 80 | |
| for row in scaling: | |
| m = int(row["m"]) | |
| k = int(row["epsilon_denominator"]) | |
| assert int(row["queries"]) == m + (m - 1) * (2 * k * k).bit_length() | |
| assert max(int(row["m"]) for row in scaling) == 256 | |
| assert max(int(row["epsilon_denominator"]) for row in scaling) == 1024 | |
| exhaustive = json.loads((artifact_dir / "raw_exhaustive.json").read_text()) | |
| assert len(exhaustive) == 18 | |
| for row in exhaustive: | |
| m = int(row["m"]) | |
| k = int(row["epsilon_denominator"]) | |
| assert int(row["instances"]) == k * (k + 1) ** m | |
| assert int(row["lottery_cells_checked"]) > int(row["instances"]) | |
| assert max(int(row["m"]) for row in exhaustive) == 4 | |
| assert max(int(row["epsilon_denominator"]) for row in exhaustive) == 12 | |
| result = {"passed": True, "scaling_rows_checked": len(scaling), | |
| "exhaustive_settings_checked": len(exhaustive), | |
| "instances_recomputed": sum(int(row["instances"]) for row in exhaustive)} | |
| (artifact_dir / "standalone_checker_output.json").write_text(json.dumps(result, indent=2, sort_keys=True) + "\n") | |
| print("CLAIM3_STANDALONE_CHECKER=" + json.dumps(result, sort_keys=True)) | |