Discover Homepage Canonical An open research program for a coherent theory of reality.

Panta Rhei Research Program · v4 release

A coherent theory of reality, built in public — inspectable before it is believed.

An independent open research program, published as an inspectable public observatory. The work spans foundational mathematics, physics, the categorical structure of life processes, and the philosophy of mind — developed as one unified construction. Read carefully. Challenge weak links.

v4.0 · manifest 07ea80a · 2 May 2026

What the formal layer currently exposes

The formalization is real, public, and auditable

TauLib · v4.0 release manifest · 07ea80a

512 Lean 4 modules
4,863 Theorems & lemmas
0 Sorry assignments
3 Custom axioms · Book III

Pinned · sharp budget · public source · auditable today

Formal checking is not empirical truth. The bridge to observation, measurement, and domain testing remains the empirical-accountability question — and is treated as such across the site. But the formal layer itself is real, public, and auditable today.

The research observatory at a glance

Panta Rhei at a glance

Release snapshot · drawn from the manifest, not the prose

v4.0 Public release
2 May Last manifest update
07ea80a Manifest hash · atlas
4.28.0-rc1 Lean toolchain
0 Sorry budget

Every public count on this site resolves through the release manifest — open the manifest to inspect every entry.

First-contact questions · before depth

Five questions before you choose where to read

  1. What is this, in one sentence?
  2. Is this claiming to be proven?
  3. Is it peer-reviewed?
  4. Who is behind it?
  5. Is this a theory of everything?

All 73 FAQ entries →

Index of lanes · 00 – 07

Different readers should not have to start in the same place

  1. 00 Discover A guided first route — orientation before depth.
  2. 01 Program Identity, doctrine, scope, founders, scrutiny posture.
  3. 02 Agenda Obligations — what must be asked, recovered, refused.
  4. 03 Corpus Construction Spine, Monograph Corpus, Registry, TauLib.
  5. 04 Results Landmark Results, World Readouts, Challenge Responses.
  6. 05 Verify Inspection routes — formal, empirical, bridge, falsification.
  7. 06 Impact Conditional relevance — what could matter if Results hold.
  8. 07 Engage Open scrutiny, public questions, correction routes.

Flagship results

Concrete claims before broad interpretation

Foundational hinge · H3 · master constant

ιτ = 2 / (π + e)
≈ 0.341 304
Precision · 6 sf Review target Corpus-linked

Downstream physics claims remain bridge claims

The quantitative physics surface is organised around this master constant. The current public release treats it as a review target, not a rhetorical shortcut: the constant has a dedicated research paper, a Corpus foundational-hinge page (H3), a scalar-readout route through Construction Spine Step 2, Registry anchors, and TauLib evidence. Downstream physics claims remain bridge and empirical-accountability claims, but the master-constant question now has a direct public review path.

The program presents 255 typed result pages, 67 quantitative predictions, and 30 named falsification tests — with full pre-registration accounting distinguishing post-dictions, tension-side commitments, and forward forbiddances. These are not all equivalent in status; the site makes status, verification route, and external-acceptance boundaries visible at the page level.

How the system works

One research program, several public surfaces

Agenda states the burden: Core Semantics, Structural Challenge Ledger, answer-shape discipline, refusals, and Construction Roadmap. Corpus carries the construction: Construction Spine, Monograph Corpus, Registry, TauLib projection, and dependency graph. Results presents current consequence surfaces: Landmark Results, World Readouts, Challenge Responses, Core Semantics Status, and Progress Against Agenda. Verify exposes formal, empirical, bridge, falsification, and assessment routes. Publications preserve the stable artifact and release shelf.

AgendaCore Semantics, Structural Challenge Ledger, answer-shape discipline, refusals, and Construction Roadmap.
KernelFive generators, one progression operator, and the K0–K6 structural commitments, with the foundational-hinge route.
CorpusConstruction Spine, Monograph Corpus, Registry, foundational hinges, TauLib projection, and dependency graph.
TauLibPinned Lean 4 formalization with a sharp axiom and sorry budget in Book III bridge territory — see the TauLib marquee above for the current release counts.
ResultsLandmark Results, World Readouts, Challenge Responses, Core Semantics Status, and Progress Against Agenda.
VerifyRelease Manifest, inspection routes, prediction timing, falsification pack, and TCB disclosure.
Publicationsresearch monographs, research papers, supplements, notes, briefings, white papers, release artifacts, and errata.

Public inspectability

The site asks to be checked, not simply believed

World readout · τ-totality

Four strata, one program

Artifacts & releases

Publications

The public release surface is more than the monographs. Below is the artefact set the program publishes for inspection — pinned by release manifest, organised as a bibliography.

  1. Vol. I Anchor Documents Pinned · review-ready
  2. Vol. II Research Monographs Seven books · v4
  3. Vol. III Monograph Supplements Numerical ledgers · derivations
  4. Vol. IV Research Papers Including the Master Constant paper
  5. Vol. V Research Notes Short, dated, hypothesis-grade
  6. Vol. VI Research Briefings Public-Good portfolio · domain readouts
  7. Vol. VII TauLib Lean 4 formalization · pinned
  8. Vol. VIII Release Artifacts Manifests · cross-repo provenance
  9. Vol. IX Errata Append-only corrections

Browse all publications →  ·  How to cite →

Stay in inspection range

Add yourself to the dispatch list

Get new Panta Rhei publication releases by email — research notes, monograph supplements, white papers, and release manifests. Sent irregularly, only when there is something substantial to record.

Subscription is handled by Buttondown with confirmation by email (double opt-in). You can unsubscribe at any time. See our privacy notice.