Enum ResumeResult 

pub enum ResumeResult {
    Ok(SessionId),
    Contended(Vec<ConflictingSymbol>),
    AlreadyResumed(SessionId),
    Abandoned,
    NotStranded,
}

Outcome of WorkspaceManager::resume.

Variants

Ok(SessionId)

Workspace successfully rehydrated; caller can look up the new session via WorkspaceManager::get_workspace using the returned SessionId.

ResumeResult::Ok holds SessionId rather than SessionWorkspace because SessionWorkspace does not implement Clone (it owns a FileOverlay backed by a live PgPool and a DashMap). Callers use WorkspaceManager::get_workspace(new_session_id) to borrow the resumed workspace.

Contended(Vec<ConflictingSymbol>)

One or more symbols are held by another active session. Lock re-acquire is stubbed for Task 11; this variant is reserved for when graph-based contention detection lands.

AlreadyResumed(SessionId)

The workspace was already resumed by an earlier call; returns the new session_id that superseded the dead one.

Abandoned

The workspace was permanently abandoned and cannot be resumed.

NotStranded

The session_id does not map to a stranded workspace (either missing or already live with no stranded_at).

Trait Implementations

impl Debug for ResumeResult

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.