Registry · Proposition V.P05 tau-effective formalized

V.P05 — Mode Counting at Early Depths

At the ignition depth n_ign, the spectral label set Lambda_{n_ign} contains all characters supported by the first n_ign primorial levels with mode count |Lambda| = prod_{k=1}^{n_ign} q_k. Every mode is active with nonzero amplitude -- no primorial filtering has yet occurred.

Book V Part 1 Ch. 6

Dependency Graph

Depends on (3)

Lean Formalization

Module: TauLib.BookV.Temporal.HighEnergy

Symbol: Tau.BookV.Temporal.ModeCountingAtEarlyDepths