Registry · Remark
III.R14
established
not_applicable
III.R14 — P vs NP Honest Non-Claim
Explicit scope declaration: τ does NOT resolve orthodox P vs NP. At E₂, P = NP via the computational bi-square pasting (search = construction when code IS its own decoder). The Representation Barrier is an inter-level obstruction: the gap between E₀ and E₂ representations. Orthodox P vs NP remains open; the open question becomes whether every ZFC-computable function admits an E₂ representation.
Book III
Part 7
Ch. 30