SuperAPI AI 工具集

cavekit-validation-first

设计与创作

查看项目

更新于 10-16 06:21

技能介绍

用途:该技能面向 Cavekit 的规格驱动开发(SDD),核心原则是“代理无法验证的需求就不会被满足”。每条规格需求都必须写出代理可自动验证的测试化验收标准;若需求无法映射到任何验证门,则说明其过于模糊或缺少验证基础设施,需要改写规格或补充测试。

主要能力:定义六道有序验证门,按由便宜到昂贵排列:1 编译检查({BUILD_COMMAND});2 隔离单元验证({TEST_COMMAND});3 跨组件集成({E2E_TEST_COMMAND});4 资源与速度基准({BENCHMARK_COMMAND});5 启动冒烟测试({START_COMMAND} 加健康检查);6 人工审计。还包含阶段门(规格→计划→实现→迭代→监控→规格)的通过条件、代理工作树逐一合并协议(合并后跑构建、测试、启动验证,失败先修复再合并下一个分支)、完成信号(如 <all-tasks-complete>)以及回归视为 P0 的处理方式。

使用方式:在规格中为每条需求标注对应门;计划中说明各任务由哪些门验证;实现须通过适用门才算完成;迭代需显示可度量的门进展。可使用先写测试再实现、门级联、渐进门深度等模式,并按阶段选择必需门。

适用场景与限制:适用于需要自动验证的代理编码工作流,尤其多代理并行与合并场景。第 6 门人工审计无法自动化;第 4 门仅在规格明确性能要求、触及热点路径或大规模数据处理时使用。资料未提供具体构建、测试命令与端口等实现细节。