代理不变量 Proxy invariant

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

别名 proxy-invariants