@trops/dash-core 0.1.641 → 0.1.643

package/dist/electron/index.js

@@ -119,7 +119,7 @@ const WORKSPACE_DELETE$1 = "workspace-delete";
 const WORKSPACE_DELETE_COMPLETE = "workspace-delete-complete";
 const WORKSPACE_DELETE_ERROR = "workspace-delete-error";
 
-var workspaceEvents$1 = {
+var workspaceEvents$2 = {
   WORKSPACE_LIST: WORKSPACE_LIST$1,
   WORKSPACE_LIST_COMPLETE,
   WORKSPACE_LIST_ERROR,
@@ -1027,7 +1027,7 @@ var botEvents$2 = {
  */
 
 const secureStorageEvents = secureStorageEvents$1;
-const workspaceEvents = workspaceEvents$1;
+const workspaceEvents$1 = workspaceEvents$2;
 const layoutEvents = layoutEvents$1;
 const themeEvents = themeEvents$1;
 const dataEvents = dataEvents$1;
@@ -1089,14 +1089,14 @@ const API_GROUPS = {
   themes: [...Object.values(themeEvents), ...Object.values(themeFromUrlEvents)],
   websocket: Object.values(webSocketEvents),
   widgets: [],
-  workspace: Object.values(workspaceEvents),
+  workspace: Object.values(workspaceEvents$1),
 };
 
 var events$8 = {
   public: publicEvents,
   API_GROUPS,
   ...secureStorageEvents,
-  ...workspaceEvents,
+  ...workspaceEvents$1,
   ...layoutEvents,
   ...themeEvents,
   ...dataEvents,
@@ -1340,10 +1340,43 @@ var file = {
   checkDirectory: checkDirectory$1,
 };
 
+/**
+ * workspaceEvents.js
+ *
+ * Main-process notifications about dashboards (workspaces). Today: "a
+ * dashboard was deleted", so the Bot Factory can unassign + pause that
+ * dashboard's team (bot-teams TEAM-001). Covers every delete path (app IPC
+ * and the Dash MCP `delete_dashboard` tool) because both go through
+ * workspaceController.deleteWorkspaceForApplication.
+ *
+ * Pure: no Electron.
+ */
+
+const deletedListeners = new Set();
+
+/** @returns {() => void} unsubscribe */
+function onWorkspaceDeleted$1(fn) {
+  deletedListeners.add(fn);
+  return () => deletedListeners.delete(fn);
+}
+
+function emitWorkspaceDeleted$1(workspaceId) {
+  for (const fn of deletedListeners) {
+    try {
+      fn(workspaceId);
+    } catch (_e) {
+      // A listener failure must never fail the delete itself.
+    }
+  }
+}
+
+var workspaceEvents = { onWorkspaceDeleted: onWorkspaceDeleted$1, emitWorkspaceDeleted: emitWorkspaceDeleted$1 };
+
 const { app: app$g } = require$$0$2;
 const path$p = require$$1$2;
 const { writeFileSync: writeFileSync$2 } = require$$0$3;
 const { getFileContents: getFileContents$7 } = file;
+const { emitWorkspaceDeleted } = workspaceEvents;
 
 const configFilename$5 = "workspaces.json";
 const appName$7 = "Dashboard";
@@ -1500,6 +1533,11 @@ const workspaceController$3 = {
 
       writeFileSync$2(filename, JSON.stringify(filtered, null, 2));
 
+      // Let the Bot Factory unassign + pause the deleted dashboard's team.
+      if (filtered.length < workspacesArray.length) {
+        emitWorkspaceDeleted(workspaceId);
+      }
+
       console.log(
         `[workspaceController] Workspace ${workspaceId} deleted successfully`,
       );
@@ -76684,10 +76722,11 @@ function matchSubscribedBots$1(bots, event, opts = {}) {
     );
     if (!subscribed) return false;
 
-    // Workspace scoping (forward-compatible): only enforced once events carry a
-    // workspaceId. An unscoped bot (no workspaceId) listens everywhere.
+    // Team scoping: a bot on a dashboard's team only hears events stamped with
+    // that dashboard. An unassigned bot (no workspaceId) listens everywhere.
+    // Ids compare as strings (older saves may hold numeric ids).
     if (eventWorkspace && bot.workspaceId) {
-      return bot.workspaceId === eventWorkspace;
+      return String(bot.workspaceId) === String(eventWorkspace);
     }
     return true;
   });
@@ -76880,6 +76919,56 @@ let BotEventPublisher$1 = class BotEventPublisher {
 
 var BotEventPublisher_1 = BotEventPublisher$1;
 
+/**
+ * teams.js
+ *
+ * A dashboard's team is the set of bots whose `workspaceId` is that
+ * dashboard (bot-teams PRD TEAM-001). Bots with no `workspaceId` are
+ * unassigned and keep working as before.
+ *
+ * Pure (NFR-006): no Electron, no I/O — the store and pause controller are
+ * passed in.
+ */
+
+/** Dashboard ids are compared as strings; empty → null (unassigned). */
+function normalizeWorkspaceId(id) {
+  if (id === undefined || id === null || id === "") return null;
+  return String(id);
+}
+
+function isOnTeam(bot, workspaceId) {
+  const want = normalizeWorkspaceId(workspaceId);
+  return !!bot && normalizeWorkspaceId(bot.workspaceId) === want;
+}
+
+/** A dashboard's bots; `null` lists the unassigned bots. */
+function teamOf(bots, workspaceId) {
+  if (!Array.isArray(bots)) return [];
+  return bots.filter((b) => isOnTeam(b, workspaceId));
+}
+
+/**
+ * A dashboard was deleted: its bots become unassigned AND paused — never
+ * deleted, and never left running somewhere unexpected.
+ * @returns {string[]} ids of the bots that were unassigned
+ */
+function unassignTeam$1({ store, pause }, workspaceId) {
+  if (normalizeWorkspaceId(workspaceId) === null) return [];
+  const moved = [];
+  for (const bot of teamOf(store.list(), workspaceId)) {
+    try {
+      store.update(bot.id, { workspaceId: null });
+      pause.pauseBot(bot.id);
+      moved.push(bot.id);
+    } catch (_e) {
+      // One bad record mustn't strand the rest of the team.
+    }
+  }
+  return moved;
+}
+
+var teams = { normalizeWorkspaceId, isOnTeam, teamOf, unassignTeam: unassignTeam$1 };
+
 /**
  * rememberGrant.js — turn an "Always allow" bot approval into a durable grant,
  * and revoke it.
@@ -77017,6 +77106,8 @@ const { matchSubscribedBots } = eventMatcher;
 const { EventDispatcher } = EventDispatcher_1;
 const { normalizeMcpResult } = mcpResult;
 const BotEventPublisher = BotEventPublisher_1;
+const { unassignTeam } = teams;
+const { onWorkspaceDeleted } = workspaceEvents;
 const {
   checkChain,
   causeFromEvent,
@@ -77174,6 +77265,13 @@ const botController$1 = {
     for (const bot of bots)
       this._scheduler.catchUp(bot, this._lastRunAt(bot.id));
 
+    // A deleted dashboard's team becomes unassigned + paused — never deleted,
+    // never left running somewhere unexpected (bot-teams TEAM-001).
+    if (this._offWorkspaceDeleted) this._offWorkspaceDeleted();
+    this._offWorkspaceDeleted = onWorkspaceDeleted((workspaceId) => {
+      unassignTeam({ store: this._store, pause: this._pause }, workspaceId);
+    });
+
     this._ready = true;
   },