T1 moment polynomials: max relative difference 3.34e-14 PASS
T2 poly_sup vs dense evaluation: PASS
T3 phi_check vs dense h - phi: max (dense - eps) = -3.75e-10 PASS
T4 ranges and Lagrangian bound on 3000 random admissible W'': min (bound - E phi(Z)) = 2.435e-03 PASS
T5 end to end on 166 random K: max (E|Z_K| - certified bound) = -0.0399 PASS
ALL SELF-TESTS PASSED
