@baique/pi-web-sky 0.1.35 → 0.1.37

package/lib/board-store.test.mjs

@@ -0,0 +1,542 @@
+import { test, beforeEach, afterEach } from "node:test";
+import assert from "node:assert/strict";
+import { DatabaseSync } from "node:sqlite";
+import { createJiti } from "jiti";
+
+const jiti = createJiti(import.meta.url, { interopDefault: true, moduleCache: false });
+const { setDbForTesting, SCHEMA_VERSION } = await jiti.import("./sqlite-db.ts");
+const {
+  getBoard,
+  listBoards,
+  createBoard,
+  renameBoard,
+  deleteBoard,
+  deleteBoardCascade,
+  getOrCreateTaskBoard,
+  getBoardCanvas,
+  putBoardCanvas,
+  addNode,
+  patchNode,
+  deleteNode,
+  deleteNodesByIds,
+  bindNodeToSession,
+  getNodeByGlobalId,
+  addEdge,
+  deleteEdge,
+  getSystemRunningBoard,
+  reorderBoards,
+  syncCardEdges,
+  syncExecEdge,
+  removeSessionFromBoards,
+} = await jiti.import("./board-store.ts");
+const { createCard, addLink, replaceLinks, updateCard, getCard } = await jiti.import("./task-card-store.ts");
+const { SYSTEM_RUNNING_BOARD_ID } = await jiti.import("./board-types.ts");
+
+const PROJECT = "test-project";
+
+let db;
+
+
+beforeEach(() => {
+  db = new DatabaseSync(":memory:");
+  setDbForTesting(db);
+});
+
+afterEach(() => {
+  db.close();
+});
+
+test("schema version reaches latest with board tables", () => {
+  const tables = db
+    .prepare("SELECT name FROM sqlite_master WHERE type = 'table' AND name LIKE 'board_%' ORDER BY name")
+    .all();
+  const names = tables.map((t) => t.name).sort();
+  assert.deepEqual(names, ["board_edges", "board_nodes", "board_view", "boards"].sort());
+  const boards = db
+    .prepare("SELECT name FROM sqlite_master WHERE type = 'table' AND name = 'boards'")
+    .all();
+  assert.equal(boards.length, 1);
+  assert.equal(SCHEMA_VERSION, 8);
+  const row = db.prepare("PRAGMA user_version").get();
+  assert.equal(row.user_version, 8);
+  // v5 迁移：boards.task_id 列存在
+  const cols = db.prepare("PRAGMA table_info(boards)").all().map((c) => c.name);
+  assert.ok(cols.includes("task_id"));
+  // v6 迁移：task_id 唯一索引（并发防重复创建任务看板）
+  const uniq = db.prepare("SELECT name FROM sqlite_master WHERE type = 'index' AND tbl_name = 'boards' AND name = 'idx_boards_task_unique'").all();
+  assert.equal(uniq.length, 1);
+});
+
+test("board CRUD: create / rename / list / delete", () => {
+  const b = createBoard(PROJECT, "默认看板");
+  assert.equal(b.isSystem, false);
+  assert.equal(b.name, "默认看板");
+  assert.equal(b.nodeCount, 0);
+
+  const renamed = renameBoard(b.id, "重构看板");
+  assert.equal(renamed?.name, "重构看板");
+  assert.equal(getBoard(b.id)?.name, "重构看板");
+
+  const other = createBoard("other-project", "别的项目");
+  assert.equal(listBoards(PROJECT).length, 1);
+  assert.equal(listBoards("other-project").length, 1);
+  assert.equal(getBoard(other.id)?.projectKey, "other-project");
+
+  assert.equal(deleteBoard(b.id), true);
+  assert.equal(getBoard(b.id), undefined);
+  assert.equal(listBoards(PROJECT).length, 0);
+});
+
+test("empty projectKey / name rejected", () => {
+  assert.throws(() => createBoard("", "x"), /projectKey is required/);
+  assert.throws(() => createBoard(PROJECT, "  "), /name must not be empty/);
+});
+
+test("system running board: always present, not deletable/renamable", () => {
+  const sys = getSystemRunningBoard();
+  assert.equal(sys.id, SYSTEM_RUNNING_BOARD_ID);
+  assert.equal(sys.isSystem, true);
+  assert.equal(getBoard(SYSTEM_RUNNING_BOARD_ID)?.isSystem, true);
+  assert.equal(renameBoard(SYSTEM_RUNNING_BOARD_ID, "x"), null);
+  assert.equal(deleteBoard(SYSTEM_RUNNING_BOARD_ID), false);
+  assert.equal(addNode(SYSTEM_RUNNING_BOARD_ID, { x: 0, y: 0 }), null);
+});
+
+test("nodes: add / patch / delete cascade edges", () => {
+  const b = createBoard(PROJECT, "b");
+  const n1 = addNode(b.id, { x: 10, y: 20, w: 280, h: 120, refId: "s1" });
+  const n2 = addNode(b.id, { x: 400, y: 50, refId: "s2" });
+  assert.ok(n1 && n2);
+  assert.equal(n1.kind, "session");
+  assert.equal(n1.x, 10);
+
+  const patched = patchNode(b.id, n1.id, { x: 99, expanded: true });
+  assert.equal(patched?.x, 99);
+  assert.equal(patched?.expanded, true);
+
+  const e = addEdge(b.id, { fromId: n1.id, toId: n2.id, label: "depends", dashed: true });
+  assert.ok(e);
+  assert.equal(e.dashed, true);
+
+  // deleting n1 removes the edge
+  assert.equal(deleteNode(b.id, n1.id), true);
+  const canvas = getBoardCanvas(b.id);
+  assert.equal(canvas?.nodes.length, 1);
+  assert.equal(canvas?.edges.length, 0);
+  assert.equal(deleteNode(b.id, n1.id), false);
+});
+
+test("getOrCreateTaskBoard: 多次调用同一行 + task_id UNIQUE 拒绝重复（并发防重建）", () => {
+  const b1 = getOrCreateTaskBoard("task-conc-1", PROJECT, "并发任务");
+  // 连续多次调用（模拟并发请求）→ 恒返回同一看板
+  for (let i = 0; i < 5; i += 1) {
+    const again = getOrCreateTaskBoard("task-conc-1", PROJECT, "并发任务");
+    assert.equal(again.id, b1.id);
+  }
+  // 库里 task_id 唯一（UNIQUE 索引生效）
+  const rows = db.prepare("SELECT COUNT(*) c FROM boards WHERE task_id = ?").get("task-conc-1");
+  assert.equal(rows.c, 1);
+  // 手动重复插入被 UNIQUE 拒绝（并发时只有第一个 INSERT 成功）
+  assert.throws(() => {
+    db.prepare("INSERT INTO boards (id, project_key, name, is_system, task_id, sort_order, created, updated) VALUES (?, ?, ?, 0, ?, 0, 1, 1)")
+      .run("dup-id", PROJECT, "dup", "task-conc-1");
+  }, /UNIQUE/i);
+  // 不同 task_id 互不影响
+  const b2 = getOrCreateTaskBoard("task-conc-2", PROJECT, "另一个");
+  assert.notEqual(b2.id, b1.id);
+  assert.equal(db.prepare("SELECT COUNT(*) c FROM boards WHERE task_id IN ('task-conc-1','task-conc-2')").get().c, 2);
+});
+
+test("patchNode: refId 可定向写入/缺省保留/null 解绑（draft 卡转正）", () => {
+  const b = createBoard(PROJECT, "b");
+  // draft 卡：refId 为空
+  const draft = addNode(b.id, { x: 0, y: 0, refId: null });
+  assert.ok(draft);
+  assert.equal(draft.refId, null);
+  const beforeUpdated = getBoard(b.id)?.updated ?? 0;
+
+  // 转正：写入真实会话 id
+  const bound = patchNode(b.id, draft.id, { refId: "session-real-1" });
+  assert.equal(bound?.refId, "session-real-1");
+  // 缺省不改
+  assert.equal(patchNode(b.id, draft.id, { x: 55 })?.refId, "session-real-1");
+  // 显式 null 解绑
+  assert.equal(patchNode(b.id, draft.id, { refId: null })?.refId, null);
+
+  // PATCH 会 bump boards.updated（乐观锁基线）：非递减（同毫秒内可能相等，不依赖单调性）
+  const afterUpdated = getBoard(b.id)?.updated ?? 0;
+  assert.ok(afterUpdated >= beforeUpdated);
+  // 携带过期基线的全量保存被 409 拒绝：不回头把绑定覆盖回 draft（哨兵基线 0 必过期）
+  const stale = putBoardCanvas(b.id, {
+    nodes: [{ id: draft.id, boardId: b.id, kind: "session", refId: null, x: 0, y: 0, w: 340, h: 160, expanded: false, props: {}, created: 1, updated: 1 }],
+  }, { baseUpdated: 0 });
+  assert.equal(stale, "conflict");
+  // 用当前基线则放行
+  const fresh = putBoardCanvas(b.id, {
+    nodes: [{ id: draft.id, boardId: b.id, kind: "session", refId: "session-real-1", x: 0, y: 0, w: 340, h: 160, expanded: false, props: {}, created: 1, updated: 1 }],
+  }, { baseUpdated: afterUpdated });
+  assert.equal(fresh, true);
+  assert.equal(getBoardCanvas(b.id)?.nodes[0].refId, "session-real-1");
+});
+
+test("deleteNodesByIds: 跨看板批量删节点 + 级联删边 + bump updated", () => {
+  const b1 = createBoard(PROJECT, "b1");
+  const b2 = createBoard(PROJECT, "b2");
+  const n1 = addNode(b1.id, { x: 0, y: 0, refId: "s1" });
+  const n2 = addNode(b1.id, { x: 100, y: 0, refId: "s2" });
+  const n3 = addNode(b2.id, { x: 0, y: 0, refId: "s3" });
+  assert.ok(n1 && n2 && n3);
+  // 连线：n1→n2（同板）、n1→n3（跨板不允许 addEdge，用同板验证）
+  assert.ok(addEdge(b1.id, { fromId: n1.id, toId: n2.id, label: "x" }));
+  const before1 = getBoard(b1.id)?.updated ?? 0;
+
+  // 删 n1 + n3（跨两个 board）→ n1 的边被级联删，n2 保留
+  const r = deleteNodesByIds([n1.id, n3.id, "no-such"]);
+  assert.equal(r.deletedNodes, 2);
+  assert.equal(r.deletedEdges, 1);
+  assert.deepEqual(r.boards.sort(), [b1.id, b2.id].sort());
+  const c1 = getBoardCanvas(b1.id);
+  assert.equal(c1?.nodes.length, 1);
+  assert.equal(c1?.nodes[0].id, n2.id);
+  assert.equal(c1?.edges.length, 0);
+  const c2 = getBoardCanvas(b2.id);
+  assert.equal(c2?.nodes.length, 0);
+  // bump 看板 updated（乐观锁基线；同毫秒内可能相等，不依赖单调性）
+  assert.ok((getBoard(b1.id)?.updated ?? 0) >= before1);
+  // 空列表 / 系统看板节点不删
+  assert.deepEqual(deleteNodesByIds([]), { deletedNodes: 0, deletedEdges: 0, boards: [] });
+});
+
+test("bindNodeToSession: 全局 nodeId 写 ref_id（服务端后台转正）+ bump 看板 updated", () => {
+  const b = createBoard(PROJECT, "b");
+  const draft = addNode(b.id, { x: 0, y: 0, refId: null });
+  assert.ok(draft);
+  assert.equal(draft.refId, null);
+  const beforeUpdated = getBoard(b.id)?.updated ?? 0;
+
+  // 服务端拿到 boardNodeId 后直接绑定（不依赖 boardId，nodeId 全局唯一）
+  const bound = bindNodeToSession(draft.id, "session-real-2");
+  assert.ok(bound);
+  assert.equal(bound.refId, "session-real-2");
+  assert.equal(bound.boardId, b.id);
+  // bump 看板 updated（乐观锁基线：迟到的旧全量保存会被 409 拒绝）
+  const afterUpdated = getBoard(b.id)?.updated ?? 0;
+  assert.ok(afterUpdated >= beforeUpdated);
+  // 全量保存读到的 refId 已是绑定值
+  assert.equal(getBoardCanvas(b.id)?.nodes[0].refId, "session-real-2");
+
+  // 不存在的 nodeId → null；系统看板节点 → null
+  assert.equal(bindNodeToSession("no-such-node", "x"), null);
+});
+
+test("getNodeByGlobalId: 按全局 nodeId 读节点（未转正卡轮询用）", () => {
+  const b = createBoard(PROJECT, "b");
+  const n1 = addNode(b.id, { x: 0, y: 0, refId: null });
+  const n2 = addNode(b.id, { x: 100, y: 0, refId: "s1" });
+  assert.ok(n1 && n2);
+
+  // draft 卡：refId null
+  assert.equal(getNodeByGlobalId(n1.id)?.refId, null);
+  // 已绑定：refId 有值
+  assert.equal(getNodeByGlobalId(n2.id)?.refId, "s1");
+  // 轮询发现服务端已写入 ref_id → 前端据此转正
+  bindNodeToSession(n1.id, "session-real-3");
+  assert.equal(getNodeByGlobalId(n1.id)?.refId, "session-real-3");
+  assert.equal(getNodeByGlobalId("no-such"), undefined);
+});
+
+test("addEdge rejects self-loop and cross-board refs", () => {
+  const b = createBoard(PROJECT, "b");
+  const b2 = createBoard(PROJECT, "b2");
+  const n1 = addNode(b.id, { x: 0, y: 0 });
+  const n2 = addNode(b.id, { x: 100, y: 0 });
+  const n3 = addNode(b2.id, { x: 0, y: 0 });
+  assert.ok(n1 && n2 && n3);
+  assert.equal(addEdge(b.id, { fromId: n1.id, toId: n1.id }), null);
+  assert.equal(addEdge(b.id, { fromId: n1.id, toId: n3.id }), null);
+  assert.ok(addEdge(b.id, { fromId: n1.id, toId: n2.id }));
+  assert.equal(deleteEdge(b.id, "nope"), false);
+});
+
+test("putBoardCanvas full replace inside transaction, rollback on error", () => {
+  const b = createBoard(PROJECT, "b");
+  const n1 = addNode(b.id, { x: 0, y: 0, refId: "s1" });
+  const n2 = addNode(b.id, { x: 100, y: 0, refId: "s2" });
+  assert.ok(n1 && n2);
+  addEdge(b.id, { fromId: n1.id, toId: n2.id });
+
+  const nodes = [
+    { ...n1, x: 5, y: 5, w: 300, h: 150, props: { color: "#f00" }, created: n1.created, updated: n1.updated },
+  ];
+  const edges = [];
+  const ok = putBoardCanvas(b.id, {
+    nodes,
+    edges,
+    view: { boardId: b.id, cameraX: -50, cameraY: -30, cameraZ: 0.8, updated: 1 },
+  });
+  assert.equal(ok, true);
+
+  const canvas = getBoardCanvas(b.id);
+  assert.equal(canvas?.nodes.length, 1);
+  assert.equal(canvas?.nodes[0].x, 5);
+  assert.deepEqual(canvas?.nodes[0].props, { color: "#f00" });
+  assert.equal(canvas?.edges.length, 0);
+  assert.equal(canvas?.view?.cameraZ, 0.8);
+
+  // system board / missing board not writable
+  assert.equal(putBoardCanvas(SYSTEM_RUNNING_BOARD_ID, { nodes: [] }), false);
+  assert.equal(putBoardCanvas("missing", { nodes: [] }), false);
+});
+
+test("putBoardCanvas empty overwrite guard + allowEmpty escape hatch", () => {
+  const b = createBoard(PROJECT, "b");
+  addNode(b.id, { x: 0, y: 0, refId: "s1" });
+  // 非空看板被空节点集覆盖 → 拒绝（防客户端未加载完成清空看板）
+  assert.equal(putBoardCanvas(b.id, { nodes: [] }), "empty-overwrite");
+  assert.equal(getBoardCanvas(b.id)?.nodes.length, 1);
+  // 显式 allowEmpty → 放行
+  assert.equal(putBoardCanvas(b.id, { nodes: [], edges: [] }, { allowEmpty: true }), true);
+  assert.equal(getBoardCanvas(b.id)?.nodes.length, 0);
+  // 原本就空的看板，空覆盖本就允许
+  assert.equal(putBoardCanvas(b.id, { nodes: [] }), true);
+});
+
+test("rollback keeps db consistent when transaction throws", () => {
+  const b = createBoard(PROJECT, "b");
+  const n1 = addNode(b.id, { x: 0, y: 0 });
+  assert.ok(n1);
+  // addEdge with a bad ref throws inside a transaction? no — returns null.
+  // Force a real throw via a duplicate primary key through putBoardCanvas.
+  const nodes = [
+    { ...n1, id: "dup", created: n1.created, updated: n1.updated },
+    { ...n1, id: "dup", created: n1.created, updated: n1.updated },
+  ];
+  assert.throws(() => putBoardCanvas(b.id, { nodes }));
+  // rollback: original node still there
+  const canvas = getBoardCanvas(b.id);
+  assert.equal(canvas?.nodes.length, 1);
+  assert.equal(canvas?.nodes[0].id, n1.id);
+});
+
+test("board reorder within project", () => {
+  const a = createBoard(PROJECT, "A");
+  const b = createBoard(PROJECT, "B");
+  const c = createBoard(PROJECT, "C");
+  // 新板置顶：创建顺序 C, B, A
+  assert.deepEqual(listBoards(PROJECT).map((x) => x.id), [c.id, b.id, a.id]);
+
+  const reordered = reorderBoards(PROJECT, [a.id, c.id, b.id]);
+  assert.deepEqual(reordered.map((x) => x.id), [a.id, c.id, b.id]);
+
+  // foreign id → rollback keeps order
+  assert.throws(() => reorderBoards(PROJECT, [a.id, "foreign"]));
+  assert.deepEqual(listBoards(PROJECT).map((x) => x.id), [a.id, c.id, b.id]);
+});
+
+test("canvas of missing board is null", () => {
+  assert.equal(getBoardCanvas("missing"), null);
+  assert.equal(addNode("missing", { x: 0, y: 0 }), null);
+});
+
+test("task board: lazy create (upsert), id = taskId, not in manual reorder scope", () => {
+  const b1 = getOrCreateTaskBoard("task-1", PROJECT, "任务一");
+  assert.equal(b1.id, "task-1");
+  assert.equal(b1.taskId, "task-1");
+  assert.equal(b1.isSystem, false);
+  assert.equal(b1.name, "任务一");
+
+  // 幂等：再次调用返回同一 board（不重复创建）
+  const b2 = getOrCreateTaskBoard("task-1", PROJECT, "任务一");
+  assert.equal(b2.id, b1.id);
+  assert.equal(getBoard("task-1")?.taskId, "task-1");
+
+  // 出现在 listBoards 中（展示层自行过滤 taskId == null）
+  assert.ok(listBoards(PROJECT).some((b) => b.id === "task-1"));
+});
+
+test("task board: deleteBoardCascade removes nodes/edges/view within caller transaction", () => {
+  const b = getOrCreateTaskBoard("task-2", PROJECT, "任务二");
+  const n1 = addNode(b.id, { x: 0, y: 0, refId: "s1" });
+  const n2 = addNode(b.id, { x: 100, y: 0, refId: "s2" });
+  assert.ok(n1 && n2);
+  addEdge(b.id, { fromId: n1.id, toId: n2.id });
+  putBoardCanvas(b.id, {
+    nodes: undefined,
+    edges: undefined,
+    view: { boardId: b.id, cameraX: 1, cameraY: 2, cameraZ: 3, updated: 1 },
+  });
+
+  // 事务内调用：异常回滚不残留
+  const dbLocal = db;
+  dbLocal.exec("BEGIN");
+  try {
+    deleteBoardCascade(b.id);
+    throw new Error("boom");
+  } catch {
+    dbLocal.exec("ROLLBACK");
+  }
+  assert.ok(getBoard(b.id)); // 回滚后看板仍在
+
+  dbLocal.exec("BEGIN");
+  try {
+    deleteBoardCascade(b.id);
+    dbLocal.exec("COMMIT");
+  } catch {
+    dbLocal.exec("ROLLBACK");
+    throw new Error("unexpected");
+  }
+  assert.equal(getBoard(b.id), undefined);
+  assert.equal(getBoardCanvas(b.id), null);
+});
+
+test("syncCardEdges: 依赖边自动生成/更新/补回（label=kind，禁删语义）", () => {
+  const b = createBoard(PROJECT, "看板A");
+  const c1 = createCard({ boardId: b.id, projectKey: PROJECT, name: "卡1" });
+  const c2 = createCard({ boardId: b.id, projectKey: PROJECT, name: "卡2" });
+  const c3 = createCard({ boardId: b.id, projectKey: PROJECT, name: "卡3" });
+  const n1 = addNode(b.id, { kind: "taskcard", refId: c1.id, x: 10, y: 10 });
+  const n2 = addNode(b.id, { kind: "taskcard", refId: c2.id, x: 300, y: 10 });
+  const n3 = addNode(b.id, { kind: "taskcard", refId: c3.id, x: 600, y: 10 });
+
+  addLink(c1.id, c2.id, "prerequisite");
+  syncCardEdges(c1.id);
+
+  const canvas = getBoardCanvas(b.id);
+  const auto = canvas.edges.filter((e) => e.fromId === n1.id);
+  assert.equal(auto.length, 1);
+  assert.equal(auto[0].toId, n2.id);
+  assert.equal(auto[0].label, "prerequisite");
+
+  // 改 target：删旧边加新边
+  replaceLinks(c1.id, [c3.id], [c2.id]);
+  syncCardEdges(c1.id);
+  let edges = getBoardCanvas(b.id).edges.filter((e) => e.fromId === n1.id);
+  assert.deepEqual(
+    edges.map((e) => [e.toId, e.label]).sort(),
+    [[n2.id, "related"], [n3.id, "prerequisite"]].sort(),
+  );
+
+  // 手动删自动边 → syncCardEdges 补回
+  const autoEdge = getBoardCanvas(b.id).edges.find((e) => e.fromId === n1.id && e.label === "prerequisite");
+  assert.ok(autoEdge);
+  deleteEdge(b.id, autoEdge.id);
+  assert.equal(getBoardCanvas(b.id).edges.filter((e) => e.id === autoEdge.id).length, 0);
+  syncCardEdges(c1.id);
+  assert.ok(getBoardCanvas(b.id).edges.find((e) => e.fromId === n1.id && e.label === "prerequisite"));
+
+  // 被依赖方删除 link 后，再次 sync 清掉出边
+  replaceLinks(c1.id, [], []);
+  syncCardEdges(c1.id);
+  assert.equal(getBoardCanvas(b.id).edges.filter((e) => e.fromId === n1.id).length, 0);
+});
+
+test("syncCardEdges: target 无画布节点时跳过不崩；无 node 的卡直接返回", () => {
+  const b = createBoard(PROJECT, "看板A");
+  const c1 = createCard({ boardId: b.id, projectKey: PROJECT, name: "卡1" });
+  const c2 = createCard({ boardId: b.id, projectKey: PROJECT, name: "卡2" });
+  addNode(b.id, { kind: "taskcard", refId: c1.id, x: 10, y: 10 });
+  // c2 无 node
+  addLink(c1.id, c2.id, "prerequisite");
+  syncCardEdges(c1.id); // 不抛错，无边
+  assert.equal(getBoardCanvas(b.id).edges.length, 0);
+
+  // 无 node 的卡直接返回
+  const c3 = createCard({ boardId: b.id, projectKey: PROJECT, name: "卡3" });
+  addLink(c3.id, c1.id, "prerequisite");
+  syncCardEdges(c3.id);
+  assert.equal(getBoardCanvas(b.id).edges.length, 0);
+});
+
+test("syncExecEdge: 绑 sessionId → 建 label=exec 边；手动删补回；解绑删边", () => {
+  const b = createBoard(PROJECT, "看板A");
+  const c = createCard({ boardId: b.id, projectKey: PROJECT, name: "任务" });
+  const cardNode = addNode(b.id, { kind: "taskcard", refId: c.id, x: 10, y: 10 });
+  const sessionNode = addNode(b.id, { kind: "session", refId: "sess-1", x: 300, y: 10 });
+  const boardId = b.id;
+
+  // 未绑定 → 无边
+  syncExecEdge(c.id);
+  assert.equal(getBoardCanvas(boardId).edges.filter((e) => e.label === "exec").length, 0);
+
+  // 绑定 → 建边（from=taskcard node, to=session node）
+  updateCard(c.id, { sessionId: "sess-1" });
+  syncExecEdge(c.id);
+  const execEdge = getBoardCanvas(boardId).edges.find((e) => e.label === "exec");
+  assert.ok(execEdge);
+  assert.equal(execEdge.fromId, cardNode.id);
+  assert.equal(execEdge.toId, sessionNode.id);
+
+  // 手动删边 → 补回（禁删语义）
+  deleteEdge(boardId, execEdge.id);
+  assert.equal(getBoardCanvas(boardId).edges.filter((e) => e.label === "exec").length, 0);
+  syncExecEdge(c.id);
+  assert.ok(
+    getBoardCanvas(boardId).edges.find(
+      (e) => e.label === "exec" && e.fromId === cardNode.id && e.toId === sessionNode.id,
+    ),
+  );
+
+  // 解绑 → 删边
+  updateCard(c.id, { sessionId: null });
+  syncExecEdge(c.id);
+  assert.equal(getBoardCanvas(boardId).edges.filter((e) => e.label === "exec").length, 0);
+});
+
+test("syncExecEdge: session 节点缺失不建线；节点后补/换绑重建", () => {
+  const b = createBoard(PROJECT, "看板A");
+  const c = createCard({ boardId: b.id, projectKey: PROJECT, name: "任务" });
+  addNode(b.id, { kind: "taskcard", refId: c.id, x: 10, y: 10 });
+  const boardId = b.id;
+
+  // 绑到不存在的会话 → 不建线（无残留边）
+  updateCard(c.id, { sessionId: "ghost-session" });
+  syncExecEdge(c.id);
+  assert.equal(getBoardCanvas(boardId).edges.filter((e) => e.label === "exec").length, 0);
+
+  // 换绑到 sess-2（节点尚不存在）→ 仍不建线
+  updateCard(c.id, { sessionId: "sess-2" });
+  syncExecEdge(c.id);
+  assert.equal(getBoardCanvas(boardId).edges.filter((e) => e.label === "exec").length, 0);
+
+  // 会话节点后补 → 建线
+  const s2 = addNode(boardId, { kind: "session", refId: "sess-2", x: 400, y: 10 });
+  syncExecEdge(c.id);
+  const e2 = getBoardCanvas(boardId).edges.find((x) => x.label === "exec");
+  assert.ok(e2);
+  assert.equal(e2.toId, s2.id);
+
+  // 换绑到另一会话 → 边改向，只保留一条
+  const s3 = addNode(boardId, { kind: "session", refId: "sess-3", x: 500, y: 10 });
+  updateCard(c.id, { sessionId: "sess-3" });
+  syncExecEdge(c.id);
+  const e3 = getBoardCanvas(boardId).edges.find((x) => x.label === "exec");
+  assert.ok(e3);
+  assert.equal(e3.toId, s3.id);
+  assert.equal(getBoardCanvas(boardId).edges.filter((x) => x.label === "exec").length, 1);
+});
+
+test("removeSessionFromBoards: 删会话清任务卡引用 + exec 边 + 画布节点，幂等", () => {
+  const b = createBoard(PROJECT, "看板A");
+  const b2 = createBoard(PROJECT, "看板B");
+  const c = createCard({ boardId: b.id, projectKey: PROJECT, name: "任务" });
+  addNode(b.id, { kind: "taskcard", refId: c.id, x: 10, y: 10 });
+  addNode(b.id, { kind: "session", refId: "sess-x", x: 300, y: 10 });
+  // 同一会话也在手动看板上有卡
+  addNode(b2.id, { kind: "session", refId: "sess-x", x: 0, y: 0 });
+  updateCard(c.id, { sessionId: "sess-x" });
+  syncExecEdge(c.id);
+  assert.ok(getBoardCanvas(b.id).edges.find((e) => e.label === "exec"));
+
+  const removed = removeSessionFromBoards("sess-x");
+  assert.equal(removed.removedNodes, 2);
+  // 受影响看板 updated 返回（乐观锁基线刷新用）
+  assert.equal(removed.boards.length, 2);
+  // exec 边消失 + 会话节点从两个看板消失
+  assert.equal(getBoardCanvas(b.id).edges.filter((e) => e.label === "exec").length, 0);
+  assert.equal(getBoardCanvas(b.id).nodes.filter((n) => n.refId === "sess-x").length, 0);
+  assert.equal(getBoardCanvas(b2.id).nodes.filter((n) => n.refId === "sess-x").length, 0);
+  // 任务卡 session_id 清空
+  assert.equal(getCard(c.id)?.sessionId, null);
+  // 幂等：无引用返回 0
+  assert.equal(removeSessionFromBoards("sess-x").removedNodes, 0);
+});