IndisputableMonolith.Astrophysics.ObservabilityLimits
The ObservabilityLimits module assembles definitions for recognition length, coherence energy, and threshold quantities that bound observable stellar and galactic signals under RS constraints. Astrophysicists working inside the Recognition Science program cite it when imposing λ_rec and τ₀ limits on mass-to-light derivations. The module is built as a collection of named constants and short lemmas that import the φ-tier and recognition-cost machinery from its two sibling astrophysics modules.
claimObservability limits are expressed through the recognition length $l_{rec}$, coherence energy $E_{coh}$, threshold flux $F_{threshold}$, and coherence volume $V_{coherence}$, all constructed from the golden-ratio ladder and the fundamental time quantum τ₀.
background
The module sits inside the Astrophysics domain and imports the φ-tier nucleosynthesis strategy, which states that physical quantities occupy discrete φ-tiers, together with the stellar-assembly strategy that weights recognition cost during collapse. It also pulls the RS time quantum τ₀ = 1 tick from Constants and the elementary golden-ratio identities φ² = φ + 1 and φ = 1 + 1/φ from PhiSupport.Lemmas. These imported facts supply the discrete ladder and the algebraic closure needed for the observability quantities listed among the module’s siblings.
proof idea
This is a definition module, no proofs. It declares the core objects J_bit, E_coh, l_rec, F_threshold, V_coherence, M_max, J_mass, J_light, J_total, OptimalConfig and the supporting lemma optimal_ratio_is_phi_power, each built directly from the imported Cost, PhiBounds and StellarAssembly primitives.
why it matters in Recognition Science
The module supplies the λ_rec and τ₀ constraint layer required by the parent Astrophysics aggregator and by the MassToLight unified certificate. Downstream documentation explicitly lists these observability limits as one of the three parallel routes to the mass-to-light ratio, closing the last external-calibration gap in the RS astrophysics derivation.
scope and limits
- Does not derive numerical values for any threshold.
- Does not treat non-stellar or non-galactic systems.
- Does not incorporate observational datasets or error bars.
- Does not extend beyond the imported φ-ladder and τ₀ definitions.
used by (2)
depends on (6)
declarations in this module (21)
-
def
J_bit -
theorem
phi_eq_goldenRatio -
def
E_coh -
def
l_rec -
def
F_threshold -
def
V_coherence -
def
M_max -
def
J_mass -
def
J_light -
def
J_total -
structure
OptimalConfig -
theorem
optimal_ratio_is_phi_power -
def
ml_geometric -
theorem
ml_geometric_is_phi -
theorem
ml_geometric_bounds -
theorem
information_balance_gives_phi -
theorem
imf_from_j_minimization -
theorem
agrees_with_stellar_assembly -
theorem
agrees_with_nucleosynthesis -
theorem
ml_from_geometry_only -
theorem
ml_zero_parameter_certificate