版の取り決めが成立する条件

版の全体は全順序集合とし、クライアントが対応する版の有限集合を $C$、サーバが対応する版の有限集合を $S$ とする（どちらも空でない）。

1. （握手による方式。2025-11-25 版の Lifecycle の規則を模型にしたもの）クライアントが版 $c^{\ast} \in C$ を送り、サーバは $c^{\ast} \in S$ なら $c^{\ast}$ を、そうでなければある $s^{\ast} \in S$ を返し、クライアントは返された版が $C$ に入っていなければ切断する。このとき取り決めが成立するのは、$c^{\ast} \in S$ または $s^{\ast} \in C$ のとき、かつそのときに限る。
2. 1 の方式で $C \cap S = \varnothing$ なら成立しない。$C \cap S \ne \varnothing$ でも、双方が自分の最新の版を出す（$c^{\ast} = \max C$、$s^{\ast} = \max S$）と成立しないことがある。
3. 1 の方式で双方が最新の版を出すとき、$C$ と $S$ がどちらも版の全順序の中の区間（間の版をすべて含む）で $C \cap S \ne \varnothing$ ならば、成立する。
4. （要求ごとに版を示す方式。2026-07-28 版の規則を模型にしたもの）クライアントが版 $c \in C$ を付けて要求を送り、サーバは $c \in S$ なら処理し、そうでなければ $S$ を載せたエラーを返し、クライアントは $C \cap S$ から版を選んで再試行する。$C \cap S \ne \varnothing$ ならば、高々 2 回の要求で成立する。$C \cap S = \varnothing$ なら成立しない。