Pith. sign in
module module moderate

IndisputableMonolith.Cosmology.InflationModelsFromConfigDim

show as:
view Lean formalization →

This module defines inflation models derived from configuration dimension in Recognition Science cosmology. Researchers working on early-universe dynamics consistent with the phi-ladder would cite these definitions. It is a definition module that imports the RS time quantum and lists no proofs.

claimDefinitions of inflation models and their certifications, constructed from the dimension of the configuration space in the RS framework with time quantum $\tau_0 = 1$ tick.

background

The module sits in the Cosmology domain and imports IndisputableMonolith.Constants, whose sole documented content is the fundamental RS time quantum $\tau_0 = 1$ tick. It introduces sibling objects that parameterize inflation models by configuration dimension, consistent with the eight-tick octave and $D=3$ spatial dimensions from the forcing chain. No module-level doc-comment is supplied.

proof idea

this is a definition module, no proofs

why it matters in Recognition Science

The module supplies the base definitions for inflation models that later cosmology results would invoke. No downstream declarations are listed yet, so it currently stands as an entry point into RS cosmology from the forcing-chain landmarks T7 and T8.

scope and limits

depends on (1)

Lean names referenced from this declaration's body.

declarations in this module (4)