Coupling Ledger

Coupling Ledger (IV.D300) is the τ-categorical lookup table of dimensionless coupling constants — α, α_s, α_W, Yukawa entries, mixing angles — all expressible as ι_τ-fixed ratios. It is the single τ-internal source from which every conventional coupling is read off; its companion Observable Ledger lists the directly measurable observables.

Categorical invariant. CouplingLedger := global table of dimensionless τ-coupling ratios derived from ι_τ-structure; an E2 invariant set on the τ-base.

Primary registry anchor: IV.D300

Supporting items: IV.D142, IV.D293, IV.D294, IV.D43

1. I.K0 — Universe Postulate establishes τ
2. IV.D43 — Spectral Distance √3 — structural numerical factor in ledger entries
3. IV.D293 — Speed of light in relational units — fixes one ledger entry
4. IV.D294 — Planck's constant in relational units — fixes another ledger entry
5. IV.D300 — Coupling Ledger and Observable Ledger — global dimensionless ratio table
6. IV.D142 — Yukawa entries are particular ledger rows

Lean modules referenced: TauLib.BookIV.Calibration.DimensionlessCouplings, TauLib.BookIV.Calibration.DimensionlessCouplings2

Calibration anchor: PG-P01-neutron

Calibration chain:

1. m_n (anchor)
2. All ledger entries are dimensionless — anchoring is to the unique mass scale m_n only via downstream dimensional cascades

Manuscript reference: manuscript-sources/book-04/part08-calibration/ch-coupling-ledger.tex

Status: Formalized

Module: TauLib.BookIV.Calibration.DimensionlessCouplings

Lean kind: def

Related glossary entries

• PG-P01-neutron τ-Neutron
• PG-Q12-spectral-distance-sqrt3 Spectral Distance √3
• PG-Q20-yukawa-coupling Yukawa Coupling