Module workspace_manager 

Workspace manager facade.

Keeps a stable API while delegating to WorkspaceStore and WorkspacePolicy.

Structs

WorkspaceManager

Compatibility facade for workspace operations.