Registry · Corollary V.C01 tau-effective formalized

V.C01 — Temporal Complement, revisited

The gravitational coupling and weak coupling exhaust the depth-1 budget: kappa_tau + kappa(A;1) = (1-iota_tau) + iota_tau = 1. There is no room for a third temporal sector at depth 1, recovering the Temporal Complement Theorem from Book IV.

Book V Part 2 Ch. 11

Dependency Graph

Depends on (2)

Lean Formalization

Module: TauLib.BookV.GravityField.FrameHolonomy

Symbol: Tau.BookV.GravityField.TemporalComplementRevisited