Registry · Remark IV.R48 tau-effective not_applicable

IV.R48 — Why two types of holonomy

Phase holonomy (from chi_plus spreading) produces smooth U(1) transport, while gap holonomy (from chi_minus tightening) produces discrete non-abelian obstructions; both arise from the two lobes and crossing of a single lemniscate.

Book IV Part 5 Ch. 37

Lean Formalization

Module:

Symbol: