E_coh
plain-language theorem explainer
E_coh supplies the base coherence energy scale for activation barriers in the J-cost model of reactions. Modelers of Arrhenius kinetics or enzyme lowering of barriers would cite this scale when working in RS-native units. The declaration is a direct one-line assignment of the value phi to the power minus five.
Claim. $E_ {coh} := phi^{-5}$ (characteristic barrier scale in RS-native units).
background
Activation energy barriers emerge from the J-cost landscape, where the transition state is the point of maximum J-cost along the reaction coordinate. The module states that the Arrhenius form arises from Boltzmann statistics over this landscape and that characteristic barrier heights scale with powers of phi applied to the coherence energy E_coh. Phi itself is the self-similar fixed point forced by the UnifiedForcingChain (T6).
proof idea
One-line definition that directly assigns phi raised to the power -5.
why it matters
This definition supplies the base scale required by the phi-scaling prediction in the module's Key Predictions section. It anchors the barrier height formula E_coh · phi^n that appears in the sibling declarations activationBarrier and boltzmannFactor. The placement ties the chemistry module to the eight-tick octave and the phi-ladder used throughout the mass and forcing chains.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.