[OK] C1 (log f_rho)'' > 0 at 600 random points (finite differences, 150 digits) (min value 2.431e-35 at s=0.0101, rho=2.61)
[OK] C2 (log f)'' = e^lambda Psi/f^2 (Psi from finite-difference w', w'') (max rel dev 7.2e-45)
[OK] C3 closed-form Psi = finite-difference Psi (max rel dev 7.2e-54)
[OK] C3 Omega >= q^5/6 on the sample (min ratio 1.0201)
[OK] C4 h'' >= 0 along random two-disk moves (3000 points, min h''=1.408e-05)
ALL PASSED   (3.7s)
