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 U_LO = 14553/5000 <= u5 = sqrt(4+2sqrt5), U_HI = 647371/200000 >= u6 = sqrt(5+sqrt30); 5(1-q)^8 > 1 and 5(1-q)^6 > 2 at U_LO: OK
B1 one-coordinate cells: 861 rectangles tile [14553/5000,647371/200000] x [0,1/4]: OK
B2 two-coordinate boxes, s=+1: 8107 boxes (0 with a1 <= A_S; every kind in small/lpv/ncA/ncB/ms) tile [14553/5000,647371/200000] x [0,20711/50000] x [1/4,1]: OK
B2 two-coordinate boxes, s=-1: 1059 boxes (0 with a1 <= A_S; every kind in small/lpv/ncA/ncB/ms) tile [14553/5000,647371/200000] x [0,20711/50000] x [1/4,1]: OK
C one-coordinate cells (degree <= 10, k=5 target): 861 re-verified exactly, 5s: OK
D vertex certificates: 52292 sets (784616 vertices; by number of patch parameters {2: 9168, 3: 14735, 4: 17399, 5: 10990}) from 9166 boxes re-verified exactly (cone enclosure, domination on R, strict objective), 4422s: OK
E near-circle boxes: 0 re-verified (mpmath intervals, prec 120, strict), 1s: OK
F m-split boxes: 4303 boxes; at every split node the pieces cover [m_c, cap] (top: [m_c, min(1, mbar)]) on both sides; caps, p3-conditions, nested TCS covers and all near-sphere pieces checked (mpmath, strict); pieces by type/level {'A4/1': 127, 'A5/2': 1431, 'TC/0': 5445, 'TC/1': 5768, 'TC/2': 6240, 'TCN/0': 4873, 'TCN/1': 3958, 'TCS-sub/A4': 58, 'TCS-sub/A5': 1769, 'TCS-sub/A6': 644, 'TCS/0': 58, 'TCS/1': 1400, 'TCS/2': 396, 'minus-SG/0': 2, 'minus-TC/0': 4301, 'minus-TC/1': 4873, 'minus-TC/2': 3958}, 8s: OK
G1 three-bit lemma (k=5): all 256 f satisfy sum_i Delta_i^2 < 20(1-q)^8 on [q6, q5] (exact Sturm, 39 distinct polynomials; no equality): OK
G2 four-bit lemma (k=5): all 65536 f satisfy sum_i Delta_i^2 <= 20(1-q)^8 on [q6, q5] (exact Sturm, 1630 distinct polynomials, 6s); equality only at q5 and only for +-OR_4 (2 f): OK
ALL REQUESTED PARTS PASS (A B C D E F G), 4449s
