Research map
The shape of the programme
One pipeline, six certified stages, and a set of open problems branching downstream from the synthesis layer. A machine-readable version of this map is published at /graph.json.
The canonical pipeline
Stage 1 · Readout
The Readout Non-Equivalence Theorem for Bounded Realized Domains
Establishes the non-equivalence principle: an exact readout, quotient, or bounded presentation does not by itself recover the realization-relevant structure of the domain it summarizes.
Stage 2 · Obstruction
Completion Necessity for Readout-Non-Equivalent Domains
Establishes the obstruction criterion: readout loss becomes a genuine public obstruction only when it is certified as an active, uncleared failure of an essential public closure slot.
Stage 3 · Canonicality
The Canonical Completion Object Theorem for Shadow Theory
Establishes conditional canonicality: a public completion is canonical exactly when it is a certified initial object in the public admissible completion category.
Stage 4 · Compilation
The Tier-1 Shadow Compiler Theorem
Establishes down-compilation discipline: a canonical completion output becomes a public Tier-1 artifact only through a total, deterministic, gate-cleared, residue-aware down-compiler.
Stage 5 · Runtime
Shadow Theory Framework Mathematics
Establishes the runtime calculus: route decisions, status algebra, residue algebra, equation-artifact grammar, claim licensing, testing, audit, and forbidden-promotion discipline.
Stage 6 · Synthesis
Shadow Theory Synthesis
The capstone synthesis: composes the five preceding results into a single typed synthesis object with a graph-theoretic claim-promotion discipline and the Scoped Shadow Fixed-Point Law-Packet Theorem.
Downstream branch targets
Open problems attach to the synthesis layer as branch targets. Each requires its own branch packet — route, status, residues, obligations, and claim boundary — before any result becomes public framework content.
Synthesis layer (Paper 06)
Further targets
Beneath the map: the historical layer
The programme began as the Everything Equation project, which produced a large archive of exploratory papers. That archive remains available in the paper index as historical background. Where any historical material conflicts with Papers 1–6, the canonical stack controls.