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