Registry · Remark V.R268 tau-effective formalized

V.R268 — GR's scope

GR is arguably the most successful single-equation theory in physics: G_mu_nu + Lambda g_mu_nu = (8 pi G / c^4) T_mu_nu accounts for all gravitational phenomena from laboratory scales to the Hubble radius. No other equation spans such a range. Any successor framework must reproduce this scope.

Book V Part 7 Ch. 61

Lean Formalization

Module: TauLib.BookV.Orthodox.EmergentGeometry

Symbol: Tau.BookV.Orthodox.GrsScope