neon_ea_zero
plain-language theorem explainer
Neon (atomic number 10) has zero electron affinity proxy under the Recognition Science closure model. Chemists validating periodic trends via phi-ladder shell completion would cite this when checking noble-gas predictions. The proof is a one-line native decision that evaluates the distance-to-closure function at Z=10.
Claim. The electron affinity proxy for neon satisfies $eaProxy(10)=0$, where $eaProxy(Z)$ equals the distance to shell closure.
background
The module derives electron affinity from phi-ladder scaling: EA measures cost reduction when approaching 8-tick neutrality. Noble gases sit at closure and therefore carry near-zero or negative affinity, while halogens (one electron short) carry high affinity. The proxy is defined directly as $eaProxy(Z) := distToClosure(Z)$, so it vanishes exactly when valence electrons fill the shell. Upstream, eaProxy is the raw distance function; the two Z anchors supply the integer atomic-number map used by the periodic table and mass relations.
proof idea
One-line wrapper that applies native_decide to evaluate eaProxy 10 and confirm the result is zero.
why it matters
This theorem supplies the concrete noble-gas instance of the module's sign prediction (EA ≤ 0 at closure). It anchors the halogen-noble contrast that follows from the eight-tick octave and T7 closure rule. No downstream theorems yet reference it, but it closes the zero-proxy case for the first noble gas in the phi-ladder ordering.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.