Registry · Theorem V.T12 tau-effective formalized

V.T12 — Now-Within-Epoch Theorem

The current refinement depth n_* satisfies n_* >> n_ign (far past ignition, all spectral structures fully developed) and n_* << n_coh (far from coherence horizon, remaining proper time nonzero). The universe is deep within the temporal epoch, far from both boundaries.

Book V Part 1 Ch. 5

Dependency Graph

Depends on (3)

Lean Formalization

Module: TauLib.BookV.Temporal.TemporalIgnition

Symbol: Tau.BookV.Temporal.NowwithinepochTheorem