H_early_exp
plain-language theorem explainer
The declaration supplies the numerical value of the early-universe Hubble constant as the fixed input for deriving the late-universe prediction under the dual-metric ratio. Cosmologists working in the Recognition framework cite it to anchor the 13/12 scaling that produces the 0.03 percent match between predicted and observed late values. The definition consists of a direct numerical assignment with no reduction steps or lemmas.
Claim. The early Hubble parameter is defined by $H_early = 67.4$.
background
This definition sits inside the module that formalizes the Hubble Tension and Dark Energy from ledger geometry. The module states the Dual Metric Hypothesis as the ratio of late to early Hubble constants equaling 13/12, which corresponds to the dynamic ledger (12 edges plus one time dimension) over the static ledger (12 edges). No upstream results are referenced; the value is imported directly as the observed early-universe measurement.
proof idea
The definition is a direct numerical assignment of the observed early-universe Hubble constant.
why it matters
This constant is the base input for H_late_pred and the theorem hubble_ratio_match that proves the predicted late value lies within 0.05 percent of observation. It anchors the Dual Metric Hypothesis in the T13 section, connecting the eight-tick octave structure to cosmological observables and supplying the starting point for the dark-energy density formula derived from passive-field volume fractions.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.