Registry · Remark V.R32 tau-effective not_applicable

V.R32 — No Past Hypothesis needed --- reprise

The opening regime has high entropy, not low entropy, so the Past Hypothesis is neither needed nor assumed. The second law is a structural theorem (Book IV) and the arrow of time is the alpha-orbit direction, not a consequence of special initial conditions.

Book V Part 1 Ch. 6

Lean Formalization

Module: