Registry · Theorem
IV.T67
tau-effective
formalized
IV.T67 — Zero Free Parameters in Electroweak Sector
Every entry in the electroweak prediction table derives from: (1) ι_τ = 2/(π+e) from axioms K₀–K₆, (2) calibration anchor m_n (dimensional, no dimensionless freedom). No fitted, adjusted, or measured dimensionless parameter enters the derivation.