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 sqrt5 < U_LO = 12/5 <= 12/5 and U_HI = 127123/50000 >= u4 = sqrt(3+2sqrt3): OK
B1 one-coordinate cells: 288 rectangles tile [12/5,127123/50000] x [0,7/20]: OK
B2 two-coordinate boxes, s=+1: 941 boxes (0 with a1 <= A_S) tile [12/5,127123/50000] x [0,20711/50000] x [7/20,1]: OK
B2 two-coordinate boxes, s=-1: 480 boxes (0 with a1 <= A_S) tile [12/5,127123/50000] x [0,20711/50000] x [7/20,1]: OK
C one-coordinate cells (degree <= 10, k=3 target): 288 re-verified exactly, 2s: OK
D vertex certificates: 2845 sets (16544 vertices) from 1408 boxes re-verified exactly (cone enclosure, domination on R, strict objective), 82s: OK
E near-circle boxes: 13 re-verified (mpmath intervals, prec 120, strict), 0s: OK
F m-split boxes: 302 boxes; pieces cover [m_c, min(1, mbar)] on both sides; piece types {'A3': 123, 'TC': 871, 'SG': 146, 'TCS': 210}; caps, p3-conditions and 301 four-coordinate near-sphere pieces checked (mpmath, strict), 0s: OK
G1 three-bit lemma: all 256 f satisfy sum_i Delta_i^2 <= 12(1-q)^4 on [1/(1+U_HI^2), 25/169] (exact Sturm, 39 distinct polynomials); equality only for +-OR_3 (identically): OK
G2 four-bit lemma: all 65536 f satisfy sum_i Delta_i^2 <= 12(1-q)^4 on [q4, 25/169] (exact Sturm, 1630 distinct polynomials, 7s); equality identically only for +-OR_3 (8 f), at q4 only for +-OR_4: OK
ALL REQUESTED PARTS PASS (A B C D E F G), 93s
