Registry · Definition V.D101 tau-effective formalized

V.D101 — Macro charge

Macro charge: Q^macro(d) = integral over tau^1 of Hol_B(d|_{t x T^2}) dt, the base-integrated B-sector holonomy obstruction; the macroscopic charge is the total boundary obstruction accumulated over the temporal circle.

Book V Part 4 Ch. 29

Lean Formalization

Module: TauLib.BookV.FluidMacro.ChargeObstruction

Symbol: Tau.BookV.FluidMacro.MacroCharge