predicted_ratio
plain-language theorem explainer
The definition computes the predicted σ₈ suppression ratio by applying the normalized suppression factor to the calibrated effective recognition strain. Cosmologists examining the σ₈ tension between CMB and weak lensing data would cite this value when testing Recognition Science predictions. It is a direct one-line composition of suppressionFactorNorm with the observationally fixed Q_effective_calibrated.
Claim. The predicted suppression ratio is given by $1 - Q$, where $Q = 1 - σ_8^{WL}/σ_8^{CMB}$ is the effective recognition strain calibrated at scales $k ≈ 0.2 h/Mpc$.
background
The module addresses the σ₈ tension: Planck CMB gives σ₈ ≈ 0.811 while weak lensing yields σ₈ ≈ 0.76, a ~5% suppression unexplained in ΛCDM. Recognition Science resolves this via strain Q accumulated from 8-tick cycles that suppresses growth below the coupling scale λ_8, with the formula σ₈^{RS} = σ₈^{CMB} · (1 - Q/Q_max). Q_effective_calibrated is defined as 1 - sigma8_wl / sigma8_cmb, yielding the observed ratio ≈ 0.937 and corresponding to Q_eff ≈ 0.063. suppressionFactorNorm is the map Q ↦ 1 - Q.
proof idea
This is a one-line definition that applies suppressionFactorNorm to Q_effective_calibrated.
why it matters
This supplies the numerical prediction used by predicted_equals_observed and sigma8_match, which confirm exact matching to weak lensing by construction. It implements the suppression mechanism tied to the 8-tick neutrality constraint (T7) and feeds the Sigma8SuppressionCert structure. The result shows that Recognition Science can accommodate the observed tension once Q is calibrated to the geometric factor φ^{-5}.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.