solar_mass_energy
plain-language theorem explainer
The definition assigns the numerical value 1.8 × 10^54 to the rest energy of one solar mass in Recognition Science units. It is cited whenever GRB energy expressions scale with an accreted mass fraction. The declaration is a bare constant assignment with no lemmas or reductions.
Claim. The rest energy of one solar mass equals $1.8 × 10^{54}$ in Recognition Science native units.
background
The Gamma-Ray Bursts module develops GRB predictions from the Recognition Science framework, as outlined in the paper RS_Gamma_Ray_Bursts.tex. It imports JcostCore for cost primitives but introduces solar_mass_energy as an independent base scale. This constant supplies the reference energy that downstream expressions multiply by an accretion efficiency and a mass fraction.
proof idea
The declaration is a direct noncomputable definition that binds the identifier to the literal 1.8e54. No tactics, lemmas, or reductions are applied.
why it matters
It anchors the energy calculations that follow in the same module, feeding grb_energy, grb_energy_positive, and typical_grb_in_range. Within the Recognition Science framework it supplies a reference mass-energy scale consistent with the phi-ladder and J-cost relations. The value is chosen so that typical GRB energies fall inside the observed 10^51–10^54 window once the accretion factor is applied.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.