tw-invariant-ace - 在代码边界定义并强制执行归纳不变量

该技能可以做什么

• 定义具有所有者的归纳不变量
• 构造具体的反例追踪
• 在系统边界编码强制约束
• 使用测试套件验证不变量

输入

• 包含不变量信号的提示词
• 代码库状态边界与转换操作

输出

• 包含定义谓词的不变量记录
• 精细化的边界解析器与构造函数
• 验证测试信号与绊线

要求

来源

• 规范: SKILL.md