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

Dependency Graph

Depends on (2)

Lean Formalization

Module: TauLib.BookIV.Calibration.SharedOntology

Symbol: Tau.BookIV.Calibration.CalibrationIsStructural