data: 288 cells, 1421 boxes; tests 3456
N3 vertex sets (72 sampled over roles ['SG', 'TC', 'TCS1', 'TCS2', 'c1', 'lpv']): c0 -= 1/20 at one vertex: rejected 72/72
N3 vertex sets (72 sampled over roles ['SG', 'TC', 'TCS1', 'TCS2', 'c1', 'lpv']): one vertex moved by 1e-6: rejected 72/72
N3 vertex sets (72 sampled over roles ['SG', 'TC', 'TCS1', 'TCS2', 'c1', 'lpv']): polytope shrunk by 10% about its centre: rejected 72/72
N3 vertex sets (72 sampled over roles ['SG', 'TC', 'TCS1', 'TCS2', 'c1', 'lpv']): target lowered by 1%: rejected 23/72
N4 m-split: A4 widened to [n1/2, n2] rejected 25/25; A3 widened to [m1/2, m2] rejected 25/25; one minus piece removed rejected 25/25; SG p* = phi(m1) - 1e-12 rejected 25/25
N5 four-bit lemma on [q4 - 1e-6, 25/169]: fails for 2 f (includes +-OR_4: True); with 12 - 1e-6 on [q4, 25/169]: fails for 10 f
N6 tilings: one cell removed rejected True; one s=-1 box removed rejected True
