pith. sign in
module module high

IndisputableMonolith.Cosmology.CosmicInflationFromJCost

show as:
view Lean formalization →

The module establishes that cosmic inflation terminates when J-cost on the expansion ratio crosses the canonical threshold. Recognition Science cosmologists cite it to derive early-universe dynamics from the J-functional equation. It instantiates the six-clause CanonicalJBand template to supply matched-zero and nonnegativity for the domain cert.

claimCosmic inflation terminates when $J(r)$ exceeds the canonical threshold, where $r$ is the scale-factor ratio, $J(1)=0$, and $J(x)\geq 0$ for $x>0$.

background

The module sits in the Cosmology domain and imports CanonicalJBand. That template supplies the reusable six-clause J-cost-on-ratio structure used for every domain cert in the master chain. Recognition Science starts from the single functional equation whose J-uniqueness forces the self-similar fixed point and the eight-tick octave; the local setting applies the band to the inflation termination condition stated in the module doc-comment.

proof idea

This is a definition module, no proofs.

why it matters in Recognition Science

The module supplies the cosmology instance inside the master cert chain of B-tier whole-science openings and Plan v7 domain certs. It realizes the claim that inflation ends when J-cost crosses the canonical threshold. It therefore feeds the overall derivation of physics from the J-equation and the forcing chain steps T5-T8.

scope and limits

depends on (1)

Lean names referenced from this declaration's body.

declarations in this module (5)