faithfulness margin = 1/2 > 0: PASS
weight determinant = 5 > 0: PASS
canonical covariance residual = 0 == 0: PASS
homodyne cost = SLD lower bound = 8: PASS
off-diagonal descent derivative = -8 < 0: PASS
variance-ratio descent derivative = -3 < 0: PASS
mean-misalignment descent derivative = -325/18 < 0: PASS
real rank-one noise slack = 9 > 0: PASS
