Module model 

Prospero’s fleet domain model: Host -> Workspace -> [Agent].

The read-model DTOs (Agent, Workspace, FleetSnapshot, AgentStatus, WorkspaceHealth, Readiness, AgentId) now live in [prospero_types] so the WASM dashboard can share them (prospero #98); they are re-exported here from their original path. The control-plane types below (TaskSpec, AgentHandle, DrainPolicy, FleetChange) stay in prospero-core — they reference core-only types (SpawnRequest, Endpoint).

Structs

Agent

Prospero’s view of a single agent (projected from a caliban AgentRecord).

AgentHandle

Handle to a provisioned agent, resolved when it is attachable.

AgentId

Stable identifier for a running agent (caliband’s agent id).

FleetSnapshot

A point-in-time view of the whole fleet on one host.

Readiness

Aggregate readiness of prosperod, distinct from mere liveness.

TaskSpec

Desired state for one agent — the provider-agnostic spec ensure_agent takes. Generalizes today’s (workspace, SpawnRequest) pair (fleet.rs:618).

Workspace

A managed workspace (root + its source checkouts) and the agents running under its single caliband.

Enums

AgentStatus

Lifecycle state of an agent. Mirrors caliban’s AgentStatus wire enum exactly so the same value round-trips through both protocols.

DrainPolicy

How to stop an agent. Kill preserves today’s unconditional behavior.

FleetChange

A change in the observed fleet — the item type of watch_fleet. Mirrors the poll-diff variants reconcile already emits (fleet.rs:811).

WorkspaceHealth

Connectivity of a managed workspace’s caliband daemon.