@agi-fans/dsh-tui 0.7.0 → 0.9.0

package/lib/runtime/provider-local.js

@@ -3,7 +3,7 @@
 
  * Owns the tty: raw-mode key input (editing, history, slash/tab
  * autocomplete, /settings overlay, /copy picker, Ctrl-R history search, PgUp/PgDn
- * and mouse-wheel transcript scroll, click-to-caret, Ctrl-O tool
+ * and Shift+Up/Down transcript scroll, Ctrl-O tool
  * expand, bracketed paste, double-Escape conversation rewind, double Ctrl-C exit, Ctrl-D quit),
  * SIGWINCH reflow, and the differential renderer. In non-tty mode
  * (pipes, CI) it degrades to line-based input with plain append-only
@@ -14,20 +14,19 @@ import { homedir } from 'node:os';
 import { join } from 'node:path';
 import { createInterface } from 'node:readline';
 import { TUI_SERVICE, } from "../definition.js";
-import { applySlashCompletion, formatHelpText, hitTestAutocomplete, parseSlashInput, resolveSlashCommand, slashSuggestions, BUILTIN_SLASH_COMMANDS, } from "../views/autocomplete.js";
+import { applySlashCompletion, formatHelpText, parseSlashInput, resolveSlashCommand, slashSuggestions, BUILTIN_SLASH_COMMANDS, } from "../views/autocomplete.js";
 import { applyPathCompletion, defaultPathSource, editorLineAt, findPathToken, parsePathPrefix, pathSuggestions, searchPathSuggestions, } from "../views/path-complete.js";
 import { activeAtToken } from '@deepseek-ai/dsh-file-reference/grammar';
 import { nextSelectableAutocompleteIndex, searchAtSuggestions, } from "../views/at-complete.js";
 import { copyToClipboard, readFromClipboard } from "../input/clipboard.js";
-import { applyCopySelectorEvent, createCopySelector, hitTestCopySelector, selectCopyTarget, } from "../views/copy-selector.js";
+import { applyCopySelectorEvent, createCopySelector, } from "../views/copy-selector.js";
 import { buildCopyTargets, extractCopyTarget, parseCopyKind } from "../views/copy-targets.js";
-import { applyHistorySearchEvent, createHistorySearch, hitTestHistorySearch, } from "../views/history-search.js";
+import { applyHistorySearchEvent, createHistorySearch, } from "../views/history-search.js";
 import { InputEditor, lineEnd, lineStart } from "../input/editor.js";
-import { applySettingsEvent, createSettings, hitTestSettings, selectSetting, tuiSettingItems, } from "../views/settings-list.js";
-import { applyEvent, blockLines, hitTestSubagentRoster, initialTranscript, replayEvents, renderView, TRANSCRIPT_FAST_SCROLL, TRANSCRIPT_WHEEL_SCROLL, } from "../views/event-views.js";
-import { flushPending, MOUSE_TRACKING_OFF, MOUSE_TRACKING_ON, parseKeys } from "../input/keys.js";
-import { LineRenderer } from "../chrome/renderer.js";
-import { hitTestEditor } from "../chrome/box.js";
+import { applySettingsEvent, createSettings, } from "../views/settings-list.js";
+import { applyEvent, blockLines, initialTranscript, replayEvents, renderView, TRANSCRIPT_FAST_SCROLL, } from "../views/event-views.js";
+import { flushPending, parseKeys } from "../input/keys.js";
+import { MainScreenRenderer } from "../chrome/main-screen-renderer.js";
 import { createTheme, detectTrueColor, parseThemeName } from "../chrome/theme.js";
 import { TUI_SETTINGS_NAMESPACE, TuiSettingsSchema } from "../session/tui-settings.js";
 import { defaultStatusBarConfig, resolveStatusBarConfig } from "../chrome/status-config.js";
@@ -55,7 +54,19 @@ export const name = 'omdsh-tui';
 /**
  * Local terminal presentation service.
  */
+function detectTerminalProfile() {
+    if (process.env.TMUX !== undefined || process.env.STY !== undefined || process.env.ZELLIJ !== undefined) {
+        return 'multiplexer';
+    }
+    return process.platform === 'win32' ? 'conpty' : 'direct';
+}
 export class LocalTui {
+    #deferInitialRender = false;
+    #terminalProfile;
+    #resizeDebounceMs;
+    #resizeTimer = null;
+    #streamRenderMs;
+    #streamRenderTimer = null;
     #term;
     #model;
     #reasoningEffort;
@@ -93,7 +104,6 @@ export class LocalTui {
     #autocompleteTimer = null;
     #autocompleteAbort = null;
     #autocompleteRequestId = 0;
-    #scrollRender = null;
     #paste = false;
     #pasteBuf = '';
     #pasteInFlight = 0;
@@ -131,10 +141,9 @@ export class LocalTui {
     #sessionControls;
     #loopStatus;
     #subagents;
+    #subagentLauncherFocused = false;
     #inspected;
-    #editorHit = null;
-    #chromeHit = null;
-    #overlayHit = null;
+    #promptDocument;
     #trueColor;
     #copy;
     #readClipboard;
@@ -185,30 +194,45 @@ export class LocalTui {
         this.#searchSessions = paths.searchSessions;
         this.#autocompleteDebounceMs = Math.max(0, paths.autocompleteDebounceMs ?? 100);
         this.#welcomeTips = pickWelcomeTips();
+        this.#deferInitialRender = paths.deferInitialRender === true;
+        this.#terminalProfile = paths.terminalProfile ?? detectTerminalProfile();
+        this.#resizeDebounceMs = Math.max(0, paths.resizeDebounceMs ?? 120);
+        this.#streamRenderMs = Math.max(0, paths.streamRenderMs ?? 8);
         this.#trueColor = colors && detectTrueColor();
         this.#tty = term.input.isTTY === true;
         this.#pwd = shortenPath(project.root);
         this.#branch = project.gitLabel;
-        this.#renderer = new LineRenderer({ write: (chunk) => { this.#term.output.write(chunk); } }, { synchronized: this.#tty });
+        this.#renderer = new MainScreenRenderer({ write: (chunk) => { this.#term.output.write(chunk); } }, {
+            width: this.#term.width(),
+            height: this.#term.height(),
+            synchronized: this.#tty,
+            clearScrollback: this.#terminalProfile === 'direct',
+            alternateScreenOverlays: paths.alternateScreenOverlays === true,
+        });
         if (this.#tty) {
+            this.#renderer.startEpoch();
             term.input.setRawMode?.(true);
             const listener = (chunk) => { this.#onData(chunk); };
             term.input.on('data', listener);
             this.#offData = () => { term.input.off('data', listener); };
             this.#offResize = term.onResize?.(() => {
-                // A terminal resize invalidates both the physical cursor position and
-                // the screen-relative frame retained by the differential renderer.
-                this.#renderer.reset();
-                this.#term.output.write('\x1b[2J\x1b[H');
-                this.#render();
+                // A terminal resize changes the committed/live seam; re-anchor the
+                // live window so it stays anchored at the bottom.
+                const repaint = () => {
+                    this.#resizeTimer = null;
+                    this.#renderer.resize(this.#term.width(), this.#term.height());
+                    this.#render();
+                };
+                if (this.#terminalProfile === 'multiplexer') {
+                    if (this.#resizeTimer !== null)
+                        clearTimeout(this.#resizeTimer);
+                    this.#resizeTimer = setTimeout(repaint, this.#resizeDebounceMs);
+                }
+                else {
+                    repaint();
+                }
             }) ?? null;
-            // Boot output above us (package-manager warnings, loader logs) has
-            // already scrolled the cursor off row 0; the renderer's screen-relative
-            // frames require a clean origin. Clear the screen and home the cursor
-            // before the first frame. Enable bracketed paste and SGR mouse
-            // tracking (wheel drives the virtual transcript; native scrollback
-            // is already unusable under full-screen diffs).
-            term.output.write('\x1b[2J\x1b[H\x1b[?2004h' + MOUSE_TRACKING_ON);
+            term.output.write('\x1b[?2004h');
         }
         this.#render();
     }
@@ -216,7 +240,12 @@ export class LocalTui {
         this.#state = applyEvent(this.#state, event, presentation);
         this.#syncTick();
         if (this.#tty) {
-            this.#render();
+            if (event.type === 'assistant/chunk' && this.#streamRenderMs > 0) {
+                this.#scheduleStreamRender();
+            }
+            else {
+                this.#render();
+            }
         }
         else if (event.type === 'user/message' || event.type === 'assistant/message' || event.type === 'tool/result' || event.type === 'turn/end') {
             this.#printPlain();
@@ -246,6 +275,8 @@ export class LocalTui {
         this.#subagents = roster === undefined
             ? undefined
             : { agents: roster.agents.map(agent => ({ ...agent, activity: [...agent.activity] })) };
+        if ((this.#subagents?.agents.length ?? 0) === 0)
+            this.#subagentLauncherFocused = false;
         const inspected = this.#inspected;
         if (inspected !== undefined) {
             const current = this.#subagents?.agents.find(agent => agent.id === inspected.id);
@@ -265,6 +296,8 @@ export class LocalTui {
     }
     setInspectedSubagent(inspected) {
         this.#inspected = inspected === undefined ? undefined : { ...inspected };
+        if (inspected !== undefined)
+            this.#subagentLauncherFocused = false;
         this.#syncTick();
         if (this.#tty)
             this.#render();
@@ -352,11 +385,13 @@ export class LocalTui {
             }
         });
     }
-    replaceSession(events, presentations) {
+    replaceSession(events, presentations, status = 'idle') {
         const state = replayEvents(events, presentations);
-        this.#state = { ...state, status: 'idle', compactCommandId: undefined };
+        this.#state = { ...state, status, compactCommandId: undefined };
         this.#plainPrinted = 0;
         this.#followTail();
+        this.#deferInitialRender = false;
+        this.#renderer.startEpoch({ replay: status === 'idle' ? 'full' : 'pinned' });
         if (this.#tty)
             this.#render();
         else
@@ -495,6 +530,14 @@ export class LocalTui {
         if (this.#disposed)
             return;
         this.#disposed = true;
+        if (this.#resizeTimer !== null) {
+            clearTimeout(this.#resizeTimer);
+            this.#resizeTimer = null;
+        }
+        if (this.#streamRenderTimer !== null) {
+            clearTimeout(this.#streamRenderTimer);
+            this.#streamRenderTimer = null;
+        }
         if (this.#tick !== null) {
             clearInterval(this.#tick);
             this.#tick = null;
@@ -503,19 +546,15 @@ export class LocalTui {
             clearInterval(this.#loopTick);
             this.#loopTick = null;
         }
-        if (this.#scrollRender !== null) {
-            clearImmediate(this.#scrollRender);
-            this.#scrollRender = null;
-        }
         if (this.#tty) {
             this.#offData?.();
             this.#offResize?.();
             this.#term.input.setRawMode?.(false);
             // Leave the cursor on a fresh line below the last frame so the shell
-            // prompt does not overwrite the transcript. Disable mouse tracking
-            // and bracketed paste.
+            // prompt does not overwrite the transcript. Disable bracketed paste
+            // and restore the cursor.
             this.#renderer.finish();
-            this.#term.output.write(MOUSE_TRACKING_OFF + '\x1b[?2004l\x1b[?25h\r\n');
+            this.#term.output.write('\x1b[?2004l\x1b[?25h\r\n');
             if (this.#resumeHintRequested && this.#sessionId !== undefined) {
                 this.#term.output.write(`\r\nResume this session with ${APP_NAME} --resume ${this.#sessionId}\r\n`);
             }
@@ -635,10 +674,12 @@ export class LocalTui {
         }
     }
     #render() {
-        if (this.#scrollRender !== null) {
-            clearImmediate(this.#scrollRender);
-            this.#scrollRender = null;
+        if (this.#streamRenderTimer !== null) {
+            clearTimeout(this.#streamRenderTimer);
+            this.#streamRenderTimer = null;
         }
+        if (this.#deferInitialRender)
+            return;
         const width = this.#term.width();
         const frame = this.#tty
             ? renderView(this.#state, {
@@ -671,6 +712,7 @@ export class LocalTui {
                 ...(this.#sessionControls === undefined ? {} : { sessionControls: this.#sessionControls }),
                 ...(this.#loopStatus === undefined ? {} : { loopStatus: this.#loopStatus }),
                 ...(this.#subagents === undefined ? {} : { subagents: this.#subagents }),
+                subagentLauncherFocused: this.#subagentLauncherFocused,
                 ...(this.#inspected === undefined ? {} : { inspected: this.#inspected }),
                 statusBar: this.#statusBar,
                 ...(this.#prompt === null ? {} : { promptSelector: this.#prompt }),
@@ -684,12 +726,19 @@ export class LocalTui {
             })
             : { lines: [] };
         this.#focusBlock = undefined;
-        this.#editorHit = frame.editor ?? null;
-        this.#overlayHit = frame.overlay ?? null;
-        this.#chromeHit = frame.chrome ?? null;
+        this.#promptDocument = frame.promptDocument;
         this.#syncScroll(frame.transcript);
         this.#renderer.render(frame);
     }
+    #scheduleStreamRender() {
+        if (this.#streamRenderTimer !== null)
+            return;
+        this.#streamRenderTimer = setTimeout(() => {
+            this.#streamRenderTimer = null;
+            if (!this.#disposed)
+                this.#render();
+        }, this.#streamRenderMs);
+    }
     #syncScroll(scroll) {
         if (scroll === undefined) {
             this.#scrollStart = 0;
@@ -709,24 +758,14 @@ export class LocalTui {
     #pageSize() {
         return Math.max(1, this.#scrollBudget > 2 ? this.#scrollBudget - 2 : 1);
     }
-    #scrollBy(delta, coalesce = false) {
+    #scrollBy(delta) {
         if (delta === 0 && this.#maxStart === 0)
             return;
         this.#follow = false;
         this.#scrollStart += delta;
         if (this.#scrollStart <= 0)
             this.#scrollStart = 0;
-        if (!coalesce) {
-            this.#render();
-            return;
-        }
-        if (this.#scrollRender !== null)
-            return;
-        this.#scrollRender = setImmediate(() => {
-            this.#scrollRender = null;
-            if (!this.#disposed)
-                this.#render();
-        });
+        this.#render();
     }
     #followTail() {
         this.#follow = true;
@@ -945,10 +984,6 @@ export class LocalTui {
     }
     #dispatch(event) {
         if (this.#state.status === 'compacting') {
-            if (event.type === 'mouse' && event.wheel !== null) {
-                this.#scrollBy(event.wheel < 0 ? -TRANSCRIPT_WHEEL_SCROLL : TRANSCRIPT_WHEEL_SCROLL, true);
-                return;
-            }
             if (event.type === 'key' && event.id === 'pageUp') {
                 this.#scrollBy(-this.#pageSize());
                 return;
@@ -987,11 +1022,6 @@ export class LocalTui {
             this.#pasteBuf = '';
             return;
         }
-        if (event.type === 'mouse') {
-            this.#lastEscapeTime = 0;
-            this.#handleMouse(event);
-            return;
-        }
         if (event.type !== 'key' || event.id !== 'escape')
             this.#lastEscapeTime = 0;
         if (this.#handlePrompt(event))
@@ -1074,6 +1104,8 @@ export class LocalTui {
                 this.#lastEscapeTime = 0;
             return;
         }
+        if (this.#handleSubagentLauncher(event))
+            return;
         if (event.type === 'key' && event.id === 'escape') {
             if (this.#inspected !== undefined) {
                 if (this.#inspected.writable === true && (this.#editor.text !== '' || this.#images.length > 0)) {
@@ -1267,7 +1299,7 @@ export class LocalTui {
             this.#render();
             return true;
         }
-        const scroll = this.#overlayHit?.kind === 'prompt' ? this.#overlayHit.document : undefined;
+        const scroll = this.#promptDocument;
         let documentScroll;
         if (event.id === 'up')
             documentScroll = (scroll?.start ?? prompt.documentScroll ?? 0) - 1;
@@ -1317,73 +1349,42 @@ export class LocalTui {
         }
         return true;
     }
-    #handleMouse(event) {
-        if (event.leftClick) {
-            if (this.#clickChrome(event.row))
-                return;
-            if (this.#clickOverlay(event.row))
-                return;
-            this.#clickEditor(event.row, event.col);
-            return;
-        }
-        if (event.wheel === null)
-            return;
-        const dir = event.wheel;
-        if (this.#prompt !== null) {
-            this.#handlePrompt({ type: 'key', id: dir < 0 ? 'up' : 'down' });
-            return;
-        }
-        if (this.#settings !== null) {
-            this.#applySettings({ type: 'key', id: dir < 0 ? 'up' : 'down' });
-            return;
-        }
-        if (this.#copySelector !== null) {
-            this.#applyCopySelector({ type: 'key', id: dir < 0 ? 'up' : 'down' });
-            return;
-        }
-        if (this.#search !== null) {
-            this.#applySearch({ type: 'key', id: dir < 0 ? 'up' : 'down' });
-            return;
-        }
-        if (this.#ac !== null) {
-            this.#moveAutocomplete(dir);
-            this.#render();
-            return;
-        }
-        this.#scrollBy(dir < 0 ? -TRANSCRIPT_WHEEL_SCROLL : TRANSCRIPT_WHEEL_SCROLL, true);
+    #openInspect(id) {
+        for (const listener of this.#inspects)
+            listener(id);
     }
-    #clickChrome(row) {
-        const hit = this.#chromeHit;
-        if (hit === undefined || hit === null)
+    #handleSubagentLauncher(event) {
+        const hasAgents = (this.#subagents?.agents.length ?? 0) > 0;
+        if (this.#subagentLauncherFocused) {
+            if (!hasAgents) {
+                this.#subagentLauncherFocused = false;
+                return false;
+            }
+            if (event.type === 'key' && event.id === 'enter') {
+                this.#subagentLauncherFocused = false;
+                void this.#pickSubagent();
+                return true;
+            }
+            if (event.type === 'key' && (event.id === 'escape' || event.id === 'up')) {
+                this.#subagentLauncherFocused = false;
+                this.#render();
+                return true;
+            }
+            if (event.type === 'key' && event.id === 'down')
+                return true;
+            this.#subagentLauncherFocused = false;
             return false;
-        const inspect = hit.inspect;
-        if (inspect !== undefined && row >= inspect.start && row < inspect.start + inspect.rows) {
-            this.#closeInspect();
-            return true;
         }
-        const roster = hit.subagents;
-        if (roster === undefined)
+        if (!hasAgents || event.type !== 'key' || event.id !== 'down')
             return false;
-        const localRow = row - roster.start;
-        if (localRow < 0 || localRow >= roster.rows)
+        if (this.#editor.text !== '' || this.#images.length > 0 || this.#historyIndex !== 0 || this.#ac !== null)
             return false;
-        if (localRow < roster.headerRows) {
-            void this.#pickSubagent();
-            return true;
-        }
-        const id = hitTestSubagentRoster(roster.items, localRow);
-        if (id === undefined)
-            return true;
-        if (this.#inspected?.id === id)
-            this.#closeInspect();
-        else
-            this.#openInspect(id);
+        if (this.#queuedSubmissions.length > 0 || this.#queueEditNewer !== null || this.#queueEditPending)
+            return false;
+        this.#subagentLauncherFocused = true;
+        this.#render();
         return true;
     }
-    #openInspect(id) {
-        for (const listener of this.#inspects)
-            listener(id);
-    }
     #closeInspect() {
         if (this.#inspected === undefined)
             return;
@@ -1391,6 +1392,7 @@ export class LocalTui {
             listener();
     }
     async #pickSubagent() {
+        this.#subagentLauncherFocused = false;
         const agents = this.#subagents?.agents ?? [];
         if (agents.length === 0) {
             this.notice('No subagents are available in this session.');
@@ -1398,7 +1400,7 @@ export class LocalTui {
         }
         const initialValue = this.#inspected?.id ?? agents[0]?.id;
         const answer = await this.prompt({
-            title: 'Agents',
+            title: 'Agent Hub',
             question: 'Open a subagent transcript',
             options: agents.map(agent => ({
                 label: agent.label,
@@ -1407,93 +1409,14 @@ export class LocalTui {
             })),
             ...(initialValue === undefined ? {} : { initialValue }),
             allowCustom: false,
-            ...(agents.length > 8 ? { presentation: 'fullscreen-list', filterable: true } : {}),
+            presentation: 'fullscreen-list',
+            filterable: true,
             submitLabel: 'open',
         });
         if (answer === null || answer === '')
             return;
         this.#openInspect(answer);
     }
-    #clickOverlay(row) {
-        const hit = this.#overlayHit;
-        if (hit === null)
-            return false;
-        const localRow = row - hit.start;
-        if (hit.kind === 'settings' && this.#settings !== null) {
-            const index = hitTestSettings(hit.itemRows ?? tuiSettingItems(this.#settings.prefs).length, localRow);
-            if (index === undefined)
-                return true;
-            if (index === this.#settings.selected) {
-                this.#applySettings({ type: 'key', id: 'enter' });
-            }
-            else {
-                this.#settings = selectSetting(this.#settings, index);
-                this.#render();
-            }
-            return true;
-        }
-        if (hit.kind === 'copy' && this.#copySelector !== null) {
-            const index = hitTestCopySelector(this.#copySelector.items.length, this.#copySelector.selected, localRow);
-            if (index === undefined)
-                return true;
-            if (index === this.#copySelector.selected) {
-                this.#applyCopySelector({ type: 'key', id: 'enter' });
-            }
-            else {
-                this.#copySelector = selectCopyTarget(this.#copySelector, index);
-                this.#render();
-            }
-            return true;
-        }
-        if (hit.kind === 'autocomplete' && this.#ac !== null) {
-            const index = hitTestAutocomplete(this.#ac.items.length, this.#ac.selected, localRow);
-            if (index === undefined || this.#ac.items[index]?.kind === 'heading')
-                return true;
-            this.#ac = { ...this.#ac, selected: index };
-            this.#applySelectedCompletion();
-            this.#render();
-            return true;
-        }
-        if (hit.kind === 'search' && this.#search !== null) {
-            const index = hitTestHistorySearch(this.#search.results.length, this.#search.selected, localRow, hit.resultsRow ?? 0);
-            if (index === undefined)
-                return true;
-            this.#search = { ...this.#search, selected: index };
-            this.#applySearch({ type: 'key', id: 'enter' });
-            return true;
-        }
-        if (hit.kind === 'prompt' && this.#prompt !== null) {
-            const index = hit.itemRows?.[localRow];
-            if (index === undefined)
-                return true;
-            if (index === this.#prompt.selected) {
-                this.#finishPrompt(selectedFilteredPromptAnswer(this.#prompt, this.#editor.text));
-                this.#editor.setText('');
-            }
-            else {
-                this.#prompt = { ...this.#prompt, selected: index };
-            }
-            this.#render();
-            return true;
-        }
-        return false;
-    }
-    #clickEditor(row, col) {
-        if (this.#settings !== null || this.#copySelector !== null || this.#search !== null)
-            return;
-        const hit = this.#editorHit;
-        if (hit === null)
-            return;
-        const localRow = row - hit.start;
-        if (localRow < 0 || localRow >= hit.rows)
-            return;
-        const index = hitTestEditor(this.#editor.text, this.#term.width(), localRow, col);
-        if (index === undefined)
-            return;
-        this.#editor.setCursor(index);
-        this.#refreshAutocomplete();
-        this.#render();
-    }
     #prefs() {
         return {
             theme: this.#themeName,
@@ -1806,7 +1729,6 @@ export class LocalTui {
         }
         if (command.kind === 'resetDisplay') {
             this.#renderer.reset();
-            this.#term.output.write('\x1b[2J\x1b[H');
             this.#render();
         }
     }
@@ -1981,6 +1903,7 @@ export class LocalTui {
         if (command.name === 'clear') {
             this.#state = initialTranscript();
             this.#followTail();
+            this.#renderer.startEpoch();
             this.#render();
             return;
         }
@@ -2155,7 +2078,6 @@ export class LocalTui {
         finally {
             this.#term.input.setRawMode?.(true);
             this.#renderer.reset();
-            this.#term.output.write('\x1b[2J\x1b[H');
             this.#refreshAutocomplete();
             this.#render();
         }
@@ -2168,6 +2090,7 @@ export class LocalTui {
  */
 export function apply(ctx, config) {
     const dshHome = process.env.OMDSH_HOME ?? process.env.DSH_HOME ?? join(homedir(), '.dsh');
+    const terminalProfile = detectTerminalProfile();
     const term = {
         output: process.stdout,
         input: process.stdin,
@@ -2179,6 +2102,9 @@ export function apply(ctx, config) {
         },
     };
     const tui = new LocalTui(term, config.model, config.colors ?? term.output.isTTY === true, parseThemeName(config.theme), copyToClipboard, {
+        deferInitialRender: true,
+        terminalProfile,
+        alternateScreenOverlays: terminalProfile === 'direct',
         historyPath: config.historyPath ?? join(dshHome, 'omdsh', 'history.jsonl'),
         keybindingsPath: config.keybindingsPath ?? join(dshHome, 'omdsh', 'keybindings.json'),
     });