@timurproko/a1 0.2.7-dev.1255 → 0.2.7-dev.1264

package/dist/app/session-shell/session-viewport-controller.js

@@ -1,11 +1,7 @@
 import { samePointerSurfaces } from "../../contracts/presentation/index.js";
 import { TranscriptViewport } from "../../ui/components/transcript-viewport.js";
-import { readVisibleHyperlinks } from "../../ui/components/visible-hyperlinks.js";
-import { routeMouseInput } from "../../ui/components/mouse.js";
-import { scrollForTrackPage, scrollForThumbRow, scrollbarSelectionRows, scrollbarWheelRows } from "../../ui/components/scrollbar.js";
-function withinTailControl(region, column, row) {
-    return row >= region.rowStart && row <= region.rowEnd && column >= region.columnStart && column <= region.columnEnd;
-}
+import { scrollbarSelectionRows } from "../../ui/components/scrollbar.js";
+import { ViewportPointerGestures, withinTailControl } from "./viewport-pointer.js";
 /**
  * Owns the stateful interaction policy of the bare-A1 session viewport. The
  * shell root supplies semantic rows and dock geometry; this controller owns
@@ -26,27 +22,16 @@ export class SessionViewportController {
         scrollbarStyle: "thin",
         scrollbarSpeed: "normal",
     };
-    #dragGrabOffset = null;
     #inputSurface;
     #inputSurfacePending = false;
     #overlays = [];
-    #pointerOwner;
-    // Invariant: a right-click editor gesture remains owned by the dock.
-    #dockPointerSuppressed = false;
-    // Invariant: a gesture begun on an explicit control remains owned by that control.
-    #tailPointerSuppressed = false;
-    // Invariant: editor selection remains true only while its left button is held.
-    #editorPointerSelecting = false;
-    // Invariant: no-drag editor presses replay on release; distinct motion promotes frame selection.
-    #pendingEditorClick;
     // Invariant: pointer routing uses the most recently composed editor rows.
     #editorPointerFrame;
     // Invariant: one clickable region in the viewport tail, located by the most recent composition.
     #tailControl;
     #selectionAutoScrollTimer;
     #selectionAutoScrollPointer;
-    #pointerPosition;
-    #hoveredHyperlinkKey;
+    #gestures;
     #lastRequestedSelectionRevision = -1;
     #presentationRevision = 0;
     #copyOnSelect = true;
@@ -62,12 +47,32 @@ export class SessionViewportController {
         this.#requestHyperlinkCleanup = options.requestHyperlinkCleanup ?? (() => { });
         this.#pasteDiagnostics = options.pasteDiagnostics;
         this.#nextPasteDiagnosticRequest = options.nextPasteDiagnosticRequest ?? (() => --this.#pasteDiagnosticRequest);
+        this.#gestures = new ViewportPointerGestures({
+            viewport: this.#viewport,
+            editor: this.#editor,
+            config: () => this.#config,
+            copyOnSelect: () => this.#copyOnSelect,
+            inputGeometryReady: () => this.inputGeometryReady,
+            modalAt: (column, row) => this.#modalAt(column, row),
+            editorFrame: () => this.#editorPointerFrame,
+            tailControl: () => this.#tailControl,
+            clearTailControl: () => { this.#tailControl = undefined; },
+            requestRender: () => { this.#requestRender(); },
+            requestHyperlinkCleanup: rows => { this.#requestHyperlinkCleanup(rows); },
+            updateSelectionAutoScroll: (column, row, viewportHeight, frameHeight) => { this.#updateSelectionAutoScroll(column, row, viewportHeight, frameHeight); },
+            stopSelectionAutoScroll: () => { this.#stopSelectionAutoScroll(); },
+            pasteFromPointer: () => {
+                const request = this.#nextPasteDiagnosticRequest();
+                if (this.#editor.pasteClipboard())
+                    this.#emitPasteRoute(request, "pointer-admitted");
+            },
+        });
     }
     get config() {
         return this.#config;
     }
     get editorPointerSelecting() {
-        return this.#editorPointerSelecting;
+        return this.#gestures.editorSelecting;
     }
     get transcriptPointerSelecting() {
         return this.#viewport.selectionActive;
@@ -83,7 +88,7 @@ export class SessionViewportController {
     }
     /** Latest reported coordinates; exposed without rendering for frame provenance and evidence. */
     get pointerPosition() {
-        return this.#pointerPosition;
+        return this.#gestures.position;
     }
     setCopyOnSelect(enabled) {
         this.#copyOnSelect = enabled;
@@ -100,7 +105,7 @@ export class SessionViewportController {
     }
     /** Whether the pointer currently rests on the tail control; drives its hover paint. */
     tailControlHovered(target) {
-        const pointer = this.#pointerPosition;
+        const pointer = this.#gestures.position;
         return target !== undefined && pointer !== undefined && withinTailControl(target, pointer.column, pointer.row);
     }
     /** Replacement input changed before its new bounds have been painted. */
@@ -143,7 +148,7 @@ export class SessionViewportController {
         })));
         const frame = this.#viewport.compose({
             ...input,
-            ...(this.#pointerPosition === undefined ? {} : { pointerPosition: this.#pointerPosition }),
+            ...(this.#gestures.position === undefined ? {} : { pointerPosition: this.#gestures.position }),
             ...(coveredCells.length === 0 ? {} : { coveredCells }),
         });
         // Concurrency: if selection changed during composition, this frame truthfully carries
@@ -153,16 +158,7 @@ export class SessionViewportController {
             this.#lastRequestedSelectionRevision = this.#viewport.selectionRevision;
             this.#requestRender();
         }
-        if (this.#pointerPosition !== undefined && !this.#viewport.selectionActive && !this.#editorPointerSelecting) {
-            const next = this.#hyperlinkKeyAt(frame, this.#pointerPosition.column, this.#pointerPosition.row);
-            if (this.#hoveredHyperlinkKey !== undefined && next !== this.#hoveredHyperlinkKey) {
-                // Platform: Windows Terminal can leave its solid native-hover underline behind
-                // when a following viewport moves the link away from a stationary pointer.
-                this.#requestHyperlinkCleanup([this.#pointerPosition.row]);
-                this.#requestRender();
-            }
-            this.#hoveredHyperlinkKey = next;
-        }
+        this.#gestures.refreshHover(frame);
         return frame;
     }
     composeDockOnly(dockRows, width, height, copyableDockRows = []) {
@@ -196,32 +192,18 @@ export class SessionViewportController {
         this.#presentationRevision += 1;
         this.#clearActivityTimer();
         this.#stopSelectionAutoScroll();
-        this.#editorPointerSelecting = false;
-        this.#pendingEditorClick = undefined;
+        this.#gestures.clear();
         this.#editorPointerFrame = undefined;
-        this.#pointerPosition = undefined;
-        this.#hoveredHyperlinkKey = undefined;
         this.#viewport.reset();
-        this.#pointerOwner = undefined;
-        this.#dragGrabOffset = null;
-        this.#dockPointerSuppressed = false;
-        this.#tailPointerSuppressed = false;
     }
     clearPointerState() {
         this.#presentationRevision += 1;
         this.#clearActivityTimer();
-        this.#dragGrabOffset = null;
-        this.#dockPointerSuppressed = false;
-        this.#tailPointerSuppressed = false;
-        this.#editorPointerSelecting = false;
-        this.#pendingEditorClick = undefined;
+        this.#gestures.clear();
         this.#editorPointerFrame = undefined;
-        this.#pointerPosition = undefined;
-        this.#hoveredHyperlinkKey = undefined;
         this.#stopSelectionAutoScroll();
         this.#viewport.clearSelection();
         this.#viewport.clearTransient();
-        this.#pointerOwner = undefined;
     }
     #emitPasteRoute(request, phase) {
         try {
@@ -230,15 +212,15 @@ export class SessionViewportController {
         catch { /* Invariant: payload-free diagnostics cannot interfere with input routing. */ }
     }
     #cancelGesture() {
-        const held = this.#pointerOwner !== undefined || this.#viewport.selectionActive || this.#editorPointerSelecting;
+        const held = this.#gestures.held;
         const repaint = this.#viewport.hasSelection || held;
-        if (!repaint && this.#pointerPosition === undefined && this.#hoveredHyperlinkKey === undefined)
+        if (!repaint && this.#gestures.idle)
             return;
         const editorFrame = this.#editorPointerFrame;
         this.clearPointerState();
         this.#editorPointerFrame = editorFrame;
         if (held)
-            this.#pointerOwner = "drain";
+            this.#gestures.drain();
         if (repaint)
             this.#requestRender();
     }
@@ -291,16 +273,8 @@ export class SessionViewportController {
         if (data === "\u0018" && editorActive && !this.#viewport.hasSelection && !this.#editor.hasSelection()) {
             return { data: "", consumed: true, copyLastMessage: true };
         }
-        if (this.#viewport.frame === null) {
-            // Invariant: a not-yet-painted A1 screen is not Pi's selection surface.
-            return routeMouseInput(data, event => {
-                if (event.kind === "press" && event.button === 0)
-                    this.#tailPointerSuppressed = true;
-                if (event.kind === "release")
-                    this.#tailPointerSuppressed = false;
-                return event.kind === "motion" || event.kind === "release" || (event.kind === "press" && event.button === 0);
-            });
-        }
+        if (this.#viewport.frame === null)
+            return this.#gestures.routeUnpainted(data);
         if ((data === "\u0003" || data === "\u0018") && this.#viewport.hasSelection) {
             // Invariant: the newest frame selection wins over an older editor selection.
             const copySelection = this.#viewport.captureSelectedText();
@@ -325,259 +299,14 @@ export class SessionViewportController {
         if (!data.includes("\u001b[<") && data !== "\u0003" && this.#viewport.clearSelection()) {
             this.#requestRender();
         }
-        const frame = this.#viewport.frame;
-        let repaint = false;
-        let forceRepaint = false;
-        let activity = false;
-        let completedCopy;
-        const routed = routeMouseInput(data, (event, report) => {
-            const hits = frame.hits;
-            const overModal = this.#modalAt(event.column, event.row);
-            const wheel = event.kind === "wheel-up" || event.kind === "wheel-down";
-            // Invariant: latch each gesture to one surface.
-            if (this.#pointerOwner === "drain" || !this.inputGeometryReady) {
-                if (event.kind === "release")
-                    this.#pointerOwner = undefined;
-                else if (event.kind === "press")
-                    this.#pointerOwner = "drain";
-                return true;
-            }
-            const owner = !wheel && this.#pointerOwner !== undefined ? this.#pointerOwner : overModal;
-            if (owner !== undefined && owner !== "viewport") {
-                if (event.kind === "press")
-                    this.#pointerOwner = owner;
-                if (event.kind === "release")
-                    this.#pointerOwner = undefined;
-                if (event.kind === "press" && this.#viewport.clearSelection())
-                    repaint = true;
-                this.#viewport.setRailHovered(false);
-                this.#viewport.setStickyHovered(false);
-                this.#pointerPosition = undefined;
-                owner.component.handleInput?.(report);
-                repaint = true;
-                return true;
-            }
-            if (event.kind === "press")
-                this.#pointerOwner = "viewport";
-            if (event.kind === "release")
-                this.#pointerOwner = undefined;
-            const overRail = overModal === undefined && hits.rail !== null
-                && event.column === hits.rail.column
-                && event.row >= hits.rail.rowStart
-                && event.row < hits.rail.rowStart + hits.rail.trackHeight;
-            const overSticky = overModal === undefined && hits.sticky !== null && event.row === hits.sticky.row && event.column <= hits.sticky.width;
-            const overBottom = overModal === undefined && hits.bottom !== null && event.row === hits.bottom.row
-                && event.column >= hits.bottom.columnStart && event.column <= hits.bottom.columnEnd;
-            const tailControl = this.#tailControl;
-            const overTailControl = overModal === undefined && tailControl !== undefined
-                && withinTailControl(tailControl, event.column, event.row);
-            const previousPointer = this.#pointerPosition;
-            const wasOverBottom = hits.bottom !== null && previousPointer !== undefined
-                && previousPointer.row === hits.bottom.row
-                && previousPointer.column >= hits.bottom.columnStart && previousPointer.column <= hits.bottom.columnEnd;
-            // Invariant: every report updates the pointer position.
-            this.#pointerPosition = { column: event.column, row: event.row };
-            repaint ||= wasOverBottom !== overBottom;
-            const wasOverTailControl = tailControl !== undefined && previousPointer !== undefined
-                && withinTailControl(tailControl, previousPointer.column, previousPointer.row);
-            repaint ||= wasOverTailControl !== overTailControl;
-            if (!this.#viewport.selectionActive && !this.#editorPointerSelecting) {
-                const nextHyperlink = this.#hyperlinkKeyAt(frame, event.column, event.row);
-                if (this.#hoveredHyperlinkKey !== undefined && nextHyperlink !== this.#hoveredHyperlinkKey) {
-                    // Platform: overwrite Windows Terminal's cached native-hover underline exactly once.
-                    this.#requestHyperlinkCleanup(previousPointer === undefined ? undefined : [previousPointer.row]);
-                    repaint = true;
-                }
-                this.#hoveredHyperlinkKey = nextHyperlink;
-            }
-            if (event.kind === "motion") {
-                this.#viewport.setRailHovered(overRail);
-                this.#viewport.setStickyHovered(overSticky);
-                repaint = true;
-                if (editorActive && this.#editorPointerSelecting && this.#editorPointerFrame !== undefined) {
-                    this.#editor.handlePointer({
-                        kind: "motion",
-                        button: event.button,
-                        column: event.column,
-                        row: event.row - this.#editorPointerFrame.rowStart + 1,
-                    });
-                    return true;
-                }
-                if (this.#dockPointerSuppressed || this.#tailPointerSuppressed)
-                    return true;
-                const pendingEditorClick = this.#pendingEditorClick;
-                if (pendingEditorClick !== undefined) {
-                    if (event.column === pendingEditorClick.column && event.row === pendingEditorClick.row)
-                        return true;
-                    this.#pendingEditorClick = undefined;
-                    const editorFrame = editorActive ? this.#editorPointerFrame : undefined;
-                    if (editorFrame !== undefined && this.#editor.handlePointer({ kind: "press", button: 0, column: pendingEditorClick.column, row: pendingEditorClick.row - editorFrame.rowStart + 1 })) {
-                        this.#editorPointerSelecting = true;
-                        this.#editor.handlePointer({ kind: "motion", button: event.button, column: event.column, row: event.row - editorFrame.rowStart + 1 });
-                        return true;
-                    }
-                    this.#viewport.pressSelection(pendingEditorClick.column, pendingEditorClick.row, now, { continueMultiClick: false });
-                    this.#viewport.extendSelection(event.column, event.row, now, false);
-                    this.#updateSelectionAutoScroll(event.column, event.row, hits.viewportHeight, frame.rows.length);
-                    activity = true;
-                    return true;
-                }
-                if (this.#viewport.selectionActive) {
-                    this.#viewport.extendSelection(event.column, event.row, now, false);
-                    this.#updateSelectionAutoScroll(event.column, event.row, hits.viewportHeight, frame.rows.length);
-                    activity = true;
-                    return true;
-                }
-                if (this.#dragGrabOffset !== null && hits.rail !== null) {
-                    const target = scrollForThumbRow(hits.rail.geometry, event.row - hits.rail.rowStart - this.#dragGrabOffset);
-                    this.#viewport.scrollTo(target, now);
-                    activity = true;
-                    return true;
-                }
-                return overRail || overSticky || overBottom || overTailControl;
-            }
-            if (event.kind === "wheel-up" || event.kind === "wheel-down") {
-                if (!allowWheel || event.row < 1 || event.row > hits.viewportHeight)
-                    return false;
-                const distance = scrollbarWheelRows(this.#config.scrollbarSpeed);
-                this.#viewport.scrollBy(event.kind === "wheel-up" ? -distance : distance, now);
-                activity = true;
-                repaint = true;
-                forceRepaint = true;
-                return true;
-            }
-            if (event.kind === "press") {
-                const editorFrame = editorActive ? this.#editorPointerFrame : undefined;
-                if (event.button === 2 && editorFrame !== undefined
-                    && event.row >= editorFrame.rowStart && event.row <= editorFrame.rowEnd) {
-                    this.#stopSelectionAutoScroll();
-                    if (this.#viewport.clearSelection())
-                        repaint = true;
-                    const request = this.#nextPasteDiagnosticRequest();
-                    if (this.#editor.pasteClipboard())
-                        this.#emitPasteRoute(request, "pointer-admitted");
-                    this.#dockPointerSuppressed = true;
-                    repaint = true;
-                    return true;
-                }
-                if (event.button !== 0)
-                    return false;
-                this.#dockPointerSuppressed = false;
-                this.#tailPointerSuppressed = false;
-                this.#pendingEditorClick = undefined;
-                this.#stopSelectionAutoScroll();
-                if (this.#viewport.clearSelection())
-                    repaint = true;
-                if (overTailControl) {
-                    this.#tailControl = undefined;
-                    tailControl.activate();
-                    this.#tailPointerSuppressed = true;
-                    repaint = true;
-                    return true;
-                }
-                if (overBottom) {
-                    this.#viewport.scrollToEnd(now);
-                    this.#tailPointerSuppressed = true;
-                    activity = true;
-                    repaint = true;
-                    return true;
-                }
-                if (overSticky && hits.sticky !== null) {
-                    this.#viewport.scrollTo(hits.sticky.target, now);
-                    this.#tailPointerSuppressed = true;
-                    activity = true;
-                    repaint = true;
-                    return true;
-                }
-                if (overRail && hits.rail !== null) {
-                    const trackRow = event.row - hits.rail.rowStart;
-                    const geometry = hits.rail.geometry;
-                    if (trackRow >= geometry.thumbTop && trackRow < geometry.thumbTop + geometry.thumbHeight) {
-                        this.#dragGrabOffset = trackRow - geometry.thumbTop;
-                        this.#viewport.setRailDragging(true);
-                    }
-                    else {
-                        this.#viewport.scrollTo(scrollForTrackPage(geometry, trackRow, frame.scrollTop, hits.viewportHeight), now);
-                        this.#tailPointerSuppressed = true;
-                    }
-                    activity = true;
-                    repaint = true;
-                    return true;
-                }
-                if (event.row >= 1 && event.row <= frame.rows.length && event.column <= frame.descriptor.width) {
-                    if (editorFrame !== undefined && event.row >= editorFrame.rowStart && event.row <= editorFrame.rowEnd) {
-                        // Invariant: no-drag clicks remain editor-owned; first motion latches an editor drag.
-                        this.#pendingEditorClick = { column: event.column, row: event.row };
-                    }
-                    else {
-                        this.#viewport.pressSelection(event.column, event.row, now);
-                    }
-                    repaint = true;
-                    return true;
-                }
-                this.#tailPointerSuppressed = true;
-                return true;
-            }
-            if (event.kind === "release") {
-                if (editorActive && this.#editorPointerSelecting && this.#editorPointerFrame !== undefined) {
-                    const wasEditorSelecting = this.#editorPointerSelecting;
-                    this.#editor.handlePointer({
-                        kind: "release",
-                        button: event.button,
-                        column: event.column,
-                        row: event.row - this.#editorPointerFrame.rowStart + 1,
-                    });
-                    this.#editorPointerSelecting = false;
-                    forceRepaint ||= wasEditorSelecting;
-                    repaint = true;
-                    return true;
-                }
-                const pendingEditorClick = this.#pendingEditorClick;
-                if (pendingEditorClick !== undefined) {
-                    this.#pendingEditorClick = undefined;
-                    if (this.#editorPointerFrame !== undefined) {
-                        const editorRow = pendingEditorClick.row - this.#editorPointerFrame.rowStart + 1;
-                        this.#editor.handlePointer({ kind: "press", button: 0, column: pendingEditorClick.column, row: editorRow });
-                        this.#editor.handlePointer({ kind: "release", button: 0, column: pendingEditorClick.column, row: editorRow });
-                    }
-                    forceRepaint = true;
-                    repaint = true;
-                    return true;
-                }
-                if (this.#viewport.releaseSelection()) {
-                    this.#stopSelectionAutoScroll();
-                    if (this.#copyOnSelect)
-                        completedCopy = this.#viewport.captureSelectedText() ?? undefined;
-                    // Platform: restore OSC 8 links only after the held-button selection paint has
-                    // ended, then overwrite any terminal-cached hover cells immediately.
-                    forceRepaint = true;
-                    repaint = true;
-                    return true;
-                }
-                if (this.#dragGrabOffset !== null) {
-                    this.#dragGrabOffset = null;
-                    this.#viewport.setRailDragging(false);
-                    repaint = true;
-                    return true;
-                }
-                if (this.#dockPointerSuppressed) {
-                    this.#dockPointerSuppressed = false;
-                    return true;
-                }
-                if (this.#tailPointerSuppressed) {
-                    this.#tailPointerSuppressed = false;
-                    return true;
-                }
-            }
-            return false;
-        });
-        if (activity)
+        const { routed, outcome } = this.#gestures.route(data, this.#viewport.frame, { allowWheel, now, editorActive });
+        if (outcome.activity)
             this.#scheduleActivityExpiry();
-        if (repaint) {
+        if (outcome.repaint) {
             this.#lastRequestedSelectionRevision = this.#viewport.selectionRevision;
-            this.#requestRender(forceRepaint);
+            this.#requestRender(outcome.forceRepaint);
         }
-        return completedCopy === undefined ? routed : { ...routed, copySelection: completedCopy };
+        return outcome.completedCopy === undefined ? routed : { ...routed, copySelection: outcome.completedCopy };
     }
     #modalAt(column, row) {
         const contains = (surface) => column >= surface.columnStart && column <= surface.columnEnd
@@ -585,13 +314,6 @@ export class SessionViewportController {
         const overlay = this.#overlays?.findLast(contains);
         return overlay ?? (this.#inputSurface !== undefined && contains(this.#inputSurface) ? this.#inputSurface : undefined);
     }
-    #hyperlinkKeyAt(frame, column, row) {
-        if (row < 1 || row > frame.rows.length || column < 1)
-            return undefined;
-        const range = readVisibleHyperlinks(frame.rows[row - 1] ?? "").ranges
-            .find(candidate => column - 1 >= candidate.from && column - 1 < candidate.to);
-        return range === undefined ? undefined : JSON.stringify([row, range]);
-    }
     #updateSelectionAutoScroll(column, row, viewportHeight, frameHeight) {
         // Invariant: the last content row stays selectable; only the pointer below it scrolls,
         // unless no row exists below. The top row scrolls because nothing lies above it. A

package/dist/app/session-shell/settings-bindings.d.ts

@@ -4,7 +4,7 @@ import type { OwnedUiSessionShellRoot } from "./session-shell-root.js";
 /** What the session's live setting effects reach: terminal modes, root presentation, and the presenter's progress flag. */
 interface SessionSettingsTargets {
     readonly terminal: Pick<OwnedUiPresenterTerminal, "setHardwareCursor" | "setClearOnShrink" | "setWheelScrollLines">;
-    readonly root: Pick<OwnedUiSessionShellRoot, "setEditorPaddingX" | "setAutocompleteMaxVisible" | "setOutputPad" | "setHideThinkingBlock" | "setMermaidRenderingMode" | "setImagePresentation" | "setFullscreenCopyOnSelect">;
+    readonly root: Pick<OwnedUiSessionShellRoot, "setEditorPaddingX" | "setAutocompleteMaxVisible" | "setOutputPad" | "setHideThinkingBlock" | "setMermaidRenderingMode" | "setImagePresentation" | "viewport">;
     setTerminalProgress(enabled: boolean): void;
 }
 /**

package/dist/app/session-shell/settings-bindings.js

@@ -49,13 +49,13 @@ function settingBindings(targets, snapshot, customViewport, bare) {
         { owner: null, key: "imageWidthCells", live: () => { }, seed: presentImages },
         // Invariant: the custom viewport owns copy-on-select; the pinned comparison profile keeps Pi's wheel distance.
         customViewport
-            ? setting("shell", "fullscreenCopyOnSelect", "Fullscreen copy-on-select setting is invalid", isBoolean, value => root.setFullscreenCopyOnSelect(value))
+            ? setting("shell", "fullscreenCopyOnSelect", "Fullscreen copy-on-select setting is invalid", isBoolean, value => root.viewport.setCopyOnSelect(value))
             : setting("shell", "fullscreenWheelScrollLines", "Fullscreen wheel-scroll distance is invalid", isWheelDistance, value => terminal.setWheelScrollLines(value), false),
         ...(customViewport ? [] : [{
                 owner: null,
                 key: "fullscreenCopyOnSelect",
                 live: () => { },
-                seed: (initial) => root.setFullscreenCopyOnSelect(initial.fullscreenCopyOnSelect),
+                seed: (initial) => root.viewport.setCopyOnSelect(initial.fullscreenCopyOnSelect),
             }]),
     ];
 }

package/dist/app/session-shell/viewport-pointer.d.ts

@@ -0,0 +1,83 @@
+import type { OwnedUiShellEditorPort, OwnedUiViewportSettings } from "../../contracts/owned-ui/index.js";
+import type { TerminalPointerSurface } from "../../contracts/presentation/index.js";
+import { type RoutedMouseInput } from "../../ui/components/mouse.js";
+import type { SelectionCopySnapshot } from "../../ui/components/selection-copy.js";
+import type { TranscriptViewport, TranscriptViewportFrame } from "../../ui/components/transcript-viewport.js";
+/** One-based, inclusive terminal cells of a clickable viewport-tail control. */
+export interface TailControlRegion {
+    readonly rowStart: number;
+    readonly rowEnd: number;
+    readonly columnStart: number;
+    readonly columnEnd: number;
+}
+export type TailControl = TailControlRegion & {
+    readonly activate: () => void;
+};
+export declare function withinTailControl(region: TailControlRegion, column: number, row: number): boolean;
+export interface ViewportPointerPorts {
+    readonly viewport: TranscriptViewport;
+    readonly editor: OwnedUiShellEditorPort;
+    config(): OwnedUiViewportSettings;
+    copyOnSelect(): boolean;
+    /** False while replacement input or overlay bounds have not been painted yet. */
+    inputGeometryReady(): boolean;
+    /** The topmost overlay or input surface under a cell. */
+    modalAt(column: number, row: number): TerminalPointerSurface | undefined;
+    /** The editor rows of the most recent composition. */
+    editorFrame(): {
+        readonly rowStart: number;
+        readonly rowEnd: number;
+    } | undefined;
+    tailControl(): TailControl | undefined;
+    clearTailControl(): void;
+    requestRender(): void;
+    requestHyperlinkCleanup(rows?: readonly number[]): void;
+    updateSelectionAutoScroll(column: number, row: number, viewportHeight: number, frameHeight: number): void;
+    stopSelectionAutoScroll(): void;
+    /** A right-click on the editor pastes the clipboard. */
+    pasteFromPointer(): void;
+}
+/** How one input chunk's mouse reports changed the viewport. */
+export interface ViewportPointerOutcome {
+    repaint: boolean;
+    forceRepaint: boolean;
+    activity: boolean;
+    completedCopy: SelectionCopySnapshot | undefined;
+}
+interface PointerCall {
+    readonly allowWheel: boolean;
+    readonly now: number;
+    readonly editorActive: boolean;
+}
+/**
+ * The pointer gestures of the session viewport: which surface a gesture is latched to, the
+ * suppression of a gesture begun on the dock or a control, the editor click that waits for drag
+ * or release, the rail drag offset, the pointer position and the hovered link. Each report is
+ * routed in the same order of checks, and its effect is reported as an outcome.
+ */
+export declare class ViewportPointerGestures {
+    #private;
+    constructor(ports: ViewportPointerPorts);
+    get position(): {
+        readonly column: number;
+        readonly row: number;
+    } | undefined;
+    get editorSelecting(): boolean;
+    /** A gesture is latched to a surface or a selection is being dragged. */
+    get held(): boolean;
+    /** No pointer position or hovered link is remembered. */
+    get idle(): boolean;
+    /** Forget every latch. */
+    clear(): void;
+    /** Swallow the rest of a held gesture until its release. */
+    drain(): void;
+    /** Before the first paint, a left press and its motion and release belong to no surface. */
+    routeUnpainted(data: string): RoutedMouseInput;
+    route(data: string, frame: TranscriptViewportFrame, call: PointerCall): {
+        readonly routed: RoutedMouseInput;
+        readonly outcome: ViewportPointerOutcome;
+    };
+    /** A newly composed frame may move a link away from a stationary pointer. */
+    refreshHover(frame: TranscriptViewportFrame): void;
+}
+export {};