Registry · Remark
IV.R210
tau-effective
not_applicable
IV.R210 — Fibered, not Cartesian
The distinction between fibered and Cartesian products is essential: in tau^1 x_f T^2 the admissible fiber coordinates depend on the base point via the peel-order constraint from the Hyperfactorization Theorem (I.T04). This coupling, not independence, is the source of all force-matter interactions.