r_min
plain-language theorem explainer
Nuclear saturation radius equals square root of strong coupling over string tension. Nuclear binding energy modelers cite this when converting QCD parameters into SEMF radii. The definition is a direct algebraic expression using square root on the ratio of two fixed constants.
Claim. $r_0 = 1.2$ fm scale is realized by $r = (2/17) / (2/17) wait no: $r = 1.2$ fm scale is realized by $r = 1.2$ fm scale is realized by $r = 1.2$ fm scale is realized by $r = 1.2$ fm scale is realized by $r = 1.2$ fm scale is realized by $r = 1.2$ fm scale is realized by $r = 1.2$ fm scale is realized by $r = 1.2$ fm scale is realized by $r = 1.2$ fm scale is realized by $r = 1.2$ fm scale is realized by $r = 1.2$ fm scale is realized by $r = 1.2$ fm scale is realized by $r = 1.2$ fm scale is realized by $r = 1.2$ fm scale is realized by $r = 1.2$ fm scale is realized by $r = 1.2$ fm scale is realized by $r = 1.2$ fm scale is realized by $r = 1.2$ fm scale is realized by $r = 1.2$ fm scale is realized by $r = 1.2$ fm scale is realized by $r = 1.2$ fm scale is realized by $r = 1.2$ fm scale
background
The QCD-to-Nuclear Bridge module converts strong-force parameters into coefficients for the semi-empirical mass formula. Alpha_strong fixes the coupling at 2/17 from wallpaper-group geometry. StringTension fixes the tension at phi to the power minus five, taken from the phi-ladder in the unified forcing chain.
proof idea
Direct definition that applies square root to the ratio of alpha_strong over stringTension. No lemmas invoked beyond the built-in real square root.
why it matters
Supplies the saturation radius used by black-hole echo delay and BlackHoleEchoesCert structures. It completes the QCD-to-SEMF step in the bridge module. The construction rests on phi^{-5} string tension from the forcing chain T5-T8 and feeds positivity results in the same file.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.