chain_check heavy start 2026-10-23 00:48:12 UTC
PASS  admissible rates inside ROOT: 4/5 / tau^2 < 28/25 and 4/5 / A^2 < 17/50
PASS  2 tau > A (Q nondecreasing in a)
PASS  boxes tile ROOT = [0, 28/25] x [0, 17/50]  [436 boxes]
PASS  empty boxes satisfy Q(a1,b1) >= 4/5 or M(a2,b2) < 1/2; cells of every ok box tile R_B  [156 empty boxes, 280 ok boxes, 1237 cells; problems []]
PASS  every cell certified (< C5) or certified empty by check_cell on my mu_B, cap_B, R_B  [1237 cells, 1 empty, worst 0.854883, rejected 0 [], 32s]
HEAVY: ALL PASS
chain_check heavy end 2026-10-23 00:48:44 UTC
