Skip to content
Shadow Theory

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

  1. 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.

  2. 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.

  3. 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.

  4. 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.

  5. 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.

  6. 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.

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.