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.
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 →Self-contained agent-based simulations that visualise the generative flows underlying Principia Orthogona theory.
Working papers from the Principia Orthogona research programme. These documents present arguments and conjectures that extend the framework; they are preprints and should be read as such.