A1 cumulants of chi from its moments: kappa_j = d^[j odd] G_j(w) for j = 3..10 (w = u^2 + u^-2, d = u - 1/u): OK
A2 moments from cumulants (recursion): Gaussian moments (n-1)!! and E chi^n at u = 5/2 reproduced for n <= 10: OK
B0 2 <= U_LO = 1589/625 <= u4 = sqrt(3+2sqrt3), U_HI = 29107/10000 >= u5 = sqrt(4+2sqrt5); (1-q)^4 >= 1/2 at U_LO: OK
B1 one-coordinate cells: 1268 rectangles tile [1589/625,29107/10000] x [0,33/100]: OK
B2 two-coordinate boxes, s=+1: 6045 boxes (0 with a1 <= A_S) tile [1589/625,29107/10000] x [0,20711/50000] x [33/100,1]: OK
B2 two-coordinate boxes, s=-1: 1216 boxes (0 with a1 <= A_S) tile [1589/625,29107/10000] x [0,20711/50000] x [33/100,1]: OK
C one-coordinate cells (degree <= 10, k=4 target): 1268 re-verified exactly, 8s: OK
D vertex certificates: 21014 sets (171488 vertices; by number of patch parameters {2: 7472, 3: 9384, 4: 4158}) from 7261 boxes re-verified exactly (cone enclosure, domination on R, strict objective), 345s: OK
E near-circle boxes: 0 re-verified (mpmath intervals, prec 120, strict), 0s: OK
F m-split boxes: 2718 boxes; pieces cover [m_c, min(1, mbar)] on both sides, nested covers checked; piece types {'A3': 101, 'SG': 211, 'TC': 5188, 'TCN': 1247, 'TCN/A4': 534, 'TCN/SG3': 73, 'TCN/TC4+': 2479, 'TCN/TC4-': 1247, 'TCN/TC4S': 216, 'TCS': 1438}; caps, p3-conditions, 2533 four-coordinate and 383 five-coordinate near-sphere pieces checked (mpmath, strict), 3s: OK
G1 three-bit lemma (k=4): all 256 f satisfy sum_i Delta_i^2 <= 16(1-q)^6 on [q5, q4] (exact Sturm, 39 distinct polynomials); equality only at q4, only for +-OR_3: OK
G2 four-bit lemma (k=4): all 65536 f satisfy sum_i Delta_i^2 <= 16(1-q)^6 on [q5, q4] (exact Sturm, 1630 distinct polynomials, 7s); equality identically only for +-OR_4 (2 f), elsewhere only at q4 and only for +-OR_3 on three of the bits (8 f): OK
ALL REQUESTED PARTS PASS (A B C D E F G), 367s

real	6m7.245s
user	46m4.030s
sys	0m1.855s
