Registry · Theorem IV.T32 tau-effective formalized

IV.T32 — Structural Arrow of Time

The arrow of time on τ³ is the direction of increasing refinement on τ¹. Topological, not thermodynamic — from profinite asymmetry, not probabilistic argument.

Book IV Part 3 Ch. 22

Dependency Graph

Depends on (2)

Lean Formalization

Module: TauLib.BookIV.QuantumMechanics.EnergyEntropy

Symbol: Tau.BookIV.QuantumMechanics.StructuralArrowOfTime