praxis-agent 0.7.0 → 0.9.0

package/dist/cli/interactive.js

@@ -1,14 +1,17 @@
 import { jsx as _jsx, jsxs as _jsxs, Fragment as _Fragment } from "react/jsx-runtime";
+import { randomUUID } from 'node:crypto';
 import { homedir } from 'node:os';
 import { resolve } from 'node:path';
 import { useEffect, useMemo, useRef, useState } from 'react';
 import { Box, Text, render, useApp, useInput } from 'ink';
 import { AgentRunCancelledError } from '../core/runtime.js';
+import { claudePermissionActionKey, } from '../permissions/claude-permission-resolver.js';
 import { redactSensitiveText, sensitiveEnvironmentValues, } from '../platform/sensitive-data.js';
-import { CommandPalette, BtwPanel, Composer, DiffDashboard, DialogFrame, ExternalEditorWait, HelpMenu, HookDashboard, ListDashboard, MemoryDashboard, MentionPicker, PermissionDashboard, SelectionMenu, SessionPicker, StatusDashboard, Transcript, WelcomePanel, useTerminalWidth, } from './tui/claude-style.js';
+import { CommandPalette, BtwPanel, Composer, DiffDashboard, DialogFrame, ExternalEditorWait, HelpMenu, HookDashboard, ListDashboard, MemoryDashboard, MentionPicker, PermissionDashboard, SelectionMenu, SessionPicker, StatusDashboard, ThemePicker, CustomThemeEditor, Transcript, WelcomePanel, useTerminalWidth, } from './tui/claude-style.js';
 import { loadTuiMemoryFiles, openTuiMemoryFolder, } from './tui/memory-files.js';
 import { loadGitDiff, visiblePatchLines, } from './tui/git-diff.js';
 import { addTuiPermissionRule, loadTuiPermissionRules, removeTuiPermissionRule, } from './tui/permission-settings.js';
+import { createRecentlyDeniedStore, } from './tui/recently-denied.js';
 import { filterTuiSlashCommands, mergeTuiSlashCommands, slashCommandQuery, } from './tui/slash-commands.js';
 import { createComposerEditor, deleteComposerToEnd, deleteComposerToStart, deleteComposerWordBackward, insertComposerText, moveComposerCursorByWord, } from './tui/composer-editor.js';
 import { applyMentionReference, fileReferenceAtCursor, filterTuiMentionEntries, loadTuiFileEntries, } from './tui/file-picker.js';
@@ -19,6 +22,20 @@ import { composerImageIds, deleteComposerImageBackward, deleteComposerImageForwa
 import { defaultTuiKeybindings, ensureTuiKeybindingsFile, hasTuiKeybindingPrefix, loadTuiKeybindings, resolveTuiKeybinding, tuiKeyChord, } from './tui/keybindings.js';
 import { completeTuiWorkspaceDirectory, resolveTuiWorkspaceDirectory, } from './tui/workspace-directories.js';
 import { conversationExportPath, conversationExportText, defaultConversationExportFilename, writeConversationExport, } from './tui/conversation-export.js';
+import { loadTuiThemeSettings, saveTuiThemeSettings, themeSettingsWithCustomTheme, } from './tui/theme-settings.js';
+import { DEFAULT_TUI_THEME_SETTINGS, TUI_THEMES, TuiThemeProvider, tuiPalette, } from './tui/theme.js';
+import { CUSTOM_THEME_TOKENS, createTuiCustomTheme, deleteTuiCustomTheme, loadTuiCustomThemes, updateTuiCustomTheme, } from './tui/custom-themes.js';
+import { setupTuiTerminal, terminalSetupTuiSlashCommand, } from './tui/terminal-setup.js';
+import { ConfigDashboard, projectConfigRows } from './tui/config-dashboard.js';
+import { loadConfigSettings, saveConfigSetting, configSettingDefinition, resolveConfigSettingsLocation, } from './tui/config-settings.js';
+import { projectRuntimeSettings, loadRuntimeSettings, } from './tui/runtime-settings.js';
+import { autoUpdateTarget, copyCandidates, externalEditorInitialContent, formatTurnDuration, questionTimeoutMilliseconds, sessionRecap, shouldShowCopyPicker, spinnerTip, } from './tui/runtime-interactions.js';
+import { notifyTerminal, } from './tui/terminal-notifications.js';
+import { McpPanel } from './tui/mcp-panel.js';
+import { McpPanelController, mcpRuntimeFromSession, } from './tui/mcp-panel-controller.js';
+import { initialTuiMcpPanelState, } from './tui/mcp-panel-projector.js';
+import { TaskPanel, initialTuiTaskPanelState, projectTuiTasks, reconcileTuiTaskPanelState, updateTuiTaskPanelState, } from './tui/task-panel.js';
+import { ClaudeMcpManagement } from '../mcp/claude-mcp-management.js';
 const EMPTY_SLASH_COMMANDS = [];
 const EMPTY_AGENTS = [];
 const EFFORT_OPTIONS = ['low', 'medium', 'high', 'xhigh', 'max'];
@@ -54,6 +71,11 @@ const PERMISSION_OPTIONS = [
         description: 'Restrict changes to the plan file until approval.',
     },
 ];
+function selectionPrefix(selected, screenReader) {
+    if (selected)
+        return screenReader ? 'Selected: ' : '❯ ';
+    return screenReader ? '' : '  ';
+}
 function rewindActions(point) {
     const shared = [
         { action: 'summarize-from', label: 'Summarize from here' },
@@ -143,6 +165,12 @@ function describeTool(call, sensitiveValues) {
     const name = redactSensitiveText(call.name, sensitiveValues);
     return `${name} ${describeToolInput(call, sensitiveValues)}`;
 }
+function describeRecentlyDeniedAction(call, sensitiveValues) {
+    const description = call.input.description;
+    return typeof description === 'string' && description.trim()
+        ? redactSensitiveText(description.trim(), sensitiveValues)
+        : describeTool(call, sensitiveValues);
+}
 function redactToolCall(call, sensitiveValues) {
     return {
         ...call,
@@ -187,22 +215,47 @@ function ordinal(value) {
             return `${value}th`;
     }
 }
-export function InteractiveApp({ factory, initialSessions, initialPrompt, initialHistory = [], signal, onCancel, onTurnChange, onCleanup, onBackground, axScreenReader = false, allowNewSession = true, resume, display = { version: 'dev', cwd: process.cwd() }, terminalWidth, slashCommands = EMPTY_SLASH_COMMANDS, agents = EMPTY_AGENTS, allowDangerouslySkipPermissions = false, additionalDirectories = [], diffLoader, fileLoader, externalEditor = editTuiPrompt, keybindingsConfigRoot, keybindingsFile = ensureTuiKeybindingsFile, keybindingsLoader = loadTuiKeybindings, keybindingsEditor = openTuiEditorFile, memoryFilesLoader = (configRoot, cwd) => loadTuiMemoryFiles({ configRoot, cwd }), memoryEditor = openTuiEditorFile, memoryFolderOpener = openTuiMemoryFolder, suspendProcess = suspendTuiProcess, clipboardReader = readTuiClipboard, clipboardWriter = writeTuiClipboard, sideQuestionClipboardWriter = writeTuiOsc52Clipboard, exportWriter = writeConversationExport, permissionRuleStore, workspaceDirectoryResolver = resolveTuiWorkspaceDirectory, workspaceDirectoryCompleter = completeTuiWorkspaceDirectory, }) {
+export function InteractiveApp({ factory, initialSessions, initialPrompt, initialHistory = [], signal, onCancel, onTurnChange, onCleanup, onRendererChange, onBackground, axScreenReader = false, allowNewSession = true, resume, display = { version: 'dev', cwd: process.cwd() }, terminalWidth, slashCommands = EMPTY_SLASH_COMMANDS, agents = EMPTY_AGENTS, allowDangerouslySkipPermissions = false, additionalDirectories = [], diffLoader, fileLoader, externalEditor = editTuiPrompt, keybindingsConfigRoot, keybindingsFile = ensureTuiKeybindingsFile, keybindingsLoader = loadTuiKeybindings, keybindingsEditor = openTuiEditorFile, memoryFilesLoader = (configRoot, cwd) => loadTuiMemoryFiles({ configRoot, cwd }), memoryEditor = openTuiEditorFile, memoryFolderOpener = openTuiMemoryFolder, suspendProcess = suspendTuiProcess, clipboardReader = readTuiClipboard, clipboardWriter = writeTuiClipboard, sideQuestionClipboardWriter = writeTuiOsc52Clipboard, exportWriter = writeConversationExport, permissionRuleStore, recentlyDeniedStore: suppliedRecentlyDeniedStore, terminalSetup: terminalSetupOverride, themeStore, initialThemeSettings, initialThemeLoadError, workspaceDirectoryResolver = resolveTuiWorkspaceDirectory, workspaceDirectoryCompleter = completeTuiWorkspaceDirectory, runtimeSettings: suppliedRuntimeSettings, runtimeSettingsTarget, notificationWriter, }) {
     const { exit, suspendTerminal, waitUntilRenderFlush } = useApp();
     const width = useTerminalWidth(terminalWidth);
     const keybindingsRoot = useMemo(() => resolve(keybindingsConfigRoot ??
         process.env.CLAUDE_CONFIG_DIR ??
         resolve(homedir(), '.claude')), [keybindingsConfigRoot]);
+    const configTarget = useMemo(() => resolveConfigSettingsLocation(runtimeSettingsTarget), [runtimeSettingsTarget]);
     const sensitiveValues = useMemo(() => sensitiveEnvironmentValues(process.env), []);
     const [runtimeCwd, setRuntimeCwd] = useState(display.cwd);
     const runtimeCwdRef = useRef(display.cwd);
+    const runtimeGitignoreRef = useRef(true);
     const loadDiffSnapshot = useMemo(() => diffLoader ?? (() => loadGitDiff(runtimeCwd)), [diffLoader, runtimeCwd]);
-    const loadFiles = useMemo(() => fileLoader ?? (() => loadTuiFileEntries(runtimeCwd)), [fileLoader, runtimeCwd]);
+    const loadFiles = useMemo(() => fileLoader ??
+        (() => loadTuiFileEntries(runtimeCwd, {
+            respectGitignore: runtimeGitignoreRef.current,
+        })), [fileLoader, runtimeCwd]);
     const permissionStore = useMemo(() => permissionRuleStore ?? {
         load: () => loadTuiPermissionRules(runtimeCwd),
         add: (input) => addTuiPermissionRule({ cwd: runtimeCwd, ...input }),
         remove: removeTuiPermissionRule,
     }, [permissionRuleStore, runtimeCwd]);
+    const recentDeniedStore = useMemo(() => suppliedRecentlyDeniedStore ?? createRecentlyDeniedStore(), [suppliedRecentlyDeniedStore]);
+    const presentationThemeStore = useMemo(() => themeStore ?? {
+        load: loadTuiThemeSettings,
+        save: saveTuiThemeSettings,
+        loadCustomThemes: () => loadTuiCustomThemes(),
+        createCustomTheme: (input) => createTuiCustomTheme(input),
+        updateCustomTheme: (theme, token, value) => updateTuiCustomTheme(theme, token, value),
+        deleteCustomTheme: (theme) => deleteTuiCustomTheme(theme),
+    }, [themeStore]);
+    const [customThemes, setCustomThemes] = useState([]);
+    const [themeSettings, setThemeSettings] = useState(initialThemeSettings ?? DEFAULT_TUI_THEME_SETTINGS);
+    const [runtimeSettings, setRuntimeSettings] = useState(suppliedRuntimeSettings ??
+        projectRuntimeSettings({ settings: {}, state: {} }));
+    const runtimeSettingsRef = useRef(runtimeSettings);
+    runtimeSettingsRef.current = runtimeSettings;
+    runtimeGitignoreRef.current = runtimeSettings.gitignore;
+    const [vimInsertMode, setVimInsertMode] = useState(true);
+    const activePalette = tuiPalette(TUI_THEMES.includes(themeSettings.theme)
+        ? themeSettings.theme
+        : 'dark', themeSettings.syntaxHighlightingDisabled, process.env, themeSettings.customTheme);
     const choices = useMemo(() => allowNewSession ? [null, ...initialSessions] : initialSessions, [allowNewSession, initialSessions]);
     const [pickerIncludesNewSession, setPickerIncludesNewSession] = useState(allowNewSession);
     const pickerIncludesNewSessionRef = useRef(allowNewSession);
@@ -216,6 +269,11 @@ export function InteractiveApp({ factory, initialSessions, initialPrompt, initia
     const [selectedIndex, setSelectedIndex] = useState(0);
     const selectedIndexRef = useRef(0);
     const [sessionId, setSessionId] = useState(resume?.sessionId ?? null);
+    const sessionIdRef = useRef(resume?.sessionId ?? null);
+    sessionIdRef.current = sessionId;
+    const [activeSessionSummary, setActiveSessionSummary] = useState(() => resume?.sessionId
+        ? initialSessions.find((session) => session.sessionId === resume.sessionId)
+        : undefined);
     const [pendingFork, setPendingFork] = useState(resume?.forkSession === true);
     const [input, setInput] = useState('');
     const inputRef = useRef('');
@@ -250,6 +308,7 @@ export function InteractiveApp({ factory, initialSessions, initialPrompt, initia
     const [processSuspendRequested, setProcessSuspendRequested] = useState(false);
     const processSuspendRequestedRef = useRef(false);
     const [editorFooterMessage, setEditorFooterMessage] = useState();
+    const terminalSetupCommand = useMemo(() => terminalSetupTuiSlashCommand(process.env, process.platform), []);
     const [availableSlashCommands, setAvailableSlashCommands] = useState(slashCommands);
     const [availableAgents, setAvailableAgents] = useState(agents);
     const [btwHistory, setBtwHistory] = useState([]);
@@ -261,6 +320,8 @@ export function InteractiveApp({ factory, initialSessions, initialPrompt, initia
     const [menu, setMenu] = useState(null);
     const menuRef = useRef(null);
     const [busy, setBusy] = useState(false);
+    const taskEntriesRef = useRef([]);
+    const mcpControllerRef = useRef(null);
     const [compactProgress, setCompactProgress] = useState(0);
     const initialPromptRef = useRef(initialPrompt?.trim() ?? '');
     const [initialPromptPending, setInitialPromptPending] = useState(initialPromptRef.current.length > 0);
@@ -268,6 +329,7 @@ export function InteractiveApp({ factory, initialSessions, initialPrompt, initia
     const [activeText, setActiveText] = useState('');
     const [activeThinking, setActiveThinking] = useState('');
     const [thinkingExpanded, setThinkingExpanded] = useState(false);
+    const [turnDuration, setTurnDuration] = useState();
     const [usage, setUsage] = useState();
     const [costUsd, setCostUsd] = useState();
     const [contextWindowTokens, setContextWindowTokens] = useState(display.contextWindowTokens);
@@ -277,7 +339,11 @@ export function InteractiveApp({ factory, initialSessions, initialPrompt, initia
     const turnNumberRef = useRef(0);
     const turnMutatedFilesRef = useRef(false);
     const permissionCallsRef = useRef(new Map());
+    const approvedSessionActionsRef = useRef(new Map());
     const [recentDenied, setRecentDenied] = useState([]);
+    const [retryingDeniedId, setRetryingDeniedId] = useState(null);
+    const recentDeniedRef = useRef([]);
+    recentDeniedRef.current = recentDenied;
     const [exitConfirmation, setExitConfirmation] = useState(false);
     const exitConfirmationTimerRef = useRef(null);
     const [runtimePreferences, setRuntimePreferences] = useState(() => ({
@@ -292,6 +358,8 @@ export function InteractiveApp({ factory, initialSessions, initialPrompt, initia
     const elicitationRef = useRef(null);
     const [question, setQuestion] = useState(null);
     const questionRef = useRef(null);
+    const questionTimeoutRef = useRef(null);
+    const recapShownRef = useRef(false);
     const [planApproval, setPlanApproval] = useState(null);
     const planApprovalRef = useRef(null);
     const serviceRef = useRef(null);
@@ -303,7 +371,10 @@ export function InteractiveApp({ factory, initialSessions, initialPrompt, initia
     const serviceRetirementRef = useRef(null);
     const serviceEpochRef = useRef(0);
     const serviceCreationEpochRef = useRef(null);
-    const allSlashCommands = useMemo(() => mergeTuiSlashCommands(availableSlashCommands), [availableSlashCommands]);
+    const allSlashCommands = useMemo(() => mergeTuiSlashCommands([
+        ...(terminalSetupCommand === null ? [] : [terminalSetupCommand]),
+        ...availableSlashCommands,
+    ]), [availableSlashCommands, terminalSetupCommand]);
     const builtinSlashCommands = useMemo(() => allSlashCommands.filter((command) => command.source === 'builtin'), [allSlashCommands]);
     const customSlashCommands = useMemo(() => allSlashCommands.filter((command) => command.source !== 'builtin'), [allSlashCommands]);
     const commandQuery = commandPaletteOpen ? slashCommandQuery(input) : null;
@@ -451,6 +522,88 @@ export function InteractiveApp({ factory, initialSessions, initialPrompt, initia
             void closing.catch(() => undefined);
     }, []);
     const append = (line) => setHistory((current) => [...current, line]);
+    useEffect(() => {
+        if (initialThemeSettings !== undefined) {
+            if (initialThemeLoadError)
+                append({ kind: 'warning', text: initialThemeLoadError });
+            return;
+        }
+        let cancelled = false;
+        void presentationThemeStore.load().then((loaded) => {
+            if (!cancelled)
+                setThemeSettings(themeSettingsWithCustomTheme(loaded, customThemes));
+        }, (error) => {
+            if (!cancelled)
+                append({
+                    kind: 'warning',
+                    text: `Unable to load theme settings: ${error instanceof Error ? error.message : String(error)}`,
+                });
+        });
+        return () => {
+            cancelled = true;
+        };
+    }, [
+        customThemes,
+        initialThemeLoadError,
+        initialThemeSettings,
+        presentationThemeStore,
+    ]);
+    useEffect(() => {
+        let cancelled = false;
+        void Promise.resolve(presentationThemeStore.loadCustomThemes?.() ?? []).then((themes) => {
+            if (!cancelled && themes)
+                setCustomThemes(themes);
+        }, (error) => {
+            if (!cancelled)
+                append({
+                    kind: 'warning',
+                    text: `Unable to load custom themes: ${error instanceof Error ? error.message : String(error)}`,
+                });
+        });
+        return () => {
+            cancelled = true;
+        };
+    }, [presentationThemeStore]);
+    useEffect(() => {
+        if (suppliedRuntimeSettings !== undefined)
+            return;
+        let cancelled = false;
+        void loadConfigSettings(configTarget).then((snapshot) => {
+            if (!cancelled)
+                setRuntimeSettings(projectRuntimeSettings(snapshot));
+        }, (error) => {
+            if (!cancelled)
+                append({
+                    kind: 'warning',
+                    text: `Unable to load runtime settings: ${error instanceof Error ? error.message : String(error)}`,
+                });
+        });
+        return () => {
+            cancelled = true;
+        };
+    }, [configTarget, suppliedRuntimeSettings]);
+    useEffect(() => {
+        if (runtimeSettings.recap &&
+            resume?.sessionId &&
+            initialHistory.length > 0) {
+            const recap = sessionRecap(initialHistory);
+            if (recap && !recapShownRef.current) {
+                recapShownRef.current = true;
+                append({ kind: 'notice', text: recap });
+            }
+        }
+    }, [initialHistory, resume?.sessionId, runtimeSettings.recap]);
+    useEffect(() => {
+        if (!runtimeSettings.defaultToAgentsView || availableAgents.length === 0)
+            return;
+        if (selectingSession || menuRef.current !== null)
+            return;
+        updateMenu({ kind: 'agents', agents: availableAgents, selectedIndex: 0 });
+    }, [
+        availableAgents.length,
+        runtimeSettings.defaultToAgentsView,
+        selectingSession,
+    ]);
     useEffect(() => {
         let cancelled = false;
         void keybindingsLoader(keybindingsRoot).then((loaded) => {
@@ -542,7 +695,7 @@ export function InteractiveApp({ factory, initialSessions, initialPrompt, initia
                 await waitUntilRenderFlush();
                 let result;
                 await suspendTerminal(async () => {
-                    result = await externalEditor(externalEditorRequest.prompt, {
+                    result = await externalEditor(externalEditorInitialContent(externalEditorRequest.prompt, history, runtimeSettingsRef.current.externalEditorContext), {
                         cwd: runtimeCwdRef.current,
                         ...(signal === undefined ? {} : { signal }),
                     });
@@ -567,7 +720,7 @@ export function InteractiveApp({ factory, initialSessions, initialPrompt, initia
         })();
         onTurnChange?.(editing);
         void editing.finally(() => onTurnChange?.(null));
-    }, [externalEditorRequest]);
+    }, [externalEditorRequest, history]);
     useEffect(() => {
         if (!keybindingsEditing)
             return;
@@ -665,6 +818,27 @@ export function InteractiveApp({ factory, initialSessions, initialPrompt, initia
         menuRef.current = next;
         setMenu(next);
     };
+    const refreshTasks = async (existing) => {
+        const commands = await service();
+        if (!sessionId || !commands.taskSnapshots) {
+            const rows = workflowRows(commands.workflows?.() ?? []);
+            updateMenu({
+                kind: 'list',
+                title: 'Background',
+                rows,
+                emptyText: 'No tasks currently running',
+                selectedIndex: 0,
+            });
+            return;
+        }
+        const snapshot = await commands.taskSnapshots(sessionId);
+        const tasks = projectTuiTasks(snapshot);
+        const state = existing
+            ? reconcileTuiTaskPanelState(existing.state, taskEntriesRef.current, tasks)
+            : initialTuiTaskPanelState(tasks);
+        taskEntriesRef.current = tasks;
+        updateMenu({ kind: 'tasks', tasks, state });
+    };
     const updateBtwHistory = (updater) => {
         const next = updater(btwHistoryRef.current);
         btwHistoryRef.current = next;
@@ -782,7 +956,7 @@ export function InteractiveApp({ factory, initialSessions, initialPrompt, initia
             case 'tool-call':
                 if (['Edit', 'Write', 'NotebookEdit'].includes(event.call.name))
                     turnMutatedFilesRef.current = true;
-                permissionCallsRef.current.set(event.call.id, describeTool(event.call, sensitiveValues));
+                permissionCallsRef.current.set(event.call.id, event.call);
                 append({
                     kind: 'tool',
                     call: redactToolCall(event.call, sensitiveValues),
@@ -790,9 +964,21 @@ export function InteractiveApp({ factory, initialSessions, initialPrompt, initia
                 });
                 break;
             case 'permission-decision':
-                if (event.behavior === 'deny') {
-                    const denied = permissionCallsRef.current.get(event.callId) ?? event.callId;
-                    setRecentDenied((current) => [denied, ...current.filter((item) => item !== denied)].slice(0, 20));
+                if (event.behavior === 'deny' &&
+                    event.source === 'auto-classifier' &&
+                    event.autoModeOutcome === 'blocked') {
+                    const denied = permissionCallsRef.current.get(event.callId);
+                    const deniedSessionId = sessionIdRef.current;
+                    if (denied && deniedSessionId) {
+                        const action = {
+                            id: `${event.callId}:${randomUUID()}`,
+                            call: denied,
+                            display: describeRecentlyDeniedAction(denied, sensitiveValues),
+                            reason: event.reason ?? '',
+                            sessionId: deniedSessionId,
+                        };
+                        void recentDeniedStore.record(action).then((entries) => setRecentDenied(entries), (error) => warn(error));
+                    }
                 }
                 append({
                     kind: event.behavior === 'deny' ? 'warning' : 'notice',
@@ -939,9 +1125,13 @@ export function InteractiveApp({ factory, initialSessions, initialPrompt, initia
                     return;
                 settled = true;
                 signal?.removeEventListener('abort', abort);
-                if (questionRef.current === pending)
+                if (questionTimeoutRef.current) {
+                    clearTimeout(questionTimeoutRef.current);
+                    questionTimeoutRef.current = null;
+                }
+                if (questionRef.current?.resolve === pending.resolve)
                     questionRef.current = null;
-                setQuestion((current) => (current === pending ? null : current));
+                setQuestion((current) => current?.resolve === pending.resolve ? null : current);
                 resolveResult(result);
             },
         };
@@ -953,6 +1143,13 @@ export function InteractiveApp({ factory, initialSessions, initialPrompt, initia
         clearComposerInput();
         questionRef.current = pending;
         setQuestion(pending);
+        const timeout = questionTimeoutMilliseconds(runtimeSettingsRef.current.askUserQuestionTimeout);
+        if (timeout !== undefined) {
+            questionTimeoutRef.current = setTimeout(() => {
+                questionTimeoutRef.current = null;
+                questionRef.current?.resolve(null);
+            }, timeout);
+        }
     });
     const approvePlan = (request, signal) => new Promise((resolveApproval) => {
         let settled = false;
@@ -1005,6 +1202,14 @@ export function InteractiveApp({ factory, initialSessions, initialPrompt, initia
         setRuntimePreferences(next);
         return next;
     };
+    const isSessionActionApproved = (call) => {
+        const activeSessionId = sessionIdRef.current;
+        return activeSessionId
+            ? (approvedSessionActionsRef.current
+                .get(activeSessionId)
+                ?.has(claudePermissionActionKey(call)) ?? false)
+            : false;
+    };
     const service = async () => {
         if (serviceRef.current)
             return serviceRef.current;
@@ -1028,6 +1233,7 @@ export function InteractiveApp({ factory, initialSessions, initialPrompt, initia
                         : { model: preferences.model }),
                     effort: preferences.effort,
                     permissionMode: preferences.permissionMode,
+                    isSessionActionApproved,
                     additionalDirectories: preferences.additionalDirectories,
                     cwd: runtimeCwdRef.current,
                     ...(signal ? { signal } : {}),
@@ -1066,6 +1272,13 @@ export function InteractiveApp({ factory, initialSessions, initialPrompt, initia
             }
         }
     };
+    const reloadRuntimeSettings = async (snapshot) => {
+        const current = snapshot ?? (await loadConfigSettings(configTarget));
+        const projected = projectRuntimeSettings(current);
+        runtimeSettingsRef.current = projected;
+        setRuntimeSettings(projected);
+        return projected;
+    };
     const withLocalCommands = async (operation) => {
         if (serviceRef.current)
             return operation(serviceRef.current);
@@ -1076,6 +1289,7 @@ export function InteractiveApp({ factory, initialSessions, initialPrompt, initia
             ...(preferences.model === undefined ? {} : { model: preferences.model }),
             effort: preferences.effort,
             permissionMode: preferences.permissionMode,
+            isSessionActionApproved,
             additionalDirectories: preferences.additionalDirectories,
             cwd: runtimeCwdRef.current,
             ...(signal ? { signal } : {}),
@@ -1088,7 +1302,11 @@ export function InteractiveApp({ factory, initialSessions, initialPrompt, initia
         }
     };
     const openSession = (nextSessionId) => {
+        sessionIdRef.current = nextSessionId;
         setSessionId(nextSessionId);
+        setActiveSessionSummary(nextSessionId === null
+            ? undefined
+            : initialSessions.find((session) => session.sessionId === nextSessionId));
         const loadId = sessionLoadRef.current + 1;
         sessionLoadRef.current = loadId;
         if (nextSessionId === null) {
@@ -1173,14 +1391,7 @@ export function InteractiveApp({ factory, initialSessions, initialPrompt, initia
             setBusy(true);
             setStatus('loading tasks');
             try {
-                const rows = workflowRows((await service()).workflows?.() ?? []);
-                updateMenu({
-                    kind: 'list',
-                    title: 'Background',
-                    rows,
-                    emptyText: 'No tasks currently running',
-                    selectedIndex: 0,
-                });
+                await refreshTasks();
             }
             catch (error) {
                 warn(error);
@@ -1224,6 +1435,15 @@ export function InteractiveApp({ factory, initialSessions, initialPrompt, initia
             });
             return;
         }
+        if (!runtimeSettingsRef.current.copyFullResponse &&
+            shouldShowCopyPicker(response.text)) {
+            updateMenu({
+                kind: 'copy',
+                candidates: copyCandidates(response.text),
+                selectedIndex: 0,
+            });
+            return;
+        }
         const copying = clipboardWriter(response.text).then(() => append({
             kind: 'local-result',
             text: `Copied ${position === 1 ? 'last' : `${ordinal(position)}-latest`} response to clipboard.`,
@@ -1297,16 +1517,43 @@ export function InteractiveApp({ factory, initialSessions, initialPrompt, initia
             setBusy(true);
             setStatus('loading MCP servers');
             try {
-                const servers = (await service()).runtimeInfo?.().mcpServers ?? [];
+                const commands = await service();
+                if (!commands.mcpInspect || !commands.mcpTools) {
+                    const servers = commands.runtimeInfo?.().mcpServers ?? [];
+                    updateMenu({
+                        kind: 'list',
+                        title: 'MCP servers',
+                        rows: servers.map((server) => ({
+                            label: server.name,
+                            description: server.status,
+                        })),
+                        emptyText: 'No MCP servers configured',
+                        selectedIndex: 0,
+                    });
+                    return;
+                }
+                const configRoot = process.env.CLAUDE_CONFIG_DIR;
+                const management = new ClaudeMcpManagement({
+                    cwd: runtimeCwdRef.current,
+                    ...(configRoot ? { configRoot } : {}),
+                });
+                const controller = new McpPanelController({
+                    cwd: runtimeCwdRef.current,
+                    management,
+                    runtime: mcpRuntimeFromSession({
+                        mcpInspect: commands.mcpInspect,
+                        mcpReconnect: commands.mcpReconnect ?? (async () => { }),
+                        mcpAuthenticate: commands.mcpAuthenticate ?? (async () => { }),
+                        mcpReload: commands.mcpReload ?? (async () => { }),
+                        mcpTools: commands.mcpTools,
+                    }),
+                });
+                mcpControllerRef.current = controller;
+                const model = await controller.open();
                 updateMenu({
-                    kind: 'list',
-                    title: 'MCP servers',
-                    rows: servers.map((server) => ({
-                        label: server.name,
-                        description: server.status,
-                    })),
-                    emptyText: 'No MCP servers configured',
-                    selectedIndex: 0,
+                    kind: 'mcp',
+                    model,
+                    state: initialTuiMcpPanelState(model),
                 });
             }
             catch (error) {
@@ -1814,6 +2061,7 @@ export function InteractiveApp({ factory, initialSessions, initialPrompt, initia
     };
     const submit = async (prompt, shellCommand, images = []) => {
         const turnNumber = turnNumberRef.current + 1;
+        const turnStartedAt = Date.now();
         turnNumberRef.current = turnNumber;
         turnMutatedFilesRef.current = false;
         scheduledWaitRef.current?.abort();
@@ -1825,10 +2073,14 @@ export function InteractiveApp({ factory, initialSessions, initialPrompt, initia
             ? AbortSignal.any([signal, turnController.signal])
             : turnController.signal;
         setBusy(true);
+        setTurnDuration(undefined);
         setCommandPaletteOpen(false);
         setStatus('assembling-context');
         setActiveText('');
         setActiveThinking('');
+        if (runtimeSettingsRef.current.tips) {
+            setStatus(spinnerTip(runtimeSettingsRef.current) ?? 'assembling-context');
+        }
         if (shellCommand === undefined)
             append({ kind: 'user', text: prompt });
         else
@@ -1838,6 +2090,11 @@ export function InteractiveApp({ factory, initialSessions, initialPrompt, initia
             commands = await service();
             let activeSessionId = sessionId;
             const startedNewSession = activeSessionId === null;
+            if (activeSessionId === null) {
+                activeSessionId = randomUUID();
+                sessionIdRef.current = activeSessionId;
+                setSessionId(activeSessionId);
+            }
             if (activeSessionId && pendingFork) {
                 const fork = await commands.fork(activeSessionId, resume?.forkSessionId);
                 activeSessionId = fork.sessionId;
@@ -1845,20 +2102,21 @@ export function InteractiveApp({ factory, initialSessions, initialPrompt, initia
                 setPendingFork(false);
             }
             const result = shellCommand === undefined
-                ? activeSessionId
-                    ? await commands.resume(activeSessionId, prompt, turnSignal, undefined, images)
-                    : await commands.run(prompt, turnSignal, undefined, undefined, images)
-                : activeSessionId
-                    ? commands.resumeShell
-                        ? await commands.resumeShell(activeSessionId, shellCommand, turnSignal)
+                ? startedNewSession
+                    ? await commands.run(prompt, turnSignal, activeSessionId, undefined, images)
+                    : await commands.resume(activeSessionId, prompt, turnSignal, undefined, images)
+                : startedNewSession
+                    ? commands.runShell
+                        ? await commands.runShell(shellCommand, turnSignal, activeSessionId)
                         : (() => {
                             throw new Error('Interactive shell mode is unavailable');
                         })()
-                    : commands.runShell
-                        ? await commands.runShell(shellCommand, turnSignal)
+                    : commands.resumeShell
+                        ? await commands.resumeShell(activeSessionId, shellCommand, turnSignal)
                         : (() => {
                             throw new Error('Interactive shell mode is unavailable');
                         })();
+            sessionIdRef.current = result.sessionId;
             setSessionId(result.sessionId);
             if (startedNewSession &&
                 runtimePreferencesRef.current.permissionMode !== 'default') {
@@ -1887,6 +2145,17 @@ export function InteractiveApp({ factory, initialSessions, initialPrompt, initia
             setActiveText('');
             setActiveThinking('');
             setStatus('ready');
+            setTurnDuration(Date.now() - turnStartedAt);
+            if (runtimeSettingsRef.current.notifChannel !== 'notifications_disabled') {
+                notifyTerminal({
+                    channel: runtimeSettingsRef.current.notifChannel,
+                    title: 'Praxis',
+                    message: 'Turn complete',
+                    ...(notificationWriter === undefined
+                        ? {}
+                        : { write: notificationWriter }),
+                });
+            }
         }
         catch (error) {
             if (turnController.signal.aborted && !signal?.aborted) {
@@ -2059,9 +2328,11 @@ export function InteractiveApp({ factory, initialSessions, initialPrompt, initia
                     ? ['Help', 'Tabs']
                     : menuRef.current.kind === 'permission-dashboard'
                         ? ['Settings', 'Tabs']
-                        : menuRef.current.kind === 'model'
-                            ? ['ModelPicker', 'Select']
-                            : ['Select']
+                        : menuRef.current.kind === 'theme'
+                            ? ['ThemePicker', 'Select']
+                            : menuRef.current.kind === 'model'
+                                ? ['ModelPicker', 'Select']
+                                : ['Select']
             : commandPaletteVisible || filePickerVisible
                 ? ['Autocomplete', 'Chat']
                 : permission || planApproval
@@ -2091,6 +2362,24 @@ export function InteractiveApp({ factory, initialSessions, initialPrompt, initia
             return;
         }
         const isKeybinding = (action) => keybindingAction === action;
+        if (runtimeSettingsRef.current.editor === 'vim' &&
+            !permission &&
+            !planApproval &&
+            !question &&
+            !elicitation &&
+            menuRef.current === null) {
+            if (!vimInsertMode) {
+                if (value === 'i' || value === 'a')
+                    setVimInsertMode(true);
+                else if (key.leftArrow || key.rightArrow)
+                    editComposer();
+                return;
+            }
+            if (key.escape || value === '\u001B') {
+                setVimInsertMode(false);
+                return;
+            }
+        }
         if (permission) {
             if (lower === 'y' || value === '1') {
                 permission.resolve(true);
@@ -2233,6 +2522,255 @@ export function InteractiveApp({ factory, initialSessions, initialPrompt, initia
             return;
         }
         const earlyMenu = menuRef.current;
+        if (earlyMenu?.kind === 'copy') {
+            if (key.escape || value === '\u001B') {
+                updateMenu(null);
+                return;
+            }
+            if (key.upArrow || key.downArrow) {
+                updateMenu({
+                    ...earlyMenu,
+                    selectedIndex: Math.max(0, Math.min(earlyMenu.candidates.length - 1, earlyMenu.selectedIndex + (key.upArrow ? -1 : 1))),
+                });
+                return;
+            }
+            if (/^[1-9]$/u.test(value)) {
+                updateMenu({
+                    ...earlyMenu,
+                    selectedIndex: Math.min(earlyMenu.candidates.length - 1, Number(value) - 1),
+                });
+                return;
+            }
+            if (key.return) {
+                const candidate = earlyMenu.candidates[earlyMenu.selectedIndex];
+                if (!candidate)
+                    return;
+                const copying = clipboardWriter(candidate.text).then(() => {
+                    updateMenu(null);
+                    append({
+                        kind: 'local-result',
+                        text: `Copied ${candidate.label.toLowerCase()} to clipboard.`,
+                    });
+                }, (error) => warn(error));
+                onTurnChange?.(copying);
+                void copying.finally(() => onTurnChange?.(null));
+            }
+            return;
+        }
+        if (earlyMenu?.kind === 'agents') {
+            if (key.escape || value === '\u001B') {
+                updateMenu(null);
+                return;
+            }
+            if (key.upArrow || key.downArrow) {
+                updateMenu({
+                    ...earlyMenu,
+                    selectedIndex: Math.max(0, Math.min(earlyMenu.agents.length - 1, earlyMenu.selectedIndex + (key.upArrow ? -1 : 1))),
+                });
+            }
+            else if (key.return) {
+                const agent = earlyMenu.agents[earlyMenu.selectedIndex];
+                if (agent) {
+                    updateComposerInput(`@${agent.name} `);
+                    updateMenu(null);
+                }
+            }
+            return;
+        }
+        if (earlyMenu?.kind === 'tasks') {
+            if (key.escape || value === '\u001B') {
+                updateMenu(null);
+                return;
+            }
+            const selected = earlyMenu.tasks[earlyMenu.state.selectedIndex];
+            if ((value.toLowerCase() === 'x' || value === 'X') &&
+                selected?.status === 'running') {
+                const stopping = (async () => {
+                    setBusy(true);
+                    try {
+                        const commands = await service();
+                        if (!sessionId || !commands.stopTask)
+                            throw new Error('Task controls are unavailable.');
+                        await commands.stopTask(sessionId, selected.id);
+                        await refreshTasks(earlyMenu);
+                    }
+                    catch (error) {
+                        warn(error);
+                    }
+                    finally {
+                        setBusy(false);
+                    }
+                })();
+                onTurnChange?.(stopping);
+                void stopping.finally(() => onTurnChange?.(null));
+                return;
+            }
+            if (key.upArrow ||
+                key.downArrow ||
+                key.return ||
+                key.leftArrow ||
+                key.rightArrow) {
+                const action = key.upArrow
+                    ? { type: 'move', delta: -1 }
+                    : key.downArrow
+                        ? { type: 'move', delta: 1 }
+                        : key.return
+                            ? { type: 'open' }
+                            : { type: 'back' };
+                const state = updateTuiTaskPanelState(earlyMenu.state, earlyMenu.tasks, action);
+                updateMenu({ ...earlyMenu, state });
+            }
+            return;
+        }
+        if (earlyMenu?.kind === 'mcp') {
+            if (key.escape || value === '\u001B') {
+                const transition = mcpControllerRef.current
+                    ? { state: earlyMenu.state, command: { type: 'close' } }
+                    : undefined;
+                if (transition?.command?.type === 'close')
+                    updateMenu(null);
+                return;
+            }
+            const input = key.upArrow
+                ? { type: 'up' }
+                : key.downArrow
+                    ? { type: 'down' }
+                    : key.return
+                        ? { type: 'confirm' }
+                        : key.leftArrow
+                            ? { type: 'back' }
+                            : null;
+            if (input && mcpControllerRef.current) {
+                const dispatch = mcpControllerRef.current.dispatch(earlyMenu.model, earlyMenu.state, input);
+                const operation = (async () => {
+                    setBusy(true);
+                    try {
+                        const result = await dispatch;
+                        if (result.closed)
+                            updateMenu(null);
+                        else
+                            updateMenu({
+                                kind: 'mcp',
+                                model: result.model,
+                                state: result.state,
+                            });
+                        if (result.error)
+                            warn(result.error);
+                    }
+                    catch (error) {
+                        warn(error);
+                    }
+                    finally {
+                        setBusy(false);
+                    }
+                })();
+                onTurnChange?.(operation);
+                void operation.finally(() => onTurnChange?.(null));
+            }
+            return;
+        }
+        if (earlyMenu?.kind === 'config') {
+            if (key.escape || value === '\u001B') {
+                if (earlyMenu.searchFocused && earlyMenu.query) {
+                    updateMenu({ ...earlyMenu, query: '' });
+                }
+                else {
+                    updateMenu(null);
+                }
+                return;
+            }
+            const rows = projectConfigRows(earlyMenu.snapshot, earlyMenu.query);
+            if (key.leftArrow || key.rightArrow || key.tab) {
+                const tabs = [
+                    'settings',
+                    'status',
+                    'config',
+                    'usage',
+                    'stats',
+                ];
+                const index = tabs.indexOf(earlyMenu.tab);
+                const direction = key.leftArrow || (key.tab && key.shift) ? -1 : 1;
+                const tab = tabs[Math.max(0, Math.min(tabs.length - 1, index + direction))] ??
+                    'config';
+                updateMenu({
+                    ...earlyMenu,
+                    tab,
+                    selectedIndex: 0,
+                    searchFocused: tab === 'config',
+                });
+                return;
+            }
+            if (earlyMenu.tab !== 'config')
+                return;
+            if (key.upArrow || key.downArrow) {
+                updateMenu({
+                    ...earlyMenu,
+                    searchFocused: false,
+                    selectedIndex: Math.max(0, Math.min(Math.max(0, rows.length - 1), earlyMenu.selectedIndex + (key.upArrow ? -1 : 1))),
+                });
+                return;
+            }
+            if (value === '/' && !earlyMenu.searchFocused) {
+                updateMenu({ ...earlyMenu, searchFocused: true });
+                return;
+            }
+            if (earlyMenu.searchFocused && key.backspace) {
+                updateMenu({ ...earlyMenu, query: earlyMenu.query.slice(0, -1) });
+                return;
+            }
+            if (earlyMenu.searchFocused &&
+                !key.ctrl &&
+                !key.meta &&
+                value &&
+                printable) {
+                updateMenu({
+                    ...earlyMenu,
+                    query: earlyMenu.query + value,
+                    selectedIndex: 0,
+                });
+                return;
+            }
+            if (key.return || value === ' ') {
+                const row = rows[earlyMenu.selectedIndex];
+                if (!row)
+                    return;
+                const definition = configSettingDefinition(row.definition.id);
+                if (!definition || definition.values === 'language') {
+                    append({
+                        kind: 'warning',
+                        text: 'This setting requires a typed value and is not yet editable in the panel.',
+                    });
+                    return;
+                }
+                const values = definition.values;
+                const currentIndex = values.indexOf(row.value);
+                const value = values[(currentIndex + 1) % values.length];
+                if (value === undefined)
+                    return;
+                const saving = (async () => {
+                    setBusy(true);
+                    try {
+                        const snapshot = await saveConfigSetting(definition.id, value, configTarget);
+                        await reloadRuntimeSettings(snapshot);
+                        await retireService();
+                        updateMenu({ ...earlyMenu, snapshot });
+                        append({
+                            kind: 'local-result',
+                            text: `${definition.label} set to ${String(value)}`,
+                        });
+                    }
+                    catch (error) {
+                        warn(error);
+                    }
+                    finally {
+                        setBusy(false);
+                    }
+                })();
+                onTurnChange?.(saving);
+                void saving.finally(() => onTurnChange?.(null));
+            }
+            return;
+        }
         if (earlyMenu?.kind === 'memory') {
             if (key.escape || value === '\u001B') {
                 updateMenu(null);
@@ -2792,6 +3330,68 @@ export function InteractiveApp({ factory, initialSessions, initialPrompt, initia
                         selectedIndex: -1,
                     });
                 }
+                else if (activeMenu.tabIndex === 0 &&
+                    activeMenu.selectedIndex >= 0 &&
+                    (key.return || value.toLowerCase() === 'r')) {
+                    const action = recentDenied[activeMenu.selectedIndex];
+                    if (!action)
+                        return;
+                    const operation = (async () => {
+                        setBusy(true);
+                        const approvals = approvedSessionActionsRef.current.get(action.sessionId) ??
+                            new Set();
+                        const actionKey = claudePermissionActionKey(action.call);
+                        const wasApproved = approvals.has(actionKey);
+                        approvals.add(actionKey);
+                        approvedSessionActionsRef.current.set(action.sessionId, approvals);
+                        try {
+                            const commands = await service();
+                            if (value.toLowerCase() === 'r') {
+                                if (!commands.retryRecentlyDenied) {
+                                    throw new Error('Recently denied retry is unavailable.');
+                                }
+                                setRetryingDeniedId(action.id);
+                                const result = await commands.retryRecentlyDenied(action.sessionId, action.display, signal);
+                                sessionIdRef.current = result.sessionId;
+                                setSessionId(result.sessionId);
+                                setUsage(result.usage);
+                                setCostUsd(result.costUsd);
+                                append({ kind: 'assistant', text: result.text });
+                                updateMenu(null);
+                            }
+                            else {
+                                if (!commands.approveRecentlyDenied) {
+                                    throw new Error('Recently denied approval is unavailable.');
+                                }
+                                await commands.approveRecentlyDenied(action.sessionId, action.display);
+                                const entries = await recentDeniedStore.remove(action.id);
+                                setRecentDenied(entries);
+                                append({
+                                    kind: 'notice',
+                                    text: `Approved ${action.display}`,
+                                });
+                                updateMenu({
+                                    kind: 'permission-dashboard',
+                                    tabIndex: entries.length > 0 ? 0 : 1,
+                                    selectedIndex: entries.length > 0 ? 0 : -1,
+                                    query: '',
+                                    rules: activeMenu.rules,
+                                });
+                            }
+                        }
+                        catch (error) {
+                            if (!wasApproved)
+                                approvals.delete(actionKey);
+                            warn(error);
+                        }
+                        finally {
+                            setRetryingDeniedId(null);
+                            setBusy(false);
+                        }
+                    })();
+                    onTurnChange?.(operation);
+                    void operation.finally(() => onTurnChange?.(null));
+                }
                 else if (key.return && behavior && activeMenu.selectedIndex === 0) {
                     clearComposerInput();
                     updateMenu({
@@ -3089,6 +3689,317 @@ export function InteractiveApp({ factory, initialSessions, initialPrompt, initia
                 }
                 return;
             }
+            if (activeMenu.kind === 'theme') {
+                const themeOptionCount = TUI_THEMES.length + customThemes.length + 1;
+                const lastThemeOptionIndex = themeOptionCount - 1;
+                if (key.escape || value === '\u001B') {
+                    updateMenu(null);
+                }
+                else if (isKeybinding('theme:editCustom') || controlKey('e')) {
+                    const options = [
+                        ...TUI_THEMES,
+                        ...customThemes.map((theme) => `custom:${theme.slug}`),
+                    ];
+                    const selected = options[activeMenu.selectedIndex];
+                    const theme = selected?.startsWith('custom:')
+                        ? customThemes.find((entry) => `custom:${entry.slug}` === selected)
+                        : undefined;
+                    if (!theme) {
+                        append({
+                            kind: 'warning',
+                            text: 'Only custom themes can be edited.',
+                        });
+                    }
+                    else {
+                        updateMenu({
+                            kind: 'custom-theme-editor',
+                            theme,
+                            selectedIndex: 0,
+                            query: '',
+                        });
+                    }
+                }
+                else if (isKeybinding('theme:toggleSyntaxHighlighting')) {
+                    const syntaxHighlightingDisabled = !themeSettings.syntaxHighlightingDisabled;
+                    const saving = (async () => {
+                        setBusy(true);
+                        try {
+                            const committed = await presentationThemeStore.save({
+                                syntaxHighlightingDisabled,
+                            });
+                            setThemeSettings(committed);
+                        }
+                        catch (error) {
+                            warn(error);
+                        }
+                        finally {
+                            setBusy(false);
+                        }
+                    })();
+                    onTurnChange?.(saving);
+                    void saving.finally(() => onTurnChange?.(null));
+                }
+                else if (key.upArrow || key.downArrow) {
+                    updateMenu({
+                        ...activeMenu,
+                        selectedIndex: Math.max(0, Math.min(lastThemeOptionIndex, activeMenu.selectedIndex + (key.upArrow ? -1 : 1))),
+                    });
+                }
+                else if (/^[1-9]$/u.test(value)) {
+                    updateMenu({
+                        ...activeMenu,
+                        selectedIndex: Math.min(lastThemeOptionIndex, Number(value) - 1),
+                    });
+                }
+                else if (key.return) {
+                    const options = [
+                        ...TUI_THEMES,
+                        ...customThemes.map((theme) => `custom:${theme.slug}`),
+                        '__new__',
+                    ];
+                    const selected = options[activeMenu.selectedIndex];
+                    if (!selected)
+                        return;
+                    if (selected === '__new__') {
+                        const base = themeSettings.theme.startsWith('custom:')
+                            ? (themeSettings.customTheme?.base ?? 'dark')
+                            : themeSettings.theme === 'auto'
+                                ? 'dark'
+                                : themeSettings.theme;
+                        updateMenu({ kind: 'custom-theme-create', base });
+                        return;
+                    }
+                    const saving = (async () => {
+                        setBusy(true);
+                        try {
+                            const customTheme = selected.startsWith('custom:')
+                                ? customThemes.find((theme) => `custom:${theme.slug}` === selected)
+                                : undefined;
+                            const committed = await presentationThemeStore.save({
+                                theme: selected,
+                                ...(customTheme === undefined ? {} : { customTheme }),
+                            });
+                            setThemeSettings(committed);
+                            updateMenu(null);
+                            append({
+                                kind: 'local-result',
+                                text: `Theme set to ${customTheme?.name ?? selected}`,
+                            });
+                        }
+                        catch (error) {
+                            warn(error);
+                        }
+                        finally {
+                            setBusy(false);
+                        }
+                    })();
+                    onTurnChange?.(saving);
+                    void saving.finally(() => onTurnChange?.(null));
+                }
+                return;
+            }
+            if (activeMenu.kind === 'custom-theme-create') {
+                if (key.escape || value === '\u001B') {
+                    clearComposerInput();
+                    updateMenu(null);
+                }
+                else if (key.return) {
+                    const name = inputRef.current.trim() || 'my-theme';
+                    const creating = (async () => {
+                        setBusy(true);
+                        try {
+                            const create = presentationThemeStore.createCustomTheme;
+                            if (!create)
+                                throw new Error('Custom theme controls are unavailable.');
+                            const theme = await create({ name, base: activeMenu.base });
+                            setCustomThemes((current) => [...current, theme].sort((left, right) => left.name.localeCompare(right.name)));
+                            const committed = await presentationThemeStore.save({
+                                theme: `custom:${theme.slug}`,
+                                customTheme: theme,
+                            });
+                            setThemeSettings(committed);
+                            clearComposerInput();
+                            updateMenu(null);
+                            append({
+                                kind: 'local-result',
+                                text: `Using custom theme "${theme.name}"`,
+                            });
+                        }
+                        catch (error) {
+                            warn(error);
+                        }
+                        finally {
+                            setBusy(false);
+                        }
+                    })();
+                    onTurnChange?.(creating);
+                    void creating.finally(() => onTurnChange?.(null));
+                }
+                else {
+                    editComposer();
+                }
+                return;
+            }
+            if (activeMenu.kind === 'custom-theme-editor') {
+                const filteredTokens = CUSTOM_THEME_TOKENS.filter((token) => token.toLowerCase().includes(activeMenu.query.toLowerCase()));
+                if (key.escape || value === '\u001B') {
+                    clearComposerInput();
+                    updateMenu(null);
+                }
+                else if (key.upArrow || key.downArrow) {
+                    updateMenu({
+                        ...activeMenu,
+                        selectedIndex: Math.max(0, Math.min(Math.max(0, filteredTokens.length - 1), activeMenu.selectedIndex + (key.upArrow ? -1 : 1))),
+                    });
+                }
+                else if (key.return) {
+                    const token = filteredTokens[activeMenu.selectedIndex];
+                    if (token) {
+                        const current = activeMenu.theme.overrides[token] ?? '';
+                        clearComposerInput();
+                        updateMenu({
+                            kind: 'custom-theme-token',
+                            theme: activeMenu.theme,
+                            token,
+                        });
+                        updateComposerInput(current);
+                    }
+                }
+                else if (key.tab) {
+                    const token = filteredTokens[activeMenu.selectedIndex];
+                    if (token && activeMenu.theme.overrides[token] !== undefined) {
+                        const resetting = (async () => {
+                            setBusy(true);
+                            try {
+                                const update = presentationThemeStore.updateCustomTheme;
+                                if (!update)
+                                    throw new Error('Custom theme controls are unavailable.');
+                                const next = await update(activeMenu.theme, token, undefined);
+                                setCustomThemes((current) => current.map((entry) => entry.slug === next.slug ? next : entry));
+                                setThemeSettings((current) => ({
+                                    ...current,
+                                    theme: `custom:${next.slug}`,
+                                    customTheme: next,
+                                }));
+                                updateMenu({ ...activeMenu, theme: next });
+                            }
+                            catch (error) {
+                                warn(error);
+                            }
+                            finally {
+                                setBusy(false);
+                            }
+                        })();
+                        onTurnChange?.(resetting);
+                        void resetting.finally(() => onTurnChange?.(null));
+                    }
+                }
+                else if (key.backspace || key.delete) {
+                    updateMenu({
+                        ...activeMenu,
+                        query: activeMenu.query.slice(0, -1),
+                        selectedIndex: 0,
+                    });
+                }
+                else if (!key.ctrl && !key.meta && value && printable) {
+                    updateMenu({
+                        ...activeMenu,
+                        query: activeMenu.query + value,
+                        selectedIndex: 0,
+                    });
+                }
+                else if (controlKey('d')) {
+                    updateMenu({
+                        kind: 'custom-theme-delete',
+                        theme: activeMenu.theme,
+                        selectedIndex: 0,
+                    });
+                }
+                return;
+            }
+            if (activeMenu.kind === 'custom-theme-token') {
+                if (key.escape || value === '\u001B') {
+                    clearComposerInput();
+                    updateMenu({
+                        kind: 'custom-theme-editor',
+                        theme: activeMenu.theme,
+                        selectedIndex: 0,
+                        query: '',
+                    });
+                }
+                else if (key.return) {
+                    const valueToSave = inputRef.current.trim();
+                    const saving = (async () => {
+                        setBusy(true);
+                        try {
+                            const update = presentationThemeStore.updateCustomTheme;
+                            if (!update)
+                                throw new Error('Custom theme controls are unavailable.');
+                            const next = await update(activeMenu.theme, activeMenu.token, valueToSave);
+                            setCustomThemes((current) => current.map((entry) => entry.slug === next.slug ? next : entry));
+                            setThemeSettings((current) => ({
+                                ...current,
+                                theme: `custom:${next.slug}`,
+                                customTheme: next,
+                            }));
+                            clearComposerInput();
+                            updateMenu({
+                                kind: 'custom-theme-editor',
+                                theme: next,
+                                selectedIndex: 0,
+                                query: '',
+                            });
+                        }
+                        catch (error) {
+                            warn(error);
+                        }
+                        finally {
+                            setBusy(false);
+                        }
+                    })();
+                    onTurnChange?.(saving);
+                    void saving.finally(() => onTurnChange?.(null));
+                }
+                else {
+                    editComposer();
+                }
+                return;
+            }
+            if (activeMenu.kind === 'custom-theme-delete') {
+                if (key.escape || value === '\u001B') {
+                    updateMenu(null);
+                }
+                else if (key.return || value.toLowerCase() === 'y') {
+                    const deleting = (async () => {
+                        setBusy(true);
+                        try {
+                            const remove = presentationThemeStore.deleteCustomTheme;
+                            if (!remove)
+                                throw new Error('Custom theme controls are unavailable.');
+                            await remove(activeMenu.theme);
+                            setCustomThemes((current) => current.filter((entry) => entry.slug !== activeMenu.theme.slug));
+                            const committed = await presentationThemeStore.save({
+                                theme: activeMenu.theme.base,
+                            });
+                            setThemeSettings(committed);
+                            updateMenu(null);
+                            append({
+                                kind: 'local-result',
+                                text: `Deleted custom theme "${activeMenu.theme.name}"`,
+                            });
+                        }
+                        catch (error) {
+                            warn(error);
+                        }
+                        finally {
+                            setBusy(false);
+                        }
+                    })();
+                    onTurnChange?.(deleting);
+                    void deleting.finally(() => onTurnChange?.(null));
+                }
+                return;
+            }
             if (activeMenu.kind === 'compact-progress') {
                 if (key.escape || value === '\u001B' || isKeybinding('chat:cancel')) {
                     turnControllerRef.current?.abort();
@@ -3099,6 +4010,11 @@ export function InteractiveApp({ factory, initialSessions, initialPrompt, initia
                 updateMenu(null);
                 return;
             }
+            if (activeMenu.kind === 'mcp' ||
+                activeMenu.kind === 'tasks' ||
+                activeMenu.kind === 'config') {
+                return;
+            }
             const optionCount = activeMenu.kind === 'model'
                 ? modelOptions.length
                 : EFFORT_OPTIONS.length;
@@ -3194,6 +4110,13 @@ export function InteractiveApp({ factory, initialSessions, initialPrompt, initia
             if (key.tab)
                 return;
         }
+        if (runtimeSettingsRef.current.leftArrowOpensAgents &&
+            key.leftArrow &&
+            inputRef.current.length === 0 &&
+            availableAgents.length > 0) {
+            updateMenu({ kind: 'agents', agents: availableAgents, selectedIndex: 0 });
+            return;
+        }
         if (isKeybinding('chat:cancel')) {
             const now = Date.now();
             if (now - lastEscapeAtRef.current <= 500)
@@ -3236,7 +4159,7 @@ export function InteractiveApp({ factory, initialSessions, initialPrompt, initia
                 return;
             }
         }
-        const implicitShiftNewline = key.return && key.shift && keybindingAction === undefined;
+        const implicitShiftNewline = key.return && (key.shift || key.meta) && keybindingAction === undefined;
         if (isKeybinding('chat:submit') ||
             isKeybinding('chat:newline') ||
             implicitShiftNewline) {
@@ -3257,6 +4180,7 @@ export function InteractiveApp({ factory, initialSessions, initialPrompt, initia
             if (!prompt || prompt === '!')
                 return;
             const copyCommand = /^\/copy(?:\s+(\d+))?$/u.exec(prompt);
+            const tuiCommand = /^\/tui(?:\s+(default|fullscreen))?$/u.exec(prompt);
             const renameCommand = /^\/rename(?:\s+(.+))?$/u.exec(prompt);
             const cdCommand = /^\/cd(?:\s+(.+))?$/u.exec(prompt);
             const btwCommand = /^\/btw(?:\s+([\s\S]+))?$/u.exec(prompt);
@@ -3294,6 +4218,34 @@ export function InteractiveApp({ factory, initialSessions, initialPrompt, initia
                     selectedIndex: EFFORT_OPTIONS.indexOf(runtimePreferences.effort),
                 });
             }
+            else if (prompt === '/theme') {
+                updateMenu({
+                    kind: 'theme',
+                    selectedIndex: Math.max(0, themeSettings.theme.startsWith('custom:')
+                        ? TUI_THEMES.length +
+                            customThemes.findIndex((theme) => `custom:${theme.slug}` === themeSettings.theme)
+                        : TUI_THEMES.indexOf(themeSettings.theme)),
+                });
+            }
+            else if (prompt === '/terminal-setup') {
+                const setup = (async () => {
+                    setBusy(true);
+                    setStatus('configuring terminal');
+                    try {
+                        const result = await (terminalSetupOverride ?? setupTuiTerminal)();
+                        append({ kind: 'local-result', text: result });
+                    }
+                    catch (error) {
+                        warn(error);
+                    }
+                    finally {
+                        setBusy(false);
+                        setStatus('ready');
+                    }
+                })();
+                onTurnChange?.(setup);
+                void setup.finally(() => onTurnChange?.(null));
+            }
             else if (prompt === '/keybindings') {
                 setKeybindingsEditing(true);
             }
@@ -3382,10 +4334,12 @@ export function InteractiveApp({ factory, initialSessions, initialPrompt, initia
                 const loading = (async () => {
                     setBusy(true);
                     try {
+                        const entries = await recentDeniedStore.load();
+                        setRecentDenied(entries);
                         updateMenu({
                             kind: 'permission-dashboard',
-                            tabIndex: 1,
-                            selectedIndex: -1,
+                            tabIndex: entries.length > 0 ? 0 : 1,
+                            selectedIndex: entries.length > 0 ? 0 : -1,
                             query: '',
                             rules: await permissionStore.load(),
                         });
@@ -3511,11 +4465,69 @@ export function InteractiveApp({ factory, initialSessions, initialPrompt, initia
                 updateMenu({ kind: 'status', tabIndex: 1 });
             }
             else if (prompt === '/config') {
-                updateMenu({ kind: 'status', tabIndex: 2 });
+                const initial = {
+                    kind: 'config',
+                    snapshot: { settings: {}, state: {} },
+                    tab: 'config',
+                    selectedIndex: 0,
+                    query: '',
+                    searchFocused: true,
+                };
+                updateMenu(initial);
+                const loading = (async () => {
+                    setBusy(true);
+                    try {
+                        const snapshot = await loadConfigSettings(configTarget);
+                        if (menuRef.current?.kind === 'config')
+                            updateMenu({ ...menuRef.current, snapshot });
+                    }
+                    catch (error) {
+                        warn(error);
+                    }
+                    finally {
+                        setBusy(false);
+                    }
+                })();
+                onTurnChange?.(loading);
+                void loading.finally(() => onTurnChange?.(null));
+            }
+            else if (tuiCommand) {
+                const mode = tuiCommand[1];
+                if (!mode) {
+                    append({
+                        kind: 'local-result',
+                        text: `TUI renderer: ${runtimeSettingsRef.current.tui}. Usage: /tui default|fullscreen`,
+                    });
+                }
+                else {
+                    const saving = (async () => {
+                        setBusy(true);
+                        try {
+                            const snapshot = await saveConfigSetting('tui', mode, configTarget);
+                            await reloadRuntimeSettings(snapshot);
+                            onRendererChange?.(mode, sessionId);
+                            exit();
+                        }
+                        catch (error) {
+                            warn(error);
+                        }
+                        finally {
+                            setBusy(false);
+                        }
+                    })();
+                    onTurnChange?.(saving);
+                    void saving.finally(() => onTurnChange?.(null));
+                }
             }
             else if (prompt === '/usage') {
                 updateMenu({ kind: 'status', tabIndex: 3 });
             }
+            else if (prompt === '/update') {
+                append({
+                    kind: 'local-result',
+                    text: `Configured auto-update channel: ${autoUpdateTarget(runtimeSettingsRef.current.autoUpdatesChannel)}. Run praxis update to update now.`,
+                });
+            }
             else if (prompt === '/skills' || prompt === '/skill') {
                 updateMenu({
                     kind: 'list',
@@ -3586,161 +4598,247 @@ export function InteractiveApp({ factory, initialSessions, initialPrompt, initia
         }
         editComposer();
     });
-    return (_jsx(Box, { flexDirection: "column", children: selectingSession ? (_jsx(SessionPicker, { sessions: filteredPickerChoices, selectedIndex: selectedIndex, screenReader: axScreenReader, query: sessionSearch })) : (_jsxs(_Fragment, { children: [!axScreenReader && history.length === 0 && !sessionId ? (_jsx(WelcomePanel, { display: runtimeDisplay, width: width })) : null, sessionId ? (_jsxs(Text, { dimColor: true, children: ["Session ", sessionId.slice(0, 8)] })) : null, _jsx(Transcript, { items: history, activeText: activeText, activeThinking: activeThinking, thinkingExpanded: thinkingExpanded, detailedTranscript: thinkingExpanded, screenReader: axScreenReader }), externalEditorRequest !== null ||
-                    keybindingsEditing ||
-                    memoryEditorRequest !== null ? (_jsx(ExternalEditorWait, { screenReader: axScreenReader })) : permission ? (_jsxs(DialogFrame, { title: permission.kind === 'recovery'
-                        ? `Retry interrupted ${permission.call.name}?`
-                        : `Allow ${permission.call.name}?`, screenReader: axScreenReader, children: [_jsx(Text, { bold: true, children: describeTool(permission.call, sensitiveValues) }), _jsx(Text, { children: "\u276F 1. Yes" }), _jsx(Text, { children: " 2. No" }), _jsx(Text, { dimColor: true, children: "Enter/Esc declines \u00B7 y/n quick response" })] })) : planApproval ? (_jsxs(DialogFrame, { title: "Approve this plan and begin implementation?", screenReader: axScreenReader, children: [_jsx(Text, { dimColor: true, children: planApproval.request.planPath }), planApproval.request.plan ? (_jsx(Box, { marginY: 1, children: _jsx(Text, { children: planApproval.request.plan }) })) : null, _jsx(Text, { children: "\u276F 1. Yes, implement the plan" }), _jsx(Text, { children: " 2. No, keep planning" })] })) : question ? (_jsxs(DialogFrame, { title: `${question.questions[question.index]?.header}: ${question.questions[question.index]?.question}`, screenReader: axScreenReader, children: [question.questions[question.index]?.options.map((option, index) => (_jsxs(Box, { flexDirection: "column", children: [_jsxs(Text, { children: [index === 0 ? '❯ ' : '  ', index + 1, ". ", option.label, " \u2014 ", option.description] }), option.preview ? (_jsx(Text, { dimColor: true, children: option.preview })) : null] }, `${index}-${option.label}`))), _jsxs(Text, { children: ["\u203A ", input] }), _jsx(Text, { dimColor: true, children: question.questions[question.index]?.multiSelect
-                                ? 'Enter comma-separated option numbers or custom text · Esc cancels'
-                                : 'Enter one option number or custom text · Esc cancels' })] })) : elicitation ? (_jsxs(DialogFrame, { title: `MCP elicitation (${elicitation.request.serverName})`, screenReader: axScreenReader, children: [_jsx(Text, { children: elicitation.request.message }), elicitation.request.url ? (_jsx(Text, { children: elicitation.request.url })) : null, elicitation.request.requestedSchema ? (_jsx(Text, { dimColor: true, children: JSON.stringify(elicitation.request.requestedSchema) })) : null, _jsxs(Text, { children: ["\u203A ", input] }), _jsx(Text, { dimColor: true, children: "Enter JSON object to accept \u00B7 Esc to cancel" })] })) : menu?.kind === 'model-input' ? (_jsxs(DialogFrame, { title: "Enter model ID", screenReader: axScreenReader, children: [_jsx(Text, { dimColor: true, children: "Enter a model ID supported by the configured provider." }), _jsxs(Text, { children: ["\u203A ", input] }), _jsx(Text, { dimColor: true, children: "Enter confirms \u00B7 Esc cancels" })] })) : menu?.kind === 'export-filename' ? (_jsxs(DialogFrame, { title: "Enter filename:", screenReader: axScreenReader, children: [_jsxs(Text, { children: ["> ", input] }), _jsx(Text, { dimColor: true, children: "Enter to save \u00B7 Esc to go back" })] })) : menu?.kind === 'compact-progress' ? (_jsxs(Box, { flexDirection: "column", children: [_jsx(Text, { children: "\u273B Compacting conversation\u2026" }), _jsxs(Text, { children: ['▰'.repeat(Math.floor(compactProgress / 2)), '▱'.repeat(50 - Math.floor(compactProgress / 2)), ' ', compactProgress, "%"] })] })) : menu?.kind === 'btw' ? (_jsx(BtwPanel, { entries: btwHistory, selectedIndex: menu.selectedIndex, scrollOffset: menu.scrollOffset, copied: btwCopied, width: width, screenReader: axScreenReader })) : menu?.kind === 'rewind' ? (_jsxs(Box, { flexDirection: "column", children: [_jsx(Text, { bold: true, children: " Rewind" }), _jsx(Text, { children: " " }), _jsxs(Text, { children: [' ', "Restore the code and/or conversation to the point before\u2026"] }), _jsx(Text, { children: " " }), (() => {
-                            const window = rewindPointWindow(menu.points, menu.selectedIndex);
-                            return (_jsxs(_Fragment, { children: [window.start > 0 ? (_jsxs(Text, { dimColor: true, children: [" \u2191 ", window.start, " more above"] })) : null, menu.points
-                                        .slice(window.start, window.end)
-                                        .map((point, offset) => {
-                                        const index = window.start + offset;
-                                        return (_jsxs(Box, { flexDirection: "column", marginBottom: 1, children: [_jsxs(Text, { inverse: menu.selectedIndex === index, children: [menu.selectedIndex === index ? ' ❯ ' : '   ', point.prompt.replace(/\s+/gu, ' ').slice(0, 72)] }), _jsxs(Text, { dimColor: true, children: ['     ', point.fileChanges.length > 0
-                                                            ? point.fileChanges
-                                                                .map((path) => path.startsWith(`${runtimeCwd}/`)
-                                                                ? path.slice(runtimeCwd.length + 1)
-                                                                : path)
-                                                                .join(', ')
-                                                            : point.fileRestoreAvailable
-                                                                ? 'No code changes'
-                                                                : '⚠ No code restore'] })] }, point.messageId));
-                                    }), window.end < menu.points.length ? (_jsxs(Text, { dimColor: true, children: [' ', "\u2193 ", menu.points.length - window.end, " more below"] })) : null] }));
-                        })(), _jsxs(Text, { inverse: menu.selectedIndex === menu.points.length, children: [menu.selectedIndex === menu.points.length ? ' ❯ ' : '   ', "(current)"] }), _jsx(Text, { children: " " }), _jsx(Text, { dimColor: true, children: " Enter to continue \u00B7 Esc to cancel" })] })) : menu?.kind === 'rewind-confirm' ? (_jsxs(DialogFrame, { title: "Confirm restore point", screenReader: axScreenReader, children: [_jsxs(Text, { children: ["\u2502 ", menu.point.prompt] }), _jsx(Text, { children: " " }), _jsx(Text, { children: "The conversation will be forked." }), _jsxs(Text, { children: ["The code will", ' ', menu.point.fileChanges.length > 0
-                                    ? `restore ${menu.point.fileChanges.join(', ')}.`
-                                    : 'be unchanged.'] }), _jsx(Text, { children: " " }), rewindActions(menu.point).map((option, index) => (_jsxs(Text, { inverse: menu.selectedIndex === index, children: [menu.selectedIndex === index ? '❯ ' : '  ', index + 1, ". ", option.label] }, option.action))), _jsx(Text, { children: " " }), _jsx(Text, { color: "yellow", children: "\u26A0 Rewinding does not affect files edited manually or via bash." })] })) : menu?.kind === 'rewind-context' ? (_jsxs(DialogFrame, { title: `Summarize ${menu.direction === 'from' ? 'from' : 'up to'} here`, screenReader: axScreenReader, children: [_jsx(Text, { children: menu.direction === 'from'
-                                ? 'Messages after this point will be summarized.'
-                                : 'Messages up to this point will be summarized.' }), _jsx(Text, { children: " " }), _jsxs(Text, { children: ["add context (optional): ", input] }), _jsx(Text, { dimColor: true, children: "Enter to summarize \u00B7 Esc to go back" })] })) : menu?.kind === 'permission-rule-input' ? (_jsxs(Box, { flexDirection: "column", children: [_jsxs(Text, { bold: true, children: ["Add ", menu.behavior, " permission rule"] }), _jsx(Text, { children: "Permission rules are a tool name, optionally followed by a specifier in parentheses." }), _jsx(Text, { children: "e.g., WebFetch or Bash(ls *)" }), _jsx(Text, { children: " " }), _jsx(Box, { borderStyle: axScreenReader ? undefined : 'round', paddingX: axScreenReader ? 0 : 1, children: _jsx(Text, { ...(input ? {} : { dimColor: true }), children: input || 'Enter permission rule…' }) }), _jsx(Text, { dimColor: true, children: "Enter to submit \u00B7 Esc to cancel" })] })) : menu?.kind === 'workspace-directory-input' ? (_jsxs(Box, { flexDirection: "column", children: [_jsx(Text, { bold: true, children: "Add directory to workspace" }), _jsx(Text, { children: "Praxis Code will be able to read files in this directory and make edits when auto-accept edits is on." }), _jsx(Text, { children: " " }), _jsx(Text, { children: "Enter the path to the directory:" }), _jsx(Box, { borderStyle: axScreenReader ? undefined : 'round', paddingX: axScreenReader ? 0 : 1, children: _jsx(Text, { ...(input ? {} : { dimColor: true }), children: input || 'Directory path…' }) }), _jsx(Text, { dimColor: true, children: "Tab to complete \u00B7 Enter to add \u00B7 Esc to cancel" })] })) : menu?.kind === 'permission-delete' ? (_jsxs(DialogFrame, { title: permissionDeleteTitle(menu.rule.behavior), screenReader: axScreenReader, children: [_jsx(Text, { children: menu.rule.rule }), permissionRuleDescription(menu.rule.rule) ? (_jsx(Text, { dimColor: true, children: permissionRuleDescription(menu.rule.rule) })) : null, _jsx(Text, { dimColor: true, children: permissionScopeLabel(menu.rule.scope) }), _jsx(Text, { children: " " }), _jsx(Text, { children: "Are you sure you want to delete this permission rule?" }), _jsx(Text, { children: " " }), _jsxs(Text, { inverse: menu.selectedIndex === 0, children: [menu.selectedIndex === 0 ? '❯ ' : '  ', "1. Yes"] }), _jsxs(Text, { inverse: menu.selectedIndex === 1, children: [menu.selectedIndex === 1 ? '❯ ' : '  ', "2. No"] }), _jsx(Text, { dimColor: true, children: "Esc to cancel" })] })) : menu?.kind === 'workspace-directory-delete' ? (_jsxs(Box, { flexDirection: "column", children: [_jsx(Text, { bold: true, children: "Remove directory from workspace?" }), _jsxs(Text, { children: [" ", menu.path] }), _jsx(Text, { children: " " }), _jsx(Text, { children: "Praxis Code will no longer have access to files in this directory." }), _jsx(Text, { children: " " }), _jsxs(Text, { inverse: menu.selectedIndex === 0, children: [menu.selectedIndex === 0 ? '❯ ' : '  ', "1. Yes"] }), _jsxs(Text, { inverse: menu.selectedIndex === 1, children: [menu.selectedIndex === 1 ? '❯ ' : '  ', "2. No"] }), _jsx(Text, { dimColor: true, children: "Enter to confirm \u00B7 Esc to cancel" })] })) : menu ? (menu.kind === 'help' ? (_jsx(HelpMenu, { tabIndex: menu.tabIndex, selectedIndex: menu.selectedIndex, builtinCommands: builtinSlashCommands, customCommands: customSlashCommands, width: width, screenReader: axScreenReader })) : menu.kind === 'diff' ? (_jsx(DiffDashboard, { snapshots: menu.snapshots, sourceIndex: menu.sourceIndex, selectedIndex: menu.selectedIndex, viewingFile: menu.viewingFile, scrollOffset: menu.scrollOffset, width: width, screenReader: axScreenReader })) : menu.kind === 'permission-dashboard' ? (_jsx(PermissionDashboard, { tabIndex: menu.tabIndex, selectedIndex: menu.selectedIndex, query: menu.query, rules: menu.rules, recentDenied: recentDenied, workspaceDirectories: workspaceDirectories, width: width, screenReader: axScreenReader })) : menu.kind === 'permission-scope' ? (_jsx(SelectionMenu, { title: "Where should this rule be saved?", description: `${menu.rule}${permissionRuleDescription(menu.rule)
-                        ? ` · ${permissionRuleDescription(menu.rule)}`
-                        : ''}`, options: [
-                        {
-                            label: 'Project settings (local)',
-                            description: 'Saved in .claude/settings.local.json',
-                        },
-                        {
-                            label: 'Project settings',
-                            description: 'Checked in at .claude/settings.json',
-                        },
-                        {
-                            label: 'User settings',
-                            description: 'Saved in at ~/.claude/settings.json',
-                        },
-                    ], selectedIndex: menu.selectedIndex, footer: "Enter to confirm \u00B7 Esc to cancel", width: width, screenReader: axScreenReader })) : menu.kind === 'status' ? (_jsx(StatusDashboard, { tabIndex: menu.tabIndex, version: runtimeDisplay.version, sessionId: sessionId, display: runtimeDisplay, ...(usage === undefined ? {} : { usage }), ...(costUsd === undefined ? {} : { costUsd }), turnCount: turnNumberRef.current, toolCount: history.filter((item) => item.kind === 'tool').length, commandCount: allSlashCommands.length, detailedTranscript: thinkingExpanded, width: width, screenReader: axScreenReader })) : menu.kind === 'memory' ? (_jsx(MemoryDashboard, { autoMemoryEnabled: menu.autoMemoryEnabled, entries: menu.entries, selectedIndex: menu.selectedIndex, openedIndex: menu.openedIndex, loading: menu.loading, width: width, screenReader: axScreenReader })) : menu.kind === 'hooks' ? (_jsx(HookDashboard, { configuration: menu.configuration, depth: menu.depth, eventIndex: menu.eventIndex, matcherIndex: menu.matcherIndex, hookIndex: menu.hookIndex, width: width, screenReader: axScreenReader })) : menu.kind === 'list' ? (_jsx(ListDashboard, { title: menu.title, rows: menu.rows, emptyText: menu.emptyText, selectedIndex: menu.selectedIndex, width: width, screenReader: axScreenReader })) : menu.kind === 'model' ? (_jsx(SelectionMenu, { title: "Select model", description: `Effort: ${runtimePreferences.effort}`, options: modelOptions, selectedIndex: menu.selectedIndex, footer: "\u2191/\u2193 select \u00B7 \u2190/\u2192 effort \u00B7 Enter applies to this session \u00B7 Esc cancels", width: width, screenReader: axScreenReader })) : menu.kind === 'effort' ? (_jsx(SelectionMenu, { title: "Select effort", description: "Controls how much reasoning effort the provider should use.", options: EFFORT_OPTIONS.map((option) => ({
-                        label: option,
-                        description: option === 'low'
-                            ? 'Fastest and least deliberative.'
-                            : option === 'max'
-                                ? 'Highest available reasoning effort.'
-                                : 'Use this effort for the next session turns.',
-                        selected: option === runtimePreferences.effort,
-                    })), selectedIndex: menu.selectedIndex, footer: "\u2191/\u2193 select \u00B7 Enter applies to this session \u00B7 Esc cancels", width: width, screenReader: axScreenReader })) : menu.kind === 'export' ? (_jsx(SelectionMenu, { title: "Export conversation", description: "Select export method", options: [
-                        {
-                            label: 'Copy to clipboard',
-                            description: 'Copy the conversation to your system clipboard',
-                        },
-                        {
-                            label: 'Save to file',
-                            description: 'Save the conversation to a file in the current directory',
-                        },
-                    ], selectedIndex: menu.selectedIndex, footer: "Esc to cancel", width: width, screenReader: axScreenReader })) : null) : (_jsxs(_Fragment, { children: [commandPaletteVisible ? (_jsx(CommandPalette, { commands: matchingSlashCommands, selectedIndex: selectedSlashCommandIndex, width: width, screenReader: axScreenReader })) : null, filePickerVisible ? (_jsx(MentionPicker, { entries: matchingMentionEntries, selectedIndex: selectedFileIndex, width: width, screenReader: axScreenReader })) : null, exitConfirmation ? (_jsx(Text, { color: "yellow", children: "Press Ctrl-C again to exit" })) : null, _jsx(Composer, { input: shellMode ? input.slice(1) : input, cursor: shellMode ? Math.max(0, inputCursor - 1) : inputCursor, shellMode: shellMode, busy: busy, clipboardBusy: clipboardBusy, status: status, display: runtimeDisplay, ...(usage === undefined ? {} : { usage }), ...(costUsd === undefined ? {} : { costUsd }), width: width, screenReader: axScreenReader, hasThinking: hasDetailedTranscript, thinkingExpanded: thinkingExpanded, shortcutsVisible: shortcutsVisible, ...(editorFooterMessage === undefined
-                                ? {}
-                                : { footerMessage: editorFooterMessage }) })] }))] })) }));
+    return (_jsx(TuiThemeProvider, { settings: themeSettings, children: _jsx(Box, { flexDirection: "column", children: selectingSession ? (_jsx(SessionPicker, { sessions: filteredPickerChoices, selectedIndex: selectedIndex, screenReader: axScreenReader, query: sessionSearch })) : (_jsxs(_Fragment, { children: [!axScreenReader && history.length === 0 && !sessionId ? (_jsx(WelcomePanel, { display: runtimeDisplay, width: width })) : null, sessionId ? (_jsxs(Text, { dimColor: true, children: ["Session ", sessionId.slice(0, 8)] })) : null, _jsx(Transcript, { items: history, activeText: activeText, activeThinking: activeThinking, thinkingExpanded: thinkingExpanded, detailedTranscript: thinkingExpanded || runtimeSettings.verbose, screenReader: axScreenReader }), externalEditorRequest !== null ||
+                        keybindingsEditing ||
+                        memoryEditorRequest !== null ? (_jsx(ExternalEditorWait, { screenReader: axScreenReader })) : permission ? (_jsxs(DialogFrame, { title: permission.kind === 'recovery'
+                            ? `Retry interrupted ${permission.call.name}?`
+                            : `Allow ${permission.call.name}?`, screenReader: axScreenReader, children: [_jsx(Text, { bold: true, children: describeTool(permission.call, sensitiveValues) }), _jsxs(Text, { children: [selectionPrefix(true, axScreenReader), "1. Yes"] }), _jsx(Text, { children: " 2. No" }), _jsx(Text, { dimColor: true, children: "Enter/Esc declines \u00B7 y/n quick response" })] })) : planApproval ? (_jsxs(DialogFrame, { title: "Approve this plan and begin implementation?", screenReader: axScreenReader, children: [_jsx(Text, { dimColor: true, children: planApproval.request.planPath }), planApproval.request.plan ? (_jsx(Box, { marginY: 1, children: _jsx(Text, { children: planApproval.request.plan }) })) : null, _jsxs(Text, { children: [selectionPrefix(true, axScreenReader), "1. Yes, implement the plan"] }), _jsx(Text, { children: " 2. No, keep planning" })] })) : question ? (_jsxs(DialogFrame, { title: `${question.questions[question.index]?.header}: ${question.questions[question.index]?.question}`, screenReader: axScreenReader, children: [question.questions[question.index]?.options.map((option, index) => (_jsxs(Box, { flexDirection: "column", children: [_jsxs(Text, { children: [index + 1, ". ", option.label, " \u2014 ", option.description] }), option.preview ? (_jsx(Text, { dimColor: true, children: option.preview })) : null] }, `${index}-${option.label}`))), _jsxs(Text, { children: [axScreenReader ? 'Current answer: ' : '› ', input || (axScreenReader ? '(empty)' : '')] }), _jsx(Text, { dimColor: true, children: question.questions[question.index]?.multiSelect
+                                    ? 'Enter comma-separated option numbers or custom text · Esc cancels'
+                                    : 'Enter one option number or custom text · Esc cancels' })] })) : elicitation ? (_jsxs(DialogFrame, { title: `MCP elicitation (${elicitation.request.serverName})`, screenReader: axScreenReader, children: [_jsx(Text, { children: elicitation.request.message }), elicitation.request.url ? (_jsx(Text, { children: elicitation.request.url })) : null, elicitation.request.requestedSchema ? (_jsx(Text, { dimColor: true, children: JSON.stringify(elicitation.request.requestedSchema) })) : null, _jsxs(Text, { children: ["\u203A ", input] }), _jsx(Text, { dimColor: true, children: "Enter JSON object to accept \u00B7 Esc to cancel" })] })) : menu?.kind === 'model-input' ? (_jsxs(DialogFrame, { title: "Enter model ID", screenReader: axScreenReader, children: [_jsx(Text, { dimColor: true, children: "Enter a model ID supported by the configured provider." }), _jsxs(Text, { children: ["\u203A ", input] }), _jsx(Text, { dimColor: true, children: "Enter confirms \u00B7 Esc cancels" })] })) : menu?.kind === 'export-filename' ? (_jsxs(DialogFrame, { title: "Enter filename:", screenReader: axScreenReader, children: [_jsxs(Text, { children: ["> ", input] }), _jsx(Text, { dimColor: true, children: "Enter to save \u00B7 Esc to go back" })] })) : menu?.kind === 'compact-progress' ? (_jsxs(Box, { flexDirection: "column", children: [_jsx(Text, { children: "\u273B Compacting conversation\u2026" }), _jsxs(Text, { children: ['▰'.repeat(Math.floor(compactProgress / 2)), '▱'.repeat(50 - Math.floor(compactProgress / 2)), ' ', compactProgress, "%"] })] })) : menu?.kind === 'btw' ? (_jsx(BtwPanel, { entries: btwHistory, selectedIndex: menu.selectedIndex, scrollOffset: menu.scrollOffset, copied: btwCopied, width: width, screenReader: axScreenReader })) : menu?.kind === 'rewind' ? (_jsxs(Box, { flexDirection: "column", children: [_jsx(Text, { bold: true, children: " Rewind" }), _jsx(Text, { children: " " }), _jsxs(Text, { children: [' ', "Restore the code and/or conversation to the point before\u2026"] }), _jsx(Text, { children: " " }), (() => {
+                                const window = rewindPointWindow(menu.points, menu.selectedIndex);
+                                return (_jsxs(_Fragment, { children: [window.start > 0 ? (_jsxs(Text, { dimColor: true, children: [" \u2191 ", window.start, " more above"] })) : null, menu.points
+                                            .slice(window.start, window.end)
+                                            .map((point, offset) => {
+                                            const index = window.start + offset;
+                                            return (_jsxs(Box, { flexDirection: "column", marginBottom: 1, children: [_jsxs(Text, { inverse: menu.selectedIndex === index, children: [menu.selectedIndex === index ? ' ❯ ' : '   ', point.prompt
+                                                                .replace(/\s+/gu, ' ')
+                                                                .slice(0, 72)] }), _jsxs(Text, { dimColor: true, children: ['     ', point.fileChanges.length > 0
+                                                                ? point.fileChanges
+                                                                    .map((path) => path.startsWith(`${runtimeCwd}/`)
+                                                                    ? path.slice(runtimeCwd.length + 1)
+                                                                    : path)
+                                                                    .join(', ')
+                                                                : point.fileRestoreAvailable
+                                                                    ? 'No code changes'
+                                                                    : '⚠ No code restore'] })] }, point.messageId));
+                                        }), window.end < menu.points.length ? (_jsxs(Text, { dimColor: true, children: [' ', "\u2193 ", menu.points.length - window.end, " more below"] })) : null] }));
+                            })(), _jsxs(Text, { inverse: menu.selectedIndex === menu.points.length, children: [menu.selectedIndex === menu.points.length ? ' ❯ ' : '   ', "(current)"] }), _jsx(Text, { children: " " }), _jsx(Text, { dimColor: true, children: " Enter to continue \u00B7 Esc to cancel" })] })) : menu?.kind === 'rewind-confirm' ? (_jsxs(DialogFrame, { title: "Confirm restore point", screenReader: axScreenReader, children: [_jsxs(Text, { children: ["\u2502 ", menu.point.prompt] }), _jsx(Text, { children: " " }), _jsx(Text, { children: "The conversation will be forked." }), _jsxs(Text, { children: ["The code will", ' ', menu.point.fileChanges.length > 0
+                                        ? `restore ${menu.point.fileChanges.join(', ')}.`
+                                        : 'be unchanged.'] }), _jsx(Text, { children: " " }), rewindActions(menu.point).map((option, index) => (_jsxs(Text, { inverse: menu.selectedIndex === index, children: [menu.selectedIndex === index ? '❯ ' : '  ', index + 1, ". ", option.label] }, option.action))), _jsx(Text, { children: " " }), _jsx(Text, { color: activePalette.warning, children: "\u26A0 Rewinding does not affect files edited manually or via bash." })] })) : menu?.kind === 'rewind-context' ? (_jsxs(DialogFrame, { title: `Summarize ${menu.direction === 'from' ? 'from' : 'up to'} here`, screenReader: axScreenReader, children: [_jsx(Text, { children: menu.direction === 'from'
+                                    ? 'Messages after this point will be summarized.'
+                                    : 'Messages up to this point will be summarized.' }), _jsx(Text, { children: " " }), _jsxs(Text, { children: ["add context (optional): ", input] }), _jsx(Text, { dimColor: true, children: "Enter to summarize \u00B7 Esc to go back" })] })) : menu?.kind === 'permission-rule-input' ? (_jsxs(Box, { flexDirection: "column", children: [_jsxs(Text, { bold: true, children: ["Add ", menu.behavior, " permission rule"] }), _jsx(Text, { children: "Permission rules are a tool name, optionally followed by a specifier in parentheses." }), _jsx(Text, { children: "e.g., WebFetch or Bash(ls *)" }), _jsx(Text, { children: " " }), _jsx(Box, { borderStyle: axScreenReader ? undefined : 'round', paddingX: axScreenReader ? 0 : 1, children: _jsx(Text, { ...(input ? {} : { dimColor: true }), children: input || 'Enter permission rule…' }) }), _jsx(Text, { dimColor: true, children: "Enter to submit \u00B7 Esc to cancel" })] })) : menu?.kind === 'workspace-directory-input' ? (_jsxs(Box, { flexDirection: "column", children: [_jsx(Text, { bold: true, children: "Add directory to workspace" }), _jsx(Text, { children: "Praxis Code will be able to read files in this directory and make edits when auto-accept edits is on." }), _jsx(Text, { children: " " }), _jsx(Text, { children: "Enter the path to the directory:" }), _jsx(Box, { borderStyle: axScreenReader ? undefined : 'round', paddingX: axScreenReader ? 0 : 1, children: _jsx(Text, { ...(input ? {} : { dimColor: true }), children: input || 'Directory path…' }) }), _jsx(Text, { dimColor: true, children: "Tab to complete \u00B7 Enter to add \u00B7 Esc to cancel" })] })) : menu?.kind === 'permission-delete' ? (_jsxs(DialogFrame, { title: permissionDeleteTitle(menu.rule.behavior), screenReader: axScreenReader, children: [_jsx(Text, { children: menu.rule.rule }), permissionRuleDescription(menu.rule.rule) ? (_jsx(Text, { dimColor: true, children: permissionRuleDescription(menu.rule.rule) })) : null, _jsx(Text, { dimColor: true, children: permissionScopeLabel(menu.rule.scope) }), _jsx(Text, { children: " " }), _jsx(Text, { children: "Are you sure you want to delete this permission rule?" }), _jsx(Text, { children: " " }), _jsxs(Text, { inverse: !axScreenReader && menu.selectedIndex === 0, children: [selectionPrefix(menu.selectedIndex === 0, axScreenReader), "1. Yes"] }), _jsxs(Text, { inverse: !axScreenReader && menu.selectedIndex === 1, children: [selectionPrefix(menu.selectedIndex === 1, axScreenReader), "2. No"] }), _jsx(Text, { dimColor: true, children: "Esc to cancel" })] })) : menu?.kind === 'workspace-directory-delete' ? (_jsxs(Box, { flexDirection: "column", children: [_jsx(Text, { bold: true, children: "Remove directory from workspace?" }), _jsxs(Text, { children: [" ", menu.path] }), _jsx(Text, { children: " " }), _jsx(Text, { children: "Praxis Code will no longer have access to files in this directory." }), _jsx(Text, { children: " " }), _jsxs(Text, { inverse: !axScreenReader && menu.selectedIndex === 0, children: [selectionPrefix(menu.selectedIndex === 0, axScreenReader), "1. Yes"] }), _jsxs(Text, { inverse: !axScreenReader && menu.selectedIndex === 1, children: [selectionPrefix(menu.selectedIndex === 1, axScreenReader), "2. No"] }), _jsx(Text, { dimColor: true, children: "Enter to confirm \u00B7 Esc to cancel" })] })) : menu ? (menu.kind === 'help' ? (_jsx(HelpMenu, { tabIndex: menu.tabIndex, selectedIndex: menu.selectedIndex, builtinCommands: builtinSlashCommands, customCommands: customSlashCommands, width: width, screenReader: axScreenReader })) : menu.kind === 'diff' ? (_jsx(DiffDashboard, { snapshots: menu.snapshots, sourceIndex: menu.sourceIndex, selectedIndex: menu.selectedIndex, viewingFile: menu.viewingFile, scrollOffset: menu.scrollOffset, width: width, screenReader: axScreenReader })) : menu.kind === 'permission-dashboard' ? (_jsx(PermissionDashboard, { tabIndex: menu.tabIndex, selectedIndex: menu.selectedIndex, query: menu.query, rules: menu.rules, recentDenied: recentDenied, retryingDeniedId: retryingDeniedId, workspaceDirectories: workspaceDirectories, width: width, screenReader: axScreenReader })) : menu.kind === 'permission-scope' ? (_jsx(SelectionMenu, { title: "Where should this rule be saved?", description: `${menu.rule}${permissionRuleDescription(menu.rule)
+                            ? ` · ${permissionRuleDescription(menu.rule)}`
+                            : ''}`, options: [
+                            {
+                                label: 'Project settings (local)',
+                                description: 'Saved in .claude/settings.local.json',
+                            },
+                            {
+                                label: 'Project settings',
+                                description: 'Checked in at .claude/settings.json',
+                            },
+                            {
+                                label: 'User settings',
+                                description: 'Saved in at ~/.claude/settings.json',
+                            },
+                        ], selectedIndex: menu.selectedIndex, footer: "Enter to confirm \u00B7 Esc to cancel", width: width, screenReader: axScreenReader })) : menu.kind === 'status' ? (_jsx(StatusDashboard, { tabIndex: menu.tabIndex, version: runtimeDisplay.version, sessionId: sessionId, display: runtimeDisplay, ...(usage === undefined ? {} : { usage }), ...(costUsd === undefined ? {} : { costUsd }), turnCount: turnNumberRef.current, toolCount: history.filter((item) => item.kind === 'tool').length, commandCount: allSlashCommands.length, detailedTranscript: thinkingExpanded, width: width, screenReader: axScreenReader })) : menu.kind === 'copy' ? (_jsx(SelectionMenu, { title: "Copy response", description: "Choose the response content to copy.", options: menu.candidates.map((candidate) => ({
+                            label: candidate.label,
+                            description: candidate.description,
+                        })), selectedIndex: menu.selectedIndex, footer: "\u2191/\u2193 select \u00B7 Enter copies \u00B7 Esc cancels", width: width, screenReader: axScreenReader })) : menu.kind === 'agents' ? (_jsx(ListDashboard, { title: "Agents", rows: menu.agents.map((agent) => ({
+                            label: agent.name,
+                            description: agent.description,
+                        })), emptyText: "No agents configured", selectedIndex: menu.selectedIndex, width: width, screenReader: axScreenReader })) : menu.kind === 'config' ? (_jsx(ConfigDashboard, { tab: menu.tab, snapshot: menu.snapshot, query: menu.query, selectedIndex: menu.selectedIndex, searchFocused: menu.searchFocused, settings: [
+                            {
+                                label: 'Provider',
+                                value: runtimeDisplay.model ?? 'default',
+                            },
+                            {
+                                label: 'Permission mode',
+                                value: runtimeDisplay.permissionMode ?? 'default',
+                            },
+                        ], status: {
+                            version: runtimeDisplay.version,
+                            sessionId: sessionId ?? 'new',
+                            cwd: runtimeCwd,
+                            model: runtimeDisplay.model ?? 'default',
+                            settingSources: ['user', 'project', 'local'],
+                        }, usage: {
+                            costUsd: costUsd ?? 0,
+                            apiDurationMs: 0,
+                            wallDurationMs: 0,
+                            linesAdded: 0,
+                            linesRemoved: 0,
+                            usage: usage ?? { inputTokens: 0, outputTokens: 0 },
+                        }, stats: [], width: width, screenReader: axScreenReader })) : menu.kind === 'mcp' ? (_jsx(McpPanel, { model: menu.model, state: menu.state, width: width, screenReader: axScreenReader })) : menu.kind === 'tasks' ? (_jsx(TaskPanel, { tasks: menu.tasks, state: menu.state, width: width, screenReader: axScreenReader })) : menu.kind === 'memory' ? (_jsx(MemoryDashboard, { autoMemoryEnabled: menu.autoMemoryEnabled, entries: menu.entries, selectedIndex: menu.selectedIndex, openedIndex: menu.openedIndex, loading: menu.loading, width: width, screenReader: axScreenReader })) : menu.kind === 'hooks' ? (_jsx(HookDashboard, { configuration: menu.configuration, depth: menu.depth, eventIndex: menu.eventIndex, matcherIndex: menu.matcherIndex, hookIndex: menu.hookIndex, width: width, screenReader: axScreenReader })) : menu.kind === 'list' ? (_jsx(ListDashboard, { title: menu.title, rows: menu.rows, emptyText: menu.emptyText, selectedIndex: menu.selectedIndex, width: width, screenReader: axScreenReader })) : menu.kind === 'model' ? (_jsx(SelectionMenu, { title: "Select model", description: `Effort: ${runtimePreferences.effort}`, options: modelOptions, selectedIndex: menu.selectedIndex, footer: "\u2191/\u2193 select \u00B7 \u2190/\u2192 effort \u00B7 Enter applies to this session \u00B7 Esc cancels", width: width, screenReader: axScreenReader })) : menu.kind === 'effort' ? (_jsx(SelectionMenu, { title: "Select effort", description: "Controls how much reasoning effort the provider should use.", options: EFFORT_OPTIONS.map((option) => ({
+                            label: option,
+                            description: option === 'low'
+                                ? 'Fastest and least deliberative.'
+                                : option === 'max'
+                                    ? 'Highest available reasoning effort.'
+                                    : 'Use this effort for the next session turns.',
+                            selected: option === runtimePreferences.effort,
+                        })), selectedIndex: menu.selectedIndex, footer: "\u2191/\u2193 select \u00B7 Enter applies to this session \u00B7 Esc cancels", width: width, screenReader: axScreenReader })) : menu.kind === 'theme' ? (_jsx(ThemePicker, { currentTheme: themeSettings.theme, selectedIndex: menu.selectedIndex, customThemes: customThemes, syntaxHighlightingDisabled: themeSettings.syntaxHighlightingDisabled, width: width, screenReader: axScreenReader })) : menu.kind === 'custom-theme-create' ? (_jsxs(DialogFrame, { title: "New custom theme", screenReader: axScreenReader, children: [_jsxs(Text, { children: ["Name: ", input || 'my-theme'] }), _jsxs(Text, { children: ["based on ", menu.base, " \u00B7 saved to ~/.claude/themes/theme.json"] }), _jsx(Text, { dimColor: true, children: "Enter to create \u00B7 Esc to cancel" })] })) : menu.kind === 'custom-theme-editor' ? (_jsx(CustomThemeEditor, { theme: menu.theme, width: width, screenReader: axScreenReader, value: menu.query, tokens: CUSTOM_THEME_TOKENS.filter((token) => token.toLowerCase().includes(menu.query.toLowerCase())), selectedIndex: menu.selectedIndex, query: menu.query })) : menu.kind === 'custom-theme-token' ? (_jsx(CustomThemeEditor, { theme: menu.theme, token: menu.token, width: width, screenReader: axScreenReader, value: input })) : menu.kind === 'custom-theme-delete' ? (_jsxs(DialogFrame, { title: "Delete custom theme", screenReader: axScreenReader, children: [_jsxs(Text, { children: ["Delete ", menu.theme.name, " permanently?"] }), _jsx(Text, { dimColor: true, children: "Enter to confirm \u00B7 Esc to cancel" })] })) : menu.kind === 'export' ? (_jsx(SelectionMenu, { title: "Export conversation", description: "Select export method", options: [
+                            {
+                                label: 'Copy to clipboard',
+                                description: 'Copy the conversation to your system clipboard',
+                            },
+                            {
+                                label: 'Save to file',
+                                description: 'Save the conversation to a file in the current directory',
+                            },
+                        ], selectedIndex: menu.selectedIndex, footer: "Esc to cancel", width: width, screenReader: axScreenReader })) : null) : (_jsxs(_Fragment, { children: [commandPaletteVisible ? (_jsx(CommandPalette, { commands: matchingSlashCommands, selectedIndex: selectedSlashCommandIndex, width: width, screenReader: axScreenReader })) : null, filePickerVisible ? (_jsx(MentionPicker, { entries: matchingMentionEntries, selectedIndex: selectedFileIndex, width: width, screenReader: axScreenReader })) : null, exitConfirmation ? (_jsx(Text, { color: activePalette.warning, children: "Press Ctrl-C again to exit" })) : null, _jsx(Composer, { input: shellMode ? input.slice(1) : input, cursor: shellMode ? Math.max(0, inputCursor - 1) : inputCursor, shellMode: shellMode, busy: busy, clipboardBusy: clipboardBusy, status: status, display: runtimeDisplay, ...(usage === undefined ? {} : { usage }), ...(costUsd === undefined ? {} : { costUsd }), width: width, screenReader: axScreenReader, hasThinking: hasDetailedTranscript, thinkingExpanded: thinkingExpanded, reduceMotion: runtimeSettings.reduceMotion, progressBar: runtimeSettings.progressBar, ...(runtimeSettings.turnDuration
+                                    ? (() => {
+                                        const duration = formatTurnDuration(turnDuration);
+                                        return duration === undefined
+                                            ? {}
+                                            : { turnDuration: duration };
+                                    })()
+                                    : {}), editorMode: runtimeSettings.editor, ...(runtimeSettings.prStatus &&
+                                    activeSessionSummary?.prNumber
+                                    ? { prStatus: `PR #${activeSessionSummary.prNumber}` }
+                                    : {}), shortcutsVisible: shortcutsVisible, ...(editorFooterMessage === undefined
+                                    ? {}
+                                    : { footerMessage: editorFooterMessage }) })] }))] })) }) }));
 }
 export async function runInteractive(options) {
     const controller = new AbortController();
     const signal = options.signal
         ? AbortSignal.any([options.signal, controller.signal])
         : controller.signal;
-    const listing = await options.factory.createService({
-        eventSink: () => undefined,
-        requireProvider: false,
-        signal,
-    });
-    let initialSessions;
-    let initialSlashCommands;
-    let initialAgents;
+    let currentResume = options.resume;
+    let currentInitialPrompt = options.initialPrompt;
+    let currentRuntimeSettings = options.runtimeSettings ?? (await loadRuntimeSettings());
+    let currentRenderer = currentRuntimeSettings.tui;
+    let rendererChange = null;
+    let rendererNotice;
+    const readRendererChange = () => rendererChange;
+    let initialThemeSettings = DEFAULT_TUI_THEME_SETTINGS;
+    let initialThemeLoadError;
     try {
-        const sessions = await listing.sessions();
-        initialSessions = options.sessionFilter
-            ? sessions.filter(options.sessionFilter)
-            : sessions;
-        initialSlashCommands = listing.slashCommands?.() ?? [];
-        initialAgents = listing.agentDefinitions?.() ?? [];
-        if (options.requireSession && initialSessions.length === 0) {
-            throw new Error(options.missingSessionMessage ??
-                'No conversation linked to a pull request in this project');
-        }
+        initialThemeSettings = await loadTuiThemeSettings();
     }
     catch (error) {
+        initialThemeLoadError = `Unable to load theme settings: ${error instanceof Error ? error.message : String(error)}`;
+    }
+    while (true) {
+        const listing = await options.factory.createService({
+            eventSink: () => undefined,
+            requireProvider: false,
+            signal,
+        });
+        let initialSessions;
+        let initialSlashCommands;
+        let initialAgents;
         try {
-            await listing.close?.();
+            const sessions = await listing.sessions();
+            initialSessions = options.sessionFilter
+                ? sessions.filter(options.sessionFilter)
+                : sessions;
+            initialSlashCommands = listing.slashCommands?.() ?? [];
+            initialAgents = listing.agentDefinitions?.() ?? [];
+            if (options.requireSession && initialSessions.length === 0) {
+                throw new Error(options.missingSessionMessage ??
+                    'No conversation linked to a pull request in this project');
+            }
         }
-        catch {
-            // Preserve the session-listing failure as the primary error.
+        catch (error) {
+            try {
+                await listing.close?.();
+            }
+            catch {
+                // Preserve the session-listing failure as the primary error.
+            }
+            throw error;
         }
-        throw error;
-    }
-    const canonicalResumeSession = options.resume?.sessionId === undefined
-        ? undefined
-        : initialSessions.find((session) => session.sessionId.toLowerCase() ===
-            options.resume?.sessionId?.toLowerCase());
-    const resume = canonicalResumeSession
-        ? { ...options.resume, sessionId: canonicalResumeSession.sessionId }
-        : options.resume;
-    let initialHistory = [];
-    try {
-        initialHistory =
-            resume?.sessionId === undefined || listing.transcript === undefined
-                ? []
-                : await listing.transcript(resume.sessionId);
-    }
-    catch (error) {
+        const canonicalResumeSession = currentResume?.sessionId === undefined
+            ? undefined
+            : initialSessions.find((session) => session.sessionId.toLowerCase() ===
+                currentResume?.sessionId?.toLowerCase());
+        const resume = canonicalResumeSession
+            ? { ...currentResume, sessionId: canonicalResumeSession.sessionId }
+            : currentResume;
+        let initialHistory = [];
         try {
-            await listing.close?.();
+            initialHistory =
+                resume?.sessionId === undefined || listing.transcript === undefined
+                    ? []
+                    : await listing.transcript(resume.sessionId);
         }
-        catch {
-            // Preserve the transcript-loading failure as the primary error.
+        catch (error) {
+            try {
+                await listing.close?.();
+            }
+            catch {
+                // Preserve the transcript-loading failure as the primary error.
+            }
+            throw error;
         }
-        throw error;
+        await listing.close?.();
+        if (signal.aborted)
+            break;
+        const history = rendererNotice === undefined
+            ? initialHistory
+            : [
+                ...initialHistory,
+                { kind: 'local-result', text: rendererNotice },
+            ];
+        rendererNotice = undefined;
+        let activeTurn = null;
+        let cleanup = null;
+        let backgrounded;
+        rendererChange = null;
+        const instance = render(_jsx(InteractiveApp, { factory: options.factory, initialSessions: initialSessions, slashCommands: initialSlashCommands, agents: initialAgents, initialHistory: history, runtimeSettings: currentRuntimeSettings, initialThemeSettings: initialThemeSettings, ...(initialThemeLoadError === undefined
+                ? {}
+                : { initialThemeLoadError }), ...(currentInitialPrompt === undefined
+                ? {}
+                : { initialPrompt: currentInitialPrompt }), signal: signal, onCancel: () => controller.abort(), onTurnChange: (turn) => {
+                activeTurn = turn;
+            }, onCleanup: (closing) => {
+                cleanup = closing;
+            }, onRendererChange: (mode, sessionId) => {
+                rendererChange = { mode, sessionId };
+                currentRenderer = mode;
+                currentRuntimeSettings = { ...currentRuntimeSettings, tui: mode };
+            }, ...(options.onBackground === undefined
+                ? {}
+                : {
+                    onBackground: async (request) => {
+                        const result = await options.onBackground?.(request);
+                        if (!result)
+                            throw new Error('Background launch returned no job');
+                        backgrounded = result;
+                        return result;
+                    },
+                }), allowNewSession: !options.requireSession, ...(options.additionalDirectories === undefined
+                ? {}
+                : { additionalDirectories: options.additionalDirectories }), ...(resume === undefined ? {} : { resume }), ...(options.display === undefined ? {} : { display: options.display }), ...(options.axScreenReader ? { axScreenReader: true } : {}), ...(options.allowDangerouslySkipPermissions
+                ? { allowDangerouslySkipPermissions: true }
+                : {}) }), {
+            exitOnCtrlC: false,
+            incrementalRendering: !options.axScreenReader,
+            interactive: true,
+            alternateScreen: currentRenderer === 'fullscreen',
+        });
+        await instance.waitUntilExit();
+        if (activeTurn)
+            await activeTurn;
+        if (cleanup)
+            await cleanup;
+        if (backgrounded)
+            options.onBackgrounded?.(backgrounded);
+        const change = readRendererChange();
+        if (!change || signal.aborted)
+            break;
+        currentInitialPrompt = undefined;
+        currentRenderer = change.mode;
+        rendererNotice =
+            change.mode === 'fullscreen'
+                ? 'Using flicker-free rendering'
+                : 'Switched back to the classic renderer';
+        currentResume = change.sessionId
+            ? { sessionId: change.sessionId }
+            : undefined;
     }
-    await listing.close?.();
-    let activeTurn = null;
-    let cleanup = null;
-    let backgrounded;
-    const instance = render(_jsx(InteractiveApp, { factory: options.factory, initialSessions: initialSessions, slashCommands: initialSlashCommands, agents: initialAgents, initialHistory: initialHistory, ...(options.initialPrompt === undefined
-            ? {}
-            : { initialPrompt: options.initialPrompt }), signal: signal, onCancel: () => controller.abort(), onTurnChange: (turn) => {
-            activeTurn = turn;
-        }, onCleanup: (closing) => {
-            cleanup = closing;
-        }, ...(options.onBackground === undefined
-            ? {}
-            : {
-                onBackground: async (request) => {
-                    const result = await options.onBackground?.(request);
-                    if (!result)
-                        throw new Error('Background launch returned no job');
-                    backgrounded = result;
-                    return result;
-                },
-            }), allowNewSession: !options.requireSession, ...(options.additionalDirectories === undefined
-            ? {}
-            : { additionalDirectories: options.additionalDirectories }), ...(resume === undefined ? {} : { resume }), ...(options.display === undefined ? {} : { display: options.display }), ...(options.axScreenReader ? { axScreenReader: true } : {}), ...(options.allowDangerouslySkipPermissions
-            ? { allowDangerouslySkipPermissions: true }
-            : {}) }), {
-        exitOnCtrlC: false,
-        incrementalRendering: !options.axScreenReader,
-        interactive: true,
-    });
-    await instance.waitUntilExit();
-    if (activeTurn)
-        await activeTurn;
-    if (cleanup)
-        await cleanup;
-    if (backgrounded)
-        options.onBackgrounded?.(backgrounded);
     return signal.aborted ? 130 : 0;
 }
 //# sourceMappingURL=interactive.js.map