Registry · Remark V.R74 tau-effective not_applicable

V.R74 — The honest claim

The tau-framework does not make different predictions from GR in the linear regime. The claim is structural: it explains why the Einstein equation has its form (algebraic identity, not ad hoc PDE), derives G instead of fitting it, and guarantees well-posedness via Hartogs.

Book V Part 2 Ch. 14

Lean Formalization

Module: