Registry · Theorem
IV.T94
tau-effective
formalized
IV.T94 — Fiber-base factorization
The universal defect functional on tau^3 = tau^1 x_f T^2 factorizes as delta[omega]_{tau^3} = delta[omega]_{T^2} tensor delta[omega]_{tau^1}, with the fiber encoding sectors A, B, C, omega and the base encoding sector D; the only coupling passes through the omega-sector Kirchhoff law.