SuperAPI AI 工具集

grace-verification

通用与其它

查看项目

更新于 10-17 11:18

技能介绍

技能介绍

grace-verification 围绕 .grace/verification 的索引和验证文档维护确定性验证,目标是让持久模块具备 V-M-* 覆盖,例外也须有明确计划。

工作流程

读取模块图和已有条目,明确场景、命令、测试文件、日志标记及追踪断言,再通过活动变更计划更新验证资料并运行命令、记录证据。

关键约定

  • 工作目录通过直属 Cwd 元素声明,测试文件路径仍相对项目根目录。
  • Marker 用于需要运行日志或追踪发射的证据,TraceAssertion 可用于不需要运行日志的确定性测试。
  • 通过具名任务拆分测试、类型检查、构建和端到端验证,便于有选择地重跑。
  • 不稳定验证应根据逐次日志诊断、拆分、在任务内配置重试或隔离场景,不能靠静默重跑掩盖。

来源说明

依据 2026年10月17日取得的 GRACE 4 仓库固定快照原文整理;安装与运行效果未实测。