deepclause-sdk 0.1.2 → 0.2.1

package/dist/repl/tui/document.js

@@ -0,0 +1,160 @@
+/**
+ * Component transcript for the fullscreen TUI.
+ *
+ * The plain/readline path keeps the line-based `TranscriptComponent`; the TUI
+ * needs a tree, because a tool call, a streamed answer and a code fence have to
+ * be *components* (so markdown can be re-rendered as text arrives, a tool pane can
+ * expand, and `ScrollView` can scroll a bounded document).
+ *
+ * Entries are either styled text lines (rendered at the current width, so a
+ * resize re-wraps them) or components rendered as-is.
+ */
+import { visibleWidth, wrapTextWithAnsi, } from '@earendil-works/pi-tui';
+import { renderSteerLine, renderUserLine, STEER_LABEL } from './theme.js';
+/**
+ * The stem and indentation a line starts with (`run │ `, `    │ `, `run │     `, or
+ * leading spaces), so a wrapped line keeps it.
+ *
+ * The line renderer embeds the frame prefix in the text it emits. When the document
+ * then wraps that text to the terminal width, the continuation lines carried no
+ * prefix at all — a wrapped solution read as `T = "…"` followed by an unindented
+ * second line, outside the tree.
+ */
+function leadingStem(text) {
+    const match = /^((?:\s*(?:\w+ )?│ )?\s*)/.exec(text);
+    return match?.[1] ?? '';
+}
+/** A bounded component document: append-only, with one live (unterminated) line. */
+export class TranscriptDocument {
+    entries = [];
+    pending = '';
+    pendingStyle;
+    maxEntries;
+    /** Called whenever content changes, so the TUI can schedule a render. */
+    onChange;
+    constructor(maxEntries = 2000) {
+        this.maxEntries = maxEntries;
+    }
+    trim() {
+        if (this.entries.length > this.maxEntries) {
+            this.entries.splice(0, this.entries.length - this.maxEntries);
+        }
+    }
+    /** Append one styled line. Consecutive blank lines collapse. */
+    appendText(line, style) {
+        const last = this.entries[this.entries.length - 1];
+        if (line === '' && last?.kind === 'text' && last.text === '') {
+            return;
+        }
+        this.entries.push({ kind: 'text', text: line, style });
+        this.trim();
+        this.onChange?.();
+    }
+    /** Alias for `appendText`, matching the line-based transcript's API. */
+    append(line, style) {
+        this.appendText(line, style);
+    }
+    /**
+     * Append a component (a tool pane, markdown block, status notice).
+     *
+     * Components get a blank line above them unless the document already ends in one.
+     * Without it a tool call, its output and the next tool call read as one wall of
+     * text — the transcript has no other separation once the blocks are adjacent.
+     */
+    appendComponent(component) {
+        const last = this.entries[this.entries.length - 1];
+        const atStart = this.entries.length === 0;
+        if (!atStart && !(last?.kind === 'text' && last.text === '')) {
+            this.entries.push({ kind: 'text', text: '' });
+        }
+        this.entries.push({ kind: 'component', component });
+        this.trim();
+        this.onChange?.();
+    }
+    /** Append terminal-image lines verbatim: they must not be wrapped or measured. */
+    appendImageLines(lines) {
+        for (const line of lines) {
+            this.entries.push({ kind: 'image', line });
+        }
+        this.trim();
+        this.onChange?.();
+    }
+    /** The live (not yet newline-terminated) line, as the line sink writes it. */
+    setPending(line, style) {
+        this.pending = line;
+        this.pendingStyle = style;
+        this.onChange?.();
+    }
+    /** Whether anything has been written (used to separate user turns). */
+    isEmpty() {
+        return this.entries.length === 0 && this.pending === '';
+    }
+    /**
+     * One string per entry. Kept for callers that only ask "is there output yet";
+     * the rendered text of a component is not available without a width.
+     */
+    getLines() {
+        return this.entries.map((entry) => entry.kind === 'text' ? entry.text : entry.kind === 'image' ? entry.line : '');
+    }
+    clear() {
+        this.entries = [];
+        this.pending = '';
+        this.onChange?.();
+    }
+    render(width) {
+        const source = this.pending
+            ? [...this.entries, { kind: 'text', text: this.pending, style: this.pendingStyle }]
+            : this.entries;
+        const out = [];
+        for (const entry of source) {
+            if (entry.kind === 'image') {
+                out.push(entry.line);
+                continue;
+            }
+            if (entry.kind === 'component') {
+                out.push(...entry.component.render(width));
+                continue;
+            }
+            if (width <= 0) {
+                out.push(entry.text);
+                continue;
+            }
+            // Styled blocks reserve room for their label/padding.
+            if (entry.style === 'user' || entry.style === 'steer') {
+                const wrapWidth = entry.style === 'user'
+                    ? Math.max(1, width - 2)
+                    : Math.max(1, width - STEER_LABEL.length);
+                const wrapped = visibleWidth(entry.text) <= wrapWidth
+                    ? [entry.text]
+                    : wrapTextWithAnsi(entry.text, wrapWidth);
+                wrapped.forEach((line, index) => {
+                    if (entry.style === 'user')
+                        out.push(renderUserLine(line, width));
+                    else
+                        out.push(renderSteerLine(line, width, index === 0));
+                });
+                continue;
+            }
+            // Everything else: keep the line's stem (`run │ `, or its indent) out of the
+            // wrap and put it back on every line. Handing the wrapper a string that already
+            // begins with indentation splits it wrongly — it produced a line containing
+            // nothing but the stem, and a leading blank line for indented text.
+            const stem = leadingStem(entry.text);
+            const body = entry.text.slice(stem.length);
+            const bodyWidth = Math.max(1, width - visibleWidth(stem));
+            const wrapped = visibleWidth(body) <= bodyWidth
+                ? [body]
+                : wrapTextWithAnsi(body, bodyWidth);
+            for (const line of wrapped)
+                out.push(`${stem}${line}`);
+        }
+        return out;
+    }
+    invalidate() {
+        for (const entry of this.entries) {
+            if (entry.kind === 'component')
+                entry.component.invalidate?.();
+        }
+    }
+}
+//# sourceMappingURL=document.js.map

package/dist/repl/tui/document.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"document.js","sourceRoot":"","sources":["../../../src/repl/tui/document.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AAEH,OAAO,EACL,YAAY,EACZ,gBAAgB,GAEjB,MAAM,wBAAwB,CAAC;AAEhC,OAAO,EAAE,eAAe,EAAE,cAAc,EAAE,WAAW,EAAE,MAAM,YAAY,CAAC;AAI1E;;;;;;;;GAQG;AACH,SAAS,WAAW,CAAC,IAAY;IAC/B,MAAM,KAAK,GAAG,2BAA2B,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACrD,OAAO,KAAK,EAAE,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;AAC1B,CAAC;AAoBD,oFAAoF;AACpF,MAAM,OAAO,kBAAkB;IACrB,OAAO,GAAY,EAAE,CAAC;IACtB,OAAO,GAAG,EAAE,CAAC;IACb,YAAY,CAAqB;IACxB,UAAU,CAAS;IACpC,yEAAyE;IACzE,QAAQ,CAAc;IAEtB,YAAY,UAAU,GAAG,IAAI;QAC3B,IAAI,CAAC,UAAU,GAAG,UAAU,CAAC;IAC/B,CAAC;IAEO,IAAI;QACV,IAAI,IAAI,CAAC,OAAO,CAAC,MAAM,GAAG,IAAI,CAAC,UAAU,EAAE,CAAC;YAC1C,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,EAAE,IAAI,CAAC,OAAO,CAAC,MAAM,GAAG,IAAI,CAAC,UAAU,CAAC,CAAC;QAChE,CAAC;IACH,CAAC;IAED,gEAAgE;IAChE,UAAU,CAAC,IAAY,EAAE,KAAyB;QAChD,MAAM,IAAI,GAAG,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;QACnD,IAAI,IAAI,KAAK,EAAE,IAAI,IAAI,EAAE,IAAI,KAAK,MAAM,IAAI,IAAI,CAAC,IAAI,KAAK,EAAE,EAAE,CAAC;YAC7D,OAAO;QACT,CAAC;QACD,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC;QACvD,IAAI,CAAC,IAAI,EAAE,CAAC;QACZ,IAAI,CAAC,QAAQ,EAAE,EAAE,CAAC;IACpB,CAAC;IAED,wEAAwE;IACxE,MAAM,CAAC,IAAY,EAAE,KAAyB;QAC5C,IAAI,CAAC,UAAU,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;IAC/B,CAAC;IAED;;;;;;OAMG;IACH,eAAe,CAAC,SAAoB;QAClC,MAAM,IAAI,GAAG,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;QACnD,MAAM,OAAO,GAAG,IAAI,CAAC,OAAO,CAAC,MAAM,KAAK,CAAC,CAAC;QAC1C,IAAI,CAAC,OAAO,IAAI,CAAC,CAAC,IAAI,EAAE,IAAI,KAAK,MAAM,IAAI,IAAI,CAAC,IAAI,KAAK,EAAE,CAAC,EAAE,CAAC;YAC7D,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC,CAAC;QAChD,CAAC;QACD,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,WAAW,EAAE,SAAS,EAAE,CAAC,CAAC;QACpD,IAAI,CAAC,IAAI,EAAE,CAAC;QACZ,IAAI,CAAC,QAAQ,EAAE,EAAE,CAAC;IACpB,CAAC;IAED,kFAAkF;IAClF,gBAAgB,CAAC,KAAe;QAC9B,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;YACzB,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC,CAAC;QAC7C,CAAC;QACD,IAAI,CAAC,IAAI,EAAE,CAAC;QACZ,IAAI,CAAC,QAAQ,EAAE,EAAE,CAAC;IACpB,CAAC;IAED,8EAA8E;IAC9E,UAAU,CAAC,IAAY,EAAE,KAAyB;QAChD,IAAI,CAAC,OAAO,GAAG,IAAI,CAAC;QACpB,IAAI,CAAC,YAAY,GAAG,KAAK,CAAC;QAC1B,IAAI,CAAC,QAAQ,EAAE,EAAE,CAAC;IACpB,CAAC;IAED,uEAAuE;IACvE,OAAO;QACL,OAAO,IAAI,CAAC,OAAO,CAAC,MAAM,KAAK,CAAC,IAAI,IAAI,CAAC,OAAO,KAAK,EAAE,CAAC;IAC1D,CAAC;IAED;;;OAGG;IACH,QAAQ;QACN,OAAO,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAChC,KAAK,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,KAAK,OAAO,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;IACnF,CAAC;IAED,KAAK;QACH,IAAI,CAAC,OAAO,GAAG,EAAE,CAAC;QAClB,IAAI,CAAC,OAAO,GAAG,EAAE,CAAC;QAClB,IAAI,CAAC,QAAQ,EAAE,EAAE,CAAC;IACpB,CAAC;IAED,MAAM,CAAC,KAAa;QAClB,MAAM,MAAM,GAAY,IAAI,CAAC,OAAO;YAClC,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,OAAO,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,CAAC,OAAO,EAAE,KAAK,EAAE,IAAI,CAAC,YAAY,EAAE,CAAC;YACnF,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC;QAEjB,MAAM,GAAG,GAAa,EAAE,CAAC;QACzB,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;YAC3B,IAAI,KAAK,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;gBAC3B,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;gBACrB,SAAS;YACX,CAAC;YACD,IAAI,KAAK,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;gBAC/B,GAAG,CAAC,IAAI,CAAC,GAAG,KAAK,CAAC,SAAS,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC;gBAC3C,SAAS;YACX,CAAC;YACD,IAAI,KAAK,IAAI,CAAC,EAAE,CAAC;gBACf,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;gBACrB,SAAS;YACX,CAAC;YACD,sDAAsD;YACtD,IAAI,KAAK,CAAC,KAAK,KAAK,MAAM,IAAI,KAAK,CAAC,KAAK,KAAK,OAAO,EAAE,CAAC;gBACtD,MAAM,SAAS,GAAG,KAAK,CAAC,KAAK,KAAK,MAAM;oBACtC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,KAAK,GAAG,CAAC,CAAC;oBACxB,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,KAAK,GAAG,WAAW,CAAC,MAAM,CAAC,CAAC;gBAC5C,MAAM,OAAO,GAAG,YAAY,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,SAAS;oBACnD,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC;oBACd,CAAC,CAAC,gBAAgB,CAAC,KAAK,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC;gBAC5C,OAAO,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE;oBAC9B,IAAI,KAAK,CAAC,KAAK,KAAK,MAAM;wBAAE,GAAG,CAAC,IAAI,CAAC,cAAc,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC;;wBAC7D,GAAG,CAAC,IAAI,CAAC,eAAe,CAAC,IAAI,EAAE,KAAK,EAAE,KAAK,KAAK,CAAC,CAAC,CAAC,CAAC;gBAC3D,CAAC,CAAC,CAAC;gBACH,SAAS;YACX,CAAC;YAED,6EAA6E;YAC7E,gFAAgF;YAChF,4EAA4E;YAC5E,oEAAoE;YACpE,MAAM,IAAI,GAAG,WAAW,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;YACrC,MAAM,IAAI,GAAG,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;YAC3C,MAAM,SAAS,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,KAAK,GAAG,YAAY,CAAC,IAAI,CAAC,CAAC,CAAC;YAC1D,MAAM,OAAO,GAAG,YAAY,CAAC,IAAI,CAAC,IAAI,SAAS;gBAC7C,CAAC,CAAC,CAAC,IAAI,CAAC;gBACR,CAAC,CAAC,gBAAgB,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC;YACtC,KAAK,MAAM,IAAI,IAAI,OAAO;gBAAE,GAAG,CAAC,IAAI,CAAC,GAAG,IAAI,GAAG,IAAI,EAAE,CAAC,CAAC;QACzD,CAAC;QACD,OAAO,GAAG,CAAC;IACb,CAAC;IAED,UAAU;QACR,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,OAAO,EAAE,CAAC;YACjC,IAAI,KAAK,CAAC,IAAI,KAAK,WAAW;gBAAE,KAAK,CAAC,SAAS,CAAC,UAAU,EAAE,EAAE,CAAC;QACjE,CAAC;IACH,CAAC;CACF"}

package/dist/repl/tui/harness-view.d.ts

@@ -0,0 +1,102 @@
+/**
+ * The harness side view: watch the module change while the agent builds it.
+ *
+ * A second column beside the transcript, showing what the harness *is right now* —
+ * including uncommitted edits, because it reads the session module rather than the
+ * last commit. Each predicate gets a row with its size and what it is (entry point,
+ * tool, documented), and anything that changed since the previous frame is marked and
+ * flashes for a moment, so an edit is visible as it happens rather than only in the
+ * transcript.
+ *
+ * It also keeps a short history of the module's size and draws it as a sparkline: a
+ * harness taking shape has a shape of its own, and it is the one thing here that
+ * rewards watching over time.
+ */
+import { type Component, type TuiMouseEvent, type TuiMouseEventResult } from '@earendil-works/pi-tui';
+/** One predicate as the side view shows it. */
+export interface HarnessPredicate {
+    indicator: string;
+    name: string;
+    arity: number;
+    clauses: number;
+    /** `entry` (agent_main), `tool`, `doc`, `touched` (changed in the open transaction). */
+    flags: string[];
+}
+export interface HarnessSnapshot {
+    predicates: HarnessPredicate[];
+    /** Last committed version, when history is enabled. */
+    version?: number;
+    /** True while an edit transaction is open (uncommitted edits are shown). */
+    transactionOpen: boolean;
+    /** Predicates the open transaction has touched. */
+    touched: string[];
+    lastCommit?: boolean;
+}
+export interface HarnessViewOptions {
+    /** Injectable clock, so the flash window is testable without fake timers. */
+    now?: () => number;
+    /** Ask the host for a predicate's source; answered with `setSource`. */
+    requestSource?: (indicator: string) => void;
+    /** Called when the user leaves the view, so focus can go back to the editor. */
+    onExit?: () => void;
+}
+export declare class HarnessView implements Component {
+    private readonly getSnapshot;
+    private readonly clock;
+    /** Which predicates changed last refresh, and when, so the marker can fade. */
+    private changes;
+    private previous;
+    private history;
+    private rows;
+    private removed;
+    private lastRefresh;
+    private lastNote;
+    /** Cursor and the predicate being drilled into. */
+    private selected;
+    private openIndicator?;
+    private sourceLines;
+    private sourceLoading;
+    /** Where the predicate rows start in the rendered output, for hit-testing clicks. */
+    private rowsStart;
+    constructor(getSnapshot: () => HarnessSnapshot | undefined, options?: HarnessViewOptions);
+    private readonly requestSource?;
+    private readonly onExit?;
+    /** The predicate under the cursor. */
+    get selectedIndicator(): string | undefined;
+    /** The predicate currently drilled into, if any. */
+    get open(): string | undefined;
+    /** The host's answer to `requestSource`. */
+    setSource(indicator: string, lines: string[]): void;
+    private openPredicate;
+    private closeDrilldown;
+    /** Keyboard: move the cursor, open a predicate, go back. */
+    handleInput(data: string): void;
+    /**
+     * Mouse: the alternate screen routes a click to the box under the pointer and makes
+     * `y` relative to this component, so the rendered line index is the hit test.
+     */
+    handleMouse(event: TuiMouseEvent): TuiMouseEventResult | undefined;
+    private moveCursor;
+    private clampSelectedToCursor;
+    /** Refresh from the session. Cheap enough to call after every tool call. */
+    refresh(): void;
+    /** True while a change marker is still within its flash window. */
+    private marker;
+    /**
+     * Rendered fresh every frame, deliberately: the output depends on the clock (a
+     * marker fades), so a width-keyed cache holds stale lines exactly when the change
+     * should be visible. A width-keyed cache is what froze the flash on screen.
+     */
+    render(width: number): string[];
+    private renderLines;
+    /** The clauses of the predicate under the cursor, indented under the view's rule. */
+    private drilldown;
+    private row;
+    private touchedIndicators;
+    /** A compact sparkline of the module's size, oldest to newest. */
+    private sparkline;
+    invalidate(): void;
+}
+/** Wrap a long indicator for a narrow column, so nothing is silently cut. */
+export declare function wrapIndicator(indicator: string, width: number): string[];
+//# sourceMappingURL=harness-view.d.ts.map

package/dist/repl/tui/harness-view.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"harness-view.d.ts","sourceRoot":"","sources":["../../../src/repl/tui/harness-view.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;GAaG;AAEH,OAAO,EAKL,KAAK,SAAS,EACd,KAAK,aAAa,EAClB,KAAK,mBAAmB,EACzB,MAAM,wBAAwB,CAAC;AAIhC,+CAA+C;AAC/C,MAAM,WAAW,gBAAgB;IAC/B,SAAS,EAAE,MAAM,CAAC;IAClB,IAAI,EAAE,MAAM,CAAC;IACb,KAAK,EAAE,MAAM,CAAC;IACd,OAAO,EAAE,MAAM,CAAC;IAChB,wFAAwF;IACxF,KAAK,EAAE,MAAM,EAAE,CAAC;CACjB;AAED,MAAM,WAAW,eAAe;IAC9B,UAAU,EAAE,gBAAgB,EAAE,CAAC;IAC/B,uDAAuD;IACvD,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,4EAA4E;IAC5E,eAAe,EAAE,OAAO,CAAC;IACzB,mDAAmD;IACnD,OAAO,EAAE,MAAM,EAAE,CAAC;IAClB,UAAU,CAAC,EAAE,OAAO,CAAC;CACtB;AAUD,MAAM,WAAW,kBAAkB;IACjC,6EAA6E;IAC7E,GAAG,CAAC,EAAE,MAAM,MAAM,CAAC;IACnB,wEAAwE;IACxE,aAAa,CAAC,EAAE,CAAC,SAAS,EAAE,MAAM,KAAK,IAAI,CAAC;IAC5C,gFAAgF;IAChF,MAAM,CAAC,EAAE,MAAM,IAAI,CAAC;CACrB;AAED,qBAAa,WAAY,YAAW,SAAS;IAC3C,OAAO,CAAC,QAAQ,CAAC,WAAW,CAAoC;IAChE,OAAO,CAAC,QAAQ,CAAC,KAAK,CAAe;IACrC,+EAA+E;IAC/E,OAAO,CAAC,OAAO,CAAmD;IAClE,OAAO,CAAC,QAAQ,CAA6B;IAC7C,OAAO,CAAC,OAAO,CAAgB;IAC/B,OAAO,CAAC,IAAI,CAAqC;IACjD,OAAO,CAAC,OAAO,CAAgB;IAC/B,OAAO,CAAC,WAAW,CAAK;IACxB,OAAO,CAAC,QAAQ,CAAM;IACtB,mDAAmD;IACnD,OAAO,CAAC,QAAQ,CAAK;IACrB,OAAO,CAAC,aAAa,CAAC,CAAS;IAC/B,OAAO,CAAC,WAAW,CAAgB;IACnC,OAAO,CAAC,aAAa,CAAS;IAC9B,qFAAqF;IACrF,OAAO,CAAC,SAAS,CAAK;gBAEV,WAAW,EAAE,MAAM,eAAe,GAAG,SAAS,EAAE,OAAO,GAAE,kBAAuB;IAO5F,OAAO,CAAC,QAAQ,CAAC,aAAa,CAAC,CAA8B;IAC7D,OAAO,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAa;IAErC,sCAAsC;IACtC,IAAI,iBAAiB,IAAI,MAAM,GAAG,SAAS,CAE1C;IAED,oDAAoD;IACpD,IAAI,IAAI,IAAI,MAAM,GAAG,SAAS,CAE7B;IAED,4CAA4C;IAC5C,SAAS,CAAC,SAAS,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,GAAG,IAAI;IAMnD,OAAO,CAAC,aAAa;IAQrB,OAAO,CAAC,cAAc;IAMtB,4DAA4D;IAC5D,WAAW,CAAC,IAAI,EAAE,MAAM,GAAG,IAAI;IAwB/B;;;OAGG;IACH,WAAW,CAAC,KAAK,EAAE,aAAa,GAAG,mBAAmB,GAAG,SAAS;IAsBlE,OAAO,CAAC,UAAU;IAKlB,OAAO,CAAC,qBAAqB;IAO7B,4EAA4E;IAC5E,OAAO,IAAI,IAAI;IA2Cf,mEAAmE;IACnE,OAAO,CAAC,MAAM;IAMd;;;;OAIG;IACH,MAAM,CAAC,KAAK,EAAE,MAAM,GAAG,MAAM,EAAE;IAI/B,OAAO,CAAC,WAAW;IAoDnB,qFAAqF;IACrF,OAAO,CAAC,SAAS;IAuBjB,OAAO,CAAC,GAAG;IA0BX,OAAO,CAAC,iBAAiB;IAKzB,kEAAkE;IAClE,OAAO,CAAC,SAAS;IAiBjB,UAAU,IAAI,IAAI;CAGnB;AAOD,6EAA6E;AAC7E,wBAAgB,aAAa,CAAC,SAAS,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,GAAG,MAAM,EAAE,CAExE"}

package/dist/repl/tui/harness-view.js

@@ -0,0 +1,323 @@
+/**
+ * The harness side view: watch the module change while the agent builds it.
+ *
+ * A second column beside the transcript, showing what the harness *is right now* —
+ * including uncommitted edits, because it reads the session module rather than the
+ * last commit. Each predicate gets a row with its size and what it is (entry point,
+ * tool, documented), and anything that changed since the previous frame is marked and
+ * flashes for a moment, so an edit is visible as it happens rather than only in the
+ * transcript.
+ *
+ * It also keeps a short history of the module's size and draws it as a sparkline: a
+ * harness taking shape has a shape of its own, and it is the one thing here that
+ * rewards watching over time.
+ */
+import { matchesKey, truncateToWidth, visibleWidth, wrapTextWithAnsi, } from '@earendil-works/pi-tui';
+import { paintToken, tuiStyle } from './theme.js';
+/** How long a change keeps its marker. */
+const FLASH_MS = 4000;
+/** Rows of history in the sparkline. */
+const SPARK_POINTS = 28;
+const SPARK_CHARS = ['▁', '▂', '▃', '▄', '▅', '▆', '▇', '█'];
+export class HarnessView {
+    getSnapshot;
+    clock;
+    /** Which predicates changed last refresh, and when, so the marker can fade. */
+    changes = new Map();
+    previous = new Map();
+    history = [];
+    rows = [];
+    removed = [];
+    lastRefresh = 0;
+    lastNote = '';
+    /** Cursor and the predicate being drilled into. */
+    selected = 0;
+    openIndicator;
+    sourceLines = [];
+    sourceLoading = false;
+    /** Where the predicate rows start in the rendered output, for hit-testing clicks. */
+    rowsStart = 0;
+    constructor(getSnapshot, options = {}) {
+        this.getSnapshot = getSnapshot;
+        this.clock = options.now ?? (() => Date.now());
+        this.requestSource = options.requestSource;
+        this.onExit = options.onExit;
+    }
+    requestSource;
+    onExit;
+    /** The predicate under the cursor. */
+    get selectedIndicator() {
+        return this.rows[this.selected]?.indicator;
+    }
+    /** The predicate currently drilled into, if any. */
+    get open() {
+        return this.openIndicator;
+    }
+    /** The host's answer to `requestSource`. */
+    setSource(indicator, lines) {
+        if (indicator !== this.openIndicator)
+            return;
+        this.sourceLines = lines.map((line) => line.replace(/\s+$/, ''));
+        this.sourceLoading = false;
+    }
+    openPredicate(indicator) {
+        if (!indicator)
+            return;
+        this.openIndicator = indicator;
+        this.sourceLines = [];
+        this.sourceLoading = true;
+        this.requestSource?.(indicator);
+    }
+    closeDrilldown() {
+        this.openIndicator = undefined;
+        this.sourceLines = [];
+        this.sourceLoading = false;
+    }
+    /** Keyboard: move the cursor, open a predicate, go back. */
+    handleInput(data) {
+        if (matchesKey(data, 'escape') || matchesKey(data, 'left')) {
+            if (this.openIndicator) {
+                this.closeDrilldown();
+                return;
+            }
+            this.onExit?.();
+            return;
+        }
+        if (matchesKey(data, 'up') || matchesKey(data, 'k')) {
+            this.moveCursor(-1);
+            return;
+        }
+        if (matchesKey(data, 'down') || matchesKey(data, 'j')) {
+            this.moveCursor(1);
+            return;
+        }
+        if (matchesKey(data, 'enter') || matchesKey(data, 'right') || matchesKey(data, 'space')) {
+            const indicator = this.selectedIndicator;
+            if (this.openIndicator === indicator)
+                this.closeDrilldown();
+            else
+                this.openPredicate(indicator);
+        }
+    }
+    /**
+     * Mouse: the alternate screen routes a click to the box under the pointer and makes
+     * `y` relative to this component, so the rendered line index is the hit test.
+     */
+    handleMouse(event) {
+        if (event.type === 'wheel') {
+            this.moveCursor((event.wheelDelta ?? 0) > 0 ? 1 : -1);
+            return { handled: true, render: true };
+        }
+        if (event.type !== 'press' && event.type !== 'click')
+            return undefined;
+        const index = event.y - this.rowsStart;
+        if (index < 0 || index >= this.rows.length) {
+            // Clicking the header or the sparkline drills back out.
+            if (this.openIndicator) {
+                this.closeDrilldown();
+                return { handled: true, render: true };
+            }
+            return undefined;
+        }
+        this.selected = index;
+        const indicator = this.selectedIndicator;
+        if (this.openIndicator === indicator)
+            this.closeDrilldown();
+        else
+            this.openPredicate(indicator);
+        return { handled: true, focus: true, render: true };
+    }
+    moveCursor(delta) {
+        this.selected = Math.min(Math.max(0, this.rows.length - 1), Math.max(0, this.selected + delta));
+        this.clampSelectedToCursor();
+    }
+    clampSelectedToCursor() {
+        const indicator = this.selectedIndicator;
+        // Moving the cursor while drilled in follows it, so the panel always describes the
+        // highlighted predicate rather than the one you opened.
+        if (this.openIndicator && indicator !== this.openIndicator)
+            this.openPredicate(indicator);
+    }
+    /** Refresh from the session. Cheap enough to call after every tool call. */
+    refresh() {
+        const snapshot = this.getSnapshot();
+        if (!snapshot)
+            return;
+        const now = this.clock();
+        const next = new Map(snapshot.predicates.map((predicate) => [predicate.indicator, predicate.clauses]));
+        // Keep recent markers visible across refreshes (a refresh happens per tool call,
+        // so an edit that flashed for 20ms would otherwise never be seen) and record the
+        // new ones.
+        this.changes = new Map([...this.changes].filter(([, change]) => now - change.at <= FLASH_MS));
+        for (const [indicator, clauses] of next) {
+            const before = this.previous.get(indicator);
+            if (before === undefined)
+                this.changes.set(indicator, { kind: 'added', at: now });
+            else if (before !== clauses)
+                this.changes.set(indicator, { kind: 'changed', at: now });
+        }
+        this.removed = [];
+        for (const indicator of this.previous.keys()) {
+            if (!next.has(indicator)) {
+                this.removed.push(indicator);
+                this.changes.set(indicator, { kind: 'removed', at: now });
+            }
+        }
+        const total = [...next.values()].reduce((sum, clauses) => sum + clauses, 0);
+        if (this.history.at(-1) !== total)
+            this.history.push(total);
+        if (this.history.length > SPARK_POINTS)
+            this.history.splice(0, this.history.length - SPARK_POINTS);
+        if (this.changes.size > 0) {
+            const [indicator, change] = [...this.changes.entries()][0] ?? [];
+            if (indicator && change) {
+                const verb = change.kind === 'added' ? 'added' : change.kind === 'changed' ? 'updated' : 'removed';
+                this.lastNote = `${verb} ${indicator}`;
+            }
+        }
+        this.previous = next;
+        this.rows = snapshot.predicates;
+        this.lastRefresh = now;
+    }
+    /** True while a change marker is still within its flash window. */
+    marker(indicator) {
+        const change = this.changes.get(indicator);
+        if (!change)
+            return undefined;
+        return this.clock() - change.at <= FLASH_MS ? change.kind : undefined;
+    }
+    /**
+     * Rendered fresh every frame, deliberately: the output depends on the clock (a
+     * marker fades), so a width-keyed cache holds stale lines exactly when the change
+     * should be visible. A width-keyed cache is what froze the flash on screen.
+     */
+    render(width) {
+        return this.renderLines(Math.max(12, width));
+    }
+    renderLines(width) {
+        const out = [];
+        const snapshot = this.getSnapshot();
+        const total = this.rows.reduce((sum, predicate) => sum + predicate.clauses, 0);
+        // Header: the harness, its version, and whether what you see is committed.
+        const version = snapshot?.version !== undefined ? ` v${snapshot.version}` : '';
+        const state = snapshot?.transactionOpen ? tuiStyle.warning(' ● editing') : '';
+        out.push(truncateToWidth(`${tuiStyle.title(`harness${version}`)}${state}`, width, '…'));
+        out.push(tuiStyle.dim(truncateToWidth(`${this.rows.length} predicate${this.rows.length === 1 ? '' : 's'} · ${total} clause${total === 1 ? '' : 's'}`, width, '…')));
+        // The size over time: the interesting part to watch.
+        out.push(this.sparkline(width));
+        const rule = tuiStyle.borderMuted('─'.repeat(Math.max(0, width)));
+        out.push(rule);
+        if (this.openIndicator) {
+            // The rows are not on screen while drilled in, so no click can land on one; a
+            // click anywhere is "go back".
+            this.rowsStart = Number.POSITIVE_INFINITY;
+            out.push(...this.drilldown(width));
+            return out;
+        }
+        this.rowsStart = out.length;
+        if (this.rows.length === 0) {
+            out.push(tuiStyle.dim('(empty — nothing defined yet)'));
+        }
+        this.rows.forEach((predicate, index) => {
+            out.push(this.row(predicate, width, index === this.selected));
+        });
+        for (const indicator of this.removed) {
+            const change = this.marker(indicator);
+            if (!change)
+                continue;
+            out.push(truncateToWidth(`${tuiStyle.error('−')} ${tuiStyle.dim(strikethrough(indicator))}`, width, '…'));
+        }
+        out.push('');
+        out.push(tuiStyle.dim(truncateToWidth('↑↓ move · enter open · click a row', width, '…')));
+        // The most recent change, so the view says what just happened.
+        if (this.lastNote && this.clock() - this.lastRefresh < FLASH_MS) {
+            out.push('');
+            out.push(truncateToWidth(tuiStyle.dim(this.lastNote), width, '…'));
+        }
+        return out;
+    }
+    /** The clauses of the predicate under the cursor, indented under the view's rule. */
+    drilldown(width) {
+        const out = [];
+        out.push(tuiStyle.title(truncateToWidth(this.openIndicator ?? '', width, '…')));
+        out.push(tuiStyle.dim(truncateToWidth('esc to go back', width, '…')));
+        out.push(tuiStyle.borderMuted('─'.repeat(Math.max(0, width))));
+        if (this.sourceLoading) {
+            out.push(tuiStyle.dim('loading…'));
+            return out;
+        }
+        const lines = this.sourceLines.filter((line) => line.trim() !== '');
+        const budget = 40;
+        for (const line of lines.slice(0, budget)) {
+            // Indent the source so it reads as belonging to the drilled-in predicate, and
+            // wrap rather than cut: a truncated clause body is worse than a wrapped one.
+            const wrapped = wrapTextWithAnsi(line, Math.max(8, width - 2));
+            for (const piece of wrapped)
+                out.push(tuiStyle.output(` ${piece}`));
+        }
+        if (lines.length > budget) {
+            out.push(tuiStyle.dim(` … ${lines.length - budget} more lines`));
+        }
+        return out;
+    }
+    row(predicate, width, cursor) {
+        const change = this.marker(predicate.indicator);
+        const marker = change === 'added'
+            ? tuiStyle.success('+')
+            : change === 'changed'
+                ? tuiStyle.warning('~')
+                : change === 'removed'
+                    ? tuiStyle.error('−')
+                    : ' ';
+        const touchable = this.touchedIndicators().has(predicate.indicator);
+        const name = change ? paintToken('title', predicate.indicator, { bold: true })
+            : touchable ? tuiStyle.accent(predicate.indicator)
+                : predicate.indicator;
+        const badges = [];
+        if (predicate.flags.includes('entry'))
+            badges.push(tuiStyle.accent('entry'));
+        if (predicate.flags.includes('tool'))
+            badges.push(tuiStyle.success('tool'));
+        if (predicate.flags.includes('doc'))
+            badges.push(tuiStyle.dim('doc'));
+        badges.push(tuiStyle.dim(`${predicate.clauses}c`));
+        const pointer = cursor ? tuiStyle.accent('❯') : ' ';
+        const left = `${pointer}${marker} ${name}`;
+        const right = badges.join(' ');
+        const gap = Math.max(1, width - visibleWidth(left) - visibleWidth(right));
+        return truncateToWidth(`${left}${' '.repeat(gap)}${right}`, width, '…');
+    }
+    touchedIndicators() {
+        const snapshot = this.getSnapshot();
+        return new Set(snapshot?.touched ?? []);
+    }
+    /** A compact sparkline of the module's size, oldest to newest. */
+    sparkline(width) {
+        // With a single sample there is no shape to draw yet, but a row of dots reads as
+        // "broken". Draw the level instead, so the row is meaningful from the first frame.
+        const values = this.history.slice(-Math.max(2, Math.min(SPARK_POINTS, width)));
+        const padded = this.history.length === 1 ? [values[0] ?? 0, values[0] ?? 0] : values;
+        const min = Math.min(...padded);
+        const max = Math.max(...padded);
+        const span = max - min || 1;
+        const text = padded
+            .map((value) => {
+            const level = Math.round(((value - min) / span) * (SPARK_CHARS.length - 1));
+            return SPARK_CHARS[level] ?? '▁';
+        })
+            .join('');
+        return truncateToWidth(paintToken('output', text), width, '…');
+    }
+    invalidate() {
+        // Nothing cached by choice; see `render`.
+    }
+}
+/** Strike-through without pulling a colour helper in for one glyph. */
+function strikethrough(text) {
+    return `\u001b[9m${text}\u001b[0m`;
+}
+/** Wrap a long indicator for a narrow column, so nothing is silently cut. */
+export function wrapIndicator(indicator, width) {
+    return visibleWidth(indicator) <= width ? [indicator] : wrapTextWithAnsi(indicator, width);
+}
+//# sourceMappingURL=harness-view.js.map

package/dist/repl/tui/harness-view.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"harness-view.js","sourceRoot":"","sources":["../../../src/repl/tui/harness-view.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;GAaG;AAEH,OAAO,EACL,UAAU,EACV,eAAe,EACf,YAAY,EACZ,gBAAgB,GAIjB,MAAM,wBAAwB,CAAC;AAEhC,OAAO,EAAE,UAAU,EAAE,QAAQ,EAAE,MAAM,YAAY,CAAC;AAuBlD,0CAA0C;AAC1C,MAAM,QAAQ,GAAG,IAAI,CAAC;AACtB,wCAAwC;AACxC,MAAM,YAAY,GAAG,EAAE,CAAC;AACxB,MAAM,WAAW,GAAG,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;AAa7D,MAAM,OAAO,WAAW;IACL,WAAW,CAAoC;IAC/C,KAAK,CAAe;IACrC,+EAA+E;IACvE,OAAO,GAAG,IAAI,GAAG,EAAwC,CAAC;IAC1D,QAAQ,GAAG,IAAI,GAAG,EAAkB,CAAC;IACrC,OAAO,GAAa,EAAE,CAAC;IACvB,IAAI,GAAkC,EAAE,CAAC;IACzC,OAAO,GAAa,EAAE,CAAC;IACvB,WAAW,GAAG,CAAC,CAAC;IAChB,QAAQ,GAAG,EAAE,CAAC;IACtB,mDAAmD;IAC3C,QAAQ,GAAG,CAAC,CAAC;IACb,aAAa,CAAU;IACvB,WAAW,GAAa,EAAE,CAAC;IAC3B,aAAa,GAAG,KAAK,CAAC;IAC9B,qFAAqF;IAC7E,SAAS,GAAG,CAAC,CAAC;IAEtB,YAAY,WAA8C,EAAE,UAA8B,EAAE;QAC1F,IAAI,CAAC,WAAW,GAAG,WAAW,CAAC;QAC/B,IAAI,CAAC,KAAK,GAAG,OAAO,CAAC,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,CAAC;QAC/C,IAAI,CAAC,aAAa,GAAG,OAAO,CAAC,aAAa,CAAC;QAC3C,IAAI,CAAC,MAAM,GAAG,OAAO,CAAC,MAAM,CAAC;IAC/B,CAAC;IAEgB,aAAa,CAA+B;IAC5C,MAAM,CAAc;IAErC,sCAAsC;IACtC,IAAI,iBAAiB;QACnB,OAAO,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,EAAE,SAAS,CAAC;IAC7C,CAAC;IAED,oDAAoD;IACpD,IAAI,IAAI;QACN,OAAO,IAAI,CAAC,aAAa,CAAC;IAC5B,CAAC;IAED,4CAA4C;IAC5C,SAAS,CAAC,SAAiB,EAAE,KAAe;QAC1C,IAAI,SAAS,KAAK,IAAI,CAAC,aAAa;YAAE,OAAO;QAC7C,IAAI,CAAC,WAAW,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,OAAO,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,CAAC;QACjE,IAAI,CAAC,aAAa,GAAG,KAAK,CAAC;IAC7B,CAAC;IAEO,aAAa,CAAC,SAA6B;QACjD,IAAI,CAAC,SAAS;YAAE,OAAO;QACvB,IAAI,CAAC,aAAa,GAAG,SAAS,CAAC;QAC/B,IAAI,CAAC,WAAW,GAAG,EAAE,CAAC;QACtB,IAAI,CAAC,aAAa,GAAG,IAAI,CAAC;QAC1B,IAAI,CAAC,aAAa,EAAE,CAAC,SAAS,CAAC,CAAC;IAClC,CAAC;IAEO,cAAc;QACpB,IAAI,CAAC,aAAa,GAAG,SAAS,CAAC;QAC/B,IAAI,CAAC,WAAW,GAAG,EAAE,CAAC;QACtB,IAAI,CAAC,aAAa,GAAG,KAAK,CAAC;IAC7B,CAAC;IAED,4DAA4D;IAC5D,WAAW,CAAC,IAAY;QACtB,IAAI,UAAU,CAAC,IAAI,EAAE,QAAQ,CAAC,IAAI,UAAU,CAAC,IAAI,EAAE,MAAM,CAAC,EAAE,CAAC;YAC3D,IAAI,IAAI,CAAC,aAAa,EAAE,CAAC;gBACvB,IAAI,CAAC,cAAc,EAAE,CAAC;gBACtB,OAAO;YACT,CAAC;YACD,IAAI,CAAC,MAAM,EAAE,EAAE,CAAC;YAChB,OAAO;QACT,CAAC;QACD,IAAI,UAAU,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,UAAU,CAAC,IAAI,EAAE,GAAG,CAAC,EAAE,CAAC;YACpD,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC;YACpB,OAAO;QACT,CAAC;QACD,IAAI,UAAU,CAAC,IAAI,EAAE,MAAM,CAAC,IAAI,UAAU,CAAC,IAAI,EAAE,GAAG,CAAC,EAAE,CAAC;YACtD,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC;YACnB,OAAO;QACT,CAAC;QACD,IAAI,UAAU,CAAC,IAAI,EAAE,OAAO,CAAC,IAAI,UAAU,CAAC,IAAI,EAAE,OAAO,CAAC,IAAI,UAAU,CAAC,IAAI,EAAE,OAAO,CAAC,EAAE,CAAC;YACxF,MAAM,SAAS,GAAG,IAAI,CAAC,iBAAiB,CAAC;YACzC,IAAI,IAAI,CAAC,aAAa,KAAK,SAAS;gBAAE,IAAI,CAAC,cAAc,EAAE,CAAC;;gBACvD,IAAI,CAAC,aAAa,CAAC,SAAS,CAAC,CAAC;QACrC,CAAC;IACH,CAAC;IAED;;;OAGG;IACH,WAAW,CAAC,KAAoB;QAC9B,IAAI,KAAK,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;YAC3B,IAAI,CAAC,UAAU,CAAC,CAAC,KAAK,CAAC,UAAU,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;YACtD,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC;QACzC,CAAC;QACD,IAAI,KAAK,CAAC,IAAI,KAAK,OAAO,IAAI,KAAK,CAAC,IAAI,KAAK,OAAO;YAAE,OAAO,SAAS,CAAC;QACvE,MAAM,KAAK,GAAG,KAAK,CAAC,CAAC,GAAG,IAAI,CAAC,SAAS,CAAC;QACvC,IAAI,KAAK,GAAG,CAAC,IAAI,KAAK,IAAI,IAAI,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;YAC3C,wDAAwD;YACxD,IAAI,IAAI,CAAC,aAAa,EAAE,CAAC;gBACvB,IAAI,CAAC,cAAc,EAAE,CAAC;gBACtB,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC;YACzC,CAAC;YACD,OAAO,SAAS,CAAC;QACnB,CAAC;QACD,IAAI,CAAC,QAAQ,GAAG,KAAK,CAAC;QACtB,MAAM,SAAS,GAAG,IAAI,CAAC,iBAAiB,CAAC;QACzC,IAAI,IAAI,CAAC,aAAa,KAAK,SAAS;YAAE,IAAI,CAAC,cAAc,EAAE,CAAC;;YACvD,IAAI,CAAC,aAAa,CAAC,SAAS,CAAC,CAAC;QACnC,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC;IACtD,CAAC;IAEO,UAAU,CAAC,KAAa;QAC9B,IAAI,CAAC,QAAQ,GAAG,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,QAAQ,GAAG,KAAK,CAAC,CAAC,CAAC;QAChG,IAAI,CAAC,qBAAqB,EAAE,CAAC;IAC/B,CAAC;IAEO,qBAAqB;QAC3B,MAAM,SAAS,GAAG,IAAI,CAAC,iBAAiB,CAAC;QACzC,mFAAmF;QACnF,wDAAwD;QACxD,IAAI,IAAI,CAAC,aAAa,IAAI,SAAS,KAAK,IAAI,CAAC,aAAa;YAAE,IAAI,CAAC,aAAa,CAAC,SAAS,CAAC,CAAC;IAC5F,CAAC;IAED,4EAA4E;IAC5E,OAAO;QACL,MAAM,QAAQ,GAAG,IAAI,CAAC,WAAW,EAAE,CAAC;QACpC,IAAI,CAAC,QAAQ;YAAE,OAAO;QACtB,MAAM,GAAG,GAAG,IAAI,CAAC,KAAK,EAAE,CAAC;QACzB,MAAM,IAAI,GAAG,IAAI,GAAG,CAAC,QAAQ,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,CAAC,SAAS,CAAC,SAAS,EAAE,SAAS,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;QAEvG,iFAAiF;QACjF,iFAAiF;QACjF,YAAY;QACZ,IAAI,CAAC,OAAO,GAAG,IAAI,GAAG,CACpB,CAAC,GAAG,IAAI,CAAC,OAAO,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,MAAM,CAAC,EAAE,EAAE,CAAC,GAAG,GAAG,MAAM,CAAC,EAAE,IAAI,QAAQ,CAAC,CACtE,CAAC;QACF,KAAK,MAAM,CAAC,SAAS,EAAE,OAAO,CAAC,IAAI,IAAI,EAAE,CAAC;YACxC,MAAM,MAAM,GAAG,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;YAC5C,IAAI,MAAM,KAAK,SAAS;gBAAE,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,SAAS,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,EAAE,EAAE,GAAG,EAAE,CAAC,CAAC;iBAC7E,IAAI,MAAM,KAAK,OAAO;gBAAE,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,SAAS,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,GAAG,EAAE,CAAC,CAAC;QACzF,CAAC;QAED,IAAI,CAAC,OAAO,GAAG,EAAE,CAAC;QAClB,KAAK,MAAM,SAAS,IAAI,IAAI,CAAC,QAAQ,CAAC,IAAI,EAAE,EAAE,CAAC;YAC7C,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,SAAS,CAAC,EAAE,CAAC;gBACzB,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;gBAC7B,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,SAAS,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,GAAG,EAAE,CAAC,CAAC;YAC5D,CAAC;QACH,CAAC;QAED,MAAM,KAAK,GAAG,CAAC,GAAG,IAAI,CAAC,MAAM,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,OAAO,EAAE,EAAE,CAAC,GAAG,GAAG,OAAO,EAAE,CAAC,CAAC,CAAC;QAC5E,IAAI,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,KAAK,KAAK;YAAE,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAC5D,IAAI,IAAI,CAAC,OAAO,CAAC,MAAM,GAAG,YAAY;YAAE,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,EAAE,IAAI,CAAC,OAAO,CAAC,MAAM,GAAG,YAAY,CAAC,CAAC;QAEnG,IAAI,IAAI,CAAC,OAAO,CAAC,IAAI,GAAG,CAAC,EAAE,CAAC;YAC1B,MAAM,CAAC,SAAS,EAAE,MAAM,CAAC,GAAG,CAAC,GAAG,IAAI,CAAC,OAAO,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;YACjE,IAAI,SAAS,IAAI,MAAM,EAAE,CAAC;gBACxB,MAAM,IAAI,GAAG,MAAM,CAAC,IAAI,KAAK,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC;gBACnG,IAAI,CAAC,QAAQ,GAAG,GAAG,IAAI,IAAI,SAAS,EAAE,CAAC;YACzC,CAAC;QACH,CAAC;QAED,IAAI,CAAC,QAAQ,GAAG,IAAI,CAAC;QACrB,IAAI,CAAC,IAAI,GAAG,QAAQ,CAAC,UAAU,CAAC;QAChC,IAAI,CAAC,WAAW,GAAG,GAAG,CAAC;IACzB,CAAC;IAED,mEAAmE;IAC3D,MAAM,CAAC,SAAiB;QAC9B,MAAM,MAAM,GAAG,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;QAC3C,IAAI,CAAC,MAAM;YAAE,OAAO,SAAS,CAAC;QAC9B,OAAO,IAAI,CAAC,KAAK,EAAE,GAAG,MAAM,CAAC,EAAE,IAAI,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC;IACxE,CAAC;IAED;;;;OAIG;IACH,MAAM,CAAC,KAAa;QAClB,OAAO,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,EAAE,KAAK,CAAC,CAAC,CAAC;IAC/C,CAAC;IAEO,WAAW,CAAC,KAAa;QAC/B,MAAM,GAAG,GAAa,EAAE,CAAC;QACzB,MAAM,QAAQ,GAAG,IAAI,CAAC,WAAW,EAAE,CAAC;QACpC,MAAM,KAAK,GAAG,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,SAAS,EAAE,EAAE,CAAC,GAAG,GAAG,SAAS,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC;QAE/E,2EAA2E;QAC3E,MAAM,OAAO,GAAG,QAAQ,EAAE,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,KAAK,QAAQ,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QAC/E,MAAM,KAAK,GAAG,QAAQ,EAAE,eAAe,CAAC,CAAC,CAAC,QAAQ,CAAC,OAAO,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;QAC9E,GAAG,CAAC,IAAI,CAAC,eAAe,CAAC,GAAG,QAAQ,CAAC,KAAK,CAAC,UAAU,OAAO,EAAE,CAAC,GAAG,KAAK,EAAE,EAAE,KAAK,EAAE,GAAG,CAAC,CAAC,CAAC;QACxF,GAAG,CAAC,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,eAAe,CACnC,GAAG,IAAI,CAAC,IAAI,CAAC,MAAM,aAAa,IAAI,CAAC,IAAI,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,MAAM,KAAK,UAAU,KAAK,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,EAAE,EAC9G,KAAK,EACL,GAAG,CACJ,CAAC,CAAC,CAAC;QAEJ,qDAAqD;QACrD,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,CAAC;QAEhC,MAAM,IAAI,GAAG,QAAQ,CAAC,WAAW,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC;QAClE,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAEf,IAAI,IAAI,CAAC,aAAa,EAAE,CAAC;YACvB,8EAA8E;YAC9E,+BAA+B;YAC/B,IAAI,CAAC,SAAS,GAAG,MAAM,CAAC,iBAAiB,CAAC;YAC1C,GAAG,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,CAAC;YACnC,OAAO,GAAG,CAAC;QACb,CAAC;QAED,IAAI,CAAC,SAAS,GAAG,GAAG,CAAC,MAAM,CAAC;QAC5B,IAAI,IAAI,CAAC,IAAI,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YAC3B,GAAG,CAAC,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,+BAA+B,CAAC,CAAC,CAAC;QAC1D,CAAC;QACD,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,SAAS,EAAE,KAAK,EAAE,EAAE;YACrC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,SAAS,EAAE,KAAK,EAAE,KAAK,KAAK,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC;QAChE,CAAC,CAAC,CAAC;QACH,KAAK,MAAM,SAAS,IAAI,IAAI,CAAC,OAAO,EAAE,CAAC;YACrC,MAAM,MAAM,GAAG,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC;YACtC,IAAI,CAAC,MAAM;gBAAE,SAAS;YACtB,GAAG,CAAC,IAAI,CAAC,eAAe,CAAC,GAAG,QAAQ,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,QAAQ,CAAC,GAAG,CAAC,aAAa,CAAC,SAAS,CAAC,CAAC,EAAE,EAAE,KAAK,EAAE,GAAG,CAAC,CAAC,CAAC;QAC5G,CAAC;QACD,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACb,GAAG,CAAC,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,eAAe,CAAC,oCAAoC,EAAE,KAAK,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC;QAE1F,+DAA+D;QAC/D,IAAI,IAAI,CAAC,QAAQ,IAAI,IAAI,CAAC,KAAK,EAAE,GAAG,IAAI,CAAC,WAAW,GAAG,QAAQ,EAAE,CAAC;YAChE,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;YACb,GAAG,CAAC,IAAI,CAAC,eAAe,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,QAAQ,CAAC,EAAE,KAAK,EAAE,GAAG,CAAC,CAAC,CAAC;QACrE,CAAC;QACD,OAAO,GAAG,CAAC;IACb,CAAC;IAED,qFAAqF;IAC7E,SAAS,CAAC,KAAa;QAC7B,MAAM,GAAG,GAAa,EAAE,CAAC;QACzB,GAAG,CAAC,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,eAAe,CAAC,IAAI,CAAC,aAAa,IAAI,EAAE,EAAE,KAAK,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC;QAChF,GAAG,CAAC,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,eAAe,CAAC,gBAAgB,EAAE,KAAK,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC;QACtE,GAAG,CAAC,IAAI,CAAC,QAAQ,CAAC,WAAW,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;QAC/D,IAAI,IAAI,CAAC,aAAa,EAAE,CAAC;YACvB,GAAG,CAAC,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC,CAAC;YACnC,OAAO,GAAG,CAAC;QACb,CAAC;QACD,MAAM,KAAK,GAAG,IAAI,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC;QACpE,MAAM,MAAM,GAAG,EAAE,CAAC;QAClB,KAAK,MAAM,IAAI,IAAI,KAAK,CAAC,KAAK,CAAC,CAAC,EAAE,MAAM,CAAC,EAAE,CAAC;YAC1C,8EAA8E;YAC9E,6EAA6E;YAC7E,MAAM,OAAO,GAAG,gBAAgB,CAAC,IAAI,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC;YAC/D,KAAK,MAAM,KAAK,IAAI,OAAO;gBAAE,GAAG,CAAC,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,IAAI,KAAK,EAAE,CAAC,CAAC,CAAC;QACtE,CAAC;QACD,IAAI,KAAK,CAAC,MAAM,GAAG,MAAM,EAAE,CAAC;YAC1B,GAAG,CAAC,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,MAAM,KAAK,CAAC,MAAM,GAAG,MAAM,aAAa,CAAC,CAAC,CAAC;QACnE,CAAC;QACD,OAAO,GAAG,CAAC;IACb,CAAC;IAEO,GAAG,CAAC,SAA2B,EAAE,KAAa,EAAE,MAAe;QACrE,MAAM,MAAM,GAAG,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,SAAS,CAAC,CAAC;QAChD,MAAM,MAAM,GAAG,MAAM,KAAK,OAAO;YAC/B,CAAC,CAAC,QAAQ,CAAC,OAAO,CAAC,GAAG,CAAC;YACvB,CAAC,CAAC,MAAM,KAAK,SAAS;gBACpB,CAAC,CAAC,QAAQ,CAAC,OAAO,CAAC,GAAG,CAAC;gBACvB,CAAC,CAAC,MAAM,KAAK,SAAS;oBACpB,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,GAAG,CAAC;oBACrB,CAAC,CAAC,GAAG,CAAC;QACZ,MAAM,SAAS,GAAG,IAAI,CAAC,iBAAiB,EAAE,CAAC,GAAG,CAAC,SAAS,CAAC,SAAS,CAAC,CAAC;QACpE,MAAM,IAAI,GAAG,MAAM,CAAC,CAAC,CAAC,UAAU,CAAC,OAAO,EAAE,SAAS,CAAC,SAAS,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC;YAC5E,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,SAAS,CAAC,SAAS,CAAC;gBAChD,CAAC,CAAC,SAAS,CAAC,SAAS,CAAC;QAC1B,MAAM,MAAM,GAAa,EAAE,CAAC;QAC5B,IAAI,SAAS,CAAC,KAAK,CAAC,QAAQ,CAAC,OAAO,CAAC;YAAE,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC;QAC7E,IAAI,SAAS,CAAC,KAAK,CAAC,QAAQ,CAAC,MAAM,CAAC;YAAE,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC;QAC5E,IAAI,SAAS,CAAC,KAAK,CAAC,QAAQ,CAAC,KAAK,CAAC;YAAE,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC;QACtE,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,GAAG,SAAS,CAAC,OAAO,GAAG,CAAC,CAAC,CAAC;QAEnD,MAAM,OAAO,GAAG,MAAM,CAAC,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC;QACpD,MAAM,IAAI,GAAG,GAAG,OAAO,GAAG,MAAM,IAAI,IAAI,EAAE,CAAC;QAC3C,MAAM,KAAK,GAAG,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QAC/B,MAAM,GAAG,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,KAAK,GAAG,YAAY,CAAC,IAAI,CAAC,GAAG,YAAY,CAAC,KAAK,CAAC,CAAC,CAAC;QAC1E,OAAO,eAAe,CAAC,GAAG,IAAI,GAAG,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,GAAG,KAAK,EAAE,EAAE,KAAK,EAAE,GAAG,CAAC,CAAC;IAC1E,CAAC;IAEO,iBAAiB;QACvB,MAAM,QAAQ,GAAG,IAAI,CAAC,WAAW,EAAE,CAAC;QACpC,OAAO,IAAI,GAAG,CAAC,QAAQ,EAAE,OAAO,IAAI,EAAE,CAAC,CAAC;IAC1C,CAAC;IAED,kEAAkE;IAC1D,SAAS,CAAC,KAAa;QAC7B,iFAAiF;QACjF,mFAAmF;QACnF,MAAM,MAAM,GAAG,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,YAAY,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC;QAC/E,MAAM,MAAM,GAAG,IAAI,CAAC,OAAO,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC;QACrF,MAAM,GAAG,GAAG,IAAI,CAAC,GAAG,CAAC,GAAG,MAAM,CAAC,CAAC;QAChC,MAAM,GAAG,GAAG,IAAI,CAAC,GAAG,CAAC,GAAG,MAAM,CAAC,CAAC;QAChC,MAAM,IAAI,GAAG,GAAG,GAAG,GAAG,IAAI,CAAC,CAAC;QAC5B,MAAM,IAAI,GAAG,MAAM;aAChB,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE;YACb,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,KAAK,GAAG,GAAG,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,WAAW,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC;YAC5E,OAAO,WAAW,CAAC,KAAK,CAAC,IAAI,GAAG,CAAC;QACnC,CAAC,CAAC;aACD,IAAI,CAAC,EAAE,CAAC,CAAC;QACZ,OAAO,eAAe,CAAC,UAAU,CAAC,QAAQ,EAAE,IAAI,CAAC,EAAE,KAAK,EAAE,GAAG,CAAC,CAAC;IACjE,CAAC;IAED,UAAU;QACR,0CAA0C;IAC5C,CAAC;CACF;AAED,uEAAuE;AACvE,SAAS,aAAa,CAAC,IAAY;IACjC,OAAO,YAAY,IAAI,WAAW,CAAC;AACrC,CAAC;AAED,6EAA6E;AAC7E,MAAM,UAAU,aAAa,CAAC,SAAiB,EAAE,KAAa;IAC5D,OAAO,YAAY,CAAC,SAAS,CAAC,IAAI,KAAK,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,gBAAgB,CAAC,SAAS,EAAE,KAAK,CAAC,CAAC;AAC7F,CAAC"}

package/dist/repl/tui/picker.d.ts

@@ -0,0 +1,31 @@
+/**
+ * A chooser overlay: a titled list the user picks from.
+ *
+ * Used for the model and the reasoning-display setting. It is a plain component so
+ * the host can place it with `tui.showOverlay`; `onSelect`/`onCancel` tell the host
+ * when to take it down. Keys are the list's own (up/down, enter, escape), which is
+ * what pi's pickers use, so nothing has to be re-taught.
+ */
+import { type Component, type SelectItem } from '@earendil-works/pi-tui';
+export interface ChoicePickerOptions {
+    /** Heading, e.g. "Model" or "Reasoning". */
+    title: string;
+    items: SelectItem[];
+    /** `value` of the item to start on. */
+    current?: string;
+    /** Shown under the title, e.g. what the choice affects. */
+    hint?: string;
+    onSelect: (item: SelectItem) => void;
+    onCancel: () => void;
+}
+export declare class ChoicePicker implements Component {
+    private readonly options;
+    private readonly list;
+    constructor(options: ChoicePickerOptions);
+    /** The visible lines, so a host can size the overlay to its content. */
+    get contentHeight(): number;
+    render(width: number): string[];
+    handleInput(data: string): void;
+    invalidate(): void;
+}
+//# sourceMappingURL=picker.d.ts.map