J_change_self
plain-language theorem explainer
The identity shows that the cost of evolving a configuration to itself equals its stasis cost exactly, since the transition penalty vanishes. Researchers analyzing fixed-point stability or the dynamics criterion in Recognition Science cite this when determining when change is preferred over stasis. The term-mode proof unfolds the change-cost definition, applies the self-transition identity, and simplifies via ring.
Claim. For any real number $x > 0$, the change cost from $x$ to $x$ equals the stasis cost of $x$.
background
J_stasis(x) is defined as eight times the recognition cost J(x), reflecting the eight-tick octave cycle over which a configuration must be maintained. J_change(x,y) is the sum of the transition cost from x to y plus the stasis cost at y, so that the total cost of moving and then holding the new state is captured in one expression. The module develops the dynamics criterion: a configuration evolves when the change cost to some other state is strictly lower than its own stasis cost.
proof idea
The proof is a one-line wrapper. It unfolds the definition of J_change to expose the transition term, rewrites that term to zero using the self-transition lemma, and concludes by ring normalization.
why it matters
This lemma anchors the dynamics criterion by confirming that unchanged evolution reduces exactly to stasis cost, supporting the statement that only the identity fixed point is stable. It connects directly to the eight-tick octave via the factor of eight in J_stasis and to J-uniqueness in the forcing chain. As a foundational identity in the modal possibility section, it prepares threshold analyses without adding hypotheses.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.