# Patch Equivalence Example

Use the canonical patch-equivalence certificate together with a real failing
test and a real passing-test regression surface.

## What it teaches

- similarity of intent is not enough
- a decisive counterexample is stronger than style-level comparison
- no-counterexample arguments still need visible assumptions

Canonical template: `.hforge/templates/reasoning/certificates/patch-equivalence-certificate.md`