pith. sign in
module module low

IndisputableMonolith.Physics.CosmologicalPerturbationFromRS

show as:
view Lean formalization →

The module supplies type-level definitions and a certification structure for cosmological perturbations derived from Recognition Science. Researchers extending the RS functional equation to early-universe dynamics would reference these objects. It consists solely of declarations and a cardinality count, forming a definitional layer that rests on the imported time quantum without any proof bodies.

claimIntroduces a classification of perturbation types, its cardinality, and a certificate establishing that cosmological perturbations follow from the RS time quantum.

background

Recognition Science begins from a single functional equation whose solutions fix the fundamental time quantum at one tick, as supplied by the imported Constants module. This module extends that base into cosmology by providing the type objects needed to classify and certify perturbations. The setting remains in RS-native units with the time quantum serving as the sole imported anchor.

proof idea

This is a definition module, no proofs.

why it matters in Recognition Science

The module supplies the type and certificate infrastructure required to derive cosmological perturbations inside the Recognition Science framework. It prepares the ground for later results that connect the forcing chain and phi-ladder to structure formation, though the dependency graph lists no direct parent theorems.

scope and limits

depends on (1)

Lean names referenced from this declaration's body.

declarations in this module (4)