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, target unimodality: OK
B1 one-coordinate cells: 450 rectangles tile [1553773/1000000,2] x [0,9/20]: OK
B2 two-coordinate boxes, s=+1: 17620 boxes (228 with a1 <= A_S) tile [1553773/1000000,2] x [0,20711/50000] x [9/20,1]: OK
B2 two-coordinate boxes, s=-1: 12704 boxes (209 with a1 <= A_S) tile [1553773/1000000,2] x [0,20711/50000] x [9/20,1]: OK
C one-coordinate cells (k=2 target): 450 re-verified exactly, 1s: OK
D two-coordinate six-moment boxes: 25959 re-verified exactly (16 sign patterns x 2 half-lines, strict objective), 97s: OK
E near-circle boxes: 3928 re-verified (mpmath intervals, prec 120, strict), 0s: OK
ALL SELECTED PARTS PASSED: A B C D E
