supernova_implies_stellar_imf
Supernova mechanism structure supplies the structural input required for the stellar initial mass function. Researchers building ledger-based models of stellar populations would cite this link to connect supernova feedback with IMF constraints. The proof is a direct one-line term that returns the hypothesis, exploiting the definitional equality between the two propositions.
claimIf the supernova mechanism follows from the ledger, then the stellar initial mass function follows from the ledger.
background
The StellarIMFStructure module defines stellar_imf_from_ledger as the proposition uhecr_from_ledger. The SupernovaMechanismStructure module defines supernova_mechanism_from_ledger as stellar_imf_from_ledger. This places the theorem inside the astrophysics layer that assembles ledger-derived structural implications for supernova mechanisms and stellar populations.
proof idea
The proof is a term-mode proof consisting of the single identifier h. It is a one-line wrapper that returns the hypothesis directly because supernova_mechanism_from_ledger is definitionally equal to stellar_imf_from_ledger.
why it matters in Recognition Science
This declaration bridges the supernova mechanism to the stellar initial mass function inside the Recognition Science ledger framework. It supports the construction of astrophysical structures from the unified ledger, consistent with the forcing chain that yields three spatial dimensions and self-similar scaling. No downstream uses are recorded, leaving open its integration into full stellar evolution models.
scope and limits
- Does not derive explicit supernova rates or luminosities.
- Does not specify the slope or functional form of the initial mass function.
- Does not address observational constraints beyond the ledger propositions.
- Does not connect to the phi-ladder mass formula or Berry creation threshold.
formal statement (Lean)
15theorem supernova_implies_stellar_imf (h : supernova_mechanism_from_ledger) :
16 stellar_imf_from_ledger :=
proof body
Term-mode proof.
17 h
18
19end SupernovaMechanismStructure
20end Astrophysics
21end IndisputableMonolith