module module moderate

`IndisputableMonolith.Nuclear.QCDToNuclearBridge`

This module supplies definitions for the strong coupling constant and QCD-to-nuclear bridge quantities such as string tension and Cornell potential coefficients within the Recognition Science framework. Nuclear physicists extending the phi-ladder to binding energies would cite these constants. The module consists of definitions, positivity statements, and bounds with no theorem proofs.

claimThe strong coupling constant satisfies $alpha_s = 2/17$ in RS-native units, with string tension $sigma > 0$, $r_0$ in fm, and Cornell potential coefficients obeying volume less than surface and small Coulomb terms.

background

The module sits in the nuclear domain and imports the RS time quantum $tau_0 = 1$ tick from Constants. Physics.StrongForce states: 'This module formalizes the derivation of the Strong Coupling Constant $alpha_s(M_Z)$. The Strong Force couples to the planar symmetries of the ledger.' Nuclear.BindingEnergy states: 'Can nuclear binding energies be derived from the phi-ladder framework? The 7 magic numbers are already verified as 8-tick consequences. This module extends to binding energies.'

proof idea

This is a definition module, no proofs.

why it matters in Recognition Science

The module extends T15 on the strong force and supplies constants for the nuclear binding question Q16 in BindingEnergy. It places the strong coupling constant from RS (2/17) into the phi-ladder setting for later use in nuclear structure calculations.

scope and limits

Does not derive the full QCD Lagrangian from the ledger.
Does not compute binding energies for specific nuclei.
Does not address electromagnetic or weak sectors.
Does not verify numerical matches to experimental alpha_s(M_Z).

depends on (3)

Lean names referenced from this declaration's body.

IndisputableMonolith.Constants module_import
IndisputableMonolith.Nuclear.BindingEnergy module_import
IndisputableMonolith.Physics.StrongForce module_import

declarations in this module (19)

def alpha_strong L29
def stringTension L32
def r0_fm L35
theorem alpha_strong_pos L38
theorem stringTension_pos L42
theorem phi5_bounds L47
theorem stringTension_bounds L57
def cornellPotential L81
theorem cornell_at_r0_formula L85
theorem volumeCoeff_in_range L92
theorem surfaceCoeff_gt_volumeCoeff L97
theorem coulombCoeff_small L101
def coulombCoeff_predicted L105
theorem coulombCoeff_consistent L107
def r_min L113
theorem r_min_pos L116
theorem alpha_over_sigma_pos L120
theorem alpha_over_sigma_gt_one L125
theorem strong_vs_em L139