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.
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 |