paqad-ai

Version:

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

11 lines (7 loc) • 275 B

Markdown

# Verification Mapping

verified: 2026-11-02

Choose the narrowest proving layer:

- unit for isolated logic
- integration for contracts or persistence paths
- end-to-end for cross-boundary user behavior
- manual verification only when tooling cannot reliably prove the path