Registry · Theorem V.T26 tau-effective formalized

V.T26 — Chart shadow recovery

Under the local tau^3 chart readout Phi_p, the tau-Einstein identity R^H = kappa_tau * T^mat projects to the orthodox Einstein field equations G_{mu nu} = (8 pi G / c^4) T_{mu nu}. The recovery is exact.

Book V Part 2 Ch. 13

Dependency Graph

Depends on (2)

Depended on by (2)

Lean Formalization

Module: TauLib.BookV.GravityField.TauEinsteinEq

Symbol: Tau.BookV.GravityField.ChartShadowRecovery