Registry · Definition V.D14 tau-effective formalized

V.D14 — Defect Tuple --- IV.D20

The defect tuple D(phi) = (d_mob, d_vor, d_com, d_top) of a configuration phi in H_partial[omega] encodes the deviation from vacuum as four components: mobility, vorticity, compression, and topological charge, forming the key export from Book IV's many-body physics.

Book V Part 0 Ch. 2

Dependency Graph

Depends on (3)

Depended on by (14)

Lean Formalization

Module: TauLib.BookV.Prologue.ExportContract

Symbol: Tau.BookV.Prologue.DefectTupleIvd20