structure
definition
of
show as:
view math explainer →
open explainer
Read the cached plain-language explainer.
open lean source
IndisputableMonolith.Astrophysics.NucleosynthesisTiers on GitHub at line 11.
browse module
All declarations in this module, on Recognition.
explainer page
depends on
-
tick -
Energy -
tick -
Constants -
Strategy -
of -
phase -
forces -
is -
of -
is -
of -
Tick -
is -
of -
Tick -
Tick -
is -
Tick -
and -
phase -
density -
value -
L -
M -
L -
M
used by
-
srCost_pos_off_threshold -
applied -
energyConservationCert -
christoffel -
const_one_is_geodesic -
costRateEL_const_one -
costRateEL_iff_const_one -
costRateEL_implies_const_one -
geodesicEquationHolds -
geodesic_iff_hessianEnergy_EL -
hessianMetric_eq -
actionJ_convex_on_interp -
actionJ_local_min_is_global -
actionJ_minimum_unique_value -
geodesic_minimizes_unconditional -
Jcost_convex_combination -
energy_conservation -
hamilton_equations_from_EL -
totalEnergy -
newtonSecondLawCert -
space_translation_invariance_implies_momentum_conservation -
actionJ_def -
actionJ_nonneg -
const_apply -
Jcost_quadratic_leading_coeff -
Jcost_taylor_quadratic -
standardEL -
comma_small -
scale_fibonacci -
twelve_from_phi -
booker_count_eq_F2Power3_nonzero -
booker_seven_eq_2_pow_3_minus_1 -
card_eq_seven -
name -
no_eighth_plot -
plot_composition_cancels_iff -
plot_count_scaling -
plotEncoding_image_eq_nonzero -
plotEncoding_image_nonzero -
Q3_nontrivial_subgroup_count
formal source
8# Strategy 2: φ-Tier Nucleosynthesis
9
10This module derives the mass-to-light ratio M/L from the discrete φ-tier
11structure of nuclear densities and photon fluxes.
12
13## Core Insight
14
15In Recognition Science, physical quantities occupy discrete φ-tiers:
16- Nuclear density: ρ_nuc ~ φ^{n_nuclear} × ρ_Planck
17- Photon luminosity: L ~ φ^{n_photon} × L_unit
18
19The M/L ratio is the tier difference:
20 M/L = φ^{n_nuclear} / φ^{n_photon} = φ^{Δn}
21
22## Eight-Tick Nucleosynthesis
23
24The eight-tick cycle constrains nucleosynthesis:
25- Nuclear reactions occur in phase-locked 8-tick windows
26- Energy release follows φ-quantized steps
27- This forces Δn to be an integer
28
29## Main Result
30
31The nucleosynthesis-derived M/L matches Strategy 1:
32 M/L ∈ {φ^n : n ∈ [0, 3]}
33
34Typical value: M/L ≈ φ^1 ≈ 1.618 solar units
35
36-/
37
38namespace IndisputableMonolith
39namespace Astrophysics
40namespace NucleosynthesisTiers
41