stellar_imf_from_ledger
plain-language theorem explainer
Stellar initial mass function structure from the ledger is defined to be identical to the ultra-high-energy cosmic ray ledger condition. This equivalence allows direct transfer of structural properties between stellar population models and cosmic ray spectra in Recognition Science astrophysics. Researchers studying the initial mass function or ultra-high-energy cosmic rays would cite this when establishing consistency between these domains. The definition is a one-line alias to the upstream proposition asserting positivity of phi.
Claim. The stellar initial mass function ledger condition is the proposition $0 < phi$, where $phi$ is the golden ratio self-similar fixed point.
background
In Recognition Science the golden ratio phi arises as the self-similar fixed point forced in the T0-T8 chain (T6). The upstream definition uhecr_from_ledger asserts the base proposition 0 < phi. The StellarIMFStructure module introduces stellar_imf_from_ledger as an alias to this condition, providing the structural input needed to link stellar populations to ultra-high-energy cosmic rays and supernova mechanisms.
proof idea
This is a direct definition that aliases stellar_imf_from_ledger to uhecr_from_ledger. No additional lemmas or tactics are applied; the declaration is a one-line wrapper.
why it matters
This definition supplies the ledger hypothesis for stellar_imf_structure and stellar_imf_implies_uhecr, and is referenced by supernova_implies_stellar_imf and supernova_mechanism_from_ledger. It embeds the phi-positivity condition into astrophysical structure theorems, supporting downstream connections to the eight-tick octave and D=3 spatial dimensions in the Recognition framework.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.