invariant-guard - 以不变量为先的算法正确性设计在编写或审查非平凡算法代码前，要求明确契约、不变量、终止性论证、基例和边界情况。标签更新于: 2026-10-02算法正确性循环不变量形式化推理边界情况递归代码审查能力典型输入典型输出该技能可以做什么陈述函数契约编写循环不变量论证终止性定义递归基例枚举边界情况核对后置条件与不变量编码排除非法状态输入算法需求函数规范源代码边界条件约束类型系统约束输出书面函数契约循环不变量终止性论证递归基例边界情况表修正后的算法代码自检说明要求来源规范: SKILL.md
