cmbTempLow
plain-language theorem explainer
This definition supplies the lower edge 2.7 of the CMB temperature structural band for Recognition Science cosmology calculations. Workers on the five canonical CMB observables cite it when bounding the temperature range consistent with phi-ladder scaling and Wien's law. The declaration is a direct constant assignment with no computation or lemmas required.
Claim. The lower bound of the cosmic microwave background temperature in the Recognition Science structural band is defined as $2.7$ (in Kelvin).
background
The module records the observed CMB temperature as 2.725 K and states that its product with the age of the universe (approximately 4.35 × 10^17 s) approximates a constant under Wien's law. It further gives the RS-native scaling T_CMB ≈ 1 / (φ^45 × τ₀ × constant), where φ is the self-similar fixed point from the forcing chain. Five canonical observables (temperature, spectral index, tensor-to-scalar ratio, baryon density, dark energy) are identified with configDim D = 5.
proof idea
The declaration is a direct definition that assigns the real number 2.7 with no lemmas or tactics applied.
why it matters
This definition anchors the lower limit of the CMB temperature band inside the S3 cosmology module. It supports the structural link between temperature and universe age via the phi-based expression and contributes to the count of five CMB observables matching configDim D = 5. The placement is consistent with the eight-tick octave and the overall forcing chain that derives D = 3 spatial dimensions.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.