Registry · Theorem V.T125 tau-effective formalized

V.T125 — GR as chart shadow of the tau-Einstein identity

The Einstein field equation with Lambda = 0 is the chart shadow of the tau-Einstein identity: pr_chart(R^H = kappa_tau T) = G_mu_nu = (8 pi G / c^4) T_mu_nu. The chart shadow is valid in the regime where the profinite structure appears continuous (macroscopic scales). GR emerges as an effective readout, not a fundamental law.

Book V Part 7 Ch. 61

Dependency Graph

Depends on (2)

Lean Formalization

Module: TauLib.BookV.Orthodox.EmergentGeometry

Symbol: Tau.BookV.Orthodox.GrAsChartShadowOfTheTaueinsteinIdentity