Registry · Theorem
IV.T90
tau-effective
formalized
IV.T90 — Sector additivity
Sector additivity: the universal defect functional decomposes as delta[omega] = delta_D + delta_A + delta_B + delta_C + delta_omega, with each sector functional inheriting tower compatibility, because refinement maps commute with sector projection.
Book IV
Part 7
Ch. 52