https://keithhodo.dev/tags/requirements/Recent content in Requirements on Keith HodoHugo -- gohugo.ioen© 2026 Keith HodoMon, 03 Aug 2026 17:02:57 -0700https://keithhodo.dev/posts/requirements-analysis-agentic-clis/Mon, 03 Aug 2026 00:00:00 +0000https://keithhodo.dev/posts/requirements-analysis-agentic-clis/A red-to-green test proves your code matches your test. It proves nothing about whether either one matches the product’s intent. Kiro can check requirements for contradictions with an SMT solver before any code exists, and I went through the documentation to find exactly where that capability lives and what it costs.