k3b verifier (RQ-AUD), data RQ-A/outputs: 288 cells, 1421 boxes, kinds {(-1, 'lpv'): 480, (1, 'lpv'): 626, (1, 'ms5'): 302, (1, 'ncA'): 13}
M  md5 of the 37 manifest files vs k3b_MD5SUMS.txt: 0 mismatches
A  U_LO^2 > 5 (T decreasing on the range), U_HI >= u4 = sqrt(3+2sqrt3): True (U_HI - u4 = 2.432e-07); tan(pi/8) <= T8 < 1: True
A  kappa_3..kappa_10 monotone on [U_LO, U_HI] (no root of kappa_j' there): True
kappa_1..12(chi): Bernoulli derivative recursion == moment-cumulant recursion: True (kappa_2 = 1, kappa_3 = u - 1/u)
E M^0..12: power-series exponential == set partitions without singletons: True; monomial counts [1, 0, 1, 1, 2, 2, 4, 4, 7, 8, 12, 14, 21]
exact enumeration check (u in 12/5, 5/2, 21/10; n in 3, 5, 7; random rational beta): 351 moment identities, all exact: True
B  288 one-coordinate cells tile [U_LO,U_HI] x [0,A_S]: OK; inside True; area True
B  s=+1: 941 boxes inside True; volume sum == region volume True; overlapping pairs 0 => TILING OK
B  s=-1: 480 boxes inside True; volume sum == region volume True; overlapping pairs 0 => TILING OK
B  box kinds outside {lpv, ms5, ncA}: []
C  one-coordinate cells (degree <= 10, own ten-moment bound): failures 0/288, 4s
D  2845 vertex-certificate sets (16544 vertices); record-side cap/phi problems: 0 []
D  vertex certificates: failures 0/2845; sets by role {'lpv': 1106, 'c1': 302, 'TC': 871, 'SG': 146, 'TCS1': 210, 'TCS2': 210}; cone sub-boxes max 1, total 2845; 11s
E  near-circle boxes: failures 0/13; passed by test {'1': 13}; 11s
F  m-split boxes: failures 0/302; near-sphere pieces by test {'A3': 123, 'A4': 301}; m_c values ['2/5', '9/20', '1/2', '3/5', '3/4', '4/5', '17/20', '9/10']; 11s
G  three-bit lemma: 256 f, 79 distinct H_f; H_f >= 0 on [1/(1+U_HI^2), 25/169] fails for 0; H_f == 0 exactly for 2 f (= +-OR_3: True)
G  four-bit lemma: 65536 f, 3679 distinct H_f; H_f >= 0 on [q4, 25/169] fails for 0; H_f == 0 for 8 f (= +-OR_3 on 3 of 4 bits: True); H_f(q4) = 0 otherwise for 2 f (= +-OR_4: True); H_f(25/169) = 0 for 0 f; 6s
RESULT: ALL CHECKS PASSED (parts MABCDEFG, 17s)
