Registry · Proposition V.P03 tau-effective formalized

V.P03 — Arrow of Time = Orbit Direction

The temporal direction on tau^1 is the generative direction of the alpha-orbit (the direction in which rho acts): it is unique (exactly one direction of increasing n), irreversible (no operator maps alpha_{n+1} back to alpha_n), and structural (determined by the kernel axioms, not by thermodynamic arguments).

Book V Part 1 Ch. 4

Dependency Graph

Depends on (2)

Lean Formalization

Module: TauLib.BookV.Temporal.BaseCircle

Symbol: Tau.BookV.Temporal.ArrowOfTimeOrbitDirection