IV.R247 — Origin of the No Knobs Principle

The No Knobs Principle (III.T42) was proved in Book III as a structural consequence of the enrichment ladder: the E0 -> E1 -> E2 chain fixes all dimensionless ratios once iota_tau is determined at the algebraic layer. Book IV applies it concretely as the coupling derivation chain.