IndisputableMonolith.Chemistry.IonizationEnergy
The IonizationEnergy module defines dimensionless proxies for ionization energy based on an element's position within its period. Recognition Science chemists modeling zero-parameter shell costs would cite these definitions when building bonding predictions. The module consists of definitions and supporting lemmas that implement the proxy ranging from 1 for alkali metals to the full period length for noble gases.
claimThe dimensionless ionization proxy satisfies $1 \leq I_{\rm proxy}(Z) \leq n$, where $n$ is the length of the period containing atomic number $Z$, with $I_{\rm proxy}=1$ at alkali metals and $I_{\rm proxy}=n$ at noble gases.
background
The module sits inside the Recognition Science chemistry scaffold and imports the PeriodicTable engine, whose doc states it supplies an "octave to eight-tick mapping for chemistry: φ-tier rails with a fixed set of block offsets (s/p/d/f) and an eight-window neutrality predicate used to detect rests (noble-gas closures)" with no per-element tuning. It also imports the RS time quantum τ₀ = 1 tick from Constants. The supplied doc-comment states that the proxy "captures the cost to break into a forming shell" and runs from 1 (alkali) to periodLength (noble gas).
proof idea
This is a definition module, no proofs.
why it matters in Recognition Science
The module supplies the ionization proxies required by the downstream IonicBond module, whose doc describes ionic bonding via "8-Tick Closure Drive" in which cations and anions seek eight-tick shell closure. It therefore fills the CH-010 derivation step that links low-ionization metals to high-ionization non-metals inside the eight-tick octave framework.
scope and limits
- Does not incorporate measured ionization energies or datasets.
- Does not allow per-element parameter tuning.
- Does not compute absolute energies in eV or other units.
- Does not treat electron affinity or relativistic corrections.