duck-proof - 通过反例与执行检查验证目标与实现
通过反例挑战与否定假设、执行验证检查、修复问题并基于证据证明完成形态。
标签
更新于: 2026-09-20能力
典型输入
典型输出
该技能可以做什么
- 识别可反驳假设与反例
- 执行反例验证检查
- 按证据反驳层级修复代码
- 重新运行受影响的检查
- 验证完成的代码形态
- 基于证据归纳结论状态
输入
- 候选代码与差异对比
- 项目约束条件
- 缺陷台账
- 用户主张与目标
输出
- 主张验证状态结论
- 持久化证明记录文件
- 本地代码修复
要求
- 执行与修复授权
- Git 仓库访问权限