Check that every write step in a multi-step plan has an undo step, and give the rollback order

Overview

For an agent plan made of steps with declared effects (read or write), checks every write in the plan, run or not, has a compensation step that exists, is itself a write, is not its own compensation, and that the dependencies have no cycle; flags writes declared irreversible; and, given which steps have completed, returns the compensations to run in reverse completion order. Does not judge whether a compensation really undoes the effect, nor run anything.

Health