module module high

`IndisputableMonolith.Chemistry.MetallicBond`

The MetallicBond module defines transition metal properties for d-block elements in rows 4-6 and groups 3-12 inside the Recognition Science chemistry scaffold. It supplies predicates and quantities such as transitionMetalZ, freeElectrons, conductivityProxy, and lattice descriptors that extend the eight-tick octave mapping. Researchers building zero-parameter models of metallic conductivity and packing would cite these definitions. The module contains only definitions and type declarations with no proof obligations.

claimTransition metals are the atomic numbers $Z$ satisfying transitionMetalZ($Z$) for d-block elements in periods 4-6, groups 3-12, equipped with freeElectrons($Z$), conductivityProxy($Z$), LatticeType, coordinationNumber, and packingEfficiency on the phi-ladder, together with the comparison fcc_hcp_denser_than_bcc.

background

The module sits inside the PeriodicTable engine, which supplies an octave to eight-tick mapping for chemistry through phi-tier rails, fixed s/p/d/f block offsets, and an eight-window neutrality predicate that detects noble-gas closures. The upstream doc states: 'This file provides a minimal, zero-parameter API surface to build downstream predictions and falsifiers without binding to datasets yet.' Constants contributes the RS time quantum tau_0 = 1 tick. Local definitions introduce transitionMetalZ for d-block identification, alkaliMetalZ and alkalineEarthZ for contrast, the isMetal predicate, freeElectrons count, conductivityProxy, LatticeType with bcc_8tick and close_packed_12 variants, coordinationNumber, packingEfficiency, and the density inequality fcc_hcp_denser_than_bcc.

proof idea

This is a definition module, no proofs.

why it matters in Recognition Science

The module supplies the metallic-bond primitives that extend the PeriodicTable zero-parameter scaffold into the chemistry domain. It populates definitions for lattice stability and electron counts that can later feed material-property derivations consistent with the Recognition Composition Law and the eight-tick octave of the T7-T8 chain steps. No downstream theorems are recorded yet, leaving the module as an open foundational block.

scope and limits

Does not cover f-block or p-block elements.
Does not include numerical mass or energy formulas.
Does not model alloys or specific compounds.
Does not bind to experimental datasets.
Does not derive conductivity values without further theorems.

depends on (2)

Lean names referenced from this declaration's body.

IndisputableMonolith.Chemistry.PeriodicTable module_import
IndisputableMonolith.Constants module_import

declarations in this module (17)

def transitionMetalZ L34
def alkaliMetalZ L43
def alkalineEarthZ L46
def isMetal L49
def freeElectrons L58
def conductivityProxy L69
inductive LatticeType L74
def coordinationNumber L81
def packingEfficiency L87
theorem bcc_8tick L93
theorem close_packed_12 L96
theorem fcc_hcp_denser_than_bcc L100
theorem alkali_low_ionization L106
def cohesiveEnergyProxy L115
theorem transition_cohesive_gt_alkali L122
def lorenzNumber L161
theorem lorenz_positive L165