Registry · Definition V.D145 tau-effective formalized

V.D145 — Sector Exhaustion Decomposition

The sector exhaustion decomposition H_partial[omega] = H_A + H_B + H_C + H_D + H_omega is the direct-sum decomposition of the boundary holonomy algebra into its four primitive sector components plus the crossing component, with mutually orthogonal sectors.

Book V Part 5 Ch. 44

Lean Formalization

Module: TauLib.BookV.Astrophysics.SectorExhaustion

Symbol: Tau.BookV.Astrophysics.SectorExhaustionDecomposition