Function workspace_close_lock 

pub(crate) async fn workspace_close_lock(
    workspace_id: &str,
) -> OwnedMutexGuard<()>

Serialises tab closes within one workspace, from delete_tab’s last-tab pre-check through its DeleteTab dispatch (spec §9.5). One lock per workspace id; entries are tiny and bounded by the number of workspaces.