Registry · Remark V.R393 tau-effective formalized

V.R393 — GEM Mapping

GEM Mapping: standard gravitomagnetic velocity v_gm = 2GJ/(c²r²), suppressed by (v/c)² ~ 2.5×10⁻⁷. NGC 3198 at 10 kpc: v_gm ≈ 0.01 m/s vs v_obs ≈ 150 km/s (ratio ~10⁻⁷). Standard GEM negligible at galactic scales. Two-channel fiber contribution is NOT gravitomagnetic but arises from T² fiber of τ³.

Book V Part 5 Ch. 37

Dependency Graph

Depends on (1)

Lean Formalization

Module: TauLib.BookV.Astrophysics.RotationCurves

Symbol: Tau.BookV.Astrophysics.gemMapping