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.

Book IV Part 1 Ch. 4

Lean Formalization

Module: