Registry · Theorem
V.T105
tau-effective
formalized
V.T105 — Regime Invariance Theorem
The tau-Einstein equation R^H[chi_{n+1}] = kappa_tau * T[chi_n] is regime-invariant: it holds for all refinement depths n >= 1 with the same coupling kappa_tau and the same algebraic structure, because the fibered product decomposition tau^3 = tau^1 x_f T^2 is depth-independent.
Book V
Part 6
Ch. 47