Nefolds
plain-language theorem explainer
The declaration fixes the e-fold count during inflation at N_e = 44, obtained from the gap-45 relation in Recognition Science. Cosmologists modeling slow-roll inflation cite this constant to obtain n_s = 1 - 2/44 ≈ 0.9545 and r = 12/44² ≈ 0.0062. It is introduced by direct numerical assignment with no computation or lemmas.
Claim. $N_e = 44$, where $N_e$ is the number of e-folds in inflation obtained from the gap-45 relation.
background
Recognition Science predicts inflation lasts gap(3) - 1 = 44 e-folds on the phi-ladder. The module sets this value to support derivations of the spectral index and tensor-to-scalar ratio. The upstream declaration in InflationaryCosmologyFromRS likewise defines the same constant as 44 from the baryon rung.
proof idea
Direct constant definition assigning the natural number 44. No lemmas or tactics are applied.
why it matters
The definition supplies the e-fold number required by the InflationaryCosm structure and the InflationEfoldCert certificate, which asserts Nefolds = gap45 - 1 together with the n_s band (0.95, 0.96). It realizes the RS inflation prediction inside the phi-ladder framework and enables comparison of n_s and r with Planck data.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.