efoldCount_eq
plain-language theorem explainer
The Recognition Science inflaton model fixes the e-fold count at 44. Cosmologists building the inflaton certificate cite this equality to anchor the slow-roll parameters and regime count. The proof is a direct reflexivity reduction on the upstream definition of the e-fold count.
Claim. The e-fold count satisfies $N_e = 44$.
background
The Inflaton Potential Structural module treats the RS inflaton potential as having five structural regimes (configDim D = 5): slow-roll plateau, slope, hilltop, reheating, and radiation. Slow-roll parameters are given by ε = 1/(2φ⁵) and η = 1/φ⁵, with N_e-fold count stated as 44 (gap-45 ladder minus one tick for reheating transit). The upstream definition records: e-fold count N_e = 44 (gap-45 ladder).
proof idea
One-line wrapper that applies reflexivity to the definition of efoldCount.
why it matters
This equality supplies the efolds component of inflatonCert. It realizes the N_e = 44 value required by the module documentation for the cosmology section. The count connects to the phi-ladder and eight-tick octave in the forcing chain (T7).
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.