Registry · Theorem III.T21 tau-effective formalized

III.T21 — τ-Admissibility Collapse Theorem (v1)

For τ-admissible NP instances (bounded interface width K): witness search reduces to O(k^c) canonical address refinements at primorial depth k. Therefore τ-P_adm = τ-NP_adm. CRT independence bounds per-prime search; reconstruction functor assembles global witness in polynomial time.

Book III Part 7

Dependency Graph

Depends on (5)

Depended on by (3)

Lean Formalization

Module:

Symbol: