Registry · Remark IV.R196 tau-effective not_applicable

IV.R196 — Time is computation

Each application of rho is one computational step: read state g_n, apply progression, output g_{n+1}. Time is not metaphorically but structurally identical to computation. The orbit tower is the complete trace; depth index n is "time."

Book IV Part 1 Ch. 2

Lean Formalization

Module: