Pith. sign in
module module moderate

IndisputableMonolith.Physics.CosmicMicrowaveBackgroundTemperatureFromRS

show as:
view Lean formalization →

Recognition Science places the CMB temperature in the structural band (2.7, 2.8) K. The module defines the CMB observable, its count, low/high bounds, a config-dimension span, and a temperature certificate. Cosmologists checking RS scale predictions would cite the certificate. Content is definitional packaging plus a band certificate, not a deep derivation.

claimThe cosmic microwave background temperature lies in the open structural band $(2.7, 2.8)\,\mathrm{K}$. The module introduces the CMB observable and its count, the bounds $T_{\mathrm{low}}=2.7$ and $T_{\mathrm{high}}=2.8$, a span tied to configuration dimension, and a certificate that the RS prediction sits inside that interval.

background

Recognition Science fixes physical scales from the forcing chain and the Recognition Composition Law, with constants carried in RS-native units. This physics module imports the fundamental time quantum $\tau_0=1$ tick from Constants and packages a CMB temperature claim as a structural band rather than a free parameter fit.

Sibling names indicate the local vocabulary: an observable type and count, numerical low and high edges at 2.7 K and 2.8 K, a span relative to configuration dimension, and a certificate object asserting the band. The module doc states the claim directly: CMB temperature $\in(2.7,2.8)$ K as a structural band.

proof idea

Module-level structure is definitional plus a certificate, not a multi-step tactic derivation. It introduces the CMB observable and count, pins the low and high temperature edges, relates the band width to configuration dimension, and exposes a certificate that the RS temperature lies in $(2.7,2.8)$ K. Downstream users import the certificate rather than re-proving the interval.

why it matters in Recognition Science

Supplies the RS structural band for $T_{\mathrm{CMB}}$, a standard cosmological anchor alongside other RS-native predictions (alpha band, mass ladder, Berry threshold). No recorded used_by edges yet, so it is presently a leaf physics packaging of the module doc claim. Parent cosmology or multi-constant audits would cite the certificate when checking that RS scales land in accepted observational windows without free Kelvin tuning.

scope and limits

depends on (1)

Lean names referenced from this declaration's body.

declarations in this module (7)