IndisputableMonolith.Verification.Preregistered.Hubble.Measurement_2022
Pure-data module that freezes 2022 observational values for the early- and late-universe Hubble rates and for Ω_Λ. The Hubble preregistered test suite imports it so that measurements stay structurally separate from frozen RS predictions. No theorems live here; only named constants.
claimRecords the 2022 measured values $H_{\mathrm{early}}$, $H_{\mathrm{late}}$, and $\Omega_\Lambda$ as pure data for preregistered Hubble verification (no prediction formulae).
background
The preregistered harness (Core) enforces “formula frozen before measurement” by module layout: prediction modules must not import measurement modules; measurement modules hold pure data; test modules alone import both.
This file is the 2022 Hubble measurement slice. Sibling names expose three data objects: early-universe $H$, late-universe $H$, and the measured dark-energy density parameter $\Omega_\Lambda$. Mathlib is imported only for numeric types; no RS cost or ladder machinery appears here.
proof idea
Definition module only: no proofs, no tactics, no lemmas. It exposes named measurement constants consumed by the Hubble test module.
why it matters in Recognition Science
Feeds Verification.Preregistered.Hubble.Test, whose doc-comment states the checks: Hubble ratio (relative error) and $\Omega_\Lambda$ within $1\sigma$. Keeping 2022 data in its own module preserves the Core invariant that predictions cannot see post-hoc numbers, so any pass/fail of the Hubble tests is a genuine preregistered comparison rather than a fitted one.
scope and limits
- Does not derive or predict $H$ or $\Omega_\Lambda$ from RS formulae.
- Does not assert agreement with theory; only stores measured numbers.
- Does not update when later surveys revise the 2022 values.
- Does not encode error budgets beyond what the named constants carry.
- Does not import or depend on prediction modules.