delete_file
Delete a regular file (up to 8 MiB) from a writable workspace after verifying its SHA-256 hash, storing bytes for recovery via restore_change.
Instructions
Recoverably delete one regular file <=8 MiB from an rw space after checking its SHA-256. Stores original bytes in private local recovery history; use restore_change to undo. No directory or permanent deletion tool.
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| path | Yes | ||
| workspace | Yes | ||
| request_id | Yes | ||
| expected_sha256 | Yes |