Publication-audit controls

Run:

python3 verify_publication_controls.py

The script uses only Python’s standard library and exact rational arithmetic. It checks the explicit matrix and queer separability elements and the smallest queer–Grassmann supercenters. These are sign and indexing controls, not a finite search for the theorem.