Registry · Proposition
IV.P140
tau-effective
formalized
IV.P140 — Finite at every primorial level
At every primorial level n, the defect-tuple components satisfy |mu_n|, |nu_n|, |kappa_n|, |theta_n| <= M * Prim(n)^{1/2} for a uniform constant M; no component diverges because the propagation operator on compact T^2 at finite primorial levels is combinatorially bounded.