关系、约束与不变量

constraint：任意时刻成立

constraint account.balance >= 0

违反 constraint 的世界状态本身就是非法的。

invariant：跨变换保持

invariant total_supply_preserved {
  keep sum(accounts.balance) == ledger.total
}

invariant 是保持式：变换前成立，变换后仍必须成立。

自适应不变量场

在波动环境中，固定阈值往往是错误的：

invariant field latency_budget {
  when api.load < 0.6  keep api.p99 <= 300ms
  when api.load >= 0.6 keep api.p99 <= 800ms
}

这就是 4R 中 R_stab 的落地方式：不稳定 → 自适应不变量场化。