Registry · Remark V.R73 tau-effective not_applicable

V.R73 — Graviton mass is zero

The graviton is a null intertwiner with zero mass in the tau-framework, following from the structural fact that holonomy gap perturbations are boundary characters on L with vanishing residual cost. Massive graviton theories are structurally excluded.

Book V Part 2 Ch. 14

Lean Formalization

Module: