Registry · Remark V.R100 tau-effective formalized

V.R100 — No SI units enter Xi_tau

Xi_tau is the ratio of two tau-native mass indices at the same orbit depth. No kilogram, MeV, or Planck mass appears. SI values are needed only when converting tau-native mass indices to SI-measured masses via the readout functor, which is a convention.

Book V Part 2 Ch. 19

Lean Formalization

Module: TauLib.BookV.GravityField.CalibrationTriangle

Symbol: Tau.BookV.GravityField.NoSiUnitsEnterXitau