Registry · Theorem IV.T01 tau-effective formalized

IV.T01 — Temporal Complement

κ(A;1) + κ(D;1) = 1: the temporal pair (Weak + Gravity) exhausts the depth-1 coupling budget. Gravity and Weak are complements. Proof: ι_τ + (1−ι_τ) = 1.

Book IV Part 8 Ch. 67

Dependency Graph

Depends on (2)

IV.D05 IV.D06

Depended on by (3)

V.P03 V.P79 V.T07

Lean Formalization

Module: TauLib.BookIV.Sectors.CouplingFormulas

Symbol: Tau.BookIV.Sectors.temporal_complement