nuclear_efficiency
plain-language theorem explainer
Nuclear efficiency is defined as the constant 0.007. It quantifies the fraction of rest mass converted to energy in hydrogen fusion to helium-4. Stellar evolution calculations cite this value to obtain main-sequence lifetimes scaling as M to the power -2.9. The definition is a direct numerical assignment with no further steps.
Claim. The nuclear efficiency is the real number 0.007.
background
The Stellar Evolution module derives main-sequence relations from Recognition Science. Nuclear burning equilibrium combines with radiative transport and hydrostatic equilibrium to produce the luminosity-mass scaling. The nuclear efficiency enters the lifetime formula as the energy release fraction per unit mass in the expression t_MS = nuclear efficiency times hydrogen fraction times mass over luminosity.
proof idea
The declaration is a direct numerical definition. It assigns 0.007 to the real number without invoking lemmas or tactics.
why it matters
This supplies the fixed efficiency parameter for the main-sequence lifetime definition and its consequences, including lifetime decrease with mass and the solar lifetime approximation. It completes the nuclear burning step in the stellar evolution chain, supporting HR diagram derivations. The value aligns with energy release treatment in the framework's mass scaling.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.