module module moderate

`IndisputableMonolith.Chemistry.IonicBond`

The ionic bond module supplies zero-parameter definitions for recognizing ionic bonds, especially alkali metal-halogen pairs, together with electronegativity differences, thresholds, and lattice energy proxies. It extends the phi-ladder predictions already established for ionization energy, electron affinity, and electronegativity. A researcher working in Recognition Science chemistry would cite these definitions when classifying bond types or estimating Madelung contributions. The module consists entirely of definitions and predicates with no

claimDefines the predicate isIonicBond$(Z_1, Z_2)$ as the conjunction of electronegativityDifference$(Z_1, Z_2)$ exceeding ionicThreshold together with isAlkaliMetal$(Z_1)$ and isHalogen$(Z_2)$, plus the functions alkaliMetalZ, halogenZ, latticeEnergyProxy, and the three Madelung constants for the NaCl, CsCl and ZnS structures.

background

The module belongs to the chemistry extension of Recognition Science, which derives all periodic properties from the eight-tick octave and phi-ladder scaling introduced in the PeriodicTable engine. That engine supplies the core fit-free API: octave-to-eight-tick mapping, phi-tier rails, fixed block offsets for s/p/d/f subshells, and the eight-window neutrality predicate that detects noble-gas closures. No per-element tuning is permitted.

proof idea

This is a definition module, no proofs.

why it matters in Recognition Science

The module supplies the ionic-bond classification layer that completes the basic chemistry toolkit and supports any later molecular or solid-state predictions inside the Recognition framework. It implements the CH-series bond-type definitions that rest on the PeriodicTable scaffold and the upstream patterns for ionization energy (sawtooth with phi^{2n} base), electron affinity (high for halogens), and electronegativity (inverse distance to closure). It touches the open question of recovering all chemical phenomenology from the phi-ladder and Recognition Composition Law without additional parameters.

scope and limits

Does not compute numerical bond energies or lattice energies beyond the listed proxies.
Does not define covalent, metallic or other non-ionic bond types.
Does not incorporate relativistic corrections or multi-electron correlation.
Does not validate any definition against experimental datasets.
Does not extend the alkali-halogen restriction to additional ionic pairs.

depends on (5)

Lean names referenced from this declaration's body.

IndisputableMonolith.Chemistry.ElectronAffinity module_import
IndisputableMonolith.Chemistry.Electronegativity module_import
IndisputableMonolith.Chemistry.IonizationEnergy module_import
IndisputableMonolith.Chemistry.PeriodicTable module_import
IndisputableMonolith.Constants module_import

declarations in this module (19)

def alkaliMetalZ L39
def halogenZ L42
def isAlkaliMetal L45
def isHalogen L48
def electronegativityDifference L58
def ionicThreshold L77
def isIonicBond L80
theorem alkali_halogen_ionic L95
def latticeEnergyProxy L127
def madelungNaCl L133
def madelungCsCl L136
def madelungZnS L139
theorem madelung_nacl_pos L142
theorem lattice_energy_increases_with_charge L148
theorem alkali_valence_one L164
theorem halogen_dist_one L170
theorem alkali_halogen_stable_1_1 L177
def bornExponentProxy L184
theorem born_exponent_in_range L188