twentyeight_is_magic
plain-language theorem explainer
The integer 28 belongs to the set of nuclear magic numbers generated by successive 8-tick closures on the phi-ladder. Nuclear structure modelers would cite this when confirming the double-octave shell closure at 28 nucleons. The proof is a direct decidable computation on the finite enumerated set of magic numbers.
Claim. $28$ belongs to the set of nuclear magic numbers generated by 8-tick periodicity on the phi-ladder, specifically the sequence arising from vertex and edge counts in three-dimensional cube geometry.
background
Nuclear binding energies in Recognition Science are governed by the J-cost functional on the phi-lattice, with terms for volume saturation, surface boundaries, Coulomb repulsion via the fine-structure constant, isospin asymmetry, and pairing from phase alignment. The fundamental time quantum is the tick, defined as the RS-native unit with one octave equal to eight ticks. Magic numbers arise directly from this 8-tick periodicity: 2 as the first shell, 8 as one full period, 20 as eight vertices plus twelve edges, and 28 as the next double closure. Upstream results supply the tick definition and the structure of J-cost from phi-forcing derivations.
proof idea
The proof is a one-line wrapper that applies the decide tactic to confirm membership by exhaustive enumeration of the finite set of nuclear magic numbers.
why it matters
This theorem verifies the fourth entry in the 8-tick magic-number sequence tied to the eight-tick octave and three-dimensional geometry. It directly supports the module's extension from shell structure to full binding-energy coefficients via J-cost saturation and pairing terms. The result closes one step in the nuclear application of the phi-ladder framework without introducing new hypotheses.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.