Methods & how-tos
Practical, tool-agnostic methods for verifying AI-generated code: spec-vs-implementation checks, checkable task definitions, measurable verification debt, and review workflows that survive AI speed.
Method
AI Coding Verification
How teams check AI-generated code against explicit task intent, validation plans, tests, and evidence before a change is accepted – the verification loop, step by step.
Updated: July 2, 2026Read article →
Method
Spec-vs-Implementation Check
Verify AI-generated code against a written statement of intent instead of your memory of the prompt - the five steps, the circularity problem it solves, and where the method ends.
Updated: July 2, 2026Read article →
Method
Code Review vs. Verification
Review judges quality, verification checks a change against written intent - why AI speed broke review-only workflows, what the data shows, and the division of labor that works.
Updated: July 2, 2026Read article →
Method
Machine-Checkable Specifications
Turn prompts into verifiable tasks: goal, boundaries, yes/no acceptance criteria, validation plan - the four building blocks and the rules that make criteria checkable.
Updated: July 2, 2026Read article →
Method
Measuring Verification Debt
Four metrics computable from git and PR data - generation-to-verification ratio, review depth, unverified-merge rate, two-week churn - with formulas, starting thresholds, and a worked example.
Updated: July 2, 2026Read article →
Method
Spec-Driven Development
Spec first, then code: how SDD works with AI agents, what Spec Kit and Kiro actually deliver, and the honest limits practitioners report - including why specs still need verification.
Updated: July 2, 2026Read article →
Show 2 more articles
- Two-Pass Review WorkflowMachine pre-check first, human architecture review second: what belongs in each pass, how to keep the machine gate high-precision, and why the human always makes the merge call.
- AI Session HandoffsSessions forget - compaction drops details, new sessions start cold. Write state, decisions, and open verification points into a persistent handoff artifact: the method, a template, its limits.
Want to follow the beta, or test it when it opens?
Join early access