Registry · Proposition
III.P11
tau-effective
formalized
III.P11 — Primorial RH Verification Protocol
Six-step verification protocol: (i) compute Spec(H_{≤k}), (ii) verify Im(Λ) = 0 for all eigenvalues, (iii) verify zero locations of finite Euler product, (iv) check tower coherence with previous levels, (v) validate CRT consistency, (vi) record primorial certificate. Polynomial in k.