代理不变量 Proxy invariant

根据目标对象状态约束 trap 结果的一致性规则。

别名 proxy-invariants