@zhushanwen/pi-todo 0.5.2 → 0.6.1

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@zhushanwen/pi-todo",
-  "version": "0.5.2",
+  "version": "0.6.1",
   "description": "AI-driven todo list for Pi — stateful task management with session persistence and /todos command.",
   "type": "module",
   "main": "src/index.ts",
@@ -25,7 +25,7 @@
     "vitest": "^4.1.8"
   },
   "dependencies": {
-    "@xyz-agent/extension-protocol": "^0.3.1"
+    "@xyz-agent/extension-protocol": "^0.4.0"
   },
   "peerDependencies": {
     "@earendil-works/pi-coding-agent": "*",

package/src/__tests__/gui.test.ts

@@ -31,9 +31,4 @@ describe("buildGui", () => {
 		expect(gui.component.props.items).toEqual([]);
 	});
 
-	it("isVerification todo still maps correctly", () => {
-		const todos: Todo[] = [{ id: 1, text: "verify", status: "pending", isVerification: true }];
-		const gui = buildGui(todos);
-		expect(gui.component.props.items[0]).toMatchObject({ icon: "dot", label: "#1: verify" });
-	});
 });

package/src/__tests__/steer.test.ts

@@ -42,6 +42,8 @@ describe("handleCompletionSteer", () => {
 		expect(handleCompletionSteer(s)).toBe(true);
 		expect(s.completionSteered).toBe(true);
 		expect(s.pendingSteerMessage).toContain("交付质量");
+		expect(s.pendingSteerMessage).toContain("检查实际产出");
+		expect(s.pendingSteerMessage).toContain("不要凭印象");
 	});
 
 	it("does not steer twice (single-shot lock)", () => {
@@ -148,13 +150,40 @@ describe("handleReminder", () => {
 
 // ── reminder / context builders ─────────────────────
 
-describe("buildMinimalReminder", () => {
-	it("mentions the next pending task", () => {
+	describe("buildMinimalReminder", () => {
+	it("mentions the next pending task with action directive", () => {
 		const s = makeState([
 			{ id: 1, text: "done", status: "completed" },
 			{ id: 2, text: "next", status: "pending" },
 		]);
-		expect(buildMinimalReminder(s)).toContain("#2 next");
+		const out = buildMinimalReminder(s);
+		expect(out).toContain("#2 next");
+		expect(out).toContain("必须处理");
+		expect(out).toContain("todo update");
+	});
+
+	it("includes in_progress todos as pending", () => {
+		const s = makeState([
+			{ id: 1, text: "working", status: "in_progress" },
+			{ id: 2, text: "next", status: "pending" },
+		]);
+		expect(buildMinimalReminder(s)).toContain("#1 working");
+	});
+
+	it("excludes cancelled todos from reminder", () => {
+		const s = makeState([
+			{ id: 1, text: "cancelled task", status: "cancelled" },
+			{ id: 2, text: "active", status: "in_progress" },
+		]);
+		const out = buildMinimalReminder(s);
+		expect(out).toContain("#2 active");
+		expect(out).not.toContain("#1");
+	});
+
+	it("returns empty string when only cancelled remain", () => {
+		expect(
+			buildMinimalReminder(makeState([{ id: 1, text: "x", status: "cancelled" }])),
+		).toBe("");
 	});
 
 	it("returns empty string when no pending", () => {
@@ -176,6 +205,31 @@ describe("buildBeforeAgentStartMessage", () => {
 		expect(m!.message.content).not.toContain("#2");
 	});
 
+	it("injects action directives (process first / mark completed / stalled != done)", () => {
+		const s = makeState([{ id: 1, text: "a", status: "in_progress" }]);
+		const m = buildBeforeAgentStartMessage(s);
+		expect(m!.message.content).toContain("开始工作前先推进 pending 任务");
+		expect(m!.message.content).toContain("todo update 标记 completed");
+		expect(m!.message.content).toContain("搁置不等于完成");
+	});
+
+	it("excludes cancelled todos from context injection", () => {
+		const s = makeState([
+			{ id: 1, text: "cancelled", status: "cancelled" },
+			{ id: 2, text: "active", status: "pending" },
+		]);
+		const m = buildBeforeAgentStartMessage(s);
+		expect(m).toBeDefined();
+		expect(m!.message.content).toContain("#2: active");
+		expect(m!.message.content).not.toContain("#1");
+	});
+
+	it("returns undefined when only cancelled remain", () => {
+		expect(
+			buildBeforeAgentStartMessage(makeState([{ id: 1, text: "x", status: "cancelled" }])),
+		).toBeUndefined();
+	});
+
 	it("returns undefined when list empty", () => {
 		expect(buildBeforeAgentStartMessage(makeState([]))).toBeUndefined();
 	});
@@ -225,6 +279,29 @@ describe("reconstructState", () => {
 		reconstructState(s, makeCtx(entries));
 		expect(s.todos[0].status).toBe("pending");
 	});
+
+	it("skips dirty (null/primitive) elements without throwing", () => {
+		const entries = [
+			todoEntry([null, { id: 1, text: "ok", status: "pending" }] as unknown as Todo[], 3),
+		];
+		const s = createTodoSessionState();
+		expect(() => reconstructState(s, makeCtx(entries))).not.toThrow();
+		expect(s.todos).toHaveLength(1);
+		expect(s.todos[0].id).toBe(1);
+		expect(s.nextId).toBe(3);
+	});
+
+	it("ignores snapshot when all elements are dirty (replay continues)", () => {
+		const entries = [
+			todoEntry([null, "garbage"] as unknown as Todo[], 5),
+			todoEntry([{ id: 9, text: "valid", status: "pending" }], 10),
+		];
+		const s = createTodoSessionState();
+		expect(() => reconstructState(s, makeCtx(entries))).not.toThrow();
+		expect(s.todos).toHaveLength(1);
+		expect(s.todos[0].id).toBe(9);
+		expect(s.nextId).toBe(10);
+	});
 });
 
 // ── agent_end integration (短路顺序) ────────────────

package/src/__tests__/todo.test.ts

@@ -53,17 +53,17 @@ describe("Todo data model", () => {
 		expect(migrated.status).toBe("pending");
 	});
 
-	it("should preserve isVerification flag (FR-6)", () => {
-		const todo = { id: 1, text: "run tests", status: "pending", isVerification: true } as unknown as Todo;
-		const migrated = migrateTodo(todo);
-		expect(migrated.isVerification).toBe(true);
-	});
-
 	it("should preserve cancelled status (FR-1 four-state)", () => {
 		const todo = { id: 1, text: "dropped", status: "cancelled" } as unknown as Todo;
 		const migrated = migrateTodo(todo);
 		expect(migrated.status).toBe("cancelled");
 	});
+
+	it("should throw on null/primitive input (dirty data guard)", () => {
+		expect(() => migrateTodo(null)).toThrow(TypeError);
+		expect(() => migrateTodo(undefined)).toThrow(TypeError);
+		expect(() => migrateTodo("garbage")).toThrow(TypeError);
+	});
 });
 
 // ── todo add ────────────────────────────────────────
@@ -103,25 +103,6 @@ describe("todo add", () => {
 		expect(result.error).toBeUndefined();
 		expect(result.newTodos[0].text).toBe("new task");
 	});
-
-	it("should mark todos as verification when isVerification=true (FR-6)", () => {
-		const result = addTodos([], 1, ["run tests", "typecheck"], true);
-		expect(result.error).toBeUndefined();
-		expect(result.newTodos[0].isVerification).toBe(true);
-		expect(result.newTodos[1].isVerification).toBe(true);
-	});
-
-	it("should not set isVerification when omitted", () => {
-		const result = addTodos([], 1, ["regular task"]);
-		expect(result.error).toBeUndefined();
-		expect(result.newTodos[0].isVerification).toBeUndefined();
-	});
-
-	it("should not set isVerification when isVerification=false", () => {
-		const result = addTodos([], 1, ["regular task"], false);
-		expect(result.error).toBeUndefined();
-		expect(result.newTodos[0].isVerification).toBeUndefined();
-	});
 });
 
 // ── todo update batch ───────────────────────────────
@@ -177,39 +158,24 @@ describe("todo update batch", () => {
 		expect(result.error).toContain("invalid status");
 	});
 
-	it("FR-6: cancelled todo 不可恢复（status 更新拒绝）", () => {
+	it("cancelled todo 不可恢复（status 更新拒绝）", () => {
 		const todos: Todo[] = [{ id: 1, text: "dropped", status: "cancelled" }];
 		const result = updateTodos(todos, [{ id: 1, status: "pending" }]);
 		expect(result.error).toBe("id 1 is cancelled");
 		expect(result.resultText).toContain("cannot be restored");
 		expect(result.updatedTodos).toEqual(todos);
 	});
-
-	it("FR-6: 验证任务不可 cancelled", () => {
-		const todos: Todo[] = [{ id: 2, text: "run tests", status: "in_progress", isVerification: true }];
-		const result = updateTodos(todos, [{ id: 2, status: "cancelled" }]);
-		expect(result.error).toBe("id 2 is verification todo");
-		expect(result.resultText).toContain("cannot be cancelled");
-		expect(result.updatedTodos).toEqual(todos);
-	});
 });
 
-// ── handleSingleUpdate FR-6 守卫（tool 单条路径）────
+// ── handleSingleUpdate 守卫（tool 单条路径）────
 
-describe("handleSingleUpdate FR-6 guards (tool single path)", () => {
-	it("FR-6: cancelled todo + status → cannot restore", () => {
+describe("handleSingleUpdate guards (tool single path)", () => {
+	it("cancelled todo + status → cannot restore", () => {
 		const state = createTodoSessionState();
 		state.todos = [{ id: 1, text: "dropped", status: "cancelled" }];
 		expect(() => handleSingleUpdate(state, { action: "update", id: 1, status: "pending" }))
 			.toThrow("#1 is cancelled (cannot restore)");
 	});
-
-	it("FR-6: verification todo + status=cancelled → cannot cancel", () => {
-		const state = createTodoSessionState();
-		state.todos = [{ id: 2, text: "run tests", status: "in_progress", isVerification: true }];
-		expect(() => handleSingleUpdate(state, { action: "update", id: 2, status: "cancelled" }))
-			.toThrow("#2 is verification todo (cannot cancel)");
-	});
 });
 
 // ── completed 无拦截 ────────────────────────────────

package/src/__tests__/tool-prompt.test.ts

@@ -42,10 +42,6 @@ describe("todo description — 给完整 JSON 正例", () => {
 		expect(DESCRIPTION_REGION).toContain('{"action":"add","texts"');
 	});
 
-	it("add+verification 正例：含 isVerification", () => {
-		expect(DESCRIPTION_REGION).toContain('"isVerification":true');
-	});
-
 	it("update single 正例：含 {\"action\":\"update\",\"id\"", () => {
 		expect(DESCRIPTION_REGION).toContain('{"action":"update","id"');
 	});
@@ -103,3 +99,27 @@ describe("todo runtime — throw 含 Correct 纠错正例", () => {
 		expect(TOOL_SRC).toContain('"id" — that field is for update');
 	});
 });
+
+// ── promptSnippet / promptGuidelines 验证引导（verification guidance）──
+// DESCRIPTION_REGION 截取止于 promptSnippet:，不含这两个字段，故对完整 TOOL_SRC 断言。
+
+describe("todo tool prompt — verification guidance", () => {
+	it("promptSnippet 引导验证步骤建 todo", () => {
+		expect(TOOL_SRC).toContain(
+			"Consider adding a separate todo for verification checks like running tests or typecheck.",
+		);
+	});
+
+	it("promptSnippet 声明多步骤工作场景", () => {
+		expect(TOOL_SRC).toContain("Use todo when breaking multi-step work into trackable items.");
+	});
+
+	it("promptGuidelines 含 [验证任务] 条目（完成前确保验证通过）", () => {
+		expect(TOOL_SRC).toContain("[验证任务] 为测试 / 类型检查等验证步骤单独建 todo，完成前确保验证通过");
+	});
+
+	it("promptGuidelines 含 [自动闭合] / [批量优先] 核心条目", () => {
+		expect(TOOL_SRC).toContain("[自动闭合] 全部完成后工具自动清理，无需手动 clear");
+		expect(TOOL_SRC).toContain("[批量优先] 完成多项任务时使用 updates[] 批量更新");
+	});
+});

package/src/__tests__/tool-rpc.test.ts

@@ -20,7 +20,7 @@ interface ExecuteResult {
 	content: Array<{ type: "text"; text: string }>;
 	details: {
 		action: string;
-		todos: Array<{ id: number; text: string; status: string; isVerification?: boolean }>;
+		todos: Array<{ id: number; text: string; status: string }>;
 		nextId: number;
 		__gui__?: {
 			v: number;

package/src/handlers.ts

@@ -24,24 +24,29 @@ const REMINDER_INTERVAL = 2;
 
 export type RefreshDisplayFn = (ctx: ExtensionContext) => void;
 
-/** 构建极简提醒：只含下一个推荐任务 */
+/** 未完成任务判定：pending / in_progress（cancelled 不可恢复，从提醒排除） */
+function isPending(t: TodoDetails["todos"][number]): boolean {
+	return t.status === "pending" || t.status === "in_progress";
+}
+
+/** 构建极简提醒：只含下一个推荐任务 + 行动指令 */
 export function buildMinimalReminder(state: TodoSessionState): string {
-	const pendingTodos = state.todos.filter((t) => t.status !== "completed");
+	const pendingTodos = state.todos.filter(isPending);
 	if (pendingTodos.length === 0) return "";
 
 	const next = pendingTodos[0];
-	return `<todo_context>\n[TODO] 你有 ${pendingTodos.length} 个未完成任务。下一个应处理：#${next.id} ${next.text}\n</todo_context>`;
+	return `<todo_context>\n[TODO] 你有 ${pendingTodos.length} 个未完成任务已搁置。下一个必须处理：#${next.id} ${next.text}。完成后用 todo update 标记 completed，不要继续搁置。\n</todo_context>`;
 }
 
 export function buildBeforeAgentStartMessage(state: TodoSessionState): { message: { customType: string; content: string; display: boolean } } | undefined {
 	if (state.todos.length === 0) return undefined;
 
-	const pendingTodos = state.todos.filter((t) => t.status !== "completed");
+	const pendingTodos = state.todos.filter(isPending);
 	if (pendingTodos.length === 0) return undefined;
 
 	const lines = pendingTodos.map((t) => `#${t.id}: ${t.text}`);
 	const contextStr =
-		`<todo_context>\n[TODO] ${pendingTodos.length} tasks pending\n${lines.join("\n")}\n</todo_context>`;
+		`<todo_context>\n[TODO] ${pendingTodos.length} 个未完成任务待处理：\n${lines.join("\n")}\n处理规则：开始工作前先推进 pending 任务；任务做完后立即用 todo update 标记 completed，不要搁置 pending 状态（搁置不等于完成）。\n</todo_context>`;
 
 	return {
 		message: {
@@ -75,9 +80,21 @@ export function reconstructState(state: TodoSessionState, ctx: ExtensionContext)
 
 		const details = msg.details as TodoDetails | undefined;
 		if (details?.todos && Array.isArray(details.todos)) {
-			state.todos = details.todos.map((t) => migrateTodo(t));
-			state.nextId = details.nextId ?? (state.todos.length > 0 ? Math.max(...state.todos.map((t) => t.id)) + 1 : 1);
-			latestIdx = i;
+			// 脏数据降级：单条迁移失败（null/primitive）跳过该条，全部失败则忽略整个快照，不中断回放
+			const migrated: TodoDetails["todos"] = [];
+			for (const t of details.todos) {
+				try {
+					migrated.push(migrateTodo(t));
+				} catch (e) {
+					// best-effort 降级：脏数据（null/primitive）跳过该条，不中断会话回放
+					console.debug("[todo] reconstructState: skipping dirty todo entry:", e);
+				}
+			}
+			if (migrated.length > 0) {
+				state.todos = migrated;
+				state.nextId = details.nextId ?? Math.max(...migrated.map((t) => t.id)) + 1;
+				latestIdx = i;
+			}
 		}
 	}
 
@@ -124,7 +141,7 @@ export function handleCompletionSteer(state: TodoSessionState): boolean {
 	if (!allCompleted) return false;
 
 	state.completionSteered = true;
-	state.pendingSteerMessage = `<todo_context>\n[TODO] 所有任务已完成。请快速检查每项任务的交付质量。\n</todo_context>`;
+	state.pendingSteerMessage = `<todo_context>\n[TODO] 所有任务已标记完成。请逐项核对交付质量（不要凭印象，检查实际产出），确认无误后向用户汇报结果。\n</todo_context>`;
 	return true;
 }
 
@@ -176,7 +193,7 @@ export function registerTodoEventHandlers(
 
 	pi.on("before_agent_start", async (_event: unknown, ctx: ExtensionContext) => {
 		try {
-			const pendingTodos = state.todos.filter((t) => t.status !== "completed");
+			const pendingTodos = state.todos.filter(isPending);
 			if (pendingTodos.length > 0) {
 				ctx.ui.setStatus("todo", `📋 ${pendingTodos.length} pending`);
 			}
@@ -208,6 +225,7 @@ export function registerTodoEventHandlers(
 			if (handleStallDetection(state)) return;
 			handleReminder(state);
 		} catch (e) {
+			// best-effort：agent_end 事件处理器出错不阻断会话主流程，仅记录调试日志
 			console.debug("[todo] agent_end error:", e);
 		}
 	});

package/src/model.ts

@@ -1,7 +1,7 @@
 /**
  * Todo 数据模型 — 纯函数，不依赖 Pi 运行时。
  * 四态: pending → in_progress → completed；任一状态 → cancelled
- * （cancelled 不可恢复；isVerification 标记验证任务，FR-6 completion audit 用）
+ * （cancelled 不可恢复）
  */
 
 import { guiComponent, type GuiRenderResult, guiResult, type TreeItem } from "@xyz-agent/extension-protocol";
@@ -12,8 +12,6 @@ export interface Todo {
 	id: number;
 	text: string;
 	status: "pending" | "in_progress" | "completed" | "cancelled";
-	/** 验证任务标记（FR-6 completion audit）。验证任务必须 completed，不可 cancelled。 */
-	isVerification?: boolean;
 }
 
 export interface TodoDetails {
@@ -31,8 +29,15 @@ export type ValidStatus = (typeof VALID_STATUSES)[number];
 // ── 迁移/兼容 ───────────────────────────────────────
 
 /** 旧格式迁移：verifying → in_progress，failed → pending，done:boolean → status */
-export function migrateTodo(raw: Todo): Todo {
-	const record = raw as unknown as Record<string, unknown>;
+export function migrateTodo(raw: unknown): Todo {
+	// raw 是任意旧格式数据（兼容 done:boolean 等历史结构），以 Record 方式安全访问字段
+	// 守卫：null/原始类型（typeof null === 'object'，必须显式排除 null）→ 明确报错而非混淆的 TypeError
+	if (raw === null || typeof raw !== "object") {
+		throw new TypeError(
+			`migrateTodo: expected object, got ${raw === null ? "null" : typeof raw}`,
+		);
+	}
+	const record = raw as Record<string, unknown>;
 	const hasValidStatus =
 		typeof record.status === "string" &&
 		VALID_STATUSES.includes(record.status as ValidStatus);
@@ -42,7 +47,7 @@ export function migrateTodo(raw: Todo): Todo {
 		status = record.status as ValidStatus;
 	} else {
 		// 极旧格式 done: boolean
-		const { done } = record as { done?: boolean };
+		const done = typeof record.done === "boolean" ? record.done : undefined;
 		status = done === true ? "completed" : "pending";
 	}
 
@@ -55,8 +60,6 @@ export function migrateTodo(raw: Todo): Todo {
 		id: record.id as number,
 		text: record.text as string,
 		status,
-		// FR-6: 保留 isVerification 标记（可选字段，旧数据可能缺失）
-		isVerification: record.isVerification === true ? true : undefined,
 	};
 }
 
@@ -115,7 +118,6 @@ export function addTodos(
 	currentTodos: Todo[],
 	currentNextId: number,
 	texts: string[],
-	isVerification?: boolean,
 ): AddResult {
 	if (!texts || texts.length === 0) {
 		return {
@@ -144,8 +146,6 @@ export function addTodos(
 			id: nextId++,
 			text: trimmed[i],
 			status: "pending" as const,
-			// FR-6: isVerification 标记验证任务（可选，仅 add 时可设）
-			isVerification: isVerification === true ? true : undefined,
 		});
 	}
 	const endId = nextId - 1;
@@ -200,7 +200,7 @@ export function updateTodos(
 				resultText: `Error: invalid status '${u.status}' for update item id ${u.id}`,
 			};
 		}
-		// FR-6 不变量守卫：(a) cancelled 不可恢复；(b) 验证任务不可 cancelled
+		// cancelled 不可恢复
 		if (todo.status === "cancelled" && u.status !== undefined) {
 			return {
 				updatedTodos: currentTodos,
@@ -208,13 +208,6 @@ export function updateTodos(
 				resultText: `Error: Todo #${u.id} is cancelled and cannot be restored`,
 			};
 		}
-		if (todo.isVerification && u.status === "cancelled") {
-			return {
-				updatedTodos: currentTodos,
-				error: `id ${u.id} is verification todo`,
-				resultText: `Error: Todo #${u.id} is a verification todo and cannot be cancelled`,
-			};
-		}
 	}
 
 	const updated = currentTodos.map((t) => {

package/src/tool.ts

@@ -28,7 +28,6 @@ export interface TodoActionParams {
 	texts?: string[];
 	ids?: number[];
 	status?: string;
-	isVerification?: boolean;
 	updates?: Array<{ id: number; status?: string; text?: string }>;
 }
 
@@ -43,11 +42,6 @@ const TodoParams = Type.Object({
 	status: Type.Optional(
 			StringEnum(VALID_STATUSES, { description: "Target status (for update action)" }),
 		),
-	isVerification: Type.Optional(
-		Type.Boolean({
-			description: "Mark added todos as verification tasks (for add action). Verification todos must be completed (not cancelled) before goal completion.",
-		}),
-	),
 	updates: Type.Optional(
 			Type.Array(
 				Type.Object({
@@ -88,7 +82,7 @@ export function handleAdd(state: TodoSessionState, params: TodoActionParams): st
 			'add requires texts parameter (non-empty array). Correct: {"action":"add","texts":["..."]}',
 		);
 	}
-	const r = addTodos(state.todos, state.nextId, params.texts, params.isVerification);
+	const r = addTodos(state.todos, state.nextId, params.texts);
 	if (r.error) throw new Error(r.resultText);
 	state.todos = r.newTodos;
 	state.nextId = r.newNextId;
@@ -124,13 +118,10 @@ export function handleSingleUpdate(state: TodoSessionState, params: TodoActionPa
 	const todo = state.todos.find((t) => t.id === params.id);
 	if (!todo) throw new Error(`Todo #${params.id} not found`);
 
-	// FR-6 不变量守卫（失败抛错）：(a) cancelled 不可恢复；(b) 验证任务不可 cancelled
+	// cancelled 不可恢复（失败抛错）
 	if (todo.status === "cancelled" && params.status !== undefined) {
 		throw new Error(`#${params.id} is cancelled (cannot restore)`);
 	}
-	if (todo.isVerification && params.status === "cancelled") {
-		throw new Error(`#${params.id} is verification todo (cannot cancel)`);
-	}
 
 	if (params.status !== undefined) todo.status = params.status as Todo["status"];
 	if (params.text !== undefined) todo.text = params.text;
@@ -260,13 +251,12 @@ export function registerTodoTool(
 			"Manage a todo list." +
 			"\n\nAvailable actions:" +
 			"\n- list: View all todos" +
-			"\n- add: Batch add todos (requires texts array; optional isVerification marks verification tasks)" +
+			"\n- add: Batch add todos (requires texts array)" +
 			"\n- update: Update todo(s) — single (id + optional status/text) or batch (updates[], takes priority)" +
 			"\n- delete: Batch delete todos (requires ids array)" +
 			"\n- clear: Clear all todos and reset IDs" +
 			"\n\nExamples:" +
 			'\n{"action":"add","texts":["write spec","implement"]}' +
-			'\n{"action":"add","texts":["run tests"],"isVerification":true}' +
 			'\n{"action":"update","id":1,"status":"in_progress"}' +
 			'\n{"action":"update","updates":[{"id":1,"status":"completed"},{"id":2,"status":"in_progress"}]}' +
 			'\n{"action":"delete","ids":[3]}' +
@@ -274,10 +264,10 @@ export function registerTodoTool(
 			'\n{"action":"add","text":"x"} ← text is for update; add uses texts:[...]' +
 			'\n{"action":"delete","id":3} ← id is for update; delete uses ids:[...]' +
 			'\n{"action":"update","status":"x"} ← missing id',
-		promptSnippet: "Use todo when breaking multi-step work into trackable items. Add verification todos (isVerification=true) for checks like running tests.",
+		promptSnippet: "Use todo when breaking multi-step work into trackable items. Consider adding a separate todo for verification checks like running tests or typecheck.",
 		promptGuidelines: [
 			"[Usage] 多步骤工作（3+步）时使用。AI 自发创建，无需用户触发",
-			"[验证任务] 执行任务 + 验证任务（isVerification=true，如 run tests / typecheck）一起建",
+			"[验证任务] 为测试 / 类型检查等验证步骤单独建 todo，完成前确保验证通过",
 			"[批量优先] 完成多项任务时使用 updates[] 批量更新，减少工具调用次数",
 			"[自动闭合] 全部完成后工具自动清理，无需手动 clear",
 			"[Not for] 单步操作、简单对话",