baseline tiling: verified = True (expected True) ok
c1 drop box record 0: verified = False (expected False) ok
c2 box index out of grid: verified = False (expected False) ok
c3 drop one cell of box [4, 3, 4, 10]: verified = False (expected False) ok
baseline box [4, 2, 4, 6]: verified = True (expected True) ok
c4 c_16 negative: verified = False (expected False) ok
baseline Farkas box [7, 1, 7, 79]: verified = True (expected True) ok
c5 Farkas multipliers (0, 0): verified = False (expected False) ok
c6 certified box marked empty: verified = False (expected False) ok
c7 L < tau a1 + A b1: verified = False (expected False) ok
c8 threshold mine - 1e-9: verified = False (expected False) ok
c8 threshold mine + 1e-9: verified = True (expected True) ok
n1 c_0 - 1e-3 moves beta by exactly the change of c_0: verified = True (expected True) ok
ALL CONTROLS BEHAVE AS EXPECTED
