Registry · Proposition V.P86 tau-effective formalized

V.P86 — Coupling Budget Completeness

At depth n=1, the five self-couplings are: kappa(D;1) = 1-iota_tau, kappa(A;1) = iota_tau, kappa(B;2) = iota_tau^2, kappa(C;3) = iota_tau^3/(1-iota_tau), kappa(omega) = iota_tau^3/(1+iota_tau), exhausting the total coupling budget.

Book V Part 5 Ch. 44

Dependency Graph

Depends on (2)

Lean Formalization

Module: TauLib.BookV.Astrophysics.SectorExhaustion

Symbol: Tau.BookV.Astrophysics.CouplingBudgetCompleteness