IndisputableMonolith.Constants.StrongCoupling
This module extends Recognition Science constants to the strong coupling regime by defining predictions for α_s and gauge sums. Researchers deriving particle physics parameters in the RS framework would cite alpha_s_prediction and StrongCouplingCert to connect the cubic ledger to QCD-like couplings. The module is organized as a collection of declarations that build directly on the imported alpha derivation.
claimThe module defines the strong coupling prediction $\alpha_s^{\rm pred}$, the gauge sum value, and the certificate $\rm StrongCouplingCert$ together with bounds on the gauge sum in RS-native units.
background
The module sits in the Constants domain. It imports IndisputableMonolith.Constants, which sets the fundamental RS time quantum $\tau_0 = 1$ tick, and IndisputableMonolith.Constants.AlphaDerivation. The latter states: 'This module provides a complete, constructive derivation of the fine-structure constant $\alpha^{-1}$ from the geometry of the cubic ledger.' Its main results include $4\pi$ from Gauss-Bonnet via vertex deficits of $Q_3$.
This module applies the same geometric ledger approach to the strong coupling constant $\alpha_s$ and related gauge quantities.
proof idea
This is a definition module, no proofs. The overall structure consists of sibling declarations such as alpha_s_prediction, gauge_sum_prediction, and strong_coupling_cert_exists that formalize the strong coupling extensions.
why it matters in Recognition Science
This module feeds the constant predictions in the Recognition Science framework by extending the alpha derivation to strong interactions. It provides the StrongCouplingCert that supports the overall derivation of coupling constants consistent with the phi-ladder structure.
scope and limits
- Does not derive $\alpha_s$ independently of the alpha derivation import.
- Does not provide explicit numerical values for $\alpha_s$ outside the phi-ladder.
- Does not address renormalization group running of the coupling.
- Does not connect to specific experimental QCD measurements.