Skip to main content

Module session_manager

Module session_manager 

Source
Expand description

WorkspaceManager — manages all active session workspaces.

Provides creation, lookup, destruction, and garbage collection of workspaces. Uses DashMap for lock-free concurrent access from multiple agent sessions.

Structs§

ConflictingSymbol
A symbol held by a competing session that prevents lock re-acquire.
NoOpEventPublisher
No-op publisher used when callers don’t wire an event bus.
SessionInfo
Lightweight snapshot of a session workspace, suitable for JSON serialization.
WorkspaceManager
Central registry of all active session workspaces.

Enums§

AbandonReason
Why a workspace was permanently abandoned.
ResumeResult
Outcome of WorkspaceManager::resume.
StrandReason
Why a workspace transitioned to stranded.

Traits§

EventPublisher
Hook interface for emitting workspace lifecycle events.