Delete a strategy file
delete_fileDeletes a file in a new immutable revision for any strategy owned by the authenticated user. Requires editHandle from get_file/list_files to prevent stale edits. main.py cannot be deleted. For the current attached/open strategy, omit strategyId and revisionId; pass explicit ids only for another owned strategy.
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| path | Yes | ||
| editHandle | Yes | Opaque edit handle returned by list_files or get_file. It replaces raw hash copying while preserving stale-write protection. | |
| revisionId | No | Base revision ID to snapshot from. Omit with strategyId for the current attached/open strategy. | |
| strategyId | No | Base strategy id. Omit with revisionId for the current attached/open strategy. | |
| description | No |