Requirements

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.