praxis-agent 0.7.0 → 0.9.0

package/dist/cli/tui/task-panel.js

@@ -0,0 +1,204 @@
+import { jsx as _jsx, jsxs as _jsxs, Fragment as _Fragment } from "react/jsx-runtime";
+import { Box, Text } from 'ink';
+function requiredString(record, names) {
+    for (const name of names) {
+        const value = record[name];
+        if (typeof value === 'string' && value.trim())
+            return value;
+    }
+    throw new Error(`Task record is missing ${names.join(' or ')}`);
+}
+function optionalNumber(value, name) {
+    if (value === undefined || value === null)
+        return undefined;
+    if (typeof value !== 'number' || !Number.isFinite(value) || value < 0) {
+        throw new Error(`Task record has invalid ${name}`);
+    }
+    return value;
+}
+function taskStatus(record) {
+    const status = record.status;
+    if (status === 'running' ||
+        status === 'completed' ||
+        status === 'failed' ||
+        status === 'stopped') {
+        return status;
+    }
+    if (status === 'error')
+        return 'failed';
+    if (status === 'killed' || status === 'cancelled')
+        return 'stopped';
+    throw new Error('Task record has invalid status');
+}
+export function projectBackgroundBashTask(snapshot) {
+    return {
+        id: snapshot.taskId,
+        kind: 'shell',
+        status: snapshot.status,
+        label: snapshot.command,
+        command: snapshot.command,
+        output: snapshot.output,
+        startedAtMs: snapshot.startedAt,
+        ...(snapshot.durationMs === null
+            ? {}
+            : { durationMs: snapshot.durationMs }),
+        createdAtMs: snapshot.startedAt,
+    };
+}
+export function projectBackgroundAgentTask(snapshot) {
+    return {
+        id: snapshot.agentId,
+        kind: 'agent',
+        status: snapshot.status,
+        label: snapshot.name ?? snapshot.description,
+        output: snapshot.result?.text ?? snapshot.error ?? '',
+        startedAtMs: snapshot.startedAt,
+        ...(snapshot.durationMs === null
+            ? {}
+            : { durationMs: snapshot.durationMs }),
+        createdAtMs: snapshot.startedAt,
+    };
+}
+export function projectWorkflowTask(workflow) {
+    const record = workflow;
+    const result = record.result;
+    const error = typeof record.error === 'string' ? record.error : undefined;
+    const output = error ??
+        (typeof result === 'string'
+            ? result
+            : result === undefined || result === null
+                ? ''
+                : JSON.stringify(result, null, 2));
+    const startTime = optionalNumber(record.startTime ?? record.startedAt ?? record.started_at_ms, 'startTime');
+    const durationMs = optionalNumber(record.durationMs ?? record.duration_ms, 'durationMs');
+    return {
+        id: requiredString(record, ['task_id', 'taskId', 'id']),
+        kind: 'workflow',
+        status: taskStatus(record),
+        label: requiredString(record, [
+            'summary',
+            'description',
+            'workflowName',
+            'name',
+        ]),
+        output,
+        ...(startTime === undefined ? {} : { startedAtMs: startTime }),
+        ...(durationMs === undefined ? {} : { durationMs }),
+        createdAtMs: startTime ?? 0,
+    };
+}
+export function projectTuiTasks(input) {
+    return [
+        ...(input.shells ?? []).map(projectBackgroundBashTask),
+        ...(input.agents ?? []).map(projectBackgroundAgentTask),
+        ...(input.workflows ?? []).map(projectWorkflowTask),
+    ].sort((left, right) => right.createdAtMs - left.createdAtMs);
+}
+/** Preserve selection by task identity across polling and task reordering. */
+export function reconcileTuiTaskPanelState(state, previousTasks, tasks) {
+    const selectedId = previousTasks[state.selectedIndex]?.id;
+    const selectedIndex = selectedId
+        ? tasks.findIndex(({ id }) => id === selectedId)
+        : -1;
+    if (tasks.length === 0) {
+        return { depth: 'list', selectedIndex: 0, scrollOffset: 0 };
+    }
+    if (selectedIndex >= 0)
+        return { ...state, selectedIndex };
+    return {
+        depth: state.depth === 'detail' ? 'list' : state.depth,
+        selectedIndex: Math.min(state.selectedIndex, tasks.length - 1),
+        scrollOffset: 0,
+    };
+}
+export function updateTuiTaskPanelState(state, tasks, action) {
+    if (tasks.length === 0)
+        return initialTuiTaskPanelState(tasks);
+    if (action.type === 'back') {
+        return { ...state, depth: 'list', scrollOffset: 0 };
+    }
+    if (action.type === 'open') {
+        return { ...state, depth: 'detail', scrollOffset: 0 };
+    }
+    if (action.type === 'scroll') {
+        if (state.depth !== 'detail')
+            return state;
+        return {
+            ...state,
+            scrollOffset: Math.max(0, state.scrollOffset + action.delta),
+        };
+    }
+    if (state.depth !== 'list')
+        return state;
+    return {
+        ...state,
+        selectedIndex: Math.min(tasks.length - 1, Math.max(0, state.selectedIndex + action.delta)),
+    };
+}
+export function initialTuiTaskPanelState(tasks) {
+    return {
+        depth: tasks.length === 1 ? 'detail' : 'list',
+        selectedIndex: 0,
+        scrollOffset: 0,
+    };
+}
+function taskRuntime(task, nowMs) {
+    const milliseconds = task.status === 'running' && task.startedAtMs !== undefined
+        ? Math.max(0, nowMs - task.startedAtMs)
+        : (task.durationMs ?? 0);
+    const seconds = Math.floor(milliseconds / 1_000);
+    const minutes = Math.floor(seconds / 60);
+    return minutes > 0 ? `${minutes}m ${seconds % 60}s` : `${seconds}s`;
+}
+function activeSummary(tasks) {
+    const active = tasks.filter(({ status }) => status === 'running');
+    const rows = active.length > 0 ? active : tasks;
+    const allShells = rows.every(({ kind }) => kind === 'shell');
+    const noun = allShells ? (rows.length === 1 ? 'shell' : 'shells') : 'tasks';
+    return `${rows.length} ${active.length > 0 ? 'active ' : ''}${noun}`;
+}
+function detailTitle(kind) {
+    switch (kind) {
+        case 'shell':
+            return 'Shell details';
+        case 'agent':
+            return 'Agent details';
+        case 'workflow':
+            return 'Workflow details';
+    }
+}
+export function TaskPanel({ tasks, state, nowMs = Date.now(), screenReader = false, width = 80, height = 24, }) {
+    const selectedIndex = Math.min(Math.max(0, state.selectedIndex), Math.max(0, tasks.length - 1));
+    const selected = tasks[selectedIndex];
+    const listCapacity = Math.max(1, height - 4);
+    let listStart = Math.min(Math.max(0, state.scrollOffset), Math.max(0, tasks.length - listCapacity));
+    if (selectedIndex < listStart)
+        listStart = selectedIndex;
+    if (selectedIndex >= listStart + listCapacity) {
+        listStart = selectedIndex - listCapacity + 1;
+    }
+    const visibleTasks = tasks.slice(listStart, listStart + listCapacity);
+    if (state.depth === 'detail' && selected) {
+        const canStop = selected.status === 'running';
+        const outputLines = (selected.output?.trim() || 'No output available').split('\n');
+        const outputHeight = Math.max(1, height - 8);
+        const scrollOffset = Math.min(Math.max(0, state.scrollOffset), Math.max(0, outputLines.length - outputHeight));
+        const visibleOutput = outputLines.slice(scrollOffset, scrollOffset + outputHeight);
+        const outputScrollable = outputLines.length > outputHeight;
+        return (_jsxs(Box, { flexDirection: "column", width: width, children: [_jsx(Text, { bold: true, children: detailTitle(selected.kind) }), _jsxs(Text, { children: ["Status: ", selected.status] }), _jsxs(Text, { children: ["Runtime: ", taskRuntime(selected, nowMs)] }), selected.kind === 'shell' ? (_jsxs(Text, { wrap: "truncate-end", children: ["Command: ", selected.command ?? selected.label] })) : (_jsxs(Text, { wrap: "truncate-end", children: ["Task: ", selected.label] })), _jsx(Text, { children: "Output:" }), visibleOutput.map((line, index) => (_jsx(Text, { wrap: "truncate-end", children: line }, `${scrollOffset + index}-${line}`))), _jsx(Text, { dimColor: true, children: width < 50
+                        ? `${outputScrollable ? '↑/↓ scroll · ' : ''}← back${canStop ? ' · x stop' : ''}`
+                        : `${outputScrollable ? '↑/↓ to scroll · ' : ''}← to go back · Esc/Enter/Space to close${canStop ? ' · x to stop' : ''}` })] }));
+    }
+    return (_jsxs(Box, { flexDirection: "column", width: width, children: [_jsx(Text, { bold: true, children: "Background" }), tasks.length === 0 ? (_jsx(Text, { children: "No tasks currently running" })) : (_jsxs(_Fragment, { children: [_jsx(Text, { children: activeSummary(tasks) }), visibleTasks.map((task, visibleIndex) => {
+                        const index = listStart + visibleIndex;
+                        const selectedRow = index === selectedIndex;
+                        return (_jsxs(Text, { inverse: !screenReader && selectedRow, wrap: "truncate-end", children: [screenReader && selectedRow
+                                    ? 'Selected: '
+                                    : selectedRow
+                                        ? '❯  '
+                                        : '   ', task.label, " (", task.status, ")"] }, task.id));
+                    })] })), _jsx(Text, { dimColor: true, children: width < 50
+                    ? `↑/↓ select · Enter view${selected?.status === 'running' ? ' · x stop' : ''} · Esc`
+                    : `↑/↓ to select · Enter to view${selected?.status === 'running' ? ' · x to stop' : ''} · Esc to close` })] }));
+}
+//# sourceMappingURL=task-panel.js.map

package/dist/cli/tui/terminal-notifications.d.ts

@@ -0,0 +1,10 @@
+export type TuiNotificationChannel = 'auto' | 'iterm2' | 'terminal_bell' | 'iterm2_with_bell' | 'kitty' | 'ghostty' | 'notifications_disabled';
+export type TuiNotificationWriter = (sequence: string) => void;
+export declare function notifyTerminal(options: {
+    channel: TuiNotificationChannel;
+    title: string;
+    message: string;
+    environment?: Readonly<Record<string, string | undefined>>;
+    write?: TuiNotificationWriter;
+}): void;
+//# sourceMappingURL=terminal-notifications.d.ts.map

package/dist/cli/tui/terminal-notifications.js

@@ -0,0 +1,48 @@
+function terminalProgram(environment) {
+    const program = environment.TERM_PROGRAM?.toLowerCase();
+    if (program === 'iterm.app')
+        return 'iterm2';
+    if (program === 'ghostty')
+        return 'ghostty';
+    if (environment.KITTY_WINDOW_ID)
+        return 'kitty';
+    return undefined;
+}
+function escapeOsc(value) {
+    return [...value]
+        .filter((character) => {
+        const code = character.codePointAt(0) ?? 0;
+        return code !== 7 && code !== 27;
+    })
+        .join('');
+}
+function sequenceFor(channel, title, message) {
+    const text = escapeOsc(`${title}: ${message}`);
+    switch (channel) {
+        case 'iterm2':
+            return `\u001b]9;${text}\u0007`;
+        case 'terminal_bell':
+            return '\u0007';
+        case 'iterm2_with_bell':
+            return `\u001b]9;${text}\u0007\u0007`;
+        case 'kitty':
+            return `\u001b]99;i=1:d=0:p=title;${escapeOsc(title)}\u001b\\\u001b]99;i=1:d=1:p=body;${escapeOsc(message)}\u001b\\`;
+        case 'ghostty':
+            return `\u001b]9;${text}\u0007`;
+        case 'auto':
+        case 'notifications_disabled':
+            return undefined;
+    }
+}
+export function notifyTerminal(options) {
+    if (options.channel === 'notifications_disabled')
+        return;
+    const environment = options.environment ?? process.env;
+    const selected = options.channel === 'auto' ? terminalProgram(environment) : options.channel;
+    if (!selected)
+        return;
+    const sequence = sequenceFor(selected, options.title, options.message);
+    if (sequence)
+        (options.write ?? ((value) => process.stdout.write(value)))(sequence);
+}
+//# sourceMappingURL=terminal-notifications.js.map

package/dist/cli/tui/terminal-setup.d.ts

@@ -0,0 +1,24 @@
+import type { TuiSlashCommand } from './slash-commands.js';
+type TerminalSetupRunner = (command: string, arguments_: readonly string[]) => Promise<{
+    exitCode: number;
+    stdout: string;
+    stderr: string;
+}>;
+export interface TuiTerminalSetupOptions {
+    environment?: Readonly<Record<string, string | undefined>>;
+    platform?: NodeJS.Platform;
+    homeDirectory?: string;
+    run?: TerminalSetupRunner;
+}
+type SetupTerminal = 'Apple_Terminal' | 'vscode' | 'cursor' | 'windsurf' | 'alacritty' | 'zed' | 'ghostty' | 'kitty' | 'iTerm.app' | 'WezTerm' | 'WarpTerminal' | string;
+export declare function detectTuiTerminal(environment?: Readonly<Record<string, string | undefined>>): SetupTerminal | null;
+export declare function nativeShiftEnterTerminalName(terminal: string | null): string | null;
+export declare function terminalSetupTuiSlashCommand(environment?: Readonly<Record<string, string | undefined>>, platform?: NodeJS.Platform): TuiSlashCommand | null;
+/**
+ * Diagnose or install the terminal-local newline binding used by the Claude
+ * compatible composer. This intentionally operates outside shared transcripts:
+ * terminal preferences belong to the local single-user machine.
+ */
+export declare function setupTuiTerminal(options?: TuiTerminalSetupOptions): Promise<string>;
+export {};
+//# sourceMappingURL=terminal-setup.d.ts.map