Registry · Definition V.D257 tau-effective formalized

V.D257 — Bare vs Dressed Acceleration Scales

Bare vs Dressed Acceleration Scales: BARE a₀^bare = c·H₀·√κ_D/2 ≈ 2.66×10⁻¹⁰ (PDE restoring, superior velocity predictor at 0.067 dex RMS). DRESSED a₀^dress = c·H₀·ι_τ/2 ≈ 1.12×10⁻¹⁰ (MOND match at +0.9%). Dressing factor ι_τ/√κ_D ≈ 0.421 = fiber coherence / base coupling.

Book V Part 5 Ch. 37

Dependency Graph

Depends on (1)

Depended on by (2)

Lean Formalization

Module: TauLib.BookV.Astrophysics.RotationCurves

Symbol: Tau.BookV.Astrophysics.bareVsDressedAcceleration