Registry · Definition V.D95 tau-effective formalized

V.D95 — Capacity surplus

Capacity surplus: C_surplus(n) = C_total - |D_n|, the difference between the total absorption capacity of the lemniscate L and the current defect count; unused boundary capacity manifests as negative pressure in the effective equation of state.

Book V Part 3 Ch. 26

Lean Formalization

Module: TauLib.BookV.Thermodynamics.DarkEnergyArtifact

Symbol: Tau.BookV.Thermodynamics.CapacitySurplus