@quandev104/pi-style 0.1.1 → 0.1.2

package/extension-src/pi-style/features/tools/boxed/quick-edit.ts

@@ -1,16 +1,16 @@
 // Boxed quick-edit / substitute-edit / target-edit renderer.
 
 import { getLanguageFromPath } from "@earendil-works/pi-coding-agent";
-import { Text } from "@earendil-works/pi-tui";
 import { stripAnsi } from "../../../shared/ansi.js";
-import type { BoxTheme } from "../../../shared/box.js";
 import {
-	formatBoxedFooterFromValues,
+	type BoxTheme,
+	boxInnerWidth,
 	getTextOutput,
 	renderBoxedToolCall,
 	renderBoxedToolResult,
 } from "../../../shared/box.js";
-import { buildSplitRows, countDiffStats, renderDiffMeter, SplitDiffComponent } from "../../../shared/split-diff.js";
+import { formatElapsedMs, getElapsedMs } from "../../../shared/elapsed.js";
+import { AdaptiveDiffComponent, buildSplitRows, countDiffStats } from "../../../shared/split-diff.js";
 import { getStateElapsedMs } from "./session-config.js";
 import { type BoxedToolContext, type BoxedToolDefinition, displayPath, noteExecutionStart } from "./shared.js";
 
@@ -99,8 +99,27 @@ function extractQuickEditDiff(text: string): string | undefined {
 	return diffLines.length > 0 ? diffLines.join("\n") : undefined;
 }
 
-function quickEditFooter(theme: BoxTheme, context: BoxedToolContext, output = ""): string {
-	return formatBoxedFooterFromValues(theme, getStateElapsedMs(context.state), output);
+/** `Diff · +3 -0` divider label. */
+function quickEditDividerLabel(theme: BoxTheme, stats: { additions: number; removals: number }): string {
+	const plus = stats.additions > 0 ? theme.fg("toolDiffAdded", `+${stats.additions}`) : theme.fg("dim", "+0");
+	const minus = stats.removals > 0 ? theme.fg("toolDiffRemoved", `-${stats.removals}`) : theme.fg("dim", "-0");
+	return `Diff · ${plus} ${minus}`;
+}
+
+/** Quick-edit footer: `1 file · +3 -0`, prefixed with elapsed time when known. */
+function quickEditDiffFooter(
+	theme: BoxTheme,
+	result: { content?: readonly unknown[]; details?: unknown },
+	context: BoxedToolContext,
+	stats: { additions: number; removals: number },
+): string {
+	const elapsedMs = getElapsedMs(result) ?? getStateElapsedMs(context.state);
+	const parts: string[] = [];
+	if (elapsedMs !== undefined) parts.push(theme.fg("text", formatElapsedMs(elapsedMs)));
+	const plus = stats.additions > 0 ? theme.fg("toolDiffAdded", `+${stats.additions}`) : theme.fg("dim", "+0");
+	const minus = stats.removals > 0 ? theme.fg("toolDiffRemoved", `-${stats.removals}`) : theme.fg("dim", "-0");
+	parts.push(theme.fg("dim", "1 file"), `${plus} ${minus}`);
+	return parts.join(theme.fg("dim", " · "));
 }
 
 function renderQuickEditResult(
@@ -122,7 +141,7 @@ function renderQuickEditResult(
 	const output = getTextOutput(result);
 	if (context.isError) {
 		return renderBoxedToolResult(theme, () => [theme.fg("error", stripAnsi(output).trim() || "Error")], {
-			footerLines: [quickEditFooter(theme, context, output)],
+			footerLines: [quickEditFooter(theme, context)],
 			isError: true,
 		});
 	}
@@ -131,7 +150,7 @@ function renderQuickEditResult(
 	if (!diff) {
 		const fallback = stripAnsi(output).trim() || config.fallbackLabel;
 		return renderBoxedToolResult(theme, () => [`${theme.fg("dim", "↳")} ${theme.fg("muted", fallback)}`], {
-			footerLines: [quickEditFooter(theme, context, output)],
+			footerLines: [quickEditFooter(theme, context)],
 		});
 	}
 
@@ -141,43 +160,45 @@ function renderQuickEditResult(
 	const language = argPath ? getLanguageFromPath(argPath) : undefined;
 	const shouldHighlight =
 		Boolean(language) && diff.length <= MAX_HIGHLIGHT_DIFF_CHARS && rows.length <= MAX_HIGHLIGHT_DIFF_ROWS;
-
-	const { additions, removals } = countDiffStats(diff);
-	const meter = renderDiffMeter(theme, additions, removals);
-	const summary =
-		`${theme.fg("dim", "↳")} ${theme.fg("muted", "diff")}` +
-		` ${theme.fg("toolDiffAdded", `+${additions}`)}` +
-		` ${theme.fg("toolDiffRemoved", `-${removals}`)}` +
-		` ${theme.fg("muted", "split")}` +
-		(meter ? ` ${meter}` : "");
+	const stats = countDiffStats(diff);
 
 	const maxRows = expanded ? 160 : 36;
-	const split = new SplitDiffComponent(theme, rows, maxRows, shouldHighlight ? language : undefined);
+	const diffView = new AdaptiveDiffComponent(theme, rows, maxRows, shouldHighlight ? language : undefined);
+	const expandHint = !expanded && diffView.hasCollapsed() ? "Ctrl+O more" : undefined;
 
 	return renderBoxedToolResult(
 		theme,
 		{
 			render(width: number): string[] {
-				const safeWidth = Math.max(20, width);
-				const headerLines = new Text(summary, 0, 0).render(safeWidth);
-				return [...headerLines, ...split.render(safeWidth)];
+				return diffView.render(width);
 			},
 			invalidate(): void {
-				split.invalidate();
+				diffView.invalidate();
 			},
 		},
 		{
-			footerLines: [quickEditFooter(theme, context, output)],
+			dividerLabel: quickEditDividerLabel(theme, stats),
+			...(expandHint ? { dividerRightLabel: expandHint } : {}),
+			footerLines: [quickEditDiffFooter(theme, result, context, stats)],
 		},
 	);
 }
 
+function quickEditFooter(theme: BoxTheme, context: BoxedToolContext): string {
+	const elapsedMs = getStateElapsedMs(context.state);
+	const parts: string[] = [];
+	if (elapsedMs !== undefined) parts.push(theme.fg("text", formatElapsedMs(elapsedMs)));
+	parts.push(theme.fg("dim", "1 file"));
+	return parts.join(theme.fg("dim", " · "));
+}
+
 export function quickEditTool(config: QuickEditToolConfig): BoxedToolDefinition {
 	return {
 		call(args, theme, context) {
 			noteExecutionStart(context);
 			const detail = displayPath(String(args?.path ?? ""), context);
-			return renderBoxedToolCall(theme, config.toolLabel, [`${theme.fg("dim", "Path: ")}${detail}`], {
+			return renderBoxedToolCall(theme, config.toolLabel, [], {
+				headerDetail: detail,
 				isError: Boolean(context.isError),
 				isPartial: Boolean(context.isPartial),
 				isPending: Boolean(context.isPartial),

package/extension-src/pi-style/pi/session-coordinator.ts

@@ -181,7 +181,15 @@ export function createPiStyleSessionCoordinator(pi: ExtensionAPI, hooks: Compati
 			terminalInputUnsubscribe?.();
 			terminalInputUnsubscribe = undefined;
 			app.sessionShutdown();
-			compatibility.dispose();
+			// Tier C prototype patches stay installed across session switches. Pi renders
+			// the restored chat (renderBeforeBind) AFTER session_shutdown but BEFORE the
+			// next session_start, so disposing here would rebuild the resumed tool and
+			// special-block surfaces with native prototypes and they would never be
+			// re-decorated (their boxed output is derived once at updateDisplay time and
+			// cached; a later frame render does not re-invoke the renderer selectors).
+			// The next start() disposes this report (restoring the native identities)
+			// and reinstalls before any new render. On process exit (reason "quit") the
+			// terminal is torn down immediately after, so retained patches are harmless.
 		},
 	};
 }

package/extension-src/pi-style/shared/ansi.ts

@@ -84,6 +84,9 @@ export function stripAnsi(value: string): string {
 					break;
 				}
 			}
+			// Consume the OSC terminator (BEL, or the ESC\\ already consumed above)
+			// so it is not emitted as a visible character.
+			if (i + 1 < value.length && value.charCodeAt(i + 1) === 7) i++;
 		}
 	}
 	return output;

package/extension-src/pi-style/shared/box.ts

@@ -38,6 +38,8 @@ export interface BoxTheme {
 
 export interface BoxedRenderOptions {
 	widthKey?: string;
+	/** Detail embedded in the top-border title after the tool name (e.g. the path). */
+	headerDetail?: string;
 	isError?: boolean;
 	isPartial?: boolean;
 	isPending?: boolean;
@@ -140,7 +142,7 @@ function formatCompactCount(value: number): string {
 }
 
 export function formatBoxedWords(text: string): string {
-	return `✎ ~${formatCompactCount(countWords(text))} words`;
+	return `~${formatCompactCount(countWords(text))} words`;
 }
 
 export function badge(theme: BoxTheme, label: string): string {
@@ -172,11 +174,15 @@ const BOX_HORIZONTAL = "─";
 const BOX_VERTICAL = "│";
 const BOX_SIDE_PADDING = 2;
 const BOX_MIN_WIDTH = 12;
+const BOX_ROUND_TOP_LEFT = "╭";
+const BOX_ROUND_TOP_RIGHT = "╮";
+const BOX_ROUND_BOTTOM_LEFT = "╰";
+const BOX_ROUND_BOTTOM_RIGHT = "╯";
+const BOX_DIVIDER_LEFT = "├";
+const BOX_DIVIDER_RIGHT = "┤";
+/** Dash run before the right corner when a right-side border label is present. */
+const BOX_LABELED_RIGHT_DASH_MIN = 3;
 const BOX_WIDTH_CACHE = new Map<string, number>();
-const COMPACT_TOOL_NAME_WIDTH = safeVisibleWidth("Search");
-const COMPACT_FOOTER_ELAPSED_WIDTH = 8;
-const COMPACT_FOOTER_EXTRA_WIDTH = 8;
-const COMPACT_FOOTER_WORDS_WIDTH = safeVisibleWidth("✎ ~1.2k words");
 
 export function boxWidth(width: number): number {
 	return Math.max(BOX_MIN_WIDTH, width);
@@ -319,17 +325,13 @@ function formatBoxedStatusIcon(theme: BoxTheme, isError?: boolean): string {
 
 export function formatBoxedToolTitle(theme: BoxTheme, name: string, isError?: boolean): string {
 	const rawTitle = `➔ ${name}`;
-	const coloredTitle = `${colorFromExtra(theme, "bashPromptColor", "bashMode", rawTitle)} ${formatBoxedStatusIcon(theme, isError)}`;
-	const title = typeof theme?.bold === "function" ? theme.bold(coloredTitle) : coloredTitle;
-	return `${title} ${boxText(theme, "|")}`;
-}
-
-function formatCompactBoxedToolTitle(theme: BoxTheme, name: string, isError?: boolean): string {
-	const paddedName = padVisibleRight(name, COMPACT_TOOL_NAME_WIDTH);
-	const rawTitle = `➔ ${paddedName}`;
-	const coloredTitle = `${colorFromExtra(theme, "bashPromptColor", "bashMode", rawTitle)} ${formatBoxedStatusIcon(theme, isError)}`;
-	const title = typeof theme?.bold === "function" ? theme.bold(coloredTitle) : coloredTitle;
-	return `${title} ${boxText(theme, "|")}`;
+	// On failure the whole title turns error-colored (not just the ✗) so a failed
+	// tool reads instantly; on success the tool keeps its identity color and only
+	// the ✓ carries the success color.
+	const coloredTitle = isError
+		? theme.fg("error", `${rawTitle} ✗`)
+		: `${colorFromExtra(theme, "bashPromptColor", "bashMode", rawTitle)} ${formatBoxedStatusIcon(theme, false)}`;
+	return typeof theme?.bold === "function" ? theme.bold(coloredTitle) : coloredTitle;
 }
 
 function boxText(theme: BoxTheme, text: string): string {
@@ -349,8 +351,76 @@ export function boxBorder(theme: BoxTheme, left: string, right: string, width: n
 	return boxFrameText(theme, `${left}${BOX_HORIZONTAL.repeat(innerWidth)}${right}`);
 }
 
-function padVisibleRight(text: string, width: number): string {
-	return `${text}${" ".repeat(Math.max(0, width - safeVisibleWidth(text)))}`;
+/**
+ * Border line with an optional label embedded after the left corner and an
+ * optional right-side label before the right corner, e.g.:
+ *
+ *   ╭─ ➔ Bash ✓ ────────────╮
+ *   ├─ Response ────────────┤
+ *   ╰─ 0.00s · ~45 words ──── Ctrl+O for more ───╯
+ */
+export function boxLabeledBorder(
+	theme: BoxTheme,
+	start: string,
+	end: string,
+	leftLabel: string,
+	rightLabel: string | undefined,
+	width: number,
+): string {
+	const renderedWidth = boxWidth(width);
+	let left = leftLabel ?? "";
+	const right = rightLabel ?? "";
+	let leftWidth = safeVisibleWidth(left);
+	const rightWidth = safeVisibleWidth(right);
+	const leftOverhead = left ? 3 : 0; // "─ " prefix + " " suffix
+	const rightOverhead = right ? 2 : 0; // " " prefix + " " suffix
+	let rightFill = right ? BOX_LABELED_RIGHT_DASH_MIN : 0;
+	let fill =
+		renderedWidth - start.length - end.length - leftOverhead - leftWidth - rightOverhead - rightWidth - rightFill;
+
+	if (right && fill < 0) {
+		rightFill = 1;
+		fill =
+			renderedWidth - start.length - end.length - leftOverhead - leftWidth - rightOverhead - rightWidth - rightFill;
+	}
+
+	if (fill < 0) {
+		// Too narrow for the labels: truncate the left label, keeping at least one
+		// filler dash so the border stays closed.
+		const reserved =
+			start.length + end.length + leftOverhead + (right ? rightOverhead + rightWidth + rightFill : 0) + 1;
+		const maxLeft = renderedWidth - reserved;
+		left = maxLeft > 0 ? safeTruncateToWidth(left, maxLeft, "…") : "";
+		leftWidth = safeVisibleWidth(left);
+		fill =
+			renderedWidth -
+			start.length -
+			end.length -
+			(left ? leftWidth + leftOverhead : 0) -
+			(right ? rightOverhead + rightWidth + rightFill : 0);
+	}
+
+	// Style each border segment separately. Embedded labels carry their own
+	// foreground escapes that end in \x1b[39m (reset to the terminal default);
+	// applying the border color to the whole line in one wrap would leave every
+	// dash after a label in the default color, making one border render with
+	// mixed brightness.
+	const parts: string[] = [boxFrameText(theme, `${start}${left ? "─ " : ""}`)];
+	if (left) parts.push(left);
+	parts.push(boxFrameText(theme, `${left ? " " : ""}${BOX_HORIZONTAL.repeat(Math.max(0, fill))}`));
+	if (right) {
+		parts.push(boxFrameText(theme, " "), right, boxFrameText(theme, ` ${BOX_HORIZONTAL.repeat(rightFill)}`));
+	}
+	parts.push(boxFrameText(theme, end));
+	return parts.join("");
+}
+
+/** Empty content line used for breathing room inside a box. */
+export function boxBlankLine(theme: BoxTheme, width: number): string {
+	const renderedWidth = boxWidth(width);
+	const contentWidth = boxInnerWidth(renderedWidth);
+	const sidePad = " ".repeat(BOX_SIDE_PADDING);
+	return `${boxFrameText(theme, BOX_VERTICAL)}${sidePad}${" ".repeat(contentWidth)}${sidePad}${boxFrameText(theme, BOX_VERTICAL)}`;
 }
 
 export function boxLineWithRight(theme: BoxTheme, left: string, right: string, width: number): string {
@@ -471,20 +541,30 @@ export function renderBoxedToolCall(
 		render(width: number): string[] {
 			if (cache?.width === width) return cache.lines;
 			const title = formatBoxedToolTitle(theme, toolName, options.isError);
+			const headerLabel = options.headerDetail ? `${title} · ${options.headerDetail}` : title;
 			const renderedWidth = boxWidth(width);
 			const lines = [
-				boxBorder(theme, "┌", "┐", renderedWidth),
-				boxLine(theme, title, renderedWidth),
-				boxInsetDivider(theme, renderedWidth),
+				boxLabeledBorder(theme, BOX_ROUND_TOP_LEFT, BOX_ROUND_TOP_RIGHT, headerLabel, undefined, renderedWidth),
+				boxBlankLine(theme, renderedWidth),
 				...detailLines.flatMap((line) => boxedWrappedLines(theme, line, renderedWidth)),
 			];
 			if (options.isPending) {
 				const pendingText = options.pendingText ?? "Waiting for output…";
 				lines.push(
-					boxInsetDivider(theme, renderedWidth),
-					...boxedWrappedLines(theme, `${theme.fg("muted", "…")} ${theme.fg("dim", pendingText)}`, renderedWidth),
-					boxBorder(theme, "└", "┘", renderedWidth),
+					boxBlankLine(theme, renderedWidth),
+					boxLabeledBorder(
+						theme,
+						BOX_ROUND_BOTTOM_LEFT,
+						BOX_ROUND_BOTTOM_RIGHT,
+						theme.fg("dim", `… ${pendingText}`),
+						undefined,
+						renderedWidth,
+					),
 				);
+			} else {
+				// Leave the box open with trailing breathing room; the result renderer
+				// continues it with the Response divider.
+				lines.push(boxBlankLine(theme, renderedWidth));
 			}
 			cache = { width, lines };
 			return lines;
@@ -513,27 +593,42 @@ export function renderCompactBoxedToolCall(
 		invalidate() {},
 		render(width: number): string[] {
 			const renderedWidth = boxWidth(width);
-			const title = `${formatCompactBoxedToolTitle(theme, toolName, options.isError)} ${detailLine}`;
+			const title = formatBoxedToolTitle(theme, toolName, options.isError);
+			const headerLabel = detailLine ? `${title} · ${detailLine}` : title;
 			const compactFooter =
 				typeof options.state?.[COMPACT_FOOTER_KEY] === "string" ? options.state[COMPACT_FOOTER_KEY] : "";
 			const _footerIsError = Boolean(options.state?.[COMPACT_FOOTER_ERROR_KEY]);
 			const _footerIsPartial = Boolean(options.state?.[COMPACT_FOOTER_PARTIAL_KEY]);
+			const lines = [
+				boxLabeledBorder(theme, BOX_ROUND_TOP_LEFT, BOX_ROUND_TOP_RIGHT, headerLabel, undefined, renderedWidth),
+				boxBlankLine(theme, renderedWidth),
+			];
 			if (compactFooter) {
-				return [
-					boxBorder(theme, "┌", "┐", renderedWidth),
-					boxLineWithRight(theme, title, compactFooter, renderedWidth),
-					boxBorder(theme, "└", "┘", renderedWidth),
-				];
-			}
-
-			const lines = [boxBorder(theme, "┌", "┐", renderedWidth), boxLine(theme, title, renderedWidth)];
-			if (options.isPending) {
+				lines.push(
+					boxLabeledBorder(
+						theme,
+						BOX_ROUND_BOTTOM_LEFT,
+						BOX_ROUND_BOTTOM_RIGHT,
+						compactFooter,
+						undefined,
+						renderedWidth,
+					),
+				);
+			} else if (options.isPending) {
 				const pendingText = options.pendingText ?? "Waiting for output…";
 				lines.push(
-					boxInsetDivider(theme, renderedWidth),
-					...boxedWrappedLines(theme, `${theme.fg("muted", "…")} ${theme.fg("dim", pendingText)}`, renderedWidth),
-					boxBorder(theme, "└", "┘", renderedWidth),
+					boxLabeledBorder(
+						theme,
+						BOX_ROUND_BOTTOM_LEFT,
+						BOX_ROUND_BOTTOM_RIGHT,
+						theme.fg("dim", `… ${pendingText}`),
+						undefined,
+						renderedWidth,
+					),
 				);
+			} else {
+				// No footer yet (transient, or the result opens the Response divider):
+				// leave the box open so the result renderer continues the same box.
 			}
 			return lines;
 		},
@@ -552,6 +647,12 @@ export function renderBoxedToolResult(
 		widthKey?: string;
 		referenceLines?: string[];
 		renderLineBudget?: number;
+		/** Left-side label embedded in the divider between the call and the result. May be a function of the box width (e.g. for width-dependent layout labels). */
+		dividerLabel?: string | ((width: number) => string);
+		/** Right-side label embedded in the divider between the call and the result. */
+		dividerRightLabel?: string;
+		/** Right-side label embedded in the bottom border (e.g. the expand hint). */
+		expandHint?: string;
 		isError?: boolean;
 		isPartial?: boolean;
 	} = {},
@@ -572,16 +673,31 @@ export function renderBoxedToolResult(
 				bodyLines.length > 0
 					? [...errorPrefix, ...bodyLines]
 					: [theme.fg("muted", `∅ ${options.emptyText ?? "(no output)"}`)];
-			const footerLines = options.footerLines ?? [];
-			const renderedFooterLines =
-				footerLines.length > 0
-					? [boxInsetDivider(theme, renderedWidth), ...footerLines.map((line) => boxLine(theme, line, renderedWidth))]
-					: [];
+			const footerText = (options.footerLines ?? []).join(" · ");
+			const dividerText =
+				typeof options.dividerLabel === "function"
+					? options.dividerLabel(renderedWidth)
+					: (options.dividerLabel ?? "Response");
 			const rendered = [
-				boxInsetDivider(theme, renderedWidth),
+				boxLabeledBorder(
+					theme,
+					BOX_DIVIDER_LEFT,
+					BOX_DIVIDER_RIGHT,
+					theme.fg("dim", dividerText),
+					options.dividerRightLabel ? theme.fg("dim", options.dividerRightLabel) : undefined,
+					renderedWidth,
+				),
+				boxBlankLine(theme, renderedWidth),
 				...renderBoxedOutputLines(theme, outputLines, renderedWidth, options.renderLineBudget ?? outputLines.length),
-				...renderedFooterLines,
-				boxBorder(theme, "└", "┘", renderedWidth),
+				boxBlankLine(theme, renderedWidth),
+				boxLabeledBorder(
+					theme,
+					BOX_ROUND_BOTTOM_LEFT,
+					BOX_ROUND_BOTTOM_RIGHT,
+					footerText,
+					options.expandHint ? theme.fg("dim", options.expandHint) : undefined,
+					renderedWidth,
+				),
 			];
 			cache = { width, lines: rendered };
 			return rendered;
@@ -600,36 +716,21 @@ export function formatBoxedFooterFromValues(
 	elapsedMs: number | undefined,
 	output: string,
 	extraParts: string[] = [],
-	fixedColumns = false,
 ): string {
 	const wall = elapsedMs === undefined ? "--" : `${(elapsedMs / 1000).toFixed(2)}s`;
-	const elapsedPart = `${theme.fg("text", "◷")} ${theme.fg("dim", wall)}`;
+	const elapsedPart = theme.fg("text", wall);
 	const extraPartList = extraParts.filter(Boolean).map((part) => theme.fg("dim", part));
 	const wordsPart = theme.fg("dim", formatBoxedWords(output));
-	const parts = fixedColumns
-		? [
-				padVisibleRight(elapsedPart, COMPACT_FOOTER_ELAPSED_WIDTH),
-				...extraPartList.map((part) => padVisibleRight(part, COMPACT_FOOTER_EXTRA_WIDTH)),
-				padVisibleRight(wordsPart, COMPACT_FOOTER_WORDS_WIDTH),
-			]
-		: [elapsedPart, ...extraPartList, wordsPart];
-	return parts.join(theme.fg("dim", " · "));
+	return [elapsedPart, ...extraPartList, wordsPart].join(theme.fg("dim", " · "));
 }
 
 function formatBoxedFooterParts(
 	theme: BoxTheme,
 	result: MetricResultLike | undefined,
 	extraParts: string[] = [],
-	fixedColumns = false,
 	elapsedMs?: number,
 ): string {
-	return formatBoxedFooterFromValues(
-		theme,
-		elapsedMs ?? getElapsedMs(result),
-		getTextOutput(result),
-		extraParts,
-		fixedColumns,
-	);
+	return formatBoxedFooterFromValues(theme, elapsedMs ?? getElapsedMs(result), getTextOutput(result), extraParts);
 }
 
 export function formatBoxedFooter(
@@ -638,7 +739,7 @@ export function formatBoxedFooter(
 	extraParts: string[] = [],
 	elapsedMs?: number,
 ): string {
-	return formatBoxedFooterParts(theme, result, extraParts, false, elapsedMs);
+	return formatBoxedFooterParts(theme, result, extraParts, elapsedMs);
 }
 
 export function renderCompactBoxedFooter(
@@ -647,7 +748,7 @@ export function renderCompactBoxedFooter(
 	options: BoxedRenderOptions = {},
 ): Component {
 	if (options.state && typeof options.state === "object") {
-		options.state[COMPACT_FOOTER_KEY] = formatBoxedFooterParts(theme, result, [], true, options.elapsedMs);
+		options.state[COMPACT_FOOTER_KEY] = formatBoxedFooterParts(theme, result, [], options.elapsedMs);
 		options.state[COMPACT_FOOTER_ERROR_KEY] = Boolean(options.isError);
 		options.state[COMPACT_FOOTER_PARTIAL_KEY] = Boolean(options.isPartial);
 		return { invalidate() {}, render: () => [] };
@@ -658,8 +759,14 @@ export function renderCompactBoxedFooter(
 		render(width: number): string[] {
 			const renderedWidth = boxWidth(width);
 			return [
-				boxLine(theme, formatBoxedFooterParts(theme, result, [], false, options.elapsedMs), renderedWidth),
-				boxBorder(theme, "└", "┘", renderedWidth),
+				boxLabeledBorder(
+					theme,
+					BOX_ROUND_BOTTOM_LEFT,
+					BOX_ROUND_BOTTOM_RIGHT,
+					formatBoxedFooterParts(theme, result, [], options.elapsedMs),
+					undefined,
+					renderedWidth,
+				),
 			];
 		},
 	};
@@ -731,7 +838,7 @@ export function formatToolOutputLine(
 	return theme.fg(color, line);
 }
 
-function selectRenderLines(text: string, maxLines: number, tail = false): { lines: string[]; omitted: number } {
+export function selectRenderLines(text: string, maxLines: number, tail = false): { lines: string[]; omitted: number } {
 	const source = text ?? "";
 	if (!source) return { lines: [], omitted: 0 };
 	const limit = Math.max(0, maxLines);