det(Gamma) = 3/4 > 0; asserted
shift certificate residuals = 0; PSD eigenvalues >= 0; asserted; cost = 3
singular-precision certificate residuals = 0; PSD eigenvalues >= 0; asserted; cost = 2/3
