Registry · Theorem V.T221 tau-effective formalized

V.T221 — Sgr A* Prediction Suite

Sgr A* predictions: shadow 54.8 μas (obs 51.8±2.3, 1.3σ), QNM ratio 2.930, modulation 4.43 min / 1.51 min (horizon-scale, testable by ngEHT).

Book V Part 5 Ch. 42

Dependency Graph

Depends on (1)

Depended on by (5)

Lean Formalization

Module: TauLib.BookV.Astrophysics.EHTReread

Symbol: Tau.BookV.Astrophysics.sgra_prediction