Registry · Definition IV.D293 tau-effective formalized

IV.D293 — Speed of light in relational units

The speed of light in the relational framework is c = L * H, the product of the fundamental length scale and fundamental frequency scale. This is the simplest velocity formula: distance per unit time is length times frequency, matching SI to within 0.07%.

Book IV Part 2 Ch. 13

Lean Formalization

Module: TauLib.BookIV.Calibration.DimensionalBridgeExt

Symbol: Tau.BookIV.Calibration.SpeedOfLightInRelationalUnits