module module moderate

`IndisputableMonolith.Chemistry.MetallicBond`

The MetallicBond module defines transition metals (d-block, periods 4-6, groups 3-12) and associated metallic properties inside the Recognition Science chemistry layer. Researchers building zero-parameter models of conductivity and lattice packing in metals would cite these definitions. It is a definition module that extends the PeriodicTable engine with no proofs or new theorems.

claimTransition metals (d-block) occupy periods 4-6 and groups 3-12 on the phi-tier rails, with block offsets fixed by the eight-tick octave and neutrality predicate.

background

The module lives in the Chemistry domain and imports the PeriodicTable engine, whose doc-comment states: "Octave ↔ 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). No per‑element tuning is permitted." It also imports Constants, which fixes the RS time quantum as τ₀ = 1 tick.

Sibling definitions such as transitionMetalZ, freeElectrons, conductivityProxy, LatticeType, coordinationNumber, packingEfficiency, bcc_8tick and close_packed_12 supply the concrete API for metallic bonding. The setting remains fit-free: all structure derives from the octave-to-eight-tick correspondence already established upstream.

proof idea

this is a definition module, no proofs

why it matters in Recognition Science

The module supplies the metallic-bond interface that extends PeriodicTable into the d-block, feeding downstream chemistry predictions and falsifiers. It closes the scaffold for transition-metal properties (free electrons, conductivity proxy, lattice types) required by the zero-parameter chemistry API.

scope and limits

Does not derive numerical bond energies or lengths.
Does not incorporate experimental datasets or fitting parameters.
Does not address s-block, p-block or f-block elements.
Does not compute dynamical properties beyond static lattice descriptors.
Does not claim completeness for all metallic phases.

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