bandstar_replay.py, record outputs/bandstar_cert
start: 2026-10-23 04:21:28 UTC
md5 outputs/bandstar_cert/bandstar_leaves.npz: 170d0ba8c98c8fbed9575f3c1525a452
md5 outputs/bandstar_cert/bandstar_slope.json: 353cfe2ad87153637ca05129df7ee4e8
md5 scripts/bandstar_replay.py: e38a1a9e187cba0fda225ca415c91a14
md5 scripts/verify_bandstar.py: b5b55ceec828f01debc6c1a422e7270f
python 3.12.3, numpy 2.5.4, scipy 1.18.1, python-flint 0.9.0
record: 1339 squares, 7874211 leaf boxes, 426 slope certificates
(1) cover of the triangle by the certified squares: {"level0_squares": 351, "malformed": 0, "uncovered": 0, "unused": 0, "ok": true}
(2)-(4) squares by side: {"1/128": {"squares": 136, "leaves": 617622}, "1/256": {"squares": 735, "leaves": 3441958}, "1/512": {"squares": 388, "leaves": 3157452}, "1/1024": {"squares": 80, "leaves": 657179}}
leaves verified, by certificate: {"infeasible": 3114781, "(O1)": 551105, "(O3)": 2876016, "(O4)": 128597, "(O2)": 1203286, "slope": 426}
same counts as the published run (MAIN_RESULT Section 6.1): True
squares with errors: 0, errors: 0
time 29s
VERDICT: record VALID: every leaf certificate holds and the leaves tile every square; the squares cover the triangle
end: 2026-10-23 04:21:57 UTC

real	0m29.661s
user	3m50.417s
sys	0m0.388s
exit: 0
