Registry · Proposition V.P124 tau-effective formalized

V.P124 — T² Shadow Radius vs EHT

For M87* (M=6.5×10⁹ M_☉, d=16.8 Mpc): GR photon sphere prediction R_shadow=3√3GM/c² gives θ_GR=19.85 μas (EHT observed: 42±3 μas; the EHT ring includes photon ring amplification). T² outer torus angular size θ_τ=4πGM/(c²d)=48.00 μas (within 14% of EHT at R_S scale). The τ-BH shadow requires photon orbit analysis in T² geometry; exact photon sphere radius in T² is an open problem. Scope conjectural until T² photon orbit derived.

Book V Part 6 Ch. 50

Dependency Graph

Depends on (1)

Depended on by (1)

Lean Formalization

Module: TauLib.BookV.Gravity.BHTopoModes

Symbol: Tau.BookV.Gravity.m87_shadow_tau_outer_uas