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