Module session_manager 

Multiplexed controller-side ownership of durable ACP relay sessions.

Structs

ManagedSessionHandle

ManagedSessionLease

Exclusive ownership of a session actor’s existing relay connection.

ManagedSessionView

PendingRelaySubmit

PendingRelaySync

ProjectMemorySyncTarget

RelaySessionTarget

RemoteSessionManagerChannels

Client-side half of a remotely owned session manager.

RemoteSessionPublisher

RemoteSessionRequests

RemoteWorkerBinaryRefresh

A remote worker refresh resolved at recovery time: select the worker binary for the target’s own architecture, compare it to the installed one, and copy only when they differ.

ReviewDeliveryAdmission

A one-command capability issued by the review host while its prompt hold is open. It is intentionally opaque to callers: the session actor checks it against the host’s live hold registry before bypassing prompt refusal.

SessionManagerChannels

SessionManagerControl

SessionManagerShutdown

Exclusive owner of the manager task and every relay actor below it.

SessionManagerUpdate

SessionManagerUpdates

Bounded latest-state feed for the dashboard. At most one snapshot per session is retained while the consumer is busy.

SessionRequestOrder

Keeps each session’s relay requests in the order they were made, while letting different sessions overlap.

StandaloneSession

WorkerBinaryRefreshPlan

WorkerLaunchRefreshPlan

WorkerRecoveryPlan

WorkerWorkspace

The working directory a bare-target worker must be able to enter before it can serve a relay handshake. Container availability is checked separately by the target recovery plan; bare targets have no runtime object to inspect.

Enums

RemoteSessionRequest

ReviewerAction

ReviewerOutcome

ViewError

WorkerBinaryRefresh

How recovery refreshes a stale installed worker binary before restarting.

Functions

new_command_id

spawn_remote_session_manager

Build the read/control facade used by a control surface whose relay actors live in another process. Target updates still decide which session handles exist, while RemoteSessionPublisher supplies their latest views.

spawn_session_manager