IndisputableMonolith.Astrophysics.ObservabilityLimits

declarations in this module (21)

• def J_bit L52
• theorem phi_eq_goldenRatio L55
• def E_coh L59
• def l_rec L66
• def F_threshold L71
• def V_coherence L74
• def M_max L77
• def J_mass L82
• def J_light L85
• def J_total L88
• structure OptimalConfig L91
• theorem optimal_ratio_is_phi_power L109
• def ml_geometric L115
• theorem ml_geometric_is_phi L117
• theorem ml_geometric_bounds L120
• theorem information_balance_gives_phi L138
• theorem imf_from_j_minimization L152
• theorem agrees_with_stellar_assembly L172
• theorem agrees_with_nucleosynthesis L179
• theorem ml_from_geometry_only L191
• theorem ml_zero_parameter_certificate L213