alkalineEarthZ
plain-language theorem explainer
This definition enumerates the atomic numbers of alkaline earth metals for use in metallic bonding calculations within Recognition Science. Researchers modeling electron delocalization in lattices would reference it to determine valence electron contributions. It consists of a direct list assignment with no additional computation or lemmas applied.
Claim. The atomic numbers of the alkaline earth metals (group 2) are given by the list $4, 12, 20, 38, 56, 88$.
background
The metallic bonding module treats metals via delocalized valence electrons that minimize recognition cost (J-cost) across a lattice, forming an electron sea with collective 8-tick coherence. Band structure and conductivity follow from phi-scaling, with predictions of low ionization energy and high coordination numbers. Upstream anchor relations supply the integer Z identifiers for element classification in this setting.
proof idea
The declaration is a direct definition that assigns the fixed list of atomic numbers without invoking any lemmas or tactics.
why it matters
It supplies the data for the isMetal predicate and freeElectrons function, which feed the cohesiveEnergyProxy and the transition_cohesive_gt_alkali theorem. This supports the RS mechanism where alkaline earth metals contribute two electrons to the delocalized sea, consistent with the eight-tick octave and phi-related scaling in the metallic bonding derivation.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.