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: 5831 sets (78508 vertices; by number of patch parameters {2: 1721, 3: 1347, 4: 1723, 5: 1040}) from 1720 boxes re-verified exactly (cone enclosure, domination on R, strict objective), 858s: OK
E near-circle boxes: 0 re-verified (mpmath intervals, prec 120, strict), 0s: OK
F m-split boxes: 335 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': 84, 'A5/2': 297, 'TC/0': 447, 'TC/1': 514, 'TC/2': 699, 'TCN/0': 472, 'TCN/1': 341, 'TCS-sub/A4': 47, 'TCS-sub/A5': 317, 'TCS/0': 47, 'TCS/1': 198, 'minus-SG/0': 1, 'minus-TC/0': 334, 'minus-TC/1': 472, 'minus-TC/2': 341}, 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), 868s
