alpha_GUT
plain-language theorem explainer
The definition fixes the GUT-scale coupling at α_GUT = 1/24 in RS-native units. Researchers comparing running couplings across energy scales cite it to anchor the unification point between electromagnetic, weak, and strong sectors. The assignment encodes the direct product of the eight-tick octave and three spatial dimensions without intermediate calculation.
Claim. $α_{GUT} = 1/24$
background
The QFT module derives running couplings from φ-ladder scaling, where each rung corresponds to a discrete energy scale and J-cost varies with rung number. Upstream results supply the fundamental tick as the RS time quantum (τ₀ = 1) and the unification theorem, which enforces identity, non-contradiction, and totality on the event space of any nontrivial recognizer. The eight-tick octave and D = 3 dimensions are the immediate precursors that fix the numerical value.
proof idea
One-line constant definition. The body directly assigns 1/24, which equals 1/(8 × 3) and thereby encodes the octave-dimension product from the forcing chain.
why it matters
This definition supplies the numerical target for the downstream theorem alpha_gut_intermediate, which proves α_s_Z > α_GUT > α_em_low. It implements the T7 eight-tick octave and T8 D = 3 steps of the unified forcing chain, closing the unification anchor inside the φ-scaling account of running couplings.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.