Registry · Remark IV.R346 tau-effective not_applicable

IV.R346 — Null = no fiber winding, not ``zero''

The word "null" in the photon's null transport character refers to vanishing fiber quantum numbers (m,n) = (0,0), not to absence of physical content; the photon carries energy, momentum, and U(1) phase but no fiber address, hence no mass.

Book IV Part 4 Ch. 26

Lean Formalization

Module: