# Patch Equivalence Checklist

- Are tests in scope listed explicitly?
- Are fail-to-pass and pass-to-pass tests separated?
- Was a counterexample search performed?
- Is equivalence grounded in traced behavior rather than diff similarity?
- Are unresolved assumptions visible if the result is not decisive?