paqad-ai
Version:
Spec-driven development framework — AI agents that think before they type
16 lines (10 loc) • 477 B
Markdown
## 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}}