Registry · Remark IV.R364 tau-effective not_applicable

IV.R364 — Gauge invariance at Elayer1

Gauge invariance lives at enrichment layer E_1 (physics); at E_0 (mathematical kernel, Books I-III) the fiber bundle tau^3 is purely geometric, with connection, parallel transport, and holonomy intrinsic to the CR-structure requiring no physical interpretation until E_1 identification.

Book IV Part 4 Ch. 27

Lean Formalization

Module: