Registry · Definition VI.D74 tau-effective not_formalized

VI.D74 — Far-From-Equilibrium Regime

System with defect count |D_n| >> 0, sustained dissipative throughput, and below coherence horizon; undergoing active defect decay per Master Exhaustion Inequality V.T62.

Book VI Part 2 Ch. 14

Lean Formalization

Module:

Symbol: