変更とマージキュー

変更とは、版に適用すると新しい版か「衝突」を返す操作 $\delta$ である。版 $h$ への適用の結果を $\delta(h) \in \mathcal{C} \cup \{\text{衝突}\}$ と書く（プルリクエストを $h$ に併合した結果である）。

マージキューとは、変更の列 $\delta_1, \delta_2, \ldots$ を順に処理し、先頭 $h$ を次の規則だけで更新する仕組みである。

変更 $\delta$ について $m = \delta(h)$ を計算する。$m$ が衝突であるか $\chi(m) = \text{不合格}$ ならば、$\delta$ を却下して $h$ を変えない。そうでなければ $h$ を $m$ に進める。