J_reactant
plain-language theorem explainer
J_reactant supplies the baseline J-cost value at the normalized reactant coordinate x=1. Kinetic modelers working from the J-cost landscape in activation energy derivations reference this point when normalizing reaction coordinates. The entry is a direct one-line substitution of the unit argument into the J definition.
Claim. The J-cost evaluated at the reactant state normalized to coordinate value 1 is given by $J(1)$, where $J(x) = (1/2)(x + x^{-1}) - 1$.
background
The module derives activation barriers from the J-cost landscape along a reaction coordinate. J is the cost function $J(x) = (1/2)(x + x^{-1}) - 1$ induced by multiplicative recognizers. Upstream results establish that recognition-event cost equals J-cost and that the cost function is obtained from the comparator of a MultiplicativeRecognizer. The module setting states that the transition state is the J-cost maximum and that the Arrhenius form follows from Boltzmann statistics over this landscape.
proof idea
One-line definition that substitutes the argument 1 into the J function.
why it matters
The definition fixes the reactant baseline for barrier calculations in the activation-energy module. It supports extraction of Arrhenius parameters and scaling of barriers with phi powers of coherence energy, consistent with the RS mechanism that links J-cost maxima to transition states and eight-tick attempt frequencies.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.