@william2000/dsh-nova-ui-task-board 0.2.0 → 0.3.0

package/lib/index.js

@@ -465,6 +465,19 @@ var HostExecutionRunner = class {
 		};
 	}
 	/**
+	* 停止底层会话（§13.3 用户取消执行）：尽力而为——RPC 失败/被拒/会话不存在
+	* 都只记日志，不抛给控制面（账本侧 cancelled 结算已权威，本调用只是避免
+	* 孤儿 agent 继续空转/烧额度）。
+	*/
+	async cancelSession(sessionId) {
+		try {
+			const response = await this.api.sessions.cancel(request({ sessionId }));
+			if (!response.result.ok) console.warn(`[dsh-task-board] session cancel failed (best-effort): ${response.result.error.code}: ${response.result.error.message}`);
+		} catch (error) {
+			console.warn(`[dsh-task-board] session cancel failed (best-effort): ${error instanceof Error ? error.message : String(error)}`);
+		}
+	}
+	/**
 	* 读取会话 transcript 全文（T012/B8：拆分会话结果解析用）。翻页读取历史事件，
 	* 拼接全部 assistant 消息文本（顺序拼接、换行分隔；总长封顶
 	* TRANSCRIPT_TEXT_LIMIT）。会话不存在/历史不可读 → undefined（调用方按失败
@@ -1802,6 +1815,28 @@ function parseActionEnvelope(value) {
 					taskId
 				}
 			};
+		case "cancel-execution":
+			if (!exactKeys(action, [
+				"kind",
+				"taskId",
+				"executionId"
+			])) return void 0;
+			if (taskId === void 0) return void 0;
+			if (action.executionId !== void 0 && (typeof action.executionId !== "string" || action.executionId.trim() === "")) return;
+			return action.executionId === void 0 ? {
+				requestId: envelope.requestId,
+				action: {
+					kind: "cancel-execution",
+					taskId
+				}
+			} : {
+				requestId: envelope.requestId,
+				action: {
+					kind: "cancel-execution",
+					taskId,
+					executionId: action.executionId
+				}
+			};
 		case "add-comment":
 			if (!exactKeys(action, [
 				"kind",
@@ -2945,6 +2980,27 @@ function applySettleExecution(doc, taskId, executionId, result, now, error) {
 	doc.tasks = doc.tasks.map((candidate) => candidate.id === taskId ? next : candidate);
 	return true;
 }
+/**
+* cancel-execution（§11.2，用户手动停止执行）：把一条未结算执行结算为
+* cancelled（endedAt=now、result=cancelled、error 注明用户取消），任务按
+* settleStatusOf 回落（cancelled → todo）——running 独占随即释放，任务恢复
+* 可移动/可删除/可归档。这是 running 任务「停不下来」的唯一解锁路径：即使
+* 底层会话已停滞（无 turn/end、会话列表仍在），账本侧结算仍然权威生效。
+*
+* 守卫：任务存在；无未结算执行 → 抛错（'task has no running execution'）；
+* `executionId` 缺省取最后一条未结算执行，提供时须是该任务的未结算执行
+* （已结算执行不可作为取消目标，否则 'execution not found'）。
+* 底层会话的停止由 Host 尽力而为（runner.cancelSession），本层不触碰会话。
+*/
+function applyCancelExecution(doc, taskId, executionId, now) {
+	const task = doc.tasks.find((candidate) => candidate.id === taskId);
+	if (task === void 0) throw new TaskBoardTransitionError("task not found");
+	const open = task.executions.filter((execution) => execution.endedAt === void 0);
+	if (open.length === 0) throw new TaskBoardTransitionError("task has no running execution");
+	const target = executionId === void 0 ? open[open.length - 1] : open.find((execution) => execution.id === executionId);
+	if (target === void 0) throw new TaskBoardTransitionError("execution not found");
+	return applySettleExecution(doc, taskId, target.id, "cancelled", now, "cancelled by user");
+}
 /** 从 cron 分支构造一条新的 ScheduleRule（丢弃 lastTriggeredAt 之外的字段）。 */
 function cronRule(schedule, cron, enabled, nextRunAt) {
 	const rule = {
@@ -4153,6 +4209,11 @@ var TaskBoardHostService = class {
 	*/
 	apply(requestId, action) {
 		if (!this.active) throw new Error("task board is disabled");
+		let cancelTargetExecutionId;
+		if (action.kind === "cancel-execution") {
+			const open = this.ledger.peekTasks().find((candidate) => candidate.id === action.taskId)?.executions.filter((execution) => execution.endedAt === void 0) ?? [];
+			cancelTargetExecutionId = action.executionId ?? open.at(-1)?.id;
+		}
 		const before = this.ledger.summary().revision;
 		const state = this.ledger.applyRequest(requestId, action, (doc) => this.applyAction(doc, action));
 		if (state.revision > before) {
@@ -4160,6 +4221,9 @@ var TaskBoardHostService = class {
 				const task = state.tasks.find((candidate) => candidate.id === action.taskId);
 				const execution = task?.executions.at(-1);
 				if (task !== void 0 && execution !== void 0) this.scheduleLaunch(task, execution);
+			} else if (action.kind === "cancel-execution" && cancelTargetExecutionId !== void 0) {
+				const execution = state.tasks.find((candidate) => candidate.id === action.taskId)?.executions.find((candidate) => candidate.id === cancelTargetExecutionId);
+				if (execution?.sessionId !== void 0) this.scheduleSessionCancel(execution.sessionId);
 			} else if (action.kind === "run-automation") this.scheduleAutomationRun(action.ruleId);
 		} else if (action.kind === "start-split") {
 			const job = this.splitJobs.get(action.id);
@@ -4247,6 +4311,7 @@ var TaskBoardHostService = class {
 			case "set-schedule": return applySetSchedule(doc, action.taskId, action.patch, this.now());
 			case "set-one-shot": return applySetOneShot(doc, action.taskId, action.patch, this.now());
 			case "delete": return applyDeleteTask(doc, action.taskId);
+			case "cancel-execution": return applyCancelExecution(doc, action.taskId, action.executionId, this.now());
 			case "move": return applyMoveTask(doc, action.taskId, action.status, this.now(), action.order);
 			case "reorder": return applyReorderTask(doc, action.taskId, action.status, action.order, {
 				...action.project !== void 0 ? { project: action.project } : {},
@@ -4275,6 +4340,18 @@ var TaskBoardHostService = class {
 		});
 	}
 	/**
+	* 异步停止底层会话（用户取消执行，§13.3）：尽力而为——runner 未接线/
+	* 不支持 cancelSession 时 no-op；RPC 失败仅记日志（账本侧 cancelled 结算
+	* 已权威，不因会话停止失败而回滚）。
+	*/
+	scheduleSessionCancel(sessionId) {
+		const runner = this.runner;
+		if (runner?.cancelSession === void 0) return;
+		runner.cancelSession(sessionId).catch((error) => {
+			console.warn(`[dsh-task-board] session cancel failed (best-effort): ${error instanceof Error ? error.message : String(error)}`);
+		});
+	}
+	/**
 	* launch 编排（§13.2 尾部）：runner 创建会话成功 → 回填 sessionId（之后由
 	* 轮询结算）；任何失败 → 结算 failed 并保留错误文本（会话创建后的失败携带
 	* sessionId，先回填再结算，详情页保留跳转线索）。

package/lib/types/client/board-controller.d.ts

@@ -89,7 +89,14 @@ export interface BoardSnapshot {
     executionOptions: ExecutionOptionsSnapshot;
     /** 已提交、等待 Host 确认的任务 id（只做展示，不先写状态）。 */
     pendingTaskIds: readonly string[];
+    /** 最近一次 Host/传输错误（业务拒绝或传输失败统一进此字段展示）。 */
     transportError?: string;
+    /**
+     * 该错误是否可通过「重试连接 Host」修复：true = 传输失败（网络/超时/解析，
+     * 重试有意义）；false = Host 业务拒绝（HTTP 4xx，重试无意义，错误条据此
+     * 不渲染重试按钮）。
+     */
+    transportErrorRetryable?: boolean;
     /** Host 元信息：revision + scheduler（时区）+ power。 */
     host?: {
         revision: number;
@@ -135,7 +142,7 @@ export declare class BoardController {
     private readonly uuid;
     private readonly pendingTaskIds;
     private readonly taskQueues;
-    private transportError;
+    private transportFailure;
     private hostState;
     private remoteSubscribed;
     private remoteInitialization;
@@ -214,6 +221,13 @@ export declare class BoardController {
         tags?: string[];
     }): Promise<boolean>;
     deleteTask(id: string): void;
+    /**
+     * 停止运行中的执行（§11.2 cancel-execution，用户手动取消）：Host 把目标执行
+     * 结算为 cancelled → 任务回落 todo，running 独占随即释放——随后可移动/删除/
+     * 归档。`executionId` 缺省 = 最后一条未结算执行；底层会话由 Host 尽力停止。
+     * 返回 Host 是否确认。
+     */
+    cancelExecution(id: string, executionId?: string): Promise<boolean>;
     /** 归档已结算任务（done/failed）。Host 守卫拒绝非法归档并置错误条。 */
     archiveTask(id: string): void;
     /** 恢复归档任务回原列。确认后关闭详情（任务已离开归档视图）。 */

package/lib/types/client/host-api.d.ts

@@ -21,6 +21,15 @@ import type { TaskRecord } from '../core/model.ts';
 import { type TaskBoardAction, type TaskBoardEventPayload, type TaskBoardSnapshot } from '../protocol.ts';
 /** 单次 Host 请求超时（§17 性能边界；超时按传输错误暴露，可重试）。 */
 export declare const REQUEST_TIMEOUT_MS = 15000;
+/**
+ * Host 业务拒绝（HTTP 4xx，§11.1）：与传输层错误区分——业务拒绝由操作修正，
+ * 重试无意义；错误条据此**不显示「重试连接 Host」**，只对传输失败（网络/
+ * 超时/解析）保留重试入口（board-controller 按 instanceof 判定 retryable）。
+ */
+export declare class TaskBoardRequestError extends Error {
+    readonly status: number;
+    constructor(message: string, status: number);
+}
 /** 浏览器存储的读写面（localStorage；测试注入 fake）。 */
 export interface MarkerStorage {
     getItem(key: string): string | null;

package/lib/types/client/locales.d.ts

@@ -44,12 +44,17 @@ export declare const zh: {
     'new.required': string;
     'detail.title': string;
     'detail.close': string;
+    'detail.edit': string;
+    'detail.editSave': string;
+    'detail.editCancel': string;
+    'detail.editRunningHint': string;
     'detail.prompt': string;
     'detail.description': string;
     'detail.execution': string;
     'detail.noExecution': string;
     'detail.run': string;
     'detail.rerun': string;
+    'detail.stop': string;
     'detail.delete': string;
     'detail.archive': string;
     'detail.restore': string;
@@ -65,6 +70,9 @@ export declare const zh: {
     'delete.confirm': string;
     'delete.ok': string;
     'delete.cancel': string;
+    'stop.title': string;
+    'stop.confirm': string;
+    'stop.ok': string;
     'status.move.backlog': string;
     'status.move.todo': string;
     'time.justNow': string;

package/lib/types/core/transitions.d.ts

@@ -64,6 +64,11 @@
  *   proposed 守卫）、不可作为拖拽来源（T009 已含）；编辑（update）允许
  *   （§10.2「只读（除编辑/确认/拒绝）」）。
  *
+ * 用户取消执行（running 解锁）：`applyCancelExecution`（§11.2 cancel-execution，
+ * 用户手动停止）——把目标未结算执行结算为 cancelled（endedAt/result/error 落账），
+ * 任务按 settleStatusOf 回落 todo，running 独占随即释放（可移动/删除/归档）；
+ * 底层会话的停止由 Host 尽力而为（runner.cancelSession），本层只做账本侧权威结算。
+ *
  * T012 需求拆分（§11.2/§12.9/§14.5，P3.2）：
  * - `applyProposeBatch`：propose-batch（批量创建候选，需求拆分产物）——
  *   items 逐条沿用 propose 的清洗（标题/描述/prompt 控制字符 + 长度封顶，
@@ -285,6 +290,19 @@ export declare function settleStatusOf(result: ExecutionResult, current: TaskSta
  * 守卫：执行存在；已结算执行为 no-op（返回 false，不 bump revision）。
  */
 export declare function applySettleExecution(doc: LedgerDocument, taskId: string, executionId: string, result: ExecutionResult, now: number, error?: string): boolean;
+/**
+ * cancel-execution（§11.2，用户手动停止执行）：把一条未结算执行结算为
+ * cancelled（endedAt=now、result=cancelled、error 注明用户取消），任务按
+ * settleStatusOf 回落（cancelled → todo）——running 独占随即释放，任务恢复
+ * 可移动/可删除/可归档。这是 running 任务「停不下来」的唯一解锁路径：即使
+ * 底层会话已停滞（无 turn/end、会话列表仍在），账本侧结算仍然权威生效。
+ *
+ * 守卫：任务存在；无未结算执行 → 抛错（'task has no running execution'）；
+ * `executionId` 缺省取最后一条未结算执行，提供时须是该任务的未结算执行
+ * （已结算执行不可作为取消目标，否则 'execution not found'）。
+ * 底层会话的停止由 Host 尽力而为（runner.cancelSession），本层不触碰会话。
+ */
+export declare function applyCancelExecution(doc: LedgerDocument, taskId: string, executionId: string | undefined, now: number): boolean;
 /** set-schedule 补丁（§11.2）：只允许 enabled/cron 两个浏览器可写字段。 */
 export interface SetSchedulePatch {
     enabled?: boolean;

package/lib/types/host-runner.d.ts

@@ -120,6 +120,11 @@ export interface ExecutionApi {
             events: HistoryEntry[];
             hasMore: boolean;
         }>>;
+        cancel(request: RpcRequest<{
+            sessionId: SessionId;
+        }>): Promise<RpcResponse<{
+            accepted: true;
+        }>>;
     };
 }
 /** 会话创建后的启动失败：仍标识会话（服务层先回填 sessionId 再结算 failed）。 */
@@ -167,6 +172,12 @@ export declare class HostExecutionRunner {
      *   实现）；缺省时自行拉取。
      */
     inspect(sessionId: string, startedAt: number, sessions?: readonly ExecutionSessionRow[]): Promise<ExecutionInspection>;
+    /**
+     * 停止底层会话（§13.3 用户取消执行）：尽力而为——RPC 失败/被拒/会话不存在
+     * 都只记日志，不抛给控制面（账本侧 cancelled 结算已权威，本调用只是避免
+     * 孤儿 agent 继续空转/烧额度）。
+     */
+    cancelSession(sessionId: string): Promise<void>;
     /**
      * 读取会话 transcript 全文（T012/B8：拆分会话结果解析用）。翻页读取历史事件，
      * 拼接全部 assistant 消息文本（顺序拼接、换行分隔；总长封顶

package/lib/types/host-service.d.ts

@@ -94,6 +94,12 @@ export interface TaskBoardExecutionRunner {
      * 历史不可读 → undefined。拆分会话是独立专用会话，全文即拆分结果。
      */
     readTranscriptText(sessionId: string): Promise<string | undefined>;
+    /**
+     * 停止底层会话（用户取消执行，§13.3）：尽力而为——缺省/失败不影响账本侧
+     * cancelled 结算（cancel-execution 的 ledger 落账不依赖它）。可缺省（测试
+     * fake 无需实现）。
+     */
+    cancelSession?(sessionId: string): Promise<void>;
 }
 /**
  * 需求拆分作业（T012/B8，§12.9/§14.5）：一次 `start-split` 对应一个独立拆分
@@ -176,6 +182,12 @@ export declare class TaskBoardHostService {
     private applyAction;
     /** 异步调度 launch（fire-and-forget；结算失败仅记录日志，不中断控制面）。 */
     private scheduleLaunch;
+    /**
+     * 异步停止底层会话（用户取消执行，§13.3）：尽力而为——runner 未接线/
+     * 不支持 cancelSession 时 no-op；RPC 失败仅记日志（账本侧 cancelled 结算
+     * 已权威，不因会话停止失败而回滚）。
+     */
+    private scheduleSessionCancel;
     /**
      * launch 编排（§13.2 尾部）：runner 创建会话成功 → 回填 sessionId（之后由
      * 轮询结算）；任何失败 → 结算 failed 并保留错误文本（会话创建后的失败携带

package/lib/types/protocol.d.ts

@@ -133,6 +133,10 @@ export type TaskBoardAction = {
 } | {
     kind: 'rerun';
     taskId: string;
+} | {
+    kind: 'cancel-execution';
+    taskId: string;
+    executionId?: string;
 } | {
     kind: 'propose';
     id: string;

package/package.json

@@ -1,7 +1,7 @@
 {
   "name": "@william2000/dsh-nova-ui-task-board",
   "description": "Host-authoritative task board for the DSH Web GUI with real session execution, Host cron/one-shot scheduling, sorting/grouping/drag-drop, tag & project filtering; mounted without DSH source changes. Nova 系列核心功能包（任务看板插件本体：Host 服务 + 浏览器 UI）。",
-  "version": "0.2.0",
+  "version": "0.3.0",
   "type": "module",
   "engines": {
     "node": ">=20"