Registry · Theorem IV.T105 tau-effective formalized

IV.T105 — Temporal Multiplicative Closure

The weak-gravity cross-coupling equals the product of the two temporal self-couplings: kappa(A,D) = kappa(A;1) * kappa(D;1) = iota_tau(1 - iota_tau). The temporal pair {A, D} is multiplicatively closed; the spatial sectors do not exhaust their depth budget.

Book IV Part 2 Ch. 10

Dependency Graph

Depends on (3)

Lean Formalization

Module: TauLib.BookIV.Calibration.DimensionlessCouplings2

Symbol: Tau.BookIV.Calibration.TemporalMultiplicativeClosure