IndisputableMonolith.Cosmology.InflationModelsFromConfigDim
The module supplies type definitions and certification structures for inflation models derived from configuration dimension in the Recognition Science cosmology setting. Cosmologists working inside the RS framework cite these objects when constructing early-universe expansion scenarios from the phi-ladder. It organizes the models through a main structure, an enumeration function, and a certification predicate, all built on the imported time quantum without any embedded proofs.
claimExports the structure $InflationModel$ parameterized by configuration dimension, the count function $inflationModel_count : ℕ$, and the certification predicate $InflationModelsCert$.
background
The module sits in the cosmology domain and imports the fundamental RS time quantum τ₀ = 1 tick from Constants. It introduces inflation models constructed from configuration dimension, extending the phi-ladder and forcing-chain machinery to the inflationary epoch while remaining in RS-native units. The sibling declarations InflationModel, inflationModel_count, InflationModelsCert, and inflationModelsCert supply the concrete catalog and verification layer.
proof idea
This is a definition module, no proofs.
why it matters in Recognition Science
The module feeds parent cosmology theorems by supplying the model structures needed for inflation derived from config dim. It closes part of the chain from the unified forcing chain (T0–T8) to concrete early-universe dynamics, providing the catalog that higher-level results instantiate.
scope and limits
- Does not derive inflation models from the functional equation.
- Does not compute numerical parameter values.
- Does not connect models to observational data.
- Does not impose additional dynamical equations beyond the config-dim parameterization.