Module session_manager 

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

SessionInfo

Lightweight snapshot of a session workspace, suitable for JSON serialization.

WorkspaceManager

Central registry of all active session workspaces.