A1 atom products p_j x_j = r tau g_j (both signs), sum p_j = 1, mean 0: OK
A2 two-coordinate values 2 tau (1-q)(c+d), 2 tau c, 2 tau d: OK
A3 half-angle parametrisation, quartic tail constant 27/256, unimodality of both targets: OK
B0 U_LO < u3 = sqrt(2+sqrt6) and U_HI = 12/5 < u4 = sqrt(3+2sqrt3): OK
B1 one-coordinate cells: 2704 rectangles tile [2109381/1000000,12/5] x [0,2/5]: OK
B2 two-coordinate boxes, s=+1: 69871 boxes (617 with a1 <= A_S) tile [2109381/1000000,12/5] x [0,20711/50000] x [2/5,1]: OK
B2 two-coordinate boxes, s=-1: 12104 boxes (259 with a1 <= A_S) tile [2109381/1000000,12/5] x [0,20711/50000] x [2/5,1]: OK
C one-coordinate cells (k=3 target): 2704 re-verified exactly, 6s: OK
D two-coordinate six-moment boxes: 78565 re-verified exactly (16 sign patterns x 2 half-lines, strict objective; 21232 of them m-split boxes with two certificates each), 317s: OK
E near-circle boxes: 2534 re-verified (mpmath intervals, prec 120, strict), 0s: OK
F m-split boxes: near-sphere pieces (s3=+1) cover [mcut, mbar] and pass (mpmath, strict): 21232 boxes, 32932 pieces, 4s: OK
G three-bit lemma (k=3): all 256 f satisfy sum_i Delta_i^2 <= 12(1-q)^4 on [25/169, q3] (exact Sturm); equality: identically only for +-OR_3, at q3 only for +-OR_2 (6 f), nowhere else: OK
ALL SELECTED PARTS PASSED: A B C D E F G
