Registry · Definition IV.D274 tau-effective formalized

IV.D274 — Defect functional

The defect functional D(d) = (mu, nu, kappa, theta) is a 4-tuple diagnostic: mu = mobility (transport), nu = vorticity (circulation), kappa = compression (density variation), theta = topological charge (integer-valued winding number around the two circles of T^2, deformation-invariant).

Book IV Part 1 Ch. 7

Lean Formalization

Module: TauLib.BookIV.Arena.ActorsDynamics

Symbol: Tau.BookIV.Arena.DefectFunctional