Registry · Proposition
IV.P159
tau-effective
formalized
IV.P159 — Calibration is structural
The translation between tau-native units and SI units at E1 is a definable map C: Units_tau -> Units_SI within the boundary holonomy algebra, determined by a single dimensional anchor (the neutron mass m_n), requiring no axiom beyond K0-K6.
Book IV
Part 2
Ch. 9