agrees_with_stellar_assembly
Geometric and stellar-assembly derivations of the mass-to-light ratio both yield the golden ratio φ. Astrophysicists checking consistency across recognition-based models cite this result. The proof reduces to unfolding the geometric definition and applying the stellar value lemma.
claimThe mass-to-light ratio from geometric observability constraints equals the stellar assembly mass-to-light ratio: $M/L_ {geo} = M/L_{stellar}$, where both equal $φ$.
background
The Recognition-Bounded Observability module derives M/L from requiring photon flux to exceed the recognition threshold $E_{coh}/τ_0$ and mass assembly limited by coherence volume $V ~ l_{rec}^3$. The optimal configuration minimizes total J-cost $J_{total} = J_{mass}(M) + J_{light}(L)$, yielding $M/L ~ φ^n$ with typical value $φ ≈ 1.618$ solar units. ml_geometric is defined directly as φ. ml_stellar is defined as φ raised to the characteristic tier scaffold. The upstream theorem ml_stellar_value states: THEOREM (PROVED): Stellar M/L value is φ.
proof idea
The proof is a term-mode one-liner. It unfolds the definition of ml_geometric (which is φ) and rewrites using the stellar assembly value theorem ml_stellar_value, then applies reflexivity.
why it matters in Recognition Science
This equality is used by the main theorem ml_from_geometry_only, which asserts an M/L ratio equal to φ that also matches the nucleosynthesis derivation. It completes Strategy 3 in the observability module, confirming agreement with Strategies 1 and 2. The result ties into the phi-ladder and J-cost minimization from the core Recognition framework.
scope and limits
- Does not apply to non-stellar or non-observable systems.
- Does not derive the value of φ itself.
- Does not incorporate redshift or cosmological corrections.
- Does not address measurement uncertainties or errors.
formal statement (Lean)
172theorem agrees_with_stellar_assembly :
173 ml_geometric = StellarAssembly.ml_stellar := by
proof body
Term-mode proof.
174 unfold ml_geometric φ
175 rw [StellarAssembly.ml_stellar_value]
176 rfl
177
178/-- The geometric M/L agrees with nucleosynthesis M/L -/