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

IndisputableMonolith.Physics.CosmologicalConstantFromRS

show as:
view Lean formalization →

The module derives the Recognition Science cosmological constant as Λ_RS = 8φ^5/45 in native units from the phi-ladder. Cosmologists and quantum gravity researchers cite it for its parameter-free prediction that sits inside the alpha inverse band. The module structure is a sequence of direct definitions and algebraic identities imported from Constants with no external hypotheses.

claim$Λ_{RS} = 8φ^5/45$ where φ is the golden-ratio fixed point.

background

Recognition Science derives all constants from the J-uniqueness equation and the phi self-similar fixed point. The upstream Constants module fixes the RS-native time quantum τ₀ = 1 tick as the base unit. This module sits in the Physics domain and introduces the cosmological constant together with its positivity and band constraints.

proof idea

This is a definition module, no proofs.

why it matters in Recognition Science

The module supplies the exact cosmological constant that feeds into larger Recognition Science derivations of vacuum energy and cosmic expansion. It closes the step from T5 J-uniqueness and T6 phi fixed point to observable scales while remaining consistent with the eight-tick octave and D = 3.

scope and limits

depends on (1)

Lean names referenced from this declaration's body.

declarations in this module (6)