Registry · Definition V.D264 conjectural formalized

V.D264 — Cocycle-Defect Amplification Factor

Cocycle-Defect Amplification Factor: A_NL = v_T85⁴/v_lin⁴ = c²ℓ_τ/(2GM) = (c/v_lin)². For NGC 3198: A_NL ≈ 4×10¹². Too large for perturbative corrections (weak-field ε ~ 10⁻¹³). NF iteration converges but does not amplify. Resolution is algebraic (V.T207), not perturbative.

Book V Part 5 Ch. 37

Dependency Graph

Depends on (3)

Depended on by (3)

Lean Formalization

Module: TauLib.BookV.Astrophysics.RotationCurves

Symbol: Tau.BookV.Astrophysics.cocycleDefectAmplification