equilibrium
plain-language theorem explainer
The equilibrium condition states that the recognition cost vanishes exactly when the scale ratio equals unity. Researchers modeling baryogenesis or climate attractors cite this to anchor their J-cost calculations at the balanced point. The proof reduces directly to the unit lemma for the squared-ratio cost function.
Claim. $J(1) = 0$, where $J(x) = (x-1)^2/(2x)$ is the recognition cost function.
background
In the Recognition Science framework the J-cost function quantifies recognition cost for a scale ratio x via the explicit squared-ratio form J(x) = (x-1)^2/(2x). This module derives nonlinear dynamics and chaos from RS by equating chaos with J growth once the cost exceeds the J(φ) threshold; five bifurcation types arise from configDim D = 5 and period-doubling reaches the eight-tick octave 2^3. The upstream Jcost_unit0 lemma supplies the base case by direct simplification of the cost definition.
proof idea
One-line wrapper that applies the Jcost_unit0 lemma from the Cost module, which itself simplifies the definition of Jcost.
why it matters
This anchors the zero-cost reference point in the nonlinear-dynamics setup and feeds directly into BaryogenesisCert (where it certifies matter_balance_equilibrium) and climateJCost_nonneg (where it supports non-negativity). It realizes the fixed-point case of T5 J-uniqueness in the forcing chain, supplying the equilibrium reference for all downstream cost-based derivations in astrophysics, chemistry, and cosmology.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.