lorenzNumber
plain-language theorem explainer
lorenzNumber supplies the numerical value of the Lorenz number L as (π²/3)(k_B/e)² using Boltzmann's constant and the elementary charge. Condensed matter physicists cite the constant when applying the Wiedemann-Franz law to relate thermal and electrical conductivities in metals. The definition is a direct embedding of the closed-form expression with fixed numerical inputs.
Claim. The Lorenz number is defined by $L = \frac{\pi^2}{3} \left( \frac{1.380649 \times 10^{-23}}{1.602176634 \times 10^{-19}} \right)^2$.
background
The module treats metallic bonding as valence-electron delocalization across a cation lattice to minimize recognition cost (J-cost) while maintaining an 8-tick collective rhythm. The Wiedemann-Franz relation then links thermal conductivity κ to electrical conductivity σ through the constant L = κ/(σT). Upstream results supply generic structural assertions from OptionAEmpiricalProgram, SimplicialLedger edge lengths, mechanism-design structures, and mock-theta constructions, none of which enter the constant definition itself.
proof idea
One-line definition that directly assembles the product of (π²/3) with the squared ratio of the two supplied constants.
why it matters
The definition supplies the constant required by the downstream theorem lorenz_positive. It supports the module's claim that electrical conductivity correlates with free-electron density under 8-tick coherence and φ-scaling. The module doc positions the result inside the Recognition Science metallic-bonding derivation (CH-011) without further reduction to the Recognition Composition Law.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.