[Trust Infrastructure]

Finished and Delivered Are Different Facts

A governed run finished its task and lost it: the executor committed, the wrap-up step read a clean tree as failure and aborted, cleanup deleted the only copy, and the ledger wrote done with no pull request beside it. Both words were true. Wherever a status vocabulary keeps one column for completion and delivery, it will eventually record one as the other.