lpv: c0 -= 1/20 at one vertex (domination must fail)                               rejected 40/40
lpv: c0 += 1 at one vertex (objective must fail)                                   rejected 40/40
lpv: polytope shrunk by 10% about its centre (cone must fail)                      rejected 40/40
lpv: one vertex moved by 1e-6 (hyperplane/parallelepiped must fail)                rejected 40/40
lpv: recomputed cap mbar >= min(1, a2/b) on the box (sanity check)                 holds 40/40
split node (any level): one plus piece removed (coverage must fail)                rejected 40/40
split node (any level): one minus piece removed (coverage must fail)               rejected 40/40
top node: cap lowered below min(1, mbar) (top check must fail)                     rejected 25/25
split node: a TC/TCS/TCN cap replaced by m2 (cap check must fail)                  rejected 112/112
split node: SG p* below phi(m1) (phi check must fail)                              rejected 2/2
split node: SG cap below min(n2, cap) (cap check must fail)                        rejected 2/2
TCS: a near-sphere sub-piece widened to [o1/4, o2] (near-sphere test must fail)    rejected 25/25
near-sphere piece with a wrong coordinate count in its label (type check must fail) rejected 25/25
an A5/A6 piece re-checked with s = -1 (test A must not be accepted)                rejected 25/25
nested node: cut m_c lowered by 1/50 without new pieces (coverage must fail)       rejected 25/25
nested node: cap below min(1, m2/sqrt(1-m2^2)) (node-cap check must fail)          rejected 21/21
split box: a vertex certificate (any level) with c0 -= 1/20 (domination must fail) rejected 25/25
nested polytope shrunk by 1/2 about its centre (cone must fail)                    rejected 40/40
exact facet minima <= sampled minima of h.p (sanity check)                         holds 20/20
exact facet minima within 1e-3 |h| of the minima on an 11-point grid, <= 4 parameters (sanity) holds 13/13
tiling s=+1: one box removed (tiling must fail)                                    rejected 1/1
tiling s=-1: one box removed (tiling must fail)                                    rejected 1/1
one-coordinate cell: c0 += 1 (objective must fail)                                 rejected 30/30
box records pass part B's per-box check unmodified (sanity)                        holds 40/40
box kind relabelled to LPV / 'kind ' / nc / '' / msplit (part B must reject)       rejected 200/200
ALL NEGATIVE TESTS REJECTED
ALL SANITY CHECKS HOLD
