Registry · Remark IV.R206 tau-effective not_applicable

IV.R206 — No Past Hypothesis needed

The Structural Arrow of Time does not invoke any initial condition. Irreversibility comes from the structure of rho (no inverse), not from a low-entropy Past Hypothesis. In Boltzmann's framework the arrow is statistical; in tau it is algebraic and unconditional.

Book IV Part 1 Ch. 3

Lean Formalization

Module: