k4 verifier (RQ-AUD), data RQ-AUD/audit/rqa/k4_data: 1268 cells, 7261 boxes, kinds {(-1, 'lpv'): 1216, (1, 'lpv'): 3327, (1, 'ms5'): 2718}
M  md5 of the 81 manifest files vs k4_MD5SUMS.txt: 0 mismatches
A  u4 = sqrt(3+2sqrt3), u5 = sqrt(4+2sqrt5) give q4 = 1-sqrt3/2, q5 = 1-2/sqrt5: True; 2 < U_LO <= u4 and U_HI >= u5: True (u4 - U_LO = 5.976e-05, U_HI - u5 = 6.620e-06); tan(pi/8) <= T8 < 1: True; (3) w-^4 >= 1/2, 2 w-^3 >= 1: True
A  T4(u) = 4(1-q)^3 tau = 4u^7/(1+u^2)^4: True; T4' = -4u^6(u^2-7)/(u^2+1)^5 (unimodal): 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  1268 one-coordinate cells tile [U_LO,U_HI] x [0,A_S]: OK; inside True; area True
B  s=+1: 6045 boxes inside True; volume sum == region volume True; overlapping pairs 0 => TILING OK
B  s=-1: 1216 boxes inside True; volume sum == region volume True; overlapping pairs 0 => TILING OK
B  box kinds outside {lpv, ms5}: []
RESULT: ALL CHECKS PASSED (parts MAB, 5s)
