Fixing a bug in unrecord

When unrecording a deletion, the down context could be dead.

The first bug fixed here was that unrecord didn't re-detect missing contexts after unapplying the patch. This was done in apply with libpijul::apply::collect_missing_contexts, but not in unrecord.

The second bug was that the repair (for both apply and unrecord) didn't insert the extra edges needed to reconnect the broken link in some cases. In particular, when the two ends of the edge had already been visited by the "repair DFS".

Created by  pmeunier  on April 21, 2025
HP7CKJIW6TOQZFAZKKJFF76LGE7EMQVDTRH2RWPM4POIG2WRKHBAC
Dependencies
In channels
main
Change contents