paqad-ai
Version:
Spec-driven development framework — AI agents that think before they type
11 lines (8 loc) • 445 B
Markdown
# Spec Defect Checklist
verified: 2026-11-02
- Contradictions: two rules that cannot both be true.
- Formula inconsistencies: formulas that fail on the spec's own edge cases.
- Boundary gaps: stated limits without exact-boundary behavior.
- Goal conflicts: design goals that prescribe incompatible outcomes.
- Dangling references: local IDs mentioned but never defined.
- Missing negative cases: conditional behavior without the inverse path.