Registry · Definition V.D21 tau-effective formalized

V.D21 — Ignition Depth

The ignition depth n_ign is the smallest n such that: H_partial[omega]|_n contains at least one character pair with nonzero stable frequency gap, the accumulated proper time t(n) accommodates at least one oscillation cycle, and the tick length ell(Delta_n) = p_n^{-1} is smaller than the oscillation period.

Book V Part 1 Ch. 5

Dependency Graph

Depended on by (3)

Lean Formalization

Module: TauLib.BookV.Temporal.TemporalIgnition

Symbol: Tau.BookV.Temporal.IgnitionDepth