Nefolds
plain-language theorem explainer
The declaration fixes the e-fold count N_e at 44, the value tied to the baryon rung on the RS phi-ladder. Cosmologists deriving inflation observables from Recognition Science cite this integer when evaluating n_s = 1 - 2/N_e or constructing model certificates. It is introduced by direct assignment, inheriting the upstream equality N_e = gap45 - 1 without additional computation.
Claim. The number of e-folds is defined by the integer equation $N_e = 44$, where this value corresponds to the baryon rung on the phi-ladder and satisfies $N_e = $ gap45 $- 1$.
background
The module constructs inflationary cosmology from Recognition Science by enumerating five canonical models (Starobinsky, natural, Higgs, chaotic, axion monodromy) whose count equals configDim D = 5. Recognition Science supplies the underlying J-cost and phi-ladder structure, with the upstream definition in InflationEfoldsFromGap45 establishing that the e-fold count equals gap45 minus one. The local setting therefore treats N_e as a fixed rung parameter rather than a free variable.
proof idea
The definition is a direct numerical assignment of 44. It replicates the upstream definition from InflationEfoldsFromGap45.Nefolds, which itself sets the identical integer from the gap-45 relation.
why it matters
This definition supplies the concrete e-fold value required by the downstream InflationaryCosm structure, which pairs it with the five-model count to certify RS inflation. It also feeds the nS_RS definition and the InflationEfoldCert that bounds the spectral index between 0.95 and 0.96. The choice of 44 closes the link between the T7 eight-tick octave and observable cosmology while remaining consistent with the forcing chain T0-T8.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.