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

Dependency Graph

Depends on (3)

Depended on by (1)

Lean Formalization

Module:

Symbol: