pith. sign in
module module high

IndisputableMonolith.Cosmology.InflatonPotentialStructural

show as:
view Lean formalization →

The module defines the structural elements of the inflaton potential in Recognition Science cosmology, with the central object being an e-fold count of 44 on the gap-45 ladder. Cosmologists using the RS framework cite these objects when evaluating slow-roll parameters and spectral indices. The module imports the base constants and assembles definitions plus equalities for regimes, counts, and certificates.

claim$N_e = 44$ on the gap-45 ladder, together with positive slow-roll parameters $\\epsilon$ and $\\eta$ and a spectral index inside the observed band.

background

The module sits in the cosmology domain and imports the Constants module whose sole documented object is the fundamental RS time quantum $\tau_0 = 1$ tick. It introduces sibling objects that encode the inflaton regime, the e-fold count, slow-roll epsilon and eta, and an inflaton certificate, all placed on the phi-ladder with gap indexing.

These definitions operate under the Recognition Science conventions that tie mass and energy scales to phi-powers and that locate the Berry creation threshold at $\phi^{-1}$. The local setting is therefore the early-universe dynamics consistent with the eight-tick octave and three spatial dimensions already fixed by the forcing chain.

proof idea

This is a definition module, no proofs.

why it matters in Recognition Science

The module supplies the e-fold count $N_e = 44$ and the associated slow-roll and spectral objects required for inflaton certification inside Recognition Science cosmology. It therefore supplies the numerical anchor that later results on spectral indices and potential shapes draw upon, linking directly to the phi-ladder and gap concepts of the unified forcing chain.

scope and limits

depends on (1)

Lean names referenced from this declaration's body.

declarations in this module (12)