module module moderate

`IndisputableMonolith.Chemistry.VanDerWaals`

The VanDerWaals module supplies noble gas atomic numbers together with proxies for polarizability, London dispersion, and Lennard-Jones parameters inside the Recognition Science chemistry scaffold. It applies the eight-tick neutrality predicate from PeriodicTable to identify closed-shell elements without any free parameters. Researchers deriving intermolecular forces from the phi-ladder would cite these definitions for zero-tuning predictions of boiling-point trends. The module consists entirely of definitions and direct computations.

claimNoble-gas atomic numbers are the set of Z satisfying the eight-window neutrality predicate on the phi-tier rails: $Z = 2,10,18,36,54,86$.

background

The module imports the Periodic Table Engine, which supplies an octave-to-eight-tick mapping for chemistry via phi-tier rails, fixed s/p/d/f block offsets, and an eight-window neutrality predicate that flags noble-gas closures. It also imports the RS time quantum tau_0 = 1 tick from Constants. These upstream objects furnish a parameter-free API for building downstream chemistry predictions.

proof idea

This is a definition module, no proofs.

why it matters in Recognition Science

The module supplies the noble-gas atomic numbers that enable the sibling declarations for boiling-point increases and Lennard-Jones potentials. It therefore instantiates the T7 eight-tick octave inside chemistry and supports the claim that van der Waals forces emerge from the Recognition Composition Law applied to the phi-ladder.

scope and limits

Does not incorporate experimental data for parameter fitting.
Does not treat non-noble-gas elements or compounds.
Does not derive the macroscopic van der Waals equation of state.
Does not include relativistic or many-body corrections.

depends on (2)

Lean names referenced from this declaration's body.

IndisputableMonolith.Chemistry.PeriodicTable module_import
IndisputableMonolith.Constants module_import

declarations in this module (16)

def nobleGases L32
def nobleGasBoilingPoint L35
def polarizabilityProxy L45
def londonDispersionProxy L50
def lennardJonesPotential L56
def ljMinimumDistance L61
theorem lj_minimum_approx L64
theorem noble_gas_bp_increases_he_ne L122
theorem noble_gas_bp_increases_ne_ar L126
theorem noble_gas_bp_increases_ar_kr L130
theorem noble_gas_bp_increases_kr_xe L134
theorem noble_gas_bp_increases_xe_rn L138
theorem noble_gas_bp_full_ordering L143
theorem london_decreases_with_distance L157
def ljRatioPhiConnection L206
theorem lj_phi_connection_approx L208