pith. sign in
module module moderate

IndisputableMonolith.Cosmology.LargeScaleStructureFromRS

show as:
view Lean formalization →

The LargeScaleStructureFromRS module sets up the definitional framework for large-scale structure in Recognition Science cosmology. It introduces LSSRegime, scale functions, and LargeScaleStructureCert built on the imported Constants. Cosmologists deriving structure formation from the phi-ladder would reference these objects. The module is definitional with no internal proofs.

claimLSSRegime, scale, scale_ratio, scale_pos, LargeScaleStructureCert

background

Recognition Science derives all physics from one functional equation, with constants fixed in RS-native units. This module imports IndisputableMonolith.Constants, whose doc-comment states the fundamental RS time quantum τ₀ = 1 tick. It defines LSSRegime as the regime for large-scale structure, scale and scale_ratio for positioning, scale_pos for location on the ladder, and LargeScaleStructureCert as the certification object.

proof idea

This is a definition module, no proofs.

why it matters in Recognition Science

This module supplies the large-scale structure definitions that feed parent cosmological results in the Recognition Science framework. It connects to T8 (D = 3) and the phi-ladder mass formula from the unified forcing chain. No downstream uses are listed in the current graph.

scope and limits

depends on (1)

Lean names referenced from this declaration's body.

declarations in this module (7)