Registry · Definition IV.D308 tau-effective formalized

IV.D308 — Structural Constants Table

The structural constants table lists dimensionless integers determined by kernel axioms K0-K6: 5 generators, 4 arena dimensions, 3 solenoidal generators, 2 polarity characters, 1 master constant. These are established-scope results, proved in Lean 4 without conjectural steps.

Book IV Part 2 Ch. 15

Lean Formalization

Module: TauLib.BookIV.Calibration.ConstantsLedgerExt

Symbol: Tau.BookIV.Calibration.StructuralConstantsTable