1. implement the patch category that Pijul uses
2. compose the patches
3. either you have a nice diff to show the user, or an explanation of why that is not possible, like "Can't show you the composition of A, X, Q because X depends on C"
Unfortunately they keep rewriting pijul from scratch.