bandstar_replay.py, record outputs/bandstar_cert
start: 2026-10-23 04:21:57 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
REJECTED: drop the first leaf of a square: 1 of 1 squares with errors, 2 errors; first: ('box not covered by the leaves', (23039, 23040, 4819, 4820))
REJECTED: move the upper m-edge of one leaf by 1/4096: 1 of 1 squares with errors, 2 errors; first: ('box not covered by the leaves', (23039, 23040, 4819, 4820))
REJECTED: declare an (O1) leaf infeasible by inequality 1: 1 of 1 squares with errors, 1 errors; first: ('leaf fails', 43, (22528, 22784, 4813, 4820), 'infeasible')
REJECTED: declare an (O1) leaf infeasible by inequality 2: 1 of 1 squares with errors, 1 errors; first: ('leaf fails', 43, (22528, 22784, 4813, 4820), 'infeasible')
REJECTED: declare an (O1) leaf infeasible by inequality 3: 1 of 1 squares with errors, 1 errors; first: ('leaf fails', 43, (22528, 22784, 4813, 4820), 'infeasible')
REJECTED: declare an (O1) leaf infeasible by inequality 4: 1 of 1 squares with errors, 1 errors; first: ('leaf fails', 43, (22528, 22784, 4813, 4820), 'infeasible')
REJECTED: declare an (O1) leaf infeasible by inequality 5: 1 of 1 squares with errors, 1 errors; first: ('leaf fails', 43, (22528, 22784, 4813, 4820), 'infeasible')
REJECTED: declare an (O1) leaf infeasible by inequality 6: 1 of 1 squares with errors, 1 errors; first: ('leaf fails', 43, (22528, 22784, 4813, 4820), 'infeasible')
REJECTED: declare an (O1) leaf infeasible by inequality 7: 1 of 1 squares with errors, 1 errors; first: ('leaf fails', 43, (22528, 22784, 4813, 4820), 'infeasible')
REJECTED: declare an (O1) leaf infeasible by inequality 8: 1 of 1 squares with errors, 1 errors; first: ('leaf fails', 43, (22528, 22784, 4813, 4820), 'infeasible')
REJECTED: (O3) leaf with its far point moved 64 grid steps to the right: 1 of 1 squares with errors, 1 errors; first: ('leaf fails', 1826, (12032, 12288, 3533, 3597), 'twopoint_C')
REJECTED: slope leaf with one rho^2 piece removed: 1 of 1 squares with errors, 1 errors; first: ('leaf fails', 2220, (9728, 9984, 3085, 3149), 'slope')
REJECTED: slope leaf: (O5) piece re-labelled (T3), which ignores kappa: 1 of 1 squares with errors, 1 errors; first: ('leaf fails', 2045, (10752, 11008, 3277, 3341), 'slope')
REJECTED: target lowered by 0.001 on the 80 smallest squares: 80 of 80 squares with errors, 421058 errors; first: ('leaf fails', 16, (18176, 18432, 3853, 3885), 'chord')
SELFTEST passed: every tampered record was rejected

real	0m4.159s
user	0m23.781s
sys	0m0.710s
exit: 0
