SuperAPI AI 工具集

verification-planning

编程与开发

查看项目

更新于 10-15 20:21

技能介绍

该技能用于非平凡编码工作前的验证规划。核心思路是:在改动复杂系统前,先构建“证据路径”——一条针对当前项目、从所提出的主张通向可证实、可限定或可反驳该主张的证据的路线。目的不是套用熟悉的技术,而是决定该系统如何揭示本次具体变更的真实情况。

主要流程:

  1. 框定主张:说明需要成立的行为,以及可能让结论出错的条件;考虑必须改变什么、必须保持什么、行为在何处跨越边界、哪种失败最严重。
  2. 设计证据路径:从系统本身推导可能路径,包括可控输入、可观察效果、状态转换、不变量、边界、产物,以及重复或反转场景的能力;先产生备选方案再选择,偏好能以相称成本、安全性和投入得出可信结论的路径。
  3. 按需创建验证辅助能力:当现有系统让决定性事实过于间接或模糊时,用最小的能力让相关状态可控制、可观察、可重复、可诊断;并谨慎决定其是临时还是长期存在。
  4. 路径未知时研究:当证据路径依赖不熟悉的依赖、框架、外部服务或快速变化的能力时,先请求 @librarian 做聚焦调研,了解官方或项目特定设施、约束与权衡。
  5. 让路径可运行:只准备可靠跟随证据路径所需的支撑,保持狭窄、可重复、可安全检查;引入依赖、持久诊断面或结构性改动前先询问。
  6. 关闭证据路径:实现后按计划路径执行,并对照原始主张解释证据,报告主张是被证实、限定还是反驳,区分已知事实与剩余不确定性。

适用范围:小型的机械式改动可直接沿用常规项目检查;较大的多阶段工作则用本技能确立后续工作所遵循的证据路径。需按比例使用。资料未提供具体收费、平台支持或安装方式等信息。