Registry · Theorem
III.T22
tau-effective
formalized
III.T22 — Representation Barrier Theorem
At E₀: no encoding E: {0,1}* → Addr(τ) simultaneously satisfies structure-faithfulness, polynomial-time encoding, and bounded interface width. At E₂: the barrier dissolves because codes are their own decoders (operational closure). The barrier is an inter-level obstruction (E₀→E₂ gap), not an absolute impossibility. Reinterpreted as the computational analogue of topological obstructions at E₀→E₁.