用途:让代码仓库、其智能体操作指南以及声明的运行器适合自主工作。默认目标等级为 B,C 仅作为检查点。范围包括智能体操作契约、就绪基础设施与可重复的应用 QA;不包括源码 diff 审查、已有可用证明路径时的常规自检、纯文字文档清理、发布决策与未授权外部操作。
主要能力:按 references/grading.md 分别给出仓库等级、运行器等级与证据等级,取最低适用能力,不平均掉阻塞项。审计 AGENTS.md 或仓库入口,检查定位、渐进路由、权限、生命周期、证明、恢复与回写是否可发现。发现并实际执行生命周期命令,记录退出码,例如:rg -n 'bootstrap|verify|teardown|boot|smoke' AGENTS.md package.json Makefile Justfile scripts 2>/dev/null。静态文件存在本身是弱证据。
使用方式:先锁定请求(目标等级、任务类别、运行器),再审计执行边界,填写 Required Output 档案,为每个自动化路径阶段写明输入/输出/负责人/终止条件。构建缺失契约的顺序为:可读性→运行器契约→冷启动→真实表面反馈→强制→隔离→恢复与结果提交→重复试验。复用仓库既有的 bootstrap、verify、teardown 命令,不另造 agent-* 脚本层。将模拟器、容器、浏览器等重型资源视为有主生命周期状态,记录资源 ID 并在所有退出路径释放本任务创建的资源。
证明与限制:用 references/verification-contract.md 区分确定性护栏、回归检查、真实表面运行时证明、CI 与线上证据,一层不隐含另一层。快乐路径与安全失败路径各跑一次,失败须非零退出并给出稳定分类与恢复动作。试验以机器可读 JSON 记录。B 或 A 声明需重复代表性试验并汇总指标。最终按请求目标或已证实阻塞结束。仅 mock 测试、文档声明与构建者自评不能证明就绪。不引入框架或工具仅为提升等级。