Registry · Definition V.D88 tau-effective formalized

V.D88 — Global defect budget

Global defect budget: B_def = sum_{n=0}^{inf} |D_n|, the total defect support summed over all orbit depths, measuring the universe's total capacity for irreversible processes.

Book V Part 3 Ch. 23

Lean Formalization

Module: TauLib.BookV.Thermodynamics.DefectExhaustion

Symbol: Tau.BookV.Thermodynamics.GlobalDefectBudget