Registry · Proposition V.P06 tau-effective formalized

V.P06 — Null Character Uniqueness

The null condition m^2(phi) = 0 uniquely selects the B-sector (EM) among the four matter sectors: D-sector (Gravity) has massive gravitons, A-sector (Weak) has massive W/Z bosons, C-sector (Strong) has confined gluons. Only the B-sector supports massless intertwiners.

Book V Part 1 Ch. 7

Dependency Graph

Depends on (2)

Lean Formalization

Module: TauLib.BookV.Temporal.MacroReadout

Symbol: Tau.BookV.Temporal.NullCharacterUniqueness