@timurproko/a1 0.1.8-dev.157 → 0.1.8-dev.214

package/dist/ui/components/text-selection.js

@@ -5,15 +5,50 @@ export function orderedTextSelection(selection) {
     if (selection === undefined)
         return undefined;
     const { anchor, head } = selection;
-    if (anchor.line === head.line && anchor.column === head.column && !selection.cell && !selection.fullRow)
+    if (selection.fullRow) {
+        const startLine = Math.min(anchor.line, head.line);
+        const endLine = Math.max(anchor.line, head.line);
+        return {
+            start: { line: startLine, column: 0 },
+            end: { line: endLine, column: Number.MAX_SAFE_INTEGER },
+            fullRow: true,
+            ...(selection.throughFinalColumn ? { throughFinalColumn: true } : {}),
+        };
+    }
+    if (selection.cell) {
+        const anchorFirst = comparePoints(anchor, head) <= 0;
+        const first = anchorFirst ? anchor : head;
+        const last = anchorFirst ? head : anchor;
+        return {
+            start: { line: first.line, column: pointBefore(first) },
+            end: { line: last.line, column: pointAfter(last) },
+            ...(selection.throughFinalColumn ? { throughFinalColumn: true } : {}),
+        };
+    }
+    if (selection.dragged !== true)
+        return undefined;
+    const direction = comparePoints(anchor, head);
+    if (direction === 0)
+        return undefined;
+    if (sameGrapheme(anchor, head)) {
+        return {
+            start: { line: anchor.line, column: pointBefore(anchor) },
+            end: { line: anchor.line, column: pointAfter(anchor) },
+        };
+    }
+    const ordered = direction < 0
+        ? {
+            start: { line: anchor.line, column: pointBefore(anchor) },
+            end: { line: head.line, column: pointBefore(head) },
+        }
+        : {
+            start: { line: head.line, column: pointAfter(head) },
+            end: { line: anchor.line, column: pointAfter(anchor) },
+        };
+    if (ordered.start.line === ordered.end.line && ordered.start.column >= ordered.end.column)
         return undefined;
-    const anchorFirst = anchor.line < head.line || (anchor.line === head.line && anchor.column <= head.column);
-    const ordered = anchorFirst
-        ? { start: anchor, end: head }
-        : { start: head, end: anchor };
     return {
         ...ordered,
-        ...(selection.fullRow ? { fullRow: true } : {}),
         ...(selection.throughFinalColumn ? { throughFinalColumn: true } : {}),
     };
 }
@@ -50,12 +85,13 @@ export function pressTextSelection(input) {
             kind: "line",
         };
     }
+    const point = textSelectionPointAt(input.line, column, input.lineText);
     return {
         selection: {
-            anchor: { line: input.line, column },
-            head: { line: input.line, column },
+            anchor: point,
+            head: point,
             selecting: true,
-            cell: false,
+            dragged: false,
         },
         click,
         kind: "point",
@@ -64,15 +100,16 @@ export function pressTextSelection(input) {
 export function extendTextSelection(selection, point) {
     if (selection?.selecting !== true)
         return selection;
-    if (selection.fullRow) {
-        if (point.line === selection.anchor.line && selection.head.line === selection.anchor.line)
-            return selection;
-        const edge = point.line < selection.anchor.line ? Number.MAX_SAFE_INTEGER : 1;
-        if (selection.anchor.column !== edge) {
-            return { ...selection, anchor: { line: selection.anchor.line, column: edge }, head: point };
-        }
-    }
-    return { ...selection, head: point };
+    const distinctMotion = comparePoints(selection.head, point) !== 0;
+    if (!distinctMotion)
+        return selection;
+    if (selection.fullRow)
+        return { ...selection, head: point };
+    return {
+        ...selection,
+        head: point,
+        dragged: true,
+    };
 }
 export function releaseTextSelection(selection) {
     if (selection === undefined)
@@ -83,6 +120,21 @@ export function releaseTextSelection(selection) {
 export function textSelectionLineExtendColumn(selection, line, contentWidth) {
     return line < selection.anchor.line ? 1 : Math.max(1, contentWidth);
 }
+/** Resolves a reported one-based pointer cell to the complete grapheme it intersects. */
+export function textSelectionPointAt(line, column, lineText) {
+    const plain = stripAnsi(lineText);
+    const target = Math.max(0, column - 1);
+    let width = 0;
+    for (const { segment } of GRAPHEMES.segment(plain)) {
+        const cellWidth = displayWidth(segment);
+        const next = width + cellWidth;
+        if (cellWidth > 0 && target >= width && target < next) {
+            return { line, column, from: width, to: next };
+        }
+        width = next;
+    }
+    return { line, column, from: target, to: target + 1 };
+}
 export function textSelectionText(selection, rows, lineContent) {
     const parts = [];
     for (let line = selection.start.line; line <= selection.end.line && line < rows.length; line += 1) {
@@ -92,18 +144,20 @@ export function textSelectionText(selection, rows, lineContent) {
             parts.push("");
             continue;
         }
-        const baseFrom = line === selection.start.line ? selection.start.column - 1 : 0;
+        const baseFrom = line === selection.start.line ? selection.start.column : 0;
         const baseTo = line === selection.end.line ? selection.end.column : Number.MAX_SAFE_INTEGER;
-        const from = Math.max(baseFrom, Math.max(0, (content?.from ?? 1) - 1));
-        const to = Math.max(from, Math.min(baseTo, content?.to ?? Number.MAX_SAFE_INTEGER));
-        parts.push(plain.slice(indexAtDisplayWidth(plain, from), indexAtDisplayWidth(plain, to)).trimEnd());
+        const contentFrom = Math.max(0, (content?.from ?? 1) - 1);
+        const contentTo = Math.max(contentFrom, (content?.to ?? Number.MAX_SAFE_INTEGER) - 1);
+        const from = Math.max(baseFrom, contentFrom);
+        const to = Math.max(from, Math.min(baseTo, contentTo));
+        parts.push(plain.slice(indexAtDisplayBoundary(plain, from, "start"), indexAtDisplayBoundary(plain, to, "end")).trimEnd());
     }
     return parts.join("\n");
 }
-/** Returns the plain cells covered by [from,to), using terminal grapheme widths. */
+/** Returns the plain cells covered by [from,to), expanding at grapheme edges. */
 export function plainTextBetweenColumns(line, from, to) {
     const plain = stripAnsi(line);
-    return plain.slice(indexAtDisplayWidth(plain, from), indexAtDisplayWidth(plain, to));
+    return plain.slice(indexAtDisplayBoundary(plain, from, "start"), indexAtDisplayBoundary(plain, to, "end"));
 }
 export function usefulTextLineContent(line, from = 1) {
     const start = Math.max(1, from);
@@ -147,22 +201,35 @@ function characterClass(character) {
         return 1;
     return 2;
 }
-function indexAtDisplayWidth(plain, column) {
+function indexAtDisplayBoundary(plain, column, edge) {
     if (column <= 0)
         return 0;
     let width = 0;
     let index = 0;
     for (const { segment } of GRAPHEMES.segment(plain)) {
         const cellWidth = displayWidth(segment);
-        if (width + cellWidth > column)
-            break;
-        width += cellWidth;
+        const next = width + cellWidth;
+        if (column < next)
+            return edge === "start" ? index : index + segment.length;
         index += segment.length;
+        width = next;
         if (width >= column)
-            break;
+            return index;
     }
     return index;
 }
+function pointBefore(point) {
+    return point.from ?? Math.max(0, point.column - 1);
+}
+function pointAfter(point) {
+    return point.to ?? Math.max(0, point.column);
+}
+function sameGrapheme(left, right) {
+    return left.line === right.line && pointBefore(left) === pointBefore(right) && pointAfter(left) === pointAfter(right);
+}
+function comparePoints(left, right) {
+    return left.line === right.line ? left.column - right.column : left.line - right.line;
+}
 function clamp(value, minimum, maximum) {
     return Math.max(minimum, Math.min(value, maximum));
 }

package/dist/ui/components/text.js

@@ -21,7 +21,7 @@ export function stripAnsi(text) {
     return text.replace(ANSI_PATTERN, "");
 }
 function codePointWidth(codePoint) {
-    // Zero-width: combining marks, joiners, variation selectors, and format characters.
+    // Protocol: zero-width includes combining marks, joiners, variation selectors, and format characters.
     if (codePoint === 0x200d || codePoint === 0xfeff)
         return 0;
     if (codePoint >= 0x0300 && codePoint <= 0x036f)
@@ -38,7 +38,7 @@ function codePointWidth(codePoint) {
         return 0;
     if (codePoint >= 0xe0100 && codePoint <= 0xe01ef)
         return 0;
-    // Wide: CJK, Hangul, fullwidth forms, and the emoji planes terminals render double-width.
+    // Protocol: wide cells include CJK, Hangul, fullwidth forms, and the emoji planes terminals render double-width.
     if (codePoint >= 0x1100 && codePoint <= 0x115f)
         return 2;
     if (codePoint >= 0x2e80 && codePoint <= 0xa4cf && codePoint !== 0x303f)
@@ -59,7 +59,7 @@ function codePointWidth(codePoint) {
         return 2;
     if (codePoint >= 0x20000 && codePoint <= 0x3fffd)
         return 2;
-    // A tab advances to the host runtime's stop; other control characters occupy nothing.
+    // Protocol: a tab advances to the host runtime's stop; other control characters occupy nothing.
     if (codePoint === 0x09)
         return TAB_WIDTH;
     if (codePoint < 0x20 || (codePoint >= 0x7f && codePoint < 0xa0))

package/dist/ui/components/transcript-viewport.d.ts

@@ -57,6 +57,36 @@ export interface TranscriptViewportHitRegions {
         readonly columnEnd: number;
     } | null;
 }
+export interface TranscriptViewportFrameDescriptor {
+    readonly frameId: number;
+    readonly width: number;
+    readonly height: number;
+    readonly transcript: {
+        readonly rowStart: number;
+        readonly rowEnd: number;
+    } | null;
+    readonly dock: {
+        readonly rowStart: number;
+        readonly rowEnd: number;
+    } | null;
+    readonly previousDocumentRange: {
+        readonly start: number;
+        readonly end: number;
+    } | null;
+    readonly nextDocumentRange: {
+        readonly start: number;
+        readonly end: number;
+    };
+    readonly previousFollowingEnd: boolean | null;
+    readonly followingEnd: boolean;
+    readonly verticalShiftRows: number;
+    readonly safeVerticalShift: boolean;
+    /** Monotonic interaction revision used to reject stale selection evidence. */
+    readonly selectionRevision: number;
+    /** One-based terminal rows whose source or normalized selection range changed. */
+    readonly selectionDamagedRows: readonly number[];
+    readonly cause: "initial" | "steady" | "dock-input" | "follow-shift" | "detached" | "geometry-change";
+}
 export interface TranscriptViewportFrame {
     readonly rows: readonly string[];
     readonly contentWidth: number;
@@ -64,6 +94,14 @@ export interface TranscriptViewportFrame {
     readonly maxScroll: number;
     readonly followingEnd: boolean;
     readonly hits: TranscriptViewportHitRegions;
+    readonly descriptor: TranscriptViewportFrameDescriptor;
+    /** Deterministic evidence for bounded selection-only row composition. */
+    readonly selectionDamage: {
+        readonly revision: number;
+        readonly recomputedRows: readonly number[];
+        readonly reusedRows: readonly number[];
+        readonly cacheEntries: number;
+    };
 }
 /**
  * A1-owned viewport state. It knows only rows and semantic prompt anchors; Pi
@@ -76,6 +114,7 @@ export declare class TranscriptViewport {
     get followingEnd(): boolean;
     get newMessages(): number;
     get frame(): TranscriptViewportFrame | null;
+    get selectionRevision(): number;
     /** Counts one completed assistant reply while detached; tool rows never call this. */
     noteNewMessage(): boolean;
     setConfig(config: TranscriptViewportConfig): void;
@@ -101,4 +140,7 @@ export declare class TranscriptViewport {
     reset(): void;
     clearTransient(): void;
     compose(input: TranscriptViewportFrameInput): TranscriptViewportFrame;
+    /** Reuses an established transcript frame when only same-height dock rows changed. */
+    composeDockOnly(dockRows: readonly string[], width: number, height: number): TranscriptViewportFrame | null;
 }
+export declare function assertTranscriptViewportFrameDescriptor(descriptor: TranscriptViewportFrameDescriptor): void;