Gyr_SI
plain-language theorem explainer
Gyr_SI supplies the numerical factor converting seconds to gigayears for reporting cosmological time scales. Observers comparing Recognition Science native-unit predictions against survey data would invoke it when rescaling age or lookback intervals. The definition consists of a single direct assignment of the conventional value 3.1557e16.
Claim. The number of seconds in one gigayear is defined by the constant equation Gyr_SI = 3.1557 × 10^{16}.
background
Recognition Science works entirely in native units with c = ℓ₀ = τ₀ = 1. Comparison to observations therefore requires an external calibration seam that maps native ratios onto SI meters and seconds. The module supplies that seam through Planck-scale anchors (ℓ_P = 1/√π in native units) together with conventional SI values for Mpc, ly, and Gyr; the SI numbers themselves remain CODATA-sourced inputs rather than RS outputs.
proof idea
The declaration is a direct numerical definition; no lemmas or tactics are applied.
why it matters
Gyr_SI is the denominator in the downstream seconds_to_Gyr conversion, which in turn lets native time ratios be reported in observational units. It belongs to the SI calibration layer that sits outside the T0–T8 forcing chain and the Recognition Composition Law; the module explicitly states that theoretical content resides only in the ratios, not in these external constants.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.