luminosity_tier_local
plain-language theorem explainer
luminosity_tier_local fixes the stellar photon tier at integer 11 on the φ-ladder. Astrophysicists deriving mass-to-light ratios from nucleosynthesis tiers cite it to anchor the luminosity input. The definition is a direct constant assignment with no lemmas or reductions applied.
Claim. The canonical luminosity tier for stellar emission is the integer 11 on the φ-ladder, where solar luminosity corresponds to this tier index.
background
In Recognition Science, physical quantities occupy discrete tiers on the φ-ladder. PhiTier is the abbreviation for the integers ℤ that serve as these indices. The module derives M/L from the difference between nuclear density tier and photon luminosity tier via M/L = φ^{Δn} with Δn an integer fixed by the eight-tick cycle.
proof idea
One-line wrapper that assigns the constant integer 11 to the PhiTier type.
why it matters
This definition supplies the photon tier to tier_difference and ml_nucleosynthesis_eq_phi, which prove the nucleosynthesis M/L equals φ. It completes the luminosity side of the eight-tick nucleosynthesis strategy, placing M/L in the set {φ^n : n ∈ [0,3]} and linking to the φ-ladder structure.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.