The framework's terms are typed and disciplined; these are their public readings.
- Readout / shadow
- An exact bounded presentation — a quotient, measurement, macrostate, or public summary — of a richer realization structure. A shadow is not false or illusory: it is an exact projected interface whose internal laws may be fully valid at its own level. It simply is not the source-level structure itself.
- Realization equivalence
- The strong condition that a readout domain recovers the full realization-relevant structure of what it summarizes. Paper 1 proves exact readout does not imply this.
- Completion necessity
- The certified condition under which readout loss actually matters: an active, uncleared failure of an essential public closure slot with no checked repair or public surrogate (Paper 2). Readout loss alone is not obstruction.
- Canonical completion
- A completion that is certified as an initial object in the public admissible completion category for the relevant target and closure context (Paper 3). Completion need does not automatically produce one.
- Down-compilation / Tier-1 artifact
- The total, deterministic, route-locked, gate-cleared, residue-aware compilation step that turns a canonical completion output into a statused public Tier-1 artifact — or into a declared lower-status output (Paper 4).
- Runtime status, residue, and audit calculus
- The declared machinery governing public claims after compilation: route decisions, status algebra, residue algebra, equation-artifact grammar, claim licensing, testing, audit, downgrade logic, and forbidden-promotion discipline (Paper 5).
- Branch packet
- The required public wrapper for any branch result: source stage, target problem, public objects, assumptions, route, status, residues, proof obligations, validation obligations, and claim boundary. A branch output is not canonical Shadow Theory without one.
- Law packet
- A scoped bundle of laws, closure conditions, statuses, and licensed claims. The synthesis layer (Paper 6) governs which law packets are closure-fixed within declared scope.