Registry · Proposition V.P13 tau-effective formalized

V.P13 — Speed barrier as constraint saturation

No massive defect bundle can reach the null intertwiner condition. A massive phi satisfies ||pr_D(phi)||^2 - ||pr_fiber(phi)||^2 = m^2 c^4 > 0 (strictly timelike), so the speed of light c is an absolute barrier for all entities with m > 0.

Book V Part 2 Ch. 12

Dependency Graph

Depends on (3)

Lean Formalization

Module: TauLib.BookV.GravityField.LorentzNoMinkowski

Symbol: Tau.BookV.GravityField.SpeedBarrierAsConstraintSaturation