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 }{
16 \pendsof{L}{\pqy} = \{ \}
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 No Replay $D \le L$
36 $D \not\in \pqy$. $\qed$
38 \subsection{Coherence and Patch Inclusion}
40 Consider some $D \in \py$.
41 $B \not\in \py$ so $D \neq B$. So $D \isin B \equiv D \isin L$
42 and $D \le B \equiv D \le L$.
44 Thus $L \haspatch \p \equiv B \haspatch P$
45 and $L \nothaspatch \p \equiv B \nothaspatch P$.
49 \subsection{Unique Tips:}
51 Single Parent Unique Tips applies. $\qed$
53 \subsection{Foreign Inclusion}
55 Simple Foreign Inclusion applies. $\qed$
57 \subsection{Foreign Contents}