planck_central
plain-language theorem explainer
Named constant for the Planck 2018 central value of the dark-energy density parameter, Ω_Λ = 0.6889. Cosmology proofs that compare RS-corrected Ω_Λ to observational bands cite it as the reference center. It is a bare numeric abbreviation with no proof content.
Claim. The Planck 2018 central value of the effective dark-energy density parameter is fixed as $\Omega_{\Lambda}^{\mathrm{Planck}} = 0.6889$.
background
The module forces the redshift kernel shape for the BIT dark-energy deviation $w(z) = -1 + \delta w_0 \cdot K(z)$ from rung factorization and single-rung balance at $\varphi^{-1}$. Among the consequences is a retirement certificate for the claim that BIT closes the Planck–RS $\Omega_\Lambda$ gap.
That certificate compares three real numbers: the bare RS $\Omega_\Lambda$, the maximum-amplitude BIT-corrected value, and the observational center. The present definition supplies the observational center (Planck 2018 one-sigma central value). A companion constant supplies the one-sigma half-width used in the same comparison.
proof idea
Pure definition: the real constant $0.6889$ is bound to the name. No tactics, lemmas, or computation.
why it matters
Feeds omega_gap_explanation_retired, the module's retirement certificate. That theorem shows (i) the max-amplitude BIT correction lands below the bare RS $\Omega_\Lambda$, (ii) the absolute gap to this Planck center exceeds the certified one-sigma width in the adverse direction, and (iii) the forced kernel keeps $w(z)\ge -1$ at every physical redshift, so neither shape nor amplitude can reverse the sign. The constant is therefore the observational anchor that makes the gap comparison numeric rather than qualitative. It does not itself encode any RS forcing step (T0–T8, RCL, eight-tick); it is external data used to falsify a cosmology hypothesis inside the BIT kernel program.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.