6bc00422539c32fee9cebd4af9c9f0e8  k5_verify.py
k5 verifier (RQ-AUD), data RQ-AUD/audit/rqa/k5_data: 4 cell files, 22 box files; 861 cells, 2686 boxes, kinds {(1, 'lpv'): 1242, (1, 'ms'): 1444}
A  u5 = sqrt(4+2sqrt5), u6 = sqrt(5+sqrt30) give q5 = 1-2/sqrt5, q6 = 1-sqrt(5/6): True; 2 <= U_LO <= u5 and U_HI >= u6: True (u5 - U_LO = 9.338e-05, U_HI - u6 = 7.285e-07); tan(pi/8) <= T8 < 1: True; 5 w-^8 > 1, 5 w-^6 > 2: True; sqrt5- <= sqrt5: True
A  T5(u) = 2sqrt5 (1-q)^4 tau = 2sqrt5 u^9/(1+u^2)^5: True; d/du u^9/(1+u^2)^5 = u^8(9-u^2)/(1+u^2)^6 (unimodal, max at u = 3): True
A  critical points of kappa_3..kappa_10 on [U_LO, U_HI]: kappa_9: 1 root(s) of kappa_j' in [U_LO,U_HI] (sympy), enclosure(s) [3.077853471070, 3.077853471070] width 6.9e-70; enclosures agree with exact root counts: True
A  kappa enclosures contain 99056 exact sample values on 302 intervals: True; kappa_9 upper end exceeds the 4001-point sample maximum by at most 1.82e-09 (relative)
A  kappa_9 on [U_LO, U_HI]: enclosure [15692.115570, 16419.260355], end values max 15761.329581 (the endpoint enclosure would be wrong by 657.9308); objective bound uses this enclosure: 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  861 one-coordinate cells tile [U_LO,U_HI] x [0,A_S]: OK; inside True; area True
B  each of the 22 box files tiles its own region: failures 0
B  s=+1: 22 file regions inside True, overlapping pairs 0, volume fraction of [U_LO,U_HI]x[0,T8]x[1/4,1] covered 0.360148 => partial
B  s=-1: no box files in this data set
B  box kinds outside {lpv, ms}: []
C  one-coordinate cells (ten-moment bound with certified kappa enclosures, Theta_1 for T5): failures 0/861; degrees {10: 861}; 9s
D  17961 vertex-certificate sets (285472 vertices; by number of patch parameters {2: 2686, 3: 4893, 4: 6040, 5: 4342}); record-side cap/phi/type problems: 0 []
D  vertex certificates: failures 0/17961; sets by role {'L0 TC+': 1792, 'L0 TC-': 1444, 'L0 cut': 1444, 'L1 TC+': 1935, 'L1 TC-': 1657, 'L1 cut': 1657, 'L2 TC+': 2416, 'L2 TC-': 1576, 'L2 TCS SG': 436, 'L2 TCS cut': 436, 'L2 cut': 1576, 'L3 TCS SG': 175, 'L3 TCS cut': 175, 'lpv': 1242}; cone sub-boxes max 1, sets needing a split 0; 550s
F  split trees: failures 0/1444; nodes, pieces and near-sphere tests {'L0 minus TC': 1444, 'L0 plus TC': 1792, 'L0 plus TCN': 1657, 'L1 minus TC': 1657, 'L1 plus A4': 6, 'L1 plus TC': 1935, 'L1 plus TCN': 1576, 'L1 plus TCS': 436, 'L2 TCS plus A5': 573, 'L2 minus TC': 1576, 'L2 plus A5': 498, 'L2 plus TC': 2416, 'L2 plus TCS': 175, 'L3 TCS plus A6': 314, 'node L0': 1444, 'node L1': 1657, 'node L2': 1576}; root cuts ['7/20', '2/5', '9/20', '1/2']; 553s
RESULT: ALL CHECKS PASSED (parts ABCDF, 553s)

real	9m14.190s
user	72m29.580s
sys	0m3.300s
EXIT=0
