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
D vertex certificates: 4774 sets (75420 vertices; by number of patch parameters {2: 691, 3: 1288, 4: 1693, 5: 1102}) from 690 boxes re-verified exactly (cone enclosure, domination on R, strict objective), 1716s: OK
E near-circle boxes: 0 re-verified (mpmath intervals, prec 120, strict), 0s: OK
F m-split boxes: 360 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': 28, 'A5/2': 198, 'TC/0': 453, 'TC/1': 528, 'TC/2': 647, 'TCN/0': 458, 'TCN/1': 379, 'TCS-sub/A4': 9, 'TCS-sub/A5': 201, 'TCS-sub/A6': 61, 'TCS/0': 9, 'TCS/1': 164, 'TCS/2': 38, 'minus-SG/0': 1, 'minus-TC/0': 359, 'minus-TC/1': 458, 'minus-TC/2': 379}, 2s: 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, 7s); equality only at q5 and only for +-OR_4 (2 f): OK
ALL REQUESTED PARTS PASS (A D E F G), 1727s
