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.

Book III Part 4 Ch. 26

Dependency Graph

Depends on (2)

Lean Formalization

Module: TauLib.BookIII.Doors.CriticalLine

Symbol: rh_protocol_check