Verifier

在软件工厂语境中，指一套能自动判断AI产出是否满足预期的机制，可包括测试套件、形式化断言、静态分析规则、契约式检查或由另一模型充当评审者，同时承担正确性守门人和迭代信号源两个角色。