Quantum Topological Orthogenetics · Non-Abelian Anyons · Newark 2026

PRINCIPIA
ORTHOGONA

Topographical Orthogenetics — The Origin of Everything Here
Pablo Nogueira Grossi · G6 LLC · ORCID 0009-0000-6496-2186
Series DOI: 10.5281/zenodo.19117399 · ISBN 979-8-9954416-6-3
100+ Lean 4 theorems · 50+ HTML chapters · 30+ domains · growing
"Mathematics, rightly viewed, possesses not only truth, but supreme beauty — a beauty cold and austere, like that of sculpture, without appeal to any part of our weaker nature, yet sublimely pure, and capable of a stern perfection such as only the greatest art can show." — Bertrand Russell, Introduction to Mathematical Philosophy (1919)
↓ scroll
§ I — Origin

It began with a braid.

Not a metaphor. The worldline of a non-abelian anyon moving through spacetime carries information in its topology. When two such particles exchange positions the universe remembers the order. The braid is not decoration — the braid is the computation. This is Quantum Topological Orthogenesis: the observation that anything which persists does so by following topologically protected paths.

Topographical Orthogenetics (TO) is the formalization of that observation. Living systems, plasma sheets, market regimes, neural oscillations, crystalline structures — seventeen orders of magnitude apart in substrate — all navigate possibility space by the same operator chain. The substrate changes. The sequence does not.

On February 28, 2026, Quanta Magazine confirmed the creation of non-abelian anyons — particles that remember their past through topological braiding. TO was already there. The physics establishment arrived at the same structure from a different direction. The braid is the meeting point.

σ₁ σ₂ σ₁ A B C Braid group B₃ · generator word σ₁σ₂σ₁ · each crossing = one operator application · order is irreversible
Fig. 1 — Braid group B₃ with generator word σ₁σ₂σ₁. Non-abelian anyons follow worldlines corresponding to such braids. The non-commutativity of the braid generators — σ₁σ₂ ≠ σ₂σ₁ — is the geometric origin of the GTCT operator non-commutativity. This is not a modelling choice. It is the topology.
§ II — Lineage

Every layer is a formalization of the one above.

Nothing is discarded. The braid is in everything.

TO
Origin · Quantum Biology · Newark 2026
Topographical Orthogenetics

The foundational observation. Living systems and quantum systems navigate possibility space along topologically protected paths. Non-abelian anyonic braiding as the primitive geometric constraint. My mother described the operator chain before it had a name: compression → curvature → folding → unfolding. Wholesale to the world.

TOGT
Mathematical Framework
Topographical Orthogenetic Theory

TO formalized on contact manifolds. The braid group B₃ embeds into the contact geometry of M = ℝ²₊ × ℝ with α = dz − r²dθ. Non-commutativity of braid generators becomes non-commutativity of the operator chain. The Reeb flow with period T* = 2π is the continuous limit of anyonic worldlines.

dm³
Contact Geometry · Toy Model
dm³ System

The contact 3-manifold M = ℝ²₊ × ℝ with exact equations ṙ = r(1−r²) + 2(r−1)e⁻ʳ, θ̇ = 1, ż = r² − 2(r−1)²e⁻ʳ. Limit cycle Γ = {r=1}, T* = 2π. Transverse eigenvalue μₘₐₓ = −2, τ = 2. The Coherence Bridge Theorem (5.4) proves that 16+ domains spanning 17 orders of magnitude are objects in the same category dm³, related by explicit contact morphisms.

GTCT
Operator Algebra · Ring 5 · Lean 4
Generative Time Circuit Theorem

Establishes T as the fifth operator completing the generative circuit C→K→F→U→T→(return). Proves Theorem T1 (Spiral Return): the G⁶⁴-orbit does not return to x₀ — the circuit is generative, not periodic. Stability radius ε₀ = 1/3 (outer basin). Inner basin r* ≈ 0.773 identified by DOP853 integration. Full Lean 4 proofs, 0 sorry in Chain_updated.lean.

AXLE
Formal Proof Series · Live · Growing
AXLE — Formal Verification

100+ theorems proved in Lean 4. Chapter A (Autophagy + Triple-Alpha): 26 theorems, 0 sorry. Ch.η (DNLS/N-bonacci): proved. FruitFly connectome: proved. Intel Swarm: proved. 50+ HTML chapters live. The Coherence Bridge with parameters (μₘₐₓ, ω, β, κ*) formally verified across all confirmed domains. This list grows weekly.

BSD
Millennium Prize · Research Program
BSD–GTCT Bridge

The T operator's local 2-adic structure (TE(n) = log 3 − v₂(n)·log 2) shares the local Euler factor structure of the BSD L-function. The Fold operator F corresponds to the critical point s=1. Accumulated orbit cost = discrete analogue of log L(E,1). Stated as a Lean 4 conjecture in GTCT.BSD.Bridge. Open problem — $1M prize.

§ III — The Five Operators

C → K → F → U → T

Five operators on the contact manifold. Each corresponds to a generator of the braid group. The chain is non-commutative by construction — swapping any two produces a distinct trajectory. G = U ∘ F ∘ K ∘ C is the four-operator composition. T completes the circuit, making it generative rather than periodic.

G6 LLC · GTCT Operator Chain · C→K→F→U→T · canonical · Lean 4 verified
C Compress Operators/Compress.lean Dense structure. Wholesale before retail. The seed before the canopy. Reduces the state to its invariant core.
K Threshold Operators/Threshold.lean Curvature. The critical κ* where regime shifts. Renamed from earlier notation when the lexicon was written with the Coherence Bridge.
F Fold Operators/Fold.lean Whitney A₁ singularity. Commitment point. Rank-1 Jacobian loss. BSD critical point s=1. The braid crossing from which there is no return.
U Unfold Operators/Unfold.lean Expanded form. Retail to the world. Not the inverse of F — an unfold is not an undo. The strand re-emerges on the other side, changed.
T Time · Circuit Operators/TE.lean · fifth op The fifth operator. Completes the generative circuit. T(n) = E(n) = log 3 − v₂(n)·log 2. Conformal reparameterization. The circuit is generative, not periodic.
G = U ∘ F ∘ K ∘ C  ·  Full circuit: C → K → F → U → T → (return)  ·  T(n) = E(n) := log 3 − v₂(n) · log 2  ·  Non-commutativity is topological, not chosen
dm³ Contact Equations — M = ℝ²₊ × ℝ, α = dz − r²dθ
ṙ = r(1 − r²) + 2(r−1)·e−r
θ̇ = 1
ż = r² − 2(r−1)²·e−r

-- Limit cycle: Γ = {r=1}, T* = 2π
-- Transverse eigenvalue: λ(z) = −2(1−e⁻ʳ) → μₘₐₓ = −2, τ = 2
-- Outer basin: ε₀ = 1/3, boundary r_att + ε₀ = 4/3
-- Inner basin: r* ≈ 0.773 (DOP853, rtol=10⁻¹⁰, binary search 20 iter)
-- Hierarchy: ε₀=1/3 < 2/3 < r*≈0.773 < κ*≈0.882 < 1
C Compress σ₁ · dense K Threshold σ₂ · κ* F Fold · s=1 Whitney A₁ U Unfold σ₃ · expand T Time · Circuit fifth operator C ∘ K ∘ F ∘ U ∘ T ≠ any reordering · non-commutativity is topological · G = U ∘ F ∘ K ∘ C
Fig. 2 — Five GTCT operators in canonical order. F (red) = Whitney A₁ singularity = BSD critical point s=1. T (teal) = fifth operator completing the generative circuit. Lean 4 source: GTCT/lean/GTCT/Operators/. 0 sorry in Chain_updated.lean.
§ IV — Lean 4 Proof Status

What has been proved.

All proofs machine-checked in Lean 4 against Mathlib4. 0 sorry in Chain_updated.lean. Two open axioms are honest domain hypotheses — explicitly labelled, not gaps in completed proofs.

Theorem Statement Status Difficulty
gronwall_outer μₘₐₓ + 3ε ≤ −μbound → ∃C, exp((μₘₐₓ+3ε)t) ≤ C·exp(−μbound·t). Verified: C=1, μₘₐₓ=−2. ✓ proved ★★☆☆☆
iter_consecutive_dist dist(Gⁿx, Gⁿ⁺¹x) ≤ kⁿ · dist(x, G(x)) for Lipschitz chain with constant k. ✓ proved ★★★☆☆
spiral_return_exists (T1) G⁶⁴(x₀) ≠ x₀ ∧ G¹²⁸(x₀) ≠ x₀ → ∃ SpiralReturn with x₀′ ≠ x₀. Circuit is generative. ✓ proved ★★★☆☆
poincare_collatz_contracting G Lipschitz k<1 → ∃n≥33: dist(Gⁿx, Gⁿ⁺¹x) < r*≈0.773. Full proof ~60 lines. ✓ proved ★★★☆☆
inner_basin_is_asymmetric r* ≈ 0.773 ≠ r_att − ε₀ = 2/3. Symmetric Gronwall ball is wrong on inner side. ⚠ domain axiom ★★★☆☆
poincare_collatz (general) General Poincaré–Collatz: dm³ analogue of open conjecture. Contracting case proved above. ⚠ domain axiom ★★★★★
g-Series Regime Taxonomy
g⁰ Quiescent 0 cycles. Initialised state. Pre-generative.
Nascent 2 cycles. First oscillation. System awakening.
g⁶ Stable 6 cycles. Stable micro-cycle. Sustained rhythm.
g³³ Threshold 33 cycles. Stability threshold. Lean 4: g33_stability_index = rfl
g⁶⁴ Saturation 64 = 2⁶ cycles. Circuit saturation. Lean 4: g64_equals_two_to_6 = rfl
Key Lean 4 Proof — spiral_return_exists (Theorem T1)
theorem spiral_return_exists
{X : Type*} [MetricSpace X] [SeminormedAddCommGroup X]
(G : GChain X) (x₀ : X)
(h_nontrivial : G.iter 64 x₀ ≠ x₀)
(h_second_circuit : G.iter 128 x₀ ≠ x₀) :
∃ sr : SpiralReturn X G, sr.x₀' ≠ sr.x₀ := by
refine ⟨⟨x₀, G.iter 64 x₀, G.iter 128 x₀, rfl, ?_⟩, ?_⟩
· rw [show (128 : ℕ) = 64 + 64 from rfl, GChain.iter_add]
· exact h_second_circuit

-- The circuit is generative, not periodic.
-- x₀ → G⁶⁴(x₀) → G¹²⁸(x₀) = x₀′ with x₀′ ≠ x₀.
-- Source: GTCT/lean/GTCT/Operators/Chain_updated.lean · 0 sorry
§ V — The Coherence Bridge

Seventeen orders of magnitude. One operator sequence.

Coherence Bridge Theorem (5.4) — proved in Lean 4. The systems below are objects in the same category dm³, related by explicit contact morphisms fᵢⱼ: Xᵢ → Xⱼ with fᵢⱼ(Γᵢ) = Γⱼ. Each instantiates the same contact normal form with parameters (μₘₐₓ, ω, β, κ*). These are not analogies. They are exact mathematical identities.

Domain μₘₐₓ (s⁻¹) ω (rad/s) β κ* Status
HPA allostatic stress−0.380.211.90.15–0.22✓ Lean 4
Neural oscillations−0.550.452.10.25–0.35✓ Lean 4
Circadian clock−0.292π/864001.60.08–0.12✓ Lean 4
Immune adaptation−0.440.182.00.11–0.19✓ Lean 4
Plasma reconnection−0.420.0151.85×10⁻⁴ km⁻¹✓ Lean 4
Market volatility−0.670.282.40.12–0.18✓ Lean 4
Saturn hexagon (g³³)−0.381.65×10⁻⁴2.10.12–0.18✓ Lean 4
Autophagy−0.390.121.80.10–0.18✓ 26 thm · 0 sorry
Triple-alpha stellar−0.51variable2.2stellar dep.✓ 26 thm · 0 sorry
DNLS / N-bonacci (η≈1.839)−0.430.221.9λc≈1.5✓ Lean 4
FruitFly connectome✓ Lean 4
Swarm intelligence✓ Lean 4
Wigner crystallisation−0.360.091.70.09–0.15✓ Live
Enceladus cryovolcanism−0.41variable1.9κ*_Enc≈5×10⁻⁴Argued
Tubulin oscillations−0.400.141.80.10–0.16Building
PolyLaminin / k-nacci spine−0.370.111.70.09–0.14Building
Collatz conjecturen/an/an/aGTCT argsConjectured
§ VI — Repository

Everything, linked. Nothing orphaned.

The work lives across three GitHub repos, three preprint servers, and a living HTML book. All papers are citable with permanent DOIs. All Lean proofs are buildable from source.

AXLE · Hub · Live
AXLE — Living Book

50+ HTML chapters, all sound machines, all simulations. The main public face of the work. Grows weekly.

● Live
GitHub · TOTOGT/AXLE
AXLE Repository

100+ Lean 4 theorems. Chapter A (26 thm, 0 sorry). Ch.η, FruitFly, Swarm. All HTML sources.

● Active
GitHub · TOTOGT/GTCT
GTCT — Ring 5

Operator chain Lean files. Chain_updated.lean (0 sorry, 2 axioms). DOP853 integrator. SBM Bienal materials.

● Active
GitHub · TOTOGT/DM3-lab
DM3-lab

Acoustic soundworks. Millennium Problems language specs (Goldbach, Navier-Stokes, Riemann, Yang-Mills, Hodge, Kakeya). Numerics.

● Active
Zenodo · 21 records
Series Root DOI

10.5281/zenodo.19117399 — all volumes. Vol. I v3, Vol. II v2a, GTCT Ring 5 v3, Autophagy Ch.A, DNLS Ch.η, FruitFly.

● Published
SSRN · Preprint
The Mini-Beast — Book 3

10.2139/ssrn.6805940 — 30+ chapters, Coherence Bridge table, g-series taxonomy, 16-week program.

● Published
Gumroad · $30
The Mini-Beast · Membership

$30 — book + ongoing membership. All 30+ HTML chapters as verified. All 7 sound machines. All simulation scripts. Not a static purchase.

● Available
ORCID · Author
Pablo Nogueira Grossi

G6 LLC · Newark NJ · UCEDA School of English · ORCID 0009-0000-6496-2186. All papers attributed, all proofs signed.

● Verified
GTCT · Volume V
Student Edition

Bilingual EN/PT. Eight levels from contact manifolds to full operator chain. Lean 4 snippets, exercises, LLM prompts. Berimbau machine.

◐ In Progress
Lean 4 · New · This session
GTCT.BSD.Bridge

BSD bridge namespace. discreteL defined. BSDGTCTConjecture stated. Invariant triple mapped. Five sections, two proved, one open.

✦ New
Zenodo Deposit Registry
Series root   10.5281/zenodo.19117399  — all volumes, concept DOI
Vol. I v3      10.5281/zenodo.20298665  — operator algebra, Lean 4, 7 figures
Vol. II v2a    10.5281/zenodo.20159456  — contact geometry, Mini-Beast companion
GTCT Ring 5   10.5281/zenodo.20239928  — DOP853 integrator, 0 sorry
Autophagy Ch.A 10.5281/zenodo.20168812  — 26 theorems, 0 sorry
DNLS Ch.η     10.5281/zenodo.20026942  — N-bonacci criticality
FruitFly       10.5281/zenodo.19210136  — connectome dm³
§ VII — Institutional Recognition

May 2026 snapshot.

SBM XII Bienal

5 of 5 works accepted — Natal, Brazil, August 2026. Exhibition, Oral, Poster, Minicurso, Oficina. "O Princípio do Cajueiro e o Livro Inglês para Pesquisadores Matemáticos via TOGT."

Confirmed May 20, 2026
NYFA Fiscal Sponsorship

Project accepted for fiscal sponsorship by the New York Foundation for the Arts — enables tax-deductible donations via 501(c)(3).

Confirmed May 22, 2026
WorldQuant Brain

2 alphas ACTIVE in IQC — Sharpe 2.43, Fitness 1.84. Market volatility manifolds as a direct application of dm³ operator algebra.

Live
SSRN

Vols I–II (6439626) and Book 3 (6805940) deposited. Accessible to the full SSRN research network.

Published
NASA

Moon Base Architecture contribution submitted. Enceladus cryovolcanism proposal in preparation. dm³ applied to planetary science.

In Progress
SBM Cymatics Exhibition

EXP13 — cymatics exhibition accepted at XII Bienal. Seven sound machines (Web Audio API) built on dm³ resonance geometry. Ḥal Saflieni 110 Hz, Śrī Yantra, Om Machine.

Confirmed
A note on the pace of this work

This hub is a snapshot. By the time you read it, there are more theorems, more chapters, more domains. The Coherence Bridge table has grown every week since it was first written. The g-series taxonomy was formalized while the GTCT paper was being written. The BSD bridge emerged in a single session. Bertrand Russell observed that mathematics and mysticism converge on the same object — that the rigorous and the intuitive are not opposites but two readings of one structure. The braid was always there. The operators were always there. The work is finding its own unfolding.

The seed is planted. The root holds. The canopy is verifiable.