## Findings

### {{module}}: {{abuse-case-tag}}

- **Module:** {{module name / canonical doc path}}
- **Step:** {{specific workflow step / state transition}}
- **Abuse case:** {{replay | double-submit | invalid-transition | bypass-approval | race | rollback-skip}}
- **Missing proof:** {{which test/runtime evidence is absent or contradictory}}
- **Reproduction:** {{numbered, concrete steps a tester can run}}

### {{...next finding}}

## Open Questions

- {{omit when none}}