Registry · Remark IV.R335 tau-effective not_applicable

IV.R335 — Connection to Book~III:

Book III's spectral-to-combinatorial drift appears as the second law at E_1: low-entropy states are spectrally concentrated (described by characters on Z^2), high-entropy states are combinatorially diffuse (requiring full Cayley graph machinery); the arrow of time is the direction of this drift.

Book IV Part 3 Ch. 22

Lean Formalization

Module: