proofscan 0.5.10 → 0.6.0

package/dist/shell/completer.js

@@ -0,0 +1,136 @@
+/**
+ * Shell TAB completion
+ */
+import { TOP_LEVEL_COMMANDS, COMMAND_SUBCOMMANDS, COMMAND_OPTIONS, COMMON_OPTIONS, SHELL_BUILTINS, } from './types.js';
+/**
+ * Parse input line into tokens
+ */
+function tokenize(line) {
+    // Simple tokenization by whitespace
+    return line.trim().split(/\s+/).filter(t => t !== '');
+}
+/**
+ * Get completions for the current input
+ */
+export function getCompletions(line, context, dataProvider) {
+    const tokens = tokenize(line);
+    const currentToken = tokens.length > 0 ? tokens[tokens.length - 1] : '';
+    const isNewToken = line.endsWith(' ') || tokens.length === 0;
+    // If line ends with space, we're completing a new token
+    const tokenToComplete = isNewToken ? '' : currentToken;
+    const completedTokens = isNewToken ? tokens : tokens.slice(0, -1);
+    // Determine what to complete based on context
+    const candidates = getCandidates(completedTokens, tokenToComplete, context, dataProvider);
+    // Filter candidates by prefix
+    const matches = candidates.filter(c => c.startsWith(tokenToComplete));
+    return [matches, tokenToComplete];
+}
+/**
+ * Get candidate completions based on parsed tokens
+ */
+function getCandidates(completedTokens, currentToken, context, dataProvider) {
+    // No tokens yet - complete top-level commands + builtins
+    if (completedTokens.length === 0) {
+        return [...SHELL_BUILTINS, ...TOP_LEVEL_COMMANDS];
+    }
+    const firstToken = completedTokens[0];
+    // Handle shell builtins
+    if (SHELL_BUILTINS.includes(firstToken)) {
+        return getBuiltinCompletions(firstToken, completedTokens, currentToken, context, dataProvider);
+    }
+    // Handle command completions
+    return getCommandCompletions(completedTokens, currentToken, context, dataProvider);
+}
+/**
+ * Get completions for shell builtins
+ */
+function getBuiltinCompletions(command, tokens, _currentToken, _context, dataProvider) {
+    switch (command) {
+        case 'use':
+            if (tokens.length === 1) {
+                // `use <connector>` or `use session`
+                return ['session', ...dataProvider.getConnectorIds()];
+            }
+            if (tokens.length === 2 && tokens[1] === 'session') {
+                // `use session <sessionPrefix>`
+                return dataProvider.getSessionPrefixes(undefined, 50);
+            }
+            return [];
+        case 'help':
+            if (tokens.length === 1) {
+                return [...SHELL_BUILTINS, ...TOP_LEVEL_COMMANDS];
+            }
+            return [];
+        default:
+            return [];
+    }
+}
+/**
+ * Get completions for regular commands
+ */
+function getCommandCompletions(tokens, currentToken, context, dataProvider) {
+    const firstToken = tokens[0];
+    const candidates = [];
+    // Check if this command has subcommands
+    const subcommands = COMMAND_SUBCOMMANDS[firstToken];
+    if (subcommands && tokens.length === 1) {
+        candidates.push(...subcommands);
+    }
+    // Get options for the command
+    const commandKey = tokens.slice(0, 2).join(' ');
+    const options = COMMAND_OPTIONS[commandKey] || COMMAND_OPTIONS[firstToken] || [];
+    candidates.push(...options, ...COMMON_OPTIONS);
+    // Check if we're completing an option value
+    const prevToken = tokens[tokens.length - 1];
+    if (prevToken) {
+        // --id expects connector id for certain commands
+        if (prevToken === '--id') {
+            if (['scan', 's', 'connectors', 'connector'].includes(firstToken)) {
+                return dataProvider.getConnectorIds();
+            }
+            if (['rpc'].includes(firstToken)) {
+                return dataProvider.getRpcIds(context.session);
+            }
+        }
+        // --session expects session prefix
+        if (prevToken === '--session') {
+            return dataProvider.getSessionPrefixes(context.connector, 50);
+        }
+        // --connector expects connector id
+        if (prevToken === '--connector') {
+            return dataProvider.getConnectorIds();
+        }
+        // --status expects ok/err/all
+        if (prevToken === '--status') {
+            return ['ok', 'err', 'all'];
+        }
+        // --format expects format options
+        if (prevToken === '--format') {
+            return ['json', 'yaml', 'table'];
+        }
+        // --from expects import format
+        if (prevToken === '--from') {
+            return ['mcpServers'];
+        }
+    }
+    // For scan start without --id, suggest connector ids as positional
+    if (tokens.length >= 2 && (firstToken === 'scan' || firstToken === 's') && tokens[1] === 'start') {
+        if (!tokens.includes('--id') && !currentToken.startsWith('-')) {
+            candidates.push(...dataProvider.getConnectorIds());
+        }
+    }
+    // For tree command, suggest connector ids as positional argument
+    if ((firstToken === 'tree' || firstToken === 't') && tokens.length === 1) {
+        if (!currentToken.startsWith('-')) {
+            candidates.push(...dataProvider.getConnectorIds());
+        }
+    }
+    return [...new Set(candidates)]; // Deduplicate
+}
+/**
+ * Create a readline completer function
+ */
+export function createCompleter(context, dataProvider) {
+    return (line) => getCompletions(line, context, dataProvider);
+}
+//# sourceMappingURL=completer.js.map

package/dist/shell/completer.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"completer.js","sourceRoot":"","sources":["../../src/shell/completer.ts"],"names":[],"mappings":"AAAA;;GAEG;AAGH,OAAO,EACL,kBAAkB,EAClB,mBAAmB,EACnB,eAAe,EACf,cAAc,EACd,cAAc,GACf,MAAM,YAAY,CAAC;AAQpB;;GAEG;AACH,SAAS,QAAQ,CAAC,IAAY;IAC5B,oCAAoC;IACpC,OAAO,IAAI,CAAC,IAAI,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC;AACxD,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,cAAc,CAC5B,IAAY,EACZ,OAAqB,EACrB,YAAiC;IAEjC,MAAM,MAAM,GAAG,QAAQ,CAAC,IAAI,CAAC,CAAC;IAC9B,MAAM,YAAY,GAAG,MAAM,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;IACxE,MAAM,UAAU,GAAG,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC,CAAC;IAE7D,wDAAwD;IACxD,MAAM,eAAe,GAAG,UAAU,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,YAAY,CAAC;IACvD,MAAM,eAAe,GAAG,UAAU,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IAElE,8CAA8C;IAC9C,MAAM,UAAU,GAAG,aAAa,CAAC,eAAe,EAAE,eAAe,EAAE,OAAO,EAAE,YAAY,CAAC,CAAC;IAE1F,8BAA8B;IAC9B,MAAM,OAAO,GAAG,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,UAAU,CAAC,eAAe,CAAC,CAAC,CAAC;IAEtE,OAAO,CAAC,OAAO,EAAE,eAAe,CAAC,CAAC;AACpC,CAAC;AAED;;GAEG;AACH,SAAS,aAAa,CACpB,eAAyB,EACzB,YAAoB,EACpB,OAAqB,EACrB,YAAiC;IAEjC,yDAAyD;IACzD,IAAI,eAAe,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACjC,OAAO,CAAC,GAAG,cAAc,EAAE,GAAG,kBAAkB,CAAC,CAAC;IACpD,CAAC;IAED,MAAM,UAAU,GAAG,eAAe,CAAC,CAAC,CAAC,CAAC;IAEtC,wBAAwB;IACxB,IAAI,cAAc,CAAC,QAAQ,CAAC,UAAU,CAAC,EAAE,CAAC;QACxC,OAAO,qBAAqB,CAAC,UAAU,EAAE,eAAe,EAAE,YAAY,EAAE,OAAO,EAAE,YAAY,CAAC,CAAC;IACjG,CAAC;IAED,6BAA6B;IAC7B,OAAO,qBAAqB,CAAC,eAAe,EAAE,YAAY,EAAE,OAAO,EAAE,YAAY,CAAC,CAAC;AACrF,CAAC;AAED;;GAEG;AACH,SAAS,qBAAqB,CAC5B,OAAe,EACf,MAAgB,EAChB,aAAqB,EACrB,QAAsB,EACtB,YAAiC;IAEjC,QAAQ,OAAO,EAAE,CAAC;QAChB,KAAK,KAAK;YACR,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;gBACxB,qCAAqC;gBACrC,OAAO,CAAC,SAAS,EAAE,GAAG,YAAY,CAAC,eAAe,EAAE,CAAC,CAAC;YACxD,CAAC;YACD,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC,IAAI,MAAM,CAAC,CAAC,CAAC,KAAK,SAAS,EAAE,CAAC;gBACnD,gCAAgC;gBAChC,OAAO,YAAY,CAAC,kBAAkB,CAAC,SAAS,EAAE,EAAE,CAAC,CAAC;YACxD,CAAC;YACD,OAAO,EAAE,CAAC;QAEZ,KAAK,MAAM;YACT,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;gBACxB,OAAO,CAAC,GAAG,cAAc,EAAE,GAAG,kBAAkB,CAAC,CAAC;YACpD,CAAC;YACD,OAAO,EAAE,CAAC;QAEZ;YACE,OAAO,EAAE,CAAC;IACd,CAAC;AACH,CAAC;AAED;;GAEG;AACH,SAAS,qBAAqB,CAC5B,MAAgB,EAChB,YAAoB,EACpB,OAAqB,EACrB,YAAiC;IAEjC,MAAM,UAAU,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC;IAC7B,MAAM,UAAU,GAAa,EAAE,CAAC;IAEhC,wCAAwC;IACxC,MAAM,WAAW,GAAG,mBAAmB,CAAC,UAAU,CAAC,CAAC;IACpD,IAAI,WAAW,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACvC,UAAU,CAAC,IAAI,CAAC,GAAG,WAAW,CAAC,CAAC;IAClC,CAAC;IAED,8BAA8B;IAC9B,MAAM,UAAU,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAChD,MAAM,OAAO,GAAG,eAAe,CAAC,UAAU,CAAC,IAAI,eAAe,CAAC,UAAU,CAAC,IAAI,EAAE,CAAC;IACjF,UAAU,CAAC,IAAI,CAAC,GAAG,OAAO,EAAE,GAAG,cAAc,CAAC,CAAC;IAE/C,4CAA4C;IAC5C,MAAM,SAAS,GAAG,MAAM,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;IAC5C,IAAI,SAAS,EAAE,CAAC;QACd,iDAAiD;QACjD,IAAI,SAAS,KAAK,MAAM,EAAE,CAAC;YACzB,IAAI,CAAC,MAAM,EAAE,GAAG,EAAE,YAAY,EAAE,WAAW,CAAC,CAAC,QAAQ,CAAC,UAAU,CAAC,EAAE,CAAC;gBAClE,OAAO,YAAY,CAAC,eAAe,EAAE,CAAC;YACxC,CAAC;YACD,IAAI,CAAC,KAAK,CAAC,CAAC,QAAQ,CAAC,UAAU,CAAC,EAAE,CAAC;gBACjC,OAAO,YAAY,CAAC,SAAS,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC;YACjD,CAAC;QACH,CAAC;QAED,mCAAmC;QACnC,IAAI,SAAS,KAAK,WAAW,EAAE,CAAC;YAC9B,OAAO,YAAY,CAAC,kBAAkB,CAAC,OAAO,CAAC,SAAS,EAAE,EAAE,CAAC,CAAC;QAChE,CAAC;QAED,mCAAmC;QACnC,IAAI,SAAS,KAAK,aAAa,EAAE,CAAC;YAChC,OAAO,YAAY,CAAC,eAAe,EAAE,CAAC;QACxC,CAAC;QAED,8BAA8B;QAC9B,IAAI,SAAS,KAAK,UAAU,EAAE,CAAC;YAC7B,OAAO,CAAC,IAAI,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC;QAC9B,CAAC;QAED,kCAAkC;QAClC,IAAI,SAAS,KAAK,UAAU,EAAE,CAAC;YAC7B,OAAO,CAAC,MAAM,EAAE,MAAM,EAAE,OAAO,CAAC,CAAC;QACnC,CAAC;QAED,+BAA+B;QAC/B,IAAI,SAAS,KAAK,QAAQ,EAAE,CAAC;YAC3B,OAAO,CAAC,YAAY,CAAC,CAAC;QACxB,CAAC;IACH,CAAC;IAED,mEAAmE;IACnE,IAAI,MAAM,CAAC,MAAM,IAAI,CAAC,IAAI,CAAC,UAAU,KAAK,MAAM,IAAI,UAAU,KAAK,GAAG,CAAC,IAAI,MAAM,CAAC,CAAC,CAAC,KAAK,OAAO,EAAE,CAAC;QACjG,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,IAAI,CAAC,YAAY,CAAC,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC;YAC9D,UAAU,CAAC,IAAI,CAAC,GAAG,YAAY,CAAC,eAAe,EAAE,CAAC,CAAC;QACrD,CAAC;IACH,CAAC;IAED,iEAAiE;IACjE,IAAI,CAAC,UAAU,KAAK,MAAM,IAAI,UAAU,KAAK,GAAG,CAAC,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACzE,IAAI,CAAC,YAAY,CAAC,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC;YAClC,UAAU,CAAC,IAAI,CAAC,GAAG,YAAY,CAAC,eAAe,EAAE,CAAC,CAAC;QACrD,CAAC;IACH,CAAC;IAED,OAAO,CAAC,GAAG,IAAI,GAAG,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,cAAc;AACjD,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,eAAe,CAC7B,OAAqB,EACrB,YAAiC;IAEjC,OAAO,CAAC,IAAY,EAAE,EAAE,CAAC,cAAc,CAAC,IAAI,EAAE,OAAO,EAAE,YAAY,CAAC,CAAC;AACvE,CAAC"}

package/dist/shell/history.d.ts

@@ -0,0 +1,20 @@
+/**
+ * Shell history management
+ */
+/**
+ * Get the history file path (OS-specific)
+ */
+export declare function getHistoryPath(): string;
+/**
+ * Load history from file
+ */
+export declare function loadHistory(): string[];
+/**
+ * Save history to file
+ */
+export declare function saveHistory(history: string[]): void;
+/**
+ * Add a line to history (deduplicates consecutive entries)
+ */
+export declare function addToHistory(history: string[], line: string): string[];
+//# sourceMappingURL=history.d.ts.map

package/dist/shell/history.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"history.d.ts","sourceRoot":"","sources":["../../src/shell/history.ts"],"names":[],"mappings":"AAAA;;GAEG;AAQH;;GAEG;AACH,wBAAgB,cAAc,IAAI,MAAM,CAevC;AAED;;GAEG;AACH,wBAAgB,WAAW,IAAI,MAAM,EAAE,CAatC;AAED;;GAEG;AACH,wBAAgB,WAAW,CAAC,OAAO,EAAE,MAAM,EAAE,GAAG,IAAI,CAiBnD;AAED;;GAEG;AACH,wBAAgB,YAAY,CAAC,OAAO,EAAE,MAAM,EAAE,EAAE,IAAI,EAAE,MAAM,GAAG,MAAM,EAAE,CAYtE"}

package/dist/shell/history.js

@@ -0,0 +1,75 @@
+/**
+ * Shell history management
+ */
+import { existsSync, readFileSync, writeFileSync, mkdirSync } from 'fs';
+import { homedir, platform } from 'os';
+import { join, dirname } from 'path';
+const MAX_HISTORY_SIZE = 1000;
+/**
+ * Get the history file path (OS-specific)
+ */
+export function getHistoryPath() {
+    const home = homedir();
+    const os = platform();
+    switch (os) {
+        case 'win32':
+            // Windows: %APPDATA%\proofscan\shell_history
+            return join(process.env.APPDATA || join(home, 'AppData', 'Roaming'), 'proofscan', 'shell_history');
+        case 'darwin':
+            // macOS: ~/.config/proofscan/shell_history
+            return join(home, '.config', 'proofscan', 'shell_history');
+        default:
+            // Linux: ~/.config/proofscan/shell_history
+            return join(process.env.XDG_CONFIG_HOME || join(home, '.config'), 'proofscan', 'shell_history');
+    }
+}
+/**
+ * Load history from file
+ */
+export function loadHistory() {
+    const path = getHistoryPath();
+    if (!existsSync(path)) {
+        return [];
+    }
+    try {
+        const content = readFileSync(path, 'utf-8');
+        return content.split('\n').filter(line => line.trim() !== '');
+    }
+    catch {
+        return [];
+    }
+}
+/**
+ * Save history to file
+ */
+export function saveHistory(history) {
+    const path = getHistoryPath();
+    const dir = dirname(path);
+    // Ensure directory exists
+    if (!existsSync(dir)) {
+        mkdirSync(dir, { recursive: true });
+    }
+    // Limit history size
+    const trimmed = history.slice(-MAX_HISTORY_SIZE);
+    try {
+        writeFileSync(path, trimmed.join('\n') + '\n', 'utf-8');
+    }
+    catch {
+        // Ignore errors during save
+    }
+}
+/**
+ * Add a line to history (deduplicates consecutive entries)
+ */
+export function addToHistory(history, line) {
+    const trimmed = line.trim();
+    if (trimmed === '') {
+        return history;
+    }
+    // Don't add if same as last entry
+    if (history.length > 0 && history[history.length - 1] === trimmed) {
+        return history;
+    }
+    return [...history, trimmed];
+}
+//# sourceMappingURL=history.js.map

package/dist/shell/history.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"history.js","sourceRoot":"","sources":["../../src/shell/history.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,EAAE,UAAU,EAAE,YAAY,EAAE,aAAa,EAAE,SAAS,EAAE,MAAM,IAAI,CAAC;AACxE,OAAO,EAAE,OAAO,EAAE,QAAQ,EAAE,MAAM,IAAI,CAAC;AACvC,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,MAAM,MAAM,CAAC;AAErC,MAAM,gBAAgB,GAAG,IAAI,CAAC;AAE9B;;GAEG;AACH,MAAM,UAAU,cAAc;IAC5B,MAAM,IAAI,GAAG,OAAO,EAAE,CAAC;IACvB,MAAM,EAAE,GAAG,QAAQ,EAAE,CAAC;IAEtB,QAAQ,EAAE,EAAE,CAAC;QACX,KAAK,OAAO;YACV,6CAA6C;YAC7C,OAAO,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,OAAO,IAAI,IAAI,CAAC,IAAI,EAAE,SAAS,EAAE,SAAS,CAAC,EAAE,WAAW,EAAE,eAAe,CAAC,CAAC;QACrG,KAAK,QAAQ;YACX,2CAA2C;YAC3C,OAAO,IAAI,CAAC,IAAI,EAAE,SAAS,EAAE,WAAW,EAAE,eAAe,CAAC,CAAC;QAC7D;YACE,2CAA2C;YAC3C,OAAO,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,eAAe,IAAI,IAAI,CAAC,IAAI,EAAE,SAAS,CAAC,EAAE,WAAW,EAAE,eAAe,CAAC,CAAC;IACpG,CAAC;AACH,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,WAAW;IACzB,MAAM,IAAI,GAAG,cAAc,EAAE,CAAC;IAE9B,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,EAAE,CAAC;QACtB,OAAO,EAAE,CAAC;IACZ,CAAC;IAED,IAAI,CAAC;QACH,MAAM,OAAO,GAAG,YAAY,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;QAC5C,OAAO,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC;IAChE,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,EAAE,CAAC;IACZ,CAAC;AACH,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,WAAW,CAAC,OAAiB;IAC3C,MAAM,IAAI,GAAG,cAAc,EAAE,CAAC;IAC9B,MAAM,GAAG,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;IAE1B,0BAA0B;IAC1B,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC;QACrB,SAAS,CAAC,GAAG,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;IACtC,CAAC;IAED,qBAAqB;IACrB,MAAM,OAAO,GAAG,OAAO,CAAC,KAAK,CAAC,CAAC,gBAAgB,CAAC,CAAC;IAEjD,IAAI,CAAC;QACH,aAAa,CAAC,IAAI,EAAE,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,IAAI,EAAE,OAAO,CAAC,CAAC;IAC1D,CAAC;IAAC,MAAM,CAAC;QACP,4BAA4B;IAC9B,CAAC;AACH,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,YAAY,CAAC,OAAiB,EAAE,IAAY;IAC1D,MAAM,OAAO,GAAG,IAAI,CAAC,IAAI,EAAE,CAAC;IAC5B,IAAI,OAAO,KAAK,EAAE,EAAE,CAAC;QACnB,OAAO,OAAO,CAAC;IACjB,CAAC;IAED,kCAAkC;IAClC,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC,IAAI,OAAO,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC,CAAC,KAAK,OAAO,EAAE,CAAC;QAClE,OAAO,OAAO,CAAC;IACjB,CAAC;IAED,OAAO,CAAC,GAAG,OAAO,EAAE,OAAO,CAAC,CAAC;AAC/B,CAAC"}

package/dist/shell/index.d.ts

@@ -0,0 +1,11 @@
+/**
+ * Shell module exports
+ */
+export { ShellRepl, isValidArg } from './repl.js';
+export { generatePrompt, supportsColor } from './prompt.js';
+export { getHistoryPath, loadHistory, saveHistory } from './history.js';
+export { createCompleter, getCompletions, type DynamicDataProvider } from './completer.js';
+export { selectConnector, selectSession, canInteract } from './selector.js';
+export type { ShellContext, CompletionResult } from './types.js';
+export { TOP_LEVEL_COMMANDS, COMMAND_SUBCOMMANDS, SHELL_BUILTINS } from './types.js';
+//# sourceMappingURL=index.d.ts.map

package/dist/shell/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/shell/index.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,EAAE,SAAS,EAAE,UAAU,EAAE,MAAM,WAAW,CAAC;AAClD,OAAO,EAAE,cAAc,EAAE,aAAa,EAAE,MAAM,aAAa,CAAC;AAC5D,OAAO,EAAE,cAAc,EAAE,WAAW,EAAE,WAAW,EAAE,MAAM,cAAc,CAAC;AACxE,OAAO,EAAE,eAAe,EAAE,cAAc,EAAE,KAAK,mBAAmB,EAAE,MAAM,gBAAgB,CAAC;AAC3F,OAAO,EAAE,eAAe,EAAE,aAAa,EAAE,WAAW,EAAE,MAAM,eAAe,CAAC;AAC5E,YAAY,EAAE,YAAY,EAAE,gBAAgB,EAAE,MAAM,YAAY,CAAC;AACjE,OAAO,EAAE,kBAAkB,EAAE,mBAAmB,EAAE,cAAc,EAAE,MAAM,YAAY,CAAC"}

package/dist/shell/index.js

@@ -0,0 +1,10 @@
+/**
+ * Shell module exports
+ */
+export { ShellRepl, isValidArg } from './repl.js';
+export { generatePrompt, supportsColor } from './prompt.js';
+export { getHistoryPath, loadHistory, saveHistory } from './history.js';
+export { createCompleter, getCompletions } from './completer.js';
+export { selectConnector, selectSession, canInteract } from './selector.js';
+export { TOP_LEVEL_COMMANDS, COMMAND_SUBCOMMANDS, SHELL_BUILTINS } from './types.js';
+//# sourceMappingURL=index.js.map

package/dist/shell/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/shell/index.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,EAAE,SAAS,EAAE,UAAU,EAAE,MAAM,WAAW,CAAC;AAClD,OAAO,EAAE,cAAc,EAAE,aAAa,EAAE,MAAM,aAAa,CAAC;AAC5D,OAAO,EAAE,cAAc,EAAE,WAAW,EAAE,WAAW,EAAE,MAAM,cAAc,CAAC;AACxE,OAAO,EAAE,eAAe,EAAE,cAAc,EAA4B,MAAM,gBAAgB,CAAC;AAC3F,OAAO,EAAE,eAAe,EAAE,aAAa,EAAE,WAAW,EAAE,MAAM,eAAe,CAAC;AAE5E,OAAO,EAAE,kBAAkB,EAAE,mBAAmB,EAAE,cAAc,EAAE,MAAM,YAAY,CAAC"}

package/dist/shell/prompt.d.ts

@@ -0,0 +1,34 @@
+/**
+ * Shell prompt generation with color support
+ */
+import type { ShellContext } from './types.js';
+/**
+ * Check if color output is supported
+ */
+export declare function supportsColor(): boolean;
+/**
+ * Shorten session ID to prefix
+ */
+export declare function shortenSessionId(sessionId: string, length?: number): string;
+/**
+ * Generate the shell prompt string
+ * Format: proofscan|<connector>|<sessionPrefix>>
+ */
+export declare function generatePrompt(context: ShellContext): string;
+/**
+ * Generate a plain prompt (no colors)
+ */
+export declare function generatePlainPrompt(context: ShellContext): string;
+/**
+ * Print success message
+ */
+export declare function printSuccess(message: string): void;
+/**
+ * Print error message
+ */
+export declare function printError(message: string): void;
+/**
+ * Print info message
+ */
+export declare function printInfo(message: string): void;
+//# sourceMappingURL=prompt.d.ts.map

package/dist/shell/prompt.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"prompt.d.ts","sourceRoot":"","sources":["../../src/shell/prompt.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,YAAY,CAAC;AAc/C;;GAEG;AACH,wBAAgB,aAAa,IAAI,OAAO,CAQvC;AAYD;;GAEG;AACH,wBAAgB,gBAAgB,CAAC,SAAS,EAAE,MAAM,EAAE,MAAM,GAAE,MAAU,GAAG,MAAM,CAE9E;AAED;;;GAGG;AACH,wBAAgB,cAAc,CAAC,OAAO,EAAE,YAAY,GAAG,MAAM,CAgB5D;AAED;;GAEG;AACH,wBAAgB,mBAAmB,CAAC,OAAO,EAAE,YAAY,GAAG,MAAM,CAUjE;AAED;;GAEG;AACH,wBAAgB,YAAY,CAAC,OAAO,EAAE,MAAM,GAAG,IAAI,CAElD;AAED;;GAEG;AACH,wBAAgB,UAAU,CAAC,OAAO,EAAE,MAAM,GAAG,IAAI,CAEhD;AAED;;GAEG;AACH,wBAAgB,SAAS,CAAC,OAAO,EAAE,MAAM,GAAG,IAAI,CAE/C"}

package/dist/shell/prompt.js

@@ -0,0 +1,87 @@
+/**
+ * Shell prompt generation with color support
+ */
+/**
+ * ANSI color codes
+ */
+const COLORS = {
+    reset: '\x1b[0m',
+    dim: '\x1b[2m',
+    cyan: '\x1b[36m',
+    yellow: '\x1b[33m',
+    green: '\x1b[32m',
+    red: '\x1b[31m',
+};
+/**
+ * Check if color output is supported
+ */
+export function supportsColor() {
+    // Respect NO_COLOR environment variable
+    if (process.env.NO_COLOR !== undefined) {
+        return false;
+    }
+    // Check if stdout is a TTY
+    return process.stdout.isTTY === true;
+}
+/**
+ * Apply color if supported
+ */
+function color(text, colorCode) {
+    if (!supportsColor()) {
+        return text;
+    }
+    return `${colorCode}${text}${COLORS.reset}`;
+}
+/**
+ * Shorten session ID to prefix
+ */
+export function shortenSessionId(sessionId, length = 8) {
+    return sessionId.slice(0, length);
+}
+/**
+ * Generate the shell prompt string
+ * Format: proofscan|<connector>|<sessionPrefix>>
+ */
+export function generatePrompt(context) {
+    const parts = [];
+    // proofscan (dim)
+    parts.push(color('proofscan', COLORS.dim));
+    // connector (cyan) or * if not set
+    const connector = context.connector || '*';
+    parts.push(color(connector, COLORS.cyan));
+    // session prefix (yellow) if set
+    if (context.session) {
+        parts.push(color(shortenSessionId(context.session), COLORS.yellow));
+    }
+    return parts.join('|') + '> ';
+}
+/**
+ * Generate a plain prompt (no colors)
+ */
+export function generatePlainPrompt(context) {
+    const parts = ['proofscan'];
+    parts.push(context.connector || '*');
+    if (context.session) {
+        parts.push(shortenSessionId(context.session));
+    }
+    return parts.join('|') + '> ';
+}
+/**
+ * Print success message
+ */
+export function printSuccess(message) {
+    console.log(color('✓ ' + message, COLORS.green));
+}
+/**
+ * Print error message
+ */
+export function printError(message) {
+    console.error(color('✗ ' + message, COLORS.red));
+}
+/**
+ * Print info message
+ */
+export function printInfo(message) {
+    console.log(color(message, COLORS.dim));
+}
+//# sourceMappingURL=prompt.js.map

package/dist/shell/prompt.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"prompt.js","sourceRoot":"","sources":["../../src/shell/prompt.ts"],"names":[],"mappings":"AAAA;;GAEG;AAIH;;GAEG;AACH,MAAM,MAAM,GAAG;IACb,KAAK,EAAE,SAAS;IAChB,GAAG,EAAE,SAAS;IACd,IAAI,EAAE,UAAU;IAChB,MAAM,EAAE,UAAU;IAClB,KAAK,EAAE,UAAU;IACjB,GAAG,EAAE,UAAU;CAChB,CAAC;AAEF;;GAEG;AACH,MAAM,UAAU,aAAa;IAC3B,wCAAwC;IACxC,IAAI,OAAO,CAAC,GAAG,CAAC,QAAQ,KAAK,SAAS,EAAE,CAAC;QACvC,OAAO,KAAK,CAAC;IACf,CAAC;IAED,2BAA2B;IAC3B,OAAO,OAAO,CAAC,MAAM,CAAC,KAAK,KAAK,IAAI,CAAC;AACvC,CAAC;AAED;;GAEG;AACH,SAAS,KAAK,CAAC,IAAY,EAAE,SAAiB;IAC5C,IAAI,CAAC,aAAa,EAAE,EAAE,CAAC;QACrB,OAAO,IAAI,CAAC;IACd,CAAC;IACD,OAAO,GAAG,SAAS,GAAG,IAAI,GAAG,MAAM,CAAC,KAAK,EAAE,CAAC;AAC9C,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,gBAAgB,CAAC,SAAiB,EAAE,SAAiB,CAAC;IACpE,OAAO,SAAS,CAAC,KAAK,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC;AACpC,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,cAAc,CAAC,OAAqB;IAClD,MAAM,KAAK,GAAa,EAAE,CAAC;IAE3B,kBAAkB;IAClB,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,WAAW,EAAE,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC;IAE3C,mCAAmC;IACnC,MAAM,SAAS,GAAG,OAAO,CAAC,SAAS,IAAI,GAAG,CAAC;IAC3C,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,SAAS,EAAE,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC;IAE1C,iCAAiC;IACjC,IAAI,OAAO,CAAC,OAAO,EAAE,CAAC;QACpB,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,gBAAgB,CAAC,OAAO,CAAC,OAAO,CAAC,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC;IACtE,CAAC;IAED,OAAO,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,IAAI,CAAC;AAChC,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,mBAAmB,CAAC,OAAqB;IACvD,MAAM,KAAK,GAAa,CAAC,WAAW,CAAC,CAAC;IAEtC,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,SAAS,IAAI,GAAG,CAAC,CAAC;IAErC,IAAI,OAAO,CAAC,OAAO,EAAE,CAAC;QACpB,KAAK,CAAC,IAAI,CAAC,gBAAgB,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC;IAChD,CAAC;IAED,OAAO,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,IAAI,CAAC;AAChC,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,YAAY,CAAC,OAAe;IAC1C,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,GAAG,OAAO,EAAE,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC;AACnD,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,UAAU,CAAC,OAAe;IACxC,OAAO,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,GAAG,OAAO,EAAE,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC;AACnD,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,SAAS,CAAC,OAAe;IACvC,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,OAAO,EAAE,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC;AAC1C,CAAC"}

package/dist/shell/repl.d.ts

@@ -0,0 +1,76 @@
+/**
+ * Shell REPL implementation
+ */
+/**
+ * Validate an argument for safe command execution.
+ * Since we use shell: false, most injection vectors are blocked.
+ * We only reject the most dangerous shell metacharacters as defense-in-depth.
+ *
+ * Blocked characters: & | ; ` $ (command chaining and substitution)
+ *                     \n \r (newline injection)
+ *                     \0 (null byte injection)
+ */
+export declare function isValidArg(arg: string): boolean;
+/**
+ * Shell REPL class
+ */
+export declare class ShellRepl {
+    private context;
+    private rl;
+    private history;
+    private configPath;
+    private running;
+    private connectorsCache;
+    private sessionsCache;
+    private rpcsCache;
+    constructor(configPath: string);
+    /**
+     * Invalidate all caches (called after data-modifying commands)
+     */
+    private invalidateCache;
+    /**
+     * Get data provider for completions with caching
+     */
+    private getDataProvider;
+    /**
+     * Start the REPL
+     */
+    start(): Promise<void>;
+    /**
+     * Process a line of input
+     */
+    private processLine;
+    /**
+     * Handle built-in shell commands
+     */
+    private handleBuiltin;
+    /**
+     * Show help
+     */
+    private showHelp;
+    /**
+     * Show current context
+     */
+    private showContext;
+    /**
+     * Handle 'use' command
+     */
+    private handleUse;
+    /**
+     * Reset context
+     */
+    private resetContext;
+    /**
+     * Execute a pfscan command
+     */
+    private executeCommand;
+    /**
+     * Build command arguments with context applied
+     */
+    private buildCommandArgs;
+    /**
+     * Check if command has a positional connector argument
+     */
+    private hasPositionalConnector;
+}
+//# sourceMappingURL=repl.d.ts.map

package/dist/shell/repl.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"repl.d.ts","sourceRoot":"","sources":["../../src/shell/repl.ts"],"names":[],"mappings":"AAAA;;GAEG;AAqBH;;;;;;;;GAQG;AACH,wBAAgB,UAAU,CAAC,GAAG,EAAE,MAAM,GAAG,OAAO,CAG/C;AAUD;;GAEG;AACH,qBAAa,SAAS;IACpB,OAAO,CAAC,OAAO,CAAe;IAC9B,OAAO,CAAC,EAAE,CAAmC;IAC7C,OAAO,CAAC,OAAO,CAAgB;IAC/B,OAAO,CAAC,UAAU,CAAS;IAC3B,OAAO,CAAC,OAAO,CAAS;IAGxB,OAAO,CAAC,eAAe,CAAqC;IAC5D,OAAO,CAAC,aAAa,CAAgD;IACrE,OAAO,CAAC,SAAS,CAAgD;gBAErD,UAAU,EAAE,MAAM;IAY9B;;OAEG;IACH,OAAO,CAAC,eAAe;IAMvB;;OAEG;IACH,OAAO,CAAC,eAAe;IAwDvB;;OAEG;IACG,KAAK,IAAI,OAAO,CAAC,IAAI,CAAC;IA4D5B;;OAEG;YACW,WAAW;IAwBzB;;OAEG;YACW,aAAa;IAiC3B;;OAEG;IACH,OAAO,CAAC,QAAQ;IA0BhB;;OAEG;IACH,OAAO,CAAC,WAAW;IAQnB;;OAEG;YACW,SAAS;IA+IvB;;OAEG;IACH,OAAO,CAAC,YAAY;IAOpB;;OAEG;YACW,cAAc;IAmD5B;;OAEG;IACH,OAAO,CAAC,gBAAgB;IAiCxB;;OAEG;IACH,OAAO,CAAC,sBAAsB;CAO/B"}