Registry · Theorem
III.T63
tau-effective
formalized
III.T63 — P vs NP Forbidden Triple
Three forbidden moves (succinct_circuits + exponential_quantification + unbounded_fanout) collectively break the P vs NP bridge. Internal P_adm = NP_adm cannot be translated. Verified at depth 3.