Registry · Definition V.D337 tau-effective formalized

V.D337 — Algebraic–PDE Split for Rotation Curves

Honest two-layer assessment. Algebraic (τ-effective): shape (K₀), amplitude (v⁴=GMa₀), fit (20 galaxies 0.067 dex), interpolation (μ_τ derived). PDE (conjectural): nonlinear τ-Einstein unsolved, linearized 4 OOM gap, cocycle amplification blocks perturbation.

Book V Part 5 Ch. 37

Dependency Graph

Depends on (3)

Depended on by (2)

Lean Formalization

Module: TauLib.BookV.Astrophysics.RotationCurves

Symbol: Tau.BookV.Astrophysics.AlgebraicPDESplit