III.D30 — τ-Effective RH Statement

τ-Effective RH: for every primorial depth k ≥ 1, the finite-cutoff operator H_{≤k} has only real eigenvalues, and the finite Euler product has all zeros on Re(s) = ½ within the τ-effective window. A computable predicate: each finite check terminates.