SuperAPI AI 工具集

spec-reliability-implementation

编程与开发

查看项目

更新于 10-15 17:29

技能介绍

用途:把一份书面规范落实为行为可证明符合规范的服务,重点覆盖超时、重复请求、畸形载荷、依赖故障等不顺利路径。

主要能力:解析规范为可测试子句清单(每条给 id,分为顺利路径、错误路径、可靠性属性、非功能);为每条子句写一个 Gherkin 验收场景并打上子句 id;先运行确认失败(红),再逐条实现转绿;按需加入可靠性原语——类型化错误映射与边界校验、仅对幂等操作的有界重试(指数退避加抖动、期限与熔断)、以幂等键去重写入并持久化键到结果、结构化日志与关联 ID、RED 指标、/healthz 与 /readyz 探针、跨下游调用的追踪;针对真实运行的服务运行完整验收套件,并可主动注入超时、重放请求、杀死依赖;输出 conformance-report.md(子句、引文、场景、PASS/FAIL、证据、可靠性属性分项、ship/no-ship 结论)。

使用方式:先读规范提取子句清单,再写 acceptance-examples.feature;运行确认全部失败并留存证据;每次只让一条子句转绿,随后跑套件加 lint 与类型检查,不批量提交;最后运行 bash {baseDir}/scripts/validate.sh 和验收套件,生成符合性报告。

适用场景:需要把规范与代码行为绑定、防止绿色演示掩盖错误路径的 API 或服务开发。

限制:规范是唯一事实来源,代码偏离规范即为静默违约;未处理的规范错误视为 FAIL 而非 TODO;无法观测的子句不可测试。运行方式与 Codex 适配参考 references/codex-parity.md。