levelEnergy
plain-language theorem explainer
levelEnergy supplies the nuclear level position on the phi-ladder as the golden ratio raised to the power 2n plus delta offset. Nuclear modelers assembling valence-cost proxies for magic-number checks would cite this definition. It is realized as a direct real exponentiation of the phi constant taken from the CPM Constants bundle.
Claim. The nuclear level energy indexed by integers $n$ and $δ$ equals $φ^{2n + δ}$, where $φ$ is the golden ratio.
background
The Nuclear.Octave module places nuclear levels inside the eight-tick octave of Recognition Science. levelEnergy returns the rung height on the phi-ladder used to build occupancy or cost proxies. The upstream Constants structure from CPM.LawOfExistence bundles the golden ratio together with Knet, Cproj, Ceng and Cdisp. The cost definitions in MultiplicativeRecognizerL4 and ObserverForcing supply the J-cost of recognition events, which levelEnergy helps populate for later closure tests.
proof idea
The definition is a one-line wrapper that applies Real.rpow to the phi constant from Constants with the exponent formed by casting 2*n + δ to reals.
why it matters
levelEnergy is used by the isClosure predicate that declares an 8-window sum neutral when it equals zero, thereby identifying magic numbers on a fit-free valence-cost proxy. It fills the phi-ladder step required by the mass formula yardstick * phi^(rung - 8 + gap(Z)) and aligns with the T7 eight-tick octave and T8 D = 3 forcing-chain landmarks. The definition closes the scaffolding path from abstract cost to concrete nuclear octave sums.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.