Registry · Definition V.D109 tau-effective formalized

V.D109 — tau-reconnection event

Tau-reconnection event: a localized, discrete change in the topological component theta_B of the B-sector defect tuple at a specific primorial level and fiber location where Rm_local drops below the critical value; the change in topological charge is discontinuous.

Book V Part 4 Ch. 31

Dependency Graph

Depended on by (1)

Lean Formalization

Module: TauLib.BookV.FluidMacro.TauMHD

Symbol: Tau.BookV.FluidMacro.TaureconnectionEvent