pith. machine review for the scientific record. sign in
module module moderate

IndisputableMonolith.Cosmology.LargeScaleStructureFromRS

show as:
view Lean formalization →

This module derives large-scale cosmic structure from Recognition Science by defining regimes and scales on the phi-ladder. It introduces LSSRegime, scale functions, and the LargeScaleStructureCert using the RS time quantum. The content consists entirely of definitions and a certification object with no proof bodies.

claimThe module defines the large-scale structure regime $LSSRegime$, scale functions $scale$, $scale_ratio$, $scale_pos$, and the certificate $LargeScaleStructureCert$ in RS-native units with base time quantum $τ_0 = 1$.

background

Recognition Science derives cosmology from the T0-T8 forcing chain, with T7 fixing the eight-tick octave and T8 fixing D = 3 spatial dimensions. This module imports the fundamental RS time quantum τ₀ = 1 tick from Constants and operates in the cosmology domain. It introduces LSSRegime as the regime for structure formation, along with scale, scale_ratio, scale_pos for positioning on the phi-ladder, and LargeScaleStructureCert as the certifying object.

proof idea

This is a definition module, no proofs.

why it matters in Recognition Science

The module supplies LargeScaleStructureCert and LSSRegime to support higher-level cosmology results in the Recognition framework. It connects directly to the eight-tick octave and D = 3 from the forcing chain, filling the large-scale structure component of RS cosmology.

scope and limits

depends on (1)

Lean names referenced from this declaration's body.

declarations in this module (7)