Registry · Definition IV.D17 tau-effective formalized

IV.D17 — Defect Tuple

4-component defect tuple: (mobility, vorticity, compression, topological). Universal regime classifier and regularity driver for fluid dynamics.

Book IV Part 2 Ch. 5

Dependency Graph

Depends on (1)

IV.D16

Depended on by (2)

IV.D18 IV.D25

Lean Formalization

Module: TauLib.BookIV.Physics.DefectFunctional

Symbol: Tau.BookIV.Physics.DefectTuple