rsPredictions
plain-language theorem explainer
This definition records the Recognition Science inflation predictions for 60 e-foldings as the scalar spectral index 0.967, tensor-to-scalar ratio 0.002, and zero non-Gaussianity. Cosmologists testing the J-cost slow-roll model against Planck data would cite these numbers directly. The definition is a direct record that instantiates the prediction structure with values obtained from the slow-roll parameters derived in the same module.
Claim. The Recognition Science inflation predictions for 60 e-foldings are the scalar spectral index $n_s = 1 - 2/60$, the tensor-to-scalar ratio $r = 8/60^2$, and non-Gaussianity parameter $f_{NL} = 0$.
background
The module derives cosmic inflation from J-cost slow roll. The J-cost function $J(x) = (x + x^{-1})/2 - 1$ has a minimum at $x=1$ and grows linearly far from it, producing a flat region that drives exponential expansion. The structure InflationPredictions packages the three observables: scalar spectral index $n_s$, tensor-to-scalar ratio $r$, and non-Gaussianity $f_{NL}$. Upstream results supply analogous prediction records in dark energy and black-hole information modules, each instantiated with RS-derived constants.
proof idea
The definition is a direct record literal that assigns the three fields of the InflationPredictions structure. No lemmas are applied; the values follow from substituting $N=60$ into the standard slow-roll expressions already established by the sibling definitions slowRollEpsilon and slowRollEta.
why it matters
This definition supplies the concrete numbers referenced by the rsPredictions records in the dark-energy, quantum-error-correction, and black-hole-information modules. It completes the COS-001 claim that inflation emerges from J-cost slow roll by giving the observable quantities for the standard 60 e-folding case. The values sit inside the Recognition Science framework that forces eight-tick periodicity and three spatial dimensions from the same J-cost equation.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.