プロトコルステートマシンにおいて、遷移が発火した後、オブジェクトの状態が整合していることを保証するために記述される条件はどれか。

「派生ユニオン（Derived Union）」であるプロパティ `{union}` は、読み取り専用（`{readOnly}`）である必要があるか。