| name | bug-fix |
| description | Fix bugs with reproduction, minimal changes, regression coverage, and targeted verification. |
Bug Fix
Use this workflow when correcting broken or unexpected behavior.
Workflow
- Reproduce the bug, or clearly reason about it when reproduction is not practical.
- Identify the likely cause in the current implementation.
- Make the smallest fix that addresses the cause.
- Add a regression test when possible.
- Run targeted verification for the affected area.
- Run broader checks if the fix touches shared behavior.
Final Report
Include:
- what failed before
- why the fix addresses it
- regression test coverage, if added
- verification run
- remaining risks