pith. sign in
module module moderate

IndisputableMonolith.Relativity.ILG.CosmologyDerived

show as:
view Lean formalization →

The CosmologyDerived module extracts cosmological models from the ILG relativity framework inside Recognition Science. Cosmologists and quantum gravity researchers would cite it for its parameter derivations. The module organizes content as definitions and derived claims that apply the forcing chain to expansion and structure.

claimCosmological quantities follow from the recognition composition law $J(xy) + J(x/y) = 2J(x)J(y) + 2J(x) + 2J(y)$ together with the self-similar fixed point $J(x) = (x + x^{-1})/2 - 1$, eight-tick octave of period $2^3$, and $D = 3$.

background

Recognition Science derives physics from a single functional equation. The module resides in the Relativity.ILG section and applies the forcing chain landmarks T5 (J-uniqueness), T6 (phi forced as fixed point), T7 (eight-tick octave), and T8 (D = 3). It works in RS-native units where $c = 1$, $hbar = phi^{-5}$, and $G = phi^5 / pi$.

proof idea

This is a definition module, no proofs.

why it matters in Recognition Science

The module supplies the cosmological layer that feeds the parent Relativity theorems and completes the step from the unified forcing chain to observable parameters. It touches the alpha band and mass formula on the phi-ladder.