Registry · Proposition
III.P12
tau-effective
formalized
III.P12 — CRT Witness Decomposition (v1)
The witness search space at primorial depth k decomposes: Search(Prim(k)) ≅ ∏ Search(pᵢ) via CRT. Prime-level searches are independent. Witness has unique reassembly from prime-level components. Polynomial reconstruction time O(k² log k).
Book III
Part 7