3 Given a starting point $L$ and a proposed patch $\pq$,
4 create a Topbloke base branch initial commit $B$.
10 D \isin B \equiv D \isin L \lor D = B
13 \subsection{Conditions}
15 \[ \eqn{ Create Acyclic }{
19 \subsection{No Replay}
21 Ingredients Prevent Replay applies. $\qed$
23 \subsection{Unique Base}
27 \subsection{Tip Contents}
31 \subsection{Base Acyclic}
33 Consider some $D \isin B$. If $D = B$, $D \in \pqn$.
34 If $D \neq B$, $D \isin L$, so by Create Acyclic
35 $D \not\in \pqy$. $\qed$
37 \subsection{Coherence and Patch Inclusion}
39 Consider some $D \in \py$.
40 $B \not\in \py$ so $D \neq B$. So $D \isin B \equiv D \isin L$
41 and $D \le B \equiv D \le L$.
43 Thus $L \haspatch \p \equiv B \haspatch P$
44 and $L \nothaspatch \p \equiv B \nothaspatch P$.
48 \subsection{Unique Tips:}
50 Single Parent Unique Tips applies. $\qed$
52 \subsection{Foreign Inclusion}
54 Simple Foreign Inclusion applies. $\qed$
56 \subsection{Foreign Contents}