sigma8_predicted
plain-language theorem explainer
Recognition Science defines the predicted σ₈ as the CMB baseline scaled by a linear suppression factor in accumulated strain Q. Cosmologists addressing the σ₈ tension would cite this to forecast structure growth damping below the 8-tick scale. The definition performs a direct multiplication of the fixed Planck value by the suppression expression.
Claim. $σ_8^{RS}(Q) = σ_8^{CMB} ⋅ (1 - Q/Q_{max})$ where $Q$ is the cumulative recognition strain from 8-tick cycles.
background
The module addresses the σ₈ tension between Planck CMB measurements (≈0.811) and weak lensing observations (≈0.76). Recognition Science resolves this via the recognition operator and the 8-tick neutrality constraint, which introduces a coupling scale λ₈ below which growth is suppressed by the factor (1 - Q/Q_max). Upstream, sigma8_cmb supplies the Planck value 0.811 while suppressionFactor encodes the strain-dependent damping f_sup = 1 - Q/Q_max. The for structure from UniversalForcingSelfReference records meta-realization axioms, and normalized from Navier-Stokes bounds sequences to the unit interval.
proof idea
This is a one-line wrapper that multiplies sigma8_cmb by suppressionFactor Q. It composes the fixed CMB baseline with the suppression formula derived from the recognition strain accumulation.
why it matters
This definition supplies the RS forecast for σ₈ that matches weak lensing data within 2σ. It feeds into comparisons with observed_suppression and lambda_8 in the module. The construction relies on the eight-tick octave (T7) and the phi-ladder suppression scaling, closing the gap between CMB predictions and late-time structure measurements.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.