mike-diff

Lightweight agentic dev workflows: discuss/spec/dev with adversarial validation, right-sized specs, and external verify gates