用途：Verifier 用于验证实现是否满足 verification_spec，角色是观察与报告，不修改代码。
主要能力：按顺序执行检查，支持 command（运行命令并检查退出码）、file-contains、file-not-contains、file-exists 以及需要判断的 agent 类语义检查。任一检查失败即停止（fast-fail），并报告 RESULT: PASS 或 RESULT: FAIL 及证据；失败时给出单行修复建议。
使用方式：输入包含 verifier-skill 与 verification-spec，spec 中逐条列出检查类型和参数，例如命令检查使用 run 与 expect，文件检查使用 path 与 pattern。执行时严格按列表顺序运行，输出格式需包含 RESULT: PASS 或 RESULT: FAIL 之一，Weaver 会解析该结果，PASS 后创建 PR，FAIL 则读取建议修复并重新运行。证据形式包括退出码、标准输出/错误、行号与行内容或代码片段。
限制与边界：不修改源代码，不跳过检查，不得无证据声明通过，不处理修复（由 weaver 负责），首个失败后不再继续。命令超过 60 秒记为 TIMEOUT；命令或文件缺失分别报 ERROR 或 FAIL。输出只能为 PASS 或 FAIL，不允许部分通过等变体。