Registry · Definition IV.D265 tau-effective formalized

IV.D265 — Coupling Ledger

The coupling ledger is the symmetric 5x5 matrix of inter-sector couplings kappa(X,Y) for X, Y in {D, A, B, C, omega}. Symmetry kappa(X,Y) = kappa(Y,X) reduces to ten independent entries: five self-couplings and five cross-couplings, all rational functions of iota_tau.

Book IV Part 1 Ch. 6

Lean Formalization

Module: TauLib.BookIV.Arena.FiveSectors

Symbol: Tau.BookIV.Arena.CouplingLedger