@zhushanwen/pi-goal 0.14.13 → 0.14.15

package/README.md

@@ -26,6 +26,16 @@ ln -s /path/to/taiji/extensions/universal/goal \
 pi install npm:@zhushanwen/pi-goal
 ```
 
+## 工具激活（deferred）
+
+`goal_control` 工具为 `exposure: "deferred"`——不占常驻工具声明，由 pi 内置 `tool_search` 工具检索命中后按需激活。taiji 宿主内开箱即用（宿主启动时已激活 `tool_search`）；独立 pi 使用需在 `<agentDir>/settings.json`（默认 `~/.pi/agent/settings.json`）开启：
+
+```json
+{ "defaultTools": ["+tool_search"] }
+```
+
+`+` 前缀是增量修饰（保留 read/bash/edit/write 默认集）。未开启 `tool_search` 时该工具对模型不可见。
+
 ## 使用
 
 ```

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@zhushanwen/pi-goal",
-  "version": "0.14.13",
+  "version": "0.14.15",
   "description": "Codex-style /goal command for Pi — persistent goal-driven autonomous loop with evidence-based completion, token budget, agent-reported blocking, and steering templates.",
   "type": "module",
   "main": "src/index.ts",
@@ -29,10 +29,10 @@
     "@earendil-works/pi-coding-agent": "^1.0.0",
     "@earendil-works/pi-tui": "^1.0.0",
     "typebox": "1.3.27",
-    "@zhushanwen/pi-pending-notifications": "0.8.4"
+    "@zhushanwen/pi-pending-notifications": "0.8.6"
   },
   "dependencies": {
-    "@zhushanwen/extension-protocol": "0.20.0",
+    "@zhushanwen/extension-protocol": "0.21.0",
     "@zhushanwen/pi-extension-logger": "0.6.2",
     "@zhushanwen/pi-session-path": "0.1.0"
   },

package/src/__tests__/criteria-array-prompt-guidance.test.ts

@@ -1,14 +1,19 @@
 /**
- * goal_control prompt guidance — successCriteria 三层引导文本独立 prompt-lock
+ * goal_control prompt guidance — successCriteria 粒度约束的单源分布锁（D1）
  *
- * W1（plan U24）：粒度约束分布在三层，每层独立锁死，删掉任一层约束本文件对应 describe 必红：
+ * 设计 tool-declaration-slimming.md §3.3 D1（信息单源化）落地后，粒度约束的承载
+ * 分布从「三层重复」收敛为「单源 + 指向」：
  * 1. 参数层：GoalControlParams.successCriteria 的 schema description（导出对象直读）
- * 2. 工具层：registerGoalControlTool 工具 description 的 create 段（源码文本切片）
- * 3. guidelines 层：promptGuidelines 的 create 条目（源码文本按赋值块切片）
+ *    ——粒度约束的唯一承载位（1~8 条 / 单行 / 高层终态条件 / 只引用不复制 / 禁止倾倒）
+ * 2. 工具层：registerGoalControlTool 工具 description（源码文本切片）——只留动作
+ *    枚举与指向，**不复述**粒度约束（负断言）
+ * 3. guidelines 层：promptGuidelines 的 create 条目（源码文本按赋值块切片）——只留
+ *    触发纪律（何时建/何时不建），**不复述**粒度约束（负断言）
  *
  * 为什么源码文本断言：description / promptGuidelines 内联在 registerGoalControlTool、
  * 未导出常量；按变量边界切片（marker 定位 + 范围内断言），禁止跨块 [\s\S]*? 全文穿越——
  * 否则删掉某层约束后其余层文本仍能命中，测试假绿（review 发现的历史缺陷）。
+ * 负断言同样按切片范围生效：回填复述 = 违反单源化，对应 describe 必红。
  */
 import { readFileSync } from "node:fs";
 import { dirname, join } from "node:path";
@@ -46,8 +51,6 @@ const PARAM_DESCRIPTION =
 // ── 第 2 层切片：工具 description 模板字面量（"description: `" 到闭合反引号）──
 
 const TOOL_DESCRIPTION = sliceBetween(ADAPTER_SRC, "description: `", "`");
-// create 段：从 "- create：" 行首到 "- complete：" 行首（同在 description 块内）
-const TOOL_DESCRIPTION_CREATE_SEGMENT = sliceBetween(TOOL_DESCRIPTION, "- create：", "- complete：");
 
 // ── 第 3 层切片：promptGuidelines 赋值块 ─────────────────────
 // 闭合 "]" 不能用 indexOf 找——块内 guideline 文本自身含 "string[]" 的 "]"，
@@ -76,9 +79,9 @@ if (CREATE_GUIDELINE_LINE === undefined) {
 	throw new Error('create guideline line not found in promptGuidelines block of goal-control-adapter.ts');
 }
 
-// ── 第 1 层：successCriteria 参数 schema description ─────────
+// ── 第 1 层：successCriteria 参数 schema description（粒度约束唯一承载位）──
 
-describe("第 1 层：successCriteria 参数 schema description（粒度约束）", () => {
+describe("第 1 层：successCriteria 参数 schema description（粒度约束唯一承载位）", () => {
 	it("schema 结构为 string[]（type: array + items type: string）", () => {
 		expect(successCriteriaSchema.type).toBe("array");
 		expect(successCriteriaSchema.items.type).toBe("string");
@@ -108,38 +111,38 @@ describe("第 1 层：successCriteria 参数 schema description（粒度约束
 	});
 });
 
-// ── 第 2 层：工具 description create 段 ─────────────────────
+// ── 第 2 层：工具 description —— 单源化后只留枚举 + 指向，不复述粒度约束 ──
 
-describe("第 2 层：工具 description create 段（粒度约束）", () => {
-	it("create 段含 successCriteria 条数约束（3~8 条高层终态条件）", () => {
-		expect(TOOL_DESCRIPTION_CREATE_SEGMENT).toContain("successCriteria");
-		expect(TOOL_DESCRIPTION_CREATE_SEGMENT).toMatch(/3~8\s*条/);
-		expect(TOOL_DESCRIPTION_CREATE_SEGMENT).toContain("高层终态条件");
+describe("第 2 层：工具 description（单源化：枚举 + 指向，不复述）", () => {
+	it("description 含 action 枚举与 schema 字段说明指向", () => {
+		expect(TOOL_DESCRIPTION).toContain("create（创建）| complete（完成）| report_blocked（阻塞报告）");
+		expect(TOOL_DESCRIPTION).toContain("见 schema 字段说明");
 	});
 
-	it("create 段含细粒度清单只引用不复制语义", () => {
-		expect(TOOL_DESCRIPTION_CREATE_SEGMENT).toContain("细粒度检查清单放 todo/plan");
-		expect(TOOL_DESCRIPTION_CREATE_SEGMENT).toContain("只引用不复制");
-	});
-
-	it("create 段含禁止倾倒完整规格语义", () => {
-		expect(TOOL_DESCRIPTION_CREATE_SEGMENT).toContain("禁止倾倒完整规格");
+	it("description 不复述粒度约束（负断言：回填即红）", () => {
+		expect(TOOL_DESCRIPTION).not.toMatch(/3~8\s*条/);
+		expect(TOOL_DESCRIPTION).not.toContain("细粒度检查清单放 todo/plan");
+		expect(TOOL_DESCRIPTION).not.toContain("只引用不复制");
+		expect(TOOL_DESCRIPTION).not.toContain("禁止倾倒完整规格");
 	});
 });
 
-// ── 第 3 层：promptGuidelines create 条目 ────────────────────
+// ── 第 3 层：promptGuidelines create 条目 —— 触发纪律，不复述粒度约束 ──
 
-describe("第 3 层：promptGuidelines create 条目（粒度约束）", () => {
-	it("create 条目含 3~8 条高层终态条件 + string[] 语义", () => {
-		expect(CREATE_GUIDELINE_LINE).toMatch(/3~8 high-level terminal conditions as string\[\]/);
+describe("第 3 层：promptGuidelines create 条目（触发纪律，不复述粒度约束）", () => {
+	it("create 条目含主动触发纪律（复杂多步骤工作 + 值得追踪自查）", () => {
+		expect(CREATE_GUIDELINE_LINE).toMatch(/proactively start a goal for complex, multi-step work/);
+		expect(CREATE_GUIDELINE_LINE).toContain("is this worth tracking to completion with verification?");
 	});
 
-	it("create 条目含细粒度清单只引用不复制语义（reference, do not copy）", () => {
-		expect(CREATE_GUIDELINE_LINE).toContain("Fine-grained checklists belong in todo/plan");
-		expect(CREATE_GUIDELINE_LINE).toContain("reference them, do not copy");
+	it("create 条目含禁止场景纪律（琐碎任务/已有目标不建 + 恢复指引）", () => {
+		expect(CREATE_GUIDELINE_LINE).toContain("trivial single-step tasks");
+		expect(CREATE_GUIDELINE_LINE).toContain("/goal resume or /goal clear");
 	});
 
-	it("create 条目含禁止倾倒完整规格语义（Do NOT dump full specs）", () => {
-		expect(CREATE_GUIDELINE_LINE).toContain("Do NOT dump full specs into successCriteria");
+	it("create 条目不复述粒度约束（负断言：回填即红）", () => {
+		expect(CREATE_GUIDELINE_LINE).not.toMatch(/3~8 high-level terminal conditions as string\[\]/);
+		expect(CREATE_GUIDELINE_LINE).not.toContain("Fine-grained checklists belong in todo/plan");
+		expect(CREATE_GUIDELINE_LINE).not.toContain("Do NOT dump full specs into successCriteria");
 	});
 });

package/src/__tests__/goal-control-prompt.test.ts

@@ -1,14 +1,16 @@
-// 提示词质量回归：goal_control tool description + runtime 错误文案必须是
-// "可纠正的行为约束器"，而非干巴巴的错误。
+// 提示词质量回归：goal_control tool 声明按 D1 三层分工单源化后（设计
+// tool-declaration-slimming.md §3.3 D1），本测试锁定单源分布——
+// - description：功能定位 + action 枚举 + 控制权归属（不再复述各 action 触发纪律
+//   与预算策略（含设预算与报告最终 token 用量）——纪律单源在 promptGuidelines，
+//   字段语义单源在 schema 字段说明）
+// - promptGuidelines：使用纪律唯一承载位（create/complete/report_blocked 何时调用、
+//   budget 何时可设）
+// - runtime 错误文案：'Correct:' 纠正正例（schema 为扁平 Type.Object + action 字段级
+//   union，字段全部 Optional——缺失必填由 handler 运行时校验兜底）
 //
-// agent（LLM）唯一能看到的 tool 元信息就是 description + 报错文案。description 用中文
-// 重写（动作 create/complete/report_blocked + 规则 + §2.5 终态语义），删除英文 Examples/Don't
-// 段；runtime throw 保留 .trim() 空串校验 + 'Correct:' 纠正正例（schema 为扁平 Type.Object
-// + action 字段级 union，字段全部 Optional——缺失必填由 handler 运行时校验兜底）。
-//
-// 本测试用源码断言（读 .ts 文件文本）锁定这些约束，防止后续重构把中文语义/纠错文案/
-// union 结构删掉。读源码而非 import，避免 mock 链（goal-control-adapter.ts 依赖
-// pi-ai/typebox/pi-tui/ExtensionAPI 等值导入）。
+// 本测试用源码断言（读 .ts 文件文本）锁定这些约束，防止后续重构把单源分布改回
+// 多层复述、或把纠错文案删掉。读源码而非 import，避免 mock 链（goal-control-adapter.ts
+// 依赖 pi-ai/typebox/pi-tui/ExtensionAPI 等值导入）。
 
 import { readFileSync } from "node:fs";
 import { dirname, join } from "node:path";
@@ -31,23 +33,17 @@ function extractDescription(src: string): string {
 
 const DESCRIPTION = extractDescription(ADAPTER_SRC);
 
-describe("goal_control description — 中文化 + 动作覆盖", () => {
-	it("含管理目标总述 + complete 须满足每条 successCriteria 条件", () => {
+describe("goal_control description — 功能定位 + action 枚举 + 控制权归属", () => {
+	it("含管理目标总述 + 三动作枚举（create/complete/report_blocked）", () => {
 		expect(DESCRIPTION).toContain("管理当前会话的目标");
-		expect(DESCRIPTION).toContain("满足每条 successCriteria 条件");
+		expect(DESCRIPTION).toContain("create（创建）| complete（完成）| report_blocked（阻塞报告）");
 	});
-});
 
-describe("goal_control description — §2.5 终态语义", () => {
-	it("create 失败提示 / complete 报告 token / pause-resume-budget 归用户 / 不反复报告阻塞", () => {
-		expect(DESCRIPTION).toContain("请让用户运行 /goal resume 或 /goal clear");
-		expect(DESCRIPTION).toContain("报告最终 token 用量");
+	it("含 pause-resume-budget 归用户；报告预算纪律不复述（D1 单源在 guidelines）", () => {
 		expect(DESCRIPTION).toContain("pause/resume 和 budget 变更由用户经 /goal 命令控制");
-		expect(DESCRIPTION).toContain("不要反复报告同一阻塞");
+		expect(DESCRIPTION).not.toContain("报告最终 token 用量");
 	});
-});
 
-describe("goal_control description — 删除 Examples/Don't 英文段", () => {
 	it("不含 Examples JSON 正例段 + 不含 Don't 段", () => {
 		// Examples 段已删，description 不再含裸 JSON 正例
 		expect(DESCRIPTION).not.toContain('{"action":"create"');
@@ -55,23 +51,52 @@ describe("goal_control description — 删除 Examples/Don't 英文段", () => {
 	});
 });
 
-describe("goal_control schema — 扁平 Type.Object（OpenAI 兼容）+ handler 运行时校验", () => {
-	it("字段级 Type.Union + additionalProperties:false + 无 timeBudgetMinutes", () => {
-		expect(ADAPTER_SRC).toMatch(/Type\.Union\(/);
-		expect(ADAPTER_SRC).toContain("additionalProperties: false");
-		expect(ADAPTER_SRC).not.toMatch(/timeBudgetMinutes/);
+describe("goal_control description — D1 单源化（不复述纪律与字段语义）", () => {
+	it("不再复述各 action 触发纪律（纪律单源在 promptGuidelines）", () => {
+		// create/complete/report_blocked 的触发条件只在 guidelines；
+		// 完成门槛（successCriteria 逐条满足）只在 schema successCriteria 说明
+		expect(DESCRIPTION).not.toContain("琐碎的单步任务");
+		expect(DESCRIPTION).not.toContain("仅在穷尽替代方案后使用");
+		expect(DESCRIPTION).not.toContain("满足每条 successCriteria 条件");
+	});
+
+	it("不再复述预算策略段（budget 纪律单源在 promptGuidelines）", () => {
+		expect(DESCRIPTION).not.toContain("默认不设 tokenBudget");
+		expect(DESCRIPTION).not.toContain("切勿自行决定");
 	});
 });
 
-describe("goal_control promptGuidelines — complete/report_blocked 主动触发引导", () => {
-	it("含 promptGuidelines 字段 + complete/report_blocked 主动触发信号", () => {
+describe("goal_control promptGuidelines — 使用纪律唯一承载位（锚词保留清单）", () => {
+	it("含 promptGuidelines 字段 + create 主动触发纪律（复杂多步骤才建 + 已有目标不建）", () => {
 		expect(ADAPTER_SRC).toMatch(/promptGuidelines:\s*\[/);
+		expect(ADAPTER_SRC).toMatch(
+			/create: proactively start a goal for complex, multi-step work/s,
+		);
+		expect(ADAPTER_SRC).toContain("/goal resume or /goal clear");
+	});
+
+	it("含 complete 主动触发纪律（objective 实际达成 + evidence 对照每条 successCriteria）+ 报告预算纪律锚", () => {
 		expect(ADAPTER_SRC).toMatch(/complete:.*proactively call.*objective is actually achieved/s);
+		expect(ADAPTER_SRC).toContain("Evidence must meet every successCriteria condition");
+		// 报告预算纪律的唯一承载位锚（description 侧负断言见上组——删 guidelines 此句而
+		// 不删 description 侧时本锚防静默丢失）
+		expect(ADAPTER_SRC).toContain("report the final token usage in your summary");
+	});
+
+	it("含 report_blocked 主动触发纪律（穷尽方案 + 不反复报告）", () => {
 		expect(ADAPTER_SRC).toMatch(/report_blocked:.*proactively call.*≥3 distinct alternative approaches/s);
 		expect(ADAPTER_SRC).toContain("do not repeatedly report the same blocker");
 	});
 });
 
+describe("goal_control schema — 扁平 Type.Object（OpenAI 兼容）+ handler 运行时校验", () => {
+	it("字段级 Type.Union + additionalProperties:false + 无 timeBudgetMinutes", () => {
+		expect(ADAPTER_SRC).toMatch(/Type\.Union\(/);
+		expect(ADAPTER_SRC).toContain("additionalProperties: false");
+		expect(ADAPTER_SRC).not.toMatch(/timeBudgetMinutes/);
+	});
+});
+
 describe("goal_control runtime 错误文案 — 含 'Correct:' 纠正正例", () => {
 	it("≥4 处 'Correct:'（4 条空串 throw 各一带正例）+ objective/evidence 报错带正例", () => {
 		// objective/successCriteria/evidence/reason 四条空串 throw 各应带完整 JSON 正例，
@@ -93,19 +118,22 @@ describe("goal_control 描述修正（A1/slug optional）", () => {
 	});
 });
 
-describe("goal_control budget 默认策略锁定（S-8：三层信号冗余，防回滚无声）", () => {
-	// 新增的 budget-policy prompt 文本散落在三处（description 段 / promptGuidelines 项 /
-	// tokenBudget 参数 description），任一处被回滚都应触发测试失败——这是 prompt-lock 的核心诉求。
-	it("description 模板含中文 '默认不设 tokenBudget' 预算策略段", () => {
-		expect(DESCRIPTION).toContain("默认不设 tokenBudget");
+describe("goal_control budget 纪律单源化（S-8 替换：三层冗余锁 → 单源分布锁）", () => {
+	// D1 单源化后预算策略纪律只在 promptGuidelines 一处；description 与 tokenBudget
+	// 参数说明不再复述纪律（schema 只留字段语义「默认不设」+ 指引）。
+	// 任一层回填复述 = 违反单源化，本组负断言红灯。
+	it("promptGuidelines budget 条含纪律锚词（never set on own initiative + 先问用户）", () => {
+		expect(ADAPTER_SRC).toContain("never set tokenBudget on your own initiative");
+		expect(ADAPTER_SRC).toContain("ask the user before creating the goal");
 	});
 
-	it("promptGuidelines budget 项含英文 'never set tokenBudget on your own initiative'", () => {
-		expect(ADAPTER_SRC).toContain("never set tokenBudget on your own initiative");
+	it("description 不含预算策略段（不复述）", () => {
+		expect(DESCRIPTION).not.toContain("仅在用户明确要求");
+		expect(DESCRIPTION).not.toContain("获得明确同意");
 	});
 
-	it("tokenBudget 参数 description 含 '默认不设' + '切勿自行决定设置预算'", () => {
-		// 参数 schema description 是第三层信号（与上面两层对齐，三层冗余，见 adapter 源码注释）
-		expect(ADAPTER_SRC).toMatch(/tokenBudget:[\s\S]*?默认不设[\s\S]*?切勿自行决定设置预算/);
+	it("tokenBudget 参数 description 只留字段语义（默认不设 + 指引，不含纪律复述）", () => {
+		expect(ADAPTER_SRC).toMatch(/tokenBudget:[\s\S]*?默认不设/);
+		expect(ADAPTER_SRC).not.toMatch(/tokenBudget:[\s\S]*?切勿自行决定设置预算/);
 	});
 });

package/src/adapters/goal-control-adapter.ts

@@ -92,7 +92,7 @@ export const GoalControlParams = Type.Object(
 		tokenBudget: Type.Optional(
 			Type.Number({
 				description:
-					"可选。新目标的 token 预算（正数）。默认不设——仅在用户明确要求（如「控制在 1 万 token 内」）或你已获得用户明确同意时才设。切勿自行决定设置预算。",
+					"可选。新目标的 token 预算（正数）。默认不设——设置条件见 guidelines 的 budget 条目。",
 			}),
 		),
 		evidence: Type.Optional(
@@ -337,34 +337,27 @@ export function registerGoalControlTool(pi: ExtensionAPI, session: GoalSession):
 	pi.registerTool({
 		name: "goal_control",
 		label: "Goal Control",
-		description: `管理当前会话的目标（goal）。目标用于追踪需要完成验证的复杂工作。
+		// deferred（tool-declaration-slimming D4）：不常驻声明，tool_search 命中即激活；
+		// 迁移写入的 +tool_search 条目（runtime pi-codemode-settings）承载检索入口
+		exposure: "deferred",
+		description: `管理当前会话的目标（goal）。目标用于追踪需要完成验证的复杂工作。动作：create（创建）| complete（完成）| report_blocked（阻塞报告）——各参数必填性与用法见 schema 字段说明，触发纪律见 guidelines。
 
-预算策略：默认不设 tokenBudget。仅在用户明确要求（如「控制在 1 万 token 内」）或用户的指令明确暗示了一个限制时才设。若你认为应该设预算但用户从未提及，先询问用户获得明确同意，切勿自行决定。
-
-动作：
-- create：为复杂的多步骤工作（3+ 步骤、多文件改动、或需要完成验证的工作）主动创建目标。用自己的话重述真实目标，定义可检查的 successCriteria（完成条件数组，3~8 条高层终态条件）。细粒度检查清单放 todo/plan，只引用不复制。禁止倾倒完整规格。琐碎的单步任务、普通提问、查找类任务不要创建目标。若已有 active/paused/blocked 目标会失败——请让用户运行 /goal resume 或 /goal clear 后再创建。
-- complete：标记当前 active 目标完成。需要 evidence（具体证据：改动的文件、通过的测试、运行的命令），且必须满足每条 successCriteria 条件。若有预算，在总结里报告最终 token 用量。不要基于假设、意图或部分进度标记完成。
-- report_blocked：标记当前 active 目标被真实阻碍阻塞。需要 reason 描述阻塞条件和已尝试的方案。仅在穷尽替代方案后使用——不要用于困难、缓慢或不确定的工作。
-
-控制权归属：
-- pause/resume 和 budget 变更由用户经 /goal 命令控制，你不能修改。
-- 达到阻塞阈值后报告，不要反复报告同一阻塞。
-
-完成验证标准由你在 create 时定义的 successCriteria 决定——complete 时必须逐条满足。`,
+控制权归属：pause/resume 和 budget 变更由用户经 /goal 命令控制，你不能修改。`,
 		promptSnippet:
 			"用 goal_control 管理会话目标：为复杂多步骤工作主动 create（含 slug + objective + successCriteria），达成时 complete（含满足每条 successCriteria 的 evidence），穷尽方案后 report_blocked（含 reason）。",
 		// promptGuidelines：进 system prompt guidelines 段（强信号位）。
-		// 三个 action 的正向触发引导——create（复杂任务主动启动）、complete（对照 successCriteria 验证达成）、
-		// report_blocked（穷尽替代方案后）。措辞主动，给 system prompt 层常驻强信号。
+		// D1 单源化后本层是使用纪律的唯一承载位（何时该用/禁用什么）；字段语义
+		// （参数是什么、必填性、合法值）单源在 schema 字段说明，此处不复述。
 		promptGuidelines: [
-			// create：主动用于复杂多步骤任务。翻转原「显式启动」策略——让 goal 真正可用。
+			// create：主动用于复杂多步骤任务，翻转原「显式启动」策略——让 goal 真正可用。
 			// 门槛：3+ 步骤 / 多文件 / 需完成验证，避免对琐碎任务滥建 goal 变噪音。
-			"create: proactively start a goal for complex, multi-step work (3+ steps, multi-file, or needs completion verification) — restate the real objective and define checkable successCriteria (3~8 high-level terminal conditions as string[]). Fine-grained checklists belong in todo/plan — reference them, do not copy. Do NOT dump full specs into successCriteria. Do NOT create for trivial single-step tasks, ordinary lookups, or when a goal is already active. Test: 'is this worth tracking to completion with verification?' — if yes, create a goal.",
-			// budget：默认不设预算——仅当用户显式要求（或明确同意）时才设。
-			// 对齐 description 的预算策略段 + tokenBudget 参数的 description（三层信号冗余）。
+			// 非终态旧 goal 挡 create——恢复/清理由用户经 /goal 命令做。
+			"create: proactively start a goal for complex, multi-step work (3+ steps, multi-file, or needs completion verification). Do NOT create for trivial single-step tasks, ordinary lookups, or when an active/paused/blocked goal already exists — creating then fails; ask the user to run /goal resume or /goal clear first. Test: 'is this worth tracking to completion with verification?' — if yes, create a goal.",
+			// budget：默认不设预算——仅当用户显式要求（或明确同意）时才设（纪律单源位，
+			// description 与 tokenBudget 参数说明不再复述）。
 			"budget: never set tokenBudget on your own initiative — the default is no budget. Set a budget only when the user explicitly requested one (e.g. \"keep it under 10k tokens\") or you obtained explicit user consent first. If you think a budget is warranted but the user never mentioned one, ask the user before creating the goal.",
 			// 全解耦下 todo 非硬前置——objective 实际达成才算（与 handleComplete「todo 由 AI 自判」一致）
-			"complete: proactively call when the active goal's objective is actually achieved, not merely in progress. Evidence must be concrete artifacts (files changed, tests green, commands run) meeting every successCriteria condition. Finishing all todos (incl. verification todos) is the usual readiness signal, but the real bar is the objective being met — you decide.",
+			"complete: proactively call when the active goal's objective is actually achieved, not merely in progress. Evidence must meet every successCriteria condition — not assumptions, intent, or partial progress. Finishing all todos (incl. verification todos) is the usual readiness signal, but the real bar is the objective being met — you decide. If a budget was set, report the final token usage in your summary.",
 			// ≥3 distinct approaches 或同一 blocker 跨连续 turns（T7）；达到阈值后报告，不反复报告同一 blocker
 			"report_blocked: proactively call when genuinely blocked after ≥3 distinct alternative approaches or when the same blocker persists across consecutive turns — not for hard/slow work or uncertainty. State the blocker and what you tried. Once the threshold is met, report — do not repeatedly report the same blocker. Do NOT silently stop or leave the goal hanging.",
 		],