Spaces:
Running
Running
File size: 2,532 Bytes
b9ca864 | 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 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 | #!/usr/bin/env python3
"""Independent parser/checker for Claim-5 record-quality evidence."""
from __future__ import annotations
import csv
import json
import math
from pathlib import Path
ROOT = Path(__file__).resolve().parent
def valid_rows(rows):
try:
for row in rows:
n = int(row["n"])
m = int(row["m"])
k = int(row["epsilon_denominator"])
levels = int(row["constraint_agents"])
quality_r = int(row["quality_R"])
verification = n + (n - levels) * quality_r
elicitation = quality_r * (m + (m - 1) * (2 * k * k).bit_length())
envelope = n * (quality_r + 1) + quality_r * (
m + (m - 1) * (2 * math.ceil(math.log2(k)) + 2)
)
if int(row["verification_queries"]) != verification:
return False
if int(row["elicitation_queries"]) != elicitation:
return False
if int(row["total_queries"]) != verification + elicitation:
return False
if int(row["universal_R_plus_1_envelope"]) != envelope:
return False
if verification + elicitation > envelope:
return False
return True
except (KeyError, TypeError, ValueError):
return False
rows = list(csv.DictReader((ROOT / "raw_scaling.csv").open()))
assert len(rows) == 40 and valid_rows(rows)
quality = [row for row in rows if row["regime"] == "quality_R"]
assert [int(row["quality_R"]) for row in quality] == [1, 2, 4, 8, 16, 32, 64, 128, 256]
zero = [row for row in rows if row["regime"] == "zero_record_footnote"]
assert len(zero) == 1 and int(zero[0]["total_queries"]) == int(zero[0]["n"])
corrupted = [dict(row) for row in rows]
corrupted[-1]["verification_queries"] = "0"
assert not valid_rows(corrupted)
checker = json.loads((ROOT / "checker_output.json").read_text())
controls = json.loads((ROOT / "negative_control_output.json").read_text())
proof = json.loads((ROOT / "proof_certificate.json").read_text())
assert checker["passed"] and checker["max_n"] >= 65536
assert checker["max_m"] >= 256 and checker["max_epsilon_denominator"] >= 65536
assert controls["passed"] and all(value is True for key, value in controls.items() if key != "passed")
assert proof["status"] == "VERIFIED" and all(proof["obligations"].values())
print(json.dumps({"claim": 5, "independent_checker": "PASS", "rows_checked": len(rows),
"corruption_self_test_detected": True}, sort_keys=True))
|