Skip to main content

Module session_slot

Module session_slot 

Source
Expand description

SessionSlot - the (org, project, label) triple that names a session, and the routing key the view <-> workspace boundary addresses one session task by.

The triple names the slot; the session id names the occupant. A slot is stable for the life of a project’s lead session or a worker’s: /new, /resume and a restart swap the occupant and leave the slot alone.

Lives in forge-primitives so the same routing key flows through every layer (view, workspace, agent) without each crate growing its own near-identical newtype.

Re-exports§

use crate::workers::LEAD_LABEL; 🔒

Structs§

SessionSlot
The (org, project, label) triple naming one session. org and project are the forge.toml names - the same pair the redb sessions table is keyed by - and label carries the role: LEAD_LABEL for a project’s lead, the worker’s own label otherwise.