Spaces:
Running
Running
File size: 1,922 Bytes
e0f5bb6 | 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 | """Independent result-only checker for Claim 5 route 2."""
from __future__ import annotations
import json
import sys
from pathlib import Path
def main(input_path: Path, output_path: Path) -> int:
payload = json.loads(input_path.read_text())
beta_direction = all(
row["spearman_beta_vs_is"] < 0.0 for row in payload["beta_summaries"]
)
beta_not_strict = any(
not row["strict_is_decrease_as_beta_increases"]
for row in payload["beta_summaries"]
)
rho_strict = all(
row["strict_is_increase_as_rho_increases"]
and row["spearman_rho_vs_is"] == 1.0
for row in payload["rho_summaries"]
)
fixed_beta_inconsistency = all(
row["distance_to_beta_minus_point_three"] < row["distance_to_beta_zero"]
for row in payload["fixed_beta_consistency"]
)
honest_blocked = payload["verdict"] == "BLOCKED"
passed = (
beta_direction
and beta_not_strict
and rho_strict
and fixed_beta_inconsistency
and honest_blocked
)
result = {
"checker": "result-only reported-table audit",
"all_beta_rank_associations_have_paper_direction": beta_direction,
"beta_association_is_not_strictly_monotone": beta_not_strict,
"all_rho_tables_are_strictly_monotone": rho_strict,
"table2_rho_point9_is_closer_to_beta_minus_point3_than_beta0": (
fixed_beta_inconsistency
),
"blocked_instead_of_reproduction_pass": honest_blocked,
"passed": passed,
}
output_path.write_text(json.dumps(result, indent=2) + "\n")
print("=== CLAIM 5 ROUTE 2 CHECKER ===")
print(json.dumps(result, indent=2))
return 0 if passed else 1
if __name__ == "__main__":
if len(sys.argv) != 3:
raise SystemExit("usage: check_claim5_route2.py INPUT.json OUTPUT.json")
raise SystemExit(main(Path(sys.argv[1]), Path(sys.argv[2])))
|