Registry · Definition IV.D07 tau-effective formalized

IV.D07 — Coupling Formula Map

All 10 inter-sector couplings as rational functions of ι_τ. 4 self-couplings: κ(D)=1−ι_τ, κ(A)=ι_τ, κ(B)=ι_τ², κ(C)=ι_τ³/(1−ι_τ). 6 cross-couplings: electroweak, weak-strong, weak-gravity, EM-strong, EM-gravity, strong-gravity. Complete 10-entry coupling ledger.

Book IV Part 1 Ch. 1

Dependency Graph

Depends on (5)

IV.D02 IV.D03 IV.D04 IV.D05 IV.D06

Depended on by (17)

III.P32 III.T54 IV.D08 IV.D104 IV.D28 IV.D29 IV.D39 IV.L02 IV.P01 IV.P03 IV.P04 IV.P36 IV.P49 IV.P51 IV.T02 IV.T48 IV.T61

Lean Formalization

Module: TauLib.BookIV.Sectors.CouplingFormulas

Symbol: Tau.BookIV.Sectors.coupling_formula