@deepseek-harness-tui/dsh-tui 0.10.2 → 0.11.1

package/lib/types/screens/SessionSupervisor.d.ts

@@ -0,0 +1,84 @@
+import React from 'react';
+import { SpinnerGlyph } from '../components/Spinner/SpinnerGlyph.js';
+import type { ApprovalSnapshot } from '../dsh-adapter/approvals.js';
+import type { TuiWorkspaceTarget } from '../workspaces.js';
+import type { ChannelUi as Channel } from '../adapter/channel/ui-policy.js';
+import { SupervisorLiveState, sessionMatchesQuery } from './sessionSupervisor/model.js';
+export { sessionMatchesQuery };
+/**
+ * The unified session screen — `/resume`, `/agentview`, `/home` and the 🏠
+ * button all land here.
+ *
+ * Those were three screens over one domain, which is why they kept needing
+ * patches to agree with each other. This is the single surface: the workspace
+ * rail on the left (the durable ledger a person manages — add, rename,
+ * remove), the sessions of the selected workspace on the right, and every
+ * session's LIVE state on its own row.
+ *
+ * The runtime it presents is a single model, and the screen is where that
+ * model becomes visible:
+ *
+ * - This terminal hosts many sessions at once. A row that is `working` keeps
+ *   working when you leave it — switching changes what you are looking at, it
+ *   does not stop anything. The parked rows stay in the list with a live
+ *   glyph, so "where did my other session go" has an answer on screen.
+ * - A session held by another TUI terminal is shown as OCCUPIED (red, with the
+ *   holder's pid) and cannot be entered. Two processes driving one
+ *   append-only session log would interleave its events, so the screen refuses
+ *   rather than races; the entry becomes available on its own once that
+ *   process exits, because occupancy is proven by liveness rather than by a
+ *   flag someone has to remember to clear.
+ *
+ * @param props - Channel, home directory, the opening/新 actions, and the live
+ *   state + occupancy lookups the screen renders from.
+ * @returns The screen, or null while the host has no channel to read.
+ */
+export declare function SessionSupervisor({ channel, home, onClose, onOpenSession, onNewSession, onStopSession, approval, onApprove, liveStateOf, }: {
+    channel: Channel;
+    /** Home directory, for collapsing paths to `~`. */
+    home: string;
+    /** Leave the screen and show the conversation. */
+    onClose(): void;
+    /** Mount a persisted session (the channel's unified resume path). */
+    onOpenSession(sessionId: string): Promise<boolean>;
+    /** Start a fresh session in the workspace at `path`. */
+    onNewSession(target: TuiWorkspaceTarget): Promise<boolean>;
+    /** Stop a background session of this terminal; false when it is not ours. */
+    onStopSession(sessionId: string): Promise<boolean>;
+    /**
+     * The parked approval ask (any session's), so a background session's
+     * permission prompt is answerable without leaving this screen — the one
+     * thing a parked session cannot wait indefinitely for.
+     */
+    approval: ApprovalSnapshot | null;
+    onApprove(outcome: 'allowed-once' | 'rejected'): void;
+    /**
+     * This terminal's live state for a session, or undefined when it has none.
+     * Read from the channel's agent-view projection so the list agrees with the
+     * overview's own rows by construction.
+     */
+    liveStateOf(sessionId: string): SupervisorLiveState | undefined;
+}): React.ReactNode;
+/**
+ * Scroll anchor for the rail: the first entry index to show.
+ *
+ * A pure helper (exported for the headless regression) because the rail's
+ * window has to hold the focused row without re-shuffling under a stationary
+ * cursor — the same anchoring rule the session list uses.
+ *
+ * `focus` is a plain entry index: the rail's rows ARE the ledger, so the cursor
+ * and the selection are one position and the window math takes that position
+ * directly. It used to be offset by the `+` row that led the rail, which is
+ * gone — a workspace joins the ledger by being a terminal's launch directory.
+ *
+ * `capacity` is a count of ENTRIES, not of terminal rows. It used to be handed
+ * the row count, which is wrong for this list in a way that hides the cursor:
+ * each entry is {@link WORKSPACE_ROW_LINES} rows tall, so treating rows as
+ * entries made the window believe it could show twice as many workspaces as it
+ * can, and the focused entry was simply clipped away by `overflow="hidden"`
+ * while the user navigated it blind.
+ */
+export declare function railWindowTop(focus: number, entryCount: number, capacity: number): number;
+/** Re-exported so a regression can drive the spinner without importing ink. */
+export { SpinnerGlyph };
+//# sourceMappingURL=SessionSupervisor.d.ts.map

package/lib/types/screens/SessionSupervisor.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"SessionSupervisor.d.ts","sourceRoot":"","sources":["../../../src/screens/SessionSupervisor.tsx"],"names":[],"mappings":"AAAA,OAAO,KAAiD,MAAM,OAAO,CAAA;AAarE,OAAO,EAAE,YAAY,EAAE,MAAM,uCAAuC,CAAA;AAEpE,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,6BAA6B,CAAA;AASnE,OAAO,KAAK,EAAqB,kBAAkB,EAAE,MAAM,kBAAkB,CAAA;AAC7E,OAAO,KAAK,EAAE,SAAS,IAAI,OAAO,EAAE,MAAM,iCAAiC,CAAA;AAE3E,OAAO,EAAkN,mBAAmB,EAAsD,mBAAmB,EAAE,MAAM,8BAA8B,CAAA;AAC3V,OAAO,EAAE,mBAAmB,EAAE,CAAA;AAE9B;;;;;;;;;;;;;;;;;;;;;;;;;;;GA2BG;AACH,wBAAgB,iBAAiB,CAAC,EAChC,OAAO,EACP,IAAI,EACJ,OAAO,EACP,aAAa,EACb,YAAY,EACZ,aAAa,EACb,QAAQ,EACR,SAAS,EACT,WAAW,GACZ,EAAE;IACD,OAAO,EAAE,OAAO,CAAA;IAChB,mDAAmD;IACnD,IAAI,EAAE,MAAM,CAAA;IACZ,kDAAkD;IAClD,OAAO,IAAI,IAAI,CAAA;IACf,qEAAqE;IACrE,aAAa,CAAC,SAAS,EAAE,MAAM,GAAG,OAAO,CAAC,OAAO,CAAC,CAAA;IAClD,wDAAwD;IACxD,YAAY,CAAC,MAAM,EAAE,kBAAkB,GAAG,OAAO,CAAC,OAAO,CAAC,CAAA;IAC1D,6EAA6E;IAC7E,aAAa,CAAC,SAAS,EAAE,MAAM,GAAG,OAAO,CAAC,OAAO,CAAC,CAAA;IAClD;;;;OAIG;IACH,QAAQ,EAAE,gBAAgB,GAAG,IAAI,CAAA;IACjC,SAAS,CAAC,OAAO,EAAE,cAAc,GAAG,UAAU,GAAG,IAAI,CAAA;IACrD;;;;OAIG;IACH,WAAW,CAAC,SAAS,EAAE,MAAM,GAAG,mBAAmB,GAAG,SAAS,CAAA;CAChE,GAAG,KAAK,CAAC,SAAS,CA8hBlB;AAED;;;;;;;;;;;;;;;;;;GAkBG;AACH,wBAAgB,aAAa,CAAC,KAAK,EAAE,MAAM,EAAE,UAAU,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,GAAG,MAAM,CAOzF;AAED,+EAA+E;AAC/E,OAAO,EAAE,YAAY,EAAE,CAAA"}

package/lib/types/screens/SessionSupervisor.js

@@ -0,0 +1,350 @@
+import { jsx as _jsx, jsxs as _jsxs } from "react/jsx-runtime";
+import React from 'react';
+import { Box, Text, useInput, useTerminalSize } from '../ui.js';
+import { t } from '../i18n.js';
+import { Divider } from '../components/design-system/Divider.js';
+import { HintLine } from '../components/design-system/HintLine.js';
+import { SearchBox } from '../components/SearchBox.js';
+import { PageInsetContext } from '../components/PageMargin.js';
+import { HomeWorkspaceRow } from '../components/workspaces/HomeWorkspaceRow.js';
+import { SessionListRow } from '../components/sessions/SessionListRow.js';
+import { SpinnerGlyph } from '../components/Spinner/SpinnerGlyph.js';
+import { ApprovalPanel } from '../components/approvals/ApprovalPanel.js';
+import { useTerminalFocus } from '../ink/hooks/use-terminal-focus.js';
+import { useAnimationFrame } from '../ink/hooks/use-animation-frame.js';
+import { isPlainReturn, isMod } from '../utils/modifiers.js';
+import { truncateWidth } from '../sessions/format.js';
+import { useSessionSupervisor } from './sessionSupervisor/useSessionSupervisor.js';
+import { SESSION_ROW_LINES, MENU_ACTIONS, MENU_WIDTH, MENU_HEIGHT, MENU_LABEL_KEYS, samePath, sessionMatchesQuery } from './sessionSupervisor/model.js';
+export { sessionMatchesQuery };
+/**
+ * The unified session screen — `/resume`, `/agentview`, `/home` and the 🏠
+ * button all land here.
+ *
+ * Those were three screens over one domain, which is why they kept needing
+ * patches to agree with each other. This is the single surface: the workspace
+ * rail on the left (the durable ledger a person manages — add, rename,
+ * remove), the sessions of the selected workspace on the right, and every
+ * session's LIVE state on its own row.
+ *
+ * The runtime it presents is a single model, and the screen is where that
+ * model becomes visible:
+ *
+ * - This terminal hosts many sessions at once. A row that is `working` keeps
+ *   working when you leave it — switching changes what you are looking at, it
+ *   does not stop anything. The parked rows stay in the list with a live
+ *   glyph, so "where did my other session go" has an answer on screen.
+ * - A session held by another TUI terminal is shown as OCCUPIED (red, with the
+ *   holder's pid) and cannot be entered. Two processes driving one
+ *   append-only session log would interleave its events, so the screen refuses
+ *   rather than races; the entry becomes available on its own once that
+ *   process exits, because occupancy is proven by liveness rather than by a
+ *   flag someone has to remember to clear.
+ *
+ * @param props - Channel, home directory, the opening/新 actions, and the live
+ *   state + occupancy lookups the screen renders from.
+ * @returns The screen, or null while the host has no channel to read.
+ */
+export function SessionSupervisor({ channel, home, onClose, onOpenSession, onNewSession, onStopSession, approval, onApprove, liveStateOf, }) {
+    const { columns, rows } = useTerminalSize();
+    const inset = React.useContext(PageInsetContext);
+    const isTerminalFocused = useTerminalFocus();
+    const { entries, sessions, loading, notice, setNotice, query, setQuery, holderOf, listedSessions, railEntries, countOf, railFocus, setRailFocus, setFocusSessionId, activePane, pins, menu, setMenu, rename, setRename, confirmRemove, setConfirmRemove, railRef, menuRef, queryRef, now, reload, selected, visibleSessions, sessionIndex, cardFocused, sessionAt, activateList, activateRail, railWidth, railVisible, sessionWidth, railEntryCapacity, sessionListHeight, persistPin, selectEntry, openSession, newSessionIn, renameEntry, removeEntry, stopSession, closeMenu, activateMenu, moveRail, moveSession, focusedSession, } = useSessionSupervisor({ channel, home, onOpenSession, onNewSession, onStopSession, liveStateOf, columns, rows });
+    useInput((input, key) => {
+        // Modal layers own the keyboard, in the same order they render.
+        if (rename !== undefined) {
+            if (key.escape) {
+                setRename(undefined);
+                return;
+            }
+            if (isPlainReturn(key)) {
+                const current = rename;
+                setRename(undefined);
+                renameEntry(current.path, current.draft);
+                return;
+            }
+            if (key.backspace || key.delete) {
+                setRename(current => (current === undefined ? current : { ...current, draft: current.draft.slice(0, -1) }));
+                return;
+            }
+            if (!isMod(key) && !key.meta && input && !key.return) {
+                const typed = input.replace(/[\r\n]+/gu, '');
+                if (typed !== '')
+                    setRename(current => (current === undefined ? current : { ...current, draft: current.draft + typed }));
+            }
+            return;
+        }
+        if (confirmRemove !== undefined) {
+            if (isPlainReturn(key)) {
+                const path = confirmRemove;
+                setConfirmRemove(undefined);
+                removeEntry(path);
+            }
+            else if (key.escape) {
+                setConfirmRemove(undefined);
+            }
+            return;
+        }
+        if (menuRef.current !== undefined) {
+            if (key.upArrow) {
+                const current = menuRef.current;
+                const next = { ...current, item: (current.item + MENU_ACTIONS.length - 1) % MENU_ACTIONS.length };
+                menuRef.current = next;
+                setMenu(next);
+            }
+            else if (key.downArrow) {
+                const current = menuRef.current;
+                const next = { ...current, item: (current.item + 1) % MENU_ACTIONS.length };
+                menuRef.current = next;
+                setMenu(next);
+            }
+            else if (isPlainReturn(key)) {
+                const current = menuRef.current;
+                const entry = railEntries.find(candidate => samePath(candidate.path, current.path));
+                if (entry !== undefined)
+                    activateMenu(entry, current.item);
+            }
+            else {
+                closeMenu();
+            }
+            return;
+        }
+        if (key.escape) {
+            if (notice !== undefined) {
+                setNotice(undefined);
+                return;
+            }
+            if (queryRef.current.length > 0) {
+                setQuery('');
+                return;
+            }
+            onClose();
+            return;
+        }
+        if (key.tab) {
+            // Shift+Tab keeps the keyboard route to the focused workspace's action
+            // menu. Plain Tab does nothing here: panes are chosen with ←/→ now, and
+            // Tab is the composer's business.
+            if (key.shift && activePane === 'rail') {
+                const entry = railEntries[railRef.current];
+                if (entry !== undefined) {
+                    const next = { path: entry.path, ...keyboardMenuAnchor, item: 0 };
+                    menuRef.current = next;
+                    setMenu(next);
+                }
+            }
+            return;
+        }
+        // ←/→ choose the column. There is exactly one `❯` on screen because exactly
+        // one column owns the keyboard, and this is what moves that ownership.
+        if (key.leftArrow) {
+            activateRail();
+            return;
+        }
+        if (key.rightArrow) {
+            activateList();
+            return;
+        }
+        if (key.upArrow || key.wheelUp) {
+            if (activePane === 'rail')
+                moveRail(-1);
+            else
+                moveSession(-1);
+            return;
+        }
+        if (key.downArrow || key.wheelDown) {
+            if (activePane === 'rail')
+                moveRail(1);
+            else
+                moveSession(1);
+            return;
+        }
+        if (key.pageUp || key.pageDown) {
+            if (activePane === 'list')
+                moveSession(key.pageDown ? 1 : -1);
+            else
+                moveRail(key.pageDown ? 1 : -1);
+            return;
+        }
+        // The filter is a LIVE query, not a mode you enter: this screen has no
+        // second cursor for a text seat, and the rail/list already own the arrows
+        // (a seat would have to relearn them). So printable input goes straight to
+        // the query — without this branch the box rendered, focused, and could never
+        // be typed into.
+        if (key.backspace || key.delete) {
+            setQuery(text => text.slice(0, -1));
+            return;
+        }
+        if (isMod(key) && input === 'n') {
+            const entry = railEntries[railRef.current];
+            if (entry !== undefined)
+                newSessionIn(entry);
+            return;
+        }
+        if (isMod(key) && input === 'l') {
+            void reload();
+            return;
+        }
+        if (isMod(key) && input === 'x') {
+            if (focusedSession !== undefined)
+                stopSession(focusedSession);
+            return;
+        }
+        if (isPlainReturn(key)) {
+            // Enter means "the thing the active column is showing": its action menu
+            // for a workspace, that session for the session list. Ctrl/Cmd+Enter keeps
+            // the old "start a session in this workspace" shortcut from either column.
+            // Row 0 of the list is the new-session card, so it starts a session
+            // instead of opening one.
+            if (activePane === 'list') {
+                if (sessionIndex === 0) {
+                    if (selected !== undefined)
+                        newSessionIn(selected);
+                    return;
+                }
+                // `sessionIndex` is derived from the SAME focus fact the render draws
+                // `❯` from, so Enter can only ever open the row the user is looking at.
+                const session = sessionAt(sessionIndex);
+                if (session !== undefined)
+                    openSession(session);
+                return;
+            }
+            const entry = railEntries[railRef.current];
+            if (entry === undefined)
+                return;
+            if (key.ctrl || key.meta) {
+                newSessionIn(entry);
+                return;
+            }
+            const next = { path: entry.path, ...keyboardMenuAnchor, item: 0 };
+            menuRef.current = next;
+            setMenu(next);
+            return;
+        }
+        // Reached only when nothing above claimed the key: printable characters
+        // refine the filter. Control bytes are dropped so a terminal reporting an
+        // unknown key cannot type an invisible glyph into the query.
+        if (!isMod(key) && !key.meta && !key.super && input && !key.return) {
+            const typed = input.replace(/\p{Cc}/gu, '');
+            if (typed.length > 0)
+                setQuery(text => text + typed);
+        }
+    });
+    // Working rows animate their glyph. The shared clock only runs while at
+    // least one row is working, so an idle screen costs no extra ticks.
+    const workingCount = listedSessions.filter(session => liveStateOf(session.id)?.status === 'working').length;
+    const [, spinnerTime] = useAnimationFrame(workingCount > 0 ? 120 : null);
+    const spinnerFrame = Math.floor(spinnerTime / 120);
+    const railHint = rename !== undefined
+        ? t('home-hint-rename')
+        : confirmRemove !== undefined
+            ? t('home-hint-confirm-remove')
+            : menu !== undefined
+                ? t('home-hint-menu')
+                : activePane === 'rail'
+                    ? t('home-hint-list')
+                    : t('supervisor-hint-list');
+    const railWindowTopIndex = railWindowTop(railFocus, railEntries.length, railEntryCapacity);
+    const visibleRailRows = railEntries.slice(railWindowTopIndex, railWindowTopIndex + railEntryCapacity);
+    /** Content-local anchor for a keyboard-opened menu (screen coords minus inset). */
+    const keyboardMenuAnchor = { col: inset.x + 2, row: inset.y + 3 };
+    const filtered = query.trim().length > 0;
+    // Scroll window over the session rows, keeping the focused row visible
+    // without re-shuffling the list under a stationary cursor.
+    //
+    // The new-session card is a permanent row above this window, so the window is
+    // one card shorter and the cursor is expressed in the FULL list's space (card =
+    // 0): without that offset the window kept its old height and the cursor could
+    // land on a row that never made it on screen — a `❯` on an invisible row.
+    const capacity = Math.max(1, Math.floor(sessionListHeight / SESSION_ROW_LINES));
+    const sessionCapacity = Math.max(1, capacity - 1);
+    let sessionTop = Math.min(Math.max(0, sessionIndex - 1 - sessionCapacity + 1), Math.max(0, visibleSessions.length - sessionCapacity));
+    if (sessionIndex - 1 < sessionTop)
+        sessionTop = Math.max(0, sessionIndex - 1);
+    const visibleSessionRows = visibleSessions.slice(sessionTop, sessionTop + sessionCapacity);
+    const liveCount = listedSessions.filter(session => liveStateOf(session.id)?.live === true).length;
+    return (_jsxs(Box, { flexDirection: "column", width: columns, height: rows, onClick: menu !== undefined ? closeMenu : undefined, children: [_jsxs(Box, { height: 1, flexShrink: 0, overflow: "hidden", children: [_jsx(Text, { color: "remember", bold: true, children: ` ▣ ${t('supervisor-title')}` }), _jsx(Text, { dimColor: true, children: `  ${t('supervisor-subtitle')}` })] }), _jsx(Divider, { bleed: true }), _jsxs(Box, { flexDirection: "row", flexGrow: 1, flexShrink: 1, overflow: "hidden", children: [railVisible && (_jsxs("ink-box", { style: { flexDirection: 'column', width: railWidth, height: '100%', flexShrink: 0, overflow: 'hidden' }, onClick: activateRail, onMouseEnter: activateRail, onWheel: (event) => {
+                            moveRail(event.deltaY >= 0 ? 1 : -1);
+                        }, children: [_jsx(Box, { height: 1, flexShrink: 0, overflow: "hidden", paddingX: 1, children: _jsx(Text, { dimColor: true, children: truncateWidth(t('home-section-workspaces', { n: railEntries.length }), railWidth - 2) }) }), !loading && railEntries.length === 0 && (_jsx(Box, { paddingX: 1, children: _jsx(Text, { dimColor: true, italic: true, wrap: "truncate-end", children: truncateWidth(t('home-no-workspaces'), railWidth - 2) }) })), visibleRailRows.map((entry) => {
+                                const absolute = railEntries.indexOf(entry);
+                                return (_jsx(HomeWorkspaceRow, { title: entry.title, path: entry.path, home: home, sessionCount: countOf(entry), present: entry.present, selected: selected !== undefined && selected.id === entry.id, focused: activePane === 'rail' && railFocus === absolute, width: railWidth, onSelect: (event) => {
+                                        event.stopImmediatePropagation();
+                                        railRef.current = absolute;
+                                        setRailFocus(absolute);
+                                        selectEntry(entry);
+                                    }, onMenu: (event) => {
+                                        event.stopImmediatePropagation();
+                                        railRef.current = absolute;
+                                        setRailFocus(absolute);
+                                        const next = { path: entry.path, col: event.col, row: event.row, item: 0 };
+                                        menuRef.current = next;
+                                        setMenu(next);
+                                    } }, entry.id));
+                            }), _jsx(Box, { flexGrow: 1 }), _jsx(Box, { flexShrink: 0, paddingX: 1, children: _jsx(Text, { dimColor: true, italic: true, children: _jsx(HintLine, { text: railHint }) }) })] })), railVisible && (_jsx(Box, { width: 1, flexShrink: 0, flexDirection: "column", children: _jsx(Text, { dimColor: true, children: '│' }) })), _jsxs(Box, { flexDirection: "column", width: sessionWidth, height: "100%", flexShrink: 0, overflow: "hidden", onClick: activateList, onMouseEnter: activateList, children: [_jsx(Box, { height: 1, flexShrink: 0, overflow: "hidden", children: _jsxs(Box, { flexShrink: 1, overflow: "hidden", children: [_jsx(Text, { color: "remember", bold: true, children: truncateWidth(` ${t('home-sessions-title', { name: selected?.title ?? t('supervisor-title') })}`, Math.max(4, sessionWidth - 3)) }), _jsx(Text, { dimColor: true, children: `  ${truncateWidth(t('supervisor-counts', { working: workingCount, live: liveCount, total: visibleSessions.length }), Math.max(4, sessionWidth - 3))}` })] }) }), _jsx(Box, { height: 1, flexShrink: 0, paddingX: 1, children: _jsx(SearchBox, { query: query, isFocused: activePane === 'list', isTerminalFocused: isTerminalFocused, placeholder: truncateWidth(t('supervisor-filter-placeholder'), Math.max(8, sessionWidth - 6)), prefix: "/", borderless: true, width: Math.max(8, sessionWidth - 2) }) }), _jsxs(Box, { flexDirection: "column", flexShrink: 0, onClick: (event) => {
+                                    event.stopImmediatePropagation();
+                                    if (selected !== undefined)
+                                        newSessionIn(selected);
+                                }, children: [_jsxs(Box, { height: 1, flexShrink: 0, overflow: "hidden", children: [_jsx(Text, { color: cardFocused ? 'success' : 'subtle', children: cardFocused ? '❯ ' : '  ' }), _jsx(Text, { color: cardFocused ? 'success' : undefined, bold: cardFocused, children: t('supervisor-new-session') })] }), _jsx(Box, { height: 1, flexShrink: 0, overflow: "hidden", children: _jsx(Text, { dimColor: true, children: `  ${truncateWidth(t('supervisor-new-session-hint', { name: selected?.title ?? t('supervisor-title') }), Math.max(8, sessionWidth - 3))}` }) })] }), _jsxs("ink-box", { style: { flexDirection: 'column', flexGrow: 1, flexShrink: 1, overflow: 'hidden' }, onWheel: (event) => {
+                                    moveSession(event.deltaY >= 0 ? 1 : -1);
+                                }, children: [loading && _jsx(Text, { dimColor: true, italic: true, children: ` ${truncateWidth(t('home-sessions-loading'), sessionWidth - 2)}` }), !loading && visibleSessions.length === 0 && (_jsx(Text, { dimColor: true, italic: true, children: ` ${truncateWidth(filtered ? t('supervisor-no-matches') : t('home-no-sessions'), sessionWidth - 2)}` })), visibleSessionRows.map((session, index) => {
+                                        const state = liveStateOf(session.id);
+                                        const holder = holderOf(session.id);
+                                        return (_jsx(SessionListRow, { session: session, width: sessionWidth, depth: 0, focused: activePane === 'list' && sessionTop + index + 1 === sessionIndex, pinned: pins.has(session.id), now: now, liveStatus: state?.live === true ? state.status : undefined, current: state?.current === true, occupiedPid: holder, spinner: { frame: spinnerFrame, time: spinnerTime }, onClick: (event) => {
+                                                event.stopImmediatePropagation();
+                                                setFocusSessionId(session.id);
+                                                openSession(session);
+                                            }, onTogglePin: () => {
+                                                setFocusSessionId(session.id);
+                                                persistPin(session.id, !pins.has(session.id));
+                                            }, onContextMenu: (event) => {
+                                                setFocusSessionId(session.id);
+                                                const entry = selected;
+                                                if (entry === undefined)
+                                                    return;
+                                                const next = { path: entry.path, col: event.col, row: event.row, item: 0 };
+                                                menuRef.current = next;
+                                                setMenu(next);
+                                            } }, session.id));
+                                    })] }), _jsx(Box, { flexShrink: 0, height: 1, overflow: "hidden", children: _jsx(Text, { color: notice?.tone === 'error' ? 'error' : 'success', children: notice === undefined ? ' ' : ` ${truncateWidth(notice.text, Math.max(0, sessionWidth - 3))}` }) }), _jsx(Box, { flexShrink: 0, children: _jsx(Text, { dimColor: true, italic: true, children: _jsx(HintLine, { text: filtered ? t('supervisor-hint-filter') : t('supervisor-hint-list') }) }) })] })] }), rename !== undefined && (_jsx(Box, { height: 1, flexShrink: 0, children: _jsx(SearchBox, { query: rename.draft, isFocused: true, isTerminalFocused: isTerminalFocused, placeholder: t('home-rename-placeholder'), prefix: "\u270E", borderless: true, width: "100%" }) })), confirmRemove !== undefined && (_jsx(Box, { flexShrink: 0, paddingX: 1, onClick: () => {
+                    const path = confirmRemove;
+                    setConfirmRemove(undefined);
+                    removeEntry(path);
+                }, children: _jsx(Text, { color: "error", children: truncateWidth(` ${t('home-remove-title', { name: railEntries.find(entry => samePath(entry.path, confirmRemove))?.title ?? confirmRemove })} · ${t('home-remove-detail')}`, columns - 3) }) })), menu !== undefined && (_jsx(Box, { position: "absolute", left: Math.max(0, Math.min(menu.col - inset.x + 1, Math.max(0, columns - MENU_WIDTH))), top: Math.max(0, Math.min(menu.row - inset.y + 1, Math.max(0, rows - MENU_HEIGHT))), width: MENU_WIDTH, height: MENU_HEIGHT, flexDirection: "column", flexShrink: 0, borderStyle: "round", borderColor: "permission", backgroundColor: "toolCardBackground", children: MENU_ACTIONS.map((action, index) => (_jsx(Box, { height: 1, flexShrink: 0, backgroundColor: index === menu.item ? 'userMessageBackgroundHover' : undefined, onMouseEnter: () => setMenu(current => (current === undefined ? current : { ...current, item: index })), onClick: (event) => {
+                        event.stopImmediatePropagation();
+                        const entry = railEntries.find(candidate => samePath(candidate.path, menu.path));
+                        if (entry !== undefined)
+                            activateMenu(entry, index);
+                    }, children: _jsx(Text, { color: action === 'remove' ? 'error' : undefined, children: ` ${index === menu.item ? '❯' : ' '} ${t(MENU_LABEL_KEYS[action])}` }) }, action))) })), approval !== null && (_jsx(Box, { flexShrink: 0, flexDirection: "column", position: "absolute", bottom: 1, left: 0, width: columns, children: _jsx(ApprovalPanel, { approval: approval, background: approval.agentId !== channel.agentId, onDecide: onApprove }) }))] }));
+}
+/**
+ * Scroll anchor for the rail: the first entry index to show.
+ *
+ * A pure helper (exported for the headless regression) because the rail's
+ * window has to hold the focused row without re-shuffling under a stationary
+ * cursor — the same anchoring rule the session list uses.
+ *
+ * `focus` is a plain entry index: the rail's rows ARE the ledger, so the cursor
+ * and the selection are one position and the window math takes that position
+ * directly. It used to be offset by the `+` row that led the rail, which is
+ * gone — a workspace joins the ledger by being a terminal's launch directory.
+ *
+ * `capacity` is a count of ENTRIES, not of terminal rows. It used to be handed
+ * the row count, which is wrong for this list in a way that hides the cursor:
+ * each entry is {@link WORKSPACE_ROW_LINES} rows tall, so treating rows as
+ * entries made the window believe it could show twice as many workspaces as it
+ * can, and the focused entry was simply clipped away by `overflow="hidden"`
+ * while the user navigated it blind.
+ */
+export function railWindowTop(focus, entryCount, capacity) {
+    const entries = Math.max(1, capacity);
+    if (focus < 0)
+        return 0;
+    let top = Math.max(0, focus - entries + 1);
+    if (focus < top)
+        top = focus;
+    if (focus >= top + entries)
+        top = focus - entries + 1;
+    return Math.min(top, Math.max(0, entryCount - entries));
+}
+/** Re-exported so a regression can drive the spinner without importing ink. */
+export { SpinnerGlyph };

package/lib/types/screens/SessionTree.js

@@ -335,8 +335,8 @@ export function SessionTree({ channel, currentSessionId, onClose, onRestoreText,
             askAdopt(entry);
     };
     // ── Keyboard ────────────────────────────────────────────────────────────
-    // Keys are read through refs for the same reason SessionBrowser does it:
-    // several key events can arrive in one stdin chunk before React re-renders.
+    // Keys are read through refs for the same reason the other keyed screens do
+    // it: several key events can arrive in one stdin chunk before React re-renders.
     const focusIndexRef = React.useRef(focusIndex);
     focusIndexRef.current = focusIndex;
     const visibleRef = React.useRef(visible);

package/lib/types/screens/Settings.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"Settings.d.ts","sourceRoot":"","sources":["../../../src/screens/Settings.tsx"],"names":[],"mappings":"AAAA,OAAO,KAAK,MAAM,OAAO,CAAA;AAczB,OAAO,KAAK,EAAE,SAAS,IAAI,OAAO,EAAE,MAAM,iCAAiC,CAAA;AAuP3E;;;;;;;;;;;;;;GAcG;AACH,wBAAgB,QAAQ,CAAC,EACvB,OAAO,EACP,OAAO,GACR,EAAE;IACD,OAAO,EAAE,OAAO,CAAA;IAChB,OAAO,EAAE,MAAM,IAAI,CAAA;CACpB,GAAG,KAAK,CAAC,SAAS,CAgiBlB"}
+{"version":3,"file":"Settings.d.ts","sourceRoot":"","sources":["../../../src/screens/Settings.tsx"],"names":[],"mappings":"AAAA,OAAO,KAAK,MAAM,OAAO,CAAA;AAczB,OAAO,KAAK,EAAE,SAAS,IAAI,OAAO,EAAE,MAAM,iCAAiC,CAAA;AAuP3E;;;;;;;;;;;;;;GAcG;AACH,wBAAgB,QAAQ,CAAC,EACvB,OAAO,EACP,OAAO,GACR,EAAE;IACD,OAAO,EAAE,OAAO,CAAA;IAChB,OAAO,EAAE,MAAM,IAAI,CAAA;CACpB,GAAG,KAAK,CAAC,SAAS,CAojBlB"}

package/lib/types/screens/Settings.js

@@ -96,8 +96,8 @@ function CardRow({ children, highlight, color = CARD_BORDER, }) {
  * their `*` / badge feedback.
  */
 export function Settings({ channel, onClose, }) {
-    // Explicit terminal size (not flexGrow) — the same rule SessionBrowser's
-    // root follows inside the alternate screen's fixed-height box.
+    // Explicit terminal size (not flexGrow) — the same rule the full-screen
+    // session views follow inside the alternate screen's fixed-height box.
     const { columns, rows } = useTerminalSize();
     // channel caches the host — a fresh object per call would re-fire the
     // host-keyed effects below on every render (an endless render loop).
@@ -308,7 +308,7 @@ export function Settings({ channel, onClose, }) {
                 setEditing(state => state === null ? null : { ...state, draft: state.draft.slice(0, -1) });
             }
             else if (!isMod(key) && !key.meta && !key.super && input && !key.return) {
-                // Only real characters reach the draft (see SessionBrowser's query).
+                // Only real characters reach the draft (see the supervisor's filter).
                 const typed = input.replace(/\p{Cc}/gu, '');
                 if (typed.length > 0) {
                     setEditing(state => state === null ? null : { ...state, draft: state.draft + typed });
@@ -504,10 +504,22 @@ export function Settings({ channel, onClose, }) {
         }
     }
     // Focus-follow window: keep the focused entry fully inside the viewport.
+    // The card chrome rows (top border + title, bottom border, section gaps)
+    // carry no focus, so the follow rules alone can push them out of the window
+    // at the ends of the scroll range — the clamp below keeps the window inside
+    // the list's physical bounds, and pins it there while the focus sits at
+    // either end of the focus order.
     let totalLines = 0;
     let focusedOffset = 0;
     let focusedLines = 1;
+    let firstFocusOffset;
+    let lastFocusOffset;
     for (const entry of entries) {
+        if (entry.focus !== undefined) {
+            if (firstFocusOffset === undefined)
+                firstFocusOffset = totalLines;
+            lastFocusOffset = totalLines;
+        }
         if (entry.focus === effFocus) {
             focusedOffset = totalLines;
             focusedLines = entry.lines;
@@ -518,15 +530,26 @@ export function Settings({ channel, onClose, }) {
     // permanent (blank while quiet) so a save/discard toast never shifts the
     // list above it.
     const viewport = Math.max(1, rows - 4);
+    const maxStart = Math.max(0, totalLines - viewport);
     React.useEffect(() => {
         setWindowStart(start => {
-            if (focusedOffset < start)
-                return focusedOffset;
-            if (focusedOffset + focusedLines > start + viewport)
-                return focusedOffset + focusedLines - viewport;
-            return start;
+            let next = Math.min(Math.max(0, start), maxStart);
+            if (focusedOffset < next)
+                next = focusedOffset;
+            if (focusedOffset + focusedLines > next + viewport)
+                next = focusedOffset + focusedLines - viewport;
+            // Focus at either end of the focus order pins the window to the list's
+            // edge (the card title / bottom border stay visible once the scroll
+            // bottoms out) — but only while the focused row stays inside the pinned
+            // window: a viewport too small for the edge must keep hiding chrome
+            // rather than ever hiding the focus.
+            if (firstFocusOffset !== undefined && focusedOffset <= firstFocusOffset && focusedOffset + focusedLines <= viewport)
+                return 0;
+            if (lastFocusOffset !== undefined && focusedOffset >= lastFocusOffset && focusedOffset >= maxStart)
+                return maxStart;
+            return next;
         });
-    }, [focusedOffset, focusedLines, viewport]);
+    }, [focusedOffset, focusedLines, viewport, maxStart, firstFocusOffset, lastFocusOffset]);
     let entryOffset = 0;
     const visible = entries.filter(entry => {
         const start = entryOffset;

package/lib/types/screens/StatusLine.d.ts

@@ -1,10 +1,14 @@
 import React from 'react';
+import { type ActivityLineValue } from '../components/ActivityLine.js';
 import type { ChannelUi as Channel } from '../adapter/channel/ui-policy.js';
 import type { WaveBand } from '../dsh-adapter/types.js';
-export declare function StatusLine({ channel, selectionActive, helpOpen, wake, }: {
+export declare function StatusLine({ channel, selectionActive, helpOpen, wake, activity: projectedActivity, }: {
     channel: Channel;
     selectionActive?: boolean;
     helpOpen?: boolean;
+    /** Activity value published by the working-activity plugin for this session.
+     *  Preferred over the channel's own copy when the composition provides it. */
+    activity?: ActivityLineValue;
     /**
      * The session projected onto the status line's few columns, plus the
      * animation tick and the self-retiring key hint.
@@ -27,5 +31,18 @@ type UsageSnapshot = {
 };
 /** Return the prompt-cache hit rate, or nothing when usage is unavailable. */
 export declare function formatCacheHitRate(usage: UsageSnapshot | undefined): string | undefined;
+/**
+ * The prompt footer's live IDE-selection badge (T-FIX-02), mirroring Claude
+ * Code's `⧉ N lines selected`: English only (like every other footer field),
+ * singular/plural aware, line count from the snapshot's 0-based inclusive
+ * range. `undefined` (no IDE yet / cleared by an isEmpty notification)
+ * renders no field at all — a manually launched session never shows a
+ * placeholder. Exported for scripts/verify-ide-channel.tsx.
+ */
+export declare function formatSelectionBadge(selection: {
+    startLine: number;
+    endLine: number;
+    isEmpty?: boolean;
+} | undefined): string | undefined;
 export {};
 //# sourceMappingURL=StatusLine.d.ts.map

package/lib/types/screens/StatusLine.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"StatusLine.d.ts","sourceRoot":"","sources":["../../../src/screens/StatusLine.tsx"],"names":[],"mappings":"AAAA,OAAO,KAAK,MAAM,OAAO,CAAA;AAczB,OAAO,KAAK,EAAE,SAAS,IAAI,OAAO,EAAE,MAAM,iCAAiC,CAAA;AAe3E,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,yBAAyB,CAAA;AAoHvD,wBAAgB,UAAU,CAAC,EACzB,OAAO,EACP,eAAuB,EACvB,QAAgB,EAChB,IAAI,GACL,EAAE;IACD,OAAO,EAAE,OAAO,CAAA;IAChB,eAAe,CAAC,EAAE,OAAO,CAAA;IACzB,QAAQ,CAAC,EAAE,OAAO,CAAA;IAClB;;;;;;;;OAQG;IACH,IAAI,CAAC,EAAE;QAAE,IAAI,EAAE,QAAQ,CAAC;QAAC,IAAI,CAAC,EAAE,MAAM,CAAC;QAAC,IAAI,EAAE,MAAM,CAAA;KAAE,CAAA;CACvD,qBAoZA;AAED,KAAK,aAAa,GAAG;IACnB,KAAK,EAAE,MAAM,CAAA;IACb,SAAS,EAAE,MAAM,CAAA;IACjB,UAAU,EAAE,MAAM,CAAA;CACnB,CAAA;AAuKD,8EAA8E;AAC9E,wBAAgB,kBAAkB,CAAC,KAAK,EAAE,aAAa,GAAG,SAAS,GAAG,MAAM,GAAG,SAAS,CAKvF"}
+{"version":3,"file":"StatusLine.d.ts","sourceRoot":"","sources":["../../../src/screens/StatusLine.tsx"],"names":[],"mappings":"AAAA,OAAO,KAAK,MAAM,OAAO,CAAA;AAOzB,OAAO,EAAoC,KAAK,iBAAiB,EAAE,MAAM,+BAA+B,CAAA;AAOxG,OAAO,KAAK,EAAE,SAAS,IAAI,OAAO,EAAE,MAAM,iCAAiC,CAAA;AAkB3E,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,yBAAyB,CAAA;AAqHvD,wBAAgB,UAAU,CAAC,EACzB,OAAO,EACP,eAAuB,EACvB,QAAgB,EAChB,IAAI,EACJ,QAAQ,EAAE,iBAAiB,GAC5B,EAAE;IACD,OAAO,EAAE,OAAO,CAAA;IAChB,eAAe,CAAC,EAAE,OAAO,CAAA;IACzB,QAAQ,CAAC,EAAE,OAAO,CAAA;IAClB;kFAC8E;IAC9E,QAAQ,CAAC,EAAE,iBAAiB,CAAA;IAC5B;;;;;;;;OAQG;IACH,IAAI,CAAC,EAAE;QAAE,IAAI,EAAE,QAAQ,CAAC;QAAC,IAAI,CAAC,EAAE,MAAM,CAAC;QAAC,IAAI,EAAE,MAAM,CAAA;KAAE,CAAA;CACvD,qBA8ZA;AAED,KAAK,aAAa,GAAG;IACnB,KAAK,EAAE,MAAM,CAAA;IACb,SAAS,EAAE,MAAM,CAAA;IACjB,UAAU,EAAE,MAAM,CAAA;CACnB,CAAA;AA4KD,8EAA8E;AAC9E,wBAAgB,kBAAkB,CAAC,KAAK,EAAE,aAAa,GAAG,SAAS,GAAG,MAAM,GAAG,SAAS,CAKvF;AAED;;;;;;;GAOG;AACH,wBAAgB,oBAAoB,CAClC,SAAS,EACL;IAAE,SAAS,EAAE,MAAM,CAAC;IAAC,OAAO,EAAE,MAAM,CAAC;IAAC,OAAO,CAAC,EAAE,OAAO,CAAA;CAAE,GACzD,SAAS,GACZ,MAAM,GAAG,SAAS,CAIpB"}