protocol: identify workspace subscription runtimes

2026-08-01 19:11:41 +09:00
parent 9308f93de7
commit 42c69f9f6c
3 changed files with 14 additions and 0 deletions
@@ -114,6 +114,11 @@ export type SubscriptionWorkerState = "idle" | "running" | "paused" | "stopped"
 export type EventSubscriptionSelector = { "topic": "runtime_workers" } | { "topic": "worker_lifecycle", worker_ids: SubscriptionWorkerIds, } | { "topic": "worker_protocol", worker_id: SubscriptionWorkerId, } | { "topic": "workspace_workers" } | { "topic": "workspace_workdirs" };

 export type SubscriptionWorker = { worker_id: SubscriptionWorkerId,
+/**
+ * Set by the Workspace Server when projecting a Runtime-owned Worker to clients.
+ * Runtime producers leave this unset because the connection identifies the Runtime.
+ */
+runtime_id?: string | null,
 /**
 * Producer-owned monotonic revision for this Worker subject.
 */