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

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

@@ -4,6 +4,10 @@ import { backgroundSgrSpan, overlaySpan } from "./spans.js";
 import { faint, truncateToWidth, displayWidth, stripAnsi } from "./text.js";
 import { extendTextSelection, orderedTextSelection, pressTextSelection, releaseTextSelection, textSelectionLineExtendColumn, textSelectionPointAt, textSelectionText, usefulTextLineContent, } from "./text-selection.js";
 const CONTROL_STYLE_RESET = "\u001b]8;;\u001b\\\u001b[0m";
+// Protocol: upstream OSC 133 zones are layout annotations, not fullscreen cursor commands.
+// Styling/padding can move them away from the row prefix Pi strips; 133;A then advances a real
+// terminal parser to a fresh line. The custom viewport owns prompt anchors separately.
+const VIEWPORT_PROMPT_ZONES = /\u001b\]133;[ABC](?:\u0007|\u001b\\)/gu;
 // Invariant: scrollbar chrome closes source links and decoration without clearing
 // the row surface painted beneath its dedicated, non-semantic gutter.
 const GUTTER_DECORATION_RESET = "\u001b]8;;\u001b\\\u001b[22;23;24;25;27;28;29;39;54;55m";
@@ -11,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)
@@ -136,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;
@@ -147,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;
@@ -180,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;
@@ -207,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;
@@ -362,7 +427,7 @@ export class TranscriptViewport {
             contentLength: documentRows.length,
             viewportHeight,
             scroll: this.#scrollTop,
-            // Compatibility: the session rail deliberately starts one line below the viewport top.
+            // Invariant: the rail keeps its top gap; the shell owns the spacing above the dock.
             trackHeight: Math.max(0, viewportHeight - 1),
         });
         const presentation = scrollbarPresentation({
@@ -466,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));
             }
         }
@@ -504,7 +569,7 @@ export class TranscriptViewport {
             // Invariant: paint the rail after selection over the gutter's continued row
             // background. Source content and selection still end at the preceding cell.
             let railCell = "";
-            if (row < viewportHeight && presentation.visible && geometry !== null && row > 0) {
+            if (row > 0 && row < viewportHeight && presentation.visible && geometry !== null) {
                 const trackRow = row - 1;
                 const thumb = isThumbRow(geometry, trackRow);
                 const glyph = thumb ? presentation.thumbGlyph : presentation.trackGlyph;
@@ -526,7 +591,7 @@ export class TranscriptViewport {
                 return overlayWidth === 0 ? withControl : overlaySpan(padRowPreservingBackground(withControl, width), overlayLimit - overlayWidth, overlayLimit, `${GUTTER_DECORATION_RESET}${overlayText}`, { inheritStartStyle: true });
             });
             rowRecomputed ||= !final.reused;
-            frameRows[row] = final.value;
+            frameRows[row] = final.value.replace(VIEWPORT_PROMPT_ZONES, "");
             (rowRecomputed ? recomputedRows : reusedRows).push(row + 1);
             const state = `${width}\u0000${row}\u0000${painted}\u0000${rangeKey}\u0000${range === null ? "" : selectionPainterId}\u0000${railCell}\u0000${overlayText}\u0000${rowControl?.text ?? ""}`;
             visibleStates.push(state);
@@ -627,19 +692,10 @@ export class TranscriptViewport {
             || !sameRectangle(previous.descriptor.transcript, expectedTranscript))
             return null;
         const descriptor = {
+            ...previous.descriptor,
             frameId: ++this.#frameId,
-            width: boundedWidth,
-            height: boundedHeight,
-            transcript: expectedTranscript,
-            dock: expectedDock,
             previousDocumentRange: previous.descriptor.nextDocumentRange,
-            nextDocumentRange: previous.descriptor.nextDocumentRange,
             previousFollowingEnd: previous.followingEnd,
-            followingEnd: previous.followingEnd,
-            transientRowCount: previous.descriptor.transientRowCount,
-            transientAlignmentGapRows: previous.descriptor.transientAlignmentGapRows,
-            bottomAlignedTailRowCount: previous.descriptor.bottomAlignedTailRowCount,
-            liveTailRows: previous.descriptor.liveTailRows,
             verticalShiftRows: 0,
             safeVerticalShift: false,
             selectionRevision: this.#selectionRevision,
@@ -650,12 +706,8 @@ export class TranscriptViewport {
         this.#selectionRows = [...this.#selectionRows.slice(0, viewportHeight), ...dock].slice(0, boundedHeight);
         this.#copyableDockRows = copyableDockRowsBySuffix(dockRows, copyableDockRows);
         const frame = {
-            rows: [...previous.rows.slice(0, viewportHeight), ...dock].slice(0, boundedHeight),
-            contentWidth: previous.contentWidth,
-            scrollTop: previous.scrollTop,
-            maxScroll: previous.maxScroll,
-            followingEnd: previous.followingEnd,
-            hits: previous.hits,
+            ...previous,
+            rows: [...previous.rows.slice(0, viewportHeight), ...dock.map(row => row.replace(VIEWPORT_PROMPT_ZONES, ""))].slice(0, boundedHeight),
             descriptor,
             selectionDamage: {
                 revision: this.#selectionRevision,
@@ -710,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
@@ -752,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);
@@ -764,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;
@@ -787,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

@@ -229,7 +229,7 @@ The channels carry bounded generation-1 frames: a u32 little-endian length follo
 
 ### 6. Rendering, input, and outer-terminal fidelity
 
-- **Composition.** The attach client composes row 0 (the strip) and rows `1..N` (the viewed tab's surface). The tab PTY is sized `cols × (rows − 1)`. Ghostty remains the sole child-terminal parser. Its stream parser reports synchronized-output begin/end/reset boundaries to the holder, which keeps mutable parser state separate from an immutable committed surface and never publishes an open transaction. A non-renewable 250 ms deadline publishes one typed recovery commit for a malformed transaction. The outer composer owns the only synchronized envelope and falls back to a full repaint only when identity, geometry generation, dimensions, or the structured base changes.
+- **Composition.** The attach client composes row 0 (the strip) and rows `1..N` (the viewed tab's surface). The tab PTY is sized `cols × (rows − 1)`. Ghostty remains the sole child-terminal parser. Its stream parser reports synchronized-output begin/end/reset boundaries to the holder, which keeps mutable parser state separate from an immutable committed surface and never publishes an open transaction. A non-renewable 250 ms deadline publishes one typed recovery commit for a malformed transaction. On Windows, ConPTY re-renders the child's cells on its own schedule and relays the DEC 2026 markers when it parses them, so a render pass can land between a frame's markers and the rest of its cells can arrive after the end marker; the holder therefore treats a relayed end marker as "frame parsed", keeps the state private until the following render pass has arrived and settled for 2 ms, and publishes anyway after a 40 ms bound. A begin marker that arrives while that pass is still pending does not publish the torn state. Unix PTYs relay bytes verbatim, so their markers still delimit frames exactly. The outer composer owns the only synchronized envelope and falls back to a full repaint only when identity, geometry generation, dimensions, or the structured base changes.
 - **Outer modes.** The client negotiates the outer terminal's modes: raw mode, alternate screen, bracketed paste, focus events, SGR mouse, kitty keyboard protocol where available, and synchronized output.
   - Child-requested modes are tracked in the holder's model. Input is re-encoded per child mode by libghostty-vt, which the proof already does.
   - Mouse rows are offset by the strip. Row 0 belongs to the client.
@@ -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.
@@ -458,7 +458,7 @@ The v2 daemon was unreliable for structural reasons, and a forensic pass over it
 | Synchronous `taskkill` loops blocked the daemon for 30–60 s | Blocking kills on the event loop | Kills run asynchronously and concurrently, with deadlines. The loop keeps answering heartbeats. |
 | Blocked ConPTY writes stalled the loop, and keystrokes or pastes were silently dropped ("newest wins") | No flow control | A dedicated writer per holder with a bounded queue. Reserve capacity for a complete paste before delivery; reject an over-capacity paste visibly without delivering a prefix. After admission, preserve byte order and report delivery uncertainty if a child or process fails; never silently truncate or retry accepted bytes. |
 | Terminal queries (DA/DSR/CPR) were answered by the busy shared emulator, so children stalled | One emulator loop for all agents | Each holder answers its own tab's queries from its own model. |
-| Repaints arrived in fragments ("ghost frames"), patched with timing heuristics and two screen sources | Emulation reconciled with bridge surfaces by timers | One source of truth, the holder model. Frames are published at synchronized-output boundaries, with a bounded coalescing window. |
+| Repaints arrived in fragments ("ghost frames"), patched with timing heuristics and two screen sources | Emulation reconciled with bridge surfaces by timers | One source of truth, the holder model. Frames are published at synchronized-output boundaries, with a bounded coalescing window; where ConPTY relays those boundaries ahead of the cells it re-renders, publication waits for the render pass instead of the marker. |
 | A late exit event poisoned the replacement child | Events were not tied to an incarnation | Incarnation IDs on every event. Stale events are discarded. |
 | Resizes were lost in transit | Edge-triggered resize | Size is desired state, reconciled until observed. |
 | Restore spawned duplicate agents | No restore gate | A single start gate for crash restarts, at most one start in flight per tab, and conditional revisions. The duplicate-start invariant is checked in simulation. |
@@ -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/docs/architecture/response-copy-delivery.md

@@ -19,7 +19,7 @@ A generated probe on Windows Node 24.16.0 copied the same eight-character range
 - Copy: 5-second admission deadline, one executing request and one newest pending request, at most 16 MiB UTF-8 text. Source snapshots retain only selected rows, capped at 65,536 rows and 32 Mi UTF-16 code units; they do not keep an obsolete whole-transcript graph.
 - Paste: eight distinct admitted requests, a 5-second acquisition budget including the captured write wait, and a 15-second deadline through insertion. A canceled executor counts against capacity until its stop fence. Image conversion has one process-wide slot. Copy supersession is deliberately not used for paste edits.
 - Text transfer: 16 MiB UTF-8 cap; IPC fragments are at most 16,384 code units and preserve surrogate pairs. The receiver acknowledges each fragment. Prepared large text is stored behind the existing compact chip rather than inserted as millions of editor characters. Existing source-image, pixel, encoded-output and attachment-count limits remain unchanged.
-- Clipboard executors have a 250 ms stop grace. A helper that has already reported a complete prepared result and lingers past that grace is reaped, not canceled: it is still terminated, but its prepared text is delivered exactly rather than replaced with an empty payload. Only an explicit cancellation, a protocol violation, or an incomplete byte count discards prepared text. POSIX command fallbacks share the paste helper's isolated process group; strict command reads use a forceful kill signal. Unconfirmed executor termination retains its capacity instead of allowing unbounded replacements or late A1-controlled writes. No helper inherits the UI terminal or places clipboard payloads in argv, temporary files, or logs.
+- Clipboard executors have a 250 ms stop grace. A helper that has already reported a complete prepared result and lingers past that grace is reaped, not canceled: it is still terminated, but its prepared text is delivered exactly rather than replaced with an empty payload. Only an explicit cancellation, a protocol violation, or an incomplete byte count discards prepared text. POSIX command fallbacks share the paste helper's isolated process group; strict command reads use a forceful kill signal. Native POSIX copy writers (`wl-copy`, `xclip`, `pbcopy`) start detached in their own process group, as in pinned Pi 1.4, so a writer that daemonizes to keep serving the clipboard is not stopped when Ctrl+Z suspends A1. Unconfirmed executor termination retains its capacity instead of allowing unbounded replacements or late A1-controlled writes. No helper inherits the UI terminal or places clipboard payloads in argv, temporary files, or logs.
 - Local copy prefers native delivery outside the terminal. OSC 52 uses the existing writer only on a non-blocking supported output route and is capped at a complete 64 KiB control, or a lower advertised limit. Submission is not clipboard acknowledgment. Remote/multiplexed sessions never silently read or write a different host's clipboard. Native Ctrl+V acquisition is unavailable when only the remote terminal owns the desired clipboard; normal terminal-provided paste remains supported.
 - URL-chip decoration: at most 65,536 UTF-8 bytes of added OSC 8 metadata per editor render pass across rows and repeated occurrences, including opening/closing pairs and cleanup closes. Targets that do not fit are omitted whole before control construction; a UTF-16 length precheck avoids scanning huge backing values. The budget resets each pass. Full chip data, atomic editing and exact copy/history/submission expansion remain intact; ordinary in-budget links retain their targets. Terminal automatic URL recognition is separate from explicit metadata.
 - Path-list presentation: the isolated classifier budgets 4,096 UTF-16 units per paste for existing individual tags plus 20 suffix-reserve units per occurrence. Over-budget lists use one existing text-paste chip backed by all classified full paths concatenated in order, including repetitions, without extra separators or re-normalization. No individual members are adopted into the UI before compaction. Small lists retain their file/folder/image-file chips; failed/timed-out classification retains the existing original-text fallback. Existing draft/history chips and the synchronous compatibility classifier are unchanged.

package/docs/architecture/toolchain.md

@@ -34,9 +34,9 @@ It contains no executable built from A1 sources, separate session-lock addon, br
 
 ## Native addon layer
 
-`npm run doctor` reports this contract against the current machine—Node range, npm major, git, the GitHub CLI, Rust/Cargo, and whether `node_modules` matches the lockfile—and names the install command for anything missing. `npm run build` runs the same check as its first step, so an unmet prerequisite fails by name rather than inside a module resolver or Cargo. Unmet tool prerequisites block; a Node or npm version outside the declared contract is reported as an advisory without failing the build.
+`npm run doctor` reports this contract against the current machine—Node range, npm major, git, the GitHub CLI, Rust/Cargo, Windows Microsoft C++ readiness where applicable, and whether `node_modules` matches the lockfile—and names the explicit setup action for anything missing. `npm run build` resolves the same native environment and runs the check before cleaning or compiling, so an unmet prerequisite fails by name rather than inside a module resolver, Cargo, or the linker. Unmet tool prerequisites block; a Node or npm version outside the declared contract is reported as an advisory without failing the build.
 
-Source builds require Rust/Cargo 1.85 or newer; `rust-toolchain.toml` pins the exact version CI and publication install through `scripts/development/prepare-ci-rust.sh`, and rustup selects that version for Cargo commands inside the repository, installing it on first use. The Zig cache (`mlugg/setup-zig`, one entry per workflow and platform per run, bounded to 512 MiB) stays enabled: measured on 2026-10-16, a cold Zig build of `libghostty-vt` added about 40 to 60 seconds to a terminal-host test build (Linux 2m21s cold against 1m20s warm, Windows 2m05s against 1m26s), which the cache saves on every warm run.
+Source builds require Rust/Cargo 1.85 or newer; `rust-toolchain.toml` pins the exact version CI and publication install through `scripts/development/prepare-ci-rust.sh`, and rustup selects that version for Cargo commands inside the repository, installing it on first use. On Windows, the resolver honors explicit `CARGO` and `RUSTC` executables, then the launching `PATH`, then `%USERPROFILE%\.cargo\bin`; the fallback changes only build-child state. Windows native linking also requires Visual Studio or Visual Studio Build Tools with the Desktop development with C++ workload, MSVC x64/x86 tools, and a Windows SDK. Visual Studio Code is not a compiler prerequisite. An already valid developer environment is retained; otherwise the resolver uses the installed stable Visual Studio locator and `vcvars64.bat`, verifies that `cl.exe` and Microsoft's `link.exe` come from the selected VC tools, and passes the captured environment only to child processes. This prevents Git Bash's GNU `link.exe` from shadowing MSVC without changing persistent `PATH`. A1 never installs these tools, elevates privileges, or accepts licenses automatically. The Zig cache (`mlugg/setup-zig`, one entry per workflow and platform per run, bounded to 512 MiB) stays enabled: measured on 2026-10-16, a cold Zig build of `libghostty-vt` added about 40 to 60 seconds to a terminal-host test build (Linux 2m21s cold against 1m20s warm, Windows 2m05s against 1m26s), which the cache saves on every warm run.
 
 `npm run build` compiles `native/process-guardian` as the host platform's Node-API 9 addon, places `process-guardian.node` under `dist/native/<platform>-<architecture>/`, loads it to observe its version identity, and writes the v2 integrity manifest. It also builds the current platform's release-profile `terminal-host.node`, whose v2 manifest binds the addon, `dist/foundation/resident-tabs/host-entry.js`, and notices, so the ordinary `npm run build && ./scripts/dev` handoff exercises resident tabs without deployment. On Windows the normal build reuses a compatible ignored terminal-library cache or downloads the newest compatible library from the current branch or a successful CI run belonging to a pull request already merged into `develop`, then links it under the crate's manifest verification; it never silently invokes the quarantined Zig package fetch. An unavailable or mismatched prerequisite fails the build instead of leaving a nominally successful single-agent-only tree. The npm `prepare` lifecycle and validation preflight use the explicit core build because selected native lanes assemble and certify terminal hosts separately.