@timurproko/a1 0.1.8-dev.583 → 0.1.8-dev.588

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

@@ -398,7 +398,7 @@ export class SessionViewportController {
                         && (event.column !== this.#pendingEditorClick.column || event.row !== this.#pendingEditorClick.row)) {
                         this.#pendingEditorClick = undefined;
                     }
-                    this.#updateSelectionAutoScroll(event.column, event.row, hits.viewportHeight);
+                    this.#updateSelectionAutoScroll(event.column, event.row, hits.viewportHeight, frame.rows.length);
                     activity = true;
                     return true;
                 }
@@ -555,8 +555,12 @@ export class SessionViewportController {
             .find(candidate => column - 1 >= candidate.from && column - 1 < candidate.to);
         return range === undefined ? undefined : JSON.stringify([row, range]);
     }
-    #updateSelectionAutoScroll(column, row, frameHeight) {
-        const beyondEdge = row <= 1 || row >= frameHeight;
+    #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
+        // dock-originated gesture never moves the transcript behind the fixed dock.
+        const beyondEdge = this.#viewport.selectionFromContent
+            && (row <= 1 || row > viewportHeight || row >= frameHeight);
         if (!beyondEdge) {
             this.#stopSelectionAutoScroll();
             return;

package/dist/integrations/pi/components/models-dialog.js

@@ -4,7 +4,8 @@ import { PiModalFrame } from "./modal-frame.js";
 import { piTheme, renderPiModalShortcutHints } from "./theme.js";
 const MAX_VISIBLE_ROWS = 10;
 const MODELS_TITLE = "Models";
-const REFRESHED_TITLE_DURATION_MS = 1_000;
+const REFRESHING_TITLE_MIN_DURATION_MS = 1_000;
+const REFRESHED_TITLE_DURATION_MS = 2_000;
 class ModalTitleLine {
     #text = "";
     setText(text) { this.#text = text; }
@@ -51,6 +52,9 @@ export class ModelsDialogComponent {
     #selectedIndex = 0;
     #preferredId;
     #refreshStatus;
+    #refreshing = false;
+    #refreshStartedAt;
+    #refreshOutcomeTimer;
     #refreshed = false;
     #refreshDismissalTimer;
     #disposed = false;
@@ -61,7 +65,10 @@ export class ModelsDialogComponent {
         this.#scopeIds = [...config.scopeIds];
         this.#savedScopeIds = [...config.savedScopeIds];
         this.#filter = config.initialFilter ?? "all";
-        this.#refreshStatus = config.refreshStatus === undefined ? undefined : { message: config.refreshStatus, kind: "muted" };
+        if (config.refreshStatus !== undefined) {
+            this.#refreshing = true;
+            this.#refreshStartedAt = Date.now();
+        }
         if (config.initialQuery)
             this.#input.setValue(config.initialQuery);
         this.#replaceModels(config.models);
@@ -101,29 +108,41 @@ export class ModelsDialogComponent {
     setRefreshStatus(message, kind) {
         if (this.#disposed)
             return;
-        this.#clearRefreshDismissal();
-        if (kind !== "success") {
+        if (kind === "muted") {
+            this.#clearRefreshOutcome();
+            this.#clearRefreshDismissal();
+            this.#refreshStatus = undefined;
+            this.#refreshing = true;
+            this.#refreshStartedAt = Date.now();
             this.#refreshed = false;
-            this.#refreshStatus = { message, kind };
             return;
         }
-        this.#refreshStatus = undefined;
-        this.#refreshed = true;
-        const timer = setTimeout(() => {
-            if (this.#refreshDismissalTimer !== timer)
-                return;
-            this.#refreshDismissalTimer = undefined;
-            if (this.#disposed)
-                return;
-            this.#refreshed = false;
-            this.#callbacks.requestRender();
-        }, REFRESHED_TITLE_DURATION_MS);
-        timer.unref?.();
-        this.#refreshDismissalTimer = timer;
+        const visibleMs = this.#refreshStartedAt === undefined ? REFRESHING_TITLE_MIN_DURATION_MS : Date.now() - this.#refreshStartedAt;
+        const remainingMs = Math.max(0, REFRESHING_TITLE_MIN_DURATION_MS - visibleMs);
+        if (this.#refreshing && remainingMs > 0) {
+            this.#clearRefreshOutcome();
+            const timer = setTimeout(() => {
+                if (this.#refreshOutcomeTimer !== timer)
+                    return;
+                this.#refreshOutcomeTimer = undefined;
+                if (this.#disposed)
+                    return;
+                this.#applyRefreshOutcome(message, kind);
+                this.#callbacks.requestRender();
+            }, remainingMs);
+            timer.unref?.();
+            this.#refreshOutcomeTimer = timer;
+            return;
+        }
+        this.#clearRefreshOutcome();
+        this.#applyRefreshOutcome(message, kind);
     }
     dispose() {
         this.#disposed = true;
+        this.#clearRefreshOutcome();
         this.#clearRefreshDismissal();
+        this.#refreshing = false;
+        this.#refreshStartedAt = undefined;
         this.#refreshed = false;
     }
     invalidate() {
@@ -224,9 +243,36 @@ export class ModelsDialogComponent {
         const theme = piTheme();
         this.#title.setText(theme.fg("accent", theme.bold(MODELS_TITLE))
             + (this.dirty ? theme.fg("warning", " (unsaved)") : "")
+            + (this.#refreshing ? theme.fg("muted", " (refreshing)") : "")
             + (this.#refreshed ? theme.fg("success", " (refreshed)") : ""));
         return this.#frame.render(width);
     }
+    #applyRefreshOutcome(message, kind) {
+        this.#clearRefreshDismissal();
+        this.#refreshing = false;
+        this.#refreshStartedAt = undefined;
+        this.#refreshed = kind === "success";
+        this.#refreshStatus = kind === "warning" ? { message, kind } : undefined;
+        if (kind !== "success")
+            return;
+        const timer = setTimeout(() => {
+            if (this.#refreshDismissalTimer !== timer)
+                return;
+            this.#refreshDismissalTimer = undefined;
+            if (this.#disposed)
+                return;
+            this.#refreshed = false;
+            this.#callbacks.requestRender();
+        }, REFRESHED_TITLE_DURATION_MS);
+        timer.unref?.();
+        this.#refreshDismissalTimer = timer;
+    }
+    #clearRefreshOutcome() {
+        if (this.#refreshOutcomeTimer === undefined)
+            return;
+        clearTimeout(this.#refreshOutcomeTimer);
+        this.#refreshOutcomeTimer = undefined;
+    }
     #clearRefreshDismissal() {
         if (this.#refreshDismissalTimer === undefined)
             return;

package/dist/native/darwin-arm64/manifest.json

@@ -5,7 +5,7 @@
   "platform": "darwin",
   "architecture": "arm64",
   "capability": "supported",
-  "builtAt": "2026-09-24T17:46:17.847Z",
+  "builtAt": "2026-09-25T08:17:55.130Z",
   "artifact": {
     "filename": "process-guardian",
     "sha256": "9db1726bbe3fc2e8292f2ead1e7e9d0fd4d7d0dc9217b372582bf354b0f565dc",

package/dist/native/linux-x64/manifest.json

@@ -5,7 +5,7 @@
   "platform": "linux",
   "architecture": "x64",
   "capability": "supported",
-  "builtAt": "2026-09-24T17:46:08.913Z",
+  "builtAt": "2026-09-25T08:17:49.253Z",
   "artifact": {
     "filename": "process-guardian",
     "sha256": "d8cda6b0c7cb36c0cc41e90802aceebf6c02eaebbc08a83d7d963d2e918dbd7a",

package/dist/native/win32-x64/manifest.json

@@ -5,10 +5,10 @@
   "platform": "win32",
   "architecture": "x64",
   "capability": "supported",
-  "builtAt": "2026-09-24T17:46:57.821Z",
+  "builtAt": "2026-09-25T08:18:48.658Z",
   "artifact": {
     "filename": "process-guardian.exe",
-    "sha256": "8337e1cdc9ea513c3e4567120db5b6e1275d6daec8535dc1be025fc41da1044a",
+    "sha256": "56eab3f4e22daaf23780b05cf751fb4a0eb62185877dcb18ebbea2123ece8595",
     "size": 178176
   },
   "provenance": {

package/dist/ui/components/scrollbar.d.ts

@@ -24,7 +24,7 @@ export type ScrollbarStyle = "thin" | "thick";
 export type ScrollbarSpeed = "normal" | "fast" | "high";
 /** Wheel distance: normal (3), fast (6), high as normal + fast (9). */
 export declare function scrollbarWheelRows(speed: ScrollbarSpeed): number;
-/** Selection edge distance uses the same configured rate as a wheel event. */
+/** Selection edge distance per auto-scroll tick: normal (1), fast (2), high (3). */
 export declare function scrollbarSelectionRows(speed: ScrollbarSpeed): number;
 export interface ScrollbarPresentationInput {
     readonly geometry: ScrollbarGeometry | null;

package/dist/ui/components/scrollbar.js

@@ -7,9 +7,9 @@
 export function scrollbarWheelRows(speed) {
     return speed === "high" ? 9 : speed === "fast" ? 6 : 3;
 }
-/** Selection edge distance uses the same configured rate as a wheel event. */
+/** Selection edge distance per auto-scroll tick: normal (1), fast (2), high (3). */
 export function scrollbarSelectionRows(speed) {
-    return scrollbarWheelRows(speed);
+    return speed === "high" ? 3 : speed === "fast" ? 2 : 1;
 }
 /** Pure appearance decision; activity time is supplied so tests own the clock. */
 export function scrollbarPresentation(input) {

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

@@ -162,6 +162,8 @@ export declare class TranscriptViewport {
     setStickyHovered(hovered: boolean): void;
     get selectionActive(): boolean;
     get hasSelection(): boolean;
+    /** True when the active gesture began on transcript rows rather than the dock. */
+    get selectionFromContent(): boolean;
     pressSelection(column: number, frameRow: number, now?: number): boolean;
     extendSelection(column: number, frameRow: number, now?: number, autoScroll?: boolean): boolean;
     releaseSelection(): boolean;

package/dist/ui/components/transcript-viewport.js

@@ -57,6 +57,7 @@ export class TranscriptViewport {
     #contentWidth = 0;
     #selectionWidth = 0;
     #viewportHeight = 0;
+    #firstSelectableRow = 0;
     #selectionRowAnchors = [];
     #frameId = 0;
     #frame = null;
@@ -88,12 +89,14 @@ export class TranscriptViewport {
     setStickyHovered(hovered) { this.#stickyHovered = hovered; }
     get selectionActive() { return this.#selection?.selecting === true; }
     get hasSelection() { return orderedTextSelection(this.#selection) !== undefined; }
+    /** True when the active gesture began on transcript rows rather than the dock. */
+    get selectionFromContent() { return this.#selectionAnchors !== undefined && this.#selectionAnchors.anchor.kind !== "dock"; }
     pressSelection(column, frameRow, now = Date.now()) {
         const frameHeight = this.#frame?.rows.length ?? 0;
         const selectionWidth = frameRow <= (this.#frame?.hits.viewportHeight ?? 0)
             ? this.#contentWidth
             : this.#selectionWidth;
-        if (frameRow < 1 || frameRow > frameHeight || column < 1 || column > selectionWidth)
+        if (frameRow <= this.#firstSelectableRow || frameRow > frameHeight || column < 1 || column > selectionWidth)
             return false;
         const line = frameRow - 1;
         const pressed = pressTextSelection({
@@ -170,7 +173,7 @@ export class TranscriptViewport {
         return true;
     }
     selectedText() {
-        const selection = visibleTextSelection(orderedTextSelection(this.#selection), this.#selectionRows.length);
+        const selection = this.#visibleSelection();
         if (selection === undefined)
             return null;
         const text = textSelectionText(selection, this.#selectionRows, line => usefulTextLineContent(this.#selectionRows[line] ?? ""));
@@ -388,9 +391,8 @@ export class TranscriptViewport {
                 ? documentSelectionAnchor(documentRow, documentRows[documentRow] ?? "")
                 : { kind: "screen", row, source: this.#selectionRows[row] ?? "" };
         });
-        if (stickyActive && governing !== null && visibleAnchors.length > 0) {
-            visibleAnchors[0] = documentSelectionAnchor(governing.firstRow, documentRows[governing.firstRow] ?? governing.sourceRow);
-        }
+        // Invariant: a pinned prompt is chrome over its hidden source row, which clips like off-screen rows.
+        this.#firstSelectableRow = stickyActive && viewportHeight > 0 ? 1 : 0;
         this.#selectionRowAnchors = [
             ...visibleAnchors,
             ...dock.map((_row, index) => ({ kind: "dock", fromBottom: dock.length - index - 1 })),
@@ -400,7 +402,7 @@ export class TranscriptViewport {
         // Concurrency: a painter may synchronously route input in tests or host integrations.
         // Label this frame with the exact selection snapshot it began composing.
         const composingSelectionRevision = this.#selectionRevision;
-        const orderedSelection = orderedTextSelection(this.#selection);
+        const orderedSelection = this.#visibleSelection();
         const recomputedRows = [];
         const reusedRows = [];
         const selectionDamagedRows = [];
@@ -408,6 +410,7 @@ export class TranscriptViewport {
         const frameRows = [...visible, ...dock].slice(0, height);
         const selectionRows = [...this.#selectionRows];
         let bottomHit = null;
+        let control;
         if (this.#maxScroll > 0 && !this.#followingEnd && frameRows.length > 0) {
             const genericLabel = " Jump to bottom (Ctrl+End) ↓ ";
             const countedLabel = this.#newMessages > 0
@@ -424,8 +427,10 @@ export class TranscriptViewport {
                 const pointer = input.pointerPosition;
                 const bottomHovered = pointer !== undefined && pointer.row === bottomHit.row
                     && pointer.column >= bottomHit.columnStart && pointer.column <= bottomHit.columnEnd;
-                frameRows[row] = overlaySpan(padRowPreservingBackground(frameRows[row] ?? "", width), left, left + labelWidth, `${CONTROL_STYLE_RESET}${theme.bottomControl(label, bottomHovered)}`);
-                selectionRows[row] = overlaySpan(padRowPreservingBackground(selectionRows[row] ?? "", width), left, left + labelWidth, label);
+                control = { row, left, text: `${CONTROL_STYLE_RESET}${theme.bottomControl(label, bottomHovered)}` };
+                frameRows[row] = overlaySpan(padRowPreservingBackground(frameRows[row] ?? "", width), left, left + labelWidth, control.text);
+                // Invariant: the control floats above selection; its cells are never selected or copied.
+                selectionRows[row] = overlaySpan(padRowPreservingBackground(selectionRows[row] ?? "", width), left, left + labelWidth, " ".repeat(labelWidth));
             }
         }
         for (const covered of input.coveredCells ?? []) {
@@ -442,15 +447,22 @@ export class TranscriptViewport {
             const painted = frameRows[row] ?? "";
             const rowSelectionWidth = row < viewportHeight ? contentWidth : width;
             const range = selectionRangeForLine(orderedSelection, row, this.#selectionRows.length, rowSelectionWidth);
-            const padded = row < viewportHeight || range !== null;
+            // Invariant: the reserved rail gutter is not a semantic selection or copy cell,
+            // but a range that reaches the content boundary paints through it so the rail
+            // floats above one continuous selection surface.
+            const paintRange = range !== null && row < viewportHeight
+                && contentWidth < width && range.to === contentWidth
+                ? { from: range.from, to: width }
+                : range;
+            const padded = row < viewportHeight || paintRange !== null;
             const base = cachedString(this.#baseRowCache, `${width}\u0000${contentWidth}\u0000${row < viewportHeight}\u0000${padded}\u0000${painted}`, cacheLimit, () => row < viewportHeight
                 ? padViewportRowWithGutter(painted, contentWidth, width)
                 : padded ? padRowPreservingBackground(painted, width) : painted);
             let rowRecomputed = row < viewportHeight && paintRecomputedRows.has(row) || !base.reused;
-            const rangeKey = range === null ? "-" : `${range.from}:${range.to}`;
-            const selected = range === null
+            const rangeKey = paintRange === null ? "-" : `${paintRange.from}:${paintRange.to}`;
+            const selected = paintRange === null
                 ? { value: base.value, reused: true }
-                : cachedString(this.#selectedRowCache, `${selectionPainterId}\u0000${rangeKey}\u0000${base.value}`, cacheLimit, () => theme.selection(base.value, range.from, range.to));
+                : cachedString(this.#selectedRowCache, `${selectionPainterId}\u0000${rangeKey}\u0000${base.value}`, cacheLimit, () => theme.selection(base.value, paintRange.from, paintRange.to));
             rowRecomputed ||= !selected.reused;
             // Invariant: paint the rail after selection over the gutter's continued row
             // background. Source content and selection still end at the preceding cell.
@@ -471,7 +483,9 @@ export class TranscriptViewport {
                 return overlayWidth === 0 ? withRail : overlaySpan(padRowPreservingBackground(withRail, width), overlayLimit - overlayWidth, overlayLimit, `${CONTROL_STYLE_RESET}${overlayText}`);
             });
             rowRecomputed ||= !final.reused;
-            frameRows[row] = final.value;
+            frameRows[row] = control?.row === row && paintRange !== null && bottomHit !== null
+                ? overlaySpan(final.value, control.left, bottomHit.columnEnd, control.text)
+                : final.value;
             (rowRecomputed ? recomputedRows : reusedRows).push(row + 1);
             const state = `${width}\u0000${row}\u0000${painted}\u0000${rangeKey}\u0000${range === null ? "" : selectionPainterId}\u0000${railCell}\u0000${overlayText}`;
             visibleStates.push(state);
@@ -685,21 +699,23 @@ export class TranscriptViewport {
             head: { ...selection.head, line: projectedHead.line },
         };
     }
+    #visibleSelection() {
+        const rows = this.#selectionAnchors?.anchor.kind === "document" ? this.#viewportHeight : this.#selectionRows.length;
+        return visibleTextSelection(orderedTextSelection(this.#selection), rows, this.#firstSelectableRow);
+    }
     #updateCopyableSelection() {
-        const selection = visibleTextSelection(orderedTextSelection(this.#selection), this.#selectionRows.length);
-        this.#copyableSelection = selection !== undefined
-            && textSelectionText(selection, this.#selectionRows, line => usefulTextLineContent(this.#selectionRows[line] ?? "")).length > 0;
+        this.#copyableSelection = this.selectedText() !== null;
     }
 }
-function visibleTextSelection(selection, rowCount) {
-    if (selection === undefined || rowCount <= 0 || selection.end.line < 0 || selection.start.line >= rowCount)
+function visibleTextSelection(selection, rowCount, firstRow) {
+    if (selection === undefined || rowCount <= firstRow || selection.end.line < firstRow || selection.start.line >= rowCount)
         return undefined;
-    const startLine = Math.max(0, selection.start.line);
+    const startLine = Math.max(firstRow, selection.start.line);
     const endLine = Math.min(rowCount - 1, selection.end.line);
     return {
         start: {
             line: startLine,
-            column: selection.start.line < 0 ? 0 : selection.start.column,
+            column: selection.start.line < firstRow ? 0 : selection.start.column,
         },
         end: {
             line: endLine,

package/docs/architecture/internal-naming.md

@@ -46,6 +46,7 @@ Pending review preserves a possible external interface, not an obsolete private
 | `SOURCE_LEDGER_PATH`, `SOURCE_LEDGER_SCAN_ROOT`, `SOURCE_LEDGER_PORT_ROOT` | Source-ledger governance fixture overrides; produced by its tests and consumed by `check-pinned-pi-source-ledger.mjs`. |
 | `RELEASE_RUNNER_LABEL` | Release/full-regression workflows supply certification-runner provenance to `run-release-gates.mjs`. |
 | `TERMINAL_FIXTURE_INPUT`, `TERMINAL_FIXTURE_TOKEN` | Native terminal probe producer/consumer in `native/terminal-host/src/main.rs`; expected input and fixture token. |
+| `TERMINAL_HOST_LOCAL_BUILD` | Developer shell sets exactly `1`; `native/terminal-host/build.rs` then permits a Windows build outside CI. |
 | `DOCS_AUTO_MERGE_POLL_ATTEMPTS`, `DOCS_AUTO_MERGE_POLL_MS` | Documentation automation polling controls, produced by governance tests and consumed by `manage-documentation-auto-merge.mjs`. |
 | `VALIDATION_JOB_STARTED_MS`, `RENDERING_JOB_STARTED_MS` | CI timing handoffs within `.github/workflows/ci.yml`; epoch milliseconds. |
 | `RUN_PROCESS_CONTAINMENT_INTEGRATION` | CI enables the real containment fixture with exactly `1`; platform containment tests consume it. |

package/docs/validation.md

@@ -32,6 +32,8 @@ Conservative Development retains every pull-request owner but does not schedule
 node scripts/release/generate-validation-ownership-ledger.mjs --output .artifacts/validation/ownership-ledger.json
 ```
 
+The `terminal-host` owner is CI-only. A change under `native/terminal-host/` or to its run scripts selects the Windows x64 **Native terminal host (Windows)** job, which builds the crate with pinned Rust and Zig 0.15.2, runs `npm run test:terminal-host`, and uploads the debug executable. Local Windows builds fail in `build.rs` unless `TERMINAL_HOST_LOCAL_BUILD=1` is set, because Zig's package fetch unpacks test data that workstation antivirus quarantines along with the installed process guardian. See [`native/terminal-host/README.md`](../native/terminal-host/README.md).
+
 ## Failed-job reruns and attempt evidence
 
 Every modular outcome, content-free job envelope, and uploaded artifact name is qualified by `github.run_attempt`. Authority remains bound to the workflow run ID, exact head, complete selection identity, logical job, and platform/runtime target.

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@timurproko/a1",
-  "version": "0.1.8-dev.583",
+  "version": "0.1.8-dev.588",
   "description": "Standalone terminal workspace for supervised native and managed agents",
   "type": "module",
   "privateLaunchContract": "neutral-launch-v1",