undo_file_change
Undo one retained file edit/write, move or copy by changeId. Pass the original workSessionId. Refuses if the contents changed afterward, the original move location is occupied, or a crash left the outcome unknown. Does not undo terminal commands or permanent deletions.
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| changeId | Yes | ||
| deviceId | No | Computer name or id from list_devices. Optional with one computer online or a default set. | |
| workSessionId | No | Work session from create_work_session. Pass the same ID on every call in this conversation; omit for legacy unscoped work. |