一句话解释
不变量是系统任何时候都必须守住的规则。
小白比喻
银行账户余额不能凭空多出来，仓库库存不能小于零。
第一性原理
不变量定义系统的安全底线，比单个功能是否好看更重要。
为什么 AI Coding 时代必须懂
Codex 写功能时可能只满足当前路径，指挥官要把底线规则写进任务。
商业项目事故
并发下两个用户同时购买最后一件商品，库存变成 -1。
指挥 Codex 时应该怎么问
请识别这个流程的不变量，并补测试保证它们不会被破坏。任务卡里应该怎么写
列出必须永远成立的业务规则和破坏时的处理方式。
验收标准怎么写
正常、异常、并发、重试路径都不会破坏不变量。
错误指令
只要用户这次能下单就行。
合格指令
库存扣减必须在事务中完成，任何路径都不能让库存小于零。