@timurproko/a1 0.2.7-dev.1269 → 0.2.7-dev.1275

package/README.md

@@ -59,6 +59,12 @@ Launch A1, one agent in this terminal (profile: `~/.a1/agent`):
 a1
 ```
 
+In A1, **Ctrl+P** opens the searchable **Launcher**: Agent, Settings, Changelog, and Hotkeys. You can switch from any of those screens; returning to Agent keeps the current session and draft. Settings, Changelog, and Hotkeys are applications rather than Agent slash commands.
+
+**Ctrl+M** cycles to the next model: all available models when no scope is set, or only available scoped models when a scope exists. **`/models`** opens the in-place Models selector to select a model or manage that scope. **Ctrl+L** cycles thinking levels, and **Alt+Up** restores queued messages. In legacy terminals that encode Ctrl+M as Enter, ordinary Enter still sends the prompt; use `/models` to select a model instead. Explicit keybinding overrides remain supported. Successful model changes update the status bar without an extra success message; errors and warnings remain visible.
+
+Session exports without an explicit destination are saved in **`~/.a1/exports/`**, outside disposable worktrees. Use `/export` for HTML or `/export --jsonl` for JSONL; explicit destinations retain their existing meaning. See [session exports](docs/features/session-exports.md).
+
 Resume a saved session:
 
 ```text

package/dist/app/session-shell/apps-dialog.d.ts

@@ -0,0 +1,33 @@
+import type { TerminalComponentPort } from "../../contracts/presentation/index.js";
+import { type UiTheme } from "../../ui/components/index.js";
+declare const APPS: readonly [{
+    readonly id: "agent";
+    readonly label: "Agent";
+}, {
+    readonly id: "settings";
+    readonly label: "Settings";
+}, {
+    readonly id: "changelog";
+    readonly label: "Changelog";
+}, {
+    readonly id: "hotkeys";
+    readonly label: "Hotkeys";
+}];
+type AppId = typeof APPS[number]["id"];
+/** A compact application chooser; actions return to the same session and never launch a process. */
+export declare class AppsDialog implements TerminalComponentPort {
+    #private;
+    readonly ports: {
+        theme(): UiTheme;
+        height(): number;
+        legacyKey(data: string): string;
+        select(id: AppId): void;
+        cancel(): void;
+        requestRender(): void;
+    };
+    constructor(ports: AppsDialog["ports"]);
+    render(width: number): readonly string[];
+    handleInput(data: string): void;
+    invalidate(): void;
+}
+export {};

package/dist/app/session-shell/apps-dialog.js

@@ -0,0 +1,61 @@
+import { LineInput, handleLineInputKey, ShortcutRegistry, configureDialogChoiceCapacity, renderSteppedDialogPanel } from "../../ui/components/index.js";
+const APPS = [
+    { id: "agent", label: "Agent" },
+    { id: "settings", label: "Settings" },
+    { id: "changelog", label: "Changelog" },
+    { id: "hotkeys", label: "Hotkeys" },
+];
+const SCOPE = "apps";
+const SHORTCUTS = new ShortcutRegistry();
+SHORTCUTS.declare({ key: "up", scope: SCOPE, description: "Previous app", hint: { keys: "↑↓", does: "navigate" } }, "previous");
+SHORTCUTS.declare({ key: "down", scope: SCOPE, description: "Next app", hint: { keys: "↑↓", does: "navigate" } }, "next");
+SHORTCUTS.declare({ key: "enter", scope: SCOPE, description: "Open app", hint: { keys: "Enter", does: "open" } }, "open");
+SHORTCUTS.declare({ key: "escape", scope: SCOPE, description: "Close Launcher", hint: { keys: "Esc", does: "close" } }, "close");
+/** A compact application chooser; actions return to the same session and never launch a process. */
+export class AppsDialog {
+    #input = new LineInput();
+    #index = 0;
+    ports;
+    constructor(ports) { this.ports = ports; }
+    #matches() { return APPS.filter(app => app.label.toLowerCase().includes(this.#input.value.toLowerCase())); }
+    render(width) {
+        const matches = this.#matches();
+        const height = Math.max(1, this.ports.height());
+        const compact = height < 12;
+        const capacity = compact ? Math.max(1, height - 3) : configureDialogChoiceCapacity(height, true, 0);
+        const start = Math.max(0, this.#index - capacity + 1);
+        return renderSteppedDialogPanel({
+            title: "Launcher", input: this.#input, compact,
+            rows: matches.length === 0 ? [{ label: "No apps found", value: "" }]
+                : matches.slice(start, start + capacity).map(app => ({ label: app.label, value: "" })),
+            index: matches.length === 0 ? -1 : this.#index - start,
+            hint: [{ key: "Type", action: "search" }, ...SHORTCUTS.hintEntries(SCOPE)],
+        }, width, this.ports.theme()).slice(0, height);
+    }
+    handleInput(data) {
+        const key = this.ports.legacyKey(data);
+        const token = key === "\u001b[A" ? "up" : key === "\u001b[B" ? "down"
+            : key === "\r" || key === "\n" ? "enter" : key === "\u001b" || key === "\u0003" ? "escape" : "edit";
+        const action = SHORTCUTS.resolve(token, SCOPE);
+        const matches = this.#matches();
+        if (action === "close") {
+            this.ports.cancel();
+            return;
+        }
+        if (action === "open") {
+            const selected = matches[this.#index];
+            if (selected !== undefined)
+                this.ports.select(selected.id);
+            return;
+        }
+        if (action === "previous" || action === "next") {
+            this.#index = Math.max(0, Math.min(matches.length - 1, this.#index + (action === "next" ? 1 : -1)));
+        }
+        else {
+            handleLineInputKey(this.#input, key);
+            this.#index = 0;
+        }
+        this.ports.requestRender();
+    }
+    invalidate() { }
+}

package/dist/app/session-shell/dialog-coordinator.d.ts

@@ -1,4 +1,5 @@
 import type { OwnedUiShellComponents, OwnedUiShellSelectorOption } from "../../contracts/owned-ui/index.js";
+import type { ShellPresentationPorts } from "../../contracts/presentation/index.js";
 import type { TerminalOverlayHandle } from "../../contracts/presentation/index.js";
 import type { OwnedUiCommandResult, OwnedUiDialog } from "../../contracts/owned-ui/index.js";
 import type { UiRouteHost, UiRouteInput } from "../../ui/apps/contracts.js";
@@ -7,6 +8,10 @@ import type { OwnedUiSessionShellOptions, OwnedUiSessionShellRoot } from "./sess
 type StartupRoute = NonNullable<OwnedUiSessionShellOptions["engine"]["startupRoute"]>;
 interface SessionDialogPorts {
     readonly terminal: Pick<OwnedUiPresenterTerminal, "running" | "hasOverlay" | "showOverlay" | "openRoute" | "requestRender">;
+    readonly presentation?: Pick<ShellPresentationPorts, "theme" | "terminalRuntime">;
+    readonly viewport?: () => {
+        rows: number;
+    };
     readonly root: Pick<OwnedUiSessionShellRoot, "chrome" | "setInputSurface" | "usesDefaultInputSurface">;
     readonly routeHost: UiRouteHost | null;
     readonly dialogs: Pick<OwnedUiShellComponents["dialogs"], "dialog" | "selector">;
@@ -25,6 +30,9 @@ interface SessionDialogPorts {
 export declare class SessionDialogCoordinator {
     #private;
     constructor(ports: SessionDialogPorts);
+    /** Apps may cover a full-screen route, but never steal another dialog's local shortcuts. */
+    canOpenApps(): boolean;
+    showApps(): void;
     /** Clears the replacement input surface a selector put in the dock; the shared close action of every dock selector. */
     readonly closeInputSurface: () => void;
     showSelector(title: string, options: readonly OwnedUiShellSelectorOption[], onSelect: (id: string) => void, onCancel?: () => void): TerminalOverlayHandle;

package/dist/app/session-shell/dialog-coordinator.js

@@ -10,12 +10,75 @@ export class SessionDialogCoordinator {
     #handle;
     #id;
     #source;
+    #route;
+    #apps;
     #startupRoute;
     #startupRouteTimer;
     constructor(ports) {
         this.#ports = ports;
         this.#startupRoute = ports.startupRoute;
     }
+    /** Apps may cover a full-screen route, but never steal another dialog's local shortcuts. */
+    canOpenApps() {
+        return this.#apps === undefined && (this.#source === "route"
+            || !this.#ports.terminal.hasOverlay() && this.#ports.root.usesDefaultInputSurface());
+    }
+    showApps() {
+        const presentation = this.#ports.presentation;
+        if (presentation === undefined || !this.#ports.terminal.running || !this.canOpenApps())
+            return;
+        let dialog;
+        let closed = false;
+        let loading = "Loading Launcher…";
+        const pending = [];
+        const cancel = () => { closed = true; pending.length = 0; this.#apps?.hide(); this.#apps = undefined; };
+        this.#apps = this.#ports.terminal.showOverlay({
+            render: width => dialog?.render(width) ?? [loading.slice(0, width)],
+            handleInput: data => {
+                if (dialog !== undefined)
+                    dialog.handleInput?.(data);
+                else if (presentation.terminalRuntime.legacyKeyInput(data) === "\u001b")
+                    cancel();
+                else if (pending.length < 32)
+                    pending.push(data);
+            },
+            invalidate: () => dialog?.invalidate(),
+            dispose: () => { closed = true; pending.length = 0; },
+        }, { width: 60, maxHeight: "100%", anchor: "center", inputCoordination: "owned", modal: true });
+        // Performance: Apps and its search/list controller are optional workflows, not eager startup dependencies.
+        void import("./apps-dialog.js").then(({ AppsDialog }) => {
+            if (closed || this.#ports.disposed())
+                return;
+            dialog = new AppsDialog({
+                theme: () => presentation.theme.current(),
+                height: () => this.#ports.viewport?.().rows ?? 24,
+                legacyKey: data => presentation.terminalRuntime.legacyKeyInput(data),
+                requestRender: () => this.#ports.terminal.requestRender(),
+                cancel,
+                select: route => {
+                    cancel();
+                    if (route === this.#route)
+                        return;
+                    this.#handle?.close?.();
+                    if (route === "agent")
+                        this.#close();
+                    else {
+                        const result = this.openRoute(route);
+                        if (result.diagnostic !== null)
+                            this.#ports.root.chrome.setNotice({ kind: "error", message: result.diagnostic });
+                    }
+                },
+            });
+            for (const key of pending.splice(0)) {
+                if (!closed)
+                    dialog.handleInput?.(key);
+            }
+            this.#ports.terminal.requestRender();
+        }).catch(() => { if (!closed && !this.#ports.disposed()) {
+            loading = "Launcher unavailable — Esc close";
+            this.#ports.terminal.requestRender();
+        } });
+    }
     /** Clears the replacement input surface a selector put in the dock; the shared close action of every dock selector. */
     closeInputSurface = () => {
         this.#ports.root.setInputSurface(null);
@@ -29,15 +92,15 @@ export class SessionDialogCoordinator {
             title,
             options,
             onSelect: id => {
-                onSelect(id);
                 this.#close();
+                onSelect(id);
             },
             onCancel: () => {
                 this.#close();
                 onCancel?.();
             },
         });
-        const handle = this.#ports.terminal.showOverlay(component, OVERLAY_OPTIONS);
+        const handle = this.#ports.terminal.showOverlay(component, { ...OVERLAY_OPTIONS, modal: true });
         this.#handle = handle;
         return handle;
     }
@@ -57,7 +120,7 @@ export class SessionDialogCoordinator {
         this.#handle?.hide();
         this.#source = "backend";
         const component = this.#ports.dialogs.dialog(dialog, { onSelect: () => this.#close(), onCancel: () => this.#close() });
-        this.#handle = this.#ports.terminal.showOverlay(component, OVERLAY_OPTIONS);
+        this.#handle = this.#ports.terminal.showOverlay(component, { ...OVERLAY_OPTIONS, modal: true });
         this.#id = dialog.id;
     }
     openRoute(route, input, onClosed) {
@@ -69,6 +132,7 @@ export class SessionDialogCoordinator {
         this.#ports.root.chrome.dismissNotice();
         this.#handle?.hide();
         this.#source = "route";
+        this.#route = route;
         const handle = this.#ports.terminal.openRoute(surface, {
             exit: () => this.#ports.exit(),
             closed: rendered => {
@@ -118,9 +182,13 @@ export class SessionDialogCoordinator {
         if (this.#startupRouteTimer !== undefined)
             clearTimeout(this.#startupRouteTimer);
         this.#startupRouteTimer = undefined;
+        this.#apps?.hide();
+        this.#apps = undefined;
         this.#handle?.hide();
     }
     #close() {
+        this.#apps?.hide();
+        this.#apps = undefined;
         this.#handle?.hide();
         this.#clear();
     }
@@ -128,5 +196,6 @@ export class SessionDialogCoordinator {
         this.#handle = undefined;
         this.#id = undefined;
         this.#source = undefined;
+        this.#route = undefined;
     }
 }

package/dist/app/session-shell/session-selectors.d.ts

@@ -42,5 +42,5 @@ export declare class SessionSelectors implements WorkflowSelectors {
     showTrustSelector(): void;
     showScopedModelsSelector(): void;
     /** The bare-A1 unified Models dialog: switch on Enter, scope on Space, persist on Ctrl+S, all through the engine. */
-    showModelsDialog(initialQuery?: string): void;
+    showModelsDialog(initialQuery?: string): void | Promise<void>;
 }

package/dist/app/session-shell/session-selectors.js

@@ -220,7 +220,7 @@ export class SessionSelectors {
     }
     /** The bare-A1 unified Models dialog: switch on Enter, scope on Space, persist on Ctrl+S, all through the engine. */
     showModelsDialog(initialQuery) {
-        this.#presenters.openModelsDialog(this.#dialogHost, initialQuery);
+        return this.#presenters.openModelsDialog(this.#dialogHost, initialQuery);
     }
     #treeSummary() {
         return new Promise(resolve => {

package/dist/app/session-shell/session-shell.js

@@ -79,7 +79,7 @@ export class OwnedUiSessionPresenter {
     #sessionGeneration;
     #sessionBindingGeneration;
     constructor(host, options) {
-        const { backend, cwd, routeHost, sessionLayout } = options.engine;
+        const { backend, cwd, routeHost, startupRoute, sessionLayout } = options.engine;
         const { terminal, startup, viewportSettings, reload: reloadPresentation, stream: streamPresentationOptions, input: inputPresentation, } = options.presentation ?? {};
         const { clipboard, responseCopy, paste: pasteDiagnostics, pastePreparation } = options.diagnostics ?? {};
         const promptHistory = options.history;
@@ -178,11 +178,11 @@ export class OwnedUiSessionPresenter {
             // Invariant: the presenter owns its root (theme subscription and helper clients) and disposes it once the
             // terminal no longer renders it.
             constructed.push(() => this.root.dispose());
-            const startupRoute = options.engine.startupRoute;
             this.#dialogs = new SessionDialogCoordinator({
                 terminal: this.#terminal,
                 root: this.root,
                 routeHost: routeHost ?? null, dialogs: options.presenters.components.dialogs,
+                presentation: options.presenters, viewport: () => this.#terminal.viewport(),
                 disposed: () => this.#disposed,
                 exit: () => { void this.shutdown(); },
                 ...(startupRoute === undefined ? {} : { startupRoute }),
@@ -308,6 +308,11 @@ export class OwnedUiSessionPresenter {
     handleViewportInput(data) {
         if (!this.#inputCoordination)
             this.#streamPresentation.noteImmediatePresentation();
+        if (this.#customViewport && this.#dialogs.canOpenApps()
+            && this.root.editor.matchesAction?.(data, "owned.apps.open")) {
+            this.#dialogs.showApps();
+            return { consume: true };
+        }
         // Compatibility: route modal paging and boundary keys before Pi's fullscreen handlers.
         const isDefault = this.root.usesDefaultInputSurface();
         if (!this.#terminal.hasOverlay() && !isDefault
@@ -881,7 +886,8 @@ export class OwnedUiSessionPresenter {
         const separator = body.search(/\s/);
         const name = separator < 0 ? body : body.slice(0, separator);
         const argument = separator < 0 ? "" : body.slice(separator + 1).trimStart();
-        if (this.#dialogs.claimsRoute(name))
+        const applicationOnly = this.#customViewport && (name === "settings" || name === "changelog" || name === "hotkeys");
+        if (!applicationOnly && this.#dialogs.claimsRoute(name))
             return this.#dialogs.openRoute(name);
         if (this.#isWorkflowRoute(name))
             return this.runWorkflow({ command: name, argument });

package/dist/app/session-shell/shell-host.d.ts

@@ -49,6 +49,7 @@ export interface OwnedUiPresenterTerminal extends OwnedUiPresenterHost {
     requestHyperlinkCleanup(rows?: readonly number[]): void;
     openRoute(surface: UiRouteSurface, callbacks: OwnedUiRouteCallbacks): {
         hide(): void;
+        close?(): void;
     };
     beginPresentationHold(): () => void;
     switchMode(mode: "regular" | "fullscreen"): boolean;

package/dist/app/session-shell/shell-host.js

@@ -1,4 +1,6 @@
 import { MOUSE_TRACKING_OFF, MOUSE_TRACKING_ON, parseMouseInput } from "../../ui/components/mouse.js";
+import { renderModalBackdrop } from "../../ui/components/spans.js";
+import { padToWidth } from "../../ui/components/text.js";
 import { readVisibleHyperlinks } from "../../ui/components/visible-hyperlinks.js";
 import { pinnedLayoutRoot, } from "./session-shell-root.js";
 /** The size and render request a Pi component reads from the terminal it is shown on, read on every call. */
@@ -37,7 +39,7 @@ export function sessionTerminalHostOptions(options) {
 export class OwnedUiTerminalHost {
     runtime;
     #customViewport;
-    #runtimeFactory;
+    #presentation;
     #damageTerminal;
     #quitOutro;
     #presenters = new Set();
@@ -51,7 +53,7 @@ export class OwnedUiTerminalHost {
     #ending;
     constructor(options) {
         this.#customViewport = options.layout === "custom-viewport";
-        this.#runtimeFactory = options.presentation.terminalRuntime;
+        this.#presentation = options.presentation;
         this.#quitOutro = options.quitOutro;
         const input = options.input;
         let damageTerminal;
@@ -73,8 +75,9 @@ export class OwnedUiTerminalHost {
                 mouse: false,
                 consumeUnhandledMouse: true,
                 onOverlayGeometry: surfaces => this.#active?.setOverlaySurfaces(surfaces),
+                paintModalBackdrop: renderModalBackdrop,
                 decorateTerminal: (terminal) => {
-                    damageTerminal = this.#runtimeFactory.createDamageTerminal(terminal, {
+                    damageTerminal = this.#presentation.terminalRuntime.createDamageTerminal(terminal, {
                         regionalScroll: process.env.TERM !== "dumb",
                         inspectHyperlinks: readVisibleHyperlinks,
                         onResize: () => this.#active?.noteImmediatePresentation(),
@@ -84,7 +87,7 @@ export class OwnedUiTerminalHost {
                 },
                 ...(input?.coordination === false ? {} : {
                     inputCoordination: {
-                        classify: (data, focusedOverlay) => this.#runtimeFactory.classifyInput(data, focusedOverlay ?? this.#active?.inputCoordinationSurface() ?? "opaque"),
+                        classify: (data, focusedOverlay) => this.#presentation.terminalRuntime.classifyInput(data, focusedOverlay ?? this.#active?.inputCoordinationSurface() ?? "opaque"),
                         onReceipt: () => this.#active?.noteImmediatePresentation(),
                         ...(input?.scheduler === undefined ? {} : { scheduler: input.scheduler }),
                     },
@@ -100,7 +103,7 @@ export class OwnedUiTerminalHost {
             hardwareCursor: options.hardwareCursor,
             ...(options.wheelScrollLines === undefined ? {} : { wheelScrollLines: options.wheelScrollLines }),
         };
-        this.runtime = this.#runtimeFactory.createRuntime(runtimeOptions);
+        this.runtime = this.#presentation.terminalRuntime.createRuntime(runtimeOptions);
         this.#damageTerminal = damageTerminal ?? null;
         const background = this.#customViewport ? options.backgroundSettings : undefined;
         if (background !== undefined)
@@ -285,7 +288,14 @@ export class OwnedUiTerminalHost {
     #showOverlay(presenter, component, options) {
         const owned = this.#overlays.get(presenter) ?? new Set();
         this.#overlays.set(presenter, owned);
-        const overlay = new PresenterOverlay(this.runtime.showOverlay(component, options), () => this.#active === presenter, () => owned.delete(overlay));
+        const overlay = new PresenterOverlay(this.runtime.showOverlay(this.#customViewport && options?.modal ? {
+            ...component,
+            render: width => component.render(width).map(line => (this.#presentation.floatingDialogSurface ?? (text => text))(`\u001b[22;39;49m${padToWidth(line, width)}`)),
+            invalidate: () => component.invalidate(),
+            handleInput: data => component.handleInput?.(data),
+            setFocused: focused => component.setFocused?.(focused),
+            dispose: () => component.dispose?.(),
+        } : component, options), () => this.#active === presenter, () => owned.delete(overlay));
         overlay.syncVisibility();
         owned.add(overlay);
         return overlay;
@@ -338,6 +348,7 @@ export class OwnedUiTerminalHost {
             closed = true;
             removeSurfacePreInput();
             removeInterruptWatch();
+            surface.close();
             this.#setPointerReporting(false);
             overlay?.hide();
             if (notify)
@@ -345,7 +356,7 @@ export class OwnedUiTerminalHost {
         };
         removeInterruptWatch = runtime.addInputListener(data => {
             // Compatibility: a kitty-keyboard child reports Ctrl+C as a CSI-u sequence rather than the byte.
-            if (!attached() || !data.includes(INTERRUPT) && this.#runtimeFactory.legacyKeyInput(data) !== INTERRUPT)
+            if (!attached() || overlay?.isFocused() !== true || !data.includes(INTERRUPT) && this.#presentation.terminalRuntime.legacyKeyInput(data) !== INTERRUPT)
                 return undefined;
             // Protocol: route hosts decide whether one interrupt closes their app. Raw-input forwarding
             // is required because Pi handles Ctrl+C before the fullscreen overlay receives normal input.
@@ -378,7 +389,7 @@ export class OwnedUiTerminalHost {
         // at the pre-input boundary so dropdowns, value hover, and numeric +/- work,
         // and consume even unhandled reports so settings content is never selected.
         const routeMouse = data => {
-            if (!attached())
+            if (!attached() || overlay?.isFocused() !== true)
                 return undefined;
             const { events, rest } = parseMouseInput(data);
             if (events.length === 0)
@@ -404,7 +415,7 @@ export class OwnedUiTerminalHost {
                 for (const event of events)
                     surface.handleMouse(event);
                 // Invariant: owned screens see legacy key bytes whether the terminal reports legacy or kitty keys.
-                const key = rest.length > 0 ? this.#runtimeFactory.legacyKeyInput(rest) : "";
+                const key = rest.length > 0 ? this.#presentation.terminalRuntime.legacyKeyInput(rest) : "";
                 if (key.length > 0)
                     surface.handleInput(key);
                 if (surface.isClosed()) {
@@ -426,7 +437,7 @@ export class OwnedUiTerminalHost {
             anchor: "top-left",
             inputCoordination: "owned",
         });
-        return { hide: () => closeSurface(false) };
+        return { hide: () => closeSurface(false), close: () => closeSurface(true) };
     }
     // Invariant: the snapshot is synchronous; the outro module itself loads only at quit.
     #captureQuitOutroFrame() {
@@ -472,7 +483,7 @@ export class OwnedUiTerminalHost {
                 write: data => this.runtime.writeControl(data),
                 ...(capture.settings.canvasBackgroundAnsi === null
                     ? {}
-                    : { canvas: { ansi: capture.settings.canvasBackgroundAnsi, rebase: this.#runtimeFactory.rebaseDefaultBackground } }),
+                    : { canvas: { ansi: capture.settings.canvasBackgroundAnsi, rebase: this.#presentation.terminalRuntime.rebaseDefaultBackground } }),
                 ...(outro.now === undefined ? {} : { now: outro.now }),
                 ...(outro.sleep === undefined ? {} : { sleep: outro.sleep }),
                 ...(outro.seed === undefined ? {} : { seed: outro.seed }),

package/dist/app/session-shell/workflow-output.js

@@ -53,6 +53,18 @@ export class WorkflowOutput {
         this.#appendAnchored(width => this.#ports.components.info.commandMessage(presentation, width, this.#ports.outputPad()));
     }
     appendResult(result, errorCode) {
+        // Rationale: model state already repaints the footer; only actionable diagnostics need another surface.
+        if (this.#ports.customViewport && result.outcome === "completed"
+            && result.presentation?.kind === "model-change") {
+            for (const message of result.messages ?? []) {
+                if (message.kind !== "status")
+                    this.appendMessage(message, errorCode);
+            }
+            if (result.messages === undefined && (result.messageKind === "warning" || result.messageKind === "error")) {
+                this.appendMessage({ kind: result.messageKind, message: result.message }, errorCode);
+            }
+            return;
+        }
         if (result.messages !== undefined) {
             for (const message of result.messages)
                 this.appendMessage(message, errorCode);

package/dist/app/session-shell/workflow-router.d.ts

@@ -2,7 +2,7 @@ import type { OwnedUiCommandResult, OwnedUiWorkflowRequest } from "../../contrac
 /** The owned selectors a workflow can open in place of asking the engine to choose. */
 export interface WorkflowSelectors {
     showScopedModelsSelector(): void;
-    showModelsDialog(initialQuery?: string): void;
+    showModelsDialog(initialQuery?: string): void | Promise<void>;
     showModelSelector(initialSearchInput?: string): void;
     showForkSelector(): void;
     showThinkingSelector(): Promise<void>;

package/dist/composition/owned-ui.js

@@ -44,21 +44,9 @@ export async function composeOwnedUi(options = {}) {
         });
     // Invariant: bare A1 owns the settings-driven ports; the comparison profile receives none of them.
     const bareSettings = bare ? settings : null;
-    const projectTrustPrompt = options.projectTrustPrompt;
     // Invariant: process-wide engine state has one owner. The host installs the HTTP dispatcher, applies
     // the theme singletons, and announces startup notices once; every session is created through it.
-    const host = await (options.createEngineHost ?? (async (hostOptions) => createPiEngineHost(hostOptions)))({
-        productMode,
-        availableThemes: () => getAvailablePiThemes().map(theme => theme.name),
-        announceStartupChangelog: !bare,
-        theme: {
-            base: bare ? "dark" : "engine-configured",
-            accentColor: bareSettings?.value("accentColor") ?? "purple",
-            packageBorderProjection: bare,
-            apply: { base: applyConfiguredPiTheme, accentColor: setPiAccentColor, packageBorderProjection: setPiPackageBorderProjectionEnabled },
-        },
-        ...(projectTrustPrompt === undefined ? {} : { projectTrustPrompt }),
-    });
+    const host = await (options.createEngineHost ?? createPiEngineHost)(engineHostOptions(options, productMode, bareSettings));
     const sessionForkPrompt = options.sessionForkPrompt;
     try {
         backend = await host.create({
@@ -247,6 +235,22 @@ function bareShellPorts(settings, generator, diagnostics) {
         },
     };
 }
+function engineHostOptions(options, productMode, settings) {
+    const bare = productMode === "bare";
+    return {
+        productMode,
+        availableThemes: () => getAvailablePiThemes().map(theme => theme.name),
+        ...(bare ? { workflowHost: { reserveExport: async (id, format) => (await import("../foundation/lifecycle/user-exports.js")).reserveUserExport(id, format) } } : {}),
+        announceStartupChangelog: !bare,
+        theme: {
+            base: bare ? "dark" : "engine-configured",
+            accentColor: settings?.value("accentColor") ?? "purple",
+            packageBorderProjection: bare,
+            apply: { base: applyConfiguredPiTheme, accentColor: setPiAccentColor, packageBorderProjection: setPiPackageBorderProjectionEnabled },
+        },
+        ...(options.projectTrustPrompt === undefined ? {} : { projectTrustPrompt: options.projectTrustPrompt }),
+    };
+}
 async function createPromptHistoryConfiguration(settings, backend, bare) {
     const limit = settings?.value("promptHistoryMaxItems") ?? 100;
     const scope = settings?.value("promptHistoryScope") ?? "unique";

package/dist/contracts/owned-ui/session-presenters.d.ts

@@ -80,6 +80,6 @@ export interface OwnedUiSessionPresenters {
     /** `navigate` completes a selection that leaves the current leaf, including any summary prompt. */
     openTreeSelector(host: OwnedUiDialogHost, navigate: (entryId: string, skipSummaryPrompt: boolean) => void, initialSelectedId?: string): Promise<void>;
     openSettingsSelector(host: OwnedUiDialogHost): void;
-    openModelsDialog(host: OwnedUiDialogHost, initialQuery?: string): void;
+    openModelsDialog(host: OwnedUiDialogHost, initialQuery?: string): void | Promise<void>;
     openScopedModelsSelector(host: OwnedUiDialogHost): void;
 }

package/dist/contracts/owned-ui/session-workflows.d.ts

@@ -108,7 +108,9 @@ export interface OwnedUiCacheWarmingPresentation {
         };
     };
 }
-export type OwnedUiWorkflowPresentation = OwnedUiSessionInfoPresentation;
+export type OwnedUiWorkflowPresentation = OwnedUiSessionInfoPresentation | {
+    readonly kind: "model-change";
+};
 export type OwnedUiWorkflowMessageKind = "status" | "warning" | "error" | "accent" | "silent";
 export interface OwnedUiWorkflowMessage {
     readonly kind: Exclude<OwnedUiWorkflowMessageKind, "silent">;

package/dist/contracts/owned-ui/shell-components.d.ts

@@ -53,6 +53,8 @@ export interface OwnedUiShellEditorPort extends OwnedUiShellComponentPort {
     /** Restores the shared keybindings if anything replaced the active registry; a no-op when it is already active. */
     activateKeybindings(): void;
     keybindingConfig(): OwnedUiShellKeybindings;
+    /** Resolves application-host actions against the same active declarations as editor dispatch. */
+    matchesAction?(data: string, action: "owned.apps.open"): boolean;
     reloadKeybindings(): void;
     /** Uses the vendor's terminal decoder rather than assuming one terminal escape spelling. */
     matchesTerminalKey(data: string, key: "home" | "end" | "pageUp" | "pageDown" | "ctrl+home" | "ctrl+end" | "alt+home" | "ctrl+v"): boolean;

package/dist/contracts/presentation/progress-palette.generated.d.ts

@@ -1,6 +1,6 @@
 /**
  * Generated by scripts/pi/sync-progress-palette.ts from A1's named accent projection
- * over pinned Pi 1.5.0 (MIT), commit f9a26365568127461c47a07a37dcb42c140a3ac5. Do not edit directly.
+ * over pinned Pi 1.5.1 (MIT), commit dd30101cfc5b0609411dd80b6f93adbc14db14cf. Do not edit directly.
  */
 export declare const SHARED_PROGRESS_PALETTE: Readonly<{
     blue: {

package/dist/contracts/presentation/progress-palette.generated.js

@@ -1,6 +1,6 @@
 /**
  * Generated by scripts/pi/sync-progress-palette.ts from A1's named accent projection
- * over pinned Pi 1.5.0 (MIT), commit f9a26365568127461c47a07a37dcb42c140a3ac5. Do not edit directly.
+ * over pinned Pi 1.5.1 (MIT), commit dd30101cfc5b0609411dd80b6f93adbc14db14cf. Do not edit directly.
  */
 export const SHARED_PROGRESS_PALETTE = Object.freeze({
     "blue": {

package/dist/contracts/presentation/terminal.d.ts

@@ -68,6 +68,8 @@ export interface TerminalOverlayOptions {
     readonly margin?: TerminalOverlayMargin | number;
     readonly visible?: (columns: number, rows: number) => boolean;
     readonly nonCapturing?: boolean;
+    /** An owned floating panel; the host supplies its surface and dims the completed backdrop. */
+    readonly modal?: boolean;
     /** A1-owned input scheduling declaration; omitted extension overlays fail closed. */
     readonly inputCoordination?: Exclude<TerminalInputSurfaceKind, "editor">;
 }
@@ -141,6 +143,8 @@ export interface TerminalRuntimeOptions {
     readonly root: TerminalComponentPort;
     /** Bare viewport only: painted overlays in back-to-front order; null while geometry is stale. */
     readonly onOverlayGeometry?: (surfaces: readonly TerminalPointerSurface[] | null) => void;
+    /** Presentation policy applied after composition around the topmost owned floating panel. */
+    readonly paintModalBackdrop?: (lines: readonly string[], width: number, height: number, panel: TerminalPointerSurface) => string[];
     readonly mode?: "regular" | "fullscreen";
     readonly layoutRoot?: TerminalLayoutNode;
     readonly terminal?: TerminalPort;

package/dist/contracts/presentation/theme.d.ts

@@ -42,5 +42,7 @@ export interface ShellPresentationPorts {
     canvasBackground(style: CanvasBackgroundStyle): string | null;
     /** Columns the pinned comparison layout pads command output with. */
     readonly pinnedOutputPad: 0 | 1;
+    /** Live color-capability-aware background for owned floating panels only. */
+    readonly floatingDialogSurface?: (text: string) => string;
     readonly terminalRuntime: TerminalRuntimeFactory;
 }

package/dist/foundation/lifecycle/user-exports.d.ts

@@ -0,0 +1,5 @@
+/** Exclusively reserve a default export; failure cleanup may remove only this same regular file. */
+export declare function reserveUserExport(sessionId: string, format: "html" | "jsonl", home?: string): Promise<{
+    readonly path: string;
+    failed(): Promise<void>;
+}>;