Release symbol reservation
release_symbol_reservationRelease active symbol reservations after completing work on a function, class, or API. Provide workspace ID and optionally reservation ID or symbol name to update reservation state and audit rows.
Instructions
Purpose: Release active symbol reservations. When to use: call after finishing work on a function, class, API, or other reserved symbol. Inputs: workspace_id plus reservation_id or symbol, optionally scoped by agent_name. Side effects: updates reservation state and audit rows. Output: count of released symbol reservations. Failure modes: returns zero when no matching reservation exists.
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| symbol | No | Optional symbol name or qualified identifier to release. | |
| agent_name | No | Optional agent name used to scope the release. | |
| workspace_id | Yes | Workspace UUID containing the symbol reservation. | |
| reservation_id | No | Optional symbol reservation UUID to release. |
Output Schema
| Name | Required | Description | Default |
|---|---|---|---|
No arguments | |||