Ocean. Mangrove. The first stable root before the canopy.
Eight archaeoacoustic frequencies. Synthesized in-browser.
The cajueiro de Pirangi — 20 km from the UFRN campus in Natal — covers more than 8,500 m² from a single trunk. Its branches touch the ground, re-root, and become new trunks. One organism. This is not a metaphor for the machine. It is the machine.
The dm³ soundworks synthesizes the acoustic environment where the cajueiro lives: the Atlantic mangue, tidal rhythms, the resonance frequencies documented from Malta to Giza to Chartres. All generated in-browser. No samples. Runs offline.
C → K → F → U → ∞ · the operator runs in the sound
The dm³ system — helical attractors on contact 3-manifolds — is formally verified in Lean 4 / Mathlib4 with zero axioms beyond the library. This soundworks machine is its acoustic instantiation.
Submitted to the XII Bienal da Sociedade Brasileira de Matemática, UFRN, Natal-RN, 3–7 agosto 2026. Minicurso: Atratores Helicoidais em Variedades de Contato.
Zenodo: 10.5281/zenodo.19117400
github.com/TOTOGT/AXLE · github.com/TOTOGT/GTCT
ORCID: 0009-0000-6496-2186