Searching protocol for "behavioral-equivalence"
Observation-based bisimulation via coalgebra.
Prove program equivalence.
Guard refactors to preserve behavior.
Translate code, validate functionality.
Migrate Elm to idiomatic F# with confidence.
Shrink test suites, boost performance.
Ensure code changes don't break functionality.