Registry · Remark IV.R268 tau-effective formalized

IV.R268 — Why 0.07% and not exact

The 0.07% discrepancy between L*H and the SI-exact c = 2.997924580 x 10^8 m/s reflects the finite precision of the L and H anchoring derived from iota_tau, not a structural error. The residual is the anchoring tolerance of the relational framework.

Book IV Part 2 Ch. 13

Lean Formalization

Module: TauLib.BookIV.Calibration.DimensionalBridgeExt

Symbol: Tau.BookIV.Calibration.Why007AndNotExact