cosmicRatio
plain-language theorem explainer
The cosmic ratio equals the age of the universe divided by the Planck time. Modelers of dark energy from ledger tension cite this quantity to measure the scale separation between cosmic and microscopic regimes. The definition performs a direct division of the two time constants defined in the same module.
Claim. $t_ {universe} / t_{Planck}$, where $t_{universe}$ denotes the age of the universe in seconds and $t_{Planck}$ denotes the Planck time in seconds.
background
The Cosmology.DarkEnergy module derives the cosmological constant from ledger tension in Recognition Science. The ledger must balance globally while expansion creates new spacetime volume that requires additional entries; the resulting tension supplies the dark energy density. Upstream definitions fix $t_{universe}$ at 4.3e17 seconds and $t_{Planck}$ at 5.4e-44 seconds, entering the hypothesis that Lambda scales with the square of their inverse ratio.
proof idea
The declaration is a one-line definition that divides t_universe by t_planck.
why it matters
This definition supplies the input to the theorem cosmic_ratio_large, which establishes that the ratio exceeds 10^60. The result supports the ledger tension model for dark energy by quantifying the enormous scale gap between Planck and Hubble times. It aligns with the framework's use of scale ratios to generate small constants such as the cosmological constant in Planck units.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.