A consistency rule that constrains trap results according to the target object state.
Also known as proxy-invariants