Registry · Theorem IV.T04 tau-effective formalized

IV.T04 — Euler Budget Conservation

In the Euler regime, the total defect budget equals the sum of all 4 defect components. Budget is conserved under boundary-automorphism steps.

Book IV Part 2 Ch. 7

Dependency Graph

Depends on (2)

IV.D25 IV.D18

Depended on by (1)

IV.T103

Lean Formalization

Module: TauLib.BookIV.Physics.Thermodynamics

Symbol: Tau.BookIV.Physics.euler_budget_conserved