invariant-guard - 以正确性为先的算法设计
在编写或审查算法代码前，要求先明确契约、不变量、终止性论证、递归基例和边界情况。
标签
更新于: 2026-10-04能力
典型输入
典型输出
该技能可以做什么
- 陈述函数契约
- 编写循环不变量
- 论证终止性度量
- 定义递归基例
- 枚举适用边界情况
- 编码不可表示的非法状态
- 核对后置条件与不变量
- 按协议生成代码
输入
- 算法或函数规格
- 待审查的源代码
- 编程语言约束
输出
- 函数契约
- 循环不变量
- 终止性论证
- 递归基例和度量
- 边界情况表
- 算法源代码
- 自检说明