deepclause-sdk 0.0.89 → 0.1.1

package/dist/repl/render.d.ts

@@ -0,0 +1,187 @@
+/**
+ * Line-oriented REPL renderer.
+ *
+ * Three modes:
+ *  - `rich` (default on a TTY): coloured bindings and labels, no live rewriting.
+ *  - `plain` (default when stdout is not a TTY): one static line per event, no ANSI.
+ *  - `json`: one JSON object per event for tooling.
+ *
+ * This is the M1 surface (solutions, output, answer, errors). Live streaming
+ * of model text/tool calls is added in M3.
+ */
+import type { DMLBinding, DMLEvent } from '../types.js';
+export type RenderMode = 'rich' | 'plain' | 'json';
+export interface ReplRendererOptions {
+    mode?: RenderMode;
+    /** Colour output (rich mode only). */
+    color?: boolean;
+    /** Show DML `log` events. */
+    verbose?: boolean;
+    /** Render streamed model text/reasoning (default true). `--no-stream` disables. */
+    stream?: boolean;
+    /** How much model reasoning to show: `off`, `summary` (bounded), or `full`. */
+    reasoning?: 'off' | 'summary' | 'full';
+    /** Render assistant text as markdown (default true). */
+    markdown?: boolean;
+    /** Render activity events (task activity, tool calls, usage, logs); default true. `--no-events` disables. */
+    events?: boolean;
+    /** Terminal width for the tool-call panel background (default: stdout columns, or 80). */
+    width?: number;
+    /** Sink for normal lines. */
+    sink?: (text: string) => void;
+    /** Sink for error lines. */
+    errorSink?: (text: string) => void;
+    /** Observe every event before filtering (used by the status tracker). */
+    onEvent?: (event: DMLEvent) => void;
+    /** Workspace root, used to resolve media paths for the non-image fallback. */
+    workspace?: string;
+    /** Hand images to the OS viewer (xdg-open/open) when the terminal cannot show them. */
+    openImages?: boolean;
+}
+/** Human-readable wall-clock duration: `450ms`, `1.2s`, `2m05s`. */
+export declare function formatDuration(ms: number): string;
+/** Format solution bindings as `Name = value` lines (or `true`). */
+export declare function formatBindings(bindings: DMLBinding[]): string;
+export declare class ReplRenderer {
+    readonly mode: RenderMode;
+    private readonly color;
+    private readonly verbose;
+    private readonly showStream;
+    private readonly showEvents;
+    private readonly reasoningMode;
+    private readonly markdownEnabled;
+    private readonly markdown;
+    private pendingTextEvent?;
+    private width;
+    private sink;
+    private errorSink;
+    private imageSink?;
+    private eventSink?;
+    private workspace?;
+    private openImages;
+    /** Frame key of the currently open streamed-text region, or null. */
+    private lastStreamFrame;
+    /** Reasoning region key and characters shown so far (for `summary` mode). */
+    private reasoningRegion;
+    private reasoningChars;
+    private reasoningTruncated;
+    private atLineStart;
+    /** Last detail body printed for a running call (dedupes start/running). */
+    private lastToolDetail?;
+    /** Live model-call indicator state. */
+    private spinnerTimer?;
+    private spinnerFrame;
+    private spinnerPrefix;
+    private spinnerLabel;
+    private spinnerVisible;
+    constructor(options?: ReplRendererOptions);
+    /** Replace the output sinks (used when moving into a TUI transcript). */
+    setSink(sink: (text: string) => void, errorSink?: (text: string) => void): void;
+    /**
+     * Route terminal-image blocks (from `image()`) into a TUI transcript. When no
+     * sink is set, `image()` writes the escape sequence to stdout directly.
+     */
+    setImageSink(sink?: (lines: string[]) => void): void;
+    /** Current rendering width in cells. */
+    getWidth(): number;
+    /** Update the rendering width (TUI resize). */
+    setWidth(width: number): void;
+    /** Clean up and syntax-highlight a Prolog listing for display. */
+    listing(text: string): string;
+    /**
+     * Suppress `input_required` prompt lines. The TUI editor shows the question in
+     * its border, so a transcript line would be a duplicate.
+     */
+    setSuppressInputPrompt(suppress: boolean): void;
+    /** Stop the live indicator (call before the renderer goes out of scope). */
+    dispose(): void;
+    /** Last rendered block group, used to separate tool/text/output blocks. */
+    private currentBlock;
+    private toolBlockCounter;
+    private currentToolBlock;
+    private taskBlockCounter;
+    private currentTaskBlock;
+    /** When true, `input_required` events are rendered by the input UI instead. */
+    private suppressInputPrompt;
+    /** Write a raw chunk to the normal sink. */
+    write(text: string): void;
+    /** Write a line to the normal sink. */
+    writeLine(text?: string): void;
+    /**
+     * Write a terminal-image block (the escape sequence plus reserved blank rows).
+     * In a TUI this goes to the image sink; otherwise it is written raw.
+     */
+    image(lines: string[]): void;
+    /**
+     * Render a `media` event (from `output(media(...))`): an inline terminal image
+     * when supported, otherwise an OSC-8 hyperlinked path (optionally opened).
+     */
+    private renderMedia;
+    /** Hand a file to the OS viewer (best effort, never blocks). */
+    private openExternal;
+    flush(): void;
+    writeErrorLine(text: string): void;
+    /**
+     * The visual block an event belongs to. Events in the same block are printed
+     * contiguously; switching blocks inserts one blank line. Returns null for
+     * events that do not participate (solutions, spinners, metadata).
+     */
+    private blockKeyFor;
+    /** Insert a separating blank line when the block changes. */
+    private beginBlock;
+    /** Render one runtime event. */
+    render(event: DMLEvent): void;
+    private renderTaskActivity;
+    private describeTask;
+    private renderToolCall;
+    /** Up to TOOL_OUTPUT_LINES captured output lines, as tinted panel lines. */
+    private toolOutputLines;
+    /** Show/hide the live model-call indicator. */
+    private renderModelCall;
+    /** Start a `\r`-based spinner on the current line (rich TTY only). */
+    private startSpinner;
+    private paintSpinner;
+    /** Clear the spinner line and stop its timer (no-op when inactive). */
+    private stopSpinner;
+    /**
+     * A full-width, tinted line for tool activity (pi-style panel). Falls back to
+     * the bare text when colour is disabled. Existing ANSI in `text` is preserved
+     * and the visible width (ignoring SGR) is padded out to the terminal width.
+     */
+    private toolPanel;
+    /**
+     * Write `text` as frame-prefixed lines that each fit the terminal width:
+     * wrap by default, or truncate each physical line (nested activity).
+     */
+    private writeFrameText;
+    /**
+     * Stream reasoning according to `showReasoning`: `off` hides it, `summary`
+     * shows a bounded preview, `full` shows everything (all dimmed).
+     */
+    /**
+     * Stream reasoning according to `showReasoning`: `off` hides it, `summary`
+     * shows a bounded preview, `full` shows everything (all dimmed). Returns
+     * whether anything was made visible (so the caller can keep a spinner when it
+     * is hidden).
+     */
+    private writeReasoning;
+    /** Keep a `thinking…` spinner running (restart once if the label differs). */
+    private ensureThinkingSpinner;
+    /** Keep a live indicator on screen while a tool (e.g. bash) is running. */
+    private ensureToolSpinner;
+    private announceReasoningTruncated;
+    /** Write a streamed chunk, prefixing it with its frame label on first use. */
+    private writeStream;
+    private writeStreamChunk;
+    /** Close an open streamed-text region before writing a line. */
+    private flushStream;
+    /** `run │ ` for an object frame; nested (`execute` child) events use indentation + `│`. */
+    private frameLabel;
+    /**
+     * Render one solution's bindings. `terminator` is appended after the last
+     * binding line ('.' for the final answer, ' ' while more may follow).
+     */
+    solution(bindings: DMLBinding[], terminator?: string, prefix?: string, maxValue?: number): void;
+    private paint;
+}
+//# sourceMappingURL=render.d.ts.map

package/dist/repl/render.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"render.d.ts","sourceRoot":"","sources":["../../src/repl/render.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AAEH,OAAO,KAAK,EAAE,UAAU,EAAE,QAAQ,EAAE,MAAM,aAAa,CAAC;AAQxD,MAAM,MAAM,UAAU,GAAG,MAAM,GAAG,OAAO,GAAG,MAAM,CAAC;AAEnD,MAAM,WAAW,mBAAmB;IAClC,IAAI,CAAC,EAAE,UAAU,CAAC;IAClB,sCAAsC;IACtC,KAAK,CAAC,EAAE,OAAO,CAAC;IAChB,6BAA6B;IAC7B,OAAO,CAAC,EAAE,OAAO,CAAC;IAClB,mFAAmF;IACnF,MAAM,CAAC,EAAE,OAAO,CAAC;IACjB,+EAA+E;IAC/E,SAAS,CAAC,EAAE,KAAK,GAAG,SAAS,GAAG,MAAM,CAAC;IACvC,wDAAwD;IACxD,QAAQ,CAAC,EAAE,OAAO,CAAC;IACnB,6GAA6G;IAC7G,MAAM,CAAC,EAAE,OAAO,CAAC;IACjB,0FAA0F;IAC1F,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,6BAA6B;IAC7B,IAAI,CAAC,EAAE,CAAC,IAAI,EAAE,MAAM,KAAK,IAAI,CAAC;IAC9B,4BAA4B;IAC5B,SAAS,CAAC,EAAE,CAAC,IAAI,EAAE,MAAM,KAAK,IAAI,CAAC;IACnC,yEAAyE;IACzE,OAAO,CAAC,EAAE,CAAC,KAAK,EAAE,QAAQ,KAAK,IAAI,CAAC;IACpC,8EAA8E;IAC9E,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,uFAAuF;IACvF,UAAU,CAAC,EAAE,OAAO,CAAC;CACtB;AAyFD,oEAAoE;AACpE,wBAAgB,cAAc,CAAC,EAAE,EAAE,MAAM,GAAG,MAAM,CAcjD;AA6DD,oEAAoE;AACpE,wBAAgB,cAAc,CAAC,QAAQ,EAAE,UAAU,EAAE,GAAG,MAAM,CAK7D;AAKD,qBAAa,YAAY;IACvB,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAC;IAC1B,OAAO,CAAC,QAAQ,CAAC,KAAK,CAAU;IAChC,OAAO,CAAC,QAAQ,CAAC,OAAO,CAAU;IAClC,OAAO,CAAC,QAAQ,CAAC,UAAU,CAAU;IACrC,OAAO,CAAC,QAAQ,CAAC,UAAU,CAAU;IACrC,OAAO,CAAC,QAAQ,CAAC,aAAa,CAA6B;IAC3D,OAAO,CAAC,QAAQ,CAAC,eAAe,CAAU;IAC1C,OAAO,CAAC,QAAQ,CAAC,QAAQ,CAAwB;IACjD,OAAO,CAAC,gBAAgB,CAAC,CAAW;IACpC,OAAO,CAAC,KAAK,CAAS;IACtB,OAAO,CAAC,IAAI,CAAyB;IACrC,OAAO,CAAC,SAAS,CAAyB;IAC1C,OAAO,CAAC,SAAS,CAAC,CAA4B;IAC9C,OAAO,CAAC,SAAS,CAAC,CAA4B;IAC9C,OAAO,CAAC,SAAS,CAAC,CAAS;IAC3B,OAAO,CAAC,UAAU,CAAU;IAC5B,qEAAqE;IACrE,OAAO,CAAC,eAAe,CAAuB;IAC9C,6EAA6E;IAC7E,OAAO,CAAC,eAAe,CAAM;IAC7B,OAAO,CAAC,cAAc,CAAK;IAC3B,OAAO,CAAC,kBAAkB,CAAS;IACnC,OAAO,CAAC,WAAW,CAAQ;IAC3B,2EAA2E;IAC3E,OAAO,CAAC,cAAc,CAAC,CAAS;IAChC,uCAAuC;IACvC,OAAO,CAAC,YAAY,CAAC,CAAiC;IACtD,OAAO,CAAC,YAAY,CAAK;IACzB,OAAO,CAAC,aAAa,CAAM;IAC3B,OAAO,CAAC,YAAY,CAAM;IAC1B,OAAO,CAAC,cAAc,CAAS;gBAEnB,OAAO,GAAE,mBAAwB;IAgB7C,yEAAyE;IACzE,OAAO,CAAC,IAAI,EAAE,CAAC,IAAI,EAAE,MAAM,KAAK,IAAI,EAAE,SAAS,CAAC,EAAE,CAAC,IAAI,EAAE,MAAM,KAAK,IAAI,GAAG,IAAI;IAK/E;;;OAGG;IACH,YAAY,CAAC,IAAI,CAAC,EAAE,CAAC,KAAK,EAAE,MAAM,EAAE,KAAK,IAAI,GAAG,IAAI;IAIpD,wCAAwC;IACxC,QAAQ,IAAI,MAAM;IAIlB,+CAA+C;IAC/C,QAAQ,CAAC,KAAK,EAAE,MAAM,GAAG,IAAI;IAI7B,kEAAkE;IAClE,OAAO,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM;IAI7B;;;OAGG;IACH,sBAAsB,CAAC,QAAQ,EAAE,OAAO,GAAG,IAAI;IAI/C,4EAA4E;IAC5E,OAAO,IAAI,IAAI;IAIf,2EAA2E;IAC3E,OAAO,CAAC,YAAY,CAAuB;IAC3C,OAAO,CAAC,gBAAgB,CAAK;IAC7B,OAAO,CAAC,gBAAgB,CAAuB;IAC/C,OAAO,CAAC,gBAAgB,CAAK;IAC7B,OAAO,CAAC,gBAAgB,CAAuB;IAC/C,+EAA+E;IAC/E,OAAO,CAAC,mBAAmB,CAAS;IAEpC,4CAA4C;IAC5C,KAAK,CAAC,IAAI,EAAE,MAAM,GAAG,IAAI;IAKzB,uCAAuC;IACvC,SAAS,CAAC,IAAI,SAAK,GAAG,IAAI;IAQ1B;;;OAGG;IACH,KAAK,CAAC,KAAK,EAAE,MAAM,EAAE,GAAG,IAAI;IAe5B;;;OAGG;IACH,OAAO,CAAC,WAAW;IA4BnB,gEAAgE;IAChE,OAAO,CAAC,YAAY;IAQpB,KAAK,IAAI,IAAI;IAIb,cAAc,CAAC,IAAI,EAAE,MAAM,GAAG,IAAI;IAKlC;;;;OAIG;IACH,OAAO,CAAC,WAAW;IA+BnB,6DAA6D;IAC7D,OAAO,CAAC,UAAU;IAQlB,gCAAgC;IAChC,MAAM,CAAC,KAAK,EAAE,QAAQ,GAAG,IAAI;IA0H7B,OAAO,CAAC,kBAAkB;IAU1B,OAAO,CAAC,YAAY;IAMpB,OAAO,CAAC,cAAc;IAyDtB,4EAA4E;IAC5E,OAAO,CAAC,eAAe;IAmBvB,+CAA+C;IAC/C,OAAO,CAAC,eAAe;IAQvB,sEAAsE;IACtE,OAAO,CAAC,YAAY;IAepB,OAAO,CAAC,YAAY;IAMpB,uEAAuE;IACvE,OAAO,CAAC,WAAW;IAWnB;;;;OAIG;IACH,OAAO,CAAC,SAAS;IAejB;;;OAGG;IACH,OAAO,CAAC,cAAc;IAatB;;;OAGG;IACH;;;;;OAKG;IACH,OAAO,CAAC,cAAc;IAyBtB,8EAA8E;IAC9E,OAAO,CAAC,qBAAqB;IAO7B,2EAA2E;IAC3E,OAAO,CAAC,iBAAiB;IAOzB,OAAO,CAAC,0BAA0B;IAYlC,8EAA8E;IAC9E,OAAO,CAAC,WAAW;IAWnB,OAAO,CAAC,gBAAgB;IAgBxB,gEAAgE;IAChE,OAAO,CAAC,WAAW;IAenB,2FAA2F;IAC3F,OAAO,CAAC,UAAU;IAclB;;;OAGG;IACH,QAAQ,CAAC,QAAQ,EAAE,UAAU,EAAE,EAAE,UAAU,CAAC,EAAE,MAAM,EAAE,MAAM,SAAK,EAAE,QAAQ,CAAC,EAAE,MAAM,GAAG,IAAI;IAqB3F,OAAO,CAAC,KAAK;CAMd"}