@armadra/agent 0.2.1 → 0.4.0

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} 行输出`);
+    }
+}

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

@@ -1,20 +1,26 @@
 /**
- * 工具调用显示（设计 §12.5）。[B7]
+ * 工具调用显示（设计 §12.5；终端界面视觉设计 v1 §3.5）。[B7]
  *
- * - 一行标题 `● bash  git status`：圆点运行中为强调色，成功绿、失败红；摘要取最能代表这次调用的参数
- *   （bash 命令、文件路径、搜索模式、task 描述……），路径相对会话 cwd。
- * - 折叠（缺省）：结果前 3 行 + 剩余行数；`edit` 显示 `details.diff`（+/− 着色，前 12 行）；
- *   `bash` 运行中流式显示尾部 8 行；错误红色。`Ctrl+O` 展开全部（上限 400 行）。
- * - 嵌套：带 `parentToolCallId` 的调用（codemode 脚本里的 `tools.*`，B10）挂在外层调用下；折叠时只列
- *   内层调用的标题（最近 5 个），展开时完整显示。
+ * 三级层级，用缩进表达：
+ * ```
+ * ⏺ read src/tui/tui.ts:1+120          第 0 列：⏺（运行中 accent、成功 success、失败 error）+ 工具名 + 摘要
+ *   ⎿ 读取 120 行                       第 2 列：⎿ + 一行结果摘要（tool-summary.ts）
+ *          1  /**                        第 4 列：输出正文
+ *     … 另 117 行（Ctrl+O 展开）
+ * ```
+ * - 运行中摘要行 `⎿ ⠋ 运行中 · 4s`：spinner 与底部 Loader 同帧（ToolTracker.tick 由 Loader.onFrame 驱动），
+ *   标题行不变；bash 流式显示尾部 8 行（muted）。task 显示 `子 Agent · 运行中 1m05s`。
+ * - 折叠（缺省）：结果前 3 行；edit 显示 `details.diff`（`@@` dim、`+` success、`-` error、上下文 muted，
+ *   宽 ≥ 60 时带行号列），前 12 行；`Ctrl+O` 展开全部（上限 400 行，长行折行）。
+ * - 嵌套：带 `parentToolCallId` 的调用（codemode 脚本里的 `tools.*`）挂在外层调用下、右移 4 列；折叠时只列
+ *   最近 5 个内层调用的标题与摘要行，展开时完整显示。
  * - 工具输出先去掉 ANSI 与控制字符、Tab 换成空格，避免打乱布局。
- * - 自定义渲染（W3-B9a-2，`ToolDefinition.renderCall / renderResult`）：`getTool` 能取到定义时，标题摘要
- *   优先取 `renderCall(input, width)` 的第一行（codemode 显示脚本首行）；成功的结果优先用
- *   `renderResult(result, width, expanded)`（去控制字符、按宽截断、上限 400 行）；自定义渲染抛错或返回
- *   空时回到缺省显示；错误结果始终用缺省的红色显示。
+ * - 自定义渲染（`ToolDefinition.renderCall / renderResult`）：标题摘要优先取 `renderCall` 第一行；成功的结果
+ *   正文优先用 `renderResult`；抛错或返回空时回到缺省显示；错误结果始终用缺省显示。
  */
 import type { ToolDefinition, ToolResult } from "../../tools/types.js";
 import { type Component, type Theme } from "../../tui.js";
+export { cleanLines, toolSummary } from "./tool-summary.js";
 export declare const COLLAPSED_RESULT_LINES = 3;
 export declare const COLLAPSED_DIFF_LINES = 12;
 export declare const BASH_TAIL_LINES = 8;
@@ -26,11 +32,11 @@ export interface ToolViewOptions {
     cwd?: string;
     /** 取工具定义（自定义渲染用）；缺省或取不到时用内置摘要与结果显示。 */
     getTool?(name: string): ToolDefinition | undefined;
+    /** 计时（耗时与运行中秒数）；缺省 Date.now。 */
+    now?(): number;
+    /** 运行中摘要行的 spinner 帧（与 Loader 同帧）；缺省静态字形。 */
+    spinner?(): string;
 }
-/** 工具输出 → 可安全显示的行。 */
-export declare function cleanLines(text: string): string[];
-/** 标题行里的参数摘要。 */
-export declare function toolSummary(name: string, args: unknown, cwd?: string): string;
 export declare class ToolView implements Component {
     readonly toolCallId: string;
     readonly toolName: string;
@@ -43,9 +49,16 @@ export declare class ToolView implements Component {
     private readonly nested;
     private cache;
     private version;
+    private startedAt;
+    /** 审批对话框打开时还没开始执行（摘要行显示「等待确认」，关闭后重新计时）。 */
+    private awaiting;
+    private elapsedMs;
+    /** 重放的历史调用（没有真实耗时）。 */
+    replayed: boolean;
     /** 外层调用（嵌套时）：子视图变化要让外层缓存失效。 */
     private parent;
     constructor(toolCallId: string, toolName: string, args: unknown, options: ToolViewOptions);
+    private now;
     get isRunning(): boolean;
     get isExpanded(): boolean;
     get children(): readonly ToolView[];
@@ -54,18 +67,32 @@ export declare class ToolView implements Component {
     update(partial: string): void;
     finish(result: ToolResult, isError: boolean): void;
     addNested(child: ToolView): void;
+    /** 审批打开 / 关闭：还没有输出的运行中调用显示「等待确认」，关闭后从此刻重新计时。 */
+    setAwaiting(awaiting: boolean): void;
+    /** spinner 换帧 / 秒数变化：运行中的视图重画摘要行。 */
+    tick(): void;
     private touch;
     invalidate(): void;
     render(width: number): string[];
     header(width: number): string;
+    /** `  ⎿ 摘要`：运行中带 spinner 与秒数，完成后是结果摘要。 */
+    summaryLine(width: number): string | undefined;
     private custom;
     /** `renderCall` 的第一行（去控制字符、折叠空白）；没有或为空时 undefined。 */
     private customCall;
     /** 成功结果的 `renderResult` 行；没有或为空时 undefined。 */
     private customResult;
+    /** 完成后的结果正文（已清洗）：bash 取 `details.output`。 */
+    private resultLines;
     private indent;
     private more;
+    private nestedLines;
     private body;
+    /** read：行号右对齐（按最长行号，至少 3 位）dim，与正文隔两格。 */
+    private readLines;
+    /** grep：路径正文色，`:行号:` dim，命中片段 muted。 */
+    private grepLines;
+    private diffLines;
 }
 /** 按 toolCallId 管理视图与嵌套；`Ctrl+O` 的全局展开状态也在这里。 */
 export declare class ToolTracker {
@@ -75,6 +102,8 @@ export declare class ToolTracker {
     constructor(options: ToolViewOptions);
     get isExpanded(): boolean;
     get(toolCallId: string): ToolView | undefined;
+    /** 运行中的调用数（Loader 动词用）。 */
+    running(): ToolView[];
     /** 新调用；返回视图与它是否是顶层（顶层由调用方加进消息区）。 */
     start(event: {
         toolCallId: string;
@@ -87,6 +116,10 @@ export declare class ToolTracker {
     };
     update(toolCallId: string, partial: string): void;
     end(toolCallId: string, result: ToolResult, isError: boolean): void;
+    /** 审批对话框打开 / 关闭（见 ToolView.setAwaiting）。 */
+    setAwaiting(awaiting: boolean): void;
+    /** Loader 换帧：运行中的视图重画摘要行。 */
+    tick(): void;
     /** 已完成的调用（重放历史）。 */
     completed(toolCallId: string, toolName: string, args: unknown, result: ToolResult | undefined, isError: boolean): ToolView;
     /** Ctrl+O：切换全部调用的展开状态。 */