@dsh-workbench/shared 0.2.13 → 0.2.15

package/src/lib/diy-debug.ts

@@ -0,0 +1,122 @@
+export type DebugPhase = 'debugging' | 'paused';
+
+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;
+  stall(sessionId: string, now: number): 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 };
+    },
+
+    stall(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 };
+    },
+
+    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}）`;
+}

package/src/components/SaveBar.css

@@ -1,7 +0,0 @@
-
-.wb-formActions {
-  display: flex;
-  align-items: center;
-  justify-content: flex-end;
-  gap: var(--wb-len-8);
-}