@sortedyuan/maybecode 0.3.2 → 0.5.0

package/dist/ui/retained-tui.js

@@ -1,19 +1,22 @@
 import { FullscreenRenderer, NodeTerminalDriver, TuiRuntime, TerminalImages, createTerminalClipboard, } from "@sortedyuan/tui";
 import { TranscriptStore } from "@sortedyuan/tui/transcript";
+import { omitUndefined } from "@sortedyuan/may/core";
 import { userInfo } from "node:os";
 import { createMaybeCodeSlashCommandSuggester, executeMaybeCodeSlashCommand, formatMaybeCodeMcpStatus, parseMaybeCodeSlashCommand, } from "../slash-commands.js";
-import { MaybeCodePrototypeView } from "./prototype-view.js";
+import { MaybeCodeTerminalView } from "./terminal-view.js";
 import { presentMcpInteraction } from "../mcp-interaction-ui.js";
 import { MaybeCodeTerminalWeb } from "../terminal-web.js";
 import { formatGoal } from "../goal-commands.js";
-import { delegationOrder, formatDelegationTree, renderDelegationTask, } from "../delegation-commands.js";
+import { delegationOrder, formatDelegationTree, renderDelegationTask } from "../delegation-commands.js";
 /** Experimental retained-screen MaybeCode frontend. */
 export async function runRetainedTerminalUI(app, options = {}) {
     const terminal = options.terminal ?? new NodeTerminalDriver();
     const renderer = options.renderer ?? new FullscreenRenderer(terminal);
     const store = new TranscriptStore();
     const displayedSteering = new Set();
-    const images = new TerminalImages(undefined, terminal.imageSupport?.protocol, { cellSize: () => terminal.imageSupport?.cellSize });
+    const images = new TerminalImages(undefined, terminal.imageSupport?.protocol, {
+        cellSize: () => terminal.imageSupport?.cellSize,
+    });
     try {
         const history = await app.history();
         for (const event of history)
@@ -40,10 +43,12 @@ export async function runRetainedTerminalUI(app, options = {}) {
     let eventFailure;
     const pendingRuns = new Set();
     const observeRun = (result) => {
-        const pending = result.then(() => undefined, error => {
+        const pending = result
+            .then(() => undefined, (error) => {
             if (!closing && !isCancellation(error))
                 store.appendNotice("error", errorMessage(error));
-        }).finally(() => {
+        })
+            .finally(() => {
             pendingRuns.delete(pending);
             if (!closing)
                 view.setStatus(app.isRunning ? "Running" : "Ready");
@@ -51,7 +56,7 @@ export async function runRetainedTerminalUI(app, options = {}) {
         pendingRuns.add(pending);
     };
     let resolveExit;
-    const exited = new Promise((resolve) => resolveExit = resolve);
+    const exited = new Promise((resolve) => (resolveExit = resolve));
     const finish = () => {
         if (closing)
             return;
@@ -65,13 +70,11 @@ export async function runRetainedTerminalUI(app, options = {}) {
             app.cancel("Interrupted by process signal");
         finish();
     };
-    const view = new MaybeCodePrototypeView({
+    const view = new MaybeCodeTerminalView({
         isRunning: () => app.isRunning,
         permissionMode: () => app.permissionMode,
         clipboard: options.clipboard ?? createTerminalClipboard({ output: terminal }),
-        keymap: options.keymap ?? {
-            ...(process.env.MAY_TUI_LEADER === undefined ? {} : { leader: process.env.MAY_TUI_LEADER }),
-        },
+        keymap: options.keymap ?? omitUndefined({ leader: process.env.MAY_TUI_LEADER }),
         images,
         store,
         workspace: app.workspace,
@@ -106,7 +109,7 @@ export async function runRetainedTerminalUI(app, options = {}) {
     });
     process.on("SIGINT", handleProcessSignal);
     process.on("SIGTERM", handleProcessSignal);
-    void refreshModelLabel(view, app);
+    await refreshModelLabel(view, app);
     const refreshWorkspace = async () => {
         if (!app.getWorkspaceGit || closing)
             return;
@@ -119,17 +122,27 @@ export async function runRetainedTerminalUI(app, options = {}) {
     };
     await refreshWorkspace();
     let refreshingWorkspace = false;
-    const workspaceTimer = app.getWorkspaceGit ? setInterval(() => {
-        if (refreshingWorkspace || closing)
-            return;
-        refreshingWorkspace = true;
-        void refreshWorkspace().finally(() => { refreshingWorkspace = false; });
-    }, 2_000) : undefined;
+    let workspaceTask;
+    const workspaceTimer = app.getWorkspaceGit
+        ? setInterval(() => {
+            if (refreshingWorkspace || closing)
+                return;
+            refreshingWorkspace = true;
+            workspaceTask = refreshWorkspace()
+                .catch((error) => {
+                eventFailure = error;
+                finish();
+            })
+                .finally(() => {
+                refreshingWorkspace = false;
+            });
+        }, 2_000)
+        : undefined;
     runtime = new TuiRuntime({ terminal, renderer, root: view });
     let eventTask;
     try {
         runtime.start();
-        eventTask = consumeEvents(app, store, view, () => closing, web.events, images, displayedSteering).catch((error) => {
+        eventTask = consumeEvents(app, store, view, () => closing, web.events, images, displayedSteering, finish).catch((error) => {
             eventFailure = error;
             store.appendNotice("error", `Event stream failed: ${errorMessage(error)}`);
             finish();
@@ -144,164 +157,218 @@ export async function runRetainedTerminalUI(app, options = {}) {
         process.removeListener("SIGTERM", handleProcessSignal);
         runtime.stop();
         view.dispose();
-        await web.close();
-        await Promise.all(pendingRuns);
-        await eventTask;
+        const results = await Promise.allSettled([
+            web.close(),
+            ...pendingRuns,
+            ...(workspaceTask ? [workspaceTask] : []),
+            ...(eventTask ? [eventTask] : []),
+        ]);
+        const failures = results.flatMap((result) => (result.status === "rejected" ? [result.reason] : []));
+        if (failures.length) {
+            if (eventFailure !== undefined)
+                failures.push(eventFailure);
+            throw new AggregateError(failures, "MaybeCode terminal failed to close");
+        }
     }
     if (eventFailure !== undefined)
         throw eventFailure;
 }
-async function consumeEvents(app, store, view, isClosing, events, images, displayedSteering) {
+async function consumeEvents(app, store, view, isClosing, events, images, displayedSteering, onStopped) {
     const approvals = new Set();
+    const approvalErrors = [];
+    const trackApproval = (operation, finish) => {
+        const task = operation
+            .catch((error) => {
+            approvalErrors.push(error);
+            onStopped();
+        })
+            .finally(() => {
+            finish?.();
+            approvals.delete(task);
+        });
+        approvals.add(task);
+    };
     const interactions = new Map();
     const delegationStatus = new Map();
     let lastGoalDisplay = "";
-    for await (const event of events) {
-        if (event.type === "run.event") {
-            if (event.event.type === "run.started") {
-                view.setStatus("Running");
-                const unread = app.listSteeringInputs?.().filter(input => input.status === "delivered" && !displayedSteering.has(input.inputId)) ?? [];
-                if (unread.length > 0) {
-                    const history = await app.history();
-                    const runId = event.event.runId;
-                    const runIndex = history.findIndex(item => item.type === "run.started" && item.runId === runId);
-                    const submitted = runIndex < 0 ? undefined : history.slice(0, runIndex).reverse().find(item => item.type === "input.submitted");
-                    if (submitted?.type === "input.submitted" && submitted.inputId && unread.some(input => input.inputId === submitted.inputId)) {
-                        store.appendUser(submitted.message.content.filter(part => part.type === "text").map(part => part.text).join(""));
-                        displayedSteering.add(submitted.inputId);
+    try {
+        for await (const event of events) {
+            if (event.type === "run.event") {
+                if (event.event.type === "run.started") {
+                    view.setStatus("Running");
+                    const unread = app.application.agent
+                        .listSteeringInputs()
+                        .filter((input) => input.status === "delivered" && !displayedSteering.has(input.inputId));
+                    if (unread.length > 0) {
+                        const history = await app.history();
+                        const runId = event.event.runId;
+                        const runIndex = history.findIndex((item) => item.type === "run.started" && item.runId === runId);
+                        const submitted = runIndex < 0
+                            ? undefined
+                            : history
+                                .slice(0, runIndex)
+                                .reverse()
+                                .find((item) => item.type === "input.submitted");
+                        if (submitted?.type === "input.submitted" &&
+                            submitted.inputId &&
+                            unread.some((input) => input.inputId === submitted.inputId)) {
+                            store.appendUser(submitted.message.content
+                                .filter((part) => part.type === "text")
+                                .map((part) => part.text)
+                                .join(""));
+                            displayedSteering.add(submitted.inputId);
+                        }
+                    }
+                }
+                if (event.event.type === "input.received") {
+                    for (const input of app.application.agent.listSteeringInputs()) {
+                        if (input.status === "delivered" && input.runId === event.event.runId)
+                            displayedSteering.add(input.inputId);
                     }
                 }
+                // 主 Run 让出时子任务还在运行，状态不能显示为 Ready。
+                if (event.event.type === "run.completed" ||
+                    event.event.type === "run.yielded" ||
+                    event.event.type === "run.cancelled") {
+                    view.setStatus(app.isRunning ? "Delegating" : "Ready");
+                }
+                if (event.event.type === "run.failed")
+                    view.setStatus(`Error: ${event.event.error.message}`);
+            }
+            if (event.type === "permission-mode.changed") {
+                view.setStatus(event.mode === "yolo" ? "YOLO enabled" : "YOLO disabled");
             }
-            if (event.event.type === "input.received") {
-                for (const input of app.listSteeringInputs?.() ?? []) {
-                    if (input.status === "delivered" && input.runId === event.event.runId)
-                        displayedSteering.add(input.inputId);
+            if (event.type === "run.event" && event.event.type === "model.completed")
+                await images.prepare(event.event.message.content);
+            if (event.type === "run.event" && event.event.type === "tool.completed")
+                await images.prepare(event.event.content);
+            if (event.type === "goal.changed") {
+                view.setStatus(`Goal ${event.goal.status}`);
+                const display = `${event.goal.id}:${event.goal.status}:${event.goal.progress}`;
+                if (display !== lastGoalDisplay) {
+                    lastGoalDisplay = display;
+                    store.appendNotice("info", formatGoal(event.goal));
                 }
             }
-            // 主 Run 让出时子任务还在运行，状态不能显示为 Ready。
-            if (event.event.type === "run.completed" || event.event.type === "run.yielded" || event.event.type === "run.cancelled") {
-                view.setStatus(app.isRunning ? "Delegating" : "Ready");
+            if (event.type === "delegation.started" || event.type === "delegation.finished") {
+                if (event.type === "delegation.started")
+                    delegationStatus.clear();
+                const label = event.type === "delegation.started" ? "Sub-agent request" : "Sub-agent request finished";
+                if (app.delegationNotifications === true)
+                    store.appendNotice("info", `${label}\n${formatDelegationTree(event.state)}`);
+                view.setStatus(event.type === "delegation.started" ? "Delegating" : "Ready");
             }
-            if (event.event.type === "run.failed")
-                view.setStatus(`Error: ${event.event.error.message}`);
-        }
-        if (event.type === "permission-mode.changed") {
-            view.setStatus(event.mode === "yolo" ? "YOLO enabled" : "YOLO disabled");
-        }
-        if (event.type === "run.event" && event.event.type === "model.completed")
-            await images.prepare(event.event.message.content);
-        if (event.type === "run.event" && event.event.type === "tool.completed")
-            await images.prepare(event.event.content);
-        if (event.type === "goal.changed") {
-            view.setStatus(`Goal ${event.goal.status}`);
-            const display = `${event.goal.id}:${event.goal.status}:${event.goal.progress}`;
-            if (display !== lastGoalDisplay) {
-                lastGoalDisplay = display;
-                store.appendNotice("info", formatGoal(event.goal));
+            else if (event.type === "delegation.updated") {
+                // 同一任务的重复状态不显示。
+                for (const task of delegationOrder(event.state.tasks)) {
+                    const previous = delegationStatus.get(task.id);
+                    delegationStatus.set(task.id, task.status);
+                    if (app.delegationNotifications !== true || previous === task.status)
+                        continue;
+                    store.appendNotice(["failed", "cancelled", "recovery-required"].includes(task.status) ? "warning" : "info", renderDelegationTask(task));
+                }
             }
-        }
-        if (event.type === "delegation.started" || event.type === "delegation.finished") {
-            if (event.type === "delegation.started")
-                delegationStatus.clear();
-            const label = event.type === "delegation.started" ? "Sub-agent request" : "Sub-agent request finished";
-            if (app.delegationNotifications === true)
-                store.appendNotice("info", `${label}\n${formatDelegationTree(event.state)}`);
-            view.setStatus(event.type === "delegation.started" ? "Delegating" : "Ready");
-        }
-        else if (event.type === "delegation.updated") {
-            // 同一任务的重复状态不显示。
-            for (const task of delegationOrder(event.state.tasks)) {
-                const previous = delegationStatus.get(task.id);
-                delegationStatus.set(task.id, task.status);
-                if (app.delegationNotifications !== true || previous === task.status)
-                    continue;
-                store.appendNotice(["failed", "cancelled", "recovery-required"].includes(task.status) ? "warning" : "info", renderDelegationTask(task));
+            applyMaybeCodeEvent(store, event);
+            if (event.type === "mcp.interaction.requested") {
+                const controller = new AbortController();
+                interactions.set(event.request.id, controller);
+                const signal = AbortSignal.any([
+                    controller.signal,
+                    AbortSignal.timeout(Math.max(0, Math.ceil(event.request.expiresAt - Date.now()))),
+                ]);
+                trackApproval(presentMcpInteraction(event.request, app, (prompt, signal) => view.requestMcpInput(prompt, signal), signal).catch(() => {
+                    if (!isClosing() && !signal.aborted) {
+                        store.appendNotice("warning", "MCP interaction could not be completed");
+                        app.cancel("User interaction is unavailable");
+                    }
+                }), () => {
+                    interactions.delete(event.request.id);
+                });
             }
-        }
-        applyMaybeCodeEvent(store, event);
-        if (event.type === "mcp.interaction.requested") {
-            const controller = new AbortController();
-            interactions.set(event.request.id, controller);
-            const signal = AbortSignal.any([controller.signal, AbortSignal.timeout(Math.max(0, Math.ceil(event.request.expiresAt - Date.now())))]);
-            const task = presentMcpInteraction(event.request, app, (prompt, signal) => view.requestMcpInput(prompt, signal), signal)
-                .catch(() => {
-                if (!isClosing() && !signal.aborted) {
-                    store.appendNotice("warning", "MCP interaction could not be completed");
-                    app.cancel("User interaction is unavailable");
+            else if (event.type === "mcp.interaction.settled")
+                interactions.get(event.requestId)?.abort();
+            if (event.type === "model.changed") {
+                await refreshModelLabel(view, app);
+            }
+            if (event.type === "session.changed" && event.resumed) {
+                const history = await app.history();
+                for (const event of history)
+                    if (event.type === "assistant.completed" || event.type === "input.submitted")
+                        await images.prepare(event.message.content);
+                for (const event of history)
+                    if (event.type === "tool.completed" && event.content)
+                        await images.prepare(event.content);
+                store.loadHistory(history);
+                displayedSteering.clear();
+                for (const event of history) {
+                    if (event.type === "input.submitted" && event.inputId)
+                        displayedSteering.add(event.inputId);
+                    if (event.type === "input.steering.delivered")
+                        for (const inputId of event.inputIds)
+                            displayedSteering.add(inputId);
                 }
-            })
-                .finally(() => interactions.delete(event.request.id));
-            approvals.add(task);
-            void task.finally(() => approvals.delete(task));
-        }
-        else if (event.type === "mcp.interaction.settled")
-            interactions.get(event.requestId)?.abort();
-        if (event.type === "model.changed") {
-            void refreshModelLabel(view, app);
-        }
-        if (event.type === "session.changed" && event.resumed) {
-            const history = await app.history();
-            for (const event of history)
-                if (event.type === "assistant.completed" || event.type === "input.submitted")
-                    await images.prepare(event.message.content);
-            for (const event of history)
-                if (event.type === "tool.completed" && event.content)
-                    await images.prepare(event.content);
-            store.loadHistory(history);
-            displayedSteering.clear();
-            for (const event of history) {
-                if (event.type === "input.submitted" && event.inputId)
-                    displayedSteering.add(event.inputId);
-                if (event.type === "input.steering.delivered")
-                    for (const inputId of event.inputIds)
-                        displayedSteering.add(inputId);
+                store.appendNotice("info", "Session resumed");
+                continue;
             }
-            store.appendNotice("info", "Session resumed");
-            continue;
-        }
-        if (event.type === "permission.event" &&
-            event.event.type === "approval.requested") {
-            const task = presentApproval(app, view, store, event.event.request, isClosing, approvals);
-            approvals.add(task);
-            void task.finally(() => approvals.delete(task));
-        }
-        else if (event.type === "permission.event" &&
-            (event.event.type === "approval.resolved" ||
-                event.event.type === "approval.cancelled")) {
-            view.dismissApproval(event.event.requestId);
-        }
-        if (event.type === "delegation.event" && event.event.type === "permission.event") {
-            // 子任务审批：包在外层事件里，同样需要界面与路由。
-            const inner = event.event.event;
-            if (inner.type === "approval.requested") {
-                store.appendNotice("info", `子任务 ${event.taskId} 请求批准 ${inner.request.tool.name}`);
-                const task = presentApproval(app, view, store, inner.request, isClosing, approvals);
-                approvals.add(task);
-                void task.finally(() => approvals.delete(task));
+            if (event.type === "permission.event" && event.event.type === "approval.requested") {
+                trackApproval(presentApproval(app, view, store, event.event.request, isClosing));
+            }
+            else if (event.type === "permission.event" &&
+                (event.event.type === "approval.resolved" || event.event.type === "approval.cancelled")) {
+                view.dismissApproval(event.event.requestId);
             }
-            else if (inner.type === "approval.resolved" || inner.type === "approval.cancelled") {
-                view.dismissApproval(inner.requestId);
+            if (event.type === "delegation.event" && event.event.type === "permission.event") {
+                // 子任务审批：包在外层事件里，同样需要界面与路由。
+                const inner = event.event.event;
+                if (inner.type === "approval.requested") {
+                    store.appendNotice("info", `子任务 ${event.taskId} 请求批准 ${inner.request.tool.name}`);
+                    trackApproval(presentApproval(app, view, store, inner.request, isClosing));
+                }
+                else if (inner.type === "approval.resolved" || inner.type === "approval.cancelled") {
+                    view.dismissApproval(inner.requestId);
+                }
             }
         }
     }
-    for (const controller of interactions.values())
-        controller.abort();
-    await Promise.all(approvals);
+    finally {
+        onStopped();
+        for (const controller of interactions.values())
+            controller.abort();
+        await Promise.all(approvals);
+        if (approvalErrors.length)
+            throw new AggregateError(approvalErrors, "MaybeCode approval operations failed");
+    }
 }
 /** 打开审批对话框并把决定交回宿主，由宿主路由到提出请求的 Session。 */
-function presentApproval(app, view, store, request, isClosing, approvals) {
-    return view.requestApproval(request).then(async (decision) => {
+function presentApproval(app, view, store, request, isClosing) {
+    return view
+        .requestApproval(request)
+        .then(async (decision) => {
         if (decision !== undefined && !isClosing()) {
             await app.resolveApproval(request.id, decision, decision === "allow-persistent" ? { createdBy: `local:${userInfo().username}` } : undefined);
         }
-    }).catch((error) => {
+    })
+        .catch((error) => {
         if (!isClosing()) {
             store.appendNotice("error", `Approval failed: ${errorMessage(error)}`);
         }
+        else if (!isCancellation(error)) {
+            throw error;
+        }
     });
 }
 function applyMaybeCodeEvent(store, event) {
     switch (event.type) {
+        case "delegation.finished":
+        case "delegation.started":
+        case "delegation.updated":
+        case "goal.changed":
+        case "mcp.interaction.requested":
+        case "mcp.interaction.settled":
+        case "permission-mode.changed":
+        case "session.forked":
+        case "workspace.git.changed":
+            break;
         case "run.event":
             store.applyMayEvent(event.event);
             break;
@@ -323,9 +390,7 @@ function applyMaybeCodeEvent(store, event) {
             store.appendNotice("info", `Session ${event.resumed ? "resumed" : "started"}: ${event.sessionId}`);
             break;
         case "model.changed": {
-            const profile = event.model.profile === undefined
-                ? ""
-                : ` profile ${event.model.profile}`;
+            const profile = event.model.profile === undefined ? "" : ` profile ${event.model.profile}`;
             store.appendNotice("info", `Model switched to${profile}: ${event.model.provider}/${event.model.model}`);
             break;
         }
@@ -339,8 +404,7 @@ function applyMaybeCodeEvent(store, event) {
             store.appendNotice("info", `MCP resource watch closed: ${event.serverId} ${event.uri} (${event.reason})`);
             break;
         case "mcp.server.connected":
-            store.appendNotice("info", `MCP server connected: ${event.serverId} ` +
-                `(${event.toolNames.length} tools)`);
+            store.appendNotice("info", `MCP server connected: ${event.serverId} ` + `(${event.toolNames.length} tools)`);
             break;
         case "mcp.server.catalog-updated":
             store.appendNotice("info", `MCP catalog updated: ${event.serverId} (revision ${event.revision})`);
@@ -362,9 +426,7 @@ function applyMaybeCodeEvent(store, event) {
 }
 async function handleCommand(input, app, store, view, finish, web, observeRun) {
     const parsed = parseMaybeCodeSlashCommand(input);
-    if (parsed.type === "command" &&
-        parsed.definition.name === "/compact" &&
-        parsed.arguments.length === 0) {
+    if (parsed.type === "command" && parsed.definition.name === "/compact" && parsed.arguments.length === 0) {
         store.appendNotice("info", "Pruning old tool results and summarizing context");
     }
     const result = await executeMaybeCodeSlashCommand(input, app);
@@ -435,12 +497,18 @@ async function presentCommandResult(result, app, store, view, finish, observeRun
         }
         case "changes.selection.requested":
             await view.requestChanges(result.diff, {
-                ...(result.diff.runId && app.previewRestore ? { onRestore: async (path) => (await app.previewRestore(result.diff.runId, [path])).diff } : {}),
+                ...(result.diff.runId && app.previewRestore
+                    ? { onRestore: async (path) => (await app.previewRestore(result.diff.runId, [path])).diff }
+                    : {}),
                 ...(app.restoreFiles ? { onApply: (previewId) => app.restoreFiles(previewId) } : {}),
             });
             break;
         case "worktrees.display":
-            store.appendNotice("info", result.worktrees.length ? result.worktrees.map(item => `${item.id}\n${item.path}\n${item.branch} · ${item.status} · ${item.commit.slice(0, 12)}`).join("\n\n") : "没有已登记的 worktree。");
+            store.appendNotice("info", result.worktrees.length
+                ? result.worktrees
+                    .map((item) => `${item.id}\n${item.path}\n${item.branch} · ${item.status} · ${item.commit.slice(0, 12)}`)
+                    .join("\n\n")
+                : "没有已登记的 worktree。");
             break;
         case "session.resumed":
             store.appendNotice("info", `Resumed session ${result.sessionId}`);
@@ -493,7 +561,7 @@ async function runEffortDialog(view, app, store, state) {
 async function runModelDialog(view, app, store, initialModels) {
     let models = initialModels;
     while (true) {
-        const action = await view.requestModelAction(models, app.modelInfo?.profile);
+        const action = await view.requestModelAction(models, app.application.modelInfo?.profile);
         if (action === undefined)
             return;
         try {
@@ -529,9 +597,7 @@ async function runSessionDialog(view, app, store, initialSessions) {
             }
             else {
                 const deleted = await app.deleteSession(action.sessionId);
-                store.appendNotice(deleted ? "info" : "warning", deleted
-                    ? `Deleted session ${action.sessionId}`
-                    : `Session ${action.sessionId} was not found`);
+                store.appendNotice(deleted ? "info" : "warning", deleted ? `Deleted session ${action.sessionId}` : `Session ${action.sessionId} was not found`);
             }
             sessions = await app.listSessions();
         }
@@ -544,19 +610,15 @@ async function runSessionDialog(view, app, store, initialSessions) {
 function inspectionText(inspection) {
     if (inspection === undefined)
         return "\nContext: unavailable";
-    const window = inspection.contextWindowTokens === undefined
-        ? ""
-        : ` / ${inspection.contextWindowTokens}`;
-    return `\nContext: ~${inspection.effectiveTokens}${window} tokens, ` +
-        `${inspection.messageCount} messages`;
+    const window = inspection.contextWindowTokens === undefined ? "" : ` / ${inspection.contextWindowTokens}`;
+    return `\nContext: ~${inspection.effectiveTokens}${window} tokens, ` + `${inspection.messageCount} messages`;
 }
 function modelLabel(app, effort = "loading") {
-    if (app.modelInfo === undefined)
+    const info = app.application.modelInfo;
+    if (info === undefined)
         return "unknown · effort: unknown";
-    const endpoint = `${app.modelInfo.provider}/${app.modelInfo.model}`;
-    const model = app.modelInfo.profile === undefined
-        ? endpoint
-        : `${app.modelInfo.profile} (${endpoint})`;
+    const endpoint = `${info.provider}/${info.model}`;
+    const model = info.profile === undefined ? endpoint : `${info.profile} (${endpoint})`;
     return `${model} · effort: ${reasoningEffortLabel(effort)}`;
 }
 function reasoningEffortLabel(state) {
@@ -583,10 +645,8 @@ async function refreshModelLabel(view, app) {
         view.setModel(label);
 }
 function modelIdentity(app) {
-    const model = app.modelInfo;
-    return model === undefined
-        ? ""
-        : `${model.profile ?? ""}\u0000${model.provider}\u0000${model.model}`;
+    const model = app.application.modelInfo;
+    return model === undefined ? "" : `${model.profile ?? ""}\u0000${model.provider}\u0000${model.model}`;
 }
 function unknownReasoningEffort() {
     return {
@@ -606,9 +666,7 @@ function reasoningEffortChanged(state) {
     return `Reasoning effort: ${effort}${state.overridden ? " (runtime override)" : ""}`;
 }
 function isCancellation(error) {
-    return error instanceof Error &&
-        (error.name === "AbortError" ||
-            ("code" in error && error.code === "RUN_CANCELLED"));
+    return error instanceof Error && (error.name === "AbortError" || ("code" in error && error.code === "RUN_CANCELLED"));
 }
 function errorMessage(error) {
     return error instanceof Error ? error.message : String(error);