E_chemical
plain-language theorem explainer
The definition sets the chemical energy scale to the base coherence quantum E_coh at rung zero on the phi-ladder. Engineers and physicists modeling RS-derived energy storage hierarchies cite it to anchor the chemical baseline before comparing to nuclear scales. It arises by direct substitution of the zero rung index into the general phi-rung energy expression.
Claim. $E_chemical = E_coh$ where $E_coh$ is the coherence quantum energy at rung zero of the phi-ladder.
background
Recognition Science places energy storage on the phi-ladder with energy at rung n given by E_coh times phi^n, where E_coh equals phi^{-5} eV. The module Engineering.EnergyStorageDensityStructure derives limits on energy density from this ladder and the J-cost structure, stating that energy equals J(x) times the coherence quantum. The chemical rung is fixed at index zero, representing one coherence quantum per bond. Upstream, phi_rung_energy supplies the general formula E_coh_storage * phi^n while chemical_rung supplies the index zero.
proof idea
The definition is a one-line wrapper that applies phi_rung_energy to the chemical_rung index of zero.
why it matters
This supplies the base chemical scale referenced by rs_energy_storage_hierarchy and nuclear_exceeds_chemical, which establish the full hierarchy with nuclear energy exceeding chemical by phi^45. It realizes the EN-004 chemical limit of one coherence quantum per bond. In the framework it anchors the lowest rung of the phi-ladder, consistent with the J-uniqueness fixed point and the eight-tick octave.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.