Module registry 

The persisted set of workspaces Prospero manages.

The fleet is intentional, not guessed: a blind socket scan can’t map a hash16 socket name back to a workspace, so operators register workspaces by name. A workspace is a root directory holding 1..N source checkouts (caliban #281 / ADR 0052); its caliband is keyed on hash16(root).

Structs

CredentialsRef

A by-name reference to a key within an existing Secret.

IsolationConfig

Isolation defaults for agents launched against a workspace.

ProviderInfo

A provider as surfaced on the read side (GET /api/workspaces): enough for the dashboard’s launch-modal provider picker and a “has credentials” pill, without exposing the Secret reference itself.

ProviderSpec

A named model provider within a workspace. Each agent binds one by name.

RegisteredWorkspace

A single managed workspace’s persisted identity: name + root + config. Sources are discovered from the filesystem at snapshot-build time (they are not persisted), so they live on the runtime crate::model::Workspace view.

Registry

The persisted registry of managed workspaces.

RepoProviderConfig

Per-repo provider/environment configuration applied to its caliband daemon.

WorkspaceConfig

Backend-neutral workspace configuration accepted at the API boundary (POST /api/workspaces, PUT /api/workspaces/{name}/config).

WorkspaceInfo

A workspace as seen by the config plane’s read side: the persisted configuration plus reconciliation status. Returned by FleetAdmin::list_workspaces and merged into GET /api/workspaces so a configured-but-agentless workspace is still visible with its status.

WorkspaceSourceSpec

A source checkout spec for a workspace: a git remote and where to mount it. Used by the k8s config plane to build a Workspace CR’s sources[].

WorkspaceStatusInfo

Reconciliation status of a workspace, surfaced for the dashboard’s status pill + failure tooltip. Backend-neutral (local workspaces report None).