neoctl 0.2.46 → 0.2.48

package/dist/web/index.js

@@ -1,4 +1,7 @@
 #!/usr/bin/env node
+import { applyToolInputChanges } from "../model/tool-input-stream.js";
+import { toolActivity } from "./tool-activity.js";
+import { toolObservationResult } from "./tool-observation-result.js";
 import { DemoMode, DEMO_MARKER, DEMO_PROMPT } from "./demo-mode.js";
 import { DemoTools } from "./demo-tools.js";
 import { createTextMessage } from "../types/messages.js";
@@ -224,6 +227,7 @@ export async function createWebRuntime(options = {}) {
         taskNotificationSource: createTaskNotificationSource(taskStore),
         commands: replCommandDefinitions.map((command) => command.usage),
         plugins: [...(options.plugins ?? []), ...activePlugins.map((plugin) => plugin.id)],
+        workspacePaths: options.workspacePaths,
         cwdTransitionPaths: options.cwdTransitionPaths,
         onCwdTransitionConsumed: options.onCwdTransitionConsumed,
         session: {
@@ -562,6 +566,7 @@ export class WebRepl {
     lineId = 0;
     assistantLineId;
     thinkingLineId;
+    previousTurnToolId;
     finalizedThinkingLineId;
     liveToolLineIds = new Map();
     activeAbortController;
@@ -723,7 +728,7 @@ export class WebRepl {
             redact: value => this.runtime.engine.redactDisplayValue(value),
         }, request);
     }
-    terminalOutput(sessionId, runId, stream, offset, limitBytes) {
+    terminalOutput(sessionId, runId, stream, offset, limitBytes, tail = false) {
         const session = this.runtime.engine.snapshot().session;
         if (!session?.sessionDir || !sessionId || sessionId !== session.sessionId || !runId || !["stdout", "stderr"].includes(stream))
             return undefined;
@@ -733,7 +738,7 @@ export class WebRepl {
         const registered = manager.registerOwnerSession(sessionId, session.sessionDir);
         if (!registered.ok)
             return undefined;
-        const page = manager.readOutput(sessionId, runId, { stream: stream, offset, limitBytes });
+        const page = manager.readOutput(sessionId, runId, { stream: stream, offset, limitBytes, tail });
         // Cursor addresses stored bytes, not the possibly additionally redacted response length.
         return page.ok ? this.runtime.engine.redactDisplayValue({ sessionId, runId, ...page.value }) : undefined;
     }
@@ -1138,6 +1143,7 @@ export class WebRepl {
         this.runtime.usage.reset();
         this.status = initialStatus(this.runtime, metrics);
         const lineId = { current: 0 };
+        this.previousTurnToolId = undefined;
         this.lines = initialLines(this.runtime, lineId);
         this.lineId = lineId.current;
         this.assistantLineId = undefined;
@@ -1317,6 +1323,9 @@ export class WebRepl {
             return actionFailure("COMPACTION_IN_PROGRESS", "Context compaction is already running");
         const showProgress = !this.busy;
         const runToken = this.foregroundRunToken;
+        const controller = showProgress ? new AbortController() : undefined;
+        if (controller)
+            this.activeAbortController = controller;
         let finishForeground;
         const foreground = showProgress ? new Promise(resolve => { finishForeground = resolve; }) : undefined;
         if (foreground)
@@ -1328,7 +1337,7 @@ export class WebRepl {
         }
         try {
             // An idle click executes now through the settings barrier, not the chat/input queue.
-            const result = await engine.updateSessionSettings({ compact: true });
+            const result = await engine.updateSessionSettings({ compact: true }, { abortSignal: controller?.signal });
             if (this.runtime.engine === engine && this.foregroundRunToken === runToken) {
                 if (result.compaction?.report)
                     this.appendCompaction(result.compaction.report);
@@ -1342,6 +1351,8 @@ export class WebRepl {
             return actionFailure("COMPACTION_FAILED", error instanceof Error ? error.message : String(error));
         }
         finally {
+            if (controller && this.activeAbortController === controller)
+                this.activeAbortController = undefined;
             if (this.compactingSession === engine)
                 this.compactingSession = undefined;
             if (this.foregroundRun === foreground)
@@ -1483,6 +1494,10 @@ export class WebRepl {
     append(line, streaming = false) {
         const id = ++this.lineId;
         const nextLine = { id, ...line };
+        if (line.activity && line.toolName && line.toolUseId && !line.image) {
+            nextLine.connectPreviousTool = this.previousTurnToolId !== undefined;
+            this.previousTurnToolId = id;
+        }
         this.lines.push(nextLine);
         if (streaming)
             this.broadcastDelta({ type: "line.append", line: nextLine });
@@ -1505,6 +1520,9 @@ export class WebRepl {
         this.broadcastSync();
     }
     replaceLine(id, patch) {
+        const previous = this.lines.find(line => line.id === id);
+        if (previous?.activity && patch.titleStatus)
+            patch.activity = { ...previous.activity, phase: patch.titleStatus === "success" ? "completed" : "failed" };
         this.lines = this.lines.map((line) => line.id === id ? { ...line, ...patch } : line);
         this.broadcastSync();
     }
@@ -1653,6 +1671,7 @@ export class WebRepl {
             signal: terminal.signal,
             terminationReason: terminal.termination_reason,
             outputAvailability: terminal.output_ref.availability,
+            outputRevision: terminal.output_ref.streams,
         }));
         const sessionTasks = [...this.backgroundSessionRuns.values()].map((run) => ({
             kind: "session",
@@ -1742,6 +1761,12 @@ export class WebRepl {
     finalizeLiveLine(id) {
         if (id === undefined)
             return;
+        const previous = this.lines.find(line => line.id === id);
+        if (previous?.activity && ["generating", "queued", "running"].includes(previous.activity.phase)) {
+            const activity = { ...previous.activity, phase: previous.titleStatus === "success" ? "completed" : previous.titleStatus === "failure" ? "failed" : "interrupted" };
+            this.lines = this.lines.map(line => line.id === id ? { ...line, activity } : line);
+            this.queueDeltaOperation({ type: "line.patch", id, patch: { activity } });
+        }
         this.lines = this.lines.map((line) => line.id === id ? { ...line, live: false } : line);
         this.queueDeltaOperation({ type: "line.patch", id, patch: { live: false } });
     }
@@ -1761,6 +1786,8 @@ export class WebRepl {
     cancelLiveToolLines(reason) {
         for (const id of this.liveToolLineIds.values()) {
             const line = this.lines.find((item) => item.id === id);
+            if (line?.activity)
+                this.patchLiveToolLine(line.toolUseId, { activity: { ...line.activity, phase: "interrupted" } });
             const steps = (line?.toolStream?.steps ?? []).map((step) => step.status === "running" ? { ...step, status: "failed", phase: "cancelled" } : step);
             this.lines = this.lines.map((item) => item.id === id ? { ...item, live: false, kind: "error", titleStatus: "failure", bodyTitle: reason, toolStream: { ...item.toolStream, phase: "cancelled", message: reason, steps } } : item);
             this.queueDeltaOperation({ type: "line.patch", id, patch: { live: false, kind: "error", titleStatus: "failure", bodyTitle: reason, toolStream: { ...line?.toolStream, phase: "cancelled", message: reason, steps } } });
@@ -1861,7 +1888,12 @@ export class WebRepl {
         else {
             stream.message = progress.message;
         }
-        this.patchLiveToolLine(event.toolUse.id, { toolStream: stream });
+        const data = progress.data;
+        const observation = data && typeof data.task_id === "string" && Number.isSafeInteger(data.run_generation)
+            ? { ...line.observation, task_id: data.task_id, run_generation: data.run_generation }
+            : data && typeof data.session_id === "string" && ["terminal.started", "terminal.output.delta"].includes(String(data.type)) && ["terminal_run", "terminal_control"].includes(event.toolUse.name)
+                ? { ...line.observation, session_id: data.session_id, status: "running", command: typeof data.command === "string" ? data.command : line.observation?.command } : line.observation;
+        this.patchLiveToolLine(event.toolUse.id, { toolStream: stream, observation });
     }
     applyAvailableToolResult(event) {
         const liveLineId = this.liveToolLineIds.get(event.toolUse.id);
@@ -1893,19 +1925,28 @@ export class WebRepl {
         }
     }
     handleEvent(event) {
+        // Model lifecycle defines membership only. The frontend owns the fixed
+        // two-second playback and must not be interrupted by the next request.
+        if (event.type === "state" && event.phase === "calling_model")
+            this.previousTurnToolId = undefined;
         this.reduce(event);
         if (event.type === "timing.updated") {
             if (event.timing.kind === "tool") {
                 const line = this.lines.find(item => item.timing?.id === event.timing.id)
                     ?? this.lines.find(item => item.id === this.liveToolLineIds.get(event.timing.toolUseId));
                 if (line) {
-                    this.lines = this.lines.map(item => item.id === line.id ? { ...item, timing: event.timing } : item);
-                    this.queueDeltaOperation({ type: "line.patch", id: line.id, patch: { timing: event.timing } });
+                    const activity = line.activity && event.timing.status === "running" ? { ...line.activity, phase: "running" } : line.activity;
+                    this.lines = this.lines.map(item => item.id === line.id ? { ...item, timing: event.timing, activity } : item);
+                    this.queueDeltaOperation({ type: "line.patch", id: line.id, patch: { timing: event.timing, activity } });
                 }
             }
             this.queueDeltaStatus();
             return;
         }
+        if (event.type === "message" && event.message.metadata?.loadedImages === true && typeof event.message.metadata.sourceToolUseId === "string") {
+            renderObservedImages(event.message, line => this.append(line));
+            return;
+        }
         if (event.type === "message" && this.matchesPendingUserImageEcho(event.message)) {
             const messageId = this.pendingUserImageEchoMessageId;
             this.pendingUserImageEchoIds = undefined;
@@ -1914,7 +1955,35 @@ export class WebRepl {
             this.broadcastSync();
             return;
         }
-        if (event.type === "tool_call.started" || event.type === "tool_call.delta") {
+        if (event.type === "tool_call.started" || event.type === "tool_call.input") {
+            let id = this.liveToolLineIds.get(event.callId);
+            let previous = this.lines.find(line => line.id === id);
+            const name = event.name || previous?.toolName || "tool";
+            if (id === undefined) {
+                const activity = { phase: "generating", input: {} };
+                id = this.append({ ...formatToolUse({ id: event.callId, name, input: {} }), activity, live: true });
+                this.liveToolLineIds.set(event.callId, id);
+                previous = this.lines.find(line => line.id === id);
+            }
+            if (previous?.toolName !== name && name !== "tool")
+                this.patchLiveToolLine(event.callId, { toolName: name, title: toolTitle(name, "running"), toolPresentation: toolPresentationForSource(name) });
+            if (event.type === "tool_call.input") {
+                const activity = { phase: "generating", input: applyToolInputChanges(previous?.activity?.input || {}, event.changes), truncated: event.truncated };
+                this.lines = this.lines.map(line => line.id === id ? { ...line, activity } : line);
+                this.queueDeltaOperation({ type: "line.activity.input", id, changes: event.changes, truncated: event.truncated });
+            }
+            this.queueDeltaStatus();
+            return;
+        }
+        if (event.type === "tool_call.ready") {
+            const patch = { ...formatToolUse(event.toolUse), activity: toolActivity(event.toolUse.input, "queued"), live: true };
+            if (this.liveToolLineIds.has(event.toolUse.id))
+                this.patchLiveToolLine(event.toolUse.id, patch);
+            else
+                this.liveToolLineIds.set(event.toolUse.id, this.append(patch));
+            return;
+        }
+        if (event.type === "tool_call.delta") {
             this.queueDeltaStatus();
             return;
         }
@@ -1926,6 +1995,10 @@ export class WebRepl {
             this.broadcastSync();
             return;
         }
+        if (event.type === "assistant.output.done") {
+            this.queueDeltaStatus();
+            return;
+        }
         if (event.type === "assistant.delta") {
             this.finalizeThinkingLine();
             const id = this.assistantLineId ?? this.append({ kind: "assistant", text: "", live: true }, true);
@@ -2018,8 +2091,12 @@ export class WebRepl {
             this.finalizeLiveLine(this.assistantLineId);
             this.finalizeThinkingLine();
             this.assistantLineId = undefined;
-            const id = this.append({ ...formatToolUse(event.toolUse), live: true });
-            this.liveToolLineIds.set(event.toolUse.id, id);
+            const patch = { ...formatToolUse(event.toolUse), activity: toolActivity(event.toolUse.input, "queued"), live: true };
+            const existing = this.liveToolLineIds.get(event.toolUse.id);
+            if (existing === undefined)
+                this.liveToolLineIds.set(event.toolUse.id, this.append(patch));
+            else
+                this.patchLiveToolLine(event.toolUse.id, patch);
             return;
         }
         if (event.type === "tool.finished") {
@@ -2409,11 +2486,16 @@ export function compactLineOperations(operations) {
             previous.text += operation.text;
             continue;
         }
+        if (operation.type === "line.activity.input" && previous?.type === "line.activity.input" && previous.id === operation.id) {
+            previous.changes.push(...operation.changes);
+            previous.truncated = operation.truncated;
+            continue;
+        }
         if (operation.type === "line.patch" && previous?.type === "line.patch" && previous.id === operation.id) {
             previous.patch = { ...previous.patch, ...operation.patch };
             continue;
         }
-        compacted.push(operation.type === "line.patch" ? { ...operation, patch: { ...operation.patch } } : { ...operation });
+        compacted.push(operation.type === "line.patch" ? { ...operation, patch: { ...operation.patch } } : operation.type === "line.activity.input" ? { ...operation, changes: [...operation.changes] } : { ...operation });
     }
     return compacted;
 }
@@ -2471,7 +2553,7 @@ export async function handleWebRequest(req, res, router) {
         }
         if (req.method === "GET" && url.pathname === "/api/terminal-output") {
             res.setHeader("Cache-Control", "no-store");
-            const page = repl.terminalOutput(url.searchParams.get("sessionId") ?? "", url.searchParams.get("runId") ?? "", url.searchParams.get("stream") ?? "stdout", Number(url.searchParams.get("offset") ?? 0), Number(url.searchParams.get("limitBytes") ?? 65536));
+            const page = repl.terminalOutput(url.searchParams.get("sessionId") ?? "", url.searchParams.get("runId") ?? "", url.searchParams.get("stream") ?? "stdout", Number(url.searchParams.get("offset") ?? 0), Number(url.searchParams.get("limitBytes") ?? 65536), url.searchParams.get("tail") === "true");
             return page ? sendJson(res, page) : sendJson(res, { error: "终端输出不可获取或无权访问" }, 404);
         }
         if (req.method === "GET" && url.pathname === "/api/state")
@@ -2479,6 +2561,15 @@ export async function handleWebRequest(req, res, router) {
         if (req.method === "GET" && url.pathname === "/api/runtime-context")
             return sendJson(res, await repl.runtimeContext());
         const workspaceRepl = repl;
+        if (req.method === "GET" && url.pathname === "/api/cwd/scope") {
+            return sendJson(res, workspaceRepl.workspaceScope?.() ?? actionFailure("CWD_NOT_CONFIGURED", "Workspace scope is not configured"));
+        }
+        if (req.method === "POST" && ["/api/cwd/add", "/api/cwd/remove"].includes(url.pathname)) {
+            const body = await readJsonBody(req);
+            return sendJson(res, workspaceRepl.updateWorkspaceScope
+                ? await workspaceRepl.updateWorkspaceScope(body.path, url.pathname.endsWith("/remove"))
+                : actionFailure("CWD_NOT_CONFIGURED", "Workspace scope is not configured"));
+        }
         if (req.method === "GET" && url.pathname === "/api/cwd") {
             return sendJson(res, workspaceRepl.browseWorkspace
                 ? await workspaceRepl.browseWorkspace(url.searchParams.get("path") ?? undefined)
@@ -2737,7 +2828,7 @@ function restoredHistoryLines(runtime) {
         if (line.toolUseId && line.titleStatus && historyToolLineIndexes.has(line.toolUseId)) {
             const index = historyToolLineIndexes.get(line.toolUseId);
             const started = lines[index];
-            lines[index] = { ...line, presentationLevel: mergePresentationLevel(line.presentationLevel, started.presentationLevel), toolDisplay: mergeToolDisplays(line.toolDisplay, started.toolDisplay) };
+            lines[index] = { ...line, activity: started.activity ? { ...started.activity, phase: line.titleStatus === "success" ? "completed" : "failed" } : undefined, presentationLevel: mergePresentationLevel(line.presentationLevel, started.presentationLevel), toolDisplay: mergeToolDisplays(line.toolDisplay, started.toolDisplay) };
             return index + 1;
         }
         lines.push(line);
@@ -2763,6 +2854,10 @@ function restoredHistoryLines(runtime) {
     }
     for (const [entryIndex, entry] of entries.entries()) {
         if (entry.type === "message") {
+            if (entry.message.metadata?.loadedImages === true && typeof entry.message.metadata.sourceToolUseId === "string") {
+                renderObservedImages(entry.message, append);
+                continue;
+            }
             renderMessage(entry.message, append, undefined, {
                 includeToolUseBlocks: true,
                 includeThinkingBlocks: true,
@@ -2778,6 +2873,8 @@ function restoredHistoryLines(runtime) {
         const matches = line.toolUseId ? toolTimings.get(line.toolUseId) : undefined;
         if (matches?.length === 1)
             line.timing = matches[0];
+        if (line.activity && !line.titleStatus)
+            line.activity = { ...line.activity, phase: "interrupted" };
     }
     return lines;
 }
@@ -2933,6 +3030,12 @@ function reduceStatus(status, event) {
         return { ...status, metrics: event.metrics, inputTokenUpdatedAt: event.metrics.estimatedInputTokens !== status.metrics?.estimatedInputTokens ? Date.now() : status.inputTokenUpdatedAt, activityTick: status.activityTick + 1 };
     if (event.type === "usage")
         return { ...status, usage: event.usage, inputTokenUpdatedAt: event.usage.inputTokens !== undefined ? Date.now() : status.inputTokenUpdatedAt, outputTokenUpdatedAt: event.usage.outputTokens !== undefined ? Date.now() : status.outputTokenUpdatedAt, activityTick: status.activityTick + 1 };
+    if (event.type === "assistant.output.done")
+        return status.modelOutput?.kind === "text" ? { ...status, modelOutput: undefined, activityTick: status.activityTick + 1 } : status;
+    if (event.type === "message" && event.message.role === "assistant" && event.message.blocks.some(block => block.type === "text") && status.modelOutput?.kind === "text")
+        return { ...status, modelOutput: undefined, activityTick: status.activityTick + 1 };
+    if (event.type === "assistant.delta" && !event.text)
+        return status;
     if (event.type === "assistant.delta")
         return { ...status, phase: "calling_model", modelOutput: { kind: "text" }, streamedOutputTokens: status.streamedOutputTokens + estimateTokens(event.text), outputTokenUpdatedAt: Date.now(), activityTick: status.activityTick + 1 };
     if (event.type === "thinking.delta")
@@ -3323,6 +3426,15 @@ function renderMessageImages(message, append, messageId = message.id) {
     }
     return rendered;
 }
+function renderObservedImages(message, append) {
+    for (const [index, block] of message.blocks.entries()) {
+        if (block.type !== "image")
+            continue;
+        const line = imageLineForBlock("tool_result", block, message.id, index);
+        if (line)
+            append({ ...line, observationOnly: true, messageId: message.id, parentToolName: "image_inspect", parentToolUseId: message.metadata?.sourceToolUseId });
+    }
+}
 function imageLineForBlock(role, block, messageId, blockIndex) {
     const kind = kindForRole(role);
     if (kind === "meta")
@@ -3450,14 +3562,15 @@ function thinkingLine(text, live = false) {
     return { kind: "thinking", title: titleForKind("thinking"), text, previewStyle: "summary", summaryMaxLines: THINKING_SUMMARY_MAX_LINES, live };
 }
 function formatToolUse(toolUse) {
+    const activity = toolActivity(toolUse.input, "running");
     const toolPresentation = toolPresentationForSource(toolUse.name);
     const presentationLevel = toolPresentationLevel(toolUse.name, toolUse.input);
     if (toolUse.name === "plan_update" && isWebPlanPayload(toolUse.input))
-        return { kind: "tool", toolName: toolUse.name, toolPresentation, title: toolPresentation.label, bodyTitle: webPlanBodyTitle(toolUse.input), text: serializeWebPlanPayload(toolUse.input), presentationLevel, collapsible: true };
+        return { kind: "tool", activity, toolName: toolUse.name, toolPresentation, toolUseId: toolUse.id, title: toolPresentation.label, bodyTitle: webPlanBodyTitle(toolUse.input), text: serializeWebPlanPayload(toolUse.input), presentationLevel, collapsible: true };
     if (toolUse.name === "image_create")
-        return { kind: "tool", toolName: toolUse.name, toolPresentation, toolUseId: toolUse.id, title: toolPresentation.label, bodyTitle: "图片模型处理中", text: JSON.stringify(toolUse.input ?? {}, null, 2), format: "plain", previewStyle: "summary", presentationLevel: "primary", collapsible: true };
+        return { kind: "tool", activity, toolName: toolUse.name, toolPresentation, toolUseId: toolUse.id, title: toolPresentation.label, bodyTitle: "图片模型处理中", text: JSON.stringify(toolUse.input ?? {}, null, 2), format: "plain", previewStyle: "summary", presentationLevel: "primary", collapsible: true };
     const summary = summarizeToolUse(toolUse.name, toolUse.input);
-    return { kind: "tool", toolName: toolUse.name, toolPresentation, toolUseId: toolUse.id, title: toolPresentation.label, bodyTitle: summary.bodyTitle, text: summary.text, toolDisplay: buildToolUseDisplay(toolUse.name, toolUse.input), previewStyle: "summary", presentationLevel, collapsible: true };
+    return { kind: "tool", activity, toolName: toolUse.name, toolPresentation, toolUseId: toolUse.id, title: toolPresentation.label, bodyTitle: summary.bodyTitle, text: summary.text, toolDisplay: buildToolUseDisplay(toolUse.name, toolUse.input), previewStyle: "summary", presentationLevel, collapsible: true };
 }
 function formatToolResultLine(toolName, output, ok, presentToolResult) {
     // Hidden fallback reports in historical agent payloads must not enter line.text
@@ -3472,6 +3585,7 @@ function formatToolResultLine(toolName, output, ok, presentToolResult) {
         : formatToolResult(toolName, toolName.startsWith("subagent_") ? redactToolDetail(output) : output, ok);
     return {
         kind: ok ? "tool" : "error",
+        observation: toolObservationResult(toolName, output),
         toolError: ok ? undefined : toolErrorText(output, ok).slice(0, 2000),
         toolName,
         toolPresentation: toolPresentationForSource(toolName),
@@ -3982,13 +4096,13 @@ function formatImageGenerationToolResult(output, ok) {
     const lines = [`${mode === "edit" ? "edited" : "generated"} ${returnedImages ?? 0} image${returnedImages === 1 ? "" : "s"}`];
     const details = [provider, model, size, quality && quality !== "auto" ? quality : undefined, format].filter((value) => Boolean(value));
     if (details.length > 0)
-        lines.push(`${output.requested ? "requested: " : ""}${details.join(" · ")}`);
+        lines.push(`${output.requested ? "requested: " : ""}${details.join("  ")}`);
     if (isRecord(output.actual)) {
         lines.push(`upstream-reported quality: ${String(output.actual.quality ?? "unreported")}`);
         if (Array.isArray(output.images))
             for (const image of output.images.filter(isRecord)) {
                 if (typeof image.width === "number" && typeof image.height === "number")
-                    lines.push(`actual image: ${image.width}x${image.height} · ${String(image.mimeType ?? "")}`);
+                    lines.push(`actual image: ${image.width}x${image.height}  ${String(image.mimeType ?? "")}`);
             }
     }
     if (Array.isArray(output.warnings))
@@ -4033,7 +4147,7 @@ function formatListToolResult(output, ok) {
     lines.push(`type: ${typeValue}`);
     const counts = [returnedEntries !== undefined ? `${returnedEntries} shown` : undefined, totalFiles !== undefined ? `${totalFiles} files` : undefined, totalDirectories !== undefined ? `${totalDirectories} dirs` : undefined].filter((value) => Boolean(value));
     if (counts.length > 0)
-        lines.push(`entries: ${counts.join(" · ")}`);
+        lines.push(`entries: ${counts.join("  ")}`);
     if (names.length > 0)
         lines.push("sample:", ...names.map((name) => `  ${name}`));
     return lines.join("\n");
@@ -4079,7 +4193,7 @@ function formatWebSearchToolResult(output, ok) {
             return;
         const title = typeof item.title === "string" && item.title.trim() ? item.title.trim() : "Untitled";
         const url = typeof item.url === "string" ? item.url : "";
-        const published = typeof item.published === "string" ? ` · ${item.published}` : "";
+        const published = typeof item.published === "string" ? `  ${item.published}` : "";
         lines.push(`[${index + 1}] ${title}${published}`);
         if (url)
             lines.push(url);
@@ -4106,7 +4220,7 @@ function formatGrepToolResult(output, ok) {
     if (grepPath !== undefined)
         lines.push(`path: ${grepPath}`);
     const countParts = [`${returnedMatches ?? matches.length} shown`, totalMatchesKnown !== undefined ? `${totalMatchesKnown} known` : undefined, truncated ? "truncated" : undefined].filter((value) => Boolean(value));
-    lines.push(`matches: ${countParts.join(" · ")}`);
+    lines.push(`matches: ${countParts.join("  ")}`);
     if (matches.length === 0)
         return [...lines, "no matches"].join("\n");
     lines.push("results:");