GAMUT Papers
Formal documents and downloads
The maintained proof manuscript comes first. Each paper page includes citation instructions and version information; the earlier companion documents remain available below.
Current formal authority
Layered symplectic musical space — proof paper
The formal mathematical manuscript (AMS-style) proving the layered Fourier embedding, standard exact symplectic thickening, Hamiltonian symmetry actions, and orbifold-stratum reduction.
The manuscript proof trail extends beyond the machine-checked release. Lean verifies ten explicitly manifested discrete contracts, not the whole paper, the general gap-period/support theorem, or the visualization data.
Historical companions
These March documents predate the reviewed September manuscript. Their quotient language, gap/order distinction, stabilizer discussion and fiber counts have not yet received the same alignment pass. Use the maintained proof paper where the accounts diverge.
Historical · General audience
The Shape of Musical Possibility — Camera-ready volume
Historical March 2026 three-essay collection; not yet aligned with the reviewed September manuscript.
Needs alignment pass · Public essay collection
Historical · Academic
Layered musical space — technical survey
Historical interdisciplinary survey of the layered content/order construction, pending alignment with the reviewed September manuscript.
Superseded pending revision · Bridge document; do not cite as final