pith. sign in
module module high

IndisputableMonolith.Chemistry.IonizationEnergy

show as:
view Lean formalization →

The IonizationEnergy module defines a dimensionless proxy for ionization energy that depends only on an element's ordinal position inside its period. Modelers of ionic compounds or shell-closure energetics inside the Recognition Science framework cite these definitions when they need a zero-parameter cost function. The module consists entirely of supporting definitions and predicates with no theorems.

claim$I(Z)$ equals the integer position of atomic number $Z$ inside its period, taking value 1 for alkali metals and value equal to the period length for noble gases.

background

The module sits inside the Periodic Table Engine, which supplies an eight-tick octave mapping to chemical periods via phi-tier rails and fixed block offsets (s/p/d/f) together with an eight-window neutrality predicate. It also imports the RS time quantum tau_0 = 1 tick from Constants. The proxy is introduced to quantify the cost of breaking into a forming shell without any per-element parameters.

proof idea

this is a definition module, no proofs

why it matters in Recognition Science

The definitions feed the IonicBond module, whose RS Mechanism begins with the 8-Tick Closure Drive that requires both cation and anion to reach noble-gas shell closure. The proxy therefore supplies the low-ionization starting point for the electron-transfer step in the chemistry derivations of the Recognition Science framework.

scope and limits

used by (1)

From the project-wide theorem graph. These declarations reference this one in their body.

depends on (2)

Lean names referenced from this declaration's body.

declarations in this module (10)