Registry · Definition V.D155 tau-effective formalized

V.D155 — Regime Invariance

A dynamical equation on tau^1 is regime-invariant if its structural form -- the algebraic identity relating curvature, coupling, and source -- is independent of the refinement depth n. The tau-Einstein equation's structure does not change across cosmological epochs.

Book V Part 6 Ch. 47

Lean Formalization

Module: TauLib.BookV.Cosmology.InflationRegime

Symbol: Tau.BookV.Cosmology.RegimeInvariance