Registry · Remark V.R120 tau-effective formalized

V.R120 — The paradox resolved

The classical second-law paradox resolved: total entropy S increases because S_ref increases, but physical disorder S_def decreases. The classical observer measures the wrong component -- the readout functor projects onto total entropy, conflating refinement artifact with physical disorder.

Book V Part 3 Ch. 22

Lean Formalization

Module: TauLib.BookV.Thermodynamics.EntropySplitting

Symbol: Tau.BookV.Thermodynamics.TheParadoxResolved