Verifier

In the context of a software factory, a mechanism that automatically determines whether AI output meets expectations. It may include test suites, formal assertions, static analysis rules, contract-based checks, or another model acting as reviewer, and serves both as a correctness gatekeeper and as a source of iteration signals.