Registry · Remark V.R389 tau-effective formalized

V.R389 — √ι_τ Bridge for BTFR Normalization

√ι_τ Bridge for BTFR: A_T85/√ι_τ = 48.5 M☉/(km/s)⁴ matches A_obs = 47 to +3.2% (Planck). Geometric mean of Planck and local: ~46.6. The √ι_τ correction encodes fiber coherence contribution to effective gravitational coupling.

Book V Part 5 Ch. 37

Dependency Graph

Depends on (2)

Lean Formalization

Module: TauLib.BookV.Astrophysics.RotationCurves

Symbol: Tau.BookV.Astrophysics.btfr_bridge