Registry · Definition V.D157 tau-effective formalized

V.D157 — e-Fold Readout

The e-fold readout N_e is the total number of e-folds accumulated during the inflationary regime: N_e = sum over n in R_inf of ln(a(alpha_{n+1})/a(alpha_n)). The primorial structure naturally produces N_e >> 60, far exceeding the orthodox minimum requirement.

Book V Part 6 Ch. 47

Dependency Graph

Depended on by (1)

Lean Formalization

Module: TauLib.BookV.Cosmology.InflationRegime

Symbol: Tau.BookV.Cosmology.EfoldReadout