@pugi/cli 0.1.0-alpha.5 → 0.1.0-alpha.7

package/dist/tui/input-box.js

@@ -1,30 +1,133 @@
 import { jsx as _jsx, jsxs as _jsxs } from "react/jsx-runtime";
 /**
- * REPL input box - Sprint α5.7 (ADR-0056 acceptance #5, #9).
+ * REPL input box - Sprint α6.14 (REPL UX P0 wave 1).
  *
- * Single-line input with:
- *   - history navigation (↑/↓)
- *   - slash command palette suggestion when the line starts with `/`
- *   - Enter submits the line
- *   - Esc clears the current line
- *   - Ctrl+C once cancels current line; twice within 1s exits the REPL
+ * Bordered, cursor-aware input box matching Claude Code / Codex CLI
+ * aesthetics. Layered upgrade over α5.7:
  *
- * The component owns the cursor + history state. Submission is passed
- * to the REPL root via the `onSubmit` callback; the root forwards to
- * `ReplSession.handleInput`. Ctrl+C double-tap is also surfaced via a
- * dedicated `onExit` callback so the REPL root can stop Ink and let
- * the runtime exit gracefully.
+ *   - Top divider (full-width cyan rule) anchors the input below the
+ *     main pane and gives the operator a clear visual seam.
+ *   - Rounded cyan border wraps the prompt + line + cursor.
+ *   - Cursor follows the caret position (left/right arrows + Home/End
+ *     reposition without losing the trailing text).
+ *   - Single-arrow `›` prompt in brand cyan; dim continuation prompt
+ *     `┊` when the input wraps past the available width so the operator
+ *     sees that they are still inside one logical line.
+ *   - History navigation (↑/↓), slash palette inline suggestion, Esc
+ *     cancel, Ctrl+C ×2 exit remain wired identically to α5.7.
+ *
+ * State that belongs in this component:
+ *   - `line` (string)             - current buffer
+ *   - `cursor` (number)           - caret offset into `line`
+ *   - `history` (string[])        - session-local; persistence lands in
+ *                                   commit 2 (per-workspace JSONL).
+ *   - `historyIndex` (number)     - -1 when not navigating
+ *
+ * Brand voice gate: no forbidden words. ASCII-only glyphs.
  */
-import { useState } from 'react';
-import { Box, Text, useInput } from 'ink';
-import { matchSlashPrefix } from '../core/repl/slash-commands.js';
+import { useEffect, useMemo, useRef, useState } from 'react';
+import { Box, Text, useInput, useStdout } from 'ink';
+import { append as appendHistory, read as readHistory, } from '../core/repl/history.js';
+import { applyQuery, currentBrief, cycle, initialSearchState, } from '../core/repl/history-search.js';
+import { SlashPalette, completePalette, filterPalette, } from './slash-palette.js';
+import { EMPTY_KILL_RING, killToLineEnd, killToLineStart, killWordBackward, yankAtCursor, } from '../core/repl/kill-ring.js';
+import { readClipboard } from '../core/repl/clipboard-read.js';
 const CTRL_C_DOUBLE_TAP_MS = 1_000;
+/** Width subtracted from the terminal width so the border + padding fit. */
+const FRAME_OVERHEAD_COLUMNS = 4;
+/** Fallback width when ink cannot read stdout (e.g. test harness). */
+const FALLBACK_COLUMNS = 80;
+/** Cursor blink interval (ms). 530ms matches the GNOME / iTerm2 default. */
+const CURSOR_BLINK_MS = 530;
+/**
+ * Strip ANSI escape sequences, bracketed-paste markers, and C0 control
+ * bytes (except `\n` and `\t`) from clipboard text before splicing it
+ * into the buffer. Keystroke input never reaches the input box with
+ * escapes (ink filters them), so the buffer assumes printable text +
+ * the two whitespace forms we preserve. Clipboard text bypasses ink's
+ * filter, so we re-apply the same constraint here to neutralise any
+ * escape sequence a hostile or accidental copy might carry into the
+ * operator's terminal.
+ */
+export function sanitiseClipboardText(raw) {
+    return raw
+        .replace(/\x1b\[200~/g, '')
+        .replace(/\x1b\[201~/g, '')
+        .replace(/\x1b\[[0-9;?]*[A-Za-z]/g, '')
+        .replace(/\x1b\][^\x07\x1b]*(?:\x07|\x1b\\)/g, '')
+        .replace(/[\x00-\x08\x0b\x0c\x0e-\x1f\x7f]/g, '');
+}
 export function InputBox(props) {
+    // Seed history from disk on mount so the operator can ↑ to last
+    // session's brief immediately. Memoised so we read the file once per
+    // workspace, not on every render.
+    const seededHistory = useMemo(() => {
+        if (!props.workspaceSlug)
+            return [];
+        const entries = readHistory({
+            home: props.historyHome,
+            workspaceSlug: props.workspaceSlug,
+        });
+        return entries.map((e) => e.brief);
+    }, [props.workspaceSlug, props.historyHome]);
     const [line, setLine] = useState(props.initial ?? '');
-    const [history, setHistory] = useState([]);
+    const [cursor, setCursor] = useState(props.initial?.length ?? 0);
+    const [history, setHistory] = useState(seededHistory);
     const [historyIndex, setHistoryIndex] = useState(-1);
     const [lastCtrlCAt, setLastCtrlCAt] = useState(undefined);
+    const [cursorVisible, setCursorVisible] = useState(true);
+    // Ctrl+R / Ctrl+S reverse-search mode. Undefined when idle, a
+    // HistorySearchState while the operator is searching.
+    const [search, setSearch] = useState(undefined);
+    // Draft preserved while the operator searches so Esc returns the
+    // pre-search buffer instead of dropping it on the floor.
+    const [draftBeforeSearch, setDraftBeforeSearch] = useState('');
+    // Slash palette state. When the buffer starts with `/` the palette
+    // renders, ↑/↓ selects a row, Tab autocompletes, Enter runs.
+    const [paletteIndex, setPaletteIndex] = useState(0);
+    // Operator-toggled palette suppression. Esc closes the palette
+    // without clearing the buffer (useful for `/help` text dispatch).
+    const [paletteSuppressed, setPaletteSuppressed] = useState(false);
+    // Readline-style kill ring backing Ctrl+U / Ctrl+K / Ctrl+W / Ctrl+Y.
+    const [killRing, setKillRing] = useState(EMPTY_KILL_RING);
+    // Soft counter; bumping forces Ink to re-render the surrounding
+    // panes when Ctrl+L wipes the terminal (the parent React tree is
+    // otherwise stable and would not redraw on a stdout.write alone).
+    const [, setRedrawTick] = useState(0);
     const now = props.now ?? Date.now;
+    const { stdout } = useStdout();
+    const columns = stdout?.columns ?? FALLBACK_COLUMNS;
+    const innerWidth = Math.max(20, columns - FRAME_OVERHEAD_COLUMNS);
+    // Refs mirror the latest committed line + cursor so the async clipboard
+    // paste handler can splice against current values without re-entering
+    // React's setState updater (which strict mode invokes twice and would
+    // double-insert the pasted text). The setState updater pattern used to
+    // capture latest line/cursor (see Codex P2 below) is correct under
+    // single-render mode but broken under React 18 strict mode + the
+    // setLine-inside-setCursor nesting we ended up with. Refs are the
+    // canonical escape hatch for "use the most recently committed value
+    // inside a one-shot async callback".
+    const lineRef = useRef(line);
+    const cursorRef = useRef(cursor);
+    useEffect(() => {
+        lineRef.current = line;
+    }, [line]);
+    useEffect(() => {
+        cursorRef.current = cursor;
+    }, [cursor]);
+    // Soft blink so the operator can spot where typing will land. Ink
+    // re-renders only when state changes, so a 530ms toggle is the cheapest
+    // honest cursor we can show without a custom raw-mode dance. Tests
+    // disable the interval so node:test does not see a dangling timer.
+    const blinkEnabled = props.blinkCursor ?? true;
+    useEffect(() => {
+        if (!blinkEnabled)
+            return undefined;
+        const interval = setInterval(() => {
+            setCursorVisible((prev) => !prev);
+        }, CURSOR_BLINK_MS);
+        return () => clearInterval(interval);
+    }, [blinkEnabled]);
     useInput((input, key) => {
         if (key.ctrl && input === 'c') {
             const t = now();
@@ -34,32 +137,237 @@ export function InputBox(props) {
             }
             setLastCtrlCAt(t);
             setLine('');
+            setCursor(0);
+            setSearch(undefined);
+            return;
+        }
+        // Search-mode key handling. Ctrl+R / Ctrl+S cycle, Enter accepts,
+        // Esc cancels (restoring the pre-search draft), backspace shortens
+        // the query, typed characters extend it.
+        if (search) {
+            if (key.ctrl && input === 'r') {
+                setSearch((s) => (s ? cycle(s, 1) : s));
+                return;
+            }
+            if (key.ctrl && input === 's') {
+                setSearch((s) => (s ? cycle(s, -1) : s));
+                return;
+            }
+            if (key.escape) {
+                setSearch(undefined);
+                setLine(draftBeforeSearch);
+                setCursor(draftBeforeSearch.length);
+                return;
+            }
+            if (key.return) {
+                const picked = currentBrief(search);
+                setSearch(undefined);
+                if (picked !== null) {
+                    setLine(picked);
+                    setCursor(picked.length);
+                }
+                else {
+                    setLine(draftBeforeSearch);
+                    setCursor(draftBeforeSearch.length);
+                }
+                return;
+            }
+            if (key.backspace || key.delete) {
+                const nextQuery = search.query.slice(0, -1);
+                setSearch(applyQuery(search, nextQuery, history));
+                return;
+            }
+            if (input && !key.meta && !key.ctrl) {
+                const nextQuery = search.query + input;
+                setSearch(applyQuery(search, nextQuery, history));
+                return;
+            }
+            // Any other key inside search mode is ignored - the operator can
+            // still escape with Esc or cancel via Ctrl+C handled above.
+            return;
+        }
+        if (key.ctrl && input === 'r') {
+            // Enter reverse-search mode. Stash the current buffer so Esc
+            // restores it untouched.
+            setDraftBeforeSearch(line);
+            setSearch(initialSearchState(history));
             return;
         }
+        if (key.ctrl && input === 's') {
+            // Symmetric forward search entry. Cycle direction differs once
+            // active; entry seeds the same browse state.
+            setDraftBeforeSearch(line);
+            setSearch(initialSearchState(history));
+            return;
+        }
+        // Readline-style kill ring shortcuts. All four kills push the
+        // removed slice onto the ring; Ctrl+Y yanks the most recent.
+        if (key.ctrl && input === 'u') {
+            const next = killToLineStart(line, cursor, killRing);
+            setLine(next.line);
+            setCursor(next.cursor);
+            setKillRing(next.ring);
+            return;
+        }
+        if (key.ctrl && input === 'k') {
+            const next = killToLineEnd(line, cursor, killRing);
+            setLine(next.line);
+            setCursor(next.cursor);
+            setKillRing(next.ring);
+            return;
+        }
+        if (key.ctrl && input === 'w') {
+            const next = killWordBackward(line, cursor, killRing);
+            setLine(next.line);
+            setCursor(next.cursor);
+            setKillRing(next.ring);
+            return;
+        }
+        if (key.ctrl && input === 'y') {
+            const next = yankAtCursor(line, cursor, killRing);
+            setLine(next.line);
+            setCursor(next.cursor);
+            return;
+        }
+        if (key.ctrl && input === 'l') {
+            // Clear the terminal viewport. ANSI 2J = erase entire screen,
+            // 0;0H = home cursor. We bump the redraw tick so Ink repaints
+            // the surrounding REPL panes on the next frame; without this
+            // ink keeps its diff buffer and we get a half-wiped screen.
+            if (stdout && typeof stdout.write === 'function') {
+                stdout.write('\x1b[2J\x1b[0;0H');
+            }
+            setRedrawTick((t) => t + 1);
+            return;
+        }
+        if (key.ctrl && input === 'v') {
+            // Ctrl+V: read the OS clipboard and insert at cursor. The
+            // platform helper (pbpaste / wl-paste / xclip -o / Get-Clipboard)
+            // is async + best-effort; on failure the buffer is left
+            // untouched and the operator falls back to terminal paste
+            // (Cmd+V on macOS, right-click on Linux).
+            //
+            // Multi-line pastes preserve interior newlines so the operator
+            // sees the full text in the buffer; the Enter-on-buffered-LF
+            // case is left to the operator (they press Enter when ready).
+            //
+            // Refs (lineRef / cursorRef) hold the latest committed values so
+            // the splice runs against the operator's most recent edits even
+            // if they kept typing while pbpaste was in flight. The previous
+            // setLine-inside-setCursor nesting double-inserted under React
+            // 18 strict mode because each setState updater runs twice in
+            // development. Claude P1.
+            //
+            // sanitiseClipboardText strips ANSI escapes, bracketed-paste
+            // markers, and C0 control bytes so a hostile or accidental copy
+            // cannot inject terminal-control sequences. Claude P2.
+            readClipboard()
+                .then((res) => {
+                if (res.text === null)
+                    return;
+                const sanitised = sanitiseClipboardText(res.text);
+                if (sanitised.length === 0)
+                    return;
+                const currentLine = lineRef.current;
+                const currentCursor = cursorRef.current;
+                const newLine = currentLine.slice(0, currentCursor) +
+                    sanitised +
+                    currentLine.slice(currentCursor);
+                const newCursor = currentCursor + sanitised.length;
+                setLine(newLine);
+                setCursor(newCursor);
+            })
+                .catch(() => {
+                // Helper already swallows errors; the catch here is belt +
+                // suspenders so a TypeError never bubbles into the render.
+            });
+            return;
+        }
+        // Compute palette visibility FIRST so Enter can run the focused
+        // palette row instead of submitting a partial `/he` as unknown.
+        // Palette is hidden when the operator pressed Esc on it.
+        const palette = !paletteSuppressed ? filterPalette(line) : { rows: [], totalBeforeLimit: 0 };
+        const paletteOpen = palette.rows.length > 0;
+        const paletteFocusedIndex = palette.rows.length === 0
+            ? 0
+            : Math.min(paletteIndex, palette.rows.length - 1);
         if (key.return) {
-            const trimmed = line.trim();
+            // When the palette is open, Enter expands the buffer to the
+            // complete command name (preserving any args past the head)
+            // before submission. Codex review P2.
+            let payload = line;
+            if (paletteOpen) {
+                const completed = completePalette(line, palette.rows, paletteFocusedIndex);
+                if (completed !== null)
+                    payload = completed;
+            }
+            const trimmed = payload.trim();
             if (trimmed.length > 0) {
-                setHistory((prev) => [...prev, trimmed]);
+                setHistory((prev) => {
+                    // In-session dedup of consecutive identical entries mirrors
+                    // the on-disk dedup so ↑ never shows duplicates.
+                    if (prev[prev.length - 1] === trimmed)
+                        return prev;
+                    return [...prev, trimmed];
+                });
                 setHistoryIndex(-1);
+                if (props.workspaceSlug) {
+                    // Fire-and-forget. Helper never throws - it returns null
+                    // when storage is unavailable and history degrades to
+                    // session-local for this turn.
+                    appendHistory({
+                        home: props.historyHome,
+                        workspaceSlug: props.workspaceSlug,
+                        brief: trimmed,
+                    });
+                }
                 props.onSubmit(trimmed);
             }
             setLine('');
+            setCursor(0);
+            setPaletteSuppressed(false);
+            setPaletteIndex(0);
             return;
         }
         if (key.escape) {
+            if (paletteOpen) {
+                // Close the palette without clearing the buffer so the operator
+                // can still send `/help` as plain text if they want.
+                setPaletteSuppressed(true);
+                return;
+            }
             setLine('');
+            setCursor(0);
             setHistoryIndex(-1);
             return;
         }
+        if (key.tab && paletteOpen) {
+            const completed = completePalette(line, palette.rows, paletteFocusedIndex);
+            if (completed !== null) {
+                setLine(completed);
+                setCursor(completed.length);
+            }
+            return;
+        }
         if (key.upArrow) {
+            if (paletteOpen) {
+                setPaletteIndex((i) => (palette.rows.length === 0 ? 0 : (i - 1 + palette.rows.length) % palette.rows.length));
+                return;
+            }
             if (history.length === 0)
                 return;
             const nextIndex = historyIndex === -1 ? history.length - 1 : Math.max(0, historyIndex - 1);
+            const entry = history[nextIndex] ?? '';
             setHistoryIndex(nextIndex);
-            setLine(history[nextIndex] ?? '');
+            setLine(entry);
+            setCursor(entry.length);
             return;
         }
         if (key.downArrow) {
+            if (paletteOpen) {
+                setPaletteIndex((i) => (palette.rows.length === 0 ? 0 : (i + 1) % palette.rows.length));
+                return;
+            }
             if (history.length === 0)
                 return;
             if (historyIndex === -1)
@@ -68,24 +376,99 @@ export function InputBox(props) {
             if (nextIndex >= history.length) {
                 setHistoryIndex(-1);
                 setLine('');
+                setCursor(0);
                 return;
             }
+            const entry = history[nextIndex] ?? '';
             setHistoryIndex(nextIndex);
-            setLine(history[nextIndex] ?? '');
+            setLine(entry);
+            setCursor(entry.length);
+            return;
+        }
+        if (key.leftArrow) {
+            setCursor((c) => Math.max(0, c - 1));
+            return;
+        }
+        if (key.rightArrow) {
+            setCursor((c) => Math.min(line.length, c + 1));
             return;
         }
         if (key.backspace || key.delete) {
-            setLine((prev) => prev.slice(0, -1));
+            if (cursor === 0)
+                return;
+            // Read cursor via ref inside the updater so the slice indices come
+            // from the latest committed value, not the closure-captured one.
+            // Same React-18 strict-mode race that bit the Ctrl+V paste path
+            // (Claude P1 on PR #335 wave 1): updaters run twice under strict
+            // mode, and a stale closure `cursor` produces a double-edit on the
+            // second invocation. cursorRef is the canonical fix — do NOT
+            // re-introduce closure `cursor` inside setLine updaters.
+            const cursorAtPress = cursorRef.current;
+            setLine((prev) => prev.slice(0, cursorAtPress - 1) + prev.slice(cursorAtPress));
+            setCursor((c) => Math.max(0, c - 1));
+            // Backspacing past `/` re-opens the palette next render.
+            setPaletteSuppressed(false);
+            setPaletteIndex(0);
             return;
         }
         if (input && !key.meta && !key.ctrl) {
-            // Ink's typing surface delivers one or more characters per
-            // event; concatenate without filtering so non-Latin and emoji
-            // sequences (the operator's own brief copy) survive paste.
-            setLine((prev) => prev + input);
+            // Ink delivers one or more characters per event; concatenate at
+            // the cursor without filtering so non-Latin + emoji sequences
+            // (the operator's own brief copy) survive paste.
+            //
+            // Bracketed-paste mode markers (`ESC[200~ ... ESC[201~`) may
+            // arrive when a modern terminal pastes multi-line text. Strip
+            // them inline so the buffer stays clean; the spec calls out
+            // disabling Enter-as-submit during the burst, but Ink's
+            // useInput delivers the whole paste as one event so the burst
+            // is atomic and Enter cannot fire mid-paste here.
+            //
+            // Ink's escape-sequence parser may consume the leading ESC for
+            // unknown CSI sequences, so we match both forms (with + without
+            // the leading ESC byte) to be safe across terminal emulators.
+            const stripped = input
+                .replace(/\x1b\[200~/g, '')
+                .replace(/\x1b\[201~/g, '')
+                .replace(/\[200~/g, '')
+                .replace(/\[201~/g, '');
+            if (stripped.length === 0)
+                return;
+            // Read cursor via ref inside the updater so the splice indices come
+            // from the latest committed value, not the closure-captured one.
+            // Same React-18 strict-mode race that bit the Ctrl+V paste path
+            // (Claude P1 on PR #335 wave 1): updaters run twice under strict
+            // mode, and a stale closure `cursor` produces a duplicated insert
+            // on the second invocation. cursorRef is the canonical fix — do
+            // NOT re-introduce closure `cursor` inside setLine updaters.
+            const cursorAtPress = cursorRef.current;
+            setLine((prev) => prev.slice(0, cursorAtPress) + stripped + prev.slice(cursorAtPress));
+            setCursor((c) => c + stripped.length);
+            // Typing a new char un-suppresses the palette and resets focus.
+            setPaletteSuppressed(false);
+            setPaletteIndex(0);
         }
     });
-    const palette = line.startsWith('/') ? matchSlashPrefix(line) : [];
-    return (_jsxs(Box, { flexDirection: "column", children: [_jsxs(Box, { children: [_jsx(Text, { color: "cyan", children: '› ' }), _jsx(Text, { children: line }), _jsx(Text, { color: "cyan", children: '_' })] }), palette.length > 0 ? (_jsx(Box, { flexDirection: "column", marginTop: 0, children: palette.map((row) => (_jsxs(Box, { children: [_jsx(Text, { dimColor: true, children: `  /${row.name}${row.args ? ` ${row.args}` : ''}`.padEnd(22, ' ') }), _jsx(Text, { dimColor: true, children: row.gloss })] }, row.name))) })) : null, _jsx(Box, { children: _jsx(Text, { dimColor: true, children: '↑/↓ history  ·  / commands  ·  Enter brief  ·  Esc cancel  ·  Ctrl+C ×2 exit' }) })] }));
+    const paletteView = !search && !paletteSuppressed ? filterPalette(line) : { rows: [], totalBeforeLimit: 0 };
+    // Clamp focus to current row count so a shrink (e.g. operator typed
+    // a char that narrowed the list) does not point off-the-end.
+    const clampedPaletteIndex = paletteView.rows.length === 0
+        ? 0
+        : Math.min(paletteIndex, paletteView.rows.length - 1);
+    const divider = '─'.repeat(innerWidth);
+    const focusedMatch = search ? search.matches[search.focusedIndex] : undefined;
+    return (_jsxs(Box, { flexDirection: "column", children: [_jsx(Text, { color: "cyan", dimColor: true, children: divider }), _jsx(Box, { borderStyle: "round", borderColor: "cyan", paddingX: 1, flexDirection: "column", children: search ? (_jsxs(Box, { flexDirection: "column", children: [_jsxs(Box, { children: [_jsx(Text, { color: "cyan", children: '(reverse-i-search) ' }), _jsx(Text, { children: `\`${search.query}\`: ` }), _jsx(Text, { color: "yellow", children: focusedMatch ? focusedMatch.brief : '(no match)' })] }), _jsx(Box, { children: _jsx(Text, { dimColor: true, children: `Ctrl+R next  ·  Ctrl+S prev  ·  Enter accept  ·  Esc cancel  ·  ${search.matches.length} match${search.matches.length === 1 ? '' : 'es'}` }) })] })) : (_jsxs(Box, { children: [_jsx(Text, { color: "cyan", children: '› ' }), _jsx(Text, { children: renderLineWithCursor(line, cursor, cursorVisible) })] })) }), line.length > innerWidth - 4 ? (_jsxs(Box, { children: [_jsx(Text, { color: "gray", children: '┊ ' }), _jsx(Text, { dimColor: true, children: 'line wraps - Enter still submits' })] })) : null, _jsx(SlashPalette, { rows: paletteView.rows, focusedIndex: clampedPaletteIndex, totalBeforeLimit: paletteView.totalBeforeLimit }), _jsx(Box, { children: _jsx(Text, { dimColor: true, children: '↑/↓ history  ·  Ctrl+R search  ·  / commands  ·  Enter brief  ·  Esc cancel  ·  Ctrl+C ×2 exit' }) })] }));
+}
+/**
+ * Render the line with the cursor glyph inserted at `cursor`. The cursor
+ * glyph is an inverted block when visible, a single space when blinked
+ * off - keeping the rendered width stable so the surrounding border
+ * does not jitter.
+ */
+function renderLineWithCursor(line, cursor, visible) {
+    const safeCursor = Math.max(0, Math.min(line.length, cursor));
+    const before = line.slice(0, safeCursor);
+    const after = line.slice(safeCursor);
+    const caret = visible ? '█' : ' ';
+    return `${before}${caret}${after}`;
 }
 //# sourceMappingURL=input-box.js.map

package/dist/tui/render.js

@@ -1,5 +1,6 @@
 import React from 'react';
 import { render } from 'ink';
+import { DeviceFlow } from './device-flow.js';
 import { LoginPicker } from './login-picker.js';
 import { Splash } from './splash.js';
 import { collectSplashData } from './splash-data.js';
@@ -65,4 +66,60 @@ export function renderLoginPicker(apiUrl) {
         }));
     });
 }
+/**
+ * Mount `<DeviceFlow />` on a TTY and return a handle the host uses to
+ * drive the frame. Mirrors `renderLoginPicker`'s lifecycle: we
+ * deliberately do NOT call `waitUntilExit()` after unmount (some
+ * shimmed-stdin test harnesses never settle that promise — the next
+ * code path in cli.ts restores stdin state on its own).
+ */
+export function renderDeviceFlow(options) {
+    let settled = false;
+    let resolveDone = () => undefined;
+    let rejectDone = () => undefined;
+    const donePromise = new Promise((resolveFn, rejectFn) => {
+        resolveDone = resolveFn;
+        rejectDone = rejectFn;
+    });
+    // Per the spec, the polling status drives the visible spinner; the
+    // host pushes status updates via `setStatus`. We use a tiny stateful
+    // wrapper component so React owns the re-render lifecycle (calling
+    // `instance.rerender` with a new element triggers a clean diff).
+    let currentStatus = { kind: 'polling' };
+    const finish = (cb) => {
+        if (settled)
+            return;
+        settled = true;
+        instance.unmount();
+        setImmediate(cb);
+    };
+    const renderElement = () => React.createElement(DeviceFlow, {
+        verificationUrl: options.verificationUrl,
+        userCode: options.userCode,
+        browserOpened: options.browserOpened,
+        status: currentStatus,
+        onCopy: options.onCopy,
+        onCancel: () => {
+            finish(() => rejectDone(new LoginCancelledError()));
+        },
+        onContinue: () => {
+            finish(() => resolveDone());
+        },
+    });
+    const instance = render(renderElement());
+    return {
+        setStatus(next) {
+            if (settled)
+                return;
+            currentStatus = next;
+            instance.rerender(renderElement());
+        },
+        unmount() {
+            finish(() => resolveDone());
+        },
+        done() {
+            return donePromise;
+        },
+    };
+}
 //# sourceMappingURL=render.js.map

package/dist/tui/repl-render.js

@@ -37,7 +37,7 @@ export async function renderRepl(options) {
     // Kick off the connect; the Repl renders the connecting state until
     // the session pushes `connection: 'on_watch'` from the SSE onOpen.
     void session.start();
-    const instance = render(React.createElement(Repl, { session }));
+    const instance = render(React.createElement(Repl, { session, updateBanner: options.updateBanner ?? null }));
     try {
         await instance.waitUntilExit();
     }

package/dist/tui/repl.js

@@ -24,6 +24,8 @@ import { AgentTree } from './agent-tree.js';
 import { ConversationPane } from './conversation-pane.js';
 import { InputBox } from './input-box.js';
 import { StatusBar } from './status-bar.js';
+import { UpdateBanner } from './update-banner.js';
+import { slugForCwd } from '../core/repl/history.js';
 import { SLASH_COMMAND_HELP } from '../core/repl/slash-commands.js';
 const TICK_INTERVAL_MS = 200;
 const PULSE_INTERVAL_MS = 700;
@@ -94,7 +96,11 @@ export function Repl(props) {
             setOverlay('none');
         }
     }, { isActive: overlay === 'help' || overlay === 'roster' });
-    return (_jsxs(Box, { flexDirection: "column", paddingX: 1, children: [_jsx(Header, { state: state }), _jsx(Box, { flexDirection: "column", marginTop: 1, children: overlay === 'help' ? (_jsx(HelpOverlay, {})) : overlay === 'roster' ? (_jsx(RosterOverlay, {})) : overlay === 'farewell' ? (_jsx(FarewellOverlay, {})) : (_jsx(MainArea, { state: state, personaNames: personaNames, nowEpochMs: tickNow })) }), _jsxs(Box, { flexDirection: "column", marginTop: 1, children: [overlay === 'farewell' ? null : (_jsx(InputBox, { onSubmit: handleSubmit, onExit: handleExit, now: props.now })), _jsx(StatusBar, { connection: state.connection, activeAgentCount: countActive(state), tokensDownstreamTotal: state.tokensDownstreamTotal, briefStartedAtEpochMs: state.briefStartedAtEpochMs, nowEpochMs: tickNow, pulsePhase: pulsePhase })] })] }));
+    return (_jsxs(Box, { flexDirection: "column", paddingX: 1, children: [props.updateBanner ? _jsx(UpdateBanner, { result: props.updateBanner }) : null, _jsx(Header, { state: state }), _jsx(Box, { flexDirection: "column", marginTop: 1, children: overlay === 'help' ? (_jsx(HelpOverlay, {})) : overlay === 'roster' ? (_jsx(RosterOverlay, {})) : overlay === 'farewell' ? (_jsx(FarewellOverlay, {})) : (_jsx(MainArea, { state: state, personaNames: personaNames, nowEpochMs: tickNow })) }), _jsxs(Box, { flexDirection: "column", marginTop: 1, children: [overlay === 'farewell' ? null : (_jsx(InputBox, { onSubmit: handleSubmit, onExit: handleExit, now: props.now, 
+                        // Slug from process.cwd() (full path) so two workspaces with
+                        // the same basename do not share history. state.workspaceLabel
+                        // is the basename only. Codex review P2.
+                        workspaceSlug: slugForCwd(process.cwd()) })), _jsx(StatusBar, { connection: state.connection, activeAgentCount: countActive(state), tokensDownstreamTotal: state.tokensDownstreamTotal, briefStartedAtEpochMs: state.briefStartedAtEpochMs, nowEpochMs: tickNow, pulsePhase: pulsePhase })] })] }));
 }
 function Header({ state }) {
     return (_jsxs(Box, { children: [_jsx(Text, { bold: true, children: "Pugi" }), _jsx(Text, { bold: true, color: "cyan", children: ".io" }), _jsx(Text, { dimColor: true, children: `  ·  workspace: ${state.workspaceLabel}  ·  v${state.cliVersion}  ·  ` }), _jsx(Text, { color: "cyan", children: state.connection === 'on_watch' ? 'on watch' : state.connection.replace('_', ' ') })] }));
@@ -129,6 +135,7 @@ function applyVerdictSideEffects(verdict, handlers) {
             return;
         case 'dispatch':
         case 'stop':
+        case 'web':
         case 'error':
         case 'noop':
             return;