seemseam Bug Fix Prove-It
Use this skill when the user reports a bug or asks you to fix a failing test.
Read templates/test-proof.md for the final evidence report.
Workflow
- Restate the bug in observable terms.
- Reproduce the failure with an existing command, manual steps, or a new test.
- If reproduction is not possible, explain the proof gap before changing code.
- Make the smallest fix that addresses the root cause.
- Run the failing reproduction again and confirm it passes.
- Run nearby regression checks when shared code was touched.
- Report the before/after evidence.
Guardrails
- Do not fix from intuition when a cheap reproduction is available.
- Do not broaden behavior just to make the bug disappear.
- Do not hide the bug with a fallback, catch-all, or default-success response.
- Do not change tests to match incorrect behavior.
Output
Bug Fix Proof
- bug:
- reproduced with:
- fix:
- verified with:
- residual risk: