Prove the cause, then make the smallest fix.
Finds a bug's proven root cause and applies the smallest targeted fix.
When to use it
Use when a test fails for an unclear reason, verification finds a failure, or behavior is wrong.
Give it failing behavior in a project; it reproduces and investigates the bug, then writes the minimal code fix.
What you provide
No setup requirements listed.
No additional actions listed.