user_leave
user_leave is implemented by handleUserLeave in src/api/handlers/user/user_leave.osl.
Handles the user leave protocol operation through the resource-specific helper and storage layers.
Access
Section titled “Access”| Gate | Requirement |
|---|---|
| Authentication | Required by the central API gate. |
| Central permission | None. Resource, channel, ownership, or hierarchy checks may still apply in the handler/helpers. |
| Broadcast | Not marked global directly by this adapter. A helper may emit focused or server-wide updates. |
Request
Section titled “Request”Every request includes cmd: "user_leave" and may include an opaque listener correlation value.
| Field | Validation / meaning |
|---|---|
delete_messages |
schema.boolean().optional() |
Validator source
Section titled “Validator source”The handler and shared validation path use these OSL schema definitions before normalization:
*schema.Schema schemaUserLeave = schema.object({ delete_messages: schema.boolean().optional()})Processing path
Section titled “Processing path”handleCmdenforces authentication.dispatchCmdroutesuser_leavetohandleUserLeave.- The adapter validates and normalizes input, then calls its domain collaborators.
- Durable mutations complete before the response or event is returned.
onMessageadds the request listener to direct responses and performs any marked broadcast.
Direct collaborators visible in the handler: userFromId, usersSave, true, deleteUserMessages, broadcastAuthed
Responses and events
Section titled “Responses and events”Response/event command names visible in this adapter: user_leave.
Validation and domain failures use:
{ "cmd": "error", "val": "<message>", "src": "user_leave", "listener": "<copied from request>"}