Registry · Theorem V.T11 tau-effective formalized

V.T11 — Epoch Existence Theorem

The three temporal epochs exist and are nonempty: the pre-temporal epoch contains at least alpha_1, alpha_2 (spectral structure too coarse); the temporal epoch has a well-defined ignition depth n_ign >= 3; and the post-temporal epoch exists because the coherence horizon n_coh is finite.

Book V Part 1 Ch. 5

Dependency Graph

Depends on (4)

Lean Formalization

Module: TauLib.BookV.Temporal.TemporalIgnition

Symbol: Tau.BookV.Temporal.EpochExistenceTheorem