a34f: replay of RQ-D's box-level record, start 2026-10-23 04:47:45 UTC
md5 bandstar_leaves.npz: 170d0ba8c98c8fbed9575f3c1525a452 (as filed)
md5 bandstar_slope.json: 353cfe2ad87153637ca05129df7ee4e8 (as filed)
md5 record_squares.jsonl: 8d4d2db30e96cba715bf9f1605c5f94e (as filed)
md5 verify_bandstar_squares.jsonl (published log): 73a8da42b2c739cc01713566199d7250
record: 1339 squares, 7874211 leaves, 426 slope certificates; methods ['infeasible', 'chord', 'twopoint_C', 'twopoint_CS', 'taylor_B', 'slope']
(1) record log = published log (box, ok, nbox) on 1676 / 1676 squares: True; ok squares of the published log = certified squares of the record (1339): True
(1) squares interior-disjoint: True; cover T: True; dyadic squares meeting T: True; sides (units 1/8192): {8: 80, 16: 388, 32: 735, 64: 136}
slope certificates indexed: 426 (each matches its leaf's square, global leaf index and box)
(2) squares whose leaves are interior-disjoint and cover R0: 1339 / 1339; union equal to the leaves' bounding rectangle: 1339; first bad: []
(3) leaves: 7874211; RQ-D's counts by method: {'infeasible': 3114781, 'chord': 551105, 'twopoint_C': 2876016, 'slope': 426, 'twopoint_CS': 128597, 'taylor_B': 1203286}
(3) my decisions (parts after my bisection included): {'O1': 394687, 'O2': 1567171, 'O3': 2800950, 'O4': 162951, 'infeasible': 3117015, 'slope': 431, 'split': 201781}
(3) leaves my procedures do not certify: 11948
(4) RQ-D infeasible label 1: 35275 leaves; my tests failing on all of them: [1]; leaves where none of my 8 tests fails: 0
(4) RQ-D infeasible label 2: 33605 leaves; my tests failing on all of them: [2]; leaves where none of my 8 tests fails: 0
(4) RQ-D infeasible label 3: 113913 leaves; my tests failing on all of them: [3]; leaves where none of my 8 tests fails: 0
(4) RQ-D infeasible label 4: 824593 leaves; my tests failing on all of them: [4]; leaves where none of my 8 tests fails: 0
(4) RQ-D infeasible label 5: 655763 leaves; my tests failing on all of them: [5]; leaves where none of my 8 tests fails: 0
(4) RQ-D infeasible label 6: 369111 leaves; my tests failing on all of them: [6]; leaves where none of my 8 tests fails: 0
(4) RQ-D infeasible label 7: 726859 leaves; my tests failing on all of them: [7]; leaves where none of my 8 tests fails: 0
(4) RQ-D infeasible label 8: 355662 leaves; my tests failing on all of them: [8]; leaves where none of my 8 tests fails: 0
(4) slope certificates: {'T3K_without_O5': 0, 'T3_with_O5': 0, 'complete_prefix_free': 426, 'mine_whole': 570, 'opt_O3': 42, 'opt_O4': 1, 'opt_O5': 470, 'opt_chord': 66, 'pieces': 579, 'reff_le_rs': 579, 'reff_ok': 579, 'test_T1': 406, 'test_T2': 149, 'test_T3': 24}
(4) RQ-D's counts by method equal its published counts: True
labels without any failing test of mine (decided by my direct/slope checks instead): 0
slowest square 4.9 s; total 161 s
A34F_FAIL

real	2m40.908s
user	20m55.489s
sys	0m0.679s
DONE_EXIT=0
