Registry · Remark V.R473 tau-effective not_applicable

V.R473 — V.OP4 Final Assessment

V.OP4: PARTIAL (algebraic complete, PDE open). Not a failure: MOND applied 40+ years without relativistic parent. TeVeS needs 3 extra fields. τ has metric theory but lacks numerical galactic-scale solution. Parallel to GR: Schwarzschild (1916) vs binary inspiral (2005).

Book V Part 5 Ch. 37

Dependency Graph

Depends on (2)

Lean Formalization

Module: