praxis-agent 0.9.0 → 0.11.0

package/dist/cli/tui/claude-style.js

@@ -46,8 +46,8 @@ function permissionLabel(mode) {
 }
 function selectionPrefix(selected, screenReader) {
     if (selected)
-        return screenReader ? 'Selected: ' : '❯ ';
-    return screenReader ? '' : '  ';
+        return screenReader ? 'Selected: ' : '  ❯ ';
+    return screenReader ? '' : '    ';
 }
 export function WelcomePanel({ display, width, }) {
     const palette = useTuiPalette();
@@ -59,7 +59,7 @@ export function WelcomePanel({ display, width, }) {
     // Title block = "╭" + "───" + "Praxis Code vX.Y.Z" + " " = 4 + title.length + 1 chars.
     const title = `${brand} Code v${display.version}`;
     const fill = Math.max(1, panelWidth - title.length - 6);
-    return (_jsxs(Box, { flexDirection: "column", width: panelWidth, children: [_jsxs(Text, { color: palette.muted, children: ['╭───', _jsx(Text, { color: palette.brand, bold: true, children: brand }), ` Code v${display.version} `, _jsx(Text, { dimColor: true, children: '─'.repeat(fill) }), '╮'] }), _jsx(Box, { borderStyle: "round", borderColor: palette.muted, borderTop: false, flexDirection: "column", width: panelWidth, paddingX: 1, children: _jsxs(Box, { flexDirection: wide ? 'row' : 'column', children: [_jsxs(Box, { alignItems: wide ? 'center' : undefined, flexDirection: "column", width: wide ? '50%' : '100%', children: [_jsx(Text, { children: " " }), _jsx(Text, { bold: true, children: "Welcome back!" }), _jsx(Text, { children: " " }), _jsx(Text, { color: palette.brand, bold: true, children: "\u2590\u259B\u2588\u2588\u2588\u259C\u258C" }), _jsx(Text, { color: palette.brand, children: "\u259D\u259C\u2588\u2588\u2588\u2588\u2588\u259B\u2598" }), _jsx(Text, { color: palette.brand, children: " \u2598\u2598 \u259D\u259D" }), _jsx(Text, { children: " " }), _jsxs(Text, { children: [display.model ?? 'provider default', display.effort ? (_jsxs(Text, { dimColor: true, children: [" \u00B7 ", display.effort, " effort"] })) : null] }), _jsx(Text, { dimColor: true, children: compactPath(display.cwd) })] }), _jsxs(Box, { flexDirection: "column", width: wide ? '50%' : '100%', marginTop: wide ? 0 : 1, children: [_jsx(Text, { bold: true, children: "Tips for getting started" }), _jsx(Text, { children: "Run /help for commands" }), _jsx(Text, { dimColor: true, children: "\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500" }), _jsx(Text, { bold: true, children: "Shared with Claude Code" }), _jsx(Text, { children: "Sessions, memory, skills" })] })] }) })] }));
+    return (_jsxs(Box, { flexDirection: "column", width: panelWidth, children: [_jsxs(Text, { color: palette.muted, children: ['╭───', _jsx(Text, { color: palette.brand, bold: true, children: brand }), ` Code v${display.version} `, _jsx(Text, { dimColor: true, children: '─'.repeat(fill) }), '╮'] }), _jsx(Box, { borderStyle: "round", borderColor: palette.muted, borderTop: false, flexDirection: "column", width: panelWidth, paddingX: 1, children: _jsxs(Box, { flexDirection: wide ? 'row' : 'column', children: [_jsxs(Box, { alignItems: wide ? 'center' : undefined, flexDirection: "column", width: wide ? '50%' : '100%', children: [_jsx(Text, { children: " " }), _jsx(Text, { bold: true, children: "Welcome back!" }), _jsx(Text, { children: " " }), _jsx(Text, { color: palette.brand, bold: true, children: "\u2590\u259B\u2588\u2588\u2588\u259C\u258C" }), _jsx(Text, { color: palette.brand, children: "\u259D\u259C\u2588\u2588\u2588\u2588\u2588\u259B\u2598" }), _jsx(Text, { color: palette.brand, children: " \u2598\u2598 \u259D\u259D" }), _jsx(Text, { children: " " }), _jsxs(Text, { children: [display.model ?? 'provider default', display.effort ? (_jsxs(Text, { dimColor: true, children: [" \u00B7 ", display.effort, " effort"] })) : null] }), _jsx(Text, { dimColor: true, children: compactPath(display.cwd) })] }), _jsxs(Box, { flexDirection: "column", width: wide ? '50%' : '100%', marginTop: wide ? 0 : 1, children: [_jsx(Text, { bold: true, children: "Tips for getting started" }), _jsx(Text, { children: "Run /init to create a CLAUDE.md file with instructions for Claude" }), _jsx(Text, { dimColor: true, children: "\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500" }), _jsx(Text, { bold: true, children: "What's new" }), _jsx(Text, { children: 'Subagent forking is now on by default: a `subagent_type: "fork"` subagent inherits the full conversation and prompt cache, and non-teammate agent spawns in interactive sessions now run in the background by default' }), _jsx(Text, { children: 'Type `@` in the prompt to mention another Claude session by name; Claude then uses `SendMessage` to reach that session directly' }), _jsx(Text, { children: '`SendMessage` now delivers to a bare name that exactly matches one live session, instead of asking to confirm with a ref first' }), _jsx(Text, { dimColor: true, children: "/release-notes for more" })] })] }) })] }));
 }
 function InlineText({ text }) {
     const palette = useTuiPalette();
@@ -183,19 +183,27 @@ function ThinkingBlock({ text, active, expanded, screenReader, }) {
     const showFull = screenReader || active || expanded;
     return (_jsxs(Box, { flexDirection: "column", marginTop: 1, children: [_jsxs(Text, { ...(!screenReader ? { color: palette.accent } : {}), dimColor: !screenReader, italic: !screenReader, children: [screenReader ? 'Thinking:' : '✻ ', active ? 'Thinking…' : 'Thought for a moment', !showFull && summary ? ` · ${summary.slice(0, 160)}` : ''] }), showFull && text ? (_jsx(Box, { marginLeft: screenReader ? 0 : 2, flexDirection: "column", children: _jsx(MarkdownText, { text: text }) })) : !screenReader && summary.length > 160 ? (_jsx(Text, { dimColor: true, children: " ctrl+o to expand thinking" })) : null] }));
 }
-function ContextUsageBlock({ usedTokens, contextWindowTokens, skills, screenReader, }) {
+function compactTokens(tokens) {
+    if (tokens >= 1_000_000)
+        return `${(tokens / 1_000_000).toFixed(1).replace(/\.0$/u, '')}m`;
+    if (tokens >= 1_000)
+        return `${(tokens / 1_000).toFixed(1).replace(/\.0$/u, '')}k`;
+    return String(tokens);
+}
+function percent(tokens, total) {
+    return `${Math.round((tokens / Math.max(1, total)) * 100 * 10) / 10}%`;
+}
+function ContextUsageBlock({ usedTokens, contextWindowTokens, model, skills, memoryFiles, screenReader, }) {
     const totalTokens = Math.max(1, contextWindowTokens);
     const compactBuffer = Math.round(totalTokens * 0.165);
     const usable = Math.max(1, totalTokens - compactBuffer);
     if (screenReader) {
-        return (_jsxs(Box, { flexDirection: "column", children: [_jsx(Text, { children: "Context Usage" }), _jsxs(Text, { children: [usedTokens.toLocaleString(), " of ", totalTokens.toLocaleString(), " tokens"] }), _jsxs(Text, { children: ["Autocompact buffer: ", compactBuffer.toLocaleString(), " tokens"] }), _jsxs(Text, { children: ["Skills: ", skills.map(({ name }) => name).join(', ') || 'none'] })] }));
+        return (_jsxs(Box, { flexDirection: "column", children: [_jsx(Text, { children: "Context Usage" }), _jsxs(Text, { children: [model ?? 'provider default', " \u00B7 ", usedTokens.toLocaleString(), "/", totalTokens.toLocaleString(), " tokens (", percent(usedTokens, totalTokens), ")"] }), _jsxs(Text, { children: ["Autocompact buffer: ", compactBuffer.toLocaleString(), " tokens"] }), _jsxs(Text, { children: ["Skills: ", skills.map(({ name }) => name).join(', ') || 'none'] })] }));
     }
-    const usedCells = Math.min(100, Math.ceil((usedTokens / totalTokens) * 100));
-    const bufferCells = Math.min(100 - usedCells, Math.ceil((compactBuffer / totalTokens) * 100));
-    const cells = Array.from({ length: 100 }, (_, index) => index < usedCells ? '⛁' : index >= 100 - bufferCells ? '⛝' : '⛶');
-    return (_jsxs(Box, { flexDirection: "column", marginTop: 1, marginLeft: 2, children: [_jsx(Text, { bold: true, children: "Context Usage" }), _jsxs(Box, { children: [_jsx(Box, { flexDirection: "column", marginRight: 2, children: Array.from({ length: 10 }, (_, row) => (_jsx(Text, { children: cells.slice(row * 10, row * 10 + 10).join(' ') }, row))) }), _jsxs(Box, { flexDirection: "column", children: [_jsxs(Text, { bold: true, children: [usedTokens.toLocaleString(), "/", totalTokens.toLocaleString(), " tokens"] }), _jsx(Text, { children: " " }), _jsx(Text, { bold: true, children: "Estimated usage by category" }), _jsxs(Text, { children: ["\u26C1 Skills:", ' ', skills
-                                        .reduce((total, skill) => total + skill.tokens, 0)
-                                        .toLocaleString(), ' ', "tokens"] }), _jsxs(Text, { children: ["\u26F6 Free space: ", Math.max(0, usable - usedTokens).toLocaleString()] }), _jsxs(Text, { children: ["\u26DD Autocompact buffer: ", compactBuffer.toLocaleString(), " tokens"] })] })] }), _jsx(Text, { children: " " }), _jsxs(Text, { children: ["Auto-compact window: ", totalTokens.toLocaleString(), " tokens"] }), _jsx(Text, { children: " " }), _jsx(Text, { bold: true, children: "Skills \u00B7 /skills" }), skills.length === 0 ? (_jsx(Text, { dimColor: true, children: "\u2514 No skills loaded" })) : (skills.map((skill, index) => (_jsxs(Text, { dimColor: true, children: [index === skills.length - 1 ? '└' : '├', " ", skill.name, ": ~", skill.tokens, " tokens"] }, skill.name))))] }));
+    const usedCells = Math.min(25, Math.round((usedTokens / totalTokens) * 25));
+    const bufferCells = Math.min(25 - usedCells, Math.round((compactBuffer / totalTokens) * 25));
+    const cells = Array.from({ length: 25 }, (_, index) => index < usedCells ? '⛁' : index >= 25 - bufferCells ? '⛝' : '⛶');
+    return (_jsxs(Box, { flexDirection: "column", marginTop: 1, marginLeft: 2, children: [_jsx(Text, { bold: true, children: "Context Usage" }), _jsxs(Box, { children: [_jsx(Box, { flexDirection: "column", marginRight: 2, children: Array.from({ length: 5 }, (_, row) => (_jsx(Text, { children: cells.slice(row * 5, row * 5 + 5).join(' ') }, row))) }), _jsxs(Box, { flexDirection: "column", children: [_jsxs(Text, { dimColor: true, children: [model ?? 'provider default', " \u00B7 ", compactTokens(usedTokens), "/", compactTokens(totalTokens), " tokens (", percent(usedTokens, totalTokens), ")"] }), _jsx(Text, { children: " " }), _jsx(Text, { dimColor: true, italic: true, children: "Estimated usage by category" }), _jsxs(Text, { children: ["\u26C1 Messages and other context: ", compactTokens(usedTokens), " tokens (", percent(usedTokens, totalTokens), ")"] }), _jsxs(Text, { children: ["\u26F6 Free space: ", compactTokens(Math.max(0, usable - usedTokens)), " (", percent(Math.max(0, usable - usedTokens), totalTokens), ")"] }), _jsxs(Text, { children: ["\u26DD Autocompact buffer: ", compactTokens(compactBuffer), " tokens (", percent(compactBuffer, totalTokens), ")"] })] })] }), _jsx(Text, { children: " " }), _jsx(Text, { bold: true, children: "Memory files \u00B7 /memory" }), memoryFiles.length === 0 ? (_jsx(Text, { dimColor: true, children: "\u2514 No memory files" })) : (memoryFiles.map((file, index) => (_jsxs(Text, { dimColor: true, children: [index === memoryFiles.length - 1 ? '└' : '├', " ", file.path, ":", ' ', file.tokens, " tokens"] }, file.path)))), _jsx(Text, { children: " " }), _jsx(Text, { bold: true, children: "Skills \u00B7 /skills" }), _jsx(Text, { children: " " }), _jsx(Text, { children: "Loaded" }), skills.length === 0 ? (_jsx(Text, { dimColor: true, children: "\u2514 No skills loaded" })) : (skills.map((skill, index) => (_jsxs(Text, { dimColor: true, children: [index === skills.length - 1 ? '└' : '├', " ", skill.name, ": ~", skill.tokens, " tokens"] }, skill.name))))] }));
 }
 export function MarkdownText({ text }) {
     const lines = text.split('\n');
@@ -403,7 +411,7 @@ export function ThemePicker({ currentTheme, selectedIndex, syntaxHighlightingDis
                                     ? {}
                                     : { backgroundColor: syntax.addedBackground }), children: [' console.', _jsx(Text, { ...syntaxColor(syntax.identifier), children: "log" }), '(', _jsx(Text, { ...syntaxColor(syntax.string), children: "\"Hello, " }), _jsx(Text, { ...(syntaxHighlightingDisabled || !syntax.addedHighlight
                                             ? {}
-                                            : { backgroundColor: syntax.addedHighlight }), children: "Praxis" }), _jsx(Text, { ...syntaxColor(syntax.string), children: "!\"" }), '); '] })] }), _jsxs(Text, { children: [_jsx(Text, { dimColor: true, children: " 3 " }), _jsx(Text, { ...syntaxColor(syntax.text), children: '}' })] }), _jsxs(Text, { dimColor: true, children: [' ', '╌'.repeat(Math.max(1, Math.min(96, width - 3)))] })] })) : null, _jsxs(Text, { dimColor: true, children: [' ', selected?.theme === '__new__'
+                                            : { backgroundColor: syntax.addedHighlight }), children: "Claude" }), _jsx(Text, { ...syntaxColor(syntax.string), children: "!\"" }), '); '] })] }), _jsxs(Text, { children: [_jsx(Text, { dimColor: true, children: " 3 " }), _jsx(Text, { ...syntaxColor(syntax.text), children: '}' })] }), _jsxs(Text, { dimColor: true, children: [' ', '╌'.repeat(Math.max(1, Math.min(96, width - 3)))] })] })) : null, _jsxs(Text, { dimColor: true, children: [' ', selected?.theme === '__new__'
                         ? 'Enter to create a custom theme'
                         : syntaxHighlightingDisabled
                             ? 'Syntax highlighting disabled (ctrl+t to enable)'
@@ -414,55 +422,6 @@ export function CustomThemeEditor({ theme, token, value, tokens = [], selectedIn
                         .slice(selectedIndex, selectedIndex + 8)
                         .map((entry, index) => (_jsxs(Text, { inverse: index === 0, children: [index === 0 ? '❯ ' : '  ', "\u2588\u2588 ", entry, theme.overrides[entry] === undefined ? '' : ' (custom)'] }, entry))), _jsx(Text, { dimColor: true, children: "\u2191/\u2193 to nav \u00B7 Enter to edit \u00B7 Tab to reset \u00B7 Esc to done" })] })), screenReader ? _jsx(Text, { children: "Editing custom theme token" }) : null] }));
 }
-export function StatusDashboard({ tabIndex, version, sessionId, display, usage, costUsd, turnCount, toolCount, commandCount, detailedTranscript, width, screenReader, }) {
-    const tabs = ['Settings', 'Status', 'Config', 'Usage', 'Stats'];
-    const rows = tabIndex === 0
-        ? [
-            ['Thinking mode', 'provider controlled'],
-            ['Verbose output', detailedTranscript ? 'true' : 'false'],
-            ['Default permission mode', permissionLabel(display.permissionMode)],
-            ['Context compaction', 'automatic'],
-            ['Shared Claude data', 'enabled'],
-        ]
-        : tabIndex === 1
-            ? [
-                ['Version', version],
-                ['Session ID', sessionId ?? 'new session'],
-                ['cwd', display.cwd],
-                ['Model', display.model ?? 'provider default'],
-                ['Permission mode', permissionLabel(display.permissionMode)],
-            ]
-            : tabIndex === 2
-                ? [
-                    ['Model', display.model ?? 'provider default'],
-                    ['Effort', display.effort ?? 'high'],
-                    [
-                        'Context window',
-                        String(display.contextWindowTokens ?? 'provider default'),
-                    ],
-                    ['Available commands', String(commandCount)],
-                ]
-                : tabIndex === 3
-                    ? [
-                        ['Input tokens', String(usage?.inputTokens ?? 0)],
-                        ['Output tokens', String(usage?.outputTokens ?? 0)],
-                        [
-                            'Session cost',
-                            costUsd === undefined
-                                ? 'unavailable'
-                                : `$${costUsd.toFixed(4)}`,
-                        ],
-                    ]
-                    : [
-                        ['Turns', String(turnCount)],
-                        ['Tool calls', String(toolCount)],
-                        [
-                            'Context used',
-                            String((usage?.inputTokens ?? 0) + (usage?.outputTokens ?? 0)),
-                        ],
-                    ];
-    return (_jsxs(Box, { flexDirection: "column", width: Math.min(100, width), children: [!screenReader ? (_jsx(Text, { dimColor: true, children: '─'.repeat(Math.min(100, width)) })) : null, _jsxs(Text, { children: ['  ', tabs.map((tab, index) => (_jsxs(Text, { inverse: index === tabIndex, children: [' ', tab, ' '] }, tab)))] }), _jsx(Text, { children: " " }), rows.map(([label, value]) => (_jsxs(Box, { children: [_jsx(Box, { width: 28, children: _jsxs(Text, { children: [label, ":"] }) }), _jsx(Text, { children: value })] }, label))), _jsx(Text, { children: " " }), _jsx(Text, { dimColor: true, children: "\u2190/\u2192/tab to switch \u00B7 Esc to close" })] }));
-}
 export function ListDashboard({ title, rows, emptyText, selectedIndex, width, screenReader, }) {
     return (_jsxs(Box, { flexDirection: "column", width: Math.min(100, width), children: [!screenReader ? (_jsx(Text, { dimColor: true, children: '─'.repeat(Math.min(100, width)) })) : null, _jsxs(Text, { bold: true, children: [" ", title] }), _jsx(Text, { children: " " }), rows.length === 0 ? (_jsxs(Text, { dimColor: true, children: [" ", emptyText] })) : (rows.map((row, index) => (_jsxs(Box, { flexDirection: "column", children: [_jsxs(Text, { inverse: index === selectedIndex, children: [index === selectedIndex ? '❯ ' : '  ', row.label] }), row.description ? _jsxs(Text, { dimColor: true, children: [" ", row.description] }) : null] }, `${index}-${row.label}`)))), _jsx(Text, { children: " " }), _jsx(Text, { dimColor: true, children: "\u2191/\u2193 to select \u00B7 Esc to close" })] }));
 }
@@ -609,16 +568,17 @@ export function MentionPicker({ entries, selectedIndex, width, screenReader, })
 }
 const SHORTCUT_ROWS = [
     [
-        '! for shell mode',
+        '! for bash mode',
         'double tap esc to clear input',
         'ctrl + shift + _ to undo',
     ],
-    ['/ for commands', 'shift + tab to cycle permissions', 'ctrl + z to suspend'],
+    ['/ for commands', 'shift + tab to auto-accept edits', 'ctrl + z to suspend'],
     [
         '@ for file paths',
         'ctrl + o for verbose output',
         'ctrl + v to paste images',
     ],
+    ['& for background', '', ''],
     [
         '/btw for side question',
         'ctrl + t to toggle tasks',
@@ -657,16 +617,34 @@ export function SelectionMenu({ title, description, options, selectedIndex, foot
     const start = Math.max(0, Math.min(selectedIndex - Math.floor(maxVisible / 2), Math.max(0, options.length - maxVisible)));
     const visible = options.slice(start, start + maxVisible);
     const current = options.find((option) => option.selected);
+    const maxLabelWidth = options.reduce((max, option, index) => Math.max(max, `${index + 1}. ${option.label}`.length), 0);
     return (_jsxs(Box, { borderStyle: screenReader ? undefined : 'round', borderColor: palette.muted, flexDirection: "column", marginTop: 1, paddingX: screenReader ? 0 : 1, width: screenReader ? undefined : Math.min(80, width), children: [_jsx(Text, { bold: true, children: title }), description ? _jsx(Text, { dimColor: true, children: description }) : null, screenReader && current ? _jsxs(Text, { children: ["Current: ", current.label] }) : null, visible.map((option, visibleIndex) => {
                 const index = start + visibleIndex;
                 const selected = index === selectedIndex;
-                return (_jsxs(Box, { flexDirection: "column", marginTop: 1, children: [_jsxs(Text, { ...(!screenReader && selected
-                                ? { color: palette.brand, bold: true }
-                                : {}), children: [selectionPrefix(selected, screenReader), index + 1, ". ", option.label, !screenReader && option.selected ? ' ✔' : ''] }), option.description ? (_jsxs(Text, { dimColor: true, children: [" ", option.description] })) : null] }, `${index}-${option.label}`));
+                const rowLabel = `${index + 1}. ${option.label}`;
+                return (_jsx(Box, { flexDirection: "column", marginTop: 1, children: _jsxs(Text, { ...(!screenReader && selected
+                            ? { color: palette.brand, bold: true }
+                            : {}), children: [selectionPrefix(selected, screenReader), rowLabel, !screenReader && option.selected ? ' ✔' : '', option.description ? (_jsxs(Text, { dimColor: true, children: [' '.repeat(Math.max(2, maxLabelWidth -
+                                        rowLabel.length -
+                                        (option.selected && !screenReader ? 2 : 0))), option.description] })) : null] }) }, `${index}-${option.label}`));
             }), start > 0 || start + visible.length < options.length ? (_jsxs(Text, { dimColor: true, children: [start > 0 ? `↑ ${start} earlier` : '', start > 0 && start + visible.length < options.length ? ' · ' : '', start + visible.length < options.length
                         ? `↓ ${options.length - start - visible.length} more`
                         : ''] })) : null, _jsx(Text, { dimColor: true, children: footer })] }));
 }
+export function ModelMenu({ options, effort, selectedIndex, width, screenReader, }) {
+    const palette = useTuiPalette();
+    const current = options.find((option) => option.selected);
+    const maxLabelWidth = options.reduce((max, option, index) => Math.max(max, `${index + 1}. ${option.label}`.length), 0);
+    return (_jsxs(Box, { borderStyle: screenReader ? undefined : 'round', borderColor: palette.muted, flexDirection: "column", marginTop: 1, paddingX: screenReader ? 0 : 1, width: screenReader ? undefined : Math.min(80, width), children: [_jsx(Text, { bold: true, children: "Select model" }), _jsx(Text, { dimColor: true, children: 'Switch between models. Your pick applies to this and future Praxis Code sessions. For other model names, specify with --model.' }), screenReader && current ? _jsxs(Text, { children: ["Current: ", current.label] }) : null, options.map((option, index) => {
+                const selected = index === selectedIndex;
+                const rowLabel = `${index + 1}. ${option.label}`;
+                return (_jsx(Box, { flexDirection: "column", marginTop: 1, children: _jsxs(Text, { ...(!screenReader && selected
+                            ? { color: palette.brand, bold: true }
+                            : {}), children: [selectionPrefix(selected, screenReader), rowLabel, !screenReader && option.selected ? ' ✔' : '', option.description ? (_jsxs(Text, { dimColor: true, children: [' '.repeat(Math.max(2, maxLabelWidth -
+                                        rowLabel.length -
+                                        (option.selected && !screenReader ? 2 : 0))), option.description] })) : null] }) }, `${index}-${option.label}`));
+            }), _jsx(Box, { marginTop: 1, children: _jsxs(Text, { children: [_jsx(Text, { color: palette.accent, children: "\u25CF " }), effort.charAt(0).toUpperCase() + effort.slice(1), " effort (default)", _jsx(Text, { dimColor: true, children: " \u2190/\u2192 to adjust" })] }) }), _jsx(Box, { marginTop: 1, children: _jsx(Text, { dimColor: true, children: "Enter to select \u00B7 Esc to cancel" }) })] }));
+}
 function ComposerInput({ input, cursor }) {
     const palette = useTuiPalette();
     const { before, current, after } = composerEditorSegments({
@@ -707,7 +685,7 @@ export function Composer({ input, cursor, busy, clipboardBusy = false, status, d
                         ? ` · ${usage.cacheReadInputTokens} cached`
                         : '', costUsd === undefined ? '' : ` · $${costUsd.toFixed(6)}`] })) : null, _jsx(Text, { dimColor: true, children: line }), clipboardBusy ? (_jsx(Text, { children: "Pasting\u2026" })) : busy ? (_jsxs(Text, { children: [progressBar ? (_jsx(Text, { color: palette.accent, children: reduceMotion ? '•' : SPINNER[spinnerIndex] })) : null, ' ', status, "\u2026 ", _jsx(Text, { dimColor: true, children: "\u00B7 esc to interrupt" })] })) : (_jsxs(Text, { children: [_jsx(Text, { ...(shellMode ? {} : { color: palette.brand }), bold: true, children: shellMode ? '! ' : '❯ ' }), input ? (_jsx(ComposerInput, { cursor: cursor ?? Array.from(input).length, input: input })) : (_jsx(Text, { dimColor: true, children: shellMode
                             ? 'Enter a shell command'
-                            : 'Try "review this project"' }))] })), _jsx(Text, { dimColor: true, children: line }), shortcutsVisible ? (_jsx(ShortcutHelp, { width: width })) : (_jsxs(Box, { width: Math.min(100, width), children: [_jsx(Text, { dimColor: true, children: shellMode ? ('! for shell mode') : (_jsxs(_Fragment, { children: ["\u23F5\u23F5 ", permissionLabel(display.permissionMode), " \u00B7", ' ', busy ? 'esc to interrupt' : '? for shortcuts', " \u00B7 \u2190 for agents", hasThinking
+                            : 'Try "review this project"' }))] })), _jsx(Text, { dimColor: true, children: line }), shortcutsVisible ? (_jsx(ShortcutHelp, { width: width })) : (_jsxs(Box, { width: Math.min(100, width), children: [_jsx(Text, { dimColor: true, children: shellMode ? ('! for bash mode') : (_jsxs(_Fragment, { children: ["\u23F5\u23F5 ", permissionLabel(display.permissionMode), " \u00B7", ' ', busy ? 'esc to interrupt' : '? for shortcuts', " \u00B7 \u2190 for agents", hasThinking
                                     ? ` · ctrl+o ${thinkingExpanded ? 'collapse' : 'expand'}`
                                     : ''] })) }), _jsx(Box, { flexGrow: 1 }), footerMessage ? (footerMessage.isError ? (_jsx(Text, { color: palette.error, children: footerMessage.text })) : (_jsx(Text, { dimColor: true, children: footerMessage.text }))) : prStatus ? (_jsx(Text, { dimColor: true, children: prStatus })) : turnDuration ? (_jsxs(Text, { dimColor: true, children: ["Cooked for ", turnDuration] })) : display.effort ? (_jsxs(Text, { children: [_jsxs(Text, { color: palette.accent, children: ["\u25CF ", display.effort] }), _jsxs(Text, { dimColor: true, children: [' ', "\u00B7 ", editorMode === 'vim' ? 'vim' : '/effort'] })] })) : null] }))] }));
 }

package/dist/cli/tui/config-dashboard.d.ts

@@ -1,7 +1,7 @@
 import React from 'react';
 import type { ModelUsage } from '../../core/runtime.js';
 import { type ConfigSettingDefinition, type ConfigSettingsSnapshot, type ConfigValue } from './config-settings.js';
-export type ConfigDashboardTab = 'settings' | 'status' | 'config' | 'usage' | 'stats';
+export type ConfigDashboardTab = 'status' | 'config' | 'usage';
 export interface ConfigStatusData {
     version: string;
     sessionName?: string;
@@ -9,6 +9,8 @@ export interface ConfigStatusData {
     cwd: string;
     authSource?: string;
     baseUrl?: string;
+    proxy?: string;
+    mcpSummary?: string;
     model: string;
     settingSources: readonly string[];
 }
@@ -28,10 +30,6 @@ export interface ConfigContextData {
     contextWindowTokens: number;
     categories: readonly ContextCategory[];
 }
-export interface ConfigDashboardValueRow {
-    label: string;
-    value: string;
-}
 export interface ConfigRow {
     definition: ConfigSettingDefinition;
     value: ConfigValue;
@@ -45,7 +43,7 @@ export declare function projectContextUsage(data: ConfigContextData): {
     freeTokens: number;
     contextWindowTokens: number;
 };
-export declare function ConfigDashboard({ tab, snapshot, query, selectedIndex, searchFocused, status, usage, settings, stats, effectiveValues, width, screenReader, maxRows, }: {
+export declare function ConfigDashboard({ tab, snapshot, query, selectedIndex, searchFocused, status, usage, effectiveValues, width, screenReader, maxRows, }: {
     tab: ConfigDashboardTab;
     snapshot: ConfigSettingsSnapshot;
     query?: string;
@@ -53,8 +51,6 @@ export declare function ConfigDashboard({ tab, snapshot, query, selectedIndex, s
     searchFocused?: boolean;
     status?: ConfigStatusData;
     usage?: ConfigUsageData;
-    settings?: readonly ConfigDashboardValueRow[];
-    stats?: readonly ConfigDashboardValueRow[];
     effectiveValues?: ConfigEffectiveValues;
     width: number;
     screenReader: boolean;

package/dist/cli/tui/config-dashboard.js

@@ -2,11 +2,9 @@ import { jsxs as _jsxs, jsx as _jsx, Fragment as _Fragment } from "react/jsx-run
 import { Box, Text } from 'ink';
 import { CLAUDE_2_1_208_CONFIG_SETTINGS, configSettingValue, } from './config-settings.js';
 const tabs = [
-    { id: 'settings', label: 'Settings' },
     { id: 'status', label: 'Status' },
     { id: 'config', label: 'Config' },
     { id: 'usage', label: 'Usage' },
-    { id: 'stats', label: 'Stats' },
 ];
 function displayValue(definition, value) {
     if (definition.id === 'permissionMode') {
@@ -104,7 +102,9 @@ function StatusRows({ status }) {
         ['cwd', status.cwd],
         ...(status.authSource ? [['Auth token', status.authSource]] : []),
         ...(status.baseUrl ? [['Provider base URL', status.baseUrl]] : []),
+        ...(status.proxy ? [['Proxy', status.proxy]] : []),
         ['Model', status.model],
+        ...(status.mcpSummary ? [['MCP servers', status.mcpSummary]] : []),
         ['Setting sources', status.settingSources.join(', ')],
     ];
     return (_jsxs(_Fragment, { children: [rows.map(([label, value]) => (_jsxs(Box, { children: [_jsx(Box, { width: 22, children: _jsxs(Text, { children: [label, ":"] }) }), _jsx(Text, { children: value })] }, label))), _jsx(Text, { children: " " }), _jsx(Text, { dimColor: true, children: "Esc to cancel" })] }));
@@ -113,37 +113,23 @@ function UsageRows({ usage }) {
     const seconds = (milliseconds) => `${Math.round(milliseconds / 1_000)}s`;
     return (_jsxs(_Fragment, { children: [_jsx(Text, { bold: true, children: "Session" }), _jsx(Text, { children: " " }), _jsxs(Text, { children: ["Total cost: $", usage.costUsd.toFixed(4)] }), _jsxs(Text, { children: ["Total duration (API): ", seconds(usage.apiDurationMs)] }), _jsxs(Text, { children: ["Total duration (wall): ", seconds(usage.wallDurationMs)] }), _jsxs(Text, { children: ["Total code changes: ", usage.linesAdded, " lines added, ", usage.linesRemoved, ' ', "lines removed"] }), _jsxs(Text, { children: ["Usage: ", usage.usage.inputTokens, " input, ", usage.usage.outputTokens, ' ', "output, ", usage.usage.cacheReadInputTokens ?? 0, " cache read,", ' ', usage.usage.cacheCreationInputTokens ?? 0, " cache write"] }), _jsx(Text, { children: " " }), _jsx(Text, { dimColor: true, children: "Esc to cancel" })] }));
 }
-function ValueRows({ rows }) {
-    return rows.map((row) => (_jsxs(Box, { children: [_jsx(Box, { width: 28, children: _jsxs(Text, { children: [row.label, ":"] }) }), _jsx(Text, { children: row.value })] }, row.label)));
-}
-export function ConfigDashboard({ tab, snapshot, query = '', selectedIndex = 0, searchFocused = true, status, usage, settings, stats, effectiveValues, width, screenReader, maxRows = 18, }) {
+export function ConfigDashboard({ tab, snapshot, query = '', selectedIndex = 0, searchFocused = true, status, usage, effectiveValues, width, screenReader, maxRows = 18, }) {
     const rows = projectConfigRows(snapshot, query, effectiveValues);
     let content;
     switch (tab) {
-        case 'settings':
-            if (settings === undefined)
-                throw new Error('Settings tab requires measured settings data');
-            content = _jsx(ValueRows, { rows: settings });
-            break;
         case 'status':
             if (status === undefined)
                 throw new Error('Status tab requires measured status data');
             content = _jsx(StatusRows, { status: status });
             break;
         case 'config':
-            content = (_jsxs(_Fragment, { children: [_jsx(Text, { bold: true, children: "Config" }), _jsx(Text, { children: "Available commands: /config \u00B7 /status \u00B7 /usage" }), _jsx(ConfigRows, { rows: rows, query: query, selectedIndex: Math.max(0, Math.min(selectedIndex, rows.length - 1)), searchFocused: searchFocused, maxRows: maxRows, screenReader: screenReader, width: width })] }));
+            content = (_jsxs(_Fragment, { children: [_jsx(Text, { bold: true, children: "Config" }), _jsx(ConfigRows, { rows: rows, query: query, selectedIndex: Math.max(0, Math.min(selectedIndex, rows.length - 1)), searchFocused: searchFocused, maxRows: maxRows, screenReader: screenReader, width: width })] }));
             break;
         case 'usage':
             if (usage === undefined)
                 throw new Error('Usage tab requires measured usage data');
             content = _jsx(UsageRows, { usage: usage });
             break;
-        case 'stats':
-            if (stats === undefined)
-                throw new Error('Stats tab requires measured stats data');
-            content =
-                stats.length === 0 ? (_jsx(Text, { children: "No stats available yet. Start using Praxis Code!" })) : (_jsx(ValueRows, { rows: stats }));
-            break;
     }
     return (_jsxs(Box, { flexDirection: "column", width: Math.min(100, width), children: [!screenReader ? _jsx(Text, { children: '─'.repeat(Math.min(100, width)) }) : null, _jsx(DashboardTabs, { active: tab, screenReader: screenReader }), _jsx(Text, { children: " " }), content] }));
 }

package/dist/cli/tui/config-settings.js

@@ -195,7 +195,7 @@ function withValueAtPath(source, path, value) {
     return { ...source, [head]: withValueAtPath(child, tail, value) };
 }
 function validValue(definition, value) {
-    if (definition.values === 'language')
+    if (definition.values === 'language' || definition.id === 'model')
         return (typeof value === 'string' &&
             value.trim().length > 0 &&
             value.length <= 256);

package/dist/cli/tui/conversation-export.d.ts

@@ -1,5 +1,5 @@
 import type { TranscriptItem, TuiDisplayMetadata } from './claude-style.js';
-export declare function conversationExportText(display: TuiDisplayMetadata, items: readonly TranscriptItem[]): string;
+export declare function conversationExportText(_display: TuiDisplayMetadata, items: readonly TranscriptItem[]): string;
 export declare function defaultConversationExportFilename(now?: Date): string;
 export declare function conversationExportPath(cwd: string, filename: string): string;
 export declare function writeConversationExport(path: string, text: string): Promise<void>;

package/dist/cli/tui/conversation-export.js

@@ -4,17 +4,8 @@ function lines(text, prefix) {
     const values = text.replace(/\n$/u, '').split('\n');
     return values.map((line, index) => `${index === 0 ? prefix : '   '}${line}`);
 }
-export function conversationExportText(display, items) {
-    const output = [
-        `╭─── Praxis Code v${display.version} ───╮`,
-        '│ Welcome back!',
-        `│ ${display.model ?? 'provider default'} · ${display.effort ?? 'high'} effort`,
-        `│ ${display.cwd}`,
-        '│ Tips for getting started: Run /help for commands',
-        '│ Shared with Claude Code: sessions, memory, skills',
-        '╰───',
-        '',
-    ];
+export function conversationExportText(_display, items) {
+    const output = [];
     for (const item of items) {
         if (item.kind === 'user')
             output.push('', ...lines(item.text, '❯ '));

package/dist/cli/tui/mcp-elicitation.d.ts

@@ -0,0 +1,75 @@
+export type TuiElicitationValue = string | number | boolean | string[];
+interface PrimitiveSchema {
+    type?: unknown;
+    title?: unknown;
+    description?: unknown;
+    default?: unknown;
+    enum?: unknown;
+    enumNames?: unknown;
+    oneOf?: unknown;
+    anyOf?: unknown;
+    items?: unknown;
+    minLength?: unknown;
+    maxLength?: unknown;
+    pattern?: unknown;
+    format?: unknown;
+    minimum?: unknown;
+    maximum?: unknown;
+    exclusiveMinimum?: unknown;
+    exclusiveMaximum?: unknown;
+    minItems?: unknown;
+    maxItems?: unknown;
+}
+export interface TuiElicitationField {
+    name: string;
+    title: string;
+    description: string | undefined;
+    required: boolean;
+    schema: PrimitiveSchema;
+    kind: 'text' | 'number' | 'integer' | 'boolean' | 'enum' | 'multi-enum';
+    options: readonly {
+        value: string;
+        label: string;
+    }[];
+}
+export interface TuiElicitationFormState {
+    fields: readonly TuiElicitationField[];
+    values: Readonly<Record<string, TuiElicitationValue>>;
+    errors: Readonly<Record<string, string>>;
+    focusIndex: number;
+    expandedField: string | undefined;
+    optionIndex: number;
+    typeahead: string;
+    typeaheadAt: number;
+}
+export declare function createTuiElicitationForm(requestedSchema: Record<string, unknown> | undefined): TuiElicitationFormState;
+export declare function focusedElicitationField(state: TuiElicitationFormState): TuiElicitationField | undefined;
+export declare function elicitationTextValue(state: TuiElicitationFormState): string;
+export declare function commitElicitationText(state: TuiElicitationFormState, raw: string): TuiElicitationFormState;
+export declare function moveElicitationFocus(state: TuiElicitationFormState, direction: -1 | 1): TuiElicitationFormState;
+export declare function unsetElicitationField(state: TuiElicitationFormState): TuiElicitationFormState;
+export declare function toggleElicitationBoolean(state: TuiElicitationFormState): TuiElicitationFormState;
+export declare function expandElicitationOptions(state: TuiElicitationFormState): TuiElicitationFormState;
+export declare function moveElicitationOption(state: TuiElicitationFormState, direction: -1 | 1): TuiElicitationFormState;
+export declare function selectElicitationOption(state: TuiElicitationFormState, collapse: boolean, ensureSelected?: boolean): TuiElicitationFormState;
+export declare function typeaheadElicitationOption(state: TuiElicitationFormState, input: string, now?: number): TuiElicitationFormState;
+export declare function validateTuiElicitationForm(state: TuiElicitationFormState): TuiElicitationFormState;
+export declare function elicitationFormIsValid(state: TuiElicitationFormState): boolean;
+export declare function McpElicitationUrl({ serverName, message, url, waiting, actionLabel, selection, screenReader, }: {
+    serverName: string;
+    message: string;
+    url: string;
+    waiting: boolean;
+    actionLabel: string;
+    selection: number;
+    screenReader: boolean;
+}): import("react").JSX.Element;
+export declare function McpElicitationForm({ serverName, message, state, input, screenReader, }: {
+    serverName: string;
+    message: string;
+    state: TuiElicitationFormState;
+    input: string;
+    screenReader: boolean;
+}): import("react").JSX.Element;
+export {};
+//# sourceMappingURL=mcp-elicitation.d.ts.map