undo_operation
Revert a recorded filesystem operation by checking affected paths against recorded before/after states; if any path changed since, refuse the undo and leave files untouched.
Instructions
Undo one recorded operation and return the new operation_id and undo_available.
Before writing, every affected path is compared with the operation's
recorded before and after state. A path that matches neither was changed
afterwards: the whole undo is refused with UNDO_CONFLICT and nothing is
modified. A recorded move, copy or multi-file patch is undone as one
operation. Undoing a create removes the file only while it still matches
what was created. The undo is itself recorded; a refusal is recorded as an
undo_refused row carrying the conflict code and the blocking paths, and
that row is never offered as undoable.
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| operation_id | Yes |