用途:在 NemoClaw E2E 测试出现失败或不稳定(超时、环境搭建失败、断言失败、清理失败)时,先做完整源码审计,再决定修复或重跑。适用于 PR 或 CI 中出现的 E2E 失败,即使请求未点名该技能。仅查询状态或仅要求启动运行时不适用。
主要能力:以现有测试套件为规格,逐条枚举断言与独立谓词,包括复合成功表达式、辅助断言、退出码、输出解析、轮询截止时间、场景变体、矩阵输入、循环、备用路径、负向检查、恢复/重启/销毁/保留/重复清理、证据序列化、产物上传及依赖门禁。为每条断言建立台账行:ID 与位置、期望条件、实际输入与状态、产生路径与推理、修正、证据状态。区分源码支持、候选版本已观测、此前观测、运行时待定、未解决。
使用方式:先记录候选提交、运行尝试、失败作业、产物标识与完成边界;完整读取失败作业日志(含 setup、警告、失败、teardown、上传),大日志分块顺序读取,不得用尾部摘录或自动摘要替代。定位首个因果失败,标记最后完成的断言与首个未到达的断言。对每条谓词从期望条件回溯到产生值的代码,再用具体输入正向走查分支与状态变化,检查覆盖、默认值、持久化状态、环境传播与参数顺序。
限制:审计请求本身不授权改代码、推送、实际执行或合并;仅审计时只报告建议修正。不得把范围修复扩大为全仓库维护或添加无关检查。不得为通过而削弱断言行为、阈值或截止时间。不得用新回归测试替代对剩余路径的理解。源码检查不能保证运行时成功,需明确剩余运行时不确定性与所需授权执行。只有最终候选的全部必需作业与场景变体通过,才可声明套件为绿;跳过、缺失、取消或旧结果须明确标注。