Registry · Theorem V.T132 tau-effective formalized

V.T132 — Gravity as readout --- no renormalization

In the tau-framework, GR is a readout, not a fundamental theory. The tau-Einstein equation is a boundary-character identity, not a dynamical law on a manifold. Readouts do not need renormalization. The asymptotic safety programme's UV fixed point with two relevant directions corresponds to the two base-sector couplings kappa(D) and kappa(A).

Book V Part 7 Ch. 64

Dependency Graph

Depends on (1)

Lean Formalization

Module: TauLib.BookV.Orthodox.OtherApproaches

Symbol: Tau.BookV.Orthodox.GravityAsReadoutNoRenormalization