Registry · Proposition
IV.P80
tau-effective
formalized
IV.P80 — Spectral tightening in the C-sector
Under refinement rho, the support of chi_minus-dominant characters on T^2 satisfies strict inclusion Supp_{n+1}(chi_minus) subset Supp_n(chi_minus) beyond activation depth d=3, establishing spectral tightening in the C-sector.