Registry · Remark V.R113 tau-effective not_applicable

V.R113 — Compatibility with Book~IV

Compatibility of the Categorical Second Law with Book IV: total entropy dS/d(alpha-orbit) >= 0 because S_ref increases faster than S_def decreases; the decomposition S = S_def + S_ref respects both monotonicity conditions simultaneously.

Book V Part 3 Ch. 21

Lean Formalization

Module: