Registry · Definition V.D100 tau-effective formalized

V.D100 — tau-enstrophy

Tau-enstrophy: Omega_n = (1/2)(nu_n^macro)^2, the squared vorticity component of the macro defect tuple at primorial level n; the structural analogue of classical enstrophy, governing vorticity budget evolution across the refinement tower.

Book V Part 4 Ch. 28

Lean Formalization

Module: TauLib.BookV.FluidMacro.Turbulence

Symbol: Tau.BookV.FluidMacro.Tauenstrophy