chemical_rung
plain-language theorem explainer
The declaration fixes the chemical bonding rung index at zero on the phi-ladder. Engineers scaling coherence quanta between chemical and nuclear regimes cite this index to set the base energy level. It is introduced as a direct integer constant assignment.
Claim. The chemical bonding rung index is defined by $n_chem := 0$.
background
In the Energy Storage Density Structure module, energy is expressed as J-cost times the coherence quantum E_coh = phi^{-5} eV, where J(x) = 1/2(x + x^{-1}) - 1. The chemical limit is one coherence quantum per bond at the ground rung, while nuclear scales sit at rung 45. This produces the hierarchy chemical < nuclear < mass-energy with ratios governed by powers of phi.
proof idea
Direct constant definition that assigns the integer zero.
why it matters
This index supplies the base for E_chemical = phi_rung_energy chemical_rung and feeds the theorem nuclear_exceeds_chemical, which shows E_nuclear / E_chemical = phi^{45} matching the observed 10^9 ratio. It anchors the lowest tier of the energy storage hierarchy in the phi-ladder structure (T5 J-uniqueness, T6 fixed point) before nuclear and mass-energy scales.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.