Registry · Proposition V.P104 tau-effective formalized

V.P104 — iota_tau mediates all ten couplings

Every coupling constant in tau (self-couplings, cross-couplings, alpha, G, and the closing identity) is a rational function of the single parameter iota_tau = 2/(pi+e). No second free parameter exists. The unique fixed point of the progression operator determines all spectral weights.

Book V Part 6 Ch. 57

Dependency Graph

Depends on (3)

Lean Formalization

Module: TauLib.BookV.Cosmology.BoundaryUnification

Symbol: Tau.BookV.Cosmology.IotatauMediatesAllTenCouplings