@armadra/agent 0.3.0 → 0.5.0

package/dist/modes/interactive/subagent-view.js

@@ -0,0 +1,154 @@
+/**
+ * 消息区的子 Agent 折叠视图（docs/wave5-plan.md §7.5）。[W5-U]
+ *
+ * 消费 `subagent_start / update / end`，按 taskId 记下类型、状态、轮数、最近 3 个工具与用量；task 工具行
+ * （tool-view.ts）据 `parentToolCallId` 取来显示一行：
+ *
+ * ```
+ * ⏺ task 检查 src/tui 的测试覆盖缺口
+ *   ⎿ ⠋ explore · 运行中 1m05s · 3 轮 · read grep bash · ↑12k ↓3.4k
+ * ```
+ *
+ * 后台任务的工具调用立即返回，工具行下面多一行跟随状态（`↳ t2 explore · 完成 · 7 轮 …`，运行中每秒刷新）；
+ * 完成后父会话收到的 `<task-notification>` 只显示一行（`notificationSummary`），失败 / 停止另有一行提示。
+ * 外部 runner（claude / codex）同一组事件，用量可能缺。
+ */
+import { formatElapsed } from "../../tui.js";
+import { formatTokenCount } from "../session-report.js";
+import { taskStatusText } from "./tasks-report.js";
+export const RECENT_TOOLS = 3;
+export class SubagentTracker {
+    now;
+    tasks = new Map();
+    byCall = new Map();
+    constructor(now = Date.now) {
+        this.now = now;
+    }
+    /** 子 Agent 事件：更新状态并返回它；其它事件返回 undefined。 */
+    onEvent(event) {
+        switch (event.type) {
+            case "subagent_start": {
+                const previous = this.tasks.get(event.taskId);
+                const state = {
+                    taskId: event.taskId,
+                    parentToolCallId: event.parentToolCallId,
+                    agent: event.agent,
+                    runner: event.runner,
+                    background: event.background,
+                    status: "running",
+                    // 续聊（同一 taskId 再次 start）沿用轮数与工具
+                    turns: previous?.turns ?? 0,
+                    tools: previous?.tools ?? [],
+                    startedAt: this.now(),
+                };
+                this.tasks.set(event.taskId, state);
+                this.byCall.set(event.parentToolCallId, event.taskId);
+                return state;
+            }
+            case "subagent_update": {
+                const state = this.tasks.get(event.taskId);
+                if (state === undefined)
+                    return undefined;
+                if (event.turn > state.turns)
+                    state.turns = event.turn;
+                if (event.usage !== undefined)
+                    state.usage = event.usage;
+                if (event.kind === "tool" && event.toolName !== undefined) {
+                    state.tools.push(event.toolName);
+                    if (state.tools.length > RECENT_TOOLS)
+                        state.tools.splice(0, state.tools.length - RECENT_TOOLS);
+                }
+                return state;
+            }
+            case "subagent_end": {
+                const state = this.tasks.get(event.taskId);
+                if (state === undefined)
+                    return undefined;
+                state.status = event.status;
+                state.endedAt = this.now();
+                if (event.usage !== undefined)
+                    state.usage = event.usage;
+                return state;
+            }
+            default:
+                return undefined;
+        }
+    }
+    /** 运行中的任务。 */
+    running() {
+        return [...this.tasks.values()].filter((state) => state.status === "running");
+    }
+    get(taskId) {
+        return this.tasks.get(taskId);
+    }
+    /** task 工具调用对应的子 Agent（续聊时是同一 taskId）。 */
+    forToolCall(toolCallId) {
+        const taskId = this.byCall.get(toolCallId);
+        return taskId === undefined ? undefined : this.tasks.get(taskId);
+    }
+    clear() {
+        this.tasks.clear();
+        this.byCall.clear();
+    }
+}
+/** `explore · 运行中 1m05s · 3 轮 · read grep bash · ↑12k ↓3.4k`（已着色：类型 tool 色，其余 muted）。 */
+export function subagentLine(state, theme, now) {
+    const g = theme.glyphs;
+    const end = state.endedAt ?? now;
+    const elapsed = formatElapsed(end - state.startedAt);
+    const status = state.status === "running" ? `运行中 ${elapsed}` : `${taskStatusText(state.status)} ${elapsed}`;
+    const facts = [status];
+    if (state.turns > 0)
+        facts.push(`${state.turns} 轮`);
+    if (state.tools.length > 0)
+        facts.push(state.tools.join(" "));
+    const usage = state.usage;
+    if (usage !== undefined && usage.input + usage.output + usage.cacheRead > 0) {
+        const input = usage.input + usage.cacheRead + usage.cacheWrite;
+        facts.push(`${g.arrowUp}${formatTokenCount(input)} ${g.arrowDown}${formatTokenCount(usage.output)}`);
+    }
+    const color = state.status === "running" || state.status === "completed"
+        ? "muted"
+        : state.status === "failed"
+            ? "error"
+            : "warning";
+    const agent = state.runner !== "ama" && state.runner !== state.agent
+        ? `${state.agent}（${state.runner}）`
+        : state.agent;
+    return theme.fg("tool", agent) + theme.fg("dim", " · ") + theme.fg(color, facts.join(" · "));
+}
+/** 后台任务结束的一行提示。 */
+export function backgroundEndText(state) {
+    const turns = state.turns > 0 ? ` · ${state.turns} 轮` : "";
+    return `后台任务 ${state.taskId}（${state.agent}）${taskStatusText(state.status)}${turns} · /tasks 查看输出`;
+}
+/**
+ * 父会话收到的 `<task-notification …>`（origin `task` 的用户消息）在消息区只显示一行：
+ * `t1 explore 完成 · 7 轮 · /tasks 查看输出`；不是通知格式返回 undefined。
+ */
+export function notificationSummary(text) {
+    const head = /^<task-notification\s+([^>]*)>/.exec(text.trimStart());
+    if (head === null)
+        return undefined;
+    const attrs = new Map();
+    for (const m of (head[1] ?? "").matchAll(/(\w+)="([^"]*)"/g))
+        attrs.set(m[1], m[2]);
+    const taskId = attrs.get("taskId") ?? "?";
+    const status = attrs.get("status");
+    const parts = [
+        `${taskId} ${attrs.get("agent") ?? ""}`.trim() +
+            ` ${status !== undefined && status in STATUS_KEYS ? taskStatusText(status) : (status ?? "")}`,
+    ];
+    const turns = attrs.get("turns");
+    if (turns !== undefined)
+        parts.push(`${turns} 轮`);
+    parts.push("/tasks 查看输出");
+    return parts.join(" · ");
+}
+const STATUS_KEYS = {
+    completed: true,
+    failed: true,
+    aborted: true,
+    max_turns: true,
+    interrupted: true,
+};

package/dist/modes/interactive/tasks-report.d.ts

@@ -0,0 +1,27 @@
+/**
+ * `/tasks`、`/agents` 的数据与文本（line 模式与交互模式共用）。[W5-U]
+ *
+ * - 任务：`taskRegistryView(sessionId).list()`（子 Agent 注册表，W5-G）；全文 `registryOf(sessionId).output()`；
+ *   停止 `registryOf(sessionId).stop()`。
+ * - 类型：`cachedAgentInfos(sessionId) ?? sessionAgents(sessionId)`（外部 Agent 带安装状态与版本，W5-EG）。
+ */
+import type { AgentInfo } from "../../agents/types.js";
+import type { SubagentStatus, TaskInfo } from "../../tools/types.js";
+export declare function taskStatusText(status: SubagentStatus | "running"): string;
+export declare function listTasks(sessionId: string): readonly TaskInfo[];
+export declare function listAgents(sessionId: string): AgentInfo[];
+/** 运行中是已有输出，结束后是最终文本。 */
+export declare function taskOutput(sessionId: string, taskId: string): string | undefined;
+export declare function stopTask(sessionId: string, taskId: string): Promise<void>;
+/** 任务一行的各字段（状态、耗时、轮数、用量、费用）。 */
+export declare function taskFacts(task: TaskInfo, now: number): string[];
+/** `t1  explore · 运行中 · 1m05s · 7 轮 · 描述` */
+export declare function taskLine(task: TaskInfo, now: number): string;
+/** `/tasks` 的纯文本（line 模式）。 */
+export declare function describeTasks(sessionId: string, now: number): string;
+/** 一个任务的输出全文（line 模式 `/tasks <id>`）。 */
+export declare function describeTaskOutput(sessionId: string, taskId: string, now: number): string;
+/** 类型一行的状态：外部 Agent 写安装与版本。 */
+export declare function agentFacts(agent: AgentInfo): string[];
+/** `/agents` 的纯文本（line 模式）。 */
+export declare function describeAgents(sessionId: string): string;

package/dist/modes/interactive/tasks-report.js

@@ -0,0 +1,114 @@
+/**
+ * `/tasks`、`/agents` 的数据与文本（line 模式与交互模式共用）。[W5-U]
+ *
+ * - 任务：`taskRegistryView(sessionId).list()`（子 Agent 注册表，W5-G）；全文 `registryOf(sessionId).output()`；
+ *   停止 `registryOf(sessionId).stop()`。
+ * - 类型：`cachedAgentInfos(sessionId) ?? sessionAgents(sessionId)`（外部 Agent 带安装状态与版本，W5-EG）。
+ */
+import { cachedAgentInfos } from "../../agents/external.js";
+import { registryOf, sessionAgents, taskRegistryView } from "../../agent/subagent-registry.js";
+import { formatTokenCount, formatUsd } from "../session-report.js";
+import { formatDuration } from "./tool-summary.js";
+const STATUS = {
+    running: "运行中",
+    completed: "完成",
+    failed: "失败",
+    aborted: "已停止",
+    max_turns: "轮数耗尽",
+    interrupted: "已中断",
+};
+export function taskStatusText(status) {
+    return STATUS[status];
+}
+export function listTasks(sessionId) {
+    return taskRegistryView(sessionId)?.list() ?? [];
+}
+export function listAgents(sessionId) {
+    return cachedAgentInfos(sessionId) ?? sessionAgents(sessionId);
+}
+/** 运行中是已有输出，结束后是最终文本。 */
+export function taskOutput(sessionId, taskId) {
+    return registryOf(sessionId)?.output(taskId);
+}
+export async function stopTask(sessionId, taskId) {
+    const registry = registryOf(sessionId);
+    if (registry === undefined)
+        return;
+    await registry.stop(taskId);
+}
+/** 任务一行的各字段（状态、耗时、轮数、用量、费用）。 */
+export function taskFacts(task, now) {
+    const end = task.endedAt ?? now;
+    const facts = [taskStatusText(task.status), formatDuration(end - task.startedAt)];
+    if (task.turns !== undefined && task.turns > 0)
+        facts.push(`${task.turns} 轮`);
+    const usage = task.usage;
+    if (usage !== undefined && usage.input + usage.output + usage.cacheRead > 0)
+        facts.push(`↑${formatTokenCount(usage.input + usage.cacheRead + usage.cacheWrite)} ↓${formatTokenCount(usage.output)}`);
+    if (task.costUsd !== undefined && task.costUsd > 0)
+        facts.push(formatUsd(task.costUsd));
+    return facts;
+}
+function oneLine(text, max = 60) {
+    const flat = text.replace(/\s+/g, " ").trim();
+    return flat.length > max ? `${flat.slice(0, max - 1)}…` : flat;
+}
+/** `t1  explore · 运行中 · 1m05s · 7 轮 · 描述` */
+export function taskLine(task, now) {
+    const agent = task.runner !== "ama" && task.runner !== task.agent
+        ? `${task.agent}（${task.runner}）`
+        : task.agent;
+    const parts = [agent, ...taskFacts(task, now)];
+    if (task.background)
+        parts.push("后台");
+    const description = oneLine(task.description);
+    return `${task.taskId}  ${parts.join(" · ")}${description !== "" ? `  ${description}` : ""}`;
+}
+/** `/tasks` 的纯文本（line 模式）。 */
+export function describeTasks(sessionId, now) {
+    const tasks = listTasks(sessionId);
+    if (tasks.length === 0)
+        return "还没有子 Agent 任务";
+    return [
+        `子 Agent 任务（${tasks.length}）：`,
+        ...tasks.map((task) => `  ${taskLine(task, now)}`),
+        "/tasks <id> 查看输出 · /tasks stop <id> 停止",
+    ].join("\n");
+}
+/** 一个任务的输出全文（line 模式 `/tasks <id>`）。 */
+export function describeTaskOutput(sessionId, taskId, now) {
+    const task = taskRegistryView(sessionId)?.get(taskId);
+    if (task === undefined)
+        return `没有任务 ${taskId}`;
+    const output = taskOutput(sessionId, taskId) ?? "";
+    const file = task.outputFile !== undefined ? `\n全文：${task.outputFile}` : "";
+    return `${taskLine(task, now)}${file}\n${output.trim() === "" ? "（还没有输出）" : output.trimEnd()}`;
+}
+const SOURCE = {
+    builtin: "内置",
+    cli: "命令行",
+    profile: "profile",
+    user: "用户",
+    project: "项目",
+    host: "宿主",
+};
+/** 类型一行的状态：外部 Agent 写安装与版本。 */
+export function agentFacts(agent) {
+    const facts = [agent.runner, SOURCE[agent.source] ?? agent.source];
+    if (agent.installed === false)
+        facts.push("未安装");
+    else if (agent.installed === true)
+        facts.push(agent.version !== undefined ? `已安装 ${agent.version}` : "已安装");
+    return facts;
+}
+/** `/agents` 的纯文本（line 模式）。 */
+export function describeAgents(sessionId) {
+    const agents = listAgents(sessionId);
+    if (agents.length === 0)
+        return "当前会话没有子 Agent（task 工具未启用）";
+    const width = Math.max(...agents.map((a) => a.name.length));
+    return [
+        `子 Agent 类型（${agents.length}）：`,
+        ...agents.map((a) => `  ${a.name.padEnd(width)}  ${agentFacts(a).join(" · ")}  ${oneLine(a.description)}`),
+    ].join("\n");
+}

package/dist/modes/interactive/tool-summary.d.ts

@@ -0,0 +1,46 @@
+/**
+ * 工具调用的文字摘要（终端界面视觉设计 v1 §3.5）：标题行的参数摘要、`⎿` 后的一行结果摘要、
+ * 统一 diff 解析与输出清洗。纯函数，ToolView 负责排版与着色之外的状态。
+ *
+ * 结果摘要（完成后）：
+ * - read `读取 N 行`（图片 `图片 mime`、空文件 `空文件`）；edit `N 处修改 · +a −b`；write `新建 / 覆盖 · N 行`；
+ * - bash `退出 c · 耗时 · N 行`（超时 `超时 · 耗时`、中断 `已中断 · 耗时`）；
+ * - grep `N 处匹配 · M 个文件`；glob `N 个文件`；codemode `N 个内层调用 · 脚本输出 M 行`；
+ * - task `完成 · 耗时 · ↑in ↓out`；其它 `N 行输出`；失败（非 bash）取错误首行。
+ */
+import type { ToolResult } from "../../tools/types.js";
+import { type Theme } from "../../tui.js";
+/** 工具输出 → 可安全显示的行。 */
+export declare function cleanLines(text: string): string[];
+export declare function flat(text: string, max?: number): string;
+export declare function displayPath(path: string, cwd: string | undefined): string;
+/** 标题行里的参数摘要。 */
+export declare function toolSummary(name: string, args: unknown, cwd?: string): string;
+/** 完成耗时：< 10s 一位小数（`2.1s`），< 60s 整秒，再长 `1m05s`。 */
+export declare function formatDuration(ms: number): string;
+export interface DiffRow {
+    kind: "hunk" | "add" | "del" | "ctx";
+    /** 原行（含 `+` / `-` / ` ` 前缀）。 */
+    text: string;
+    /** 行号：删除行取旧号，其余取新号；hunk 行没有。 */
+    num?: number;
+}
+/** 统一 diff → 行（去掉 `---` / `+++` 文件头），带行号。 */
+export declare function parseDiff(diff: string): DiffRow[];
+export declare function diffOf(result: ToolResult | undefined): string | undefined;
+/** bash 完成后的正文：优先 `details.output`（不含退出码等附注）。 */
+export declare function bashOutput(result: ToolResult): string | undefined;
+export interface SummaryInput {
+    name: string;
+    args: unknown;
+    result: ToolResult;
+    isError: boolean;
+    /** 结果正文（已清洗）。 */
+    lines: readonly string[];
+    /** 完成耗时（ms）；重放的历史调用没有，bash 取 `details.wall_time_seconds`。 */
+    elapsedMs: number | undefined;
+    /** 已显示的内层调用数（codemode 没有 details 时用）。 */
+    nestedCount?: number;
+}
+/** 完成后的一行结果摘要（已着色，不含 `⎿`）。 */
+export declare function resultSummary(input: SummaryInput, theme: Theme): string;

package/dist/modes/interactive/tool-summary.js

@@ -0,0 +1,218 @@
+/**
+ * 工具调用的文字摘要（终端界面视觉设计 v1 §3.5）：标题行的参数摘要、`⎿` 后的一行结果摘要、
+ * 统一 diff 解析与输出清洗。纯函数，ToolView 负责排版与着色之外的状态。
+ *
+ * 结果摘要（完成后）：
+ * - read `读取 N 行`（图片 `图片 mime`、空文件 `空文件`）；edit `N 处修改 · +a −b`；write `新建 / 覆盖 · N 行`；
+ * - bash `退出 c · 耗时 · N 行`（超时 `超时 · 耗时`、中断 `已中断 · 耗时`）；
+ * - grep `N 处匹配 · M 个文件`；glob `N 个文件`；codemode `N 个内层调用 · 脚本输出 M 行`；
+ * - task `完成 · 耗时 · ↑in ↓out`；其它 `N 行输出`；失败（非 bash）取错误首行。
+ */
+import { isAbsolute, relative } from "node:path";
+import { stripAnsi } from "../../tui.js";
+import { formatTokens } from "./status-bar.js";
+/** 工具输出 → 可安全显示的行。 */
+export function cleanLines(text) {
+    const clean = stripAnsi(text)
+        .replace(/\r\n?/g, "\n")
+        .replace(/\t/g, "    ")
+        .replace(/[\x00-\x08\x0b-\x1f\x7f]/g, "");
+    const lines = clean.split("\n");
+    while (lines.length > 0 && lines[lines.length - 1].trim() === "")
+        lines.pop();
+    return lines;
+}
+export function flat(text, max = 120) {
+    const one = text.replace(/\s*\n\s*/g, " ⏎ ").trim();
+    return one.length > max ? `${one.slice(0, max - 1)}…` : one;
+}
+export function displayPath(path, cwd) {
+    if (cwd === undefined || !isAbsolute(path))
+        return path;
+    const rel = relative(cwd, path);
+    return rel === "" ? "." : rel.startsWith("..") || isAbsolute(rel) ? path : rel;
+}
+/** 标题行里的参数摘要。 */
+export function toolSummary(name, args, cwd) {
+    if (typeof args !== "object" || args === null)
+        return "";
+    const a = args;
+    const str = (key) => typeof a[key] === "string" && a[key] !== "" ? a[key] : undefined;
+    const path = str("path") ?? str("file_path");
+    switch (name) {
+        case "bash":
+            return flat(str("command") ?? "");
+        case "read": {
+            if (path === undefined)
+                return "";
+            const offset = typeof a["offset"] === "number" ? a["offset"] : undefined;
+            const limit = typeof a["limit"] === "number" ? a["limit"] : undefined;
+            const range = offset !== undefined || limit !== undefined
+                ? `:${offset ?? 1}${limit !== undefined ? `+${limit}` : ""}`
+                : "";
+            return displayPath(path, cwd) + range;
+        }
+        case "grep":
+        case "glob": {
+            const pattern = str("pattern") ?? "";
+            return path !== undefined ? `${flat(pattern)} in ${displayPath(path, cwd)}` : flat(pattern);
+        }
+        case "task":
+            return flat(str("description") ?? str("prompt") ?? "");
+        default:
+            if (path !== undefined)
+                return displayPath(path, cwd);
+            for (const key of [
+                "command",
+                "pattern",
+                "description",
+                "query",
+                "url",
+                "name",
+                "code",
+                "script",
+            ]) {
+                const value = str(key);
+                if (value !== undefined)
+                    return flat(value);
+            }
+            return "";
+    }
+}
+/** 完成耗时：< 10s 一位小数（`2.1s`），< 60s 整秒，再长 `1m05s`。 */
+export function formatDuration(ms) {
+    const s = Math.max(0, ms) / 1000;
+    if (s < 10)
+        return `${s.toFixed(1)}s`;
+    if (s < 60)
+        return `${Math.floor(s)}s`;
+    const total = Math.floor(s);
+    return `${Math.floor(total / 60)}m${String(total % 60).padStart(2, "0")}s`;
+}
+/** 统一 diff → 行（去掉 `---` / `+++` 文件头），带行号。 */
+export function parseDiff(diff) {
+    const rows = [];
+    let oldNo = 0;
+    let newNo = 0;
+    for (const line of cleanLines(diff)) {
+        if (line.startsWith("---") || line.startsWith("+++"))
+            continue;
+        const hunk = /^@@ -(\d+)(?:,\d+)? \+(\d+)(?:,\d+)? @@/.exec(line);
+        if (hunk) {
+            oldNo = Number(hunk[1]);
+            newNo = Number(hunk[2]);
+            rows.push({ kind: "hunk", text: line });
+        }
+        else if (line.startsWith("+"))
+            rows.push({ kind: "add", text: line, num: newNo++ });
+        else if (line.startsWith("-"))
+            rows.push({ kind: "del", text: line, num: oldNo++ });
+        else if (line.startsWith("@@"))
+            rows.push({ kind: "hunk", text: line });
+        else {
+            rows.push({ kind: "ctx", text: line, num: newNo });
+            oldNo++;
+            newNo++;
+        }
+    }
+    return rows;
+}
+function record(value) {
+    return typeof value === "object" && value !== null ? value : {};
+}
+function num(value) {
+    return typeof value === "number" && Number.isFinite(value) ? value : undefined;
+}
+export function diffOf(result) {
+    const diff = record(result?.details)["diff"];
+    return typeof diff === "string" && diff !== "" ? diff : undefined;
+}
+/** bash 完成后的正文：优先 `details.output`（不含退出码等附注）。 */
+export function bashOutput(result) {
+    const output = record(result.details)["output"];
+    return typeof output === "string" ? output : undefined;
+}
+/** 完成后的一行结果摘要（已着色，不含 `⎿`）。 */
+export function resultSummary(input, theme) {
+    const { name, result, isError, lines } = input;
+    const details = record(result.details);
+    const muted = (s) => theme.fg("muted", s);
+    const sep = theme.fg("dim", " · ");
+    const wall = num(details["wall_time_seconds"]);
+    const elapsed = input.elapsedMs ?? (wall !== undefined ? wall * 1000 : 0);
+    const duration = formatDuration(elapsed);
+    const count = lines.length;
+    if (name === "bash") {
+        const code = num(details["exit_code"]) ?? (isError ? 1 : 0);
+        const total = num(details["totalLines"]) ?? count;
+        const head = details["aborted"] === true
+            ? "已中断"
+            : details["timedOut"] === true
+                ? "超时"
+                : `退出 ${code}`;
+        const parts = [head, duration, ...(total > 0 ? [`${total} 行`] : [])];
+        const text = parts.join(" · ");
+        return isError || code !== 0 ? theme.fg("error", text) : parts.map(muted).join(sep);
+    }
+    if (isError)
+        return theme.fg("error", `${theme.glyphs.fail} ${lines[0] ?? "失败"}`);
+    switch (name) {
+        case "read": {
+            const mime = details["mimeType"];
+            if (typeof mime === "string")
+                return muted(`图片 ${mime}`);
+            const first = num(details["firstLine"]);
+            const last = num(details["lastLine"]);
+            if (num(details["totalLines"]) === 0)
+                return muted("空文件");
+            const n = first !== undefined && last !== undefined ? last - first + 1 : count;
+            return muted(`读取 ${n} 行`);
+        }
+        case "edit": {
+            const rows = parseDiff(diffOf(result) ?? "");
+            const add = rows.filter((r) => r.kind === "add").length;
+            const del = rows.filter((r) => r.kind === "del").length;
+            const edits = record(input.args)["edits"];
+            const n = num(details["replacements"]) ?? (Array.isArray(edits) ? edits.length : 1);
+            return (muted(`${n} 处修改`) +
+                sep +
+                theme.fg("success", `+${add}`) +
+                " " +
+                theme.fg("error", `−${del}`));
+        }
+        case "write": {
+            const content = record(input.args)["content"];
+            const n = typeof content === "string" ? cleanLines(content).length : 0;
+            return muted(`${details["created"] === true ? "新建" : "覆盖"} · ${n} 行`);
+        }
+        case "grep": {
+            const matches = num(details["matches"]);
+            if (matches === 0)
+                return muted("无匹配");
+            if (matches === undefined)
+                return muted(`${count} 行`);
+            return muted(`${matches} 处匹配 · ${num(details["files"]) ?? "?"} 个文件`);
+        }
+        case "glob": {
+            const n = num(details["count"]);
+            return muted(n === 0 ? "无匹配" : `${n ?? count} 个文件`);
+        }
+        case "codemode": {
+            const calls = num(details["toolCalls"]) ?? input.nestedCount ?? 0;
+            return muted(`${calls} 个内层调用 · 脚本输出 ${count} 行`);
+        }
+        case "task": {
+            const usage = record(details["usage"]);
+            const input_ = num(usage["input"]);
+            const output = num(usage["output"]);
+            const tokens = input_ !== undefined && output !== undefined
+                ? [
+                    `${theme.glyphs.arrowUp}${formatTokens(input_)} ${theme.glyphs.arrowDown}${formatTokens(output)}`,
+                ]
+                : [];
+            return muted(["完成", duration, ...tokens].join(" · "));
+        }
+        default:
+            return muted(count === 0 ? "完成" : `${count} 行输出`);
+    }
+}