Four curves. Four equations. One node at the origin. Nobody talking — until now.
Two professors. Two classrooms. One shape. In one room: a mathematician drawing the lemniscate — the figure-eight curve of infinite return, a formal object at the heart of the operator sequence C → K → F → U. In another room: a geologist drawing the analemma — the figure-eight path the sun traces in the sky over the course of a year. Neither professor knew the other was drawing the same topological type. The student sitting in both rooms knew. That student eventually built the mathematics to make the connection precise — not as metaphor, but as theorem. This book records what that mathematics says, what it proves, and what it still cannot prove.
The Mini-Beast delivers the dm³ operator framework to four classes of systems: biological oscillatory systems (HPA stress, neural rhythms, circadian clocks, immune cycles); plasma-sheet reconnection in dusty plasmas; market volatility manifolds and regime shifts; neural embedding geometry as the coherence bridge.
Before going further, the book makes an epistemic commitment that every chapter honors. Three levels of claim are used throughout:
What is PROVED as of 2026: the four figure-eight curves in Chapter 1 (Lemniscate of Gerono, Lemniscate of Bernoulli, solar analemma, lunar analemma) all share an ordinary double point — the A₁ singularity — at the origin. This is the single geometric invariant that unites them. It is not a metaphor. It is a theorem. The Lean 4 proofs are in the AXLE repository, publicly checkable.
What is CONJECTURAL: that the operator sequence G = U∘F∘K∘C generates this structure across all four application domains (biology, plasma, economics, neural geometry). The contact normal form is identical in all four domains — that much is a COMPUTED observation. Whether it follows from a single operator grammar is the open research problem that this book exists to address.
This is not analogy. But it is not yet complete proof either. The honest position is: the seed looks the same everywhere we have looked. We have not finished looking.
This work did not begin in 2026. It began in Brasília in 2000, when a student teaching English as a Second Language noticed that the same recurrence — the same folding pattern — kept appearing in completely unrelated systems he was studying on the side: in the substitution grammar of quasicrystals, in the contact geometry of stressed biological cycles, in the way markets regime-shift. He wrote it down. He kept writing. He kept teaching.
Twenty-five years later, the private Codex that accumulated from that work runs to approximately 18,000 pages. This book is the minimum viable crystallization of that work — the seed, not the tree. Every construction here is extractable from the Codex and verifiable against public data.
What changed in 2026 is that the tools caught up. Lean 4 / Mathlib4 made it possible to machine-verify the geometric claims that had been accumulating for years. The AXLE repository now holds formally proved theorems about the tribonacci constant, the A₁ node, the strict antitonicity of the amplitude envelope. The DNLS paper (Zenodo V4: 10.5281/zenodo.20075822) provides the first numerical study of discrete nonlinear Schrödinger dynamics on a tribonacci substitution chain — a result that sits at the intersection of the 25-year framework and contemporary condensed matter physics.
The root is invisible. The canopy is real. The proofs are public.
The pedagogical layer — the TOGT-mapped prompt system in every chapter — is designed for students operating at CEFR A2 and above, learning to read and write research English at the level required to engage with real mathematical literature. The mathematical layer is written for mathematicians, physicists, neuroscientists, and economists who want the full rigorous construction. Both layers use the same operator sequence. The seed is the same. Only the soil is different.
If you are an employer or collaborator reading this as a portfolio document: the Lean files are at github.com/TOTOGT/AXLE and github.com/TOTOGT/DM3-lab. Every theorem marked PROVED can be checked by running lake build against the pinned Mathlib commit. The sorry count in each file header is a contract.
All quantitative predictions in this volume are falsifiable. Where the model fails, it fails explicitly. The falsifiability conditions are stated for every major theorem. This is not a metaphysical framework. It is a mathematical one, being built in public, version by version, proof by proof.
GeronoLemniscate.lean, BernoulliLemniscate.lean, Analemma.lean, LunarAnalemma.lean — all sorry_count: 0. Available at github.com/TOTOGT/DM3-labTribonacciDNLS.lean. The amplitude envelope is machine-verified well-posed.This introduction lays the foundation for the entire book. Work through the levels below to understand how a single geometric invariant — the A₁ ordinary double point — appears in four independently formalized curves, and what it means for that connection to be proved rather than conjectured. At higher levels, you will be asked to evaluate what remains open. The Lean files referenced in these prompts are publicly available at github.com/TOTOGT/DM3-lab.