An independent open research program exploring whether one constrained formal kernel can support a unified model of mathematics, physics, life, and metaphysics.
Seven books. One master constant. Zero free parameters. Every claim typed. Every derivation machine-checked. Every prediction publicly inspectable.
- Website: panta-rhei.site
- Contact: contact@panta-rhei.site
- Discussions: Organization discussions
| Repository | Role |
|---|---|
| site | Canonical public website / Atlas at panta-rhei.site |
| taulib | Live Lean 4 formalization — 450 modules, 125K lines, 4,332 theorems |
| books | Canonical publication + archival home — editions, guided tours, frozen snapshots |
| research | Active contributor workspace — notebooks, scripts, explorations |
| community | Community hub — onboarding, contribution guidance, discussions |
The program develops Category τ — a categorical framework built from five generators, seven axioms, and one operator. From this kernel, it derives:
- Mathematics (Books I–III): foundations, holomorphy, the Millennium Problems
- Physics (Books IV–V): quantum mechanics, particle physics, gravity, cosmology — zero free parameters
- Life (Book VI): life as self-decoding distinctions, the genetic code, evolution
- Metaphysics (Book VII): ontology, ethics, consciousness, the Logos sector
The master constant ι_τ = 2/(π + e) governs all quantitative predictions. The decisive near-term test: CMB-S4 will measure the tensor-to-scalar ratio r. If r is inconsistent with ι_τ⁴, the framework's cosmological predictions fail.
- TauLib — 450 Lean 4 modules, 0 sorry in Books I–VI, 3 intentional methodological sorry in Book VII
- Registry — 4,547 objects with typed dependency graphs
- 220+ quantitative predictions — each with explicit precision and falsification routes
- Formalization: taulib — explore, verify, contribute
- Research: research — notebooks, scripts, explorations
- Community: community — onboarding, discussions, governance
Panta Rhei — Everything Flows.