Registry · Theorem IV.T103 tau-effective formalized

IV.T103 — Euler budget conservation

Euler budget conservation: in the inviscid regime (mu <= mu_crit), the sum mu(d) + nu(d) + kappa(d) + theta(d) = const along propagation Phi_{n,n+1}. This is the tau-native Kelvin circulation theorem; the "circulation" is the sum of the four defect components.

Book IV Part 1 Ch. 7

Dependency Graph

Depends on (1)

Lean Formalization

Module: TauLib.BookIV.Arena.ActorsDynamics

Symbol: Tau.BookIV.Arena.EulerBudgetConservation