Registry · Theorem V.T210 tau-effective skeleton

V.T210 — Photon-Capacity Deflection

Photon-Capacity Deflection: for any mass distribution with baryonic mass M_p and boundary holonomy mass M_∂ = (κ_τ/ι_τ²)·M_p, the photon deflection angle δθ = 4G·M_eff/(c²·b) where M_eff = M_p + M_∂. The capacity gradient deflects photons identically to massive particles because the τ-Einstein equation is a metric theory: photons follow null geodesics of the same effective metric g_∂[χ] that governs massive-particle geodesics.

Book V Part 5 Ch. 34

Dependency Graph

Depends on (3)

Depended on by (7)

Lean Formalization

Module: TauLib.BookV.Astrophysics.RotationCurves

Symbol: Tau.BookV.Astrophysics.photonCapacityDeflection