Registry · Remark IV.R265 tau-effective formalized

IV.R265 — One input, not zero

The tau-framework claims one experimental input (m_n), not zero. The master constant iota_tau fixes all dimensionless ratios (it IS the coordinate system), but one measured mass is needed to fix the unit. "Zero free parameters" means iota_tau determines all dimensionless ratios.

Book IV Part 2 Ch. 12

Lean Formalization

Module: TauLib.BookIV.Calibration.CalibrationAnchorExt

Symbol: Tau.BookIV.Calibration.OneInputNotZero