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 }{
18 \[ \eqn{ Ingredients }{
19 \patchof L = \foreign \lor \patchof L = \py
22 \subsection{No Replay}
24 Ingredients Prevent Replay applies. $\qed$
26 \subsection{Unique Base}
30 \subsection{Tip Contents}
34 \subsection{Base Acyclic}
36 Consider some $D \isin B$. If $D = B$, $D \in \pqn$.
37 If $D \neq B$, $D \isin L$, so by Create Acyclic
38 $D \not\in \pqy$. $\qed$
40 \subsection{Coherence and Patch Inclusion}
42 Consider some $D \in \py$.
43 $B \not\in \py$ so $D \neq B$. So $D \isin B \equiv D \isin L$
44 and $D \le B \equiv D \le L$.
46 Thus $L \haspatch \p \equiv B \haspatch P$
47 and $L \nothaspatch \p \equiv B \nothaspatch P$.
51 \subsection{Unique Tips:}
53 Single Parent Unique Tips applies. $\qed$
55 \subsection{Foreign Inclusion}
57 Simple Foreign Inclusion applies. $\qed$
59 \subsection{Foreign Ancestry}
63 \subsection{Bases' Children}
65 Not applicable, by Ingredients.