stated in the proof of Unique Base for each kind of commit.
$C \haspatch \p$ or $\nothaspatch \p$ is represented as a
-list of $\p$ for which it is known that $C \haspatch \p$;
+list of $\p$ for which $C \haspatch \p$;
for any $\p$ not listed, $C \nothaspatch \p$.
Whether to record $C \haspatch \p$ in a new commit
is in stated