light_ticks
plain-language theorem explainer
light_ticks is the definition that sets the photon emission tick count to the natural number 3 in the stellar assembly model. Astrophysicists working with recognition-weighted collapse would cite this constant to fix the light component when deriving mass-to-light ratios from cost differentials. The value 3 is chosen to align with the eight-tick structure of the framework. It is introduced via a direct constant assignment with no further computation.
Claim. The photon emission tick count is the natural number $3$.
background
The StellarAssembly module derives stellar mass-to-light ratios from the recognition cost differential between photon emission (with cost δ_emit = J(r_emit)) and mass storage (δ_store = J(r_store)). The J function is the unique convex cost J(x) = ½(x + 1/x) - 1 satisfying the Recognition Composition Law. The eight-tick structure fixes the integer n in the partition, yielding M/L on the phi-ladder with typical value φ^1 ≈ 1.618.
proof idea
This declaration is a direct constant definition assigning the natural number 3 to light_ticks. No lemmas are applied and the proof body is empty.
why it matters
This definition supplies the light tick count that enters the tick_partition theorem asserting mass_ticks + light_ticks = total_ticks. It supports the tick_ratio definition, whose doc-comment states that the tick ratio determines the base scaling tier. In the Recognition Science framework it instantiates the eight-tick octave by setting the light allocation to 3, contributing to the claim that stellar M/L ratios lie on the phi-ladder in {φ^n : n ∈ [0,3]}.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.