Spec-driven workflow for AI coding agents: PRD, plan, build, verify, and track features using tracer-bullet vertical slices.