file_copy
Copies one file inside a workspace, returns an operation ID for undo, and blocks occupied destinations unless the expected hash matches.
Instructions
Copy one file inside the workspace and return operation_id and undo_available.
An occupied destination is refused unless expected_destination_hash
matches its current content. The copy is not atomic across its two paths,
but it is recorded as one operation, so undo restores both ends. The
destination is subject to the credential-shaped refusal. dry_run writes
nothing. Otherwise the operation is undoable.
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| source | Yes | ||
| dry_run | No | ||
| destination | Yes | ||
| expected_destination_hash | No | ||
| i_accept_secret_write_risk | No |