coulombCoeff_predicted
plain-language theorem explainer
coulombCoeff_predicted supplies the electromagnetic prediction for the Coulomb coefficient in the semi-empirical mass formula as (3/5) times the inverse fine-structure constant times a radius ratio. Nuclear structure theorists comparing QCD-derived parameters to observed binding energies would cite this expression. The definition consists of a single arithmetic evaluation with no additional lemmas.
Claim. $C = (3/5) · (1/137.036) · (197.3 / 1.2)$
background
The QCD-to-Nuclear Bridge module connects strong-force parameters (α_s = 2/17 from wallpaper groups, string tension σ = φ^{-5}) to the coefficients of the semi-empirical mass formula (SEMF). This definition isolates the electromagnetic Coulomb term prediction using the fine-structure constant α ≈ 1/137.036 and a nuclear radius scale of 1.2 fm with ħc = 197.3 MeV fm. The module states that all theorems are machine-verified with zero sorrys.
proof idea
The declaration is a direct definition as the arithmetic product (3/5) * (1/137.036) * (197.3 / 1.2), with no lemmas or tactics applied.
why it matters
It supplies the target value for the consistency theorem coulombCoeff_consistent, which bounds the difference between the computed Coulomb coefficient and this prediction by 0.2. Within the Recognition framework, this completes one link in the chain from QCD constants to nuclear binding energies, supporting the overall derivation of physics from the functional equation via the forcing chain to D=3 and the phi-ladder mass formula.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.