Registry · Definition V.D16 tau-effective formalized

V.D16 — Alpha-Tick

An alpha-tick Delta_n := (alpha_n -> alpha_{n+1}) is the passage from one refinement tower level to the next under rho; it is the elementary temporal unit of Category tau -- the structural quantum of temporal progression, not a Planck time derived from dimensional analysis.

Book V Part 1 Ch. 4

Dependency Graph

Depends on (2)

Lean Formalization

Module: TauLib.BookV.Temporal.BaseCircle

Symbol: Tau.BookV.Temporal.Alphatick