k3b verifier (RQ-AUD), data RQ-AUD/audit/rqa/k3b_data: 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}: []
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 MABG, 8s)
