The complete series in Generative Temporal Contact Theory. Five volumes. Five complete orbits of the operator G. From abstract algebra to formal machine-verified proof. The series is its own fixed point.
AXLE v6.1 · 0 axioms beyond Mathlib4 · 8 verified constants · Lean 4
Each volume is a complete orbit around the same fixed point. You do not need to have read the others to use any one. The series is a circuit, not a staircase. G applied to itself five times is Complete Completeness.
Note: g₃₃ (threshold invariant) and G⁶ (sixth operator application, open conjecture) both involve 33 — they are distinct mathematical objects.
The series defines a precise pathway: from first contact with language through individual mastery to collective dimensional threshold. D2 is not a metaphor. It is a mathematically verified threshold: Θ = g₃₃ + N × M.
"Your education is yours. No one can take it away from you."— Pablo Nogueira Grossi, Newark NJ · The Seed (Principia Orthogona Vol V)
AXLE (Automated eXtensible Lean Engine) is the formal verification backbone of Principia Orthogona. All 8 structural constants are machine-verified in Lean 4 + Mathlib4, with zero additional axioms. The mathematics is honest: 9 open problems are named precisely as sorrys — each a conjecture with a known missing lemma, not an evasion.
Paid access to structured LLM prompts that guide you from A1/A2 through C1 to D1 and D2. Each level is a complete operator orbit. The threshold is mathematical. You will know when you cross it.
Enter the Portal →Five diagrams covering the operator sequence, Saturn's hexagon as canonical instantiation, the Coherence Bridge across domains, the Collatz conjecture as dm³ system, and the full application map. All available on GitHub.
⚠ If diagrams show as blank: the SVG files must be committed to the AXLE repo alongside this page. Paths expected: ./01_operator_sequence.svg through ./05_domain_map.svg.
G = U ∘ F ∘ K ∘ C — The four-operator sequence
Saturn's north polar hexagon — canonical dm³ instantiation
Coherence Bridge — exact morphisms across 6 domains
Collatz conjecture as dm³ system — AXLE Target 5
Application domain map — 20+ fields
All papers are freely available. Cite via DOI. Each paper is a self-contained contribution — you do not need the full series to read any one paper.