Registry · Remark IV.R104 tau-effective not_applicable

IV.R104 — No double counting

The sector decomposition H_partial[omega] = direct sum over {B,A,C,D,omega} is direct; the crossing sector omega mediates between B and C but does not carry an independent vacuum. The total vacuum energy sums exactly four terms with no double counting.

Book IV Part 5 Ch. 44

Lean Formalization

Module:

Symbol: