spectral-gap

Uniform spectral gap for the Syracuse (3n+1) mod-2^k transfer operator, proved elementarily for all scales (cert <= 0.8536). The earlier cycle-elimination claim is retracted (3x-1 control) - see README/THEOREM.md. Not a proof of Collatz.

Demo pack for the BSD Operator–Fredholm: Sage/Python scripts (principal part, finite Hecke gap, R×R renorm, leading coefficient).

Eigenforensic framework — AEMDAS audit sequence, six disciplines, eigenvalue decomposition of institutional suppression. I-80 corridor investigation. by Steven Crawford-Maggard (EVEZ)

Reproducibility artifact for orbit-resolved spectra and dynamical accessibility in multi-register covering Hamiltonians

🔍 Verify and certify analytic bounds related to the Yang–Mills mass gap problem using reproducible computer-assisted scripts.