Registry · Remark V.R114 tau-effective not_applicable

V.R114 — Not the same as thermal equilibrium

Categorical equilibrium (zero defect entropy, minimal disorder) differs fundamentally from classical thermal equilibrium (maximal total entropy, maximal disorder); the two notions disagree on the final state: a coherent vacuum versus a featureless thermal bath.

Book V Part 3 Ch. 21

Lean Formalization

Module: