Close document
close_documentClose an editing session and delete the working directory. If operations are recorded, set discard to override and avoid abandoning the audit trail.
Instructions
End a session and delete its working directory WITHOUT sealing a receipt. Refuses when the journal holds recorded operations unless discard is set — closing over them would throw away the accountability record.
Tool call template
Replace each placeholder with a value matching the input schema. Only required parameters are included; add optional parameters as needed.
{
"id": 1,
"jsonrpc": "2.0",
"method": "tools/call",
"params": {
"arguments": {
"session_id": "<session_id>"
},
"name": "close_document"
}
}Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| discard | No | ||
| session_id | Yes |
Output Schema
| Name | Required | Description | Default |
|---|---|---|---|
| closed | Yes | ||
| session_id | Yes | ||
| removed_directory | Yes | ||
| journal_unreadable | No | ||
| operations_discarded | Yes |