Registry · Remark IV.R286 tau-effective formalized

IV.R286 — 5, 4, 3, 2, 1

The structural constants 5, 4, 3, 2, 1 form a descending sequence: 5 generators (categorical), 4 arena dimensions (fibered product), 3 solenoidal generators (algebraic), 2 polarity characters (spectral), 1 master constant (uniqueness). Each number counts a different structural type.

Book IV Part 2 Ch. 15

Lean Formalization

Module: TauLib.BookIV.Calibration.ConstantsLedgerExt

Symbol: Tau.BookIV.Calibration.54321