@sagmans/dsh-tui 0.5.2 → 0.7.0

package/lib/ui/view/transcript-message.js

@@ -0,0 +1,158 @@
+/**
+ * How one non-tool message draws: user and assistant text, a folded thought, and
+ * the notices and markers a session records between them.
+ *
+ * These rows share the recessive markdown theme and the framed-copy bookkeeping
+ * the view reads back, so they belong together rather than beside the row cache
+ * that only decides which of them to rebuild.
+ */
+import { visibleWidth } from '@earendil-works/pi-tui';
+import {} from "../../transcript.js";
+import {} from "../../theme-tokens.js";
+import {} from "../../theme.js";
+import { codeBlockLines } from "../diff.js";
+import { canFrame, frameBlock, FRAME_COLUMNS, textWidth } from "../frame.js";
+import { ANSWER_FACE } from "../markdown.js";
+import {} from "../view.js";
+const DETAIL_INDENT = '    ';
+/**
+ * A markdown theme that keeps every element in one token.
+ *
+ * A thought is deliberately recessive, and the answer's theme would let a
+ * heading or a link inside it outshine the answer it produced. The structure
+ * still shows because markdown draws it around the text — bullets, fences,
+ * indents, table rules — rather than in the text's own colour. A fenced diff is
+ * the one block that does not recede: red and green are what the fence means
+ * rather than how loudly it is drawn, and a thought showing a change is the
+ * place the reader most needs to see which side of it moved.
+ */
+function recessiveMarkdownTheme(style, theme) {
+    return {
+        heading: style,
+        link: style,
+        linkUrl: style,
+        code: style,
+        codeBlock: style,
+        codeBlockBorder: style,
+        quote: style,
+        quoteBorder: style,
+        hr: style,
+        listBullet: style,
+        bold: style,
+        italic: style,
+        strikethrough: style,
+        underline: style,
+        highlightCode: (code, lang) => codeBlockLines(code, lang, {
+            style: (token, text) => theme.style(token, text),
+            visible: token => theme.visible(token),
+            plain: style,
+        }),
+    };
+}
+export class Messages {
+    context;
+    constructor(context) {
+        this.context = context;
+    }
+    /**
+       * The rows one markdown message draws, with the padding pi-tui adds for background styling removed.
+       *
+       * The source is drawn first so the markdown renderer never measures a sequence
+       * it cannot see; its own spans are applied around the result afterwards.
+       */
+    markdownLines(text, width, live, face, column = 0) {
+        return this.context.markdown
+            .render(this.context.theme.rich(text, { column }), Math.max(1, width), live, face)
+            .map(line => line.replace(/[ \t]+$/u, ''));
+    }
+    /**
+       * Render one message's text as markdown.
+       *
+       * A thought passes its own face and an indent, so the row stays visibly a
+       * detail of the step that produced it rather than a second answer.
+       */
+    pushMarkdown(lines, text, width, live, face = ANSWER_FACE, indent = '') {
+        const lead = visibleWidth(indent);
+        for (const line of this.markdownLines(text, Math.max(1, width - lead), live, face, lead)) {
+            // A blank markdown line stays blank: it shows nothing, so it holds nothing.
+            if (line === '') {
+                lines.push('');
+                continue;
+            }
+            lines.push(this.context.theme.cut(`${indent}${line}`, width, '…'));
+        }
+    }
+    /**
+       * One message closed into a frame, with its markdown laid out to what is left inside.
+       *
+       * A prompt and a reply are the two objects of an exchange, so both are drawn as
+       * bars rather than as one more stretch of rows; the face, the border's element,
+       * and whether the text is still arriving are the only differences. Markdown lays
+       * itself out to the frame's text width, so the frame may only place the rows:
+       * wrapping them again would break what it drew. The rows are recorded as they
+       * are drawn, because a copy of this message will carry the frame with it and
+       * only the drawing knows which columns of a row are the frame's.
+       */
+    pushFramed(lines, copy, text, width, live, face, borderToken) {
+        const framed = canFrame(width, this.context.theme.visible(borderToken));
+        const inside = framed ? width - FRAME_COLUMNS : width;
+        const body = this.markdownLines(text, textWidth(inside), live, face);
+        const block = frameBlock(body, width, {
+            text: line => line,
+            border: rule => this.context.theme.style(borderToken, rule),
+            framed,
+        });
+        lines.push(...block.drawn);
+        copy.push(...block.copy);
+    }
+    /**
+       * The face a thought is drawn in.
+       *
+       * Its shade stays the thought body's and it asks for no drawing: a diagram in
+       * the middle of a thought would carry the answer's weight, and the answer's
+       * colours would make the thinking compete with it.
+       */
+    reasoningFace() {
+        const body = (text) => this.context.theme.style('transcript.reasoning.body', text);
+        return { name: 'reasoning', base: { color: body }, theme: recessiveMarkdownTheme(body, this.context.theme), transform: false };
+    }
+    /** The face a submitted prompt is drawn in: its structure is markdown's, its shade stays the prompt's. */
+    userFace() {
+        return { name: 'user', base: { color: text => this.context.theme.style('transcript.user', text) } };
+    }
+    pushReasoning(lines, entry, width, spans) {
+        if (!this.context.theme.visible('transcript.reasoning.summary'))
+            return;
+        const start = lines.length;
+        const open = this.context.reasoningOpen(entry);
+        const glyph = this.context.theme.glyph('transcript.reasoning.summary');
+        const lead = glyph === '' ? '' : `${glyph} `;
+        // A folded row carries the key that opens it, because a count with no way to
+        // reach the text reads the same as the text never having arrived. The key
+        // rides the row rather than a line of its own, so naming the hidden body
+        // costs no vertical space.
+        const suffix = !open && entry.body !== '' && this.context.theme.visible('transcript.reasoning.hint')
+            ? ` (${this.context.reasoningFoldHint()})`
+            : '';
+        // The key is kept whole: the summary is the part that gives up room.
+        const room = Math.max(1, width - visibleWidth(suffix));
+        const summary = this.context.theme.cut(this.context.theme.rich(`${lead}${entry.summary}`, { token: 'transcript.reasoning.summary', column: visibleWidth(lead) }), room, '');
+        const lined = suffix === '' ? summary : `${summary}${this.context.theme.style('transcript.reasoning.hint', suffix)}`;
+        // The key is kept whole only while the row has room for it: a row wider than
+        // the surface loses its tail to the terminal, and the terminal's clamp is not
+        // one this component can count on.
+        lines.push(this.context.theme.cut(lined, width, '…'));
+        if (open && this.context.theme.visible('transcript.reasoning.body')) {
+            this.pushMarkdown(lines, entry.body, width, entry.live, this.reasoningFace(), DETAIL_INDENT);
+        }
+        const key = this.context.reasoningKey(entry.id);
+        if (key !== undefined)
+            spans.push({ key, start, end: lines.length, expanded: open });
+    }
+    /** The mark and the space that introduce an element, empty when it has none. */
+    elementLead(token) {
+        const glyph = this.context.theme.visible(token) ? this.context.theme.glyph(token) : '';
+        return glyph === '' ? '' : `${glyph} `;
+    }
+}
+//# sourceMappingURL=transcript-message.js.map

package/lib/ui/view/transcript-message.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"transcript-message.js","sourceRoot":"","sources":["../../../src/ui/view/transcript-message.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AACH,OAAO,EAAsB,YAAY,EAAE,MAAM,wBAAwB,CAAA;AACzE,OAAO,EAAwB,MAAM,qBAAqB,CAAA;AAC1D,OAAO,EAAiB,MAAM,uBAAuB,CAAA;AACrD,OAAO,EAAiB,MAAM,gBAAgB,CAAA;AAC9C,OAAO,EAAE,cAAc,EAAE,MAAM,YAAY,CAAA;AAC3C,OAAO,EAAE,QAAQ,EAAE,UAAU,EAAE,aAAa,EAAE,SAAS,EAAiB,MAAM,aAAa,CAAA;AAC3F,OAAO,EAAE,WAAW,EAA4C,MAAM,gBAAgB,CAAA;AACtF,OAAO,EAAkB,MAAM,YAAY,CAAA;AAE3C,MAAM,aAAa,GAAG,MAAM,CAAA;AAC5B;;;;;;;;;;GAUG;AACH,SAAS,sBAAsB,CAAC,KAA+B,EAAE,KAAe;IAC9E,OAAO;QACL,OAAO,EAAE,KAAK;QACd,IAAI,EAAE,KAAK;QACX,OAAO,EAAE,KAAK;QACd,IAAI,EAAE,KAAK;QACX,SAAS,EAAE,KAAK;QAChB,eAAe,EAAE,KAAK;QACtB,KAAK,EAAE,KAAK;QACZ,WAAW,EAAE,KAAK;QAClB,EAAE,EAAE,KAAK;QACT,UAAU,EAAE,KAAK;QACjB,IAAI,EAAE,KAAK;QACX,MAAM,EAAE,KAAK;QACb,aAAa,EAAE,KAAK;QACpB,SAAS,EAAE,KAAK;QAChB,aAAa,EAAE,CAAC,IAAI,EAAE,IAAI,EAAE,EAAE,CAAC,cAAc,CAAC,IAAI,EAAE,IAAI,EAAE;YACxD,KAAK,EAAE,CAAC,KAAK,EAAE,IAAI,EAAE,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,KAAK,EAAE,IAAI,CAAC;YAChD,OAAO,EAAE,KAAK,CAAC,EAAE,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;YACtC,KAAK,EAAE,KAAK;SACb,CAAC;KACH,CAAA;AACH,CAAC;AAWD,MAAM,OAAO,QAAQ;IACU;IAA7B,YAA6B,OAAwB;QAAxB,YAAO,GAAP,OAAO,CAAiB;IAAG,CAAC;IAEzD;;;;;SAKK;IACK,aAAa,CAAC,IAAY,EAAE,KAAa,EAAE,IAAa,EAAE,IAAkB,EAAE,MAAM,GAAG,CAAC;QAC9F,OAAO,IAAI,CAAC,OAAO,CAAC,QAAQ;aACzB,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,EAAE,EAAE,MAAM,EAAE,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,KAAK,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC;aACjF,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,OAAO,CAAC,UAAU,EAAE,EAAE,CAAC,CAAC,CAAA;IAC9C,CAAC;IACH;;;;;SAKK;IACK,YAAY,CAClB,KAAe,EACf,IAAY,EACZ,KAAa,EACb,IAAa,EACb,OAAqB,WAAW,EAChC,MAAM,GAAG,EAAE;QAEX,MAAM,IAAI,GAAG,YAAY,CAAC,MAAM,CAAC,CAAA;QACjC,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,aAAa,CAAC,IAAI,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,KAAK,GAAG,IAAI,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,CAAC,EAAE,CAAC;YACzF,4EAA4E;YAC5E,IAAI,IAAI,KAAK,EAAE,EAAE,CAAC;gBAChB,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAA;gBACd,SAAQ;YACV,CAAC;YACD,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,GAAG,CAAC,GAAG,MAAM,GAAG,IAAI,EAAE,EAAE,KAAK,EAAE,GAAG,CAAC,CAAC,CAAA;QACpE,CAAC;IACH,CAAC;IACH;;;;;;;;;;SAUK;IACH,UAAU,CAAC,KAAe,EAAE,IAAgB,EAAE,IAAY,EAAE,KAAa,EAAE,IAAa,EAAE,IAAkB,EAAE,WAAqB;QACjI,MAAM,MAAM,GAAG,QAAQ,CAAC,KAAK,EAAE,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,OAAO,CAAC,WAAW,CAAC,CAAC,CAAA;QACvE,MAAM,MAAM,GAAG,MAAM,CAAC,CAAC,CAAC,KAAK,GAAG,aAAa,CAAC,CAAC,CAAC,KAAK,CAAA;QACrD,MAAM,IAAI,GAAG,IAAI,CAAC,aAAa,CAAC,IAAI,EAAE,SAAS,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,CAAA;QACpE,MAAM,KAAK,GAAG,UAAU,CAAC,IAAI,EAAE,KAAK,EAAE;YACpC,IAAI,EAAE,IAAI,CAAC,EAAE,CAAC,IAAI;YAClB,MAAM,EAAE,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,KAAK,CAAC,WAAW,EAAE,IAAI,CAAC;YAC3D,MAAM;SACP,CAAC,CAAA;QACF,KAAK,CAAC,IAAI,CAAC,GAAG,KAAK,CAAC,KAAK,CAAC,CAAA;QAC1B,IAAI,CAAC,IAAI,CAAC,GAAG,KAAK,CAAC,IAAI,CAAC,CAAA;IAC1B,CAAC;IACH;;;;;;SAMK;IACK,aAAa;QACnB,MAAM,IAAI,GAAG,CAAC,IAAY,EAAU,EAAE,CAAC,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,KAAK,CAAC,2BAA2B,EAAE,IAAI,CAAC,CAAA;QAClG,OAAO,EAAE,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,EAAE,KAAK,EAAE,sBAAsB,CAAC,IAAI,EAAE,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,SAAS,EAAE,KAAK,EAAE,CAAA;IAChI,CAAC;IACH,0GAA0G;IACxG,QAAQ;QACN,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,EAAE,KAAK,EAAE,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,KAAK,CAAC,iBAAiB,EAAE,IAAI,CAAC,EAAE,EAAE,CAAA;IACrG,CAAC;IACH,aAAa,CAAC,KAAe,EAAE,KAAsD,EAAE,KAAa,EAAE,KAAkB;QACpH,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,OAAO,CAAC,8BAA8B,CAAC;YAAE,OAAM;QACvE,MAAM,KAAK,GAAG,KAAK,CAAC,MAAM,CAAA;QAC1B,MAAM,IAAI,GAAG,IAAI,CAAC,OAAO,CAAC,aAAa,CAAC,KAAK,CAAC,CAAA;QAC9C,MAAM,KAAK,GAAG,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,KAAK,CAAC,8BAA8B,CAAC,CAAA;QACtE,MAAM,IAAI,GAAG,KAAK,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,KAAK,GAAG,CAAA;QAC5C,6EAA6E;QAC7E,0EAA0E;QAC1E,yEAAyE;QACzE,2BAA2B;QAC3B,MAAM,MAAM,GAAG,CAAC,IAAI,IAAI,KAAK,CAAC,IAAI,KAAK,EAAE,IAAI,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,OAAO,CAAC,2BAA2B,CAAC;YAClG,CAAC,CAAC,KAAK,IAAI,CAAC,OAAO,CAAC,iBAAiB,EAAE,GAAG;YAC1C,CAAC,CAAC,EAAE,CAAA;QACN,qEAAqE;QACrE,MAAM,IAAI,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,KAAK,GAAG,YAAY,CAAC,MAAM,CAAC,CAAC,CAAA;QACtD,MAAM,OAAO,GAAG,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG,IAAI,GAAG,KAAK,CAAC,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,8BAA8B,EAAE,MAAM,EAAE,YAAY,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,IAAI,EAAE,EAAE,CAAC,CAAA;QAC3K,MAAM,KAAK,GAAG,MAAM,KAAK,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,GAAG,OAAO,GAAG,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,KAAK,CAAC,2BAA2B,EAAE,MAAM,CAAC,EAAE,CAAA;QACpH,6EAA6E;QAC7E,8EAA8E;QAC9E,mCAAmC;QACnC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,GAAG,CAAC,KAAK,EAAE,KAAK,EAAE,GAAG,CAAC,CAAC,CAAA;QACrD,IAAI,IAAI,IAAI,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,OAAO,CAAC,2BAA2B,CAAC,EAAE,CAAC;YACpE,IAAI,CAAC,YAAY,CAAC,KAAK,EAAE,KAAK,CAAC,IAAI,EAAE,KAAK,EAAE,KAAK,CAAC,IAAI,EAAE,IAAI,CAAC,aAAa,EAAE,EAAE,aAAa,CAAC,CAAA;QAC9F,CAAC;QACD,MAAM,GAAG,GAAG,IAAI,CAAC,OAAO,CAAC,YAAY,CAAC,KAAK,CAAC,EAAE,CAAC,CAAA;QAC/C,IAAI,GAAG,KAAK,SAAS;YAAE,KAAK,CAAC,IAAI,CAAC,EAAE,GAAG,EAAE,KAAK,EAAE,GAAG,EAAE,KAAK,CAAC,MAAM,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC,CAAA;IACtF,CAAC;IACH,gFAAgF;IAC9E,WAAW,CAAC,KAAe;QACzB,MAAM,KAAK,GAAG,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAA;QACtF,OAAO,KAAK,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,KAAK,GAAG,CAAA;IACxC,CAAC;CACJ"}

package/lib/ui/view.d.ts

@@ -1,12 +1,13 @@
-import { type Component, type TuiMouseEvent, type TuiMouseEventResult } from '@earendil-works/pi-tui';
-import { type Keymap } from '../input/actions.ts';
-import { type GateCard } from '../gates.ts';
-import type { TranscriptEntry, TranscriptModel } from '../transcript.ts';
-import { type ToolDisplaySpec } from '../tool-display.ts';
-import type { TuiTheme } from '../theme.ts';
-import { type MarkdownRenderer } from './markdown.ts';
-import type { PickerCard } from './picker.ts';
 import { RowCache, type RowCacheStats } from './rows.ts';
+import { type PickerCard } from './picker.ts';
+import { type MarkdownRenderer } from './markdown.ts';
+import { type FrameRow } from './frame.ts';
+import { type TuiTheme } from '../theme.ts';
+import { type ToolDisplaySpec } from '../tool-display.ts';
+import { type TranscriptEntry, type TranscriptModel } from '../transcript.ts';
+import { type GateCard } from '../gates.ts';
+import { type Keymap } from '../input/actions.ts';
+import { type Component, type TuiMouseEvent, type TuiMouseEventResult } from '@earendil-works/pi-tui';
 /** Which rows the reader has opened by key; a click decides for one message instead. */
 export interface ViewState {
     readonly expandCards: boolean;
@@ -23,6 +24,21 @@ export interface ViewState {
  * a program's calls, whose one line per dispatch is what the card stands for.
  */
 export declare const DEFAULT_VIEW_STATE: ViewState;
+/**
+ * Where one clickable message drew, so a click can find what it landed on.
+ *
+ * A card's rows cover the calls it dispatched, so the card and each of those
+ * calls have a span; the click takes the tightest one it falls in.
+ */
+export interface ClickSpan {
+    /** Stable across redraws, so a click outlives the entry it was made on. */
+    readonly key: string;
+    readonly start: number;
+    /** Exclusive: the row after the message's last. */
+    readonly end: number;
+    /** Whether the message was open when those rows were drawn. */
+    readonly expanded: boolean;
+}
 /**
  * Renders the transcript rows and any pending gate as terminal lines.
  *
@@ -61,183 +77,98 @@ export declare class TranscriptView implements Component {
     private readonly options;
     private readonly rows;
     /**
-     * Fold choices the reader made by clicking, per message.
-     *
-     * Absent means the key or the tool's own policy decides, so a settings edit
-     * stays in charge of messages nobody clicked. Keyed by the call or thought id
-     * rather than by the entry, because a result replaces the entry a click was
-     * made on and a thought outlives the live row that streamed it.
-     */
+       * Fold choices the reader made by clicking, per message.
+       *
+       * Absent means the key or the tool's own policy decides, so a settings edit
+       * stays in charge of messages nobody clicked. Keyed by the call or thought id
+       * rather than by the entry, because a result replaces the entry a click was
+       * made on and a thought outlives the live row that streamed it.
+       */
     private readonly clicked;
     /** The rows each clickable message drew last render, for mapping a click back to it. */
     private spans;
     /** The same spans relative to their entry, so a cached entry still answers clicks. */
     private readonly entrySpans;
+    /**
+       * The framed rows each entry drew last render, for reading a copy back out.
+       *
+       * Relative to the entry for the same reason the spans are: a cached entry draws
+       * no rows this frame and still has to answer for what it drew before.
+       */
+    private readonly entryCopy;
+    /**
+       * The framed rows the in-flight entries drew this frame.
+       *
+       * They cannot be kept by entry the way the settled ones are: every frame builds
+       * a live entry as a fresh object, so a map keyed by it would never answer. A copy
+       * is read against the last frame, so it is the render that keeps them.
+       */
+    private liveCopy;
+    private readonly cards;
+    private readonly messages;
+    private readonly gates;
+    /** The row renderers, each told only what it draws, so the view stays the one owner of view state and row caches. */
     constructor(model: TranscriptModel, theme: TuiTheme, markdown: MarkdownRenderer, options?: TranscriptViewOptions);
     private get viewState();
     /** The display the reader configured for a tool, or the shipped one. */
     private toolDisplay;
     /**
-     * Whether one tool message draws open.
-     *
-     * A click outranks the key, which outranks the tool's start state: Ctrl+O
-     * stays "show me everything", while one clicked message keeps the state the
-     * reader gave it.
-     */
+       * Whether one tool message draws open.
+       *
+       * A click outranks the key, which outranks the tool's start state: Ctrl+O
+       * stays "show me everything", while one clicked message keeps the state the
+       * reader gave it.
+       */
     private expansionOf;
     /** Whether one thought draws its body; a click decides for that thought alone. */
     private reasoningOpen;
     /** Whether one dispatched call draws its argument in full; a click decides for that call. */
     private subCallOpen;
     /**
-     * Answer a click on a message by folding or unfolding that one row.
-     *
-     * The tightest span under the point wins, so a click on a dispatched call
-     * opens that call rather than the card around it. Only a left click is
-     * consumed: a press, a drag, and a wheel belong to the surface's own
-     * selection and scrolling, and a row that swallowed them would cost the
-     * reader the ability to copy the command it just drew.
-     */
+       * Answer a click on a message by folding or unfolding that one row.
+       *
+       * The tightest span under the point wins, so a click on a dispatched call
+       * opens that call rather than the card around it. Only a left click is
+       * consumed: a press, a drag, and a wheel belong to the surface's own
+       * selection and scrolling, and a row that swallowed them would cost the
+       * reader the ability to copy the command it just drew.
+       */
     handleMouse(event: TuiMouseEvent): TuiMouseEventResult | undefined;
     /** The cache's own account of the work it avoided; a test reads this. */
     rowStats(): RowCacheStats;
     invalidate(): void;
     /**
-     * Wrap one text block under a prefix, keeping the prefix's column budget.
-     *
-     * The block is drawn before it is wrapped: a sequence a terminal would have
-     * acted on has to be gone before pi-tui measures the row, and a tab has to
-     * land on the stop the writer saw rather than one a wrapper would guess at.
-     * The prefix seeds that stop, because it is already on the row.
-     */
+       * Wrap one text block under a prefix, keeping the prefix's column budget.
+       *
+       * The block is drawn before it is wrapped: a sequence a terminal would have
+       * acted on has to be gone before pi-tui measures the row, and a tab has to
+       * land on the stop the writer saw rather than one a wrapper would guess at.
+       * The prefix seeds that stop, because it is already on the row.
+       */
     private pushWrapped;
-    /**
-     * Wrap one already-styled block under a prefix.
-     *
-     * A card header mixes tokens — title, argument, stats — in a single string, so
-     * it cannot go through {@link pushWrapped}, which escapes and restyles plain
-     * text. Its width still has to fold at the screen edge rather than be cut,
-     * because the argument is the part a reader scans for and a silently dropped
-     * command is worse than a taller card.
-     */
-    private pushStyledWrapped;
-    /**
-     * The rows one markdown message draws, with the padding pi-tui adds for background styling removed.
-     *
-     * The source is drawn first so the markdown renderer never measures a sequence
-     * it cannot see; its own spans are applied around the result afterwards.
-     */
-    private markdownLines;
-    /**
-     * Render one message's text as markdown.
-     *
-     * A thought passes its own face and an indent, so the row stays visibly a
-     * detail of the step that produced it rather than a second answer.
-     */
-    private pushMarkdown;
-    /**
-     * One message closed into a frame, with its markdown laid out to what is left inside.
-     *
-     * A prompt and a reply are the two objects of an exchange, so both are drawn as
-     * bars rather than as one more stretch of rows; the face, the border's element,
-     * and whether the text is still arriving are the only differences. Markdown lays
-     * itself out to the frame's text width, so the frame may only place the rows:
-     * wrapping them again would break what it drew.
-     */
-    private pushFramed;
-    /**
-     * The face a thought is drawn in.
-     *
-     * Its shade stays the thought body's and it asks for no drawing: a diagram in
-     * the middle of a thought would carry the answer's weight, and the answer's
-     * colours would make the thinking compete with it.
-     */
-    private reasoningFace;
-    /** The face a submitted prompt is drawn in: its structure is markdown's, its shade stays the prompt's. */
-    private userFace;
     /** The live map, or the shipped one for a caller that did not lend one. */
     private keymap;
     private reasoningFoldHint;
-    private pushReasoning;
-    private pushCard;
-    /**
-     * The calls one card dispatched, one entry each.
-     *
-     * A nested call is a signpost rather than a card of its own, so it keeps one
-     * entry per call, clipped to that entry until the reader clicks it: the
-     * argument is the part a reader scans for, and one that always wrapped pushed
-     * the rest of the program off the screen.
-     */
-    private pushSubCalls;
-    /**
-     * What a dispatched call declared and what it produced, under its argument.
-     *
-     * The parent card keeps only the program's return value, so both are otherwise
-     * gone; a reader who opens the row is asking for them, which is why the call's
-     * own rows come first and its outcome under them. Each section keeps the
-     * retention its card used, so a long run still says what it dropped.
-     */
-    private pushSubCallOutput;
-    /**
-     * A folded card's one row: label, clipped argument, measured facts, outcome.
-     *
-     * The outcome rides this row rather than a row of its own, because one line
-     * per call is what folding promises. A shell card's hidden rows are counted
-     * here too: its output is the answer the reader asked for, and a fold that
-     * left no trace of it would read as a call that produced nothing.
-     *
-     * The argument is the part that gives up room: it is clipped to whatever the
-     * label, the facts, and the outcome leave before the edge, so a wide terminal
-     * shows more of the call while a narrow one still shows how it ended.
-     */
-    private renderCollapsedHead;
-    /**
-     * One detail row, drawn with its own kind's colours or nothing at all.
-     *
-     * The row says what it is, so the renderer never guesses from the text: a diff
-     * line beginning with "+" is an addition because the presenter said so, not
-     * because of its first character.
-     */
-    private detailRow;
-    /** The mark that introduces a card, empty when the theme hides its label. */
-    private cardLead;
-    /** A card's label, styled, or nothing when the theme hides it. */
-    private cardTitle;
-    /** A card's argument, styled and flattened, clipped to `limit` when one is given. */
-    private cardArgument;
     /**
-     * A card's header: its label, its argument, and its measured facts.
-     *
-     * The glyph is returned apart from the body so a wrapped continuation can
-     * align under the label rather than under the mark. An opened terminal's
-     * argument is left out because it needs a row of its own — it is the one
-     * argument that can be a whole command rather than a word.
-     */
-    private renderHead;
-    /** The separator a header uses between its label, its facts, and its outcome. */
-    private statSeparator;
-    /**
-     * The measured facts, each in its own colour, or nothing when none is visible.
-     *
-     * The lead is a parameter because a header that already carries a title and an
-     * argument separates its facts with the same mark as its outcome, while facts
-     * on a row of their own stand apart with blank columns.
-     */
-    private renderStats;
+       * Whether any part of one card is still in flight.
+       *
+       * Only a card with work outstanding has a clock attached to its cache, so the
+       * moment the last call settles the row stops being rebuilt: a program that
+       * came back must not keep spending the cache its result is now stored in.
+       */
+    private isLive;
     private pushPicker;
-    private pushGate;
-    /**
-     * One row a reader can choose: the cursor, the box, the number, the label.
-     *
-     * The row wraps under the label it belongs to rather than at the screen edge,
-     * because the label and its description together are what tells two rows
-     * apart, and a mark on a continuation line reads as another row.
-     */
-    private pushGateRow;
     /** The rows one transcript entry becomes; `live` marks the entry the turn is still writing. */
     private renderEntry;
-    /** The mark and the space that introduce an element, empty when it has none. */
-    private elementLead;
     render(width: number): string[];
+    /**
+       * The framed rows the last render drew, in the order the transcript reads.
+       *
+       * A copy of a selection is read off the screen, so it carries the frame the
+       * surface drew around a message — the sides, the padding beside them, and the
+       * rules above and below. This is the account that lets the surface take its own
+       * frame back out of a copy without ever touching a character the reader wrote.
+       */
+    copyRows(): readonly FrameRow[];
 }
 //# sourceMappingURL=view.d.ts.map

package/lib/ui/view.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"view.d.ts","sourceRoot":"","sources":["../../src/ui/view.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,KAAK,SAAS,EAEd,KAAK,aAAa,EAClB,KAAK,mBAAmB,EAGzB,MAAM,wBAAwB,CAAA;AAE/B,OAAO,EAA2B,KAAK,MAAM,EAAE,MAAM,qBAAqB,CAAA;AAC1E,OAAO,EAAqB,KAAK,QAAQ,EAAE,MAAM,aAAa,CAAA;AAC9D,OAAO,KAAK,EAAE,eAAe,EAAE,eAAe,EAAE,MAAM,kBAAkB,CAAA;AACxE,OAAO,EAAwB,KAAK,eAAe,EAAE,MAAM,oBAAoB,CAAA;AAE/E,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,aAAa,CAAA;AAG3C,OAAO,EAAkC,KAAK,gBAAgB,EAAE,MAAM,eAAe,CAAA;AAErF,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,aAAa,CAAA;AAC7C,OAAO,EAAE,QAAQ,EAAE,KAAK,aAAa,EAAE,MAAM,WAAW,CAAA;AA4FxD,wFAAwF;AACxF,MAAM,WAAW,SAAS;IACxB,QAAQ,CAAC,WAAW,EAAE,OAAO,CAAA;IAC7B,QAAQ,CAAC,eAAe,EAAE,OAAO,CAAA;IACjC,qFAAqF;IACrF,QAAQ,CAAC,cAAc,EAAE,OAAO,CAAA;CACjC;AAED;;;;;;;GAOG;AACH,eAAO,MAAM,kBAAkB,EAAE,SAAgF,CAAA;AA0BjH;;;;;;;GAOG;AACH,gFAAgF;AAChF,MAAM,WAAW,qBAAqB;IACpC,QAAQ,CAAC,KAAK,CAAC,EAAE,MAAM,SAAS,CAAA;IAChC,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,QAAQ,GAAG,SAAS,CAAA;IAC1C,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,UAAU,GAAG,SAAS,CAAA;IAC9C,0EAA0E;IAC1E,QAAQ,CAAC,IAAI,CAAC,EAAE,QAAQ,CAAC,eAAe,CAAC,CAAA;IACzC;;;;;;OAMG;IACH,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,MAAM,CAAA;IAC5B;;;;;OAKG;IACH,QAAQ,CAAC,WAAW,CAAC,EAAE,CAAC,IAAI,EAAE,MAAM,KAAK,eAAe,CAAA;CACzD;AAED,qBAAa,cAAe,YAAW,SAAS;IAiB5C,OAAO,CAAC,QAAQ,CAAC,KAAK;IACtB,OAAO,CAAC,QAAQ,CAAC,KAAK;IACtB,OAAO,CAAC,QAAQ,CAAC,QAAQ;IACzB,OAAO,CAAC,QAAQ,CAAC,OAAO;IAnB1B,OAAO,CAAC,QAAQ,CAAC,IAAI,CAA2B;IAChD;;;;;;;OAOG;IACH,OAAO,CAAC,QAAQ,CAAC,OAAO,CAA6B;IACrD,wFAAwF;IACxF,OAAO,CAAC,KAAK,CAA2B;IACxC,sFAAsF;IACtF,OAAO,CAAC,QAAQ,CAAC,UAAU,CAAuD;gBAG/D,KAAK,EAAE,eAAe,EACtB,KAAK,EAAE,QAAQ,EACf,QAAQ,EAAE,gBAAgB,EAC1B,OAAO,GAAE,qBAA0B;IAKtD,OAAO,KAAK,SAAS,GAEpB;IAED,wEAAwE;IACxE,OAAO,CAAC,WAAW;IAInB;;;;;;OAMG;IACH,OAAO,CAAC,WAAW;IAMnB,kFAAkF;IAClF,OAAO,CAAC,aAAa;IAMrB,6FAA6F;IAC7F,OAAO,CAAC,WAAW;IAInB;;;;;;;;OAQG;IACH,WAAW,CAAC,KAAK,EAAE,aAAa,GAAG,mBAAmB,GAAG,SAAS;IAYlE,yEAAyE;IACzE,QAAQ,IAAI,aAAa;IAIzB,UAAU,IAAI,IAAI;IAMlB;;;;;;;OAOG;IACH,OAAO,CAAC,WAAW;IAenB;;;;;;;;OAQG;IACH,OAAO,CAAC,iBAAiB;IASzB;;;;;OAKG;IACH,OAAO,CAAC,aAAa;IAMrB;;;;;OAKG;IACH,OAAO,CAAC,YAAY;IAmBpB;;;;;;;;OAQG;IACH,OAAO,CAAC,UAAU;IAWlB;;;;;;OAMG;IACH,OAAO,CAAC,aAAa;IAKrB,0GAA0G;IAC1G,OAAO,CAAC,QAAQ;IAIhB,2EAA2E;IAC3E,OAAO,CAAC,MAAM;IAId,OAAO,CAAC,iBAAiB;IAIzB,OAAO,CAAC,aAAa;IA4BrB,OAAO,CAAC,QAAQ;IAgEhB;;;;;;;OAOG;IACH,OAAO,CAAC,YAAY;IA8BpB;;;;;;;OAOG;IACH,OAAO,CAAC,iBAAiB;IAmBzB;;;;;;;;;;;OAWG;IACH,OAAO,CAAC,mBAAmB;IA0B3B;;;;;;OAMG;IACH,OAAO,CAAC,SAAS;IASjB,6EAA6E;IAC7E,OAAO,CAAC,QAAQ;IAKhB,kEAAkE;IAClE,OAAO,CAAC,SAAS;IAIjB,qFAAqF;IACrF,OAAO,CAAC,YAAY;IAMpB;;;;;;;OAOG;IACH,OAAO,CAAC,UAAU;IAQlB,iFAAiF;IACjF,OAAO,CAAC,aAAa;IAIrB;;;;;;OAMG;IACH,OAAO,CAAC,WAAW;IASnB,OAAO,CAAC,UAAU;IAQlB,OAAO,CAAC,QAAQ;IAyDhB;;;;;;OAMG;IACH,OAAO,CAAC,WAAW;IAYnB,+FAA+F;IAC/F,OAAO,CAAC,WAAW;IA+BnB,gFAAgF;IAChF,OAAO,CAAC,WAAW;IAKnB,MAAM,CAAC,KAAK,EAAE,MAAM,GAAG,MAAM,EAAE;CAyDhC"}
+{"version":3,"file":"view.d.ts","sourceRoot":"","sources":["../../src/ui/view.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,KAAK,aAAa,EAAE,MAAM,WAAW,CAAA;AACxD,OAAO,EAAE,KAAK,UAAU,EAAE,MAAM,aAAa,CAAA;AAE7C,OAAO,EAAe,KAAK,gBAAgB,EAAE,MAAM,eAAe,CAAA;AAClE,OAAO,EAAE,KAAK,QAAQ,EAAE,MAAM,YAAY,CAAA;AAC1C,OAAO,EAAE,KAAK,QAAQ,EAAE,MAAM,aAAa,CAAA;AAE3C,OAAO,EAAwB,KAAK,eAAe,EAAE,MAAM,oBAAoB,CAAA;AAE/E,OAAO,EAAE,KAAK,eAAe,EAAE,KAAK,eAAe,EAAE,MAAM,kBAAkB,CAAA;AAC7E,OAAO,EAAE,KAAK,QAAQ,EAAE,MAAM,aAAa,CAAA;AAC3C,OAAO,EAA2B,KAAK,MAAM,EAAE,MAAM,qBAAqB,CAAA;AAC1E,OAAO,EAAE,KAAK,SAAS,EAAE,KAAK,aAAa,EAAE,KAAK,mBAAmB,EAAkC,MAAM,wBAAwB,CAAA;AAQrI,wFAAwF;AACxF,MAAM,WAAW,SAAS;IACxB,QAAQ,CAAC,WAAW,EAAE,OAAO,CAAA;IAC7B,QAAQ,CAAC,eAAe,EAAE,OAAO,CAAA;IACjC,qFAAqF;IACrF,QAAQ,CAAC,cAAc,EAAE,OAAO,CAAA;CACjC;AACD;;;;;;;GAOG;AACH,eAAO,MAAM,kBAAkB,EAAE,SAAgF,CAAA;AACjH;;;;;GAKG;AACH,MAAM,WAAW,SAAS;IACxB,2EAA2E;IAC3E,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAA;IACpB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAA;IACtB,mDAAmD;IACnD,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAA;IACpB,+DAA+D;IAC/D,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAA;CAC3B;AAKD;;;;;;;GAOG;AACH,gFAAgF;AAChF,MAAM,WAAW,qBAAqB;IACpC,QAAQ,CAAC,KAAK,CAAC,EAAE,MAAM,SAAS,CAAA;IAChC,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,QAAQ,GAAG,SAAS,CAAA;IAC1C,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,UAAU,GAAG,SAAS,CAAA;IAC9C,0EAA0E;IAC1E,QAAQ,CAAC,IAAI,CAAC,EAAE,QAAQ,CAAC,eAAe,CAAC,CAAA;IACzC;;;;;;OAMG;IACH,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,MAAM,CAAA;IAC5B;;;;;OAKG;IACH,QAAQ,CAAC,WAAW,CAAC,EAAE,CAAC,IAAI,EAAE,MAAM,KAAK,eAAe,CAAA;CACzD;AAED,qBAAa,cAAe,YAAW,SAAS;IAoC5C,OAAO,CAAC,QAAQ,CAAC,KAAK;IACtB,OAAO,CAAC,QAAQ,CAAC,KAAK;IACtB,OAAO,CAAC,QAAQ,CAAC,QAAQ;IACzB,OAAO,CAAC,QAAQ,CAAC,OAAO;IAtC5B,OAAO,CAAC,QAAQ,CAAC,IAAI,CAA2B;IAChD;;;;;;;SAOK;IACH,OAAO,CAAC,QAAQ,CAAC,OAAO,CAA6B;IACvD,wFAAwF;IACtF,OAAO,CAAC,KAAK,CAA2B;IAC1C,sFAAsF;IACpF,OAAO,CAAC,QAAQ,CAAC,UAAU,CAAuD;IACpF;;;;;SAKK;IACH,OAAO,CAAC,QAAQ,CAAC,SAAS,CAAsD;IAClF;;;;;;SAMK;IACH,OAAO,CAAC,QAAQ,CAA0B;IAC1C,OAAO,CAAC,QAAQ,CAAC,KAAK,CAAW;IACjC,OAAO,CAAC,QAAQ,CAAC,QAAQ,CAAU;IACnC,OAAO,CAAC,QAAQ,CAAC,KAAK,CAAW;IACjC,qHAAqH;gBAGlG,KAAK,EAAE,eAAe,EACtB,KAAK,EAAE,QAAQ,EACf,QAAQ,EAAE,gBAAgB,EAC1B,OAAO,GAAE,qBAA0B;IAOxD,OAAO,KAAK,SAAS,GAElB;IACH,wEAAwE;IACtE,OAAO,CAAC,WAAW;IAGrB;;;;;;SAMK;IACH,OAAO,CAAC,WAAW;IAKrB,kFAAkF;IAChF,OAAO,CAAC,aAAa;IAKvB,6FAA6F;IAC3F,OAAO,CAAC,WAAW;IAGrB;;;;;;;;SAQK;IACH,WAAW,CAAC,KAAK,EAAE,aAAa,GAAG,mBAAmB,GAAG,SAAS;IAWpE,yEAAyE;IACvE,QAAQ,IAAI,aAAa;IAG3B,UAAU,IAAI,IAAI;IAKlB;;;;;;;SAOK;IACH,OAAO,CAAC,WAAW;IAcrB,2EAA2E;IACzE,OAAO,CAAC,MAAM;IAGhB,OAAO,CAAC,iBAAiB;IAGzB;;;;;;SAMK;IACH,OAAO,CAAC,MAAM;IAQhB,OAAO,CAAC,UAAU;IAOlB,+FAA+F;IAC7F,OAAO,CAAC,WAAW;IA8BrB,MAAM,CAAC,KAAK,EAAE,MAAM,GAAG,MAAM,EAAE;IAqE/B;;;;;;;SAOK;IACH,QAAQ,IAAI,SAAS,QAAQ,EAAE;CAUhC"}