Registry · Remark IV.R267 tau-effective formalized

IV.R267 — Falsifiability

The parameter count theorem is eminently falsifiable: if any dimensionless ratio in the Standard Model is found to be independent of iota_tau -- that is, not expressible as a rational function of 2/(pi + e) -- then the theorem is refuted. The framework hides behind no adjustable parameters.

Book IV Part 2 Ch. 12

Lean Formalization

Module: TauLib.BookIV.Calibration.CalibrationAnchorExt

Symbol: Tau.BookIV.Calibration.Falsifiability