Glossary · Reliability

Automated verification

Also: executable verification

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.