@zhushanwen/pi-goal 0.11.0 → 0.12.0

package/README.md

@@ -1,20 +1,25 @@
 # goal
 
-Codex 风格的 `/goal` 命令 — 持久目标驱动自主循环，支持任务追踪、证据验证、Token/时间预算、阻塞检测。
+Codex 风格的 `/goal` 命令 — 持久目标追踪：`goal_control` 工具创建/完成/阻塞目标，完成需逐条对照 successCriteria 的证据验证，仅 token 维度预算。
 
 ## 功能
 
-- **自主循环**：`/goal <目标>` 启动后，AI 自动拆分任务并持续执行
-- **证据验证**：完成任务必须提供具体证据，不能空口完成
-- **预算控制**：Token 和时间双预算，70% 预警、90% 收尾、100% 终止
-- **阻塞检测**：连续无进展自动阻塞，用户可手动 resume
-- **持久化**：状态通过 session entries 保存，重启后自动恢复
+- **目标管理**：`goal_control` tool 是唯一创建入口（create / complete / report_blocked）。`/goal <objective>` 是提示词触发器——不直接启动，而是引导 AI 调 `goal_control create`（slug / objective / successCriteria 均由 AI 在 toolcall 时决定）
+- **证据验证**：complete 必须提供具体 evidence（改动的文件、通过的测试、运行的命令），且满足 create 时定义的每条 successCriteria 条件，不能空口完成
+- **预算控制**：仅 token 维度预算（time budget 已移除，耗时仅记账显示）。70% 预警、90% 发收尾 steering、100% 且已发收尾提示后进入 budget_limited 终态。默认不设预算，仅在用户显式要求时设置
+- **阻塞处理**：无自动检测——blocked 只能由 agent 主动调 `goal_control report_blocked`（穷尽替代方案后）；用户经 `/goal resume` 恢复（paused/blocked → active）
+- **持久化**：状态通过 session entries 保存（append-only），重启后从最新一条 goal-state entry 恢复，崩溃后保持原状态
+
+## 状态机
+
+6 态：`active` / `paused` / `blocked` / `complete` / `budget_limited` / `cancelled`。
+`complete` / `budget_limited` / `cancelled` 为终态（不可逆）。
 
 ## 安装
 
 ```bash
 # symlink 方式（开发推荐；globalExtDir 平铺布局，目标不带分组层）
-ln -s /path/to/xyz-pi-extensions-workspace/<branch>/extensions/universal/goal \
+ln -s /path/to/xyz-agent/extensions/universal/goal \
       ~/.pi/agent/extensions/goal
 
 # npm 方式（正式）
@@ -25,26 +30,30 @@ pi install npm:@zhushanwen/pi-goal
 
 ```
 /goal 修复项目中所有失败的测试
-/goal 实现用户认证功能 --tokens 500000 --timeout 30
-/goal status      # 查看进度
-/goal resume      # 恢复（blocked → active）
-/goal clear       # 清除
+/goal 实现用户认证功能 --tokens 500000
+/goal status      # 查看进度（criteria 逐条编号显示）
+/goal resume      # 恢复（paused/blocked → active）
+/goal pause       # 暂停（active → paused）
+/goal update <new-objective> [--criteria <a;b;c>]   # 重塑目标
+/goal history     # 查看历史 goal
+/goal clear       # 清除（→ cancelled）
 ```
 
 ## 文件结构
 
 ```
 goal/
-├── index.ts            # 入口 — 命令、事件、工具注册 + __goalInit
+├── index.ts            # 入口 — re-export src/index.ts
 └── src/
-    ├── index.ts        # 工厂入口（注册 tool/command/events，全部委托 adapters）
-    ├── commands.ts     # /goal 命令参数解析
+    ├── index.ts        # 工厂入口（注册 command/tool/events + __goalInit，全部委托 adapters）
+    ├── commands.ts     # /goal 命令参数解析（仅识别 --tokens flag）
     ├── constants.ts    # 语义常量
     ├── ports.ts        # Pi 能力抽象（Persistence/Ui/Messaging/Session）
-    ├── service.ts      # 协调层 — applyToolAction / applyEvent 双入口
+    ├── service.ts      # 协调层 — createGoal / finalizeAndPersist / applyEvent
     ├── persistence.ts  # serialize/deserialize + GoalHistoryEntry
-    ├── session.ts      # 运行时句柄 + 状态重建 + entry GC
-    ├── engine/         # 零 Pi 依赖的纯状态机（goal/task/budget/types）
-    ├── adapters/       # Pi 桥接（tool/command/event-adapter + actions）
-    └── projection/     # 渲染（widget/prompts/result）
+    ├── session.ts      # 运行时句柄 + 状态重建（append-only 只读最新一条，无 entry GC）
+    ├── engine/         # 零 Pi 依赖的纯状态机（goal/budget/types）
+    ├── adapters/       # Pi 桥接（goal-control-adapter / command-adapter / event-adapter
+    │                   #   + event-handlers/ + ports / success-criteria）
+    └── projection/     # 渲染（widget / prompts / gui）
 ```

package/package.json

@@ -1,7 +1,7 @@
 {
   "name": "@zhushanwen/pi-goal",
-  "version": "0.11.0",
-  "description": "Codex-style /goal command for Pi — persistent goal-driven autonomous loop with evidence-based completion, token/time budgets, blocked detection, and steering templates.",
+  "version": "0.12.0",
+  "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",
   "xyz-agent": {
@@ -25,14 +25,14 @@
     "index.ts"
   ],
   "peerDependencies": {
-    "@earendil-works/pi-ai": "^0.84.1",
-    "@earendil-works/pi-coding-agent": "^0.84.1",
-    "@earendil-works/pi-tui": "^0.84.1",
+    "@earendil-works/pi-ai": "^0.84.4",
+    "@earendil-works/pi-coding-agent": "^0.84.4",
+    "@earendil-works/pi-tui": "^0.84.4",
     "typebox": "*",
-    "@zhushanwen/pi-pending-notifications": "0.5.0"
+    "@zhushanwen/pi-pending-notifications": "0.5.2"
   },
   "dependencies": {
-    "@xyz-agent/extension-protocol": "0.7.0"
+    "@xyz-agent/extension-protocol": "0.8.0"
   },
   "peerDependenciesMeta": {
     "@earendil-works/pi-tui": {

package/src/__tests__/event-adapter.test.ts

@@ -110,7 +110,7 @@ function makeRunningState(overrides?: Partial<GoalRuntimeState>): GoalRuntimeSta
 // ── handleAgentEnd：ESC 守卫 ──────────────────────────
 
 describe("handleAgentEnd — FR-6.7 ESC 守卫", () => {
-	it("aborted=true：不发 continuation、不递增 stall、不做 budget 检查、goal 保持 active", async () => {
+	it("aborted=true：不发 continuation、不做 budget 检查、goal 保持 active", async () => {
 		const { pi, calls: piCalls, states } = makeFakePi();
 		const { ctx, calls: ctxCalls } = makeFakeCtx({ aborted: true });
 		const session = createGoalSession();

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

@@ -118,7 +118,7 @@ describe("handleComplete — active 守卫 + evidence + finalizeAndPersist", ()
 
 // ── handleCreate ─────────────────────────────────────
 
-describe("handleCreate — slug+objective 必填 + 非终态守卫 + createGoal", () => {
+describe("handleCreate — objective/successCriteria 必填（handler 运行时校验）+ slug 真 optional + 非终态守卫 + createGoal", () => {
 	it("无旧 goal + slug + objective → status active + slug 写入 + 持久化 + notify", () => {
 		const session = createGoalSession();
 		const ports = makeFakePorts();

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

@@ -3,8 +3,8 @@
 //
 // agent（LLM）唯一能看到的 tool 元信息就是 description + 报错文案。description 用中文
 // 重写（动作 create/complete/report_blocked + 规则 + §2.5 终态语义），删除英文 Examples/Don't
-// 段；runtime throw 保留 .trim() 空串校验 + 'Correct:' 纠正正例（缺失必填已前移到 schema
-// discriminated union 层拒绝，C3）。
+// 段；runtime throw 保留 .trim() 空串校验 + 'Correct:' 纠正正例（schema 为扁平 Type.Object
+// + action 字段级 union，字段全部 Optional——缺失必填由 handler 运行时校验兜底）。
 //
 // 本测试用源码断言（读 .ts 文件文本）锁定这些约束，防止后续重构把中文语义/纠错文案/
 // union 结构删掉。读源码而非 import，避免 mock 链（goal-control-adapter.ts 依赖
@@ -55,8 +55,8 @@ describe("goal_control description — 删除 Examples/Don't 英文段", () => {
 	});
 });
 
-describe("goal_control schema — discriminated union（C3）", () => {
-	it("Type.Union + 各分支 additionalProperties:false + 无 timeBudgetMinutes", () => {
+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/);

package/src/__tests__/index.test.ts

@@ -1,8 +1,8 @@
 /**
  * index.ts 测试 — 工厂入口 + 跨扩展 API（pi.__goalInit）
  *
- * 覆盖 T1.8 (NFR-AC-8)：__goalInit 签名 (objective, budget, ctx)，结构上无法接收 tasks
- * （task CRUD 已删除，D-16/FR-4 双轨消除）。active 守卫由 service.test.ts 覆盖。
+ * 覆盖 T1.8 (NFR-AC-8)：__goalInit 签名 (objective, budget, ctx, slug?, successCriteria?)，
+ * 结构上无法接收 tasks（task CRUD 已删除，D-16/FR-4 双轨消除）。active 守卫由 service.test.ts 覆盖。
  *
  * 用最小 fake pi + fake ctx 实例化 goalExtension 工厂，再调 pi.__goalInit。
  */
@@ -247,7 +247,7 @@ describe("E1 全链路集成：goal_control create 数组 → 落盘 → 重载
 
 			// 5. contextInjectionPrompt → <successCriteria> 段含编号行（plan 需求 3：编号列表）
 			const state = reloaded.state!;
-			const prompt = contextInjectionPrompt(state, state.timeUsedSeconds);
+			const prompt = contextInjectionPrompt(state);
 			expect(prompt).toContain("<successCriteria>");
 			expect(prompt).toContain("1. e2e cond a");
 			expect(prompt).toContain("2. e2e cond b");

package/src/__tests__/session.test.ts

@@ -2,7 +2,7 @@
  * session.ts 测试 — reconstructGoalState
  *
  * 覆盖：
- * - MF-7: reconstructGoalState 3 条 FR（G-006 entry GC / G-015 强制激活 / G-024 throw→null）
+ * - MF-7: reconstructGoalState 3 条 FR（G-006 append-only 不 splice / G-015 崩溃后非 active 保持原状 / G-024 throw→null）
  *
  * [REMOVED W4] isStaleContextError + STALE_CONTEXT_PATTERNS 测试随实现删除——
  * 双重废（无生产调用方 + patterns 与 pi 0.84.1 真实 stale 文案零匹配），见

package/src/adapters/command-adapter.ts

@@ -33,6 +33,7 @@ import type { GoalHistoryEntry } from "../ports";
 import type { GoalSession } from "../session";
 import { clearGoalSession } from "../session";
 import { buildPorts } from "./ports";
+import { CRITERIA_HINTS_SLASH, validateSuccessCriteriaItems } from "./success-criteria";
 
 // ── Orchestrator ──────────────────────────────────────
 
@@ -282,29 +283,11 @@ function handleUpdate(
 		return;
 	}
 	// 校验前置（mutate state 之前）：任一条目非法 → throw，objective 等重塑字段全部不动。
-	// 规则与 handleCreate 一致（typeof string / trim 非空 / 单行），文案带 Correct: 正例。
+	// 逐条规则（typeof string / trim 非空 / 单行）与 goal_control create 共享
+	// validateSuccessCriteriaItems，slash 通道正例见 CRITERIA_HINTS_SLASH。
 	let validatedCriteria: string[] | undefined;
 	if (criteria !== undefined && criteria.length > 0) {
-		validatedCriteria = [];
-		for (const item of criteria) {
-			if (typeof item !== "string") {
-				throw new Error(
-					"'successCriteria' must be an array of strings. Correct: {\"action\":\"update\",\"objective\":\"...\",\"successCriteria\":[\"<condition 1>\",\"<condition 2>\"]}",
-				);
-			}
-			const trimmed = item.trim();
-			if (!trimmed) {
-				throw new Error(
-					"'successCriteria' items must not be empty. Each condition should be a short, single-line, checkable statement. Correct: {\"action\":\"update\",\"objective\":\"...\",\"successCriteria\":[\"tests pass\",\"tsc clean\"]}",
-				);
-			}
-			if (/[\r\n]/.test(trimmed)) {
-				throw new Error(
-					"'successCriteria' items must be single-line (no line breaks). Split multi-line text into separate semicolon-separated items, one condition per item. Correct: /goal update <objective> --criteria \"line 1; line 2\"",
-				);
-			}
-			validatedCriteria.push(trimmed);
-		}
+		validatedCriteria = validateSuccessCriteriaItems(criteria, CRITERIA_HINTS_SLASH);
 	}
 	const state = session.state;
 	const oldObjective = state.objective;

package/src/adapters/event-adapter.ts

@@ -1,7 +1,7 @@
 /**
  * Event adapter — 薄路由（#4 拆分后）。
  *
- * 6 个事件 handler 拆到 event-handlers/，本文件只做 re-export。
+ * 5 个事件 handler + 1 个共享辅助拆在 event-handlers/，本文件只做 re-export。
  * handler 逻辑见各自文件。pi.on 注册在 index.ts（保持不变）。
  *
  * 行为等价（#4 验收）：handler 逻辑原样搬迁，仅 persistAndUpdate 签名 ports 化

package/src/adapters/event-handlers/agent-end.ts

@@ -193,7 +193,7 @@ async function handleContinuation(
 	}
 	// 发 continuation（FR-8.7: 去 debounce 后才发）
 	ports.messaging.sendContextMessage(
-		continuationPrompt(state, state.timeUsedSeconds),
+		continuationPrompt(state),
 		"followUp",
 	);
 }

package/src/adapters/event-handlers/before-agent-start.ts

@@ -66,7 +66,7 @@ export async function handleBeforeAgentStart(
 	return {
 		message: {
 			customType: "goal-context",
-			content: contextInjectionPrompt(session.state, session.state.timeUsedSeconds),
+			content: contextInjectionPrompt(session.state),
 			display: false,
 		},
 	};

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

@@ -42,8 +42,9 @@ import { updateWidget } from "../projection/widget";
 import { createGoal, finalizeAndPersist, persistState, type ServicePorts, tickState } from "../service";
 import type { GoalSession } from "../session";
 import { buildPorts } from "./ports";
+import { CRITERIA_HINTS_TOOL, validateSuccessCriteriaItems } from "./success-criteria";
 
-// ── Params schema（discriminated union，C3）────────────
+// ── Params schema（扁平 Type.Object，OpenAI 兼容）────────────
 
 /**
  * goal_control 参数 schema。扁平 Type.Object + action 字段级 Type.Union（等价 enum）。
@@ -156,7 +157,8 @@ function requireCreateObjective(params: GoalControlParamsT): string {
 
 /**
  * create 的 successCriteria 校验：必填 + 非空数组 + 逐条 string/非空/单行，返回 trim 后数组。
- * 从 handleCreate 提取（圈复杂度拆分），校验顺序与错误消息不变。
+ * 逐条校验共享 validateSuccessCriteriaItems（与 /goal update 同规则），tool 通道正例
+ * 见 CRITERIA_HINTS_TOOL；校验顺序与错误消息不变。
  */
 function requireCreateSuccessCriteria(params: GoalControlParamsT): string[] {
 	if (params.successCriteria === undefined) {
@@ -168,30 +170,7 @@ function requireCreateSuccessCriteria(params: GoalControlParamsT): string[] {
 			"'successCriteria' must be a non-empty array of 1~8 checkable conditions. Correct: {\"action\":\"create\",\"slug\":\"refactor-auth\",\"objective\":\"...\",\"successCriteria\":[\"tests pass\",\"tsc clean\",\"src/auth.ts uses JWT\"]}",
 		);
 	}
-	const successCriteria: string[] = [];
-	for (const item of successCriteriaRaw) {
-		// 运行时 typeof 防御（U28②）：测试/直调可能绕过 schema 传脏元素，
-		// 此处给业务错误而非让下方 .trim() 抛 TypeError
-		if (typeof item !== "string") {
-			throw new Error(
-				"'successCriteria' must be an array of strings. Correct: {\"action\":\"create\",\"objective\":\"...\",\"successCriteria\":[\"<condition 1>\",\"<condition 2>\"]}",
-			);
-		}
-		const trimmed = item.trim();
-		if (!trimmed) {
-			throw new Error(
-				"'successCriteria' items must not be empty. Each condition should be a short, single-line, checkable statement. Correct: {\"action\":\"create\",\"objective\":\"...\",\"successCriteria\":[\"tests pass\",\"tsc clean\"]}",
-			);
-		}
-		// 换行校验（U7）：/[\r\n]/ 覆盖 \n / \r\n / \r 三形态，schema pattern ^[^\r\n]+$ 的 handler 兜底
-		if (/[\r\n]/.test(trimmed)) {
-			throw new Error(
-				"'successCriteria' items must be single-line (no line breaks). Split multi-line text into separate array items, one condition per item. Correct: {\"action\":\"create\",\"objective\":\"...\",\"successCriteria\":[\"line 1\",\"line 2\"]}",
-			);
-		}
-		successCriteria.push(trimmed);
-	}
-	return successCriteria;
+	return validateSuccessCriteriaItems(successCriteriaRaw, CRITERIA_HINTS_TOOL);
 }
 
 /** create 的 budget 解析：非法预算直接拒绝（不静默截断），未提供时返回空配置。 */

package/src/adapters/ports.ts

@@ -53,7 +53,12 @@ export function buildPorts(pi: ExtensionAPI, ctx: ExtensionContext): ServicePort
 			// host 侧 event-adapter 检测 marker 解码还原。guiSetWidget 无 isGui 守卫
 			// （helpers.ts 仅查 ctx.ui?.setWidget 存在性），isGui 判定在 updateWidget
 			// 外层（projection/widget.ts）。
-			guiSetWidget(ctx as unknown as GuiContext, name, result);
+			//
+			// 断言根因：pi ExtensionUIContext.custom 是泛型方法（返回 Promise<T>），
+			// 与 GuiContext.ui.custom 的具体返回类型静态不兼容，但 mode/hasUI/ui 其余
+			// 成员形状一致（ExtensionMode 与 GuiContext.mode union 完全相同）——
+			// 单层直接断言可过 tsc（guiSetWidget 仅读 ui.setWidget，custom 不参与）。
+			guiSetWidget(ctx as GuiContext, name, result);
 		},
 		setStatus(name: string, text: string | undefined): void {
 			ctx.ui.setStatus(name, text);
@@ -65,8 +70,9 @@ export function buildPorts(pi: ExtensionAPI, ctx: ExtensionContext): ServicePort
 			return Boolean(ctx.hasUI);
 		},
 		get isGui(): boolean {
-			// RPC 模式 = GUI 渲染通道有效；TUI/json/print 走 pi 原生渲染
-			return isGuiCapable(ctx as unknown as GuiContext);
+			// RPC 模式 = GUI 渲染通道有效；TUI/json/print 走 pi 原生渲染。
+			// 断言同 setGuiWidget：custom 泛型签名静态不兼容，mode 单字段运行时可靠。
+			return isGuiCapable(ctx as GuiContext);
 		},
 		// ThemeLike 形状：透传 ctx.ui.theme 的 fg/bold。
 		// Theme.fg 只接受 ThemeColor 字面量 union（SDK 契约）；projection 层保证传入 union 内字面量，

package/src/adapters/success-criteria.ts

@@ -0,0 +1,71 @@
+/**
+ * successCriteria 逐条校验（adapters 层双通道共享，DRY）：
+ * - slash 通道：/goal update --criteria（command-adapter.ts handleUpdate）
+ * - tool 通道：goal_control create（goal-control-adapter.ts requireCreateSuccessCriteria）
+ *
+ * 三条校验规则（typeof string / trim 非空 / 单行）与错误消息前半句在两通道逐字一致；
+ * 「Correct:」恢复正例经 CriteriaUsageHints 参数化——notString/empty 两通道都是 JSON 形式
+ * （action 字段区分 update/create），仅 multiline 的 Correct 正例随通道不同
+ * （slash 用法提示 vs tool JSON 正例）。校验顺序与错误文案与折叠前完全一致。
+ */
+
+/** 各通道的恢复正例（「Correct:」之后的部分） */
+export interface CriteriaUsageHints {
+	/** 非 string 元素错误的 Correct: 正例 */
+	notString: string;
+	/** 空串项错误的 Correct: 正例 */
+	empty: string;
+	/** 单行校验错误的 Split 说明 + Correct: 正例 */
+	multiline: string;
+}
+
+/** slash 通道（/goal update）正例 */
+export const CRITERIA_HINTS_SLASH: CriteriaUsageHints = {
+	notString: '{"action":"update","objective":"...","successCriteria":["<condition 1>","<condition 2>"]}',
+	empty: '{"action":"update","objective":"...","successCriteria":["tests pass","tsc clean"]}',
+	multiline:
+		'Split multi-line text into separate semicolon-separated items, one condition per item. Correct: /goal update <objective> --criteria "line 1; line 2"',
+};
+
+/** tool 通道（goal_control create）正例 */
+export const CRITERIA_HINTS_TOOL: CriteriaUsageHints = {
+	notString: '{"action":"create","objective":"...","successCriteria":["<condition 1>","<condition 2>"]}',
+	empty: '{"action":"create","objective":"...","successCriteria":["tests pass","tsc clean"]}',
+	multiline:
+		'Split multi-line text into separate array items, one condition per item. Correct: {"action":"create","objective":"...","successCriteria":["line 1","line 2"]}',
+};
+
+/**
+ * 逐条校验并归一（trim），任一条非法即 throw（校验前置语义由调用方保证：
+ * mutate state 之前调用，任一条目非法时 state 不动）。
+ *
+ * 运行时 typeof 防御（U28②）：测试/直调可能绕过 schema 传脏元素，
+ * 此处给业务错误而非让下方 .trim() 抛 TypeError。
+ * 换行校验（U7）：/[\r\n]/ 覆盖 \n / \r\n / \r 三形态，schema pattern ^[^\r\n]+$ 的 handler 兜底。
+ */
+export function validateSuccessCriteriaItems(
+	items: readonly unknown[],
+	hints: CriteriaUsageHints,
+): string[] {
+	const validated: string[] = [];
+	for (const item of items) {
+		if (typeof item !== "string") {
+			throw new Error(
+				`'successCriteria' must be an array of strings. Correct: ${hints.notString}`,
+			);
+		}
+		const trimmed = item.trim();
+		if (!trimmed) {
+			throw new Error(
+				`'successCriteria' items must not be empty. Each condition should be a short, single-line, checkable statement. Correct: ${hints.empty}`,
+			);
+		}
+		if (/[\r\n]/.test(trimmed)) {
+			throw new Error(
+				`'successCriteria' items must be single-line (no line breaks). ${hints.multiline}`,
+			);
+		}
+		validated.push(trimmed);
+	}
+	return validated;
+}

package/src/constants.ts

@@ -15,11 +15,6 @@ export const BUDGET_RATIO_HIGH = 0.9;            // 90% — 触发预警/收尾
 export const BUDGET_RATIO_LOW = 0.7;             // 70% — 触发提醒
 export const CONTEXT_USAGE_RATIO_LIMIT = 0.85;   // 85% — 上下文空间不足阈值
 
-// ── 预算百分比阈值 (0-100) ──────────────────────────
-
-export const BUDGET_PERCENT_HIGH = 90;   // widget 颜色变红
-export const BUDGET_PERCENT_LOW = 70;    // widget 颜色变黄
-
 // ── 长度/数量上限 ───────────────────────────────────
 
 export const UPDATE_PREFIX_LENGTH = 7;        // "update ".length

package/src/ports.ts

@@ -26,7 +26,10 @@ export interface GoalHistoryEntry {
 // ── PersistencePort ──────────────────────────────────
 
 export interface PersistencePort {
-	/** 写入 goal-state entry（最新 1 条，GC 由 session 层管） */
+	/**
+	 * 写入 goal-state entry。无 GC：session entries append-only，每次追加完整 snapshot，
+	 * 不轮转、不删旧 entry（重建时只读最新一条，旧 entry 留存）。
+	 */
 	appendState(state: GoalRuntimeState): void;
 	/** 写入 goal-history 归档 entry */
 	appendHistory(entry: GoalHistoryEntry): void;

package/src/projection/__tests__/prompts.test.ts

@@ -40,13 +40,13 @@ describe("formatBudget — 2 styles (FR-3.4)", () => {
 			budget: { tokenBudget: 1000 },
 			tokensUsed: 500,
 		});
-		const out = formatBudget(state, 300, "percent");
+		const out = formatBudget(state, "percent");
 		expect(out).toContain("Token: 50%");
 	});
 
 	it("percent: 无预算 → 空字符串", () => {
 		const state = makeState();
-		expect(formatBudget(state, 0, "percent")).toBe("");
+		expect(formatBudget(state, "percent")).toBe("");
 	});
 
 	it("line: 剩余/总量格式", () => {
@@ -54,7 +54,7 @@ describe("formatBudget — 2 styles (FR-3.4)", () => {
 			budget: { tokenBudget: 1000 },
 			tokensUsed: 300,
 		});
-		const out = formatBudget(state, 120, "line");
+		const out = formatBudget(state, "line");
 		expect(out).toContain("Tokens: 700/1000");
 	});
 });
@@ -64,7 +64,7 @@ describe("formatBudget — 2 styles (FR-3.4)", () => {
 describe("XML escaping in prompts", () => {
 	it("objective 中的 <>& 被转义（continuationPrompt）", () => {
 		const state = makeState({ objective: "<script>alert('x')</script> & data" });
-		const out = continuationPrompt(state, 0);
+		const out = continuationPrompt(state);
 		expect(out).toContain("&lt;script&gt;");
 		expect(out).toContain("&amp; data");
 		expect(out).not.toContain("<script>");
@@ -90,7 +90,7 @@ describe("XML escaping in prompts", () => {
 describe("continuationPrompt", () => {
 	it("含 objective + Turn + Completion audit 段落", () => {
 		const state = makeState({ currentTurnIndex: 3 });
-		const out = continuationPrompt(state, 0);
+		const out = continuationPrompt(state);
 		expect(out).toContain("Turn 3");
 		expect(out).toContain("test objective");
 		expect(out).toContain("Completion audit");
@@ -98,7 +98,7 @@ describe("continuationPrompt", () => {
 
 	it("对标 Codex 三约束：Completion audit / Fidelity / Blocked 完整", () => {
 		const state = makeState();
-		const out = continuationPrompt(state, 0);
+		const out = continuationPrompt(state);
 		// Completion audit: 逐项证据验证
 		expect(out).toContain("Completion audit");
 		expect(out).toContain("Evidence must prove completion");
@@ -115,14 +115,14 @@ describe("continuationPrompt", () => {
 
 	it("软建议 complete 前完成所有 todo（FR-6，全解耦后非强制）", () => {
 		const state = makeState();
-		const out = continuationPrompt(state, 0);
+		const out = continuationPrompt(state);
 		expect(out).toContain("Recommend finishing all todos");
 		expect(out).toContain("verification todos");
 	});
 
 	it("含 plan audit 软提醒（FR-7/D27 prompt 驱动）", () => {
 		const state = makeState();
-		const out = continuationPrompt(state, 0);
+		const out = continuationPrompt(state);
 		expect(out).toContain("plan.md step was executed");
 	});
 });
@@ -165,7 +165,7 @@ describe("contextInjectionPrompt", () => {
 			budget: { tokenBudget: 1000 },
 			tokensUsed: 200,
 		});
-		const out = contextInjectionPrompt(state, 60);
+		const out = contextInjectionPrompt(state);
 		expect(out).toContain("GOAL mode activated");
 		expect(out).toContain("Status: active");
 		expect(out).toContain("Turn: 2");
@@ -186,13 +186,13 @@ describe("contextInjectionPrompt", () => {
 			budget: { tokenBudget: 1000 },
 			tokensUsed: 200,
 		});
-		const out = contextInjectionPrompt(state, 60);
+		const out = contextInjectionPrompt(state);
 		expect(out.length).toBeLessThanOrEqual(600);
 	});
 
 	it("删除冗余段（TC3）：不含 todo 引导/plan 提示/Fidelity/Audit", () => {
 		const state = makeState();
-		const out = contextInjectionPrompt(state, 0);
+		const out = contextInjectionPrompt(state);
 		// todo 引导段已删（收敛到 continuation 软建议）
 		expect(out).not.toContain("Track work with todos");
 		expect(out).not.toContain("todo tool");
@@ -206,17 +206,17 @@ describe("contextInjectionPrompt", () => {
 
 	it("无 goal_manager 引用（#1 清理后）", () => {
 		const state = makeState();
-		const out = contextInjectionPrompt(state, 0);
+		const out = contextInjectionPrompt(state);
 		expect(out).not.toContain("goal_manager");
 		expect(out).not.toContain("create_tasks");
 		expect(out).not.toContain("add_subtasks");
 	});
 
-	it("无 planAvailable 参数（TC4 签名精简：仅 state + timeUsedSeconds）", () => {
-		// planAvailable 恒 true 死分支已删；签名仅 (state, timeUsedSeconds)
+	it("无 planAvailable 参数（TC4 签名精简：仅 state）", () => {
+		// planAvailable 恒 true 死分支已删；签名仅 (state)
 		const state = makeState();
-		expect(() => contextInjectionPrompt(state, 0)).not.toThrow();
-		const out = contextInjectionPrompt(state, 0);
+		expect(() => contextInjectionPrompt(state)).not.toThrow();
+		const out = contextInjectionPrompt(state);
 		expect(out).toContain("[GOAL mode activated]");
 	});
 });
@@ -226,7 +226,7 @@ describe("contextInjectionPrompt", () => {
 describe("successCriteria 注入（<successCriteria> 段 + 条件文案）", () => {
 	it("continuationPrompt：有 successCriteria → 含 <successCriteria> 段 + 条件文案", () => {
 		const state = makeState({ successCriteria: ["pnpm test passes", "tsc clean"] });
-		const out = continuationPrompt(state, 0);
+		const out = continuationPrompt(state);
 		expect(out).toContain("<successCriteria>");
 		expect(out).toContain("</successCriteria>");
 		expect(out).toContain("1. pnpm test passes");
@@ -249,7 +249,7 @@ describe("successCriteria 注入（<successCriteria> 段 + 条件文案）", ()
 
 	it("contextInjectionPrompt：有 successCriteria → 含 <successCriteria> 段 + 条件文案", () => {
 		const state = makeState({ successCriteria: ["file X exists"] });
-		const out = contextInjectionPrompt(state, 0);
+		const out = contextInjectionPrompt(state);
 		expect(out).toContain("<successCriteria>");
 		expect(out).toContain("file X exists");
 		// 条件文案（contextInjectionPrompt 专属）
@@ -266,24 +266,24 @@ describe("successCriteria 注入（<successCriteria> 段 + 条件文案）", ()
 
 	it("无 successCriteria → 不含 <successCriteria> 段（锁定 fallback）", () => {
 		const state = makeState(); // createGoalState 不带 successCriteria
-		const out = continuationPrompt(state, 0);
+		const out = continuationPrompt(state);
 		expect(out).not.toContain("<successCriteria>");
 		expect(out).not.toContain("every condition there must be met");
 	});
 
 	it("U17: successCriteria 空数组 → 与 undefined 同为空态，prompt 不增 <successCriteria> 段", () => {
 		const state = makeState({ successCriteria: [] });
-		expect(continuationPrompt(state, 0)).not.toContain("<successCriteria>");
+		expect(continuationPrompt(state)).not.toContain("<successCriteria>");
 		expect(budgetLimitPrompt(state)).not.toContain("<successCriteria>");
 		expect(objectiveUpdatedPrompt(state, "old obj")).not.toContain("<successCriteria>");
-		expect(contextInjectionPrompt(state, 0)).not.toContain("<successCriteria>");
+		expect(contextInjectionPrompt(state)).not.toContain("<successCriteria>");
 		// 条件文案同样不出现（continuationPrompt 专属分支）
-		expect(continuationPrompt(state, 0)).not.toContain("every condition there must be met");
+		expect(continuationPrompt(state)).not.toContain("every condition there must be met");
 	});
 
 	it("successCriteria 中的 <>& 被转义（防注入）", () => {
 		const state = makeState({ successCriteria: ["<x> & y"] });
-		const out = continuationPrompt(state, 0);
+		const out = continuationPrompt(state);
 		expect(out).toContain("&lt;x&gt;");
 		expect(out).toContain("&amp; y");
 		expect(out).not.toContain("<x>");

package/src/projection/__tests__/widget.test.ts

@@ -3,8 +3,8 @@
  *
  * 覆盖：
  * - toSingleLine: 多行压缩
- * - renderStatusLine: 状态后缀 + cancelled 短路 + 预算/停滞指标
- * - renderWidgetLines: cancelled 短路 + objective + 预算进度条
+ * - renderStatusLine: slug 标题（fallback objective 截断）+ 状态后缀 + cancelled 短路 + token/耗时显示
+ * - renderWidgetLines: cancelled 短路 + 标题行 + criteria 摘要单行 + 预算进度条（Objective 全文行已移除，GAP-8）
  * - renderTerminalStatusLine: 终态单行 + cancelled 短路
  * - updateWidget: FR-6.6 hasUI 守卫 + 终态折叠 + cancelled 清除
  *

package/src/projection/gui.ts

@@ -37,7 +37,7 @@ import { formatTokens } from "./widget";
  * 维度说明：status→severity（本函数）与 percent→color（widget.getBudgetColor）输入输出
  * 双维度不同，不合并——本函数只管「状态语义」的严重度。
  */
-export function goalStatusSeverity(status: GoalStatus): "ok" | "warn" | "danger" {
+function goalStatusSeverity(status: GoalStatus): "ok" | "warn" | "danger" {
 	switch (status) {
 		case "active":
 		case "complete":

package/src/projection/prompts.ts

@@ -1,8 +1,7 @@
 /**
  * Steering prompt 模板（projection 层）
  *
- * 类型 import 自 engine/types.ts；时间计算参数化（调用方传
- * timeUsedSeconds，不调 Date.now()）。FR-3.4：formatBudget 单一出口。
+ * 类型 import 自 engine/types.ts。FR-3.4：formatBudget 单一出口。
  *
  * 设计原则（来自 Codex 调研）：
  * - Completion audit: 逐项证据验证，intent/partial progress 不是 evidence
@@ -55,15 +54,12 @@ export type BudgetFormatStyle = "percent" | "line";
  * - "line"     → ` | Tokens: remaining/total`（continuationPrompt 用）
  *
  * @param state runtime state（读 budget / tokensUsed）
- * @param timeUsedSeconds 累计耗时秒数（保留位，FR-3.4 统一签名；percent/line 当前不消费）
  * @param style 输出形式
  */
 export function formatBudget(
 	state: GoalRuntimeState,
-	timeUsedSeconds: number,
 	style: BudgetFormatStyle,
 ): string {
-	void timeUsedSeconds; // FR-3.4 统一签名占位（percent/line 不消费，保留以便未来样式扩展）
 	if (style === "percent") {
 		return formatBudgetPercent(state);
 	}
@@ -88,9 +84,9 @@ function formatBudgetLine(state: GoalRuntimeState): string {
 
 // ── Continuation Prompt ───────────────────────────────
 
-export function continuationPrompt(state: GoalRuntimeState, timeUsedSeconds: number): string {
+export function continuationPrompt(state: GoalRuntimeState): string {
 	const objective = escapeXmlText(state.objective);
-	const budgetLine = formatBudget(state, timeUsedSeconds, "line");
+	const budgetLine = formatBudget(state, "line");
 	const criteria = successCriteriaBlock(state);
 
 	return (
@@ -192,12 +188,9 @@ export function objectiveUpdatedPrompt(
  * turn 末详述），避免两 prompt 重复。
  * 删 planAvailable 参数（恒 true 死分支；plan 引导收敛到 continuation）。
  */
-export function contextInjectionPrompt(
-	state: GoalRuntimeState,
-	timeUsedSeconds: number,
-): string {
+export function contextInjectionPrompt(state: GoalRuntimeState): string {
 	const objective = escapeXmlText(state.objective);
-	const budgetInfo = formatBudget(state, timeUsedSeconds, "percent");
+	const budgetInfo = formatBudget(state, "percent");
 	const criteria = successCriteriaBlock(state);
 
 	return (

package/src/projection/widget.ts

@@ -67,7 +67,7 @@ export function formatTokens(n: number): string {
 /**
  * 返回 widget 标题：优先 slug，无 slug fallback objective 截断（单行）。
  */
-export function getTitle(state: GoalRuntimeState): string {
+function getTitle(state: GoalRuntimeState): string {
 	if (state.slug) return state.slug;
 	const objSingleLine = toSingleLine(state.objective);
 	return objSingleLine.length > OBJECTIVE_DISPLAY_LIMIT

package/src/service.ts

@@ -12,13 +12,7 @@
  * FR-6.5: persist 前调 tick 累计时间
  */
 
-import {
-	accumulateTokens,
-	checkBudgetOnResume,
-	checkBudgetOnTurnEnd,
-	tick,
-} from "./engine/budget";
-import type { BudgetDimension } from "./engine/budget";
+import { accumulateTokens, checkBudgetOnTurnEnd, tick } from "./engine/budget";
 import { createGoalState, isActiveStatus, transitionStatus } from "./engine/goal";
 import type { BudgetConfig, GoalRuntimeState, GoalStatus } from "./engine/types";
 import { makeHistoryEntry, serializeState } from "./persistence";
@@ -277,11 +271,3 @@ export function applyEvent(
 			break;
 	}
 }
-
-// ── resume 预算重检（供 command-adapter 调用）─────────
-
-export function checkResumeBudget(
-	state: GoalRuntimeState,
-): { type: "exceeded"; dimension: BudgetDimension } | null {
-	return checkBudgetOnResume(state);
-}

package/src/session.ts

@@ -1,5 +1,5 @@
 /**
- * Session 层 — 运行时句柄 + 状态重建 + entry GC
+ * Session 层 — 运行时句柄 + 状态重建（entry 不做 GC，只读最新一条）
  *
  * GoalSession 是进程内瞬态句柄（不持久化）。
  * reconstructGoalState 从 entry 恢复状态（session_start 时调）。