gap45
plain-language theorem explainer
Gap45 supplies the natural number 45 as the gap parameter in Recognition Science inflation models. Cosmologists working on RS-derived spectral indices cite it to obtain N_e = 44 e-folds. The declaration is a direct constant assignment with no lemmas or reductions.
Claim. Define the constant $gap_{45} = 45$ in the natural numbers.
background
Recognition Science derives inflation e-fold counts from gap parameters on the phi-ladder. The module sets N_e = gap(3) - 1, where gap45 provides the integer 45 to yield N_e = 44. This produces n_s = 1 - 2/44 ≈ 0.9545 and r ≈ 0.0062, positioned against Planck data in the A2 Inflation Depth setting.
proof idea
Direct definition that assigns the natural number 45 to gap45.
why it matters
This constant anchors the RS inflation e-fold prediction and feeds the derivations of n_s and r. It supports the framework's extraction of cosmological observables from the forcing chain (T5 J-uniqueness through T8 D = 3). The definition closes the parameter choice for the 44 e-fold model.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.