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.09e-10 PASS
T4 ranges and Lagrangian bound on 3000 random admissible W'': min (bound - E phi(Z)) = 2.136e-03 PASS
T5 end to end on 52 random K: max (E|Z_K| - certified bound) = -0.0401 PASS
ALL SELF-TESTS PASSED
EXIT 0
