@dsh-workbench/shared 0.2.14 → 0.2.16

package/src/host/tool-kit.ts

@@ -6,6 +6,11 @@ export function sessionWorkspace(exec: DshToolRunContext | undefined): string |
   return typeof cwd === 'string' && cwd.trim() !== '' ? cwd.trim() : null;
 }
 
+export function sessionIdOf(exec: DshToolRunContext | undefined): string | null {
+  const id = exec?.agent?.session?.id;
+  return typeof id === 'string' && id.trim() !== '' ? id.trim() : null;
+}
+
 export function textOutput(text: string): Array<Record<string, unknown>> {
   return [{ type: 'text', text }];
 }

package/src/host.ts

@@ -7,6 +7,8 @@ export * from './api/long-task.js';
 export * from './lib/text.js';
 export * from './lib/ui.js';
 export * from './lib/panel-state.js';
+export * from './lib/board-fact.js';
+export * from './lib/diy-debug.js';
 export * from './api/blocker-table.js';
 export * from './host/browser-find.js';
 export * from './host/browser-read.js';

package/src/i18n/en.ts

@@ -420,4 +420,19 @@ export const en: Record<keyof WorkbenchMessages, string> = {
   'configSync.noSource': 'This machine has no other profile to sync from',
   'configSync.emptyProviders': 'The workbench has no model provider yet — sync the llm- rows from some profile, or configure one under Models.',
   'configSync.failed': 'The sync did not go through; try again.',
+
+  'debug.status': 'Workbench DIY debugging',
+  'debug.status.trouble': 'Workbench DIY debugging needs attention',
+  'debug.stalled': 'Workbench DIY debugging paused',
+  'debug.act.pause': 'Pause debugging',
+  'debug.act.resume': 'Resume debugging',
+  'debug.act.stop': 'Stop debugging',
+  'debug.act.stop.ask': 'Confirm stop',
+  'debug.card.here.title': 'Workbench DIY debugging is on',
+  'debug.card.here.note': 'Do not switch workspaces or touch the panel',
+  'debug.card.away.title': 'Workbench DIY debugging is on',
+  'debug.card.away.note': 'Switch to the Workbench DIY workspace',
+  'debug.card.paused.note': 'Paused',
+  'debug.card.hidden.note': 'Switch to the Workbench panel',
+  'debug.back': 'Back to the workshop screen',
 };

package/src/i18n/zh.ts

@@ -415,6 +415,21 @@ export const zh = {
   'configSync.noSource': '这台机器上只有工作台这一个 profile，没有可同步的来源',
   'configSync.emptyProviders': '工作台还没有任何模型供应商 —— 去「配置同步」从某个 profile 把 llm- 那几行搬过来，或自己去「模型」里配。',
   'configSync.failed': '同步没成功，再试一次。',
+
+  'debug.status': '工作台 DIY 开发调试中',
+  'debug.status.trouble': '工作台 DIY 开发调试异常',
+  'debug.stalled': '工作台 DIY 调试暂停',
+  'debug.act.pause': '暂停调试',
+  'debug.act.resume': '继续调试',
+  'debug.act.stop': '结束调试',
+  'debug.act.stop.ask': '确认结束',
+  'debug.card.here.title': '当前工作台 DIY 开发调试中',
+  'debug.card.here.note': '请勿切换工作区和操作面板',
+  'debug.card.away.title': '工作台 DIY 开发调试中',
+  'debug.card.away.note': '请切换到工作台 DIY 工作区',
+  'debug.card.paused.note': '已暂停',
+  'debug.card.hidden.note': '请切换到工作台面板',
+  'debug.back': '回到工坊那一屏',
 } as const;
 
 export type WorkbenchMessages = typeof zh;

package/src/index.ts

@@ -45,6 +45,8 @@ export * from './i18n/zh.js';
 export * from './lib/blocker-action.js';
 export * from './lib/busy.js';
 export * from './lib/form-problem.js';
+export * from './lib/board-fact.js';
+export * from './lib/diy-debug.js';
 export * from './lib/panel-state.js';
 export * from './lib/react.js';
 export * from './lib/text.js';

package/src/lib/board-fact.test.ts

@@ -0,0 +1,86 @@
+import { describe, expect, it } from 'vitest';
+import { boardFactOf, boardSituation, insideWorkshop, type BoardProbe } from './board-fact.js';
+
+const WORKSHOP = '/w/workbench/diy';
+const FL0XIN = '/w/floxin-app';
+
+const probe = (over: Partial<BoardProbe> = {}): BoardProbe => ({
+  workbench: true,
+  where: WORKSHOP,
+  bar: true,
+  board: WORKSHOP,
+  open: true,
+  drawn: true,
+  ...over,
+});
+
+const gone = { bar: false, board: '', open: false, drawn: false } as const;
+
+describe('板事实：一份判据，两边共用', () => {
+  it('★★ 画着的就是工坊那块板（含子路径）⇒ workshop', () => {
+    expect(boardFactOf(probe(), WORKSHOP)).toBe('workshop');
+    expect(boardFactOf(probe({ board: `${WORKSHOP}/packages` }), WORKSHOP)).toBe('workshop');
+  });
+
+  it('★★ 画的是别的项目的板 ⇒ other（前缀像但没落在里面也算 other）', () => {
+    expect(boardFactOf(probe({ board: '/w/project' }), WORKSHOP)).toBe('other');
+    expect(boardFactOf(probe({ board: `${WORKSHOP}-other` }), WORKSHOP)).toBe('other');
+  });
+
+  it('★★ 那块板没画在屏上 ⇒ hidden：不挂、没声明开着、量出来不可见，三条里任一条不成立都算', () => {
+    expect(boardFactOf(probe({ bar: false }), WORKSHOP)).toBe('hidden');
+    expect(boardFactOf(probe({ open: false }), WORKSHOP)).toBe('hidden');
+    expect(boardFactOf(probe({ drawn: false }), WORKSHOP)).toBe('hidden');
+  });
+
+  it('★★ 工作台没答话（旧外壳 / 夹具页）⇒ unknown：放行，但不许当成"就是工坊板"', () => {
+    expect(boardFactOf(probe({ workbench: false }), WORKSHOP)).toBe('unknown');
+  });
+
+  it('★ 画着板但说不清是哪块、或不知道工坊在哪 ⇒ unknown', () => {
+    expect(boardFactOf(probe({ board: '' }), WORKSHOP)).toBe('unknown');
+    expect(boardFactOf(probe(), null)).toBe('unknown');
+  });
+
+  it('★★ 顺序要紧：没画在屏上，就别去猜是哪块板', () => {
+    expect(boardFactOf(probe({ board: WORKSHOP, drawn: false }), WORKSHOP)).toBe('hidden');
+    expect(boardFactOf(probe({ workbench: false, bar: false }), WORKSHOP)).toBe('unknown');
+  });
+});
+
+describe('干不了活是为什么：先看人在不在工坊，再看板画没画在屏上', () => {
+  it('★★ 在位 ⇒ ok（跟 boardFactOf === "workshop" 是同一个条件）', () => {
+    expect(boardSituation(probe(), WORKSHOP)).toBe('ok');
+    expect(boardSituation(probe({ board: `${WORKSHOP}/packages` }), WORKSHOP)).toBe('ok');
+  });
+
+  it('★★ 用户根本不在工坊那个工作区 ⇒ off-workspace（哪怕右栏整个没挂也说得清）', () => {
+    expect(boardSituation(probe({ where: FL0XIN, ...gone }), WORKSHOP)).toBe('off-workspace');
+    expect(boardSituation(probe({ where: FL0XIN }), WORKSHOP)).toBe('ok');
+  });
+
+  it('★★ 人在工坊、可那块板没画在屏上 ⇒ panel-closed', () => {
+    expect(boardSituation(probe({ ...gone }), WORKSHOP)).toBe('panel-closed');
+  });
+
+  it('★★ 人在工坊、画着的却是别家的板 ⇒ other-board', () => {
+    expect(boardSituation(probe({ board: '/w/project' }), WORKSHOP)).toBe('other-board');
+  });
+
+  it('★ 问不出来（旧外壳 / 夹具页）⇒ unknown：两边都放行、都别喊狼来了', () => {
+    expect(boardSituation(probe({ workbench: false }), WORKSHOP)).toBe('unknown');
+    expect(boardSituation(probe({ where: '', ...gone }), WORKSHOP)).toBe('panel-closed');
+    expect(boardSituation(probe({ board: '' }), WORKSHOP)).toBe('unknown');
+  });
+
+  it('★★ 优先级：不在工坊这一条压过"面板没开"（先说更根本的那一步）', () => {
+    expect(boardSituation(probe({ where: FL0XIN, ...gone }), WORKSHOP)).toBe('off-workspace');
+  });
+
+  it('★ 路径归属的纯规则：相同就是里面，前缀必须落在斜杠上', () => {
+    expect(insideWorkshop('/a/b', '/a/b')).toBe(true);
+    expect(insideWorkshop('/a/b', '/a/b/c')).toBe(true);
+    expect(insideWorkshop('/a/b', '/a/bc')).toBe(false);
+    expect(insideWorkshop('/a/b/', '/a/b/c')).toBe(true);
+  });
+});

package/src/lib/board-fact.ts

@@ -0,0 +1,45 @@
+export type BoardFactState =
+  | 'workshop'
+  | 'other'
+  | 'hidden'
+  | 'unknown';
+
+export type BoardSituation =
+  | 'ok'
+  | 'off-workspace'
+  | 'panel-closed'
+  | 'other-board'
+  | 'unknown';
+
+export interface BoardProbe {
+  readonly workbench: boolean;
+  readonly where: string;
+  readonly bar: boolean;
+  readonly board: string;
+  readonly open: boolean;
+  readonly drawn: boolean;
+}
+
+export function insideWorkshop(root: string, target: string): boolean {
+  if (target === root) return true;
+  const base = root.endsWith('/') ? root : `${root}/`;
+  return target.startsWith(base);
+}
+
+export function boardFactOf(probe: BoardProbe, workshop: string | null): BoardFactState {
+  if (!probe.workbench) return 'unknown';
+  if (!probe.bar || !probe.open || !probe.drawn) return 'hidden';
+  if (probe.board === '' || workshop === null) return 'unknown';
+  return insideWorkshop(workshop, probe.board) ? 'workshop' : 'other';
+}
+
+export function boardSituation(probe: BoardProbe, workshop: string | null): BoardSituation {
+  if (!probe.workbench || workshop === null) return 'unknown';
+  const drawn = probe.bar && probe.open && probe.drawn;
+  if (drawn) {
+    if (probe.board === '') return 'unknown';
+    return insideWorkshop(workshop, probe.board) ? 'ok' : 'other-board';
+  }
+  if (probe.where !== '' && !insideWorkshop(workshop, probe.where)) return 'off-workspace';
+  return 'panel-closed';
+}

package/src/lib/diy-debug.test.ts

@@ -0,0 +1,110 @@
+import { describe, expect, it } from 'vitest';
+import { DEBUG_STALE_MS, createDebugStore, parseDebugIntent, type DebugPact } from './diy-debug.js';
+
+const pact = (sessionId: string, now = 1000, unit = 'demo'): DebugPact => ({
+  sessionId,
+  workspace: '/w/diy',
+  board: '/w/diy',
+  unit,
+  name: unit,
+  now,
+});
+
+describe('调试态：一台机器一次一条，谁开始谁收工', () => {
+  it('★ 开始 ⇒ debugging，把目标、开始时间与会话都记下', () => {
+    const store = createDebugStore();
+    const move = store.begin(pact('s1', 1000));
+
+    expect(move.ok).toBe(true);
+    if (!move.ok) return;
+    expect(move.state.phase).toBe('debugging');
+    expect(move.state.unit).toBe('demo');
+    expect(move.state.startedAt).toBe(1000);
+    expect(store.live(1000)).toEqual(move.state);
+  });
+
+  it('★★ 另一场调试占着就不许再开（一次一台机器只允许一场）', () => {
+    const store = createDebugStore();
+    store.begin(pact('s1', 1000));
+
+    const second = store.begin(pact('s2', 1200));
+
+    expect(second).toEqual({ ok: false, code: 'held-by-other' });
+    expect(store.live(1200)?.sessionId).toBe('s1');
+  });
+
+  it('★ 同一个会话再来一次 ⇒ already-held（换目标要先收工，或接着看用 resume）', () => {
+    const store = createDebugStore();
+    store.begin(pact('s1', 1000));
+
+    expect(store.begin(pact('s1', 1100))).toEqual({ ok: false, code: 'already-held' });
+  });
+
+  it('★ 暂停 / 继续 / 收工的正常路径：每回都换 at，不动 startedAt', () => {
+    const store = createDebugStore();
+    store.begin(pact('s1', 1000));
+
+    const paused = store.pause('s1', 2000);
+    expect(paused.ok && paused.state.phase).toBe('paused');
+    expect(paused.ok && paused.state.at).toBe(2000);
+
+    const resumed = store.resume('s1', 3000);
+    expect(resumed.ok && resumed.state.phase).toBe('debugging');
+    expect(resumed.ok && resumed.state.startedAt).toBe(1000);
+
+    const stopped = store.stop('s1', 4000);
+    expect(stopped.ok && stopped.state.unit).toBe('demo');
+    expect(store.live(4000)).toBeNull();
+  });
+
+  it('★ 没开始就暂停 / 继续 / 收工 ⇒ none；暂停态里再暂停 ⇒ already-paused；调试中再继续 ⇒ already-debugging', () => {
+    const store = createDebugStore();
+
+    expect(store.pause('s1', 1000)).toEqual({ ok: false, code: 'none' });
+    expect(store.resume('s1', 1000)).toEqual({ ok: false, code: 'none' });
+    expect(store.stop('s1', 1000)).toEqual({ ok: false, code: 'none' });
+
+    store.begin(pact('s1', 1000));
+    expect(store.resume('s1', 1000)).toEqual({ ok: false, code: 'already-debugging' });
+    expect(store.pause('s1', 2000).ok).toBe(true);
+    expect(store.pause('s1', 2500)).toEqual({ ok: false, code: 'already-paused' });
+  });
+
+  it('★★ 别人不许动我的调试态（not-owner）—— 谁开始谁收工', () => {
+    const store = createDebugStore();
+    store.begin(pact('s1', 1000));
+
+    expect(store.pause('s2', 1500)).toEqual({ ok: false, code: 'not-owner' });
+    expect(store.resume('s2', 1500)).toEqual({ ok: false, code: 'not-owner' });
+    expect(store.stop('s2', 1500)).toEqual({ ok: false, code: 'not-owner' });
+    expect(store.live(1500)?.sessionId).toBe('s1');
+  });
+
+  it('★★ 状态机里没有"自动落 paused"这回事：只有 agent 主动 pause / resume / stop（2026-10-17 夜口径）', () => {
+    const store = createDebugStore();
+    store.begin(pact('s1', 1000));
+
+    expect(Object.keys(store)).toEqual(['live', 'begin', 'pause', 'resume', 'stop']);
+    expect(store.live(2000)?.phase).toBe('debugging');
+  });
+
+  it('★ 过期当它不存在（时间隔太久，别把上一场调试留给下一个人）', () => {
+    const store = createDebugStore();
+    store.begin(pact('s1', 1000));
+
+    expect(store.live(1000 + DEBUG_STALE_MS)).not.toBeNull();
+    expect(store.live(1001 + DEBUG_STALE_MS)).toBeNull();
+    expect(store.begin(pact('s2', 1001 + DEBUG_STALE_MS)).ok).toBe(true);
+  });
+});
+
+describe('用户在那一格上按的三个键：意图词表只此一份', () => {
+  it('★ 认得出三个，其余一律 null（别把别的字当成指令）', () => {
+    expect(parseDebugIntent('pause')).toBe('pause');
+    expect(parseDebugIntent('resume')).toBe('resume');
+    expect(parseDebugIntent('stop')).toBe('stop');
+    for (const bad of ['', 'PAUSE', 'Pause', 'kill', 'end', null, undefined, 1, {}, []]) {
+      expect(parseDebugIntent(bad)).toBeNull();
+    }
+  });
+});

package/src/lib/diy-debug.ts

@@ -0,0 +1,118 @@
+export type DebugPhase = 'debugging' | 'paused';
+
+export type DebugIntent = 'pause' | 'resume' | 'stop';
+
+export function parseDebugIntent(value: unknown): DebugIntent | null {
+  return value === 'pause' || value === 'resume' || value === 'stop' ? value : null;
+}
+
+export const DEBUG_STALE_MS = 4 * 60 * 60 * 1000;
+
+export interface DebugState {
+  readonly phase: DebugPhase;
+  readonly sessionId: string;
+  readonly workspace: string;
+  readonly board: string;
+  readonly unit: string;
+  readonly name: string;
+  readonly startedAt: number;
+  readonly at: number;
+}
+
+export interface DebugPact {
+  readonly sessionId: string;
+  readonly workspace: string;
+  readonly board: string;
+  readonly unit: string;
+  readonly name: string;
+  readonly now: number;
+}
+
+export type DebugRefusal =
+  | 'already-held'
+  | 'held-by-other'
+  | 'not-owner'
+  | 'none'
+  | 'already-paused'
+  | 'already-debugging';
+
+export type DebugMove =
+  | { readonly ok: true; readonly state: DebugState }
+  | { readonly ok: false; readonly code: DebugRefusal };
+
+export interface DebugStore {
+  live(now: number): DebugState | null;
+  begin(pact: DebugPact): DebugMove;
+  pause(sessionId: string, now: number): DebugMove;
+  resume(sessionId: string, now: number): DebugMove;
+  stop(sessionId: string, now: number): DebugMove;
+}
+
+function alive(state: DebugState | null, now: number): DebugState | null {
+  if (state === null) return null;
+  return now - state.at <= DEBUG_STALE_MS ? state : null;
+}
+
+function ownerOf(state: DebugState | null, sessionId: string, now: number): DebugRefusal | DebugState {
+  const held = alive(state, now);
+  if (held === null) return 'none';
+  return held.sessionId === sessionId ? held : 'not-owner';
+}
+
+export function createDebugStore(): DebugStore {
+  let held: DebugState | null = null;
+
+  const live = (now: number): DebugState | null => alive(held, now);
+
+  return {
+    live,
+
+    begin(pact) {
+      const current = alive(held, pact.now);
+      if (current !== null) {
+        return { ok: false, code: current.sessionId === pact.sessionId ? 'already-held' : 'held-by-other' };
+      }
+      const state: DebugState = {
+        phase: 'debugging',
+        sessionId: pact.sessionId,
+        workspace: pact.workspace,
+        board: pact.board,
+        unit: pact.unit,
+        name: pact.name,
+        startedAt: pact.now,
+        at: pact.now,
+      };
+      held = state;
+      return { ok: true, state };
+    },
+
+    pause(sessionId, now) {
+      const found = ownerOf(held, sessionId, now);
+      if (typeof found === 'string') return { ok: false, code: found };
+      if (found.phase === 'paused') return { ok: false, code: 'already-paused' };
+      const state: DebugState = { ...found, phase: 'paused', at: now };
+      held = state;
+      return { ok: true, state };
+    },
+
+    resume(sessionId, now) {
+      const found = ownerOf(held, sessionId, now);
+      if (typeof found === 'string') return { ok: false, code: found };
+      if (found.phase === 'debugging') return { ok: false, code: 'already-debugging' };
+      const state: DebugState = { ...found, phase: 'debugging', at: now };
+      held = state;
+      return { ok: true, state };
+    },
+
+    stop(sessionId, now) {
+      const found = ownerOf(held, sessionId, now);
+      if (typeof found === 'string') return { ok: false, code: found };
+      held = null;
+      return { ok: true, state: found };
+    },
+  };
+}
+
+export function debugOwnerText(state: DebugState): string {
+  return `会话 ${state.sessionId}（自 ${new Date(state.startedAt).toISOString().slice(11, 19)}Z 起在调试 ${state.unit}）`;
+}