Everything released by this program, in one place — papers, then the software
and certificates that verify them, then what's currently being worked on. An entry gets its
links (PDF, DOI, arXiv identifier, repository) the day it becomes public; until then its
status is stated plainly. Nothing is released before its verification scripts are.
Papers
Preprint · released August 5, 2026
D. Kirtchakov, Degree minimality in the equivariant class of the Alpöge
Keller map, and the moment-map structure of its cotangent lift, 20 pp.
Proves degree 7 minimal in the map's symmetry class (strengthening
Shaska, arXiv:2607.20210, Thm 10.10), with a no-go lemma and a moment-map identity;
Dixmier/Poisson witnesses due to W. G. P. Mayner, credited. PDF ·
repository & certificates ·
prior-art record ·
doi:10.5281/zenodo.21799112 · arXiv identifier to follow.
Software & certificates
Repository · public certify — verification scripts, Gröbner-basis unit-ideal
certificates, and a Nullstellensatz cofactor certificate (6.8 KB) checkable in under a
millisecond with no solver in the loop.
github.com/05oz/certify — every claim
in the paper maps to a script here; release v0.1.0.
In progress
Certified minimum-distance parameters for quantum error-correcting codes ·
degree minimality across the remaining weight systems (k = 1, 3) ·
an independent certificate checker and open schema.