Registry · Definition IV.D322 tau-effective formalized

IV.D322 — Tick Kind

The 5 tick kinds (alpha-tick, pi-step, gamma-oscillation, eta-step, omega-crossing), one per generator/sector. Each is a minimal non-identity endomorphism.

Book IV Part 2 Ch. 10

Dependency Graph

Depends on (2)

III.D13 IV.D09

Depended on by (3)

IV.D323 IV.T125 IV.T126

Lean Formalization

Module: TauLib.BookIV.Physics.TickUnits

Symbol: Tau.BookIV.Physics.TickKind