Research · September 2026

From a checked foundation to a playable idea.

What would help a musician carry an inwardly heard phrase into sound, while keeping its character through change?

GAMUT approaches that question through mathematics, listening and instrument design. Its first Lean proof release checks specific relationships between pitch collections, ordered patterns and Fourier representations. The next challenge is to make those relationships useful to a performer.

A historical strand asks how musical ideas take form within lives, working practices and institutions. The first Mozart dossier brings documents and scores into that inquiry, with its own standards of evidence.

The current evidence

What the current evidence establishes.

Machine-checked

A discrete foundation in Lean

Ten proof contracts cover reconstruction from a root and directed gaps, ordering counts, finite complex Fourier identities, layered injectivity and exact representation-boundary examples. The release also certifies the established count of 223 nonempty twelve-tone set classes under transposition and inversion.

The manifest names 256 required exports. The model concerns rooted cyclic tuples of distinct pitch classes; repeated notes, register, timing and expressive performance need additional representations.

Read the proof manifest · Trust and validation

Manuscript derivations

A reviewed geometric construction

The September manuscripts distinguish finite ordering sets from a continuous ambient space with a chosen weighted symplectic form. They state the conditions for reconstruction, symmetry actions and reduction.

The full mathematical and prose review was AI-assisted. It is not journal peer review. The higher geometry and general gap-period/support theorem remain outside the Lean release.

Current paper and download · Review record

Open investigation

Musical usefulness

The explorer makes pitch-class relationships available for inspection. Its sampled orderings and projected distances are not a certificate of perceptual similarity or a complete map of musical expression.

Whether these representations help someone hear, play or compose is a separate question for listening studies and performer trials. No instrument proposal has yet demonstrated that benefit.

Musical utility agenda · Try the explorer

What does a proof preserve?

A list of pitches and a list of intervals do not answer the same question. With a starting pitch and suitable closure and distinctness conditions, directed cyclic gaps recover an ordered pattern. A full complex order spectrum also determines that pattern. Spectral magnitudes alone generally discard information.

This gives an instrument designer a precise starting point: know what an operation preserves and what a view leaves out. It does not establish that the preserved information is everything a musician cares about.

The musical question

Keep the phrase alive through its transformations.

The project grew from sustained attention to John Coltrane: the sense that a musical idea can move through geometric relationships while retaining a force and identity that exceed a diagram. The practical ambition is expressive continuity—less conscious translation between what a performer conceives, does and hears.

That ambition includes timing, breath, articulation, timbre, memory and interaction with other players. A pitch-class model makes some relationships exact by leaving many of these features out. A useful instrument must keep access to the richer performance, and let the musician hear and reverse its transformations.

Coltrane at Antibes: continuity through change

The source study centers on the quartet's performance of A Love Supreme at Juan-les-Pins on 26 July 1965. It frames questions about recurrence, expansion and ensemble interaction: what makes a return recognizable when its timing, energy and surroundings change?

The dossier distinguishes recording releases and published accounts. It is source research and a listening plan, not a completed close listening analysis. Read the Antibes study and sources.

Bruckner: the time it takes for a return to matter

The initial Bruckner studies propose the Eighth Symphony's Adagio and the Fifth's finale as cases for long-range memory, layered voices and changed returns. They ask how an instrument might help a musician shape a larger span without reducing its meaning to a local chord or symmetry.

Score versions and recording provenance are part of the work. Direct listening and complete score comparison remain ahead. Read the Bruckner study and sources.

GAMUT Histories

Lives, practices, and musical meaning.

How does music become possible, meaningful and transmissible in particular human circumstances? Historical work follows the people, instruments, institutions and later interpretations through which musical ideas take form.

Letters, editions and score passages support different claims from mathematical proofs. This strand has value on its own; connections to GAMUT’s wider theory and instrument work will grow from particular findings.

First dossier · Research draft · September 2026

Mozart: three works around 26 June 1788

K. 543, K. 545 and K. 546 bring orchestral writing, a keyboard sonata for beginners and an adapted fugue into one documentary cluster. What can that proximity establish about musical variety—and what can it tell us about private experience?

Source and score research are recorded. Direct comparative listening and targeted archival checks remain open; the listening worksheet identifies the next comparison.

Read the Mozart dossier

The build sequence

Begin with one performer and one musical task.

Establish the example. Choose a musical task, input and familiar comparison workflow; complete source-specific listening notes and preserve the original performance.
Prototype phrase transformation. Let a musician audition and reverse a small set of operations. Include the repeated notes, timing, register and voices that the chosen task requires.
Test expressive control. Compare task success, latency, learnability and agency with the baseline. Mathematical elegance alone is not the success criterion.
Extend what earns its place. Develop new proofs for stable representation contracts, then consider personal gesture/timbre control and longer-range form/memory tools as evidence warrants.

These are proposed instruments, not current features. The immediate aim is a controllable, audible relationship between intention and sound; direct decoding of imagined music has not been demonstrated here.

Study protocol and evaluation criteria

Current work and open questions

The discrete proof release and the site’s navigation and explorer improvements are in place. The next research steps are a concrete performer task, direct source listening, and review of the Mozart dossier. Broader accessibility checks and the historical harmony-label audit also remain open.

A future public series

The Instrument Within is the working title for a proposed six-essay series for The Eschatology Report. Drafting has begun, with the first installments under author review. It is separate from the introductory essays and technical companion already collected on this site.