pith. machine review for the scientific record. sign in
module module high

IndisputableMonolith.Cosmology.SIConversion

show as:
view Lean formalization →

SIConversion supplies explicit numerical conversions from Recognition Science native units to SI units for cosmological scales. A cosmologist bridging theory to experiment would reference these when matching the phi-ladder mass formula or eight-tick octave periods to measured values such as the Planck length. The module contains only definitions, importing the base time quantum from Constants and hard-coding CODATA 2018 numbers for ℓ_P, t_P, c, Mpc, ly, and Gyr.

claimThe module defines conversions such as $ℓ_P = 1.616255 × 10^{-35}$ m (uncertainty ±0.000018 × 10^{-35} m), $t_P$ in seconds, $c = 299792458$ m/s, together with Mpc, ly, Gyr and their positivity statements, using the RS-native Planck length $ℓ_P = √(ℏG/c³)$.

background

Recognition Science works in native units where c = 1, ħ = ϕ^{-5}, G = ϕ^5 / π. The upstream Constants module supplies the fundamental time quantum τ₀ = 1 tick. This SIConversion module translates the derived Planck length and other scales into laboratory units using CODATA 2018 data, enabling direct comparison with observation.

proof idea

this is a definition module, no proofs

why it matters in Recognition Science

These conversions allow the Recognition framework to interface with empirical cosmology. They feed parent results that place RS predictions inside the observed alpha^{-1} band and verify the D=3 spatial dimensions through the eight-tick octave. The module closes the unit bridge required by the T8 step of the forcing chain.

scope and limits

depends on (1)

Lean names referenced from this declaration's body.

declarations in this module (22)