@timurproko/a1 0.2.7-dev.810 → 0.2.7-dev.831

package/dist/features/owned-ui/plus-menu-dialog.js

@@ -0,0 +1,76 @@
+import { LineInput, displayWidth, handleLineInputKey, renderInputRow, truncateToWidth, } from "../../ui/components/index.js";
+/** The A1 setting holding the tab kinds the strip's `+` offers. */
+export const PLUS_MENU_SETTING_ID = "tabBarPlusMenu";
+const TITLE = "Plus Menu";
+const DESCRIPTION = "Choose what the + button in the tab bar can add.";
+const HINT = "Type search · ↑↓ navigate · Space toggle · Esc close";
+/**
+ * The plus-menu dialog: every tab kind with `●` when `+` offers it and `○` when not, filtered by typed
+ * text. It owns only its filter and the row in hand; the enabled record and its saving stay with the
+ * Settings screen that opened it.
+ */
+export class PlusMenuDialog {
+    #kinds;
+    #filter = new LineInput("");
+    #index = 0;
+    constructor(kinds) {
+        this.#kinds = kinds;
+    }
+    /** The kinds the filter keeps, in kind order. */
+    shown() {
+        const needle = this.#filter.value.trim().toLowerCase();
+        return this.#kinds.filter(kind => needle.length === 0 || kind.label.toLowerCase().includes(needle));
+    }
+    /** Handles one key by its resolved name; `toggle` flips a kind. Returns whether the dialog closed. */
+    handle(name, data, toggle) {
+        const shown = this.shown();
+        if (name === "escape")
+            return "close";
+        if (name === "up" || name === "down") {
+            this.#index = Math.min(Math.max(0, shown.length - 1), Math.max(0, this.#index + (name === "down" ? 1 : -1)));
+            return "handled";
+        }
+        if (name === "space") {
+            const kind = shown[this.#index];
+            if (kind !== undefined)
+                toggle(kind.key);
+            return "handled";
+        }
+        handleLineInputKey(this.#filter, data);
+        this.#index = 0;
+        return "handled";
+    }
+    lines(enabled, width, theme) {
+        const rule = theme.fg("border", "─".repeat(Math.max(0, width)));
+        const inset = width > 0 ? " " : "";
+        const contentWidth = Math.max(0, width - inset.length);
+        const row = (painted, raw) => {
+            const clipped = truncateToWidth(painted, contentWidth);
+            return `${inset}${clipped}${" ".repeat(Math.max(0, contentWidth - displayWidth(raw)))}`;
+        };
+        const shown = this.shown();
+        const index = Math.min(this.#index, Math.max(0, shown.length - 1));
+        const rows = shown.length === 0
+            ? [row(theme.fg("dim", "No tabs match"), "No tabs match")]
+            : shown.map((kind, position) => {
+                const selected = position === index;
+                const cursor = selected ? "→ " : "  ";
+                const marker = enabled[kind.key] === true ? "●" : "○";
+                const raw = `${cursor}${marker} ${kind.label}`;
+                const content = `${selected ? theme.fg("accent", cursor) : cursor}${theme.fg("text", marker)} ${theme.fg("text", kind.label)}`;
+                return row(selected ? theme.highlight(content) : content, raw);
+            });
+        return [
+            rule,
+            row(theme.bold(theme.fg("accent", TITLE)), TITLE),
+            row(theme.fg("dim", DESCRIPTION), DESCRIPTION),
+            "",
+            ...renderInputRow(this.#filter, width, { ruled: false, promptGlyph: "> ", theme }).lines,
+            "",
+            ...rows,
+            "",
+            row(theme.fg("dim", HINT), HINT),
+            rule,
+        ];
+    }
+}

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

@@ -24,6 +24,8 @@ export interface ReferenceScreenOptions {
     readonly document: ReferenceDocumentProvider;
     /** The reader's scroll settings, read on every frame so a live change is honored. */
     readonly scrollSettings: () => OwnedUiViewportSettings;
+    /** The screen is a resident tab, such as the Changelog tab: it offers no screen-level close. */
+    readonly pinned?: boolean;
 }
 /**
  * Presents one read-only document full screen between two accent rules: the bold

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

@@ -48,6 +48,7 @@ export class ReferenceScreenApp {
     #title;
     #document;
     #scrollSettings;
+    #pinned;
     #scroll = 0;
     #interruptArmed = false;
     #failure = null;
@@ -67,6 +68,7 @@ export class ReferenceScreenApp {
         this.#title = options.title;
         this.#document = options.document;
         this.#scrollSettings = options.scrollSettings;
+        this.#pinned = options.pinned === true;
     }
     onActivate(host) {
         const ready = this.#document.ready;
@@ -139,7 +141,7 @@ export class ReferenceScreenApp {
         const withRail = withScrollbarRail(body.slice(0, bodyHeight), geometry, contentWidth, theme, { presentation });
         const hint = this.#interruptArmed
             ? theme.fg("dim", " press ctrl+c again to exit a1")
-            : renderShortcutHintsWithClose(REFERENCE_SCREEN_SHORTCUTS.hintEntries(SCOPE), theme, rect.width, 1);
+            : renderShortcutHintsWithClose(this.#hintEntries(), theme, rect.width, 1);
         // Compatibility: the v2 reference screen frames its document between two border-coloured rules.
         const rule = theme.fg("border", "─".repeat(rect.width));
         // Invariant: dialog chrome shares the title's one-cell inset; document content keeps its own layout.
@@ -153,7 +155,8 @@ export class ReferenceScreenApp {
             return { consumed: false };
         switch (action) {
             case "close":
-                host.close();
+                if (!this.#pinned)
+                    host.close();
                 return { consumed: true };
             case "up":
                 this.#scrollBy(-1);
@@ -216,6 +219,13 @@ export class ReferenceScreenApp {
         }
         return { owned: true, changed: true };
     }
+    // Invariant: a pinned screen is its tab and `Esc` does not close it, so it shows no close hint.
+    #hintEntries() {
+        const entries = REFERENCE_SCREEN_SHORTCUTS.hintEntries(SCOPE);
+        if (!this.#pinned)
+            return entries;
+        return entries.filter(entry => entry.key !== DIALOG_CLOSE_SHORTCUT_HINT.key || entry.action !== DIALOG_CLOSE_SHORTCUT_HINT.action);
+    }
     // Invariant: the title is the first document row, as in v2, so it scrolls with the document.
     #content(width, theme) {
         // Compatibility: one leading space, so the title lines up with the padded Markdown rows as in v2.

package/dist/features/owned-ui/settings-app.d.ts

@@ -1,8 +1,9 @@
 import type { AppHostServices, UiApp } from "../../ui/apps/index.js";
 import { ShortcutRegistry, type PaneInputResult, type PaneMouseEvent, type PaneRect } from "../../ui/components/index.js";
 import type { OwnedSettingsManager } from "../../ui/settings/index.js";
+import type { SettingsSearchInputFactory } from "./settings-search-input.js";
 export { SETTINGS_APP_ID, SETTINGS_ROUTE } from "./settings-route.js";
-type Action = "move-up" | "move-down" | "block-up" | "block-down" | "first" | "last" | "page-up" | "page-down" | "previous-value" | "next-value" | "activate" | "open-filter" | "close" | "undo" | "part-previous" | "part-next" | "part-change";
+type Action = "move-up" | "move-down" | "block-up" | "block-down" | "first" | "last" | "page-up" | "page-down" | "previous-value" | "next-value" | "activate" | "edit-filter" | "close" | "undo" | "part-previous" | "part-next" | "part-change";
 export declare const SETTINGS_SHORTCUTS: ShortcutRegistry<Action>;
 /**
  * The settings screen. Rows, sticky headers, scrolling, and the keymap come from
@@ -12,9 +13,15 @@ export declare const SETTINGS_SHORTCUTS: ShortcutRegistry<Action>;
 export declare class SettingsApp implements UiApp {
     #private;
     readonly id = "settings";
-    /** `pinned` presents the screen as a resident Settings tab, which offers no screen-level close. */
-    constructor(session: OwnedSettingsManager, options?: {
+    /**
+     * `pinned` presents the screen as a resident Settings tab, which offers no screen-level close;
+     * `configurePlusMenu` opens the tab bar's Plus Menu dialog in place of this screen's own.
+     */
+    constructor(session: OwnedSettingsManager, options: {
         readonly pinned?: boolean;
+        readonly searchInputFactory: SettingsSearchInputFactory;
+        readonly copyText?: (text: string) => void;
+        readonly configurePlusMenu?: (() => boolean) | null;
     });
     onActivate(host: AppHostServices): void;
     onClose(_host: AppHostServices): void;

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

@@ -1,5 +1,6 @@
 import { DIALOG_BACK_SHORTCUT_HINT, DIALOG_CLOSE_SHORTCUT_HINT } from "../../contracts/presentation/index.js";
-import { GLOBAL_SCOPE, LineInput, PLAIN_THEME, ShortcutRegistry, assertNoShortcutConflicts, blockJumpTarget, numericValues, RAIL_COLUMNS, renderDialogPanel, renderSteppedDialogPanel, renderEmptyState, renderGroupHeader, renderInputRow, renderListRow, renderNote, renderShortcutHintsWithClose, menuRowAt, regionAt, renderValueMenu, withScrollbarRail, stepperEnds, steppedValue, truncateToWidth, valueColumnFor, valueMenuFrame, blockRowSpan, displayWidth, formatLocalTime, handleLineInputKey, humanizeLabel, humanizeTitle, indexOfKey, layoutList, moveSelection, rowKey, scrollForSelection, scrollForTrackPage, scrollbarGeometry, scrollbarPresentation, ScrollbarRails, scrollbarWheelRows, selectableIndexes, } from "../../ui/components/index.js";
+import { GLOBAL_SCOPE, LineInput, PLAIN_THEME, ShortcutRegistry, assertNoShortcutConflicts, blockJumpTarget, numericValues, RAIL_COLUMNS, renderDialogPanel, renderSteppedDialogPanel, renderEmptyState, renderGroupHeader, renderListRow, renderNote, renderShortcutHintsWithClose, menuRowAt, regionAt, renderValueMenu, withScrollbarRail, stepperEnds, steppedValue, truncateToWidth, valueColumnFor, valueMenuFrame, blockRowSpan, displayWidth, formatLocalTime, handleLineInputKey, humanizeLabel, humanizeTitle, indexOfKey, layoutList, moveSelection, rowKey, scrollForSelection, scrollForTrackPage, scrollbarGeometry, scrollbarPresentation, ScrollbarRails, scrollbarWheelRows, selectableIndexes, } from "../../ui/components/index.js";
+import { PLUS_MENU_SETTING_ID, PlusMenuDialog } from "./plus-menu-dialog.js";
 import { SETTINGS_APP_ID } from "./settings-route.js";
 export { SETTINGS_APP_ID, SETTINGS_ROUTE } from "./settings-route.js";
 const SCOPE = SETTINGS_APP_ID;
@@ -19,11 +20,10 @@ const RAIL_KEY = "settings";
 // 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 SEARCH_PLACEHOLDER = "search settings";
 /** What a structured value offers instead of printing itself. */
 const CONFIGURE = "configure";
 export const SETTINGS_SHORTCUTS = new ShortcutRegistry();
-SETTINGS_SHORTCUTS.declare({ key: "/", scope: SCOPE, description: "Search settings", section: "Change", hint: { keys: "/", does: "search" } }, "open-filter");
+SETTINGS_SHORTCUTS.declare({ key: "edit", scope: SCOPE, description: "Search settings", section: "Change", hint: { keys: "Type", does: "search" } }, "edit-filter");
 SETTINGS_SHORTCUTS.declare({ key: "up", scope: SCOPE, description: "Previous setting", section: "Navigate", hint: { keys: "↑↓", does: "navigate" } }, "move-up");
 SETTINGS_SHORTCUTS.declare({ key: "down", scope: SCOPE, description: "Next setting", section: "Navigate", hint: { keys: "↑↓", does: "navigate" } }, "move-down");
 SETTINGS_SHORTCUTS.declare({ key: "shift+up", scope: SCOPE, description: "Previous section", section: "Navigate", hint: { keys: "Shift+↑↓", does: "jump" } }, "block-up");
@@ -78,7 +78,6 @@ const KEYS = {
     "\r": "enter",
     "\n": "enter",
     " ": "space",
-    "/": "/",
     "\u001a": "ctrl+z",
 };
 /**
@@ -94,8 +93,7 @@ export class SettingsApp {
     // Invariant: keyboard navigation requests visibility once; pointer scrolling then stays free.
     #selectionNeedsReveal = true;
     #reveal;
-    #filter = null;
-    #scrollBeforeFilter = null;
+    #search;
     #menu = null;
     #structured = null;
     // Invariant: pending values remain visible until the source reflects them.
@@ -120,11 +118,20 @@ export class SettingsApp {
     #activeUntil = 0;
     #activityTimer;
     #renderedScroll;
-    #pinned;
-    /** `pinned` presents the screen as a resident Settings tab, which offers no screen-level close. */
-    constructor(session, options = {}) {
+    #options;
+    /**
+     * `pinned` presents the screen as a resident Settings tab, which offers no screen-level close;
+     * `configurePlusMenu` opens the tab bar's Plus Menu dialog in place of this screen's own.
+     */
+    constructor(session, options) {
         this.#session = session;
-        this.#pinned = options.pinned === true;
+        this.#options = { pinned: options.pinned === true, configurePlusMenu: options.configurePlusMenu ?? null };
+        this.#search = {
+            input: null,
+            scrollBefore: null,
+            factory: options.searchInputFactory,
+            copyText: options.copyText ?? (() => { }),
+        };
     }
     onActivate(host) {
         this.#closed = false;
@@ -134,6 +141,8 @@ export class SettingsApp {
         this.#closed = true;
         this.#undoHistory.length = 0;
         this.#undoRequests = 0;
+        this.#search.input?.setFocused(false);
+        this.#search.input = null;
         this.#clearActivityTimer();
         this.#rails.clear();
     }
@@ -144,7 +153,7 @@ export class SettingsApp {
         const footer = this.#footerLines(rect.width, theme);
         // Invariant: the shared search input and structured panel each begin with their own standard rule.
         // That rule replaces the ordinary content/footer divider instead of stacking beneath it.
-        const dividerRows = this.#filter === null && this.#structured === null ? SETTINGS_FOOTER_DIVIDER_ROWS : 0;
+        const dividerRows = this.#search.input === null && this.#structured === null ? SETTINGS_FOOTER_DIVIDER_ROWS : 0;
         const topRows = Math.min(SETTINGS_TOP_RULE_ROWS, rect.height);
         const contentHeight = Math.max(0, rect.height - topRows - dividerRows - footer.length);
         let titleRows = this.#scroll <= 0 ? Math.min(SETTINGS_TITLE_ROWS, contentHeight) : 0;
@@ -205,7 +214,7 @@ export class SettingsApp {
         const body = [];
         this.#frameRows = [];
         if (rows.length === 0) {
-            body.push(...renderEmptyState("No settings found.", "👀", bodyHeight, contentWidth, theme));
+            body.push(...renderEmptyState("No settings found", "👀", bodyHeight, contentWidth, theme));
         }
         else {
             if (layout.topPadding > 0)
@@ -240,27 +249,32 @@ export class SettingsApp {
         return frame.slice(0, rect.height).concat(Array(Math.max(0, rect.height - frame.length)).fill(""));
     }
     onInput(data, host) {
+        if (data === "\u0003" && this.#search.input === null)
+            return { consumed: false };
         if (this.#structured !== null)
             return this.#structuredKey(data);
         if (this.#menu !== null)
             return this.#menuKey(data);
-        if (this.#filter !== null)
+        if (this.#search.input !== null)
             return this.#filterKey(data);
-        const key = KEYS[data] ?? data;
-        const action = SETTINGS_SHORTCUTS.resolve(key, SCOPE);
-        if (action === null)
-            return { consumed: false };
+        const key = KEYS[data];
+        const action = key === undefined ? null : SETTINGS_SHORTCUTS.resolve(key, SCOPE);
+        if (action === null) {
+            if (!this.#search.factory.isTextInput(data))
+                return { consumed: false };
+            openSettingsSearch(this.#search, host, data, this.#scroll);
+            this.#scroll = 0;
+            return { consumed: true };
+        }
         const rows = this.#rows();
         const selected = indexOfKey(rows, this.#selectedKey);
         switch (action) {
             case "close":
-                if (!this.#pinned)
+                if (!this.#options.pinned)
                     host.close();
                 return { consumed: true };
-            case "open-filter":
-                this.#scrollBeforeFilter = this.#scroll;
-                this.#filter = new LineInput("");
-                return { consumed: true };
+            case "edit-filter":
+                return { consumed: false };
             case "activate": {
                 const row = rows[selected];
                 if (row?.kind === "element" && row.value.structured)
@@ -310,6 +324,9 @@ export class SettingsApp {
         }
     }
     onMouse(event, _host) {
+        const searchPointer = handleSettingsSearchPointer(this.#search, event, this.#panelTopForFrame);
+        if (searchPointer !== null)
+            return searchPointer;
         const menu = this.#menu;
         const frame = this.#menuFrame;
         if (menu !== null && frame !== null) {
@@ -349,13 +366,13 @@ export class SettingsApp {
             // Invariant: the whole list pane owns wheel scrolling, including blank space beside
             // short labels. A fixed structured dialog keeps that content interaction available.
             const screenRow = event.row - 1;
-            const wheelBottom = this.#filter === null
+            const wheelBottom = this.#search.input === null
                 ? this.#bodyTopForFrame + this.#bodyHeightForFrame
                 : this.#panelTopForFrame + SETTINGS_SEARCH_INPUT_ROWS + SETTINGS_STATUS_ROWS;
             if (screenRow >= 0 && screenRow < wheelBottom) {
                 const distance = scrollbarWheelRows(this.#scrollbarSpeed());
-                if (this.#filter !== null)
-                    this.#scrollBeforeFilter = null;
+                if (this.#search.input !== null)
+                    this.#search.scrollBefore = null;
                 this.#scroll = Math.max(0, this.#scroll + (event.kind === "wheel-down" ? distance : -distance));
                 return { consumed: true };
             }
@@ -491,6 +508,9 @@ export class SettingsApp {
         // flag still has a row, showing the default the source would apply.
         if (entry.flags.length === 0)
             return;
+        // Rationale: beside a tab bar, its own Plus Menu dialog configures `+`, so both ways look the same.
+        if (entry.backend === "a1" && entry.id === PLUS_MENU_SETTING_ID && this.#options.configurePlusMenu?.() === true)
+            return;
         const stored = typeof entry.rawValue === "object" && entry.rawValue !== null && !Array.isArray(entry.rawValue)
             ? entry.rawValue
             : {};
@@ -511,6 +531,7 @@ export class SettingsApp {
             entry,
             flags: entry.flags.map(flag => flag.key),
             modelDialog,
+            plusMenu: entry.backend === "a1" && entry.id === PLUS_MENU_SETTING_ID ? new PlusMenuDialog(entry.flags) : null,
             filter: modelDialog ? new LineInput("") : null,
             step: "model",
             modelKey: null,
@@ -525,6 +546,12 @@ export class SettingsApp {
             return { consumed: false };
         if (open.modelDialog)
             return this.#modelDialogKey(open, data);
+        if (open.plusMenu !== null) {
+            const outcome = open.plusMenu.handle(KEYS[data] ?? data, data, key => this.#toggleFlag(open.flags.indexOf(key)));
+            if (outcome === "close")
+                this.#structured = null;
+            return { consumed: true };
+        }
         switch (SETTINGS_SHORTCUTS.resolve(KEYS[data] ?? data, DIALOG_SCOPE)) {
             case "close":
                 this.#structured = null;
@@ -679,18 +706,18 @@ export class SettingsApp {
         return { consumed: true };
     }
     #filterKey(data) {
-        const input = this.#filter;
+        const input = this.#search.input;
         if (input === null)
             return { consumed: false };
-        const key = KEYS[data];
-        if (SETTINGS_SHORTCUTS.resolve(key ?? data, SCOPE) === "undo") {
-            this.#undo();
+        if (data === "\u001b" || (data === "\u0003" && !input.hasSelection())) {
+            this.#scroll = closeSettingsSearch(this.#search) ?? this.#scroll;
             return { consumed: true };
         }
+        const key = KEYS[data];
         // Rationale: the boundary chords jump through the results; plain Home and End stay with
-        // the search cursor, which the shared line input moves below.
+        // the search cursor, which the shared interactive input moves below.
         if (key === "ctrl+home" || key === "ctrl+end") {
-            this.#scrollBeforeFilter = null;
+            this.#search.scrollBefore = null;
             const rows = this.#rows();
             const selectable = selectableIndexes(rows);
             const target = key === "ctrl+end" ? selectable.at(-1) : selectable[0];
@@ -702,7 +729,7 @@ export class SettingsApp {
             return { consumed: true };
         }
         if (key === "up" || key === "down" || key === "shift+up" || key === "shift+down") {
-            this.#scrollBeforeFilter = null;
+            this.#search.scrollBefore = null;
             const rows = this.#rows();
             // Rationale: nothing found means nothing to move through; the key is still swallowed
             // rather than typed into the search.
@@ -719,15 +746,10 @@ export class SettingsApp {
             this.#select(rows, moveSelection(rows, selected, forward ? 1 : -1));
             return { consumed: true };
         }
-        const outcome = handleLineInputKey(input, data);
-        if (outcome.kind === "cancelled") {
-            this.#filter = null;
-            if (this.#scrollBeforeFilter !== null)
-                this.#scroll = this.#scrollBeforeFilter;
-            this.#scrollBeforeFilter = null;
-        }
-        else {
-            this.#scrollBeforeFilter = null;
+        const before = input.getText();
+        input.handleInput(data);
+        if (input.getText() !== before) {
+            this.#search.scrollBefore = null;
             this.#scroll = 0;
         }
         return { consumed: true };
@@ -862,7 +884,7 @@ export class SettingsApp {
         this.#selectionNeedsReveal = true;
     }
     #rows() {
-        const needle = this.#filter?.value.trim().toLowerCase() ?? "";
+        const needle = this.#search.input?.getText().trim().toLowerCase() ?? "";
         const matches = (entry) => needle.length === 0
             || entry.id.toLowerCase().includes(needle)
             || labelOf(entry).toLowerCase().includes(needle);
@@ -964,6 +986,8 @@ export class SettingsApp {
     #dialogLines(open, width, theme) {
         if (open.modelDialog)
             return this.#modelDialogLines(open, width, theme);
+        if (open.plusMenu !== null)
+            return open.plusMenu.lines(open.record, width, theme);
         const rows = open.flags.map(key => {
             const declared = open.entry.flags.find(flag => flag.key === key);
             return {
@@ -1020,15 +1044,44 @@ export class SettingsApp {
             return this.#dialogLines(open, width, theme);
         // Rationale: standing guidance is more useful than transient feedback; failures still
         // roll back without displacing the Settings interaction contract.
-        const entries = SETTINGS_SHORTCUTS.hintEntries(SCOPE).filter(entry => !this.#pinned
+        const entries = SETTINGS_SHORTCUTS.hintEntries(SCOPE).filter(entry => !this.#options.pinned
             || entry.key !== DIALOG_CLOSE_SHORTCUT_HINT.key || entry.action !== DIALOG_CLOSE_SHORTCUT_HINT.action);
         const status = renderShortcutHintsWithClose(entries, theme, width, width > 0 ? 1 : 0);
-        const input = this.#filter;
+        const input = this.#search.input;
         if (input === null)
             return [status];
-        return [...renderInputRow(input, width, { placeholder: SEARCH_PLACEHOLDER, theme }).lines, status];
+        return [...input.render(width), status];
     }
 }
+function openSettingsSearch(state, host, initial, scroll) {
+    state.scrollBefore = scroll;
+    state.input = state.factory.create({
+        theme: host.theme ?? PLAIN_THEME,
+        getRows: () => host.getSize().height,
+        requestRender: () => host.requestRender(),
+        copyText: state.copyText,
+    });
+    state.input.setFocused(true);
+    state.input.handleInput(initial);
+}
+function closeSettingsSearch(state) {
+    state.input?.setFocused(false);
+    state.input = null;
+    const scroll = state.scrollBefore;
+    state.scrollBefore = null;
+    return scroll;
+}
+function handleSettingsSearchPointer(state, event, panelTop) {
+    const input = state.input;
+    if (input === null || event.kind === "wheel-up" || event.kind === "wheel-down")
+        return null;
+    const row = event.row - panelTop;
+    const overInput = row >= 1 && row <= SETTINGS_SEARCH_INPUT_ROWS;
+    if (!overInput && !input.ownsPointer())
+        return null;
+    const handled = input.handlePointer({ kind: event.kind, button: event.button, column: event.column, row });
+    return { consumed: handled || overInput, render: handled };
+}
 function modelLabelParts(label) {
     const match = /^(.*?)(\s+\[[^\]]+\])$/u.exec(label);
     return match === null ? { label } : { label: match[1] ?? label, labelSuffix: match[2] ?? "" };

package/dist/features/owned-ui/settings-search-input.d.ts

@@ -0,0 +1,29 @@
+import type { UiTheme } from "../../ui/components/index.js";
+export interface SettingsSearchPointerEvent {
+    readonly kind: "press" | "motion" | "release";
+    readonly button: number;
+    readonly column: number;
+    /** One-based row relative to the search input's top rule. */
+    readonly row: number;
+}
+/** The shared interactive input as consumed by the Settings surface. */
+export interface SettingsSearchInput {
+    render(width: number): readonly string[];
+    handleInput(data: string): void;
+    handlePointer(event: SettingsSearchPointerEvent): boolean;
+    getText(): string;
+    hasSelection(): boolean;
+    ownsPointer(): boolean;
+    setFocused(focused: boolean): void;
+}
+export interface SettingsSearchInputOptions {
+    readonly theme: UiTheme;
+    readonly getRows: () => number;
+    readonly requestRender: () => void;
+    readonly copyText: (text: string) => void;
+}
+/** Composition supplies the same configurable editor component used by the agent prompt. */
+export interface SettingsSearchInputFactory {
+    create(options: SettingsSearchInputOptions): SettingsSearchInput;
+    isTextInput(data: string): boolean;
+}

package/dist/features/owned-ui/settings-search-input.js

@@ -0,0 +1 @@
+export {};

package/dist/features/prompt-history/index.d.ts

@@ -1,4 +1,4 @@
 export { PromptHistoryService } from "./service.js";
-export { resolvePromptHistoryPath } from "./paths.js";
+export { resolvePromptHistoryPath, type PromptHistoryScope } from "./paths.js";
 export { PromptImageSidecar, collectImageChipIdentifiers } from "./image-sidecar.js";
 export type { PromptImageSidecarRecord, PromptImageSidecarAttachment } from "./image-sidecar.js";

package/dist/features/prompt-history/paths.d.ts

@@ -1,4 +1,5 @@
-export declare function resolvePromptHistoryPath(dataDir: string, profileRoot: string, platform?: NodeJS.Platform): {
+export type PromptHistoryScope = "unique" | "shared";
+export declare function resolvePromptHistoryPath(dataDir: string, profileRoot: string, platform?: NodeJS.Platform, scope?: PromptHistoryScope, sessionId?: string): {
     path: string;
     profileId: string;
     imagesDir: string;

package/dist/features/prompt-history/paths.js

@@ -1,7 +1,7 @@
 import { createHash } from "node:crypto";
 import { posix, win32 } from "node:path";
 import { PRODUCT_IDENTITY } from "../../product-identity.js";
-export function resolvePromptHistoryPath(dataDir, profileRoot, platform = process.platform) {
+export function resolvePromptHistoryPath(dataDir, profileRoot, platform = process.platform, scope = "shared", sessionId) {
     const paths = platform === "win32" ? win32 : posix;
     if (!paths.isAbsolute(dataDir) || !paths.isAbsolute(profileRoot) || dataDir.includes("\0") || profileRoot.includes("\0"))
         throw new TypeError("History requires absolute roots");
@@ -11,7 +11,15 @@ export function resolvePromptHistoryPath(dataDir, profileRoot, platform = proces
     if (platform === "win32")
         normalized = normalized.replaceAll("\\", "/").toLowerCase();
     const digest = createHash("sha256").update(JSON.stringify([1, PRODUCT_IDENTITY.commandName, normalized])).digest("hex");
-    const profileId = `${PRODUCT_IDENTITY.filesystem.temporaryPrefix}${digest}`;
+    if (scope !== "unique" && scope !== "shared")
+        throw new TypeError("Invalid history scope");
+    if (scope === "unique" && (typeof sessionId !== "string" || sessionId.length === 0 || sessionId.length > 256 || sessionId.includes("\0"))) {
+        throw new TypeError("Unique history requires a valid session ID");
+    }
+    // Compatibility: preserve the former Shared identity; a separate domain prevents
+    // collisions with per-session databases and image sidecars.
+    const profileId = scope === "shared" ? `${PRODUCT_IDENTITY.filesystem.temporaryPrefix}${digest}`
+        : `${PRODUCT_IDENTITY.filesystem.temporaryPrefix}${createHash("sha256").update(JSON.stringify([2, PRODUCT_IDENTITY.commandName, normalized, sessionId])).digest("hex")}`;
     const historyDir = paths.join(dataDir, "history");
     return { path: paths.join(historyDir, `${profileId}.sqlite3`), profileId, imagesDir: paths.join(historyDir, `${profileId}-images`) };
 }

package/dist/features/prompt-history/service.d.ts

@@ -1,5 +1,6 @@
 import type { Worker } from "node:worker_threads";
 import { type PromptHistoryFailure, type PromptHistoryPort, type PromptHistoryResult, type PromptHistorySnapshot, type PromptHistorySubmission } from "../../contracts/owned-ui/index.js";
+import { type PromptHistoryScope } from "./paths.js";
 export type HistoryRecoveryState = "starting" | "ready" | "recovering" | "blocked-storage" | "closing" | "closed";
 export interface HistoryClock {
     now(): number;
@@ -13,6 +14,8 @@ export declare class PromptHistoryService implements PromptHistoryPort {
         dataDir: string;
         profileRoot: string;
         limit: number;
+        scope?: PromptHistoryScope;
+        sessionId?: string;
         createWorker?: () => Worker;
         clock?: HistoryClock;
         random?: () => number;
@@ -21,6 +24,8 @@ export declare class PromptHistoryService implements PromptHistoryPort {
         dataDir: string;
         profileRoot: string;
         limit: number;
+        scope?: PromptHistoryScope;
+        sessionId?: string;
         createWorker?: () => Worker;
         clock?: HistoryClock;
         random?: () => number;

package/dist/features/prompt-history/service.js

@@ -129,7 +129,7 @@ export class PromptHistoryService {
             const { Worker } = await import("node:worker_threads");
             if (this.#isClosed() || generation !== this.#generation)
                 return;
-            const location = resolvePromptHistoryPath(this.options.dataDir, this.options.profileRoot);
+            const location = resolvePromptHistoryPath(this.options.dataDir, this.options.profileRoot, process.platform, this.options.scope, this.options.sessionId);
             const source = import.meta.url.endsWith(".ts");
             const entry = new URL(source ? "./worker.ts" : "./worker.js", import.meta.url);
             const options = { workerData: { ...location, limit: this.options.limit }, stdout: true, stderr: true };

package/dist/features/resident-tab/shortcut-declarations.d.ts

@@ -1,4 +1,4 @@
-export type ResidentTabAction = "tabs.new" | "tabs.close" | "tabs.rename" | "tabs.settings" | "tabs.retry" | "tabs.fresh" | "tabs.next" | "tabs.previous" | "tabs.moveRight" | "tabs.moveLeft" | `tabs.jump${1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 | 10}`;
+export type ResidentTabAction = "tabs.new" | "tabs.close" | "tabs.rename" | "tabs.settings" | "tabs.changelog" | "tabs.commands" | "tabs.retry" | "tabs.fresh" | "tabs.next" | "tabs.previous" | "tabs.moveRight" | "tabs.moveLeft" | `tabs.jump${1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 | 10}`;
 export interface ResidentTabShortcut {
     readonly id: ResidentTabAction;
     readonly defaultKey: string | null;

package/dist/features/resident-tab/shortcut-declarations.js

@@ -14,6 +14,8 @@ export const RESIDENT_TAB_SHORTCUTS = Object.freeze([
     { id: "tabs.close", defaultKey: "alt+w", scope: "global", description: "Close A1 tab" },
     { id: "tabs.rename", defaultKey: "f2", scope: "global", description: "Rename A1 tab" },
     { id: "tabs.settings", defaultKey: "alt+,", scope: "global", description: "Open Settings tab" },
+    { id: "tabs.changelog", defaultKey: null, scope: "global", description: "Open Changelog tab" },
+    { id: "tabs.commands", defaultKey: "alt+/", scope: "global", description: "Open command palette" },
     ...jumps,
     { id: "tabs.next", defaultKey: null, scope: "global", description: "View next A1 tab" },
     { id: "tabs.previous", defaultKey: null, scope: "global", description: "View previous A1 tab" },

package/dist/foundation/launch-context/index.d.ts

@@ -7,6 +7,7 @@ export declare const PRIVATE_ENVIRONMENT: Readonly<{
     releaseLayers: "LAUNCH_CONTEXT_RELEASE_LAYERS";
     launchProfile: "LAUNCH_CONTEXT_PROFILE";
     launchMode: "LAUNCH_CONTEXT_MODE";
+    updateVersion: "LAUNCH_CONTEXT_UPDATE_VERSION";
     immutableWarmup: "LAUNCH_CONTEXT_WARMUP";
     residentRootExecutable: "LAUNCH_CONTEXT_RESIDENT_ROOT_EXECUTABLE";
     residentRootArguments: "LAUNCH_CONTEXT_RESIDENT_ROOT_ARGUMENTS";
@@ -35,6 +36,7 @@ export interface LaunchContext {
     readonly releaseLayers?: string;
     readonly launchProfile?: "a1" | "pi";
     readonly launchMode?: "tabs" | "solo";
+    readonly updateVersion?: string;
     readonly immutableWarmup?: "1";
     readonly residentRootExecutable?: string;
     readonly residentRootArguments?: string;

package/dist/foundation/launch-context/index.js

@@ -7,6 +7,7 @@ export const PRIVATE_ENVIRONMENT = Object.freeze({
     releaseLayers: "LAUNCH_CONTEXT_RELEASE_LAYERS",
     launchProfile: "LAUNCH_CONTEXT_PROFILE",
     launchMode: "LAUNCH_CONTEXT_MODE",
+    updateVersion: "LAUNCH_CONTEXT_UPDATE_VERSION",
     immutableWarmup: "LAUNCH_CONTEXT_WARMUP",
     residentRootExecutable: "LAUNCH_CONTEXT_RESIDENT_ROOT_EXECUTABLE",
     residentRootArguments: "LAUNCH_CONTEXT_RESIDENT_ROOT_ARGUMENTS",