Registry · Definition V.D99 tau-effective formalized

V.D99 — tau-turbulent flow

Tau-turbulent flow: a macro tau-NS flow with Re_tau^macro >> 1, non-monotonic defect budget B_n^macro across primorial levels n_inj <= n <= n_diss, and structured variation where budget decrease at each level is balanced by injection from the source. Turbulence is deterministic but structurally complex.

Book V Part 4 Ch. 28

Lean Formalization

Module: TauLib.BookV.FluidMacro.Turbulence

Symbol: Tau.BookV.FluidMacro.TauturbulentFlow