Registry · Theorem
V.T23
tau-effective
formalized
V.T23 — sigma-equivariance of kappa_tau
The gravitational coupling kappa_tau = 1 - iota_tau is sigma-fixed: sigma*(kappa_tau) = kappa_tau. The gravitational sector is unpolarized, treating both lobes of the lemniscate symmetrically, which is the tau-native statement of gravitational universality.
Book V
Part 2
Ch. 11