Merge remote-tracking branch 'origin/master' into xtr/agent-loop-message-machine

2026-07-27 17:18:12 +08:00
parent b6bc4f9f08 d8ce036295
commit db16732101
144 changed files with 3233 additions and 827 deletions
@@ -2039,6 +2039,16 @@ get(id: WorkspaceId): Workspace | undefined
 */
 list(): Workspace[]

+/**
+ * Delete one workspace registration while retaining its directory and every
+ * session log. The durable order is updated before the table deletion; a
+ * failed table write restores the prior order and keeps the entity
+ * published. Unknown ids are an idempotent no-op for domain callers.
+ * @param id - Workspace registration to remove.
+ * @returns `true` when a record was deleted, `false` when it was unknown.
+ */
+delete(id: WorkspaceId): Promise<boolean>
+
 /**
 * Resolve by canonical directory path without creating or mutating a
 * workspace. A missing path rejects during `realpath`; an existing unowned