Registry · Definition V.D20 tau-effective formalized

V.D20 — Three Temporal Epochs

The refinement tower decomposes into three temporal epochs: the pre-temporal epoch (n < n_ign, no operationally meaningful time readout), the temporal epoch (n_ign <= n <= n_coh, proper-time readout operational), and the post-temporal epoch (n > n_coh, ticks shorter than any distinguishable interval, temporal readout saturates).

Book V Part 1 Ch. 5

Dependency Graph

Depends on (2)

Lean Formalization

Module: TauLib.BookV.Temporal.TemporalIgnition

Symbol: Tau.BookV.Temporal.ThreeTemporalEpochs