pi-plans 0.6.0 → 0.7.0

package/tests/config-command.test.ts

@@ -3,7 +3,7 @@ import * as fs from "node:fs";
 import * as os from "node:os";
 import * as path from "node:path";
 import * as url from "node:url";
-import { after, before, describe, it } from "node:test";
+import { after, before, beforeEach, describe, it } from "node:test";
 
 import { configPiPlansCommand } from "../src/config-command.ts";
 import { startRun } from "../src/state.ts";
@@ -25,13 +25,25 @@ interface HarnessOptions {
 }
 
 let root: string;
+let globalDir: string;
+let previousGlobalDir: string | undefined;
 
 before(() => {
 	root = fs.mkdtempSync(path.join(os.tmpdir(), "pi-plans-config-command-"));
+	previousGlobalDir = process.env.PI_PLANS_GLOBAL_DIR;
+	globalDir = fs.mkdtempSync(path.join(os.tmpdir(), "pi-plans-global-config-command-"));
+	process.env.PI_PLANS_GLOBAL_DIR = globalDir;
+});
+
+beforeEach(() => {
+	fs.rmSync(path.join(globalDir, "config.json"), { force: true });
 });
 
 after(() => {
+	if (previousGlobalDir === undefined) delete process.env.PI_PLANS_GLOBAL_DIR;
+	else process.env.PI_PLANS_GLOBAL_DIR = previousGlobalDir;
 	fs.rmSync(root, { recursive: true, force: true });
+	fs.rmSync(globalDir, { recursive: true, force: true });
 });
 
 function workdir(name: string): string {
@@ -41,11 +53,15 @@ function workdir(name: string): string {
 }
 
 function configPath(workdirPath: string): string {
-	return path.join(workdirPath, ".git", "pi_plans", "config.json");
+	return path.join(workdirPath, ".git", "pi-plans", "config.json");
 }
 
 function runPath(workdirPath: string, runId: string): string {
-	return path.join(workdirPath, ".git", "pi_plans", "runs", runId, "run.json");
+	return path.join(workdirPath, ".git", "pi-plans", "runs", runId, "run.json");
+}
+
+function readGlobal(): any {
+	return JSON.parse(fs.readFileSync(path.join(globalDir, "config.json"), "utf8"));
 }
 
 function readJson(filePath: string): any {
@@ -61,6 +77,7 @@ function makeContext(workdirPath: string, options: HarnessOptions) {
 	const ctx = {
 		cwd: workdirPath,
 		hasUI: true,
+		mode: "rpc",
 		model: options.model ?? null,
 		scopedModels: options.scopedModels ?? [],
 		modelRegistry: {
@@ -83,6 +100,15 @@ function makeContext(workdirPath: string, options: HarnessOptions) {
 	return { ctx, recorded };
 }
 
+/** Default answers for the four workspace menus (language/artifact/refs/graph). */
+function workspaceDefaults(question: string, labels: string[]): string | undefined {
+	if (question === "Language?") return labels[0];
+	if (question === "Artifact root?") return labels[0];
+	if (question === "Refs root (plan-with-refs downloads)?") return labels[0];
+	if (question === "Code graph?") return labels[0];
+	return undefined;
+}
+
 describe("config-pi-plans command", () => {
 	it("registers the slash command in index.ts and delegates to the helper", () => {
 		const source = fs.readFileSync(path.join(ROOT, "index.ts"), "utf8");
@@ -91,25 +117,14 @@ describe("config-pi-plans command", () => {
 		assert.match(source, /await configPiPlansCommand\(args, ctx\);/);
 	});
 
-	it("writes the full wizard into config.json", async () => {
+	it("writes the workspace settings and switches the reviewer mode globally; current-session skips the model step (Q-3)", async () => {
 		const dir = workdir("full-wizard");
-		const { ctx } = makeContext(dir, {
+		const { ctx, recorded } = makeContext(dir, {
 			model: { provider: "live", id: "pro" },
 			availableModels: [{ provider: "registry", id: "critic" }],
 			select: (question, labels) => {
-				if (question === "Language?") return labels.find((label) => label.includes("en"));
-				if (question === "Artifact root?") return labels.find((label) => label.includes("./.git/pi_plans/plans"));
-				if (question === "Refs root (plan-with-refs downloads)?") return labels.find((label) => label.includes(".git/pi-plans/refs"));
-				if (question === "Code graph?") return labels.find((label) => label.includes("Disable code graph"));
 				if (question === "Reviewer mode?") return labels.find((label) => label.includes("Switch to current-session"));
-				if (question === "Reviewer model?") return labels.find((label) => label.includes("Use current session model (live/pro)"));
-				if (question === "Criticizer mode?") return labels.find((label) => label.includes("Keep delegated-subagent"));
-				if (question === "Criticizer model?") return labels.find((label) => label.includes("Other..."));
-				return undefined;
-			},
-			input: (prompt) => {
-				if (prompt === "Criticizer model selector:") return "custom/critic-model";
-				return undefined;
+				return workspaceDefaults(question, labels);
 			},
 		});
 
@@ -117,24 +132,44 @@ describe("config-pi-plans command", () => {
 
 		assert.ok(fs.existsSync(configPath(dir)));
 		const config = readJson(configPath(dir));
-		assert.equal(config.language.tag, "en");
-		assert.equal(config.language.source, "user");
-		assert.equal(config.artifact_root, "./.git/pi_plans/plans");
-		assert.equal(config.artifact_root_source, "user");
+		assert.equal(config.language.tag, "zh-Hans", "labels[0] on the language menu");
+		assert.equal(config.artifact_root, "./.git/pi-plans/plans");
 		assert.equal(config.refs_root, ".git/pi-plans/refs");
-		assert.equal(config.refs_root_source, "user");
-		assert.ok(config.refs_root_updated_at);
-		assert.equal(config.graph_enabled, false);
-		assert.equal(config.reviewer.mode, "current-session");
-		assert.equal(config.reviewer.model_selector, "live/pro");
-		assert.equal(config.criticizer.mode, "delegated-subagent");
-		assert.equal(config.criticizer.model_selector, "custom/critic-model");
-		assert.ok(config.reviewer.confirmed_at);
-		assert.ok(config.criticizer.confirmed_at);
+		assert.equal(config.graph_enabled, true, "labels[0] on the graph menu enables");
+		assert.equal("reviewer" in config, false, "the reviewer role never lands in the workspace config");
+		assert.equal("criticizer" in config, false);
+		// The mode switch went to the GLOBAL config.
+		const globalRole = readGlobal().reviewer;
+		assert.equal(globalRole.mode, "current-session");
+		// Q-3: no reviewer-model prompt in current-session mode.
+		assert.equal(recorded.selects.some((entry) => entry.question === "Reviewer model?"), false);
+	});
+
+	it("shows a keep/change entry menu when the reviewer is unconfirmed", async () => {
+		const dir = workdir("entry-menu");
+		const { ctx, recorded } = makeContext(dir, {
+			select: (question, labels) => {
+				if (question === "Reviewer mode?") return labels[0];
+				if (question === "Reviewer model?") return labels[0];
+				return workspaceDefaults(question, labels);
+			},
+		});
+
+		await configPiPlansCommand("", ctx);
+
+		const entry = recorded.selects.find((entry) => entry.question === "Reviewer model?");
+		assert.ok(entry);
+		assert.deepEqual(entry?.labels, [
+			"1. Keep current (unconfirmed; first refine will ask)",
+			"2. Choose model & thinking level…",
+		]);
+		// Keeping the unconfirmed role writes nothing to the global config.
+		assert.equal(fs.existsSync(path.join(globalDir, "config.json")), false);
+		assert.equal(fs.existsSync(configPath(dir)), true);
 	});
 
-	it("dedupes model choices and falls back to the live model when no default is stored", async () => {
-		const dir = workdir("model-menu");
+	it("change flow via menus persists model + level to the global config", async () => {
+		const dir = workdir("change-menus");
 		const { ctx, recorded } = makeContext(dir, {
 			model: { provider: "live", id: "pro" },
 			scopedModels: [{ model: { provider: "scoped", id: "model-a" } }],
@@ -143,51 +178,56 @@ describe("config-pi-plans command", () => {
 				{ provider: "registry", id: "model-b" },
 			],
 			select: (question, labels) => {
-				if (question === "Language?") return labels[0];
-				if (question === "Artifact root?") return labels[0];
-				if (question === "Refs root (plan-with-refs downloads)?") return labels[0];
-				if (question === "Code graph?") return labels[0];
 				if (question === "Reviewer mode?") return labels[0];
-				if (question === "Reviewer model?") return labels[0];
-				if (question === "Criticizer mode?") return undefined;
-				return undefined;
+				if (question === "Reviewer model?") {
+					const modelMenus = recorded.selects.filter((e) => e.question === "Reviewer model?");
+					if (modelMenus.length === 1) return labels.find((label) => label.includes("Choose model & thinking level"));
+					return labels.find((label) => label.includes("Use registry/model-b"));
+				}
+				if (question.startsWith("Reviewer thinking level?")) return labels[0];
+				return workspaceDefaults(question, labels);
 			},
 		});
 
 		await configPiPlansCommand("", ctx);
 
-		const reviewerModelPrompt = recorded.selects.find((entry) => entry.question === "Reviewer model?");
-		assert.ok(reviewerModelPrompt);
-		assert.deepEqual(reviewerModelPrompt?.labels, [
-			"1. Keep current default (inherit live model: live/pro)",
-			"2. Use current session model (live/pro)",
-			"3. Use available model (scoped/model-a)",
-			"4. Use available model (registry/model-b)",
-			"5. Other...",
-		]);
-		assert.equal(fs.existsSync(configPath(dir)), false);
-		assert.equal(recorded.notifies.at(-1)?.severity, "warning");
+		const globalRole = readGlobal().reviewer;
+		assert.equal(globalRole.mode, "delegated-subagent");
+		assert.equal(globalRole.model_selector, "registry/model-b");
+		assert.equal(globalRole.thinking_level, null, "first row = default → null");
+		assert.ok(globalRole.confirmed_at);
+		// The workspace config stays reviewer-free.
+		assert.equal("reviewer" in readJson(configPath(dir)), false);
 	});
 
-	it("rejects an invalid model selector entered through Other and leaves config untouched", async () => {
+	it("an invalid manual selector keeps the current role and still writes workspace settings (F-011)", async () => {
 		const dir = workdir("invalid-model");
 		const { ctx, recorded } = makeContext(dir, {
 			select: (question, labels) => {
-				if (question === "Language?") return labels[0];
-				if (question === "Artifact root?") return labels[0];
-				if (question === "Refs root (plan-with-refs downloads)?") return labels[0];
-				if (question === "Code graph?") return labels[0];
 				if (question === "Reviewer mode?") return labels[0];
-				if (question === "Reviewer model?") return labels.find((label) => label.includes("Other..."));
-				return undefined;
+				if (question === "Reviewer model?") {
+					const modelMenus = recorded.selects.filter((e) => e.question === "Reviewer model?");
+					if (modelMenus.length === 1) return labels.find((label) => label.includes("Choose model & thinking level"));
+					return labels.find((label) => label.includes("Other..."));
+				}
+				return workspaceDefaults(question, labels);
 			},
 			input: () => "bad selector",
 		});
 
 		await configPiPlansCommand("", ctx);
 
-		assert.equal(fs.existsSync(configPath(dir)), false);
-		assert.equal(recorded.notifies.some((entry) => entry.message.includes("Model selector must be an exact provider/model string.")), true);
+		assert.equal(fs.existsSync(path.join(globalDir, "config.json")), false, "nothing persisted for the reviewer");
+		assert.equal(fs.existsSync(configPath(dir)), true, "workspace settings still written");
+		assert.equal(
+			recorded.notifies.some((entry) => entry.message.includes("Model selector must be an exact provider/model string.")),
+			true,
+		);
+		assert.equal(
+			recorded.notifies.some((entry) => entry.message.includes("Reviewer change failed")),
+			true,
+			"the summary reports the failed reviewer change",
+		);
 	});
 
 	it("does not write when the wizard is cancelled", async () => {
@@ -204,49 +244,15 @@ describe("config-pi-plans command", () => {
 		assert.equal(fs.existsSync(configPath(dir)), false);
 	});
 
-	it("renders a two-option inherit menu when no model sources exist", async () => {
-		const dir = workdir("empty-model-menu");
-		const { ctx, recorded } = makeContext(dir, {
-			model: null,
-			scopedModels: [],
-			availableModels: [],
-			select: (question, labels) => {
-				if (question === "Language?") return labels[0];
-				if (question === "Artifact root?") return labels[0];
-				if (question === "Refs root (plan-with-refs downloads)?") return labels[0];
-				if (question === "Code graph?") return labels[0];
-				if (question === "Reviewer mode?") return labels[0];
-				if (question === "Reviewer model?") return labels[0];
-				return undefined;
-			},
-		});
-
-		await configPiPlansCommand("", ctx);
-
-		const reviewerModelPrompt = recorded.selects.find((entry) => entry.question === "Reviewer model?");
-		assert.ok(reviewerModelPrompt);
-		assert.deepEqual(reviewerModelPrompt?.labels, [
-			"1. Keep current default (inherit)",
-			"2. Other...",
-		]);
-		assert.equal(fs.existsSync(configPath(dir)), false);
-	});
-
 	it("keeps the active run snapshot unchanged", async () => {
 		const dir = workdir("active-run");
 		const { run } = startRun(dir, { topic: "config", skill: "plan-small", requestText: "x" });
 		const before = readJson(runPath(dir, run.run_id));
 		const { ctx } = makeContext(dir, {
 			select: (question, labels) => {
-				if (question === "Language?") return labels.find((label) => label.includes("en"));
-				if (question === "Artifact root?") return labels.find((label) => label.includes("./.git/pi_plans/plans"));
-				if (question === "Refs root (plan-with-refs downloads)?") return labels.find((label) => label.includes(".git/pi-plans/refs"));
-				if (question === "Code graph?") return labels.find((label) => label.includes("Enable code graph"));
 				if (question === "Reviewer mode?") return labels.find((label) => label.includes("Keep delegated-subagent"));
 				if (question === "Reviewer model?") return labels[0];
-				if (question === "Criticizer mode?") return labels.find((label) => label.includes("Keep delegated-subagent"));
-				if (question === "Criticizer model?") return labels[0];
-				return undefined;
+				return workspaceDefaults(question, labels);
 			},
 		});
 
@@ -255,10 +261,7 @@ describe("config-pi-plans command", () => {
 		const after = readJson(runPath(dir, run.run_id));
 		assert.deepEqual(after, before);
 		const config = readJson(configPath(dir));
-		assert.equal(config.language.tag, "en");
-		assert.equal(config.artifact_root, "./.git/pi_plans/plans");
-		assert.equal(config.reviewer.model_selector, null);
-		assert.ok(config.reviewer.confirmed_at);
+		assert.equal("reviewer" in config, false);
 	});
 
 	it("with an active run, a successful save never notifies an error (impl review F-001)", async () => {
@@ -266,14 +269,14 @@ describe("config-pi-plans command", () => {
 		startRun(dir, { topic: "config-guard", skill: "plan-small", requestText: "x" });
 		const { ctx, recorded } = makeContext(dir, {
 			select: (question, labels) => {
-				if (question === "Language?") return labels.find((label) => label.includes("en"));
+				if (question === "Language?") return labels.find((label) => label.includes("zh-Hans")) ?? labels[0];
 				return labels[0];
 			},
 		});
 
 		await configPiPlansCommand("", ctx);
 
-		assert.equal(readJson(configPath(dir)).language.tag, "en", "the wizard must keep saving");
+		assert.equal(fs.existsSync(configPath(dir)), true, "the wizard must keep saving");
 		assert.equal(
 			recorded.notifies.find((entry) => entry.severity === "error"),
 			undefined,

package/tests/dashboard.test.ts

@@ -0,0 +1,268 @@
+/** Tests for the task dashboard (v0.6.1): compact widget, expanded tree,
+ * markers, width adaptation, and the shared summary line.
+ *
+ * Width invariant: the widget host measures every rendered line with pi-tui's
+ * `visibleWidth` and throws an uncaughtException — killing the whole TUI
+ * session — when a line is wider than the terminal (real crashes:
+ * "Rendered line 157 exceeds terminal width (231 > 230)" and
+ * "(114 > 113)"). These tests therefore measure with the *host's* function,
+ * not a local reimplementation, so a local/host divergence is caught here
+ * rather than in a user's terminal.
+ */
+
+import * as assert from "node:assert/strict";
+import { describe, it } from "node:test";
+import { visibleWidth } from "@earendil-works/pi-tui";
+import { parsePlanTasks } from "../src/plan.ts";
+import { buildTaskView } from "../src/tasks.ts";
+import { visibleWidth as localVisibleWidth } from "../src/refine-ui-helpers.ts";
+import {
+	deriveDashboardModel,
+	formatDashboardSummaryLine,
+	openTaskSummary,
+	renderDashboardLines,
+	renderDashboardTreeLines,
+	taskMarker,
+} from "../src/dashboard.ts";
+
+const PLAN = `## Tasks
+
+- Task-1: 解析器 — files: src/plan.ts; wave: 1
+- Task-2: 工具 — files: src/task-tool.ts; wave: 1
+- Task-3: 核心 — deps: Task-1, Task-2; files: src/exec.ts; wave: 2
+  - Task-3.1: 注入
+  - Task-3.2: 状态机
+
+### Execution Waves
+
+- wave 1: Task-1, Task-2 — 并行
+- wave 2: Task-3 — 串行
+
+## Verification Checks
+
+- [ ] \`VC-001\` covers \`Task-1\`; pass condition: 解析单测
+- [ ] \`VC-002\` covers \`Task-3\`; pass condition: 核心测试
+`;
+
+function model(progress?: Record<string, { status: "complete" | "skipped" }>) {
+	const tasks = buildTaskView(parsePlanTasks(PLAN), progress);
+	const checklist = [
+		{ id: "VC-001", text: "`VC-001` covers `Task-1`; pass condition: x", done: progress?.["Task-1"]?.status === "complete" },
+		{ id: "VC-002", text: "`VC-002` covers `Task-3`; pass condition: y", done: false },
+	];
+	return deriveDashboardModel("demo-run", tasks, checklist, { startedAt: new Date().toISOString() });
+}
+
+describe("dashboard model", () => {
+	it("summary line carries task and VC progress", () => {
+		const line = formatDashboardSummaryLine(model({ "Task-1": { status: "complete" } }));
+		assert.match(line, /tasks 1\/5/);
+		assert.match(line, /VC 1\/2/);
+		assert.match(line, /wave 1/);
+	});
+
+	it("markers: ✓ complete, ~ skipped, ▸ current, · pending", () => {
+		const m = model({ "Task-1": { status: "complete" }, "Task-2": { status: "skipped" } });
+		const flat = m.tasks.flatMap(function walk(t: { id: string; children: unknown[] }) { return [t, ...t.children]; } as never) as never[];
+		const byId = new Map(flat.map((t: { id: string }) => [t.id, t]));
+		assert.equal(taskMarker(byId.get("Task-1")!, null), "✓");
+		assert.equal(taskMarker(byId.get("Task-2")!, null), "~");
+		// Task-3 is the first open task in wave order → current.
+		assert.equal(taskMarker(byId.get("Task-3")!, "Task-3"), "▸");
+		assert.equal(taskMarker(byId.get("Task-3.1")!, "Task-3"), "·");
+	});
+
+	it("open task summary lists the current wave and later waves", () => {
+		const tasks = buildTaskView(parsePlanTasks(PLAN), { "Task-1": { status: "complete" } });
+		const summary = openTaskSummary(tasks);
+		assert.match(summary, /current wave 1: Task-2/);
+		assert.match(summary, /later waves: Task-3/);
+	});
+});
+
+describe("compact widget rendering", () => {
+	it("renders the current task and files at wide width", () => {
+		const lines = renderDashboardLines(model(), 100);
+		assert.ok(lines.some((line) => line.includes("Task-1")));
+		assert.ok(lines.some((line) => line.includes("src/plan.ts")));
+		assert.ok(lines.some((line) => line.includes("Ctrl+Shift+T")));
+	});
+
+	it("narrow width drops file lists and stays inside the width", () => {
+		const lines = renderDashboardLines(model(), 40);
+		assert.ok(!lines.some((line) => line.includes("src/plan.ts")));
+		for (const line of lines) {
+			assert.ok(visibleWidth(line) <= 40, `line too wide (${visibleWidth(line)}): ${line}`);
+		}
+	});
+
+	it("shows the pause state when paused", () => {
+		const m = model();
+		m.paused = true;
+		m.pausedReason = "no task-status change in 3 rounds";
+		const lines = renderDashboardLines(m, 80);
+		assert.ok(lines.some((line) => line.includes("⏸")));
+	});
+
+	it("shows audit failures when present", () => {
+		const m = model();
+		m.auditRounds = 1;
+		m.auditFailed = ["VC-002"];
+		const lines = renderDashboardLines(m, 100);
+		assert.ok(lines.some((line) => line.includes("VC-002")));
+	});
+});
+
+describe("expanded tree rendering", () => {
+	it("renders the nested tree with markers, deps, and files at wide width", () => {
+		const m = model({ "Task-1": { status: "complete" }, "Task-2": { status: "complete" } });
+		const lines = renderDashboardTreeLines(m, 120);
+		assert.ok(lines.some((line) => /✓ Task-1/.test(line)));
+		assert.ok(lines.some((line) => line.trim().startsWith("· Task-3.1")));
+		assert.ok(lines.some((line) => line.includes("(deps: Task-1, Task-2)")));
+		assert.ok(lines.some((line) => line.includes("Verification checks:")));
+	});
+
+	it("narrow width clips titles and drops file/dep decorations", () => {
+		const lines = renderDashboardTreeLines(model(), 60);
+		assert.ok(!lines.some((line) => line.includes("(deps:")));
+		assert.ok(!lines.some((line) => line.includes("[")));
+	});
+
+	it("lists the audit state when a round has run", () => {
+		const m = model();
+		m.auditRounds = 2;
+		m.auditFailed = ["VC-001"];
+		const lines = renderDashboardTreeLines(m, 100);
+		assert.ok(lines.some((line) => line.includes("Completion audit: round 2")));
+	});
+});
+
+/** Regression cover for the TUI crash: "Rendered line 157 exceeds terminal
+ * width (231 > 230)" (2026-09-30, v0.99.1) and the same +1 overflow at 113
+ * columns. Root cause: the box rows were built as
+ * `content.padEnd(width).slice(0, width) + border` — one column over on every
+ * row — and the width math counted UTF-16 units, so CJK titles overflowed by
+ * far more than one. */
+describe("width invariant (TUI crash regression)", () => {
+	const WIDTHS = [1, 2, 3, 5, 8, 20, 40, 63, 64, 79, 80, 95, 96, 113, 114, 120, 200, 229, 230, 231, 300, 400];
+
+	/** Long, CJK-heavy plan: the content that triggered the crash. */
+	const STRESS_PLAN = `## Tasks
+
+- Task-1: 移除 typebox 运行时重复声明并改为 peerDependencies 通配声明 — files: package.json, package-lock.json, src/exec.ts, tests/exec.test.ts, tests/impl-review.test.ts; wave: 1
+- Task-2: 适配器单测覆盖 check 双分支、schema 透传与 compiled() 非空鸭子形状断言 — files: tests/compiled-schema.test.ts, src/code-graph/schema.ts; wave: 1
+- Task-3: 全量验证与冒烟启动 — deps: Task-1, Task-2; files: scripts/validate.ts; wave: 2
+  - Task-3.1: 注入
+
+### Execution Waves
+
+- wave 1: Task-1, Task-2 — 并行
+- wave 2: Task-3 — 串行
+
+## Verification Checks
+
+- [ ] \`VC-1\` covers \`Task-1\`; pass condition: package.json 无 typebox 残留
+- [ ] \`VC-2\` covers \`Task-2\`; pass condition: 适配器单测全绿
+`;
+
+	function stressModel() {
+		const tasks = buildTaskView(parsePlanTasks(STRESS_PLAN), { "Task-1": { status: "complete" } });
+		const checklist = [
+			{ id: "VC-1", text: "`VC-1` covers `Task-1`; pass condition: package.json 无 `@sinclair/typebox` 残留", done: true },
+			{ id: "VC-2", text: "`VC-2` covers `Task-2`; pass condition: 适配器单测全绿且断言 compiled() 非空", done: false },
+		];
+		return deriveDashboardModel("20260930T051445Z-fix-binary-ref-download-with-a-very-long-topic-slug", tasks, checklist, {
+			auditRounds: 1,
+			auditFailed: ["VC-2"],
+			pausedReason: "连续 3 轮无任务状态变化自动暂停 — 完成审计已耗尽预算",
+		});
+	}
+
+	const states = (): [string, ReturnType<typeof stressModel>][] => {
+		const base = stressModel();
+		return [
+			["running", base],
+			["paused", { ...base, paused: true, pausedReason: base.pausedReason as string }],
+			["all-terminal", { ...base, tasks: base.tasks.map((t) => ({ ...t, status: "complete" as const })) }],
+			["audit-failed", { ...base, auditRounds: 3, auditFailed: ["VC-1", "VC-2"] }],
+		];
+	};
+
+	for (const [label, render] of [
+		["compact", renderDashboardLines],
+		["tree", renderDashboardTreeLines],
+	] as const) {
+		it(`${label} view never exceeds the terminal width at any width`, () => {
+			for (const [state, m] of states()) {
+				for (const width of WIDTHS) {
+					for (const line of render(m, width)) {
+						assert.ok(
+							visibleWidth(line) <= width,
+							`${label}/${state} @${width}: line is ${visibleWidth(line)} columns: ${line}`,
+						);
+					}
+				}
+			}
+		});
+	}
+
+	it("compact box rows are exactly the terminal width (the +1 border overflow)", () => {
+		for (const [state, m] of states()) {
+			for (const width of [40, 64, 113, 230]) {
+				for (const line of renderDashboardLines(m, width)) {
+					assert.equal(visibleWidth(line), width, `${state} @${width}: ${line}`);
+				}
+			}
+		}
+	});
+
+	it("keeps the progress bar and the right border at wide widths", () => {
+		const m = stressModel();
+		const [top, progress] = renderDashboardLines(m, 230);
+		assert.ok(top.startsWith("┌─ "), "top row opens with the box corner");
+		assert.ok(top.endsWith("┐"), "top row closes with the right border");
+		assert.ok(progress.includes("█"), "progress bar survives a long topic");
+		assert.ok(!top.includes("█"), "the bar moved to the progress row, not the title row");
+	});
+
+	it("title row is π-plans: <plan>, brand accented and the rest muted", () => {
+		const m = stressModel();
+		const fg = (color: string, text: string) => `<${color}>${text}</${color}>`;
+		const [title] = renderDashboardLines(m, 100, { fg });
+		// Brand in the accent colour, plan name in muted — as sibling spans, so a
+		// closing reset cannot strip the colour off everything after it.
+		assert.ok(title.startsWith("<muted>┌─ </muted><accent>π-plans</accent>"), `brand span: ${title}`);
+		assert.ok(title.includes("<muted>: 20260930T051445Z-"), `plan name muted: ${title}`);
+		assert.ok(!/<muted>[^<]*<\/muted><accent>[^<]*<\/accent><muted>[^<]*π-plans/.test(title), "brand is not nested inside a muted span");
+	});
+
+	it("progress row spells out the counts and carries elapsed time then the bar", () => {
+		const m = stressModel();
+		const [, progress] = renderDashboardLines(m, 100);
+		assert.match(progress, /│ Tasks \d+\/\d+ · Verification checks \d+\/\d+ /);
+		// Elapsed time precedes the bar, both on the progress row.
+		assert.match(progress, /\d{2}:\d{2}:\d{2} [█░]+/);
+		assert.ok(!/VC \d+\//.test(progress), "the VC abbreviation is gone");
+	});
+
+	it("drops the bar, then elapsed time, when the row cannot fit them", () => {
+		const m = stressModel();
+		for (const width of [12, 20, 24, 30, 40, 64]) {
+			const [, progress] = renderDashboardLines(m, width);
+			assert.ok(visibleWidth(progress) <= width, `progress row fits at ${width}`);
+		}
+		// Where the full counts fit they always survive; the abbreviation the old
+		// layout used is never substituted back in.
+		assert.match(renderDashboardLines(m, 40)[1], /Tasks \d+\/\d+ · Verification checks \d+\/\d+/);
+	});
+
+	it("local width helper agrees with the host on every glyph the dashboard emits", () => {
+		// The dashboard sizes rows with the local helper but the host measures
+		// them. A disagreement in the crash-causing direction (local < host)
+		// silently reintroduces the overflow, so pin the glyph set.
+		for (const glyph of ["┌", "┐", "└", "┘", "│", "─", "⏸", "▸", "·", "✗", "✓", "☑", "☐", "█", "░", "—", "…", "~"]) {
+			assert.equal(localVisibleWidth(glyph), visibleWidth(glyph), `glyph width mismatch for ${JSON.stringify(glyph)}`);
+		}
+	});
+});