Registry · Remark IV.R257 tau-effective formalized

IV.R257 — Origin of the formula

The holonomy formula originated in a Springer Nature preprint (December 2024). The structural models (hollow-shell) are superseded by the tau^3 fibration, but the formula itself survives: the five relational units M, L, H, Q, R are now arena-level readouts of boundary holonomy data.

Book IV Part 2 Ch. 11

Lean Formalization

Module: TauLib.BookIV.Calibration.DimensionlessAlpha

Symbol: Tau.BookIV.Calibration.OriginOfTheFormula