@timurproko/a1 0.2.7-dev.810 → 0.2.7-dev.820

package/dist/app/session-shell/resident-tab-coordinator.d.ts

@@ -1,18 +1,15 @@
 import type { OwnedUiEvent, PromptHistoryImageSidecarPort } from "../../contracts/owned-ui/index.js";
 import type { SessionConcern } from "./session-concern.js";
 import type { OwnedUiShellEngineOptions, OwnedUiSessionShellRoot } from "./session-shell-root.js";
-import type { OwnedUiPresenterTerminal } from "./shell-host.js";
 export type ResidentTabOptions = NonNullable<OwnedUiShellEngineOptions["residentTab"]>;
 export interface ResidentTabCoordinatorPorts {
     readonly root: Pick<OwnedUiSessionShellRoot, "appendWorkflowStatus" | "rehydrateHistoryText" | "editor">;
-    readonly terminal: Pick<OwnedUiPresenterTerminal, "requestRender">;
-    readonly disposed: () => boolean;
 }
 /**
- * The session presenter's side of a resident tab: recovered input, the progress and stall status
- * it reports to the strip, prompt admission and correlation through the recovery journal, draft
- * checkpoints, detach on quit, and the graceful stop when the presenter is released. Outside a
- * resident tab every operation is a no-op.
+ * The session presenter's side of a resident tab: recovered input, the idle status it reports to
+ * the strip, prompt admission and correlation through the recovery journal, draft checkpoints,
+ * detach on quit, and the graceful stop when the presenter is released. Outside a resident tab
+ * every operation is a no-op.
  */
 export declare class ResidentTabCoordinator implements SessionConcern {
     #private;
@@ -23,8 +20,8 @@ export declare class ResidentTabCoordinator implements SessionConcern {
     closeOwnedRoute(route: string): void;
     /** Puts the prompts and draft a previous tab process left unfinished back into the editor. */
     restoreInput(imageSidecar?: PromptHistoryImageSidecarPort): void;
-    /** Tracks working, idle, and stalled status from session events and arms the stall notice. */
-    observeProgress(event: OwnedUiEvent): void;
+    /** Reports idle to the strip whenever the session leaves its busy lifecycle. */
+    observeLifecycle(event: OwnedUiEvent): void;
     /** Journals a prompt before it is sent; undefined outside a resident tab. Rejects when the journal cannot sync. */
     admit(input: Parameters<NonNullable<ResidentTabOptions["admit"]>>[0]): Promise<{
         readonly id: string;

package/dist/app/session-shell/resident-tab-coordinator.js

@@ -1,18 +1,12 @@
-const PROGRESS_EVENTS = new Set([
-    "transcript-block", "session-view", "assistant-message-completed", "agent-run-started",
-]);
 /**
- * The session presenter's side of a resident tab: recovered input, the progress and stall status
- * it reports to the strip, prompt admission and correlation through the recovery journal, draft
- * checkpoints, detach on quit, and the graceful stop when the presenter is released. Outside a
- * resident tab every operation is a no-op.
+ * The session presenter's side of a resident tab: recovered input, the idle status it reports to
+ * the strip, prompt admission and correlation through the recovery journal, draft checkpoints,
+ * detach on quit, and the graceful stop when the presenter is released. Outside a resident tab
+ * every operation is a no-op.
  */
 export class ResidentTabCoordinator {
     #options;
     #ports;
-    #progressTimer;
-    #working = false;
-    #stalled = false;
     constructor(options, ports) {
         this.#options = options;
         this.#ports = ports;
@@ -51,40 +45,10 @@ export class ResidentTabCoordinator {
             root.appendWorkflowStatus("Recovered the editor draft from the previous tab process.");
         }
     }
-    /** Tracks working, idle, and stalled status from session events and arms the stall notice. */
-    observeProgress(event) {
-        const resident = this.#options;
-        const seconds = resident?.stallNoticeSeconds;
-        if (resident === undefined || seconds === undefined)
-            return;
-        if (event.type === "session-lifecycle") {
-            this.#working = event.lifecycle === "busy";
-            if (!this.#working) {
-                this.#clearTimer();
-                this.#stalled = false;
-                resident.reportStatus?.("idle");
-                return;
-            }
-        }
-        else if (!this.#working || !PROGRESS_EVENTS.has(event.type)) {
-            return;
-        }
-        if (this.#stalled) {
-            this.#stalled = false;
-            resident.reportStatus?.("working");
-        }
-        this.#clearTimer();
-        this.#progressTimer = setTimeout(() => {
-            this.#progressTimer = undefined;
-            if (this.#ports.disposed() || !this.#working)
-                return;
-            this.#stalled = true;
-            resident.reportStatus?.("stalled");
-            const minutes = Math.max(1, Math.round(seconds / 60));
-            this.#ports.root.appendWorkflowStatus(`No progress for ${minutes} min — Esc interrupts · use the tab restart action to restart`);
-            this.#ports.terminal.requestRender();
-        }, seconds * 1_000);
-        this.#progressTimer.unref?.();
+    /** Reports idle to the strip whenever the session leaves its busy lifecycle. */
+    observeLifecycle(event) {
+        if (event.type === "session-lifecycle" && event.lifecycle !== "busy")
+            this.#options?.reportStatus?.("idle");
     }
     /** Journals a prompt before it is sent; undefined outside a resident tab. Rejects when the journal cannot sync. */
     admit(input) {
@@ -109,12 +73,5 @@ export class ResidentTabCoordinator {
     gracefulStop(sessionFile) {
         return this.#options?.gracefulStop?.(sessionFile) ?? Promise.resolve();
     }
-    dispose() {
-        this.#clearTimer();
-    }
-    #clearTimer() {
-        if (this.#progressTimer !== undefined)
-            clearTimeout(this.#progressTimer);
-        this.#progressTimer = undefined;
-    }
+    dispose() { }
 }

package/dist/app/session-shell/session-shell-root.d.ts

@@ -47,8 +47,7 @@ export interface OwnedUiShellEngineOptions {
     readonly residentTab?: {
         requestDetach(): Promise<boolean>;
         closeOwnedRoute?(route: string): void;
-        reportStatus?(status: "working" | "idle" | "stalled"): void;
-        readonly stallNoticeSeconds?: number;
+        reportStatus?(status: "working" | "idle"): void;
         admit?(input: {
             readonly sessionId: string;
             readonly sessionFile: string | null;

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

@@ -251,7 +251,7 @@ export class OwnedUiSessionPresenter {
             // Invariant: the presenter owns its root (theme subscription and helper clients) and disposes it once the
             // terminal no longer renders it.
             constructed.push(() => this.root.dispose());
-            this.#resident = new ResidentTabCoordinator(options.engine.residentTab, { root: this.root, terminal: this.#terminal, disposed: () => this.#disposed });
+            this.#resident = new ResidentTabCoordinator(options.engine.residentTab, { root: this.root });
             constructed.push(() => this.#resident.dispose());
             const startupRoute = options.engine.startupRoute;
             this.#dialogs = new SessionDialogCoordinator({
@@ -366,7 +366,7 @@ export class OwnedUiSessionPresenter {
                         this.#stop.settleAfter(() => this.dispose());
                     return;
                 }
-                this.#resident.observeProgress(event);
+                this.#resident.observeLifecycle(event);
                 // Performance: a streamed chunk names one block, and touching only that block is what keeps the
                 // cost of a chunk the same in a long session as in a new one. Everything else
                 // resynchronizes the view, which is cheap next to re-reading the transcript.

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

@@ -322,8 +322,8 @@ export class SessionViewportController {
                     this.#requestRender();
             }
         }
-        const previousPrompt = SHIFT_UP_INPUTS.has(data) || this.#editor.matchesTerminalKey(data, "alt+home");
-        if (editorActive && allowWheel && (previousPrompt || SHIFT_DOWN_INPUTS.has(data))) {
+        const previousPrompt = PROMPT_UP_INPUTS.has(data) || this.#editor.matchesTerminalKey(data, "alt+home");
+        if (editorActive && allowWheel && (previousPrompt || PROMPT_DOWN_INPUTS.has(data))) {
             const scrolled = previousPrompt
                 ? this.#viewport.scrollToPreviousPrompt(now)
                 : this.#viewport.scrollToNextPrompt(now);
@@ -670,5 +670,7 @@ export class SessionViewportController {
 }
 const SELECTION_AUTO_SCROLL_INTERVAL_MS = 30;
 const EDITOR_LINK_DELETION_INPUTS = new Set(["\b", "\u007f", "\u001b[3~"]);
-const SHIFT_UP_INPUTS = new Set(["\u001b[1;2A"]);
-const SHIFT_DOWN_INPUTS = new Set(["\u001b[1;2B"]);
+// Platform: Windows Terminal may consume Shift+Arrow for native selection. Ctrl+Arrow matches
+// solo A1's Windows binding while retaining Shift+Arrow whenever the terminal delivers it.
+const PROMPT_UP_INPUTS = new Set(["\u001b[1;2A", "\u001b[1;5A"]);
+const PROMPT_DOWN_INPUTS = new Set(["\u001b[1;2B", "\u001b[1;5B"]);

package/dist/composition/owned-ui.js

@@ -50,7 +50,7 @@ export async function composeOwnedUi(options = {}) {
             namespace: PRODUCT_IDENTITY.commandName,
             legacyConfigDir: productPaths.configDir,
             agentProvider: () => backend.settingsPort(),
-            ...(options.hideTabSettings ? { hiddenOwnedSettingIds: ["tabsAutoName"] } : {}),
+            ...(options.hideTabSettings ? { hiddenOwnedSettingIds: ["tabsAutoName", "tabsPosition"] } : {}),
             hiddenAgentSettingIds: ["fullscreenWheelScrollLines"],
             agentSettingLabelOverrides: { fullscreenCopyOnSelect: "Copy on select" },
         });
@@ -221,7 +221,6 @@ export async function composeOwnedUi(options = {}) {
                                 void tabBridge.requestClose();
                         },
                         reportStatus: status => tabBridge.status(status),
-                        stallNoticeSeconds: 300,
                         admit: input => tabRecovery.admit({ ...input, incarnation: options.tab.incarnation }),
                         dispatched: () => tabRecovery.dispatched(),
                         correlated: (submissionId, entryId) => correlateResidentTabSubmission(tabRecovery, backend, submissionId, entryId),

package/dist/features/owned-ui/settings-app.js

@@ -1026,7 +1026,7 @@ export class SettingsApp {
         const input = this.#filter;
         if (input === null)
             return [status];
-        return [...renderInputRow(input, width, { placeholder: SEARCH_PLACEHOLDER, theme }).lines, status];
+        return [...renderInputRow(input, width, { placeholder: SEARCH_PLACEHOLDER, promptGlyph: "", theme }).lines, status];
     }
 }
 function modelLabelParts(label) {

package/dist/foundation/resident-tabs/bridge-client.d.ts

@@ -1,4 +1,4 @@
-export type ResidentTabStatus = "starting" | "working" | "needs-input" | "done-unseen" | "done" | "aborted" | "error" | "idle" | "unresponsive" | "stalled" | "crashed" | "restarting" | "failed";
+export type ResidentTabStatus = "starting" | "working" | "needs-input" | "done-unseen" | "done" | "aborted" | "error" | "idle" | "unresponsive" | "crashed" | "restarting" | "failed";
 export interface TabBridgeCredentials {
     readonly tabId: string;
     readonly token: string;

package/dist/foundation/resident-tabs/bridge-client.js

@@ -80,7 +80,7 @@ export class TabBridgeClient {
     }
     status(state, degraded = false, pendingRequests = 0, queuedInput = 0) {
         this.#latestStatus = { state, degraded, accent: this.#accent, pendingRequests, queuedInput };
-        const recoveryState = state === "unresponsive" || state === "stalled" || state === "crashed" || state === "restarting" || state === "failed";
+        const recoveryState = state === "unresponsive" || state === "crashed" || state === "restarting" || state === "failed";
         if (recoveryState && !this.#supports("recovery-status"))
             return;
         this.#send("bridge.status", {

package/dist/foundation/resident-tabs/settings.d.ts

@@ -7,7 +7,6 @@ export interface ResidentTabLaunchSettings {
     readonly maxConcurrentStarts: number;
     readonly prewarmCount: number;
     readonly unresponsiveRestartSeconds: number;
-    readonly stallNoticeSeconds: number;
 }
 /** Read only resident-launch values before any UI or extension module is loaded. */
 export declare function readResidentTabLaunchSettings(profileDir: string, namespace?: string, legacyConfigDir?: string, profileId?: string): Promise<ResidentTabLaunchSettings>;

package/dist/foundation/resident-tabs/settings.js

@@ -11,7 +11,6 @@ const DEFAULTS = Object.freeze({
     maxConcurrentStarts: RESIDENT_TABS_MAX_CONCURRENT_STARTS,
     prewarmCount: RESIDENT_TABS_PREWARM_COUNT,
     unresponsiveRestartSeconds: 120,
-    stallNoticeSeconds: 300,
 });
 /** Read only resident-launch values before any UI or extension module is loaded. */
 export async function readResidentTabLaunchSettings(profileDir, namespace = "a1", legacyConfigDir, profileId = namespace) {
@@ -55,6 +54,5 @@ function resolveLaunchValues(document, migrations) {
         maxConcurrentStarts: RESIDENT_TABS_MAX_CONCURRENT_STARTS,
         prewarmCount: RESIDENT_TABS_PREWARM_COUNT,
         unresponsiveRestartSeconds: DEFAULTS.unresponsiveRestartSeconds,
-        stallNoticeSeconds: DEFAULTS.stallNoticeSeconds,
     };
 }

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

@@ -7,7 +7,7 @@
   "platform": "darwin",
   "architecture": "arm64",
   "capability": "supported",
-  "builtAt": "2026-10-23T09:16:51.110Z",
+  "builtAt": "2026-10-24T04:45:15.222Z",
   "artifact": {
     "filename": "process-guardian.node",
     "sha256": "a87eaaffcd986b624c8b044b756446cc1bdaf4334a1775b97820542fe34f9fb7",

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

@@ -9,11 +9,11 @@
   "architecture": "arm64",
   "target": "aarch64-apple-darwin",
   "capability": "supported",
-  "builtAt": "2026-10-23T09:19:57.936Z",
+  "builtAt": "2026-10-24T04:48:05.486Z",
   "artifact": {
     "filename": "terminal-host.node",
-    "sha256": "62c8a0656c7496194cd20649e3f2011f460cb381da2a04fde7ce54cbd38d5a50",
-    "size": 5748592
+    "sha256": "f7f580d5ded5e1efa26ae790488efc8284edd15fee620aed091564c0fc460d16",
+    "size": 5812800
   },
   "entry": {
     "filename": "dist/foundation/resident-tabs/host-entry.js",

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

@@ -7,7 +7,7 @@
   "platform": "darwin",
   "architecture": "x64",
   "capability": "supported",
-  "builtAt": "2026-10-23T09:16:58.302Z",
+  "builtAt": "2026-10-24T04:45:23.346Z",
   "artifact": {
     "filename": "process-guardian.node",
     "sha256": "783a65f0de287a1c02cd5429dbe97bc8633f4cc8a7b92e3e961180b9bdcff814",

package/dist/native/darwin-x64/terminal-host.manifest.json

@@ -9,11 +9,11 @@
   "architecture": "x64",
   "target": "x86_64-apple-darwin",
   "capability": "supported",
-  "builtAt": "2026-10-23T09:22:31.367Z",
+  "builtAt": "2026-10-24T04:50:05.116Z",
   "artifact": {
     "filename": "terminal-host.node",
-    "sha256": "f74aafbd050eaba8737a9e5bd82b2836f86e8b73168310e7c3316af99442e1f2",
-    "size": 6272408
+    "sha256": "f7f2a1c09ebf4dbd5d28de747497564cb252d253ab7a9009b7aae1fe26bba4ff",
+    "size": 6340520
   },
   "entry": {
     "filename": "dist/foundation/resident-tabs/host-entry.js",

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

@@ -7,7 +7,7 @@
   "platform": "linux",
   "architecture": "x64",
   "capability": "supported",
-  "builtAt": "2026-10-23T09:16:44.112Z",
+  "builtAt": "2026-10-24T04:45:06.148Z",
   "artifact": {
     "filename": "process-guardian.node",
     "sha256": "118e5954e3864672bd8482ab7edf419cb27dcdf2533720316979b7f5cc5a53a5",

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

@@ -9,11 +9,11 @@
   "architecture": "x64",
   "target": "x86_64-unknown-linux-gnu",
   "capability": "supported",
-  "builtAt": "2026-10-23T09:18:34.630Z",
+  "builtAt": "2026-10-24T04:48:17.317Z",
   "artifact": {
     "filename": "terminal-host.node",
-    "sha256": "707e4140e1c1b4b2c78c45373d8471bbbcc6232e7ad5d14ad8f5a76a90b6265b",
-    "size": 6997376
+    "sha256": "3c2ed1d62404436ebe39000e93c5428dd9acff3f3158004b94af8a95e778e32a",
+    "size": 7069736
   },
   "entry": {
     "filename": "dist/foundation/resident-tabs/host-entry.js",

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

@@ -7,10 +7,10 @@
   "platform": "win32",
   "architecture": "x64",
   "capability": "supported",
-  "builtAt": "2026-10-23T09:17:41.474Z",
+  "builtAt": "2026-10-24T04:45:48.535Z",
   "artifact": {
     "filename": "process-guardian.node",
-    "sha256": "f0fb48d96ea06a21d77a4df332ec863d3830caf8ce6adfebcb2a4bb4d86fabdf",
+    "sha256": "12f5a962bc427e82345170f1c4db2a875683d5cbb4e818bcc1a314a11c71bf31",
     "size": 402432
   },
   "provenance": {

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

@@ -9,11 +9,11 @@
   "architecture": "x64",
   "target": "x86_64-pc-windows-msvc",
   "capability": "supported",
-  "builtAt": "2026-10-23T09:20:49.040Z",
+  "builtAt": "2026-10-24T04:48:40.147Z",
   "artifact": {
     "filename": "terminal-host.node",
-    "sha256": "f511333451655f6fdef1da7710c54c9e65058e367f6e8be3b8ac0420fcc70fa1",
-    "size": 6078464
+    "sha256": "9beb6edeb62b28ff7e55d419d724c98f8645a73977d85fbb2c1bd85b7b324916",
+    "size": 6138880
   },
   "entry": {
     "filename": "dist/foundation/resident-tabs/host-entry.js",

package/dist/ui/components/dialog-panel.js

@@ -69,7 +69,7 @@ export function renderSteppedDialogPanel(state, width, theme) {
     });
     const input = state.input === undefined
         ? []
-        : [...renderInputRow(state.input, width, { ruled: false, promptGlyph: "> ", theme }).lines, ""];
+        : [...renderInputRow(state.input, width, { ruled: false, promptGlyph: "", theme }).lines, ""];
     const step = `(step ${state.step}/${state.steps})`;
     const title = `${state.title} ${step}`;
     const paintedTitle = `${theme.bold(theme.fg("accent", state.title))} ${theme.fg("dim", step)}`;

package/dist/ui/components/prompt-input.d.ts

@@ -1,6 +1,6 @@
 import { type UiTheme } from "./theme.js";
-export declare const PROMPT_GLYPH = "\u276F ";
-export declare const PROMPT_PREFIX_WIDTH = 2;
+export declare const PROMPT_GLYPH = "";
+export declare const PROMPT_PREFIX_WIDTH = 0;
 type RuleTheme = Pick<UiTheme, "fg">;
 export declare function promptRuleText(text: string, theme: RuleTheme): string;
 export declare function promptRule(width: number, theme: RuleTheme): string;

package/dist/ui/components/prompt-input.js

@@ -1,7 +1,7 @@
 import { displayWidth, truncateToWidth } from "./text.js";
 import { PLAIN_THEME } from "./theme.js";
-export const PROMPT_GLYPH = "❯ ";
-export const PROMPT_PREFIX_WIDTH = 2;
+export const PROMPT_GLYPH = "";
+export const PROMPT_PREFIX_WIDTH = 0;
 export function promptRuleText(text, theme) {
     return theme.fg("border", text);
 }

package/dist/ui/components/submitted-prompt.d.ts

@@ -1,8 +1,8 @@
 export type UiTimeFormat = "20:00" | "8:00 PM";
 /** Deterministic local hour/minute presentation shared by A1-owned time labels. */
 export declare function formatLocalTime(source: Date | number, format?: UiTimeFormat): string | null;
-/** Visible width of the submitted-prompt prefix (`❯ `). */
-export declare const SUBMITTED_PROMPT_PREFIX_WIDTH = 2;
+/** Visible width of the submitted-prompt prefix (` ❯ `). */
+export declare const SUBMITTED_PROMPT_PREFIX_WIDTH = 3;
 export interface SubmittedPromptStyle {
     readonly prefix?: (text: string) => string;
     readonly timestamp?: (text: string) => string;

package/dist/ui/components/submitted-prompt.js

@@ -10,8 +10,8 @@ export function formatLocalTime(source, format = "8:00 PM") {
         return `${String(hour).padStart(2, "0")}:${minute}`;
     return `${hour % 12 || 12}:${minute} ${hour < 12 ? "AM" : "PM"}`;
 }
-/** Visible width of the submitted-prompt prefix (`❯ `). */
-export const SUBMITTED_PROMPT_PREFIX_WIDTH = 2;
+/** Visible width of the submitted-prompt prefix (` ❯ `). */
+export const SUBMITTED_PROMPT_PREFIX_WIDTH = 3;
 const TIMESTAMP_MARGIN = 3;
 const MIN_USEFUL_CONTENT_WIDTH = 8;
 /** Formats transcript metadata, never render time, in the active A1 time format. */
@@ -42,7 +42,7 @@ export function composeSubmittedPromptRows(contentRows, width, source, style = {
     if (width <= 0)
         return [];
     const layout = submittedPromptLayout(width, source, format);
-    const prefix = (style.prefix ?? identity)("❯ ");
+    const prefix = (style.prefix ?? identity)(" ❯ ");
     const rows = (contentRows.length === 0 ? [""] : contentRows).map((row, index) => {
         const content = truncateToWidth(row, layout.contentWidth);
         return `${index === 0 ? prefix : " ".repeat(SUBMITTED_PROMPT_PREFIX_WIDTH)}${content}`;

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

@@ -178,7 +178,7 @@ export declare class TranscriptViewport {
     releaseSelection(): boolean;
     clearSelection(): boolean;
     selectedText(): string | null;
-    /** Captures visible selected text, not off-screen history. */
+    /** Captures selected text, including document rows of a visible selection scrolled off-screen. */
     captureSelectedText(): SelectionCopySnapshot | null;
     scrollBy(lines: number, now?: number): boolean;
     scrollTo(position: number, now?: number): boolean;

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

@@ -15,6 +15,19 @@ const IDENTITY_ROW = (row) => row;
 function documentSelectionAnchor(row, source, liveFromBottom) {
     return { kind: "document", row, source, identity: stripAnsi(source).trimEnd(), liveFromBottom };
 }
+function sameSelectionRowAnchor(left, right) {
+    if (left.kind !== right.kind)
+        return false;
+    if (left.kind === "document" && right.kind === "document") {
+        return left.row === right.row && left.source === right.source && left.liveFromBottom === right.liveFromBottom;
+    }
+    if (left.kind === "screen" && right.kind === "screen") {
+        return left.row === right.row && left.source === right.source;
+    }
+    if (left.kind === "transient" && right.kind === "transient")
+        return left.fromBottom === right.fromBottom;
+    return left.kind === "dock" && right.kind === "dock" && left.fromBottom === right.fromBottom;
+}
 function viewportSelectionAnchor(row, source, selectableDocumentRowCount, documentRowCount) {
     return row < selectableDocumentRowCount
         ? documentSelectionAnchor(row, source)
@@ -140,7 +153,12 @@ export class TranscriptViewport {
             this.scrollBy(1, now);
         else if (autoScroll && frameRow <= 1 && this.#scrollTop > 0)
             this.scrollBy(-1, now);
-        const line = clamp(frameRow - 1, 0, this.#selectionRows.length - 1);
+        const pointerLine = clamp(frameRow - 1, 0, this.#selectionRows.length - 1);
+        // Invariant: a pinned prompt alias is chrome; an upward drag reaching it keeps the pointer
+        // column on the first visible content row.
+        const line = pointerLine < this.#firstSelectableRow && pointerLine < selection.anchor.line
+            ? this.#firstSelectableRow
+            : pointerLine;
         const selectionWidth = line < (this.#frame?.hits.viewportHeight ?? 0)
             ? this.#contentWidth
             : this.#selectionWidth;
@@ -151,12 +169,13 @@ export class TranscriptViewport {
             ? { line, column: targetColumn }
             : textSelectionPointAt(line, targetColumn, this.#selectionRows[line] ?? "");
         const next = extendTextSelection(selection, point);
-        if (next !== selection) {
-            const headAnchor = this.#selectionAnchorAt(line);
-            if (headAnchor === undefined || this.#selectionAnchors === undefined) {
-                this.clearSelection();
-                return true;
-            }
+        const headAnchor = this.#selectionAnchorAt(line);
+        if (headAnchor === undefined || this.#selectionAnchors === undefined) {
+            this.clearSelection();
+            return true;
+        }
+        // Invariant: edge auto-scroll changes the document row under a still pointer; that advances the head.
+        if (next !== selection || !sameSelectionRowAnchor(this.#selectionAnchors.head, headAnchor)) {
             this.#selection = next;
             this.#selectionAnchors = { ...this.#selectionAnchors, head: headAnchor };
             this.#selectionRevision += 1;
@@ -184,25 +203,66 @@ export class TranscriptViewport {
         return true;
     }
     selectedText() {
-        const selection = this.#visibleSelection();
-        if (selection === undefined)
+        const visible = this.#visibleSelection();
+        if (visible === undefined)
             return null;
-        const copiedLines = Array.from({ length: Math.max(0, selection.end.line - selection.start.line + 1) }, (_value, index) => selection.start.line + index).filter(line => {
+        const offscreen = offscreenSelectionRows(this.#selection, this.#selectionAnchors, this.#scrollTop, this.#firstSelectableRow, this.#viewportHeight, this.#documentRows.length);
+        // Rationale: edge auto-scroll grows a drag beyond one screen. Paint stays clipped to the
+        // frame, while copy reads the selected document rows past either viewport edge and beneath
+        // the floating bottom control.
+        const selectionRows = [];
+        const rowAnchors = [];
+        const controlLine = (this.#frame?.hits.bottom?.row ?? 0) - 1;
+        const pushDocumentRow = (row) => {
+            const source = this.#documentRows[row] ?? "";
+            selectionRows.push(truncateToWidth(source, this.#contentWidth));
+            rowAnchors.push(documentSelectionAnchor(row, source));
+        };
+        const pushBelow = () => {
+            for (let row = offscreen.below?.from ?? 0; row <= (offscreen.below?.to ?? -1); row += 1)
+                pushDocumentRow(row);
+        };
+        for (let row = offscreen.above?.from ?? 0; row <= (offscreen.above?.to ?? -1); row += 1)
+            pushDocumentRow(row);
+        if (offscreen.belowFirst)
+            pushBelow();
+        for (let line = visible.start.line; line <= visible.end.line; line += 1) {
             const anchor = this.#selectionRowAnchors[line];
+            if (line === controlLine && anchor?.kind === "document")
+                pushDocumentRow(anchor.row);
+            else {
+                selectionRows.push(this.#selectionRows[line] ?? "");
+                rowAnchors.push(anchor);
+            }
+        }
+        if (!offscreen.belowFirst)
+            pushBelow();
+        const offscreenStart = offscreen.above !== undefined || offscreen.belowFirst === true;
+        const offscreenEnd = offscreen.below !== undefined && !offscreen.belowFirst;
+        const selection = {
+            ...visible,
+            start: { line: 0, column: offscreenStart ? offscreen.startColumn ?? 0 : visible.start.column },
+            end: {
+                line: selectionRows.length - 1,
+                column: offscreenEnd ? offscreen.endColumn ?? Number.MAX_SAFE_INTEGER : visible.end.column,
+            },
+        };
+        const copiedLines = Array.from({ length: Math.max(0, selection.end.line - selection.start.line + 1) }, (_value, index) => selection.start.line + index).filter(line => {
+            const anchor = rowAnchors[line];
             return anchor?.kind === "document" && anchor.row < this.#selectableDocumentRowCount
                 || anchor?.kind === "dock" && this.#copyableDockRows.has(anchor.fromBottom);
         });
         if (copiedLines.length === 0)
             return null;
-        const transcriptLines = copiedLines.filter(line => this.#selectionRowAnchors[line]?.kind === "document");
+        const transcriptLines = copiedLines.filter(line => rowAnchors[line]?.kind === "document");
         const prompt = transcriptLines.length === 0 ? undefined : this.#promptAnchors.find(candidate => transcriptLines.every(line => {
-            const anchor = this.#selectionRowAnchors[line];
+            const anchor = rowAnchors[line];
             return anchor?.kind === "document" && anchor.row >= candidate.firstRow && anchor.row <= candidate.lastRow;
         }));
         const included = new Set(copiedLines);
-        const text = textSelectionText(selection, this.#selectionRows, line => {
-            const row = this.#selectionRows[line] ?? "";
-            const anchor = this.#selectionRowAnchors[line];
+        const text = textSelectionText(selection, selectionRows, line => {
+            const row = selectionRows[line] ?? "";
+            const anchor = rowAnchors[line];
             const dock = anchor?.kind === "dock" ? this.#copyableDockRows.get(anchor.fromBottom) : undefined;
             if (prompt !== undefined && anchor?.kind === "document") {
                 const first = anchor.row === prompt.firstRow;
@@ -211,11 +271,12 @@ export class TranscriptViewport {
                     : row;
                 return selectionCopyLineContent(copyRow, first ? "first" : "continuation");
             }
-            return dock?.prompt !== undefined ? selectionCopyLineContent(row, dock.prompt) : usefulTextLineContent(row);
+            // Invariant: the dock editor has no prefix; transcript prompts still carry chrome.
+            return dock?.prompt !== undefined ? usefulTextLineContent(row, 1) : usefulTextLineContent(row);
         }, line => included.has(line));
         return text.length === 0 ? null : text;
     }
-    /** Captures visible selected text, not off-screen history. */
+    /** Captures selected text, including document rows of a visible selection scrolled off-screen. */
     captureSelectedText() {
         if (!this.#copyableSelection)
             return null;
@@ -470,7 +531,7 @@ export class TranscriptViewport {
                 const bottomHovered = pointer !== undefined && pointer.row === bottomHit.row
                     && pointer.column >= bottomHit.columnStart && pointer.column <= bottomHit.columnEnd;
                 control = { row, left, text: `${CONTROL_STYLE_RESET}${theme.bottomControl(label, bottomHovered)}` };
-                // Invariant: the control floats above selection; its cells are never selected or copied.
+                // Invariant: the control floats above selection; copy restores the text beneath it.
                 selectionRows[row] = overlaySpan(padRowPreservingBackground(selectionRows[row] ?? "", width), left, left + labelWidth, " ".repeat(labelWidth));
             }
         }
@@ -701,7 +762,7 @@ export class TranscriptViewport {
         const anchors = this.#selectionAnchors;
         if (selection === undefined || anchors === undefined)
             return;
-        const project = (anchor) => {
+        const project = (anchor, moving) => {
             if (anchor.kind === "dock") {
                 const dockIndex = dockRows.length - anchor.fromBottom - 1;
                 return dockIndex < 0 || dockIndex >= dockRows.length
@@ -743,7 +804,7 @@ export class TranscriptViewport {
             // Concurrency: a streaming chunk may replace or reflow the pointer's current live-tail
             // row before the next motion report. During the held gesture only, retain its distance
             // from the persistent tail; release restores identity-only projection.
-            if (selection.selecting && anchor.liveFromBottom !== undefined && this.#liveTailStartRow !== undefined) {
+            if (selection.selecting && moving && anchor.liveFromBottom !== undefined && this.#liveTailStartRow !== undefined) {
                 const documentRow = this.#selectableDocumentRowCount - anchor.liveFromBottom - 1;
                 if (documentRow >= this.#liveTailStartRow && documentRow < this.#selectableDocumentRowCount) {
                     const visible = this.#selectionRowAnchors.findIndex(candidate => candidate?.kind === "document" && candidate.row === documentRow);
@@ -755,10 +816,18 @@ export class TranscriptViewport {
                     }
                 }
             }
+            // Concurrency: streaming may restyle a held endpoint's row; it keeps its document index.
+            // Following the tail would drag the press row toward the newest output.
+            if (selection.selecting && anchor.row >= 0 && anchor.row < documentRows.length) {
+                return {
+                    line: anchor.row - this.#scrollTop,
+                    anchor: documentSelectionAnchor(anchor.row, documentRows[anchor.row] ?? "", anchor.liveFromBottom),
+                };
+            }
             return undefined;
         };
-        const projectedAnchor = project(anchors.anchor);
-        const projectedHead = project(anchors.head);
+        const projectedAnchor = project(anchors.anchor, false);
+        const projectedHead = project(anchors.head, true);
         if (projectedAnchor === undefined || projectedHead === undefined) {
             this.clearSelection();
             return;
@@ -778,11 +847,59 @@ export class TranscriptViewport {
         // Invariant: mixed viewport/dock ranges project across the same complete frame regardless
         // of origin. Document-only ranges remain clipped to the scrollable viewport when off-screen.
         const rows = crossesDock ? this.#selectionRows.length : this.#viewportHeight;
-        return visibleTextSelection(orderedTextSelection(this.#selection), rows, this.#firstSelectableRow);
+        const ordered = orderedTextSelection(dockOrderedSelection(this.#selection, anchors, this.#viewportHeight));
+        return visibleTextSelection(ordered, rows, this.#firstSelectableRow);
     }
     #updateCopyableSelection() {
-        this.#copyableSelection = this.selectedText() !== null;
+        // Performance: off-screen rows count as copyable by range alone; capture trims whitespace later.
+        const offscreen = offscreenSelectionRows(this.#selection, this.#selectionAnchors, this.#scrollTop, this.#firstSelectableRow, this.#viewportHeight, this.#documentRows.length);
+        const selectable = [offscreen.above, offscreen.below]
+            .some(range => range !== undefined && range.from < this.#selectableDocumentRowCount);
+        this.#copyableSelection = selectable && this.#visibleSelection() !== undefined || this.selectedText() !== null;
+    }
+}
+/**
+ * Invariant: dock rows follow the whole transcript, so a document endpoint scrolled below the
+ * viewport orders before every dock row instead of at its numeric frame line among them.
+ */
+function dockOrderedSelection(selection, anchors, viewportHeight) {
+    if (selection === undefined || anchors === undefined || anchors.anchor.kind !== "dock" && anchors.head.kind !== "dock") {
+        return selection;
     }
+    const place = (point, kind) => kind === "document" && point.line >= viewportHeight ? { line: viewportHeight, column: 1, from: 0, to: 0 } : point;
+    return { ...selection, anchor: place(selection.anchor, anchors.anchor.kind), head: place(selection.head, anchors.head.kind) };
+}
+/** Document rows of a selection whose endpoints lie beyond the visible viewport edges. */
+function offscreenSelectionRows(selection, anchors, scrollTop, firstSelectableRow, viewportHeight, documentRowCount) {
+    const ordered = orderedTextSelection(dockOrderedSelection(selection, anchors, viewportHeight));
+    if (selection === undefined || ordered === undefined || anchors === undefined)
+        return {};
+    const placed = dockOrderedSelection(selection, anchors, viewportHeight);
+    const anchorFirst = placed.anchor.line < placed.head.line
+        || placed.anchor.line === placed.head.line && placed.anchor.column <= placed.head.column;
+    const top = anchorFirst ? anchors.anchor : anchors.head;
+    const bottom = anchorFirst ? anchors.head : anchors.anchor;
+    const topPoint = anchorFirst ? selection.anchor : selection.head;
+    const bottomPoint = anchorFirst ? selection.head : selection.anchor;
+    const firstVisibleRow = scrollTop + firstSelectableRow;
+    const pastVisibleRow = scrollTop + viewportHeight;
+    const columns = {
+        startColumn: selection.fullRow ? 0 : topPoint.from ?? Math.max(0, topPoint.column - 1),
+        endColumn: selection.fullRow ? Number.MAX_SAFE_INTEGER : bottomPoint.to ?? bottomPoint.column,
+    };
+    if (top.kind === "document" && bottom.kind === "dock" && top.row >= pastVisibleRow) {
+        return { ...columns, below: { from: top.row, to: documentRowCount - 1 }, belowFirst: true };
+    }
+    return {
+        ...columns,
+        ...(top.kind === "document" && top.row < firstVisibleRow && ordered.start.line < firstSelectableRow
+            ? { above: { from: top.row, to: firstVisibleRow - 1 } }
+            : {}),
+        ...(top.kind === "document" && bottom.kind === "document" && bottom.row >= pastVisibleRow
+            && ordered.end.line >= viewportHeight
+            ? { below: { from: pastVisibleRow, to: bottom.row } }
+            : {}),
+    };
 }
 function visibleTextSelection(selection, rowCount, firstRow) {
     if (selection === undefined || rowCount <= firstRow || selection.end.line < firstRow || selection.start.line >= rowCount)

package/dist/ui/settings/declarations.d.ts

@@ -1,11 +1,9 @@
-export declare const OWNED_UI_SETTINGS_VERSION = 17;
+export declare const OWNED_UI_SETTINGS_VERSION = 18;
 export type OwnedUiSettingValue = string | number | boolean;
 export type OwnedUiSettingApplication = "live" | "restart";
 export interface OwnedUiSettingDeclaration {
     readonly id: string;
-    /** Optional presentation label; the id remains the persistence key. */
     readonly label?: string;
-    /** Optional settings-screen group for related owned controls. */
     readonly section?: {
         readonly id: string;
         readonly title: string;
@@ -15,10 +13,6 @@ export interface OwnedUiSettingDeclaration {
     readonly defaultValue: OwnedUiSettingValue;
     readonly allowedValues: readonly OwnedUiSettingValue[];
 }
-/**
- * Every A1 setting, keyed by its id. The table is the one declaration: ids, defaults, and allowed
- * values are read from it, and `OwnedSettingValueOf` derives each getter's type from it.
- */
 export declare const OWNED_SETTING_DECLARATIONS: Readonly<{
     readonly updateCheck: Readonly<{
         id: "updateCheck";
@@ -176,6 +170,18 @@ export declare const OWNED_SETTING_DECLARATIONS: Readonly<{
         defaultValue: 8;
         allowedValues: readonly [1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16];
     }>;
+    readonly tabsPosition: Readonly<{
+        id: "tabsPosition";
+        label: "Position";
+        section: Readonly<{
+            id: "tabs";
+            title: "Tabs";
+        }>;
+        description: "Place the resident tab bar at the top or bottom of the terminal.";
+        application: "live";
+        defaultValue: "top";
+        allowedValues: readonly ["top", "bottom"];
+    }>;
     readonly tabsAutoName: Readonly<{
         id: "tabsAutoName";
         label: "Auto name";
@@ -190,9 +196,7 @@ export declare const OWNED_SETTING_DECLARATIONS: Readonly<{
     }>;
 }>;
 export type OwnedSettingId = keyof typeof OWNED_SETTING_DECLARATIONS;
-/** The value type a setting's declaration allows: a literal union for a choice, `number` for a stepped range. */
 export type OwnedSettingValueOf<Id extends OwnedSettingId> = (typeof OWNED_SETTING_DECLARATIONS)[Id]["allowedValues"][number];
-/** The declarations in declaration order, for resolution, persistence, and the settings screen. */
 export declare const OWNED_UI_SETTING_DECLARATIONS: readonly OwnedUiSettingDeclaration[];
 export declare function isOwnedSettingId(id: string): id is OwnedSettingId;
 export declare function assertOwnedUiSettingDeclarations(declarations: readonly OwnedUiSettingDeclaration[]): void;

package/dist/ui/settings/declarations.js

@@ -1,19 +1,14 @@
-export const OWNED_UI_SETTINGS_VERSION = 17;
+export const OWNED_UI_SETTINGS_VERSION = 18;
 const UI_ACCENT_COLOR_CHOICES = Object.freeze([
     "purple", "blue", "cyan", "green", "orange", "pink",
 ]);
 const MAX_ID_LENGTH = 64;
 const ID_PATTERN = /^[a-z][a-z0-9]*(?:[A-Z][a-z0-9]*)*$/;
-/** Declared first so the settings screen opens on it; sections follow first-declaration order. */
 const GENERIC_SECTION = Object.freeze({ id: "generic", title: "Generic" });
 const APPEARANCE_SECTION = Object.freeze({ id: "appearance", title: "Appearance" });
 const SCROLL_SECTION = Object.freeze({ id: "scroll", title: "Scroll" });
 const AGENT_SECTION = Object.freeze({ id: "agent", title: "Agent" });
 const TABS_SECTION = Object.freeze({ id: "tabs", title: "Tabs" });
-/**
- * Every A1 setting, keyed by its id. The table is the one declaration: ids, defaults, and allowed
- * values are read from it, and `OwnedSettingValueOf` derives each getter's type from it.
- */
 export const OWNED_SETTING_DECLARATIONS = Object.freeze({
     updateCheck: Object.freeze({
         id: "updateCheck",
@@ -136,6 +131,15 @@ export const OWNED_SETTING_DECLARATIONS = Object.freeze({
         defaultValue: 8,
         allowedValues: Object.freeze([1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16]),
     }),
+    tabsPosition: Object.freeze({
+        id: "tabsPosition",
+        label: "Position",
+        section: TABS_SECTION,
+        description: "Place the resident tab bar at the top or bottom of the terminal.",
+        application: "live",
+        defaultValue: "top",
+        allowedValues: Object.freeze(["top", "bottom"]),
+    }),
     tabsAutoName: Object.freeze({
         id: "tabsAutoName",
         label: "Auto name",
@@ -146,7 +150,6 @@ export const OWNED_SETTING_DECLARATIONS = Object.freeze({
         allowedValues: Object.freeze([true, false]),
     }),
 });
-/** The declarations in declaration order, for resolution, persistence, and the settings screen. */
 export const OWNED_UI_SETTING_DECLARATIONS = Object.freeze(Object.values(OWNED_SETTING_DECLARATIONS));
 export function isOwnedSettingId(id) {
     return Object.hasOwn(OWNED_SETTING_DECLARATIONS, id);

package/dist/ui/settings/migrations.js

@@ -137,6 +137,13 @@ export const OWNED_UI_SETTINGS_MIGRATIONS = Object.freeze([
             return { ...values };
         },
     }),
+    Object.freeze({
+        to: 18,
+        description: "Introduce the top resident tab-bar position default.",
+        migrate(values) {
+            return { ...values };
+        },
+    }),
 ]);
 /** Shape-selected compatibility for the metadata-free product object. */
 export function normalizeOwnedUiSettingsValues(source) {

package/docs/architecture/resident-tabs.md

@@ -303,7 +303,7 @@ Tab status is an A1-owned state machine fed by `bridge.status`:
 | Tab child exits or crashes | holder sees the child exit | If the exit was not requested: `crashed`. The holder respawns `ui.js --tab --session <file>` with backoff 1 s, 5 s, 30 s. After 3 restarts in 10 min: `failed`, with a banner `✗ <reason> — [r] retry · [f] start fresh · [alt+w] close`. An interrupted prompt (reported via the bridge, or detected as a trailing user entry) is offered back into the editor and never resent. Child stderr, if separately available, is a private content-bearing recovery artifact, never an ordinary diagnostic log. |
 | Holder crash | pipe EOF plus verified process identity/exit | Pseudoterminal loss is not proof that every descendant exited. Verify the old writer/tree is gone and acquire its writer lease before resuming in a new holder; otherwise keep the tab blocked without duplicate writers. |
 | Holder hang | holder control heartbeat every 5 s, 3 missed over a healthy supervision path, then one heartbeat of grace for the holder-local watchdog record | Terminate only the verified holder/tree within bounded deadlines, then follow the lease-gated recovery path. |
-| A1 child hang | missing child event-loop heartbeat over a healthy bridge path | Warn at 30 s; restart at `tabsUnresponsiveRestartSeconds` (default 120), preserving journal/screen. A server/bridge transport outage alone is not proof of a child hang. |
+| A1 child hang | missing child event-loop heartbeat over a healthy bridge path | Record `unresponsive` at 30 s without changing the chip or painting a notice; restart at `tabsUnresponsiveRestartSeconds` (default 120), preserving journal/screen. A server/bridge transport outage alone is not proof of a child hang. |
 | Server crash | clients and holders see the pipe EOF | Holders keep running. A client or holder starts a replacement, which acquires the released writer lease, increments the epoch, derives expected credentials, and re-admits identity-verified holders. A live but unresponsive recorded owner is terminated only after native identity verification; an unverifiable owner blocks replacement. After 3 starts in 60 s, clients show `✗ tab host stopped — [r] restart · [q] quit`. |
 | Attach client crash or terminal close | the server sees the pipe EOF | Nothing happens to tabs. Pending requests stay `needs-input`. |
 | Reboot or logout | the platform boot identity differs, or no verified holders exist for a new OS session | Tabs are not restored in this version. The server moves the previous tab set to registry history, and bare `a1` starts with one new tab. Every previous session stays resumable through the normal session picker or `a1 --session`. A pending journaled prompt is offered when its session is next opened in a tab, for up to seven days. Restoring tabs after reboot is a follow-up change. |
@@ -377,7 +377,7 @@ Tab status is an A1-owned state machine fed by `bridge.status`:
 Internal resources remain bounded without imposing a user-visible tab-count quota.
 
 - The only user-facing Tabs setting during resident launches is `tabsAutoName` (default on). Legacy `tabsMax` data is preserved but ignored. Tab enablement is not a setting. Direct `a1 solo` and `a1 pi` launches omit the Tabs section entirely.
-- Unresponsive restart and stall-notice timing are internal fixed behavior at 120 and 300 seconds; concurrent starts use internal default 2/hard cap 8 and prewarm uses internal count/hard cap 1.
+- Unresponsive restart timing is internal fixed behavior at 120 seconds; there is no progress-stall notice; concurrent starts use internal default 2/hard cap 8 and prewarm uses internal count/hard cap 1.
 - Every open tab keeps its holder and A1 process until explicit close. There is no idle-suspension setting, timer, lifecycle, or glyph.
 - Scrollback is capped at 10 MiB per holder, and the replay after a server restart is the retained model itself.
 - The server exits after 10 minutes with no attached client and no live user tab; the prewarmed standby does not keep it alive and is stopped first.
@@ -479,8 +479,8 @@ The v2 daemon was unreliable for structural reasons, and a forensic pass over it
 **Agents that stop making progress.** Liveness and progress are separate signals:
 
 - Holder heartbeat: a Rust main-loop tick every 5 s seen by the server; three missed ticks over an otherwise healthy supervision path plus one heartbeat of grace trigger verified holder recovery. The grace keeps external termination behind the holder's 15-second process-local watchdog so its own crash evidence wins despite scheduler jitter.
-- A1 heartbeat: the child's Node event loop, seen through the bridge. After 30 s it shows `unresponsive`; after `tabsUnresponsiveRestartSeconds` (default 120) the tab restarts from its session with its journal and last screen preserved. A missing server or bridge transport degrades status, not proof of a child event-loop stall; reacquire liveness evidence before destructive recovery.
-- Agent progress: model or tool events. After `tabsStallNoticeSeconds` (default 300) it shows `stalled` with interrupt and restart actions. It is never auto-killed, because a legitimate tool can run for a long time.
+- A1 heartbeat: the child's Node event loop, seen through the bridge. After 30 s the server records `unresponsive` in the registry and counters, without changing the presented status, chip glyph, or colour and without a notice row or restart key; after `tabsUnresponsiveRestartSeconds` (default 120) the tab restarts from its session with its journal and last screen preserved. A missing server or bridge transport degrades status, not proof of a child event-loop stall; reacquire liveness evidence before destructive recovery.
+- Agent progress: not supervised. A working tab without model or tool events keeps its working status indefinitely, gains no transcript notice, and is never auto-killed, because a legitimate tool can run for a long time.
 
 **Data-loss envelope.** Distinguish process termination, power loss, and loss of both holder and child:
 

package/package.json

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