Registry · Remark V.R34 tau-effective not_applicable

V.R34 — Photons do not ``travel''

The null intertwiner phi is a structural relation (morphism) between two characters at different refinement depths, not a "thing" that "moves" through a spatial background. The orthodox picture of a photon traveling at speed c is the chart-level readout of this structural coupling.

Book V Part 1 Ch. 7

Dependency Graph

Depends on (2)

Lean Formalization

Module: