secondMagic_eq_2cubed
plain-language theorem explainer
The second magic number equals eight, linking nuclear structure categories to the eight-tick octave in Recognition Science. Nuclear physicists citing the RS framework for magic numbers and binding energies would reference this to confirm the 2^3 period. The proof is a one-line decision procedure that checks the natural-number definition directly.
Claim. The second magic number equals $2^3$.
background
The module Nuclear Physics Depth from RS defines five nuclear structure categories (single-particle, collective, rotation, vibration, cluster) with configDim D = 5. The second magic number is introduced as the constant natural number 8. This sits inside the broader Recognition Science forcing chain, where T7 requires an eight-tick octave whose period is exactly 2^3.
proof idea
The proof is a one-line wrapper that applies the decide tactic to the definition of the second magic number.
why it matters
This result populates the second_magic_cube field inside the nuclearPhysicsDepthCert definition, which certifies the full nuclear-physics depth claim. It directly instantiates the T7 eight-tick octave landmark and supplies the numerical link between the second magic number and the phi-ladder mass formula used for Fe-56.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.