Results Introduction

The Results lane of the Panta Rhei Research Program does not begin, in the first instance, with a list of isolated claims. It begins with a prior question:

What kind of thing must exist before a corpus of assertions can count, in the program’s own terms, as a corpus of results?

The short answer — the one the rest of the lane unpacks — is this. The framework takes two inputs: one algebraic posit (the master constant ι_τ = 2/(π + e) ≈ 0.341304) and one SI measurement (the neutron mass m_n). From those two inputs a Calibration Cascade records the dependency overlay for what the Results lane tests. L0 is pure algebra. L1 is dimensionless ratios, mixing angles, and couplings. L2 is the anchor and mass-ratio layer. L3 is SI readout / unit realization. L4 is the verification and falsification surface. The public page keeps this as a source-mapped, unit-context-aware overlay rather than an unqualified ontology.

That is the shape of the architectural spine. But before the spine carries any numerical weight, something else must first exist.

The site contains two very different but related layers. One layer is the Result Catalogue: the large and growing collection of individual result pages, each tied to recognized problems, internal theorem clusters, or consequence-level readouts. The other layer is prior to the catalogue: it asks why the framework itself qualifies as a legitimate result-bearing object.

This introduction answers that prior question. It explains how the framework first exists: not yet as a public theory of reality, but as a materialized formal system implemented over Lean 4 and the Calculus of Inductive Constructions. This is the first epistemic stance of the program and the first admissible inspection layer — the precondition for the cascade having anything real to compile.

Once that stance is established, the four world-readout clusters describe what each enrichment layer yields:

• Mathematics World Readout (E₀) — the shape of mathematics in Tau, what it makes true, and self-enrichment
• Physics World Readout (E₁) — the physical world from substrate through cosmology
• Life World Readout (E₂) — life as self-decoding distinction
• Metaphysics World Readout (E₃) — the terminal reflective layer

After the world readouts, the detailed result catalogue presents 234 individual claims with typed epistemic status.

This cluster

How the Framework First Exists

The first epistemic stance: TauLib as materialized formal system, and the six-rung ladder from kernel-checked derivability toward stronger interpretive claims.

How to read these pages

These pages are written as interpretive and epistemic clarifications, not as theorem ledgers. They aim to make explicit what is already distributed across the Research Monographs, the Monograph Corpus, TauLib, and the result corpus.

A reader does not need to grant the program all of its later world-readout claims to benefit from this introduction. It is enough, at first, to ask a more modest question:

If the framework is granted as a built and admissible formal-mathematical object, what kind of results can it yield?

That is the question this introduction answers. The four world-readout clusters then show what each layer of the framework actually yields.