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.