agentlas 1.0.42 → 1.0.44

package/engine/vendor/tui/fuzzy.js

@@ -0,0 +1,110 @@
+/**
+ * Fuzzy matching utilities.
+ * Matches if all query characters appear in order (not necessarily consecutive).
+ * Lower score = better match.
+ */
+export function fuzzyMatch(query, text) {
+    const queryLower = query.toLowerCase();
+    const textLower = text.toLowerCase();
+    const matchQuery = (normalizedQuery) => {
+        if (normalizedQuery.length === 0) {
+            return { matches: true, score: 0 };
+        }
+        if (normalizedQuery.length > textLower.length) {
+            return { matches: false, score: 0 };
+        }
+        let queryIndex = 0;
+        let score = 0;
+        let lastMatchIndex = -1;
+        let consecutiveMatches = 0;
+        for (let i = 0; i < textLower.length && queryIndex < normalizedQuery.length; i++) {
+            if (textLower[i] === normalizedQuery[queryIndex]) {
+                const isWordBoundary = i === 0 || /[\s\-_./:]/.test(textLower[i - 1]);
+                // Reward consecutive matches
+                if (lastMatchIndex === i - 1) {
+                    consecutiveMatches++;
+                    score -= consecutiveMatches * 5;
+                }
+                else {
+                    consecutiveMatches = 0;
+                    // Penalize gaps
+                    if (lastMatchIndex >= 0) {
+                        score += (i - lastMatchIndex - 1) * 2;
+                    }
+                }
+                // Reward word boundary matches
+                if (isWordBoundary) {
+                    score -= 10;
+                }
+                // Slight penalty for later matches
+                score += i * 0.1;
+                lastMatchIndex = i;
+                queryIndex++;
+            }
+        }
+        if (queryIndex < normalizedQuery.length) {
+            return { matches: false, score: 0 };
+        }
+        if (normalizedQuery === textLower) {
+            score -= 100;
+        }
+        return { matches: true, score };
+    };
+    const primaryMatch = matchQuery(queryLower);
+    if (primaryMatch.matches) {
+        return primaryMatch;
+    }
+    const alphaNumericMatch = queryLower.match(/^(?<letters>[a-z]+)(?<digits>[0-9]+)$/);
+    const numericAlphaMatch = queryLower.match(/^(?<digits>[0-9]+)(?<letters>[a-z]+)$/);
+    const swappedQuery = alphaNumericMatch
+        ? `${alphaNumericMatch.groups?.digits ?? ""}${alphaNumericMatch.groups?.letters ?? ""}`
+        : numericAlphaMatch
+            ? `${numericAlphaMatch.groups?.letters ?? ""}${numericAlphaMatch.groups?.digits ?? ""}`
+            : "";
+    if (!swappedQuery) {
+        return primaryMatch;
+    }
+    const swappedMatch = matchQuery(swappedQuery);
+    if (!swappedMatch.matches) {
+        return primaryMatch;
+    }
+    return { matches: true, score: swappedMatch.score + 5 };
+}
+/**
+ * Filter and sort items by fuzzy match quality (best matches first).
+ * Supports whitespace- and slash-separated tokens: all tokens must match.
+ */
+export function fuzzyFilter(items, query, getText) {
+    if (!query.trim()) {
+        return items;
+    }
+    const tokens = query
+        .trim()
+        .split(/[\s/]+/)
+        .filter((t) => t.length > 0);
+    if (tokens.length === 0) {
+        return items;
+    }
+    const results = [];
+    for (const item of items) {
+        const text = getText(item);
+        let totalScore = 0;
+        let allMatch = true;
+        for (const token of tokens) {
+            const match = fuzzyMatch(token, text);
+            if (match.matches) {
+                totalScore += match.score;
+            }
+            else {
+                allMatch = false;
+                break;
+            }
+        }
+        if (allMatch) {
+            results.push({ item, totalScore });
+        }
+    }
+    results.sort((a, b) => a.totalScore - b.totalScore);
+    return results.map((r) => r.item);
+}
+//# sourceMappingURL=fuzzy.js.map

package/engine/vendor/tui/index.js

@@ -0,0 +1,42 @@
+// Core TUI interfaces and classes
+export { Marked } from "./deps/marked/index.js";
+// Autocomplete support
+export { CombinedAutocompleteProvider, } from "./autocomplete.js";
+// Components
+export { Box } from "./components/box.js";
+export { CancellableLoader } from "./components/cancellable-loader.js";
+export { Editor } from "./components/editor.js";
+export { HStack } from "./components/h-stack.js";
+export { Image } from "./components/image.js";
+export { Input } from "./components/input.js";
+export { Loader } from "./components/loader.js";
+export { Markdown } from "./components/markdown.js";
+export { ScrollView } from "./components/scroll-view.js";
+export { SelectList, } from "./components/select-list.js";
+export { SettingsList } from "./components/settings-list.js";
+export { Spacer } from "./components/spacer.js";
+export { Text } from "./components/text.js";
+export { TruncatedText } from "./components/truncated-text.js";
+export { VStack, } from "./components/v-stack.js";
+// Fuzzy matching
+export { fuzzyFilter, fuzzyMatch } from "./fuzzy.js";
+// Keybindings
+export { getKeybindings, KeybindingsManager, setKeybindings, TUI_KEYBINDINGS, } from "./keybindings.js";
+// Keyboard input handling
+export { decodeKittyPrintable, isKeyRelease, isKeyRepeat, isKittyProtocolActive, Key, matchesKey, parseKey, setKittyProtocolActive, } from "./keys.js";
+// LaTeX rendering
+export { renderLatex } from "./latex.js";
+// Input buffering for batch splitting
+export { StdinBuffer } from "./stdin-buffer.js";
+// Terminal interface and implementations
+export { ProcessTerminal } from "./terminal.js";
+// Terminal colors
+export { parseOsc11BackgroundColor, parseTerminalColorSchemeReport, } from "./terminal-colors.js";
+// Terminal image support
+export { allocateImageId, calculateImageRows, deleteAllKittyImages, deleteKittyImage, detectCapabilities, encodeITerm2, encodeKitty, getCapabilities, getCellDimensions, getGifDimensions, getImageDimensions, getJpegDimensions, getPngDimensions, getWebpDimensions, hyperlink, imageFallback, renderImage, resetCapabilitiesCache, setCapabilities, setCellDimensions, } from "./terminal-image.js";
+export { Container, CURSOR_MARKER, compositeTuiLine, isFocusable, isViewportTUI, } from "./tui.js";
+export { TuiAltScreen } from "./tui-alt-screen.js";
+export { TuiMainScreen } from "./tui-main-screen.js";
+// Utilities
+export { getOsc8LinkAtColumn, sliceByColumn, stripTerminalSequences, truncateToWidth, visibleWidth, wrapTextWithAnsi, } from "./utils.js";
+//# sourceMappingURL=index.js.map

package/engine/vendor/tui/keybindings.js

@@ -0,0 +1,209 @@
+import { matchesKey } from "./keys.js";
+export const TUI_KEYBINDINGS = {
+    "tui.editor.cursorUp": { defaultKeys: "up", description: "Move cursor up" },
+    "tui.editor.cursorDown": { defaultKeys: "down", description: "Move cursor down" },
+    "tui.editor.historyPrevious": {
+        defaultKeys: [],
+        description: "Select previous prompt history entry",
+    },
+    "tui.editor.historyNext": {
+        defaultKeys: [],
+        description: "Select next prompt history entry",
+    },
+    "tui.editor.cursorLeft": {
+        defaultKeys: ["left", "ctrl+b"],
+        description: "Move cursor left",
+    },
+    "tui.editor.cursorRight": {
+        defaultKeys: ["right", "ctrl+f"],
+        description: "Move cursor right",
+    },
+    "tui.editor.cursorWordLeft": {
+        defaultKeys: ["alt+left", "ctrl+left", "alt+b"],
+        description: "Move cursor word left",
+    },
+    "tui.editor.cursorWordRight": {
+        defaultKeys: ["alt+right", "ctrl+right", "alt+f"],
+        description: "Move cursor word right",
+    },
+    "tui.editor.cursorLineStart": {
+        defaultKeys: ["home", "ctrl+home", "ctrl+a"],
+        description: "Move to line start",
+    },
+    "tui.editor.cursorLineEnd": {
+        defaultKeys: ["end", "ctrl+end", "ctrl+e"],
+        description: "Move to line end",
+    },
+    "tui.editor.jumpForward": {
+        defaultKeys: "ctrl+]",
+        description: "Jump forward to character",
+    },
+    "tui.editor.jumpBackward": {
+        defaultKeys: "ctrl+alt+]",
+        description: "Jump backward to character",
+    },
+    "tui.editor.pageUp": { defaultKeys: ["pageUp", "ctrl+pageUp"], description: "Page up" },
+    "tui.editor.pageDown": { defaultKeys: ["pageDown", "ctrl+pageDown"], description: "Page down" },
+    "tui.editor.deleteCharBackward": {
+        defaultKeys: "backspace",
+        description: "Delete character backward",
+    },
+    "tui.editor.deleteCharForward": {
+        defaultKeys: ["delete", "ctrl+d"],
+        description: "Delete character forward",
+    },
+    "tui.editor.deleteWordBackward": {
+        defaultKeys: ["ctrl+w", "alt+backspace"],
+        description: "Delete word backward",
+    },
+    "tui.editor.deleteWordForward": {
+        defaultKeys: ["alt+d", "alt+delete"],
+        description: "Delete word forward",
+    },
+    "tui.editor.deleteToLineStart": {
+        defaultKeys: "ctrl+u",
+        description: "Delete to line start",
+    },
+    "tui.editor.deleteToLineEnd": {
+        defaultKeys: "ctrl+k",
+        description: "Delete to line end",
+    },
+    "tui.editor.yank": { defaultKeys: "ctrl+y", description: "Yank" },
+    "tui.editor.yankPop": { defaultKeys: "alt+y", description: "Yank pop" },
+    "tui.editor.undo": { defaultKeys: "ctrl+-", description: "Undo" },
+    "tui.input.newLine": { defaultKeys: ["shift+enter", "ctrl+j"], description: "Insert newline" },
+    "tui.input.submit": { defaultKeys: "enter", description: "Submit input" },
+    "tui.input.tab": { defaultKeys: "tab", description: "Tab / autocomplete" },
+    "tui.input.copy": { defaultKeys: "ctrl+c", description: "Copy selection" },
+    "tui.select.up": { defaultKeys: "up", description: "Move selection up" },
+    "tui.select.down": { defaultKeys: "down", description: "Move selection down" },
+    "tui.select.pageUp": { defaultKeys: "pageUp", description: "Selection page up" },
+    "tui.select.pageDown": {
+        defaultKeys: "pageDown",
+        description: "Selection page down",
+    },
+    "tui.select.confirm": { defaultKeys: "enter", description: "Confirm selection" },
+    "tui.select.cancel": {
+        defaultKeys: ["escape", "ctrl+c"],
+        description: "Cancel selection",
+    },
+    // These intentionally shadow the unmodified editor bindings in fullscreen mode.
+    "tui.altScreen.pageUp": {
+        defaultKeys: "pageUp",
+        description: "Scroll viewport up one page",
+    },
+    "tui.altScreen.pageDown": {
+        defaultKeys: "pageDown",
+        description: "Scroll viewport down one page",
+    },
+    "tui.altScreen.halfPageUp": {
+        defaultKeys: [],
+        description: "Scroll viewport up half a page",
+    },
+    "tui.altScreen.halfPageDown": {
+        defaultKeys: [],
+        description: "Scroll viewport down half a page",
+    },
+    "tui.altScreen.previousPrompt": {
+        defaultKeys: "ctrl+shift+up",
+        description: "Jump to previous semantic prompt",
+    },
+    "tui.altScreen.nextPrompt": {
+        defaultKeys: "ctrl+shift+down",
+        description: "Jump to next semantic prompt",
+    },
+    "tui.altScreen.top": { defaultKeys: "home", description: "Scroll viewport to top" },
+    "tui.altScreen.bottom": { defaultKeys: "end", description: "Scroll viewport to bottom" },
+};
+function normalizeKeys(keys) {
+    if (keys === undefined)
+        return [];
+    const keyList = Array.isArray(keys) ? keys : [keys];
+    const seen = new Set();
+    const result = [];
+    for (const key of keyList) {
+        if (!seen.has(key)) {
+            seen.add(key);
+            result.push(key);
+        }
+    }
+    return result;
+}
+export class KeybindingsManager {
+    definitions;
+    userBindings;
+    keysById = new Map();
+    conflicts = [];
+    constructor(definitions, userBindings = {}) {
+        this.definitions = definitions;
+        this.userBindings = userBindings;
+        this.rebuild();
+    }
+    rebuild() {
+        this.keysById.clear();
+        this.conflicts = [];
+        const userClaims = new Map();
+        for (const [keybinding, keys] of Object.entries(this.userBindings)) {
+            if (!(keybinding in this.definitions))
+                continue;
+            for (const key of normalizeKeys(keys)) {
+                const claimants = userClaims.get(key) ?? new Set();
+                claimants.add(keybinding);
+                userClaims.set(key, claimants);
+            }
+        }
+        for (const [key, keybindings] of userClaims) {
+            if (keybindings.size > 1) {
+                this.conflicts.push({ key, keybindings: [...keybindings] });
+            }
+        }
+        for (const [id, definition] of Object.entries(this.definitions)) {
+            const userKeys = this.userBindings[id];
+            const keys = userKeys === undefined ? normalizeKeys(definition.defaultKeys) : normalizeKeys(userKeys);
+            this.keysById.set(id, keys);
+        }
+    }
+    matches(data, keybinding) {
+        const keys = this.keysById.get(keybinding) ?? [];
+        for (const key of keys) {
+            if (matchesKey(data, key))
+                return true;
+        }
+        return false;
+    }
+    getKeys(keybinding) {
+        return [...(this.keysById.get(keybinding) ?? [])];
+    }
+    getDefinition(keybinding) {
+        return this.definitions[keybinding];
+    }
+    getConflicts() {
+        return this.conflicts.map((conflict) => ({ ...conflict, keybindings: [...conflict.keybindings] }));
+    }
+    setUserBindings(userBindings) {
+        this.userBindings = userBindings;
+        this.rebuild();
+    }
+    getUserBindings() {
+        return { ...this.userBindings };
+    }
+    getResolvedBindings() {
+        const resolved = {};
+        for (const id of Object.keys(this.definitions)) {
+            const keys = this.keysById.get(id) ?? [];
+            resolved[id] = keys.length === 1 ? keys[0] : [...keys];
+        }
+        return resolved;
+    }
+}
+let globalKeybindings = null;
+export function setKeybindings(keybindings) {
+    globalKeybindings = keybindings;
+}
+export function getKeybindings() {
+    if (!globalKeybindings) {
+        globalKeybindings = new KeybindingsManager(TUI_KEYBINDINGS);
+    }
+    return globalKeybindings;
+}
+//# sourceMappingURL=keybindings.js.map