stellar_imf_structure
This theorem shows that the stellar initial mass function structure follows directly from the ultra-high-energy cosmic ray structure in the ledger. Astrophysicists chaining stellar population models to cosmic-ray observations within Recognition Science would cite it to propagate structural implications. The proof is a one-line term application of the uhecr_structure result.
claimThe proposition that the stellar initial mass function follows from the ledger holds, proved by the ultra-high-energy cosmic ray structure theorem which establishes the same ledger proposition from the positivity of $phi$.
background
In the StellarIMFStructure module the proposition stellar_imf_from_ledger is defined to be identical to uhecr_from_ledger. The upstream uhecr_structure theorem from the UHECRStructure module proves uhecr_from_ledger by phi_pos; its doc-comment states that UHECR structure implies positivity of phi. The local setting is the astrophysics domain of Recognition Science, where structural inputs are chained through the ledger using the phi fixed point.
proof idea
The proof is a one-line wrapper that applies the uhecr_structure theorem directly to discharge the stellar_imf_from_ledger proposition.
why it matters in Recognition Science
This result supplies the IMF-side structural input required by the supernova_mechanism_structure theorem, which states that supernova mechanism structure implies IMF-side structural input. It advances the chain of astrophysical structures in Recognition Science by linking stellar IMF to UHECR via phi positivity, consistent with the T5 J-uniqueness and T6 phi fixed point landmarks.
scope and limits
- Does not derive explicit IMF slopes or mass cutoffs.
- Does not incorporate observational data or error bars.
- Does not address the detailed supernova explosion dynamics.
- Does not extend the ledger implication to other cosmic-ray species.
formal statement (Lean)
12theorem stellar_imf_structure : stellar_imf_from_ledger := uhecr_structure
proof body
Term-mode proof.
13
14/-- Stellar-IMF structure implies UHECR-side structural input. -/