@timurproko/a1 0.1.8-dev.512 → 0.1.8-dev.521

package/dist/features/owned-ui/reference-routes.d.ts

@@ -0,0 +1,6 @@
+export declare const CHANGELOG_APP_ID = "changelog";
+export declare const CHANGELOG_ROUTE = "changelog";
+export declare const CHANGELOG_TITLE = "What's New";
+export declare const HOTKEYS_APP_ID = "hotkeys";
+export declare const HOTKEYS_ROUTE = "hotkeys";
+export declare const HOTKEYS_TITLE = "Keyboard Shortcuts";

package/dist/features/owned-ui/reference-routes.js

@@ -0,0 +1,6 @@
+export const CHANGELOG_APP_ID = "changelog";
+export const CHANGELOG_ROUTE = "changelog";
+export const CHANGELOG_TITLE = "What's New";
+export const HOTKEYS_APP_ID = "hotkeys";
+export const HOTKEYS_ROUTE = "hotkeys";
+export const HOTKEYS_TITLE = "Keyboard Shortcuts";

package/dist/features/owned-ui/reference-screen-app.d.ts

@@ -0,0 +1,37 @@
+import type { OwnedUiViewportSettings } from "../../contracts/owned-ui/index.js";
+import type { AppHostServices, UiApp } from "../../ui/apps/index.js";
+import { ShortcutRegistry, type PaneInputResult, type PaneMouseEvent, type PaneRect } from "../../ui/components/index.js";
+type Action = "up" | "down" | "page-up" | "page-down" | "first" | "last" | "close";
+export declare const REFERENCE_SCREEN_SHORTCUTS: ShortcutRegistry<Action>;
+/** Rows of a document already styled and wrapped for one content width. */
+export interface ReferenceDocumentProvider {
+    /** The rows for this width, or null while the document is not available yet. */
+    rows(width: number): readonly string[] | null;
+    /** Settles once `rows` answers; absent when the document is available at once. */
+    readonly ready?: Promise<void>;
+}
+export interface ReferenceScreenOptions {
+    readonly id: string;
+    readonly title: string;
+    readonly document: ReferenceDocumentProvider;
+    /** The reader's scroll settings, read on every frame so a live change is honored. */
+    readonly scrollSettings: () => OwnedUiViewportSettings;
+}
+/**
+ * Presents one read-only document full screen between two accent rules: the bold
+ * title leads the scrolled rows, the shared scrollbar rail runs beside them, and
+ * the hint line closes the frame. Rows come from a provider per content width and
+ * are cached until the width changes; the screen closes on Escape and leaves the
+ * interrupt chord to its host.
+ */
+export declare class ReferenceScreenApp implements UiApp {
+    #private;
+    readonly id: string;
+    constructor(options: ReferenceScreenOptions);
+    onActivate(host: AppHostServices): void;
+    onClose(_host: AppHostServices): void;
+    render(rect: PaneRect, host: AppHostServices): readonly string[];
+    onInput(data: string, host: AppHostServices): PaneInputResult;
+    onMouse(event: PaneMouseEvent, _host: AppHostServices): PaneInputResult;
+}
+export {};

package/dist/features/owned-ui/reference-screen-app.js

@@ -0,0 +1,232 @@
+import { GLOBAL_SCOPE, PLAIN_THEME, RAIL_COLUMNS, ShortcutRegistry, ScrollbarRails, assertNoShortcutConflicts, displayWidth, padToWidth, scrollForTrackPage, scrollbarGeometry, scrollbarPresentation, scrollbarWheelRows, truncateToWidth, withScrollbarRail, } from "../../ui/components/index.js";
+const SCOPE = "reference-screen";
+/** Rows above the document: the top rule. */
+const HEADER_ROWS = 1;
+/** Rows below the document: the bottom rule and the hint line. */
+const FOOTER_ROWS = 2;
+// Compatibility: the transcript rail stays lit this long after a scroll, and repaints just after.
+const SCROLL_LINGER_MS = 900;
+const SCROLL_LINGER_REPAINT_MS = 925;
+const LOADING_NOTICE = "Loading…";
+export const REFERENCE_SCREEN_SHORTCUTS = new ShortcutRegistry();
+// Compatibility: the footer reads as v2's `esc/ctrl+c close • ↑↓ scroll`, without ctrl+c, which is
+// the A1 interrupt chord here rather than a close key.
+REFERENCE_SCREEN_SHORTCUTS.declare({ key: "escape", scope: GLOBAL_SCOPE, description: "Close", section: "Screen", hint: { keys: "esc", does: "close" } }, "close");
+REFERENCE_SCREEN_SHORTCUTS.declare({ key: "up", scope: SCOPE, description: "Scroll up", section: "Navigate", hint: { keys: "↑↓", does: "scroll" } }, "up");
+REFERENCE_SCREEN_SHORTCUTS.declare({ key: "down", scope: SCOPE, description: "Scroll down", section: "Navigate", hint: { keys: "↑↓", does: "scroll" } }, "down");
+REFERENCE_SCREEN_SHORTCUTS.declare({ key: "pageUp", scope: SCOPE, description: "Up a page", section: "Navigate" }, "page-up");
+REFERENCE_SCREEN_SHORTCUTS.declare({ key: "pageDown", scope: SCOPE, description: "Down a page", section: "Navigate" }, "page-down");
+REFERENCE_SCREEN_SHORTCUTS.declare({ key: "home", scope: SCOPE, description: "First row", section: "Navigate" }, "first");
+REFERENCE_SCREEN_SHORTCUTS.declare({ key: "end", scope: SCOPE, description: "Last row", section: "Navigate" }, "last");
+/** The separator v2's footer puts between its hints. */
+const HINT_SEPARATOR = " • ";
+assertNoShortcutConflicts(REFERENCE_SCREEN_SHORTCUTS.assemble());
+const KEYS = {
+    "\u001b[A": "up",
+    "\u001b[B": "down",
+    "\u001b[5~": "pageUp",
+    "\u001b[6~": "pageDown",
+    // Protocol: xterm, VT220, and rxvt forms of the same two chords.
+    "\u001b[H": "home",
+    "\u001b[1~": "home",
+    "\u001b[7~": "home",
+    "\u001b[F": "end",
+    "\u001b[4~": "end",
+    "\u001b[8~": "end",
+    "\u001b": "escape",
+};
+/**
+ * Presents one read-only document full screen between two accent rules: the bold
+ * title leads the scrolled rows, the shared scrollbar rail runs beside them, and
+ * the hint line closes the frame. Rows come from a provider per content width and
+ * are cached until the width changes; the screen closes on Escape and leaves the
+ * interrupt chord to its host.
+ */
+export class ReferenceScreenApp {
+    id;
+    #title;
+    #document;
+    #scrollSettings;
+    #scroll = 0;
+    #interruptArmed = false;
+    #failure = null;
+    // Performance: the provider wraps Markdown; wheel and drag frames must not repeat that work.
+    #cached = null;
+    // Invariant: rail hover and drag live in the shared keyed state, as the transcript's do.
+    #rails = new ScrollbarRails();
+    // Rationale: the rail as drawn in the last frame, or null when nothing can be pointed at.
+    #railFrame = null;
+    #bodyHeight = 0;
+    // Invariant: a scroll lights the rail until this time; the timer repaints once it has passed.
+    #activeUntil = 0;
+    #activityTimer;
+    #renderedScroll;
+    constructor(options) {
+        this.id = options.id;
+        this.#title = options.title;
+        this.#document = options.document;
+        this.#scrollSettings = options.scrollSettings;
+    }
+    onActivate(host) {
+        const ready = this.#document.ready;
+        if (ready === undefined)
+            return;
+        void ready.then(() => {
+            this.#cached = null;
+            host.requestRender();
+        }, (error) => {
+            this.#failure = `Could not load ${this.#title}: ${error instanceof Error ? error.message : String(error)}`;
+            host.requestRender();
+        });
+    }
+    onClose(_host) {
+        this.#clearActivityTimer();
+        this.#rails.clear();
+    }
+    render(rect, host) {
+        const theme = host.theme ?? PLAIN_THEME;
+        this.#interruptArmed = host.interruptArmed;
+        const settings = this.#scrollSettings();
+        const reservesRail = settings.scrollbarAppearance !== "hidden";
+        const contentWidth = reservesRail ? Math.max(0, rect.width - RAIL_COLUMNS) : rect.width;
+        const bodyHeight = Math.max(0, rect.height - HEADER_ROWS - FOOTER_ROWS);
+        this.#bodyHeight = bodyHeight;
+        const rows = this.#rows(contentWidth, theme);
+        const maxScroll = Math.max(0, rows.length - bodyHeight);
+        this.#scroll = Math.min(Math.max(0, this.#scroll), maxScroll);
+        const now = Date.now();
+        // Rationale: every way of scrolling ends in this frame, so a moved document is noticed here
+        // once rather than at each wheel, drag, and key branch.
+        if (this.#renderedScroll !== undefined && this.#renderedScroll !== this.#scroll)
+            this.#noteScrollActivity(host, now);
+        this.#renderedScroll = this.#scroll;
+        const geometry = scrollbarGeometry({ contentLength: rows.length, viewportHeight: bodyHeight, scroll: this.#scroll, trackHeight: bodyHeight });
+        const presentation = scrollbarPresentation({
+            geometry,
+            appearance: settings.scrollbarAppearance,
+            style: settings.scrollbarStyle,
+            hovered: this.#rails.isHovered(this.id),
+            dragging: this.#rails.isDragging(this.id),
+            activeUntil: this.#activeUntil,
+            now,
+        });
+        this.#railFrame = reservesRail && geometry !== null
+            ? { rail: { key: this.id, column: rect.width, rowStart: HEADER_ROWS, trackHeight: geometry.trackHeight }, geometry, page: bodyHeight }
+            : null;
+        const body = [];
+        for (let index = this.#scroll; index < this.#scroll + bodyHeight; index++) {
+            const row = rows[index] ?? "";
+            body.push(displayWidth(row) > contentWidth ? truncateToWidth(row, contentWidth) : row);
+        }
+        const withRail = withScrollbarRail(body, geometry, contentWidth, theme, { presentation });
+        const hint = this.#interruptArmed ? "press ctrl+c again to exit a1" : REFERENCE_SCREEN_SHORTCUTS.hint(SCOPE, HINT_SEPARATOR);
+        // Compatibility: the v2 reference screen frames its document between two border-coloured rules.
+        const rule = theme.fg("border", "─".repeat(rect.width));
+        // Compatibility: v2 sets its footer against the left edge, unlike the settings status line.
+        const frame = [rule, ...withRail, rule, padToWidth(theme.fg("dim", hint), rect.width)];
+        // Invariant: a rectangle too small for the chrome still gets exactly its rows, top first.
+        return frame.slice(0, rect.height).concat(Array(Math.max(0, rect.height - frame.length)).fill(""));
+    }
+    onInput(data, host) {
+        const action = REFERENCE_SCREEN_SHORTCUTS.resolve(KEYS[data] ?? data, SCOPE);
+        if (action === null)
+            return { consumed: false };
+        switch (action) {
+            case "close":
+                host.close();
+                return { consumed: true };
+            case "up":
+                this.#scrollBy(-1);
+                return { consumed: true };
+            case "down":
+                this.#scrollBy(1);
+                return { consumed: true };
+            case "page-up":
+                this.#scrollBy(-Math.max(1, this.#bodyHeight));
+                return { consumed: true };
+            case "page-down":
+                this.#scrollBy(Math.max(1, this.#bodyHeight));
+                return { consumed: true };
+            case "first":
+                this.#scroll = 0;
+                return { consumed: true };
+            case "last":
+                this.#scroll = Number.MAX_SAFE_INTEGER;
+                return { consumed: true };
+        }
+    }
+    onMouse(event, _host) {
+        if (event.kind === "wheel-up" || event.kind === "wheel-down") {
+            // Invariant: the whole screen owns wheel scrolling; it must not depend on the pointer's row.
+            const distance = scrollbarWheelRows(this.#scrollSettings().scrollbarSpeed);
+            this.#scrollBy(event.kind === "wheel-down" ? distance : -distance);
+            return { consumed: true };
+        }
+        const rail = this.#railPointer(event);
+        if (rail.owned)
+            return { consumed: true };
+        return { consumed: event.kind !== "motion", render: rail.changed };
+    }
+    // Rationale: the rail takes its share of a pointer report first: hover, a thumb drag, or a
+    // track page. Owned means the document must not see the report; changed means the rail looks different.
+    #railPointer(event) {
+        const frame = this.#railFrame;
+        const wasHovered = this.#rails.isHovered(this.id);
+        if (frame === null) {
+            this.#rails.clear();
+            return { owned: false, changed: wasHovered };
+        }
+        const pointer = { column: event.column, row: event.row - 1 };
+        if (this.#rails.isDragging(this.id)) {
+            // Invariant: a drag keeps the pointer wherever it goes until the button comes up.
+            if (event.kind === "release")
+                this.#rails.endDrag();
+            else {
+                const target = this.#rails.dragTo(frame.rail, frame.geometry, pointer);
+                if (target !== null)
+                    this.#scroll = target;
+            }
+            return { owned: true, changed: true };
+        }
+        const over = this.#rails.notePointer([frame.rail], pointer) !== null;
+        if (!over)
+            return { owned: false, changed: wasHovered };
+        if (event.kind === "press" && !this.#rails.beginDrag(frame.rail, frame.geometry, pointer)) {
+            this.#scroll = scrollForTrackPage(frame.geometry, pointer.row - frame.rail.rowStart, this.#scroll, frame.page);
+        }
+        return { owned: true, changed: true };
+    }
+    // Invariant: the title is the first document row, as in v2, so it scrolls with the document.
+    #rows(width, theme) {
+        // Compatibility: one leading space, so the title lines up with the padded Markdown rows as in v2.
+        const title = ` ${theme.bold(theme.fg("accent", this.#title))}`;
+        if (this.#failure !== null)
+            return [title, "", this.#failure];
+        const cached = this.#cached;
+        if (cached !== null && cached.width === width)
+            return [title, ...cached.rows];
+        const rows = this.#document.rows(width);
+        if (rows === null)
+            return [title, "", LOADING_NOTICE];
+        this.#cached = { width, rows };
+        return [title, ...rows];
+    }
+    #scrollBy(distance) {
+        // Invariant: the upper clamp happens at render, where the body height and row count are known.
+        this.#scroll = Math.max(0, this.#scroll + distance);
+    }
+    #noteScrollActivity(host, now) {
+        this.#activeUntil = Math.max(this.#activeUntil, now + SCROLL_LINGER_MS);
+        this.#clearActivityTimer();
+        this.#activityTimer = setTimeout(() => {
+            this.#activityTimer = undefined;
+            host.requestRender();
+        }, SCROLL_LINGER_REPAINT_MS);
+        this.#activityTimer.unref?.();
+    }
+    #clearActivityTimer() {
+        if (this.#activityTimer !== undefined)
+            clearTimeout(this.#activityTimer);
+        this.#activityTimer = undefined;
+    }
+}

package/dist/features/owned-ui/settings-app.js

@@ -74,7 +74,6 @@ export class SettingsApp {
     #filter = null;
     #menu = null;
     #structured = null;
-    #loading = true;
     #interruptArmed = false;
     // Invariant: pending values remain visible until the source reflects them.
     #pending = new Map();
@@ -98,10 +97,7 @@ export class SettingsApp {
         this.#session = session;
     }
     onActivate(host) {
-        void this.#session.load().then(() => {
-            this.#loading = false;
-            host.requestRender();
-        });
+        void this.#session.load().then(() => host.requestRender());
     }
     onClose(_host) {
         this.#clearActivityTimer();
@@ -161,8 +157,7 @@ export class SettingsApp {
         const body = [];
         this.#frameRows = [];
         if (rows.length === 0) {
-            const message = this.#loading ? "Loading settings…" : "No settings found.";
-            body.push(...renderEmptyState(message, "👀", bodyHeight, contentWidth, theme));
+            body.push(...renderEmptyState("No settings found.", "👀", bodyHeight, contentWidth, theme));
         }
         else {
             if (layout.topPadding > 0)

package/dist/integrations/pi/components/index.d.ts

@@ -2,12 +2,14 @@ export { adaptPiAssistantMessage, adaptPiToolExecution, adaptPiUserMessage } fro
 export { loadHistoryEditor, type HistoryEditorConstructor } from "./history-editor-loader.js";
 export { PiComponentConformanceError, runPiComponentConformance } from "./conformance.js";
 export type { PiComponentConformanceReport, PiComponentConformanceResult } from "./conformance.js";
-export { PINNED_PI_BUILTIN_SLASH_COMMANDS, componentFromPort, componentPort, createPiExtensionUiBridge, createPiQueuedInputStatus, createPiShellArmin, createPiShellAuthProviderSelector, createPiShellChangelog, createPiShellCollapsedChangelog, createPiShellDaxnuts, createPiShellDialog, createPiShellEarendilAnnouncement, createPiShellEditor, createPiShellExtensionSelector, createPiShellFooter, createPiShellHeader, createPiShellHotkeys, createPiShellLoadedResources, createPiShellLoginDialog, createPiShellModelSelector, createPiShellOperationLoader, createPiShellReloadBox, createPiShellScopedModelsSelector, createPiShellSelector, createPiShellSessionInfo, createPiShellSessionSelector, createPiShellSettingsSelector, createPiShellShowImagesSelector, createPiShellStatus, createPiShellThemeSelector, createPiShellThinkingSelector, createPiShellTranscriptComponent, createPiShellTreeSelector, createPiShellTrustSelector, createPiShellUserMessageSelector, createTuiFacade, ensureTheme, formatSessionTokens, isAutocompleteProvider, isPiPromptStyleCompaction, isRecord, paintPiSubmittedPromptTimestamp, piShellHyperlink, piShellTruncateToWidth, piShellVisibleWidth, renderPiShellCommandMessage, renderPiShellPackageUpdateNotice, renderPiShellStartupDiagnostic, renderPiShellStatusText, renderPiShellTranscriptBlock, validatedAssistantMessage, } from "./shell-components.js";
-export type { PiExtensionUiBridge, PiExtensionUiBridgeHost, PiShellAuthProviderOption, PiShellAutocompleteCommand, PiShellClipboardContent, PiShellCommandMessagePresentation, PiShellComponentPort, PiShellEditorBodyGeometry, PiShellEditorOptions, PiShellEditorPointerEvent, PiShellEditorPort, PiShellEditorTextRange, PiShellExtensionRendererResolver, PiShellHeaderOptions, PiShellHeaderPort, PiShellImageAssetResolver, PiShellLoadedResourcesPort, PiShellLoginDialogPort, PiShellModelSelectorOptions, PiShellOperationLoaderPort, PiShellPasteReservation, PiShellQueuedInputPort, PiShellResourceEntry, PiShellResourceSection, PiShellScopedModelDescriptor, PiShellScopedModelsSelectorOptions, PiShellScopedModelsSelectorPort, PiShellSelectorOption, PiShellSelectorOptions, PiShellSessionInfoPresentation, PiShellSettingsSelectorOptions, PiShellStartupNotice, PiShellStatusPlacement, PiShellStatusPort, PiShellSubmittedPromptComposer, PiShellTranscriptComponentPort, PiShellViewComponentPort, } from "./shell-components.js";
+export { OWNED_BUILTIN_SLASH_COMMANDS, PINNED_PI_BUILTIN_SLASH_COMMANDS, componentFromPort, componentPort, createPiExtensionUiBridge, createPiQueuedInputStatus, createPiShellArmin, createPiShellAuthProviderSelector, createPiShellChangelog, createPiShellCollapsedChangelog, createPiShellDaxnuts, createPiShellDialog, createPiShellEarendilAnnouncement, createPiShellEditor, createPiShellExtensionSelector, createPiShellFooter, createPiShellHeader, createPiShellHotkeys, createPiShellLoadedResources, createPiShellLoginDialog, createPiShellModelSelector, createPiShellModelsDialog, createPiShellOperationLoader, createPiShellReloadBox, createPiShellScopedModelsSelector, createPiShellSelector, createPiShellSessionInfo, createPiShellSessionSelector, createPiShellSettingsSelector, createPiShellShowImagesSelector, createPiShellSkillsSelector, createPiShellStatus, createPiShellThemeSelector, createPiShellThinkingSelector, createPiShellTranscriptComponent, createPiShellTreeSelector, createPiShellTrustSelector, createPiShellUserMessageSelector, createTuiFacade, ensureTheme, formatSessionTokens, isAutocompleteProvider, isPiPromptStyleCompaction, isRecord, paintPiSubmittedPromptTimestamp, piShellHyperlink, piShellTruncateToWidth, piShellVisibleWidth, renderPiShellChangelogLines, renderPiShellCommandMessage, renderPiShellHotkeysLines, renderPiShellPackageUpdateNotice, renderPiShellStartupDiagnostic, renderPiShellStatusText, renderPiShellTranscriptBlock, validatedAssistantMessage, } from "./shell-components.js";
+export type { PiExtensionUiBridge, PiExtensionUiBridgeHost, PiShellAuthProviderOption, PiShellAutocompleteCommand, PiShellClipboardContent, PiShellCommandMessagePresentation, PiShellComponentPort, PiShellEditorBodyGeometry, PiShellEditorOptions, PiShellEditorPointerEvent, PiShellEditorPort, PiShellEditorTextRange, PiShellExtensionRendererResolver, PiShellHeaderOptions, PiShellHeaderPort, PiShellHotkeysPresentation, PiShellImageAssetResolver, PiShellLoadedResourcesPort, PiShellLoginDialogPort, PiShellModelSelectorOptions, PiShellModelsDialogOptions, PiShellModelsDialogPort, PiShellOperationLoaderPort, PiShellPasteReservation, PiShellQueuedInputPort, PiShellResourceEntry, PiShellResourceSection, PiShellScopedModelDescriptor, PiShellScopedModelsSelectorOptions, PiShellScopedModelsSelectorPort, PiShellSelectorOption, PiShellSelectorOptions, PiShellSessionInfoPresentation, PiShellSettingsSelectorOptions, PiShellStartupNotice, PiShellStatusPlacement, PiShellStatusPort, PiShellSubmittedPromptComposer, PiShellTranscriptComponentPort, PiShellViewComponentPort, } from "./shell-components.js";
 export { PINNED_PI_LAYOUT, applyConfiguredPiTheme, applyPiTheme, applyPiThemeInstance, currentPiThemeName, detectPiTerminalBackgroundFromEnv, detectPiTerminalBackgroundTheme, detectPiTerminalThemeForAuto, ensurePiTheme, getAvailablePiThemes, loadPiTheme, onPiThemeChange, parsePiAutoThemeSetting, piTheme, resolvePiThemeSetting, stopPiThemeWatcher, } from "./theme.js";
 export type { PiColorMode, PiTerminalTheme, PiTerminalThemeDetection, PiTerminalThemeDetector, PiThemeBackground, PiThemeResult } from "./theme.js";
 export { OwnedPiThemeController } from "./upstream/theme/theme-controller.js";
 export type { PiThemeRuntimePort, PiThemeSettingsPort } from "./upstream/theme/theme-controller.js";
+export { ModelsDialogComponent } from "./models-dialog.js";
+export type { ModelsDialogCallbacks, ModelsDialogConfig, ModelsDialogFilter, ModelsDialogModel } from "./models-dialog.js";
 export { CountdownTimer } from "./upstream/components/countdown-timer.js";
 export { ExtensionEditorComponent } from "./upstream/components/extension-editor.js";
 export { SessionSelectorComponent } from "./upstream/components/session-selector.js";

package/dist/integrations/pi/components/index.js

@@ -1,9 +1,10 @@
 export { adaptPiAssistantMessage, adaptPiToolExecution, adaptPiUserMessage } from "./components.js";
 export { loadHistoryEditor } from "./history-editor-loader.js";
 export { PiComponentConformanceError, runPiComponentConformance } from "./conformance.js";
-export { PINNED_PI_BUILTIN_SLASH_COMMANDS, componentFromPort, componentPort, createPiExtensionUiBridge, createPiQueuedInputStatus, createPiShellArmin, createPiShellAuthProviderSelector, createPiShellChangelog, createPiShellCollapsedChangelog, createPiShellDaxnuts, createPiShellDialog, createPiShellEarendilAnnouncement, createPiShellEditor, createPiShellExtensionSelector, createPiShellFooter, createPiShellHeader, createPiShellHotkeys, createPiShellLoadedResources, createPiShellLoginDialog, createPiShellModelSelector, createPiShellOperationLoader, createPiShellReloadBox, createPiShellScopedModelsSelector, createPiShellSelector, createPiShellSessionInfo, createPiShellSessionSelector, createPiShellSettingsSelector, createPiShellShowImagesSelector, createPiShellStatus, createPiShellThemeSelector, createPiShellThinkingSelector, createPiShellTranscriptComponent, createPiShellTreeSelector, createPiShellTrustSelector, createPiShellUserMessageSelector, createTuiFacade, ensureTheme, formatSessionTokens, isAutocompleteProvider, isPiPromptStyleCompaction, isRecord, paintPiSubmittedPromptTimestamp, piShellHyperlink, piShellTruncateToWidth, piShellVisibleWidth, renderPiShellCommandMessage, renderPiShellPackageUpdateNotice, renderPiShellStartupDiagnostic, renderPiShellStatusText, renderPiShellTranscriptBlock, validatedAssistantMessage, } from "./shell-components.js";
+export { OWNED_BUILTIN_SLASH_COMMANDS, PINNED_PI_BUILTIN_SLASH_COMMANDS, componentFromPort, componentPort, createPiExtensionUiBridge, createPiQueuedInputStatus, createPiShellArmin, createPiShellAuthProviderSelector, createPiShellChangelog, createPiShellCollapsedChangelog, createPiShellDaxnuts, createPiShellDialog, createPiShellEarendilAnnouncement, createPiShellEditor, createPiShellExtensionSelector, createPiShellFooter, createPiShellHeader, createPiShellHotkeys, createPiShellLoadedResources, createPiShellLoginDialog, createPiShellModelSelector, createPiShellModelsDialog, createPiShellOperationLoader, createPiShellReloadBox, createPiShellScopedModelsSelector, createPiShellSelector, createPiShellSessionInfo, createPiShellSessionSelector, createPiShellSettingsSelector, createPiShellShowImagesSelector, createPiShellSkillsSelector, createPiShellStatus, createPiShellThemeSelector, createPiShellThinkingSelector, createPiShellTranscriptComponent, createPiShellTreeSelector, createPiShellTrustSelector, createPiShellUserMessageSelector, createTuiFacade, ensureTheme, formatSessionTokens, isAutocompleteProvider, isPiPromptStyleCompaction, isRecord, paintPiSubmittedPromptTimestamp, piShellHyperlink, piShellTruncateToWidth, piShellVisibleWidth, renderPiShellChangelogLines, renderPiShellCommandMessage, renderPiShellHotkeysLines, renderPiShellPackageUpdateNotice, renderPiShellStartupDiagnostic, renderPiShellStatusText, renderPiShellTranscriptBlock, validatedAssistantMessage, } from "./shell-components.js";
 export { PINNED_PI_LAYOUT, applyConfiguredPiTheme, applyPiTheme, applyPiThemeInstance, currentPiThemeName, detectPiTerminalBackgroundFromEnv, detectPiTerminalBackgroundTheme, detectPiTerminalThemeForAuto, ensurePiTheme, getAvailablePiThemes, loadPiTheme, onPiThemeChange, parsePiAutoThemeSetting, piTheme, resolvePiThemeSetting, stopPiThemeWatcher, } from "./theme.js";
 export { OwnedPiThemeController } from "./upstream/theme/theme-controller.js";
+export { ModelsDialogComponent } from "./models-dialog.js";
 export { CountdownTimer } from "./upstream/components/countdown-timer.js";
 export { ExtensionEditorComponent } from "./upstream/components/extension-editor.js";
 export { SessionSelectorComponent } from "./upstream/components/session-selector.js";

package/dist/integrations/pi/components/models-dialog.d.ts

@@ -0,0 +1,55 @@
+import { type Component, type Focusable } from "@earendil-works/pi-tui";
+export type ModelsDialogFilter = "all" | "scoped";
+export interface ModelsDialogModel {
+    readonly provider: string;
+    readonly id: string;
+    readonly name: string;
+}
+export interface ModelsDialogConfig {
+    /** The authenticated catalog; rows never widen beyond it. */
+    readonly models: readonly ModelsDialogModel[];
+    /** `provider/id` of the active model, or null before one is set. */
+    readonly activeModelId: string | null;
+    /** The explicit cycling scope the session currently uses, in order. */
+    readonly scopeIds: readonly string[];
+    /** The last persisted scope, in order; the dirty comparison baseline. */
+    readonly savedScopeIds: readonly string[];
+    readonly initialQuery?: string;
+    readonly initialFilter?: ModelsDialogFilter;
+    readonly refreshStatus?: string;
+}
+export interface ModelsDialogCallbacks {
+    /** Enter on a row: the shell switches through its workflow and closes the dialog on success. */
+    onSelect(modelId: string): void;
+    /** Every scope or order edit, session-only. */
+    onScopeChange(scopeIds: readonly string[]): void;
+    /** Ctrl+S: a resolved promise clears the dirty state for exactly the saved snapshot; a rejection keeps it. */
+    onSave(scopeIds: readonly string[]): Promise<void> | void;
+    onCancel(): void;
+    requestRender(): void;
+}
+/**
+ * Bare A1's one model-management dialog: a searchable catalog with `all`/`scoped` filters where
+ * Enter switches the active model, Space edits the session's cycling scope, and Ctrl+S persists
+ * that scope. The component owns only presentation state (query, filter, selection, desired and
+ * saved scope, refresh status); every switch, scope write, and save goes through its callbacks.
+ */
+export declare class ModelsDialogComponent implements Component, Focusable {
+    #private;
+    constructor(config: ModelsDialogConfig, callbacks: ModelsDialogCallbacks);
+    get focused(): boolean;
+    set focused(value: boolean);
+    /** True while the desired scope or order differs from the last successful save. */
+    get dirty(): boolean;
+    get filter(): ModelsDialogFilter;
+    get query(): string;
+    get scopeIds(): readonly string[];
+    get selectedModelId(): string | undefined;
+    /** Replace the catalog after a refresh; query, filter, surviving selection, scope edits, and dirty state stay. */
+    updateModels(models: readonly ModelsDialogModel[]): void;
+    setRefreshStatus(message: string, kind: "muted" | "success" | "warning"): void;
+    dispose(): void;
+    invalidate(): void;
+    handleInput(data: string): void;
+    render(width: number): string[];
+}