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)

Depended on by (3)

Lean Formalization

Module: TauLib.BookIV.Physics.TickUnits

Symbol: Tau.BookIV.Physics.TickKind