2つの項目間の制約(連動・依存)を検証するときは「更新後の最終状態」で判定する。制約はどちらの項目を変えても壊れ得るので、直接更新した項目だけでなく、相手側(親)を変えて既存値(子)が不可になるケースも検出する。更新に含まれない側は現在値を使って最終状態を組み立てる。