Rigorous, reproducible study of the large-wave effect on discrete rings: the peak grows like (1/π)·ln N and saturates exactly for prime and power-of-two N — with an exact-arithmetic & formally-verified layer (GAP · PARI/GP · FriCAS · Rocq).

A bridge between the imaginary and the irrational.

First independent byte-exact reproduction of the Zinoviev-Ericson (1999) K(13) = 1154 kissing configuration in R^13, with full optimization pipeline, 13 paper-grade structural findings on dim-13 saturation, rare-paths doctrine, and dual Constructor/Auditor methodology with both-hats discipline.

A Python package for computing power residues and Gaussian periods.