Using executable checks to judge whether agent-produced work meets its contract.
Automated verification turns requirements into feedback an agent can act on: tests, type checks, linters, builds, assertions, and behavior probes. It reduces dependence on the agent's own narrative assessment of its work.