leading spectral coefficient: 0 == 0
second spectral coefficient: 0 == 0
determinant cubic coefficient: 0 == 0
Schur off-diagonal identity: 0 == 0
strictness decomposition: 0 == 0
complex-phase H sample: 2449/5625 > 0
rational-log bracket identity: 0 == 0
exact symbolic checks passed
