UNPKG

paqad-ai

Version:

Spec-driven development framework — AI agents that think before they type

16 lines (10 loc) • 477 B
## 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}}