PASS  normalized Fourier determinant
PASS  general constant-weight normalization
PASS  mode-selection polynomial expansion
PASS  mode-selection reduction under e2=-3
PASS  reflection R_pqt(-z)=R_-p,-q,tau(z)
PASS  rational certificate L=10
PASS  rational certificate L=24
PASS  rational certificate L=40
PASS  rational certificate L=42
PASS  modulus-28 factorization modulo minpoly(alpha)
PASS  coverage density = 1/6
PASS  rational coverage density = 31/210
PASS  signed determinant identity k=2
PASS  Q_2 cyclotomic factorization
PASS  signed determinant identity k=3
PASS  Q_3 cyclotomic factorization
PASS  signed determinant identity k=7
PASS  Q_7 cyclotomic factorization

ALL SYMBOLIC CHECKS PASSED
