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
What this page is
This is a public Results-lane surface for a noteworthy Physics Registry item. It is generated from the Corpus Registry triage catalogue and keeps the generic Result catalogue unchanged.
Registry evidence
- Registry item: V.T125
- Type: theorem
- Scope: tau-effective
- Lean status: formalized
- Book / part / chapter: Book V · Part 7 · Chapter 61
Result summary
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.
Related Results surfaces
Reading role
Use as Registry evidence for an existing Results surface.
Claim boundary
This page reports a Registry-backed internal result surface. It is not an external validation claim, a scientific consensus claim, or independent acceptance.
Curation rationale
- physics-facing terms: shadow
- result-facing terms: law, readout
- candidate is better handled as evidence for an inferred existing public surface
Review notes
- No additional review notes recorded.