Registry · Definition
III.D93
tau-effective
formalized
III.D93 — RH Spectral Gap Characterization
RH gap is precisely the O₃ axiom: correspondence between lemniscate eigenvalues and Riemann zeta zeros. At each finite stage k, the correspondence holds. Gap = infinite-limit assertion. Verified at depth 5.