proofscan 0.6.2 → 0.6.4

package/dist/shell/context-applicator.d.ts

@@ -0,0 +1,26 @@
+/**
+ * Context Applicator - applies shell context to command arguments
+ *
+ * This module ensures that the current connector/session context
+ * is correctly injected into command arguments before execution.
+ */
+import type { ShellContext } from './types.js';
+/**
+ * Result of applying context to command arguments
+ */
+export interface ApplyContextResult {
+    args: string[];
+    warnings: string[];
+}
+/**
+ * Apply context to command arguments
+ *
+ * This function injects --connector, --session, --id options based on
+ * the current shell context and the command being executed.
+ */
+export declare function applyContext(tokens: string[], context: ShellContext): ApplyContextResult;
+/**
+ * Generate context-aware hint message
+ */
+export declare function getContextHint(context: ShellContext): string;
+//# sourceMappingURL=context-applicator.d.ts.map

package/dist/shell/context-applicator.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"context-applicator.d.ts","sourceRoot":"","sources":["../../src/shell/context-applicator.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,YAAY,CAAC;AAE/C;;GAEG;AACH,MAAM,WAAW,kBAAkB;IACjC,IAAI,EAAE,MAAM,EAAE,CAAC;IACf,QAAQ,EAAE,MAAM,EAAE,CAAC;CACpB;AA0FD;;;;;GAKG;AACH,wBAAgB,YAAY,CAC1B,MAAM,EAAE,MAAM,EAAE,EAChB,OAAO,EAAE,YAAY,GACpB,kBAAkB,CA0HpB;AAED;;GAEG;AACH,wBAAgB,cAAc,CAAC,OAAO,EAAE,YAAY,GAAG,MAAM,CAQ5D"}

package/dist/shell/context-applicator.js

@@ -0,0 +1,222 @@
+/**
+ * Context Applicator - applies shell context to command arguments
+ *
+ * This module ensures that the current connector/session context
+ * is correctly injected into command arguments before execution.
+ */
+/**
+ * Boolean flags that don't take values
+ */
+const BOOLEAN_FLAGS = new Set([
+    '--json',
+    '--verbose',
+    '-v',
+    '--help',
+    '-h',
+    '--errors',
+    '--fulltime',
+    '--full-time',
+    '--time-full',
+    '--with-sessions',
+    '--pairs',
+    '--pair',
+    '--sessions',
+    '--rpc',
+    '--rpc-all',
+    '--compact',
+    '--ids-only',
+    '--dry-run',
+    '--stdin',
+    '-f',
+    '--follow',
+    '-l',
+]);
+/**
+ * Check if a flag is a boolean flag (doesn't take a value)
+ */
+function isBooleanFlag(flag) {
+    return BOOLEAN_FLAGS.has(flag);
+}
+/**
+ * Check if args already contain a specific option
+ */
+function hasOption(args, ...optionNames) {
+    return optionNames.some(opt => args.includes(opt));
+}
+/**
+ * Check if args have a positional argument at given position (0-indexed from command)
+ * Positional = non-option argument (doesn't start with -)
+ */
+function hasPositionalAt(args, position) {
+    let positionalCount = 0;
+    for (let i = 1; i < args.length; i++) {
+        if (!args[i].startsWith('-')) {
+            if (positionalCount === position) {
+                return true;
+            }
+            positionalCount++;
+        }
+        else {
+            // Only skip next arg if this is a value-taking option
+            // Boolean flags don't consume the next argument
+            // Also check bounds before incrementing to avoid accessing past array end
+            if (!isBooleanFlag(args[i]) && i + 1 < args.length) {
+                i++;
+            }
+        }
+    }
+    return false;
+}
+/**
+ * Get positional argument at given position
+ */
+function getPositionalAt(args, position) {
+    let positionalCount = 0;
+    for (let i = 1; i < args.length; i++) {
+        if (!args[i].startsWith('-')) {
+            if (positionalCount === position) {
+                return args[i];
+            }
+            positionalCount++;
+        }
+        else {
+            // Only skip next arg if this is a value-taking option
+            // Also check bounds before incrementing to avoid accessing past array end
+            if (!isBooleanFlag(args[i]) && i + 1 < args.length) {
+                i++;
+            }
+        }
+    }
+    return undefined;
+}
+/**
+ * Apply context to command arguments
+ *
+ * This function injects --connector, --session, --id options based on
+ * the current shell context and the command being executed.
+ */
+export function applyContext(tokens, context) {
+    const args = [...tokens];
+    const warnings = [];
+    const command = tokens[0];
+    const subcommand = tokens[1];
+    // === VIEW / V ===
+    // - `view <connector>` -> `view --connector <connector>`
+    // - Add --connector from context if not specified
+    // - Add --session from context if not specified
+    if (command === 'view' || command === 'v') {
+        // Handle positional connector: `view yfinance` -> `view --connector yfinance`
+        const positional = getPositionalAt(args, 0);
+        if (positional && !hasOption(args, '--connector')) {
+            // Remove positional and add as --connector
+            const idx = args.indexOf(positional);
+            args.splice(idx, 1);
+            args.push('--connector', positional);
+        }
+        // Add --connector from context if not specified
+        if (context.connector && !hasOption(args, '--connector')) {
+            args.push('--connector', context.connector);
+        }
+        // Add --session from context if not specified
+        if (context.session && !hasOption(args, '--session')) {
+            args.push('--session', context.session);
+        }
+    }
+    // === TREE / T ===
+    // - Add --connector from context (tree uses positional connector)
+    if (command === 'tree' || command === 't') {
+        // tree takes positional connector, but we can also set context
+        // Only add if no positional argument
+        if (context.connector && !hasPositionalAt(args, 0) && !hasOption(args, '--connector')) {
+            // Insert connector as positional argument after command
+            args.splice(1, 0, context.connector);
+        }
+        // Add --session from context for tree
+        if (context.session && !hasOption(args, '--session')) {
+            args.push('--session', context.session);
+        }
+    }
+    // === SCAN / S ===
+    // - `scan start` needs --id from context
+    // - `scan start <connector>` is positional
+    if (command === 'scan' || command === 's') {
+        if (subcommand === 'start' || (!subcommand?.startsWith('-') && tokens.length === 1)) {
+            // `scan start` or just `scan` (which becomes `scan start`)
+            const hasStartSubcmd = subcommand === 'start';
+            const positionalIdx = hasStartSubcmd ? 1 : 0;
+            // Check for positional connector after 'start'
+            const hasPositionalConnector = hasPositionalAt(args, positionalIdx);
+            if (!hasPositionalConnector && !hasOption(args, '--id') && context.connector) {
+                args.push('--id', context.connector);
+            }
+        }
+    }
+    // === SESSIONS SHOW ===
+    // - `sessions show` needs --id from context.session
+    if (command === 'sessions' && subcommand === 'show') {
+        if (!hasOption(args, '--id') && context.session) {
+            args.push('--id', context.session);
+        }
+        else if (!hasOption(args, '--id') && !context.session) {
+            warnings.push('No session in context. Try: cc <connector>|<session>');
+        }
+    }
+    // === RPC LIST / RPC SHOW ===
+    // - Both need --session from context
+    if (command === 'rpc') {
+        if (!hasOption(args, '--session') && context.session) {
+            args.push('--session', context.session);
+        }
+        else if (!hasOption(args, '--session') && !context.session) {
+            warnings.push('No session in context. Try: cc <connector>|<session>');
+        }
+    }
+    // === SUMMARY ===
+    // - Needs --session from context
+    if (command === 'summary') {
+        if (!hasOption(args, '--session') && context.session) {
+            args.push('--session', context.session);
+        }
+        else if (!hasOption(args, '--session') && !context.session) {
+            warnings.push('No session in context. Try: cc <connector>|<session>');
+        }
+    }
+    // === PERMISSIONS ===
+    // - Needs --session from context
+    if (command === 'permissions') {
+        if (!hasOption(args, '--session') && context.session) {
+            args.push('--session', context.session);
+        }
+        else if (!hasOption(args, '--session') && !context.session) {
+            warnings.push('No session in context. Try: cc <connector>|<session>');
+        }
+    }
+    // === EVENTS ===
+    // - Can use --session from context
+    if (command === 'events') {
+        if (!hasOption(args, '--session') && context.session) {
+            args.push('--session', context.session);
+        }
+    }
+    // === CONNECTORS SHOW ===
+    // - `connectors show` needs --id from context.connector
+    if ((command === 'connectors' || command === 'connector') && subcommand === 'show') {
+        if (!hasOption(args, '--id') && context.connector) {
+            args.push('--id', context.connector);
+        }
+    }
+    return { args, warnings };
+}
+/**
+ * Generate context-aware hint message
+ */
+export function getContextHint(context) {
+    if (!context.connector && !context.session) {
+        return 'Try: cc <connector> or cc <connector>|<session>';
+    }
+    if (context.connector && !context.session) {
+        return `Try: cc <session> or ls (list sessions for ${context.connector})`;
+    }
+    return '';
+}
+//# sourceMappingURL=context-applicator.js.map

package/dist/shell/context-applicator.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"context-applicator.js","sourceRoot":"","sources":["../../src/shell/context-applicator.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAYH;;GAEG;AACH,MAAM,aAAa,GAAG,IAAI,GAAG,CAAC;IAC5B,QAAQ;IACR,WAAW;IACX,IAAI;IACJ,QAAQ;IACR,IAAI;IACJ,UAAU;IACV,YAAY;IACZ,aAAa;IACb,aAAa;IACb,iBAAiB;IACjB,SAAS;IACT,QAAQ;IACR,YAAY;IACZ,OAAO;IACP,WAAW;IACX,WAAW;IACX,YAAY;IACZ,WAAW;IACX,SAAS;IACT,IAAI;IACJ,UAAU;IACV,IAAI;CACL,CAAC,CAAC;AAEH;;GAEG;AACH,SAAS,aAAa,CAAC,IAAY;IACjC,OAAO,aAAa,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;AACjC,CAAC;AAED;;GAEG;AACH,SAAS,SAAS,CAAC,IAAc,EAAE,GAAG,WAAqB;IACzD,OAAO,WAAW,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC;AACrD,CAAC;AAED;;;GAGG;AACH,SAAS,eAAe,CAAC,IAAc,EAAE,QAAgB;IACvD,IAAI,eAAe,GAAG,CAAC,CAAC;IACxB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACrC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC;YAC7B,IAAI,eAAe,KAAK,QAAQ,EAAE,CAAC;gBACjC,OAAO,IAAI,CAAC;YACd,CAAC;YACD,eAAe,EAAE,CAAC;QACpB,CAAC;aAAM,CAAC;YACN,sDAAsD;YACtD,gDAAgD;YAChD,0EAA0E;YAC1E,IAAI,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,IAAI,CAAC,MAAM,EAAE,CAAC;gBACnD,CAAC,EAAE,CAAC;YACN,CAAC;QACH,CAAC;IACH,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED;;GAEG;AACH,SAAS,eAAe,CAAC,IAAc,EAAE,QAAgB;IACvD,IAAI,eAAe,GAAG,CAAC,CAAC;IACxB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACrC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC;YAC7B,IAAI,eAAe,KAAK,QAAQ,EAAE,CAAC;gBACjC,OAAO,IAAI,CAAC,CAAC,CAAC,CAAC;YACjB,CAAC;YACD,eAAe,EAAE,CAAC;QACpB,CAAC;aAAM,CAAC;YACN,sDAAsD;YACtD,0EAA0E;YAC1E,IAAI,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,IAAI,CAAC,MAAM,EAAE,CAAC;gBACnD,CAAC,EAAE,CAAC;YACN,CAAC;QACH,CAAC;IACH,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,YAAY,CAC1B,MAAgB,EAChB,OAAqB;IAErB,MAAM,IAAI,GAAG,CAAC,GAAG,MAAM,CAAC,CAAC;IACzB,MAAM,QAAQ,GAAa,EAAE,CAAC;IAC9B,MAAM,OAAO,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC;IAC1B,MAAM,UAAU,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC;IAE7B,mBAAmB;IACnB,yDAAyD;IACzD,kDAAkD;IAClD,gDAAgD;IAChD,IAAI,OAAO,KAAK,MAAM,IAAI,OAAO,KAAK,GAAG,EAAE,CAAC;QAC1C,8EAA8E;QAC9E,MAAM,UAAU,GAAG,eAAe,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC;QAC5C,IAAI,UAAU,IAAI,CAAC,SAAS,CAAC,IAAI,EAAE,aAAa,CAAC,EAAE,CAAC;YAClD,2CAA2C;YAC3C,MAAM,GAAG,GAAG,IAAI,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC;YACrC,IAAI,CAAC,MAAM,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC;YACpB,IAAI,CAAC,IAAI,CAAC,aAAa,EAAE,UAAU,CAAC,CAAC;QACvC,CAAC;QAED,gDAAgD;QAChD,IAAI,OAAO,CAAC,SAAS,IAAI,CAAC,SAAS,CAAC,IAAI,EAAE,aAAa,CAAC,EAAE,CAAC;YACzD,IAAI,CAAC,IAAI,CAAC,aAAa,EAAE,OAAO,CAAC,SAAS,CAAC,CAAC;QAC9C,CAAC;QAED,8CAA8C;QAC9C,IAAI,OAAO,CAAC,OAAO,IAAI,CAAC,SAAS,CAAC,IAAI,EAAE,WAAW,CAAC,EAAE,CAAC;YACrD,IAAI,CAAC,IAAI,CAAC,WAAW,EAAE,OAAO,CAAC,OAAO,CAAC,CAAC;QAC1C,CAAC;IACH,CAAC;IAED,mBAAmB;IACnB,kEAAkE;IAClE,IAAI,OAAO,KAAK,MAAM,IAAI,OAAO,KAAK,GAAG,EAAE,CAAC;QAC1C,+DAA+D;QAC/D,qCAAqC;QACrC,IAAI,OAAO,CAAC,SAAS,IAAI,CAAC,eAAe,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,IAAI,EAAE,aAAa,CAAC,EAAE,CAAC;YACtF,wDAAwD;YACxD,IAAI,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,EAAE,OAAO,CAAC,SAAS,CAAC,CAAC;QACvC,CAAC;QAED,sCAAsC;QACtC,IAAI,OAAO,CAAC,OAAO,IAAI,CAAC,SAAS,CAAC,IAAI,EAAE,WAAW,CAAC,EAAE,CAAC;YACrD,IAAI,CAAC,IAAI,CAAC,WAAW,EAAE,OAAO,CAAC,OAAO,CAAC,CAAC;QAC1C,CAAC;IACH,CAAC;IAED,mBAAmB;IACnB,yCAAyC;IACzC,2CAA2C;IAC3C,IAAI,OAAO,KAAK,MAAM,IAAI,OAAO,KAAK,GAAG,EAAE,CAAC;QAC1C,IAAI,UAAU,KAAK,OAAO,IAAI,CAAC,CAAC,UAAU,EAAE,UAAU,CAAC,GAAG,CAAC,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC,CAAC,EAAE,CAAC;YACpF,2DAA2D;YAC3D,MAAM,cAAc,GAAG,UAAU,KAAK,OAAO,CAAC;YAC9C,MAAM,aAAa,GAAG,cAAc,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;YAE7C,+CAA+C;YAC/C,MAAM,sBAAsB,GAAG,eAAe,CAAC,IAAI,EAAE,aAAa,CAAC,CAAC;YAEpE,IAAI,CAAC,sBAAsB,IAAI,CAAC,SAAS,CAAC,IAAI,EAAE,MAAM,CAAC,IAAI,OAAO,CAAC,SAAS,EAAE,CAAC;gBAC7E,IAAI,CAAC,IAAI,CAAC,MAAM,EAAE,OAAO,CAAC,SAAS,CAAC,CAAC;YACvC,CAAC;QACH,CAAC;IACH,CAAC;IAED,wBAAwB;IACxB,oDAAoD;IACpD,IAAI,OAAO,KAAK,UAAU,IAAI,UAAU,KAAK,MAAM,EAAE,CAAC;QACpD,IAAI,CAAC,SAAS,CAAC,IAAI,EAAE,MAAM,CAAC,IAAI,OAAO,CAAC,OAAO,EAAE,CAAC;YAChD,IAAI,CAAC,IAAI,CAAC,MAAM,EAAE,OAAO,CAAC,OAAO,CAAC,CAAC;QACrC,CAAC;aAAM,IAAI,CAAC,SAAS,CAAC,IAAI,EAAE,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,OAAO,EAAE,CAAC;YACxD,QAAQ,CAAC,IAAI,CAAC,sDAAsD,CAAC,CAAC;QACxE,CAAC;IACH,CAAC;IAED,8BAA8B;IAC9B,qCAAqC;IACrC,IAAI,OAAO,KAAK,KAAK,EAAE,CAAC;QACtB,IAAI,CAAC,SAAS,CAAC,IAAI,EAAE,WAAW,CAAC,IAAI,OAAO,CAAC,OAAO,EAAE,CAAC;YACrD,IAAI,CAAC,IAAI,CAAC,WAAW,EAAE,OAAO,CAAC,OAAO,CAAC,CAAC;QAC1C,CAAC;aAAM,IAAI,CAAC,SAAS,CAAC,IAAI,EAAE,WAAW,CAAC,IAAI,CAAC,OAAO,CAAC,OAAO,EAAE,CAAC;YAC7D,QAAQ,CAAC,IAAI,CAAC,sDAAsD,CAAC,CAAC;QACxE,CAAC;IACH,CAAC;IAED,kBAAkB;IAClB,iCAAiC;IACjC,IAAI,OAAO,KAAK,SAAS,EAAE,CAAC;QAC1B,IAAI,CAAC,SAAS,CAAC,IAAI,EAAE,WAAW,CAAC,IAAI,OAAO,CAAC,OAAO,EAAE,CAAC;YACrD,IAAI,CAAC,IAAI,CAAC,WAAW,EAAE,OAAO,CAAC,OAAO,CAAC,CAAC;QAC1C,CAAC;aAAM,IAAI,CAAC,SAAS,CAAC,IAAI,EAAE,WAAW,CAAC,IAAI,CAAC,OAAO,CAAC,OAAO,EAAE,CAAC;YAC7D,QAAQ,CAAC,IAAI,CAAC,sDAAsD,CAAC,CAAC;QACxE,CAAC;IACH,CAAC;IAED,sBAAsB;IACtB,iCAAiC;IACjC,IAAI,OAAO,KAAK,aAAa,EAAE,CAAC;QAC9B,IAAI,CAAC,SAAS,CAAC,IAAI,EAAE,WAAW,CAAC,IAAI,OAAO,CAAC,OAAO,EAAE,CAAC;YACrD,IAAI,CAAC,IAAI,CAAC,WAAW,EAAE,OAAO,CAAC,OAAO,CAAC,CAAC;QAC1C,CAAC;aAAM,IAAI,CAAC,SAAS,CAAC,IAAI,EAAE,WAAW,CAAC,IAAI,CAAC,OAAO,CAAC,OAAO,EAAE,CAAC;YAC7D,QAAQ,CAAC,IAAI,CAAC,sDAAsD,CAAC,CAAC;QACxE,CAAC;IACH,CAAC;IAED,iBAAiB;IACjB,mCAAmC;IACnC,IAAI,OAAO,KAAK,QAAQ,EAAE,CAAC;QACzB,IAAI,CAAC,SAAS,CAAC,IAAI,EAAE,WAAW,CAAC,IAAI,OAAO,CAAC,OAAO,EAAE,CAAC;YACrD,IAAI,CAAC,IAAI,CAAC,WAAW,EAAE,OAAO,CAAC,OAAO,CAAC,CAAC;QAC1C,CAAC;IACH,CAAC;IAED,0BAA0B;IAC1B,wDAAwD;IACxD,IAAI,CAAC,OAAO,KAAK,YAAY,IAAI,OAAO,KAAK,WAAW,CAAC,IAAI,UAAU,KAAK,MAAM,EAAE,CAAC;QACnF,IAAI,CAAC,SAAS,CAAC,IAAI,EAAE,MAAM,CAAC,IAAI,OAAO,CAAC,SAAS,EAAE,CAAC;YAClD,IAAI,CAAC,IAAI,CAAC,MAAM,EAAE,OAAO,CAAC,SAAS,CAAC,CAAC;QACvC,CAAC;IACH,CAAC;IAED,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;AAC5B,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,cAAc,CAAC,OAAqB;IAClD,IAAI,CAAC,OAAO,CAAC,SAAS,IAAI,CAAC,OAAO,CAAC,OAAO,EAAE,CAAC;QAC3C,OAAO,iDAAiD,CAAC;IAC3D,CAAC;IACD,IAAI,OAAO,CAAC,SAAS,IAAI,CAAC,OAAO,CAAC,OAAO,EAAE,CAAC;QAC1C,OAAO,8CAA8C,OAAO,CAAC,SAAS,GAAG,CAAC;IAC5E,CAAC;IACD,OAAO,EAAE,CAAC;AACZ,CAAC"}

package/dist/shell/index.d.ts

@@ -6,6 +6,8 @@ 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';
+export type { ShellContext, CompletionResult, ProtoType } from './types.js';
+export { TOP_LEVEL_COMMANDS, COMMAND_SUBCOMMANDS, SHELL_BUILTINS, ROUTER_COMMANDS } from './types.js';
+export { applyContext } from './context-applicator.js';
+export { handleCc, handleUp, handlePwd, handleLs, handleShow, detectProto, detectConnectorProto, getContextLevel, } from './router-commands.js';
 //# sourceMappingURL=index.d.ts.map

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

@@ -1 +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"}
+{"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,SAAS,EAAE,MAAM,YAAY,CAAC;AAC5E,OAAO,EAAE,kBAAkB,EAAE,mBAAmB,EAAE,cAAc,EAAE,eAAe,EAAE,MAAM,YAAY,CAAC;AACtG,OAAO,EAAE,YAAY,EAAE,MAAM,yBAAyB,CAAC;AACvD,OAAO,EACL,QAAQ,EACR,QAAQ,EACR,SAAS,EACT,QAAQ,EACR,UAAU,EACV,WAAW,EACX,oBAAoB,EACpB,eAAe,GAChB,MAAM,sBAAsB,CAAC"}

package/dist/shell/index.js

@@ -6,5 +6,7 @@ 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';
+export { TOP_LEVEL_COMMANDS, COMMAND_SUBCOMMANDS, SHELL_BUILTINS, ROUTER_COMMANDS } from './types.js';
+export { applyContext } from './context-applicator.js';
+export { handleCc, handleUp, handlePwd, handleLs, handleShow, detectProto, detectConnectorProto, getContextLevel, } from './router-commands.js';
 //# sourceMappingURL=index.js.map

package/dist/shell/index.js.map

@@ -1 +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"}
+{"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,eAAe,EAAE,MAAM,YAAY,CAAC;AACtG,OAAO,EAAE,YAAY,EAAE,MAAM,yBAAyB,CAAC;AACvD,OAAO,EACL,QAAQ,EACR,QAAQ,EACR,SAAS,EACT,QAAQ,EACR,UAAU,EACV,WAAW,EACX,oBAAoB,EACpB,eAAe,GAChB,MAAM,sBAAsB,CAAC"}

package/dist/shell/prompt.d.ts

@@ -12,11 +12,18 @@ export declare function supportsColor(): boolean;
 export declare function shortenSessionId(sessionId: string, length?: number): string;
 /**
  * Generate the shell prompt string
- * Format: proofscan|<connector>|<sessionPrefix>>
+ * Format: proofscan:/path (proto) >
+ *
+ * Examples:
+ *   proofscan:/ >           (root)
+ *   proofscan:/time >       (connector)
+ *   proofscan:/time (mcp) > (connector with detected proto)
+ *   proofscan:/time/47676704 (mcp) > (session)
  */
 export declare function generatePrompt(context: ShellContext): string;
 /**
  * Generate a plain prompt (no colors)
+ * Format: proofscan:/path (proto) >
  */
 export declare function generatePlainPrompt(context: ShellContext): string;
 /**

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

@@ -1 +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"}
+{"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;AAgBD;;;;;;;;;GASG;AACH,wBAAgB,cAAc,CAAC,OAAO,EAAE,YAAY,GAAG,MAAM,CAgC5D;AAED;;;GAGG;AACH,wBAAgB,mBAAmB,CAAC,OAAO,EAAE,YAAY,GAAG,MAAM,CAiBjE;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

@@ -38,33 +38,77 @@ function color(text, colorCode) {
 export function shortenSessionId(sessionId, length = 8) {
     return sessionId.slice(0, length);
 }
+/**
+ * Get color for proto type
+ */
+function getProtoColor(proto) {
+    switch (proto) {
+        case 'mcp':
+            return COLORS.green;
+        case 'a2a':
+            return COLORS.cyan;
+        default:
+            return COLORS.dim;
+    }
+}
 /**
  * Generate the shell prompt string
- * Format: proofscan|<connector>|<sessionPrefix>>
+ * Format: proofscan:/path (proto) >
+ *
+ * Examples:
+ *   proofscan:/ >           (root)
+ *   proofscan:/time >       (connector)
+ *   proofscan:/time (mcp) > (connector with detected proto)
+ *   proofscan:/time/47676704 (mcp) > (session)
  */
 export function generatePrompt(context) {
     const parts = [];
-    // proofscan (dim)
+    // proofscan prefix (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
+    // Build path
+    let path = '/';
+    if (context.connector) {
+        path = `/${context.connector}`;
+        if (context.session) {
+            path += `/${shortenSessionId(context.session)}`;
+        }
+    }
+    // Path (cyan for connector, yellow for session)
     if (context.session) {
-        parts.push(color(shortenSessionId(context.session), COLORS.yellow));
+        const connectorPart = color(`/${context.connector}`, COLORS.cyan);
+        const sessionPart = color(`/${shortenSessionId(context.session)}`, COLORS.yellow);
+        parts.push(connectorPart + sessionPart);
     }
-    return parts.join('|') + '> ';
+    else if (context.connector) {
+        parts.push(color(`/${context.connector}`, COLORS.cyan));
+    }
+    else {
+        parts.push(color('/', COLORS.dim));
+    }
+    // Proto suffix (only if detected and not '?')
+    if (context.proto && context.proto !== '?') {
+        parts.push(' ' + color(`(${context.proto})`, getProtoColor(context.proto)));
+    }
+    return parts.join(':') + ' > ';
 }
 /**
  * Generate a plain prompt (no colors)
+ * Format: proofscan:/path (proto) >
  */
 export function generatePlainPrompt(context) {
-    const parts = ['proofscan'];
-    parts.push(context.connector || '*');
-    if (context.session) {
-        parts.push(shortenSessionId(context.session));
+    let path = '/';
+    if (context.connector) {
+        path = `/${context.connector}`;
+        if (context.session) {
+            path += `/${shortenSessionId(context.session)}`;
+        }
+    }
+    let prompt = `proofscan:${path}`;
+    // Proto suffix (only if detected and not '?')
+    if (context.proto && context.proto !== '?') {
+        prompt += ` (${context.proto})`;
     }
-    return parts.join('|') + '> ';
+    return prompt + ' > ';
 }
 /**
  * Print success message

package/dist/shell/prompt.js.map

@@ -1 +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"}
+{"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;;GAEG;AACH,SAAS,aAAa,CAAC,KAAa;IAClC,QAAQ,KAAK,EAAE,CAAC;QACd,KAAK,KAAK;YACR,OAAO,MAAM,CAAC,KAAK,CAAC;QACtB,KAAK,KAAK;YACR,OAAO,MAAM,CAAC,IAAI,CAAC;QACrB;YACE,OAAO,MAAM,CAAC,GAAG,CAAC;IACtB,CAAC;AACH,CAAC;AAED;;;;;;;;;GASG;AACH,MAAM,UAAU,cAAc,CAAC,OAAqB;IAClD,MAAM,KAAK,GAAa,EAAE,CAAC;IAE3B,yBAAyB;IACzB,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,WAAW,EAAE,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC;IAE3C,aAAa;IACb,IAAI,IAAI,GAAG,GAAG,CAAC;IACf,IAAI,OAAO,CAAC,SAAS,EAAE,CAAC;QACtB,IAAI,GAAG,IAAI,OAAO,CAAC,SAAS,EAAE,CAAC;QAC/B,IAAI,OAAO,CAAC,OAAO,EAAE,CAAC;YACpB,IAAI,IAAI,IAAI,gBAAgB,CAAC,OAAO,CAAC,OAAO,CAAC,EAAE,CAAC;QAClD,CAAC;IACH,CAAC;IAED,gDAAgD;IAChD,IAAI,OAAO,CAAC,OAAO,EAAE,CAAC;QACpB,MAAM,aAAa,GAAG,KAAK,CAAC,IAAI,OAAO,CAAC,SAAS,EAAE,EAAE,MAAM,CAAC,IAAI,CAAC,CAAC;QAClE,MAAM,WAAW,GAAG,KAAK,CAAC,IAAI,gBAAgB,CAAC,OAAO,CAAC,OAAO,CAAC,EAAE,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC;QAClF,KAAK,CAAC,IAAI,CAAC,aAAa,GAAG,WAAW,CAAC,CAAC;IAC1C,CAAC;SAAM,IAAI,OAAO,CAAC,SAAS,EAAE,CAAC;QAC7B,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,OAAO,CAAC,SAAS,EAAE,EAAE,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC;IAC1D,CAAC;SAAM,CAAC;QACN,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,EAAE,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC;IACrC,CAAC;IAED,8CAA8C;IAC9C,IAAI,OAAO,CAAC,KAAK,IAAI,OAAO,CAAC,KAAK,KAAK,GAAG,EAAE,CAAC;QAC3C,KAAK,CAAC,IAAI,CAAC,GAAG,GAAG,KAAK,CAAC,IAAI,OAAO,CAAC,KAAK,GAAG,EAAE,aAAa,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;IAC9E,CAAC;IAED,OAAO,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,KAAK,CAAC;AACjC,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,mBAAmB,CAAC,OAAqB;IACvD,IAAI,IAAI,GAAG,GAAG,CAAC;IACf,IAAI,OAAO,CAAC,SAAS,EAAE,CAAC;QACtB,IAAI,GAAG,IAAI,OAAO,CAAC,SAAS,EAAE,CAAC;QAC/B,IAAI,OAAO,CAAC,OAAO,EAAE,CAAC;YACpB,IAAI,IAAI,IAAI,gBAAgB,CAAC,OAAO,CAAC,OAAO,CAAC,EAAE,CAAC;QAClD,CAAC;IACH,CAAC;IAED,IAAI,MAAM,GAAG,aAAa,IAAI,EAAE,CAAC;IAEjC,8CAA8C;IAC9C,IAAI,OAAO,CAAC,KAAK,IAAI,OAAO,CAAC,KAAK,KAAK,GAAG,EAAE,CAAC;QAC3C,MAAM,IAAI,KAAK,OAAO,CAAC,KAAK,GAAG,CAAC;IAClC,CAAC;IAED,OAAO,MAAM,GAAG,KAAK,CAAC;AACxB,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

@@ -40,6 +40,10 @@ export declare class ShellRepl {
      * Process a line of input
      */
     private processLine;
+    /**
+     * Handle router-style commands (cc, cd, ls, show, ..)
+     */
+    private handleRouterCommand;
     /**
      * Handle built-in shell commands
      */
@@ -64,13 +68,5 @@ export declare class ShellRepl {
      * 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

@@ -1 +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;IA+C5B;;OAEG;IACH,OAAO,CAAC,gBAAgB;IAiCxB;;OAEG;IACH,OAAO,CAAC,sBAAsB;CAO/B"}
+{"version":3,"file":"repl.d.ts","sourceRoot":"","sources":["../../src/shell/repl.ts"],"names":[],"mappings":"AAAA;;GAEG;AA6BH;;;;;;;;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;IA8BzB;;OAEG;YACW,mBAAmB;IAkBjC;;OAEG;YACW,aAAa;IAiC3B;;OAEG;IACH,OAAO,CAAC,QAAQ;IAmChB;;OAEG;IACH,OAAO,CAAC,WAAW;IAQnB;;OAEG;YACW,SAAS;IA+IvB;;OAEG;IACH,OAAO,CAAC,YAAY;IAOpB;;OAEG;YACW,cAAc;CAiD7B"}

package/dist/shell/repl.js

@@ -3,7 +3,9 @@
  */
 import * as readline from 'readline';
 import { spawn } from 'child_process';
-import { SHELL_BUILTINS, TOP_LEVEL_COMMANDS } from './types.js';
+import { SHELL_BUILTINS, TOP_LEVEL_COMMANDS, ROUTER_COMMANDS } from './types.js';
+import { applyContext } from './context-applicator.js';
+import { handleCc, handleUp, handlePwd, handleLs, handleShow, } from './router-commands.js';
 import { generatePrompt, printSuccess, printError, printInfo, shortenSessionId } from './prompt.js';
 import { loadHistory, saveHistory, addToHistory } from './history.js';
 import { createCompleter } from './completer.js';
@@ -179,6 +181,11 @@ export class ShellRepl {
             return;
         const command = tokens[0];
         const args = tokens.slice(1);
+        // Handle router-style commands first
+        if (ROUTER_COMMANDS.includes(command)) {
+            await this.handleRouterCommand(command, args);
+            return;
+        }
         // Handle built-in commands
         if (SHELL_BUILTINS.includes(command)) {
             await this.handleBuiltin(command, args);
@@ -193,6 +200,26 @@ export class ShellRepl {
         printError(`Unknown command: ${command}`);
         printInfo('Type "help" for available commands');
     }
+    /**
+     * Handle router-style commands (cc, cd, ls, show, ..)
+     */
+    async handleRouterCommand(command, args) {
+        switch (command) {
+            case 'cc':
+            case 'cd':
+                await handleCc(args, this.context, this.configPath);
+                break;
+            case '..':
+                handleUp(this.context);
+                break;
+            case 'ls':
+                await handleLs(args, this.context, this.configPath, (tokens) => this.executeCommand(tokens));
+                break;
+            case 'show':
+                await handleShow(args, this.context, this.configPath, (tokens) => this.executeCommand(tokens));
+                break;
+        }
+    }
     /**
      * Handle built-in shell commands
      */
@@ -210,7 +237,7 @@ export class ShellRepl {
                 console.clear();
                 break;
             case 'pwd':
-                this.showContext();
+                handlePwd(this.context, this.configPath);
                 break;
             case 'use':
                 await this.handleUse(args);
@@ -231,22 +258,31 @@ export class ShellRepl {
             return;
         }
         console.log(`
+Navigation:
+  cd, cc                  Change context (alias for each other)
+    cd /                  Go to root
+    cd <connector>        Enter connector context
+    cd <session>          Enter session (in connector context)
+    cd <conn>/<sess>      Enter session directly
+    cd ..                 Go up one level
+    cd ../..              Go up two levels
+    cd -                  Go to previous location
+  ls [-l] [--json]        List items at current level
+  show [target] [--json]  Show details
+  pwd                     Show current context path
+
 Shell Commands:
-  use <connector>         Set current connector context
-  use session <prefix>    Set current session context
-  reset                   Clear context (connector and session)
-  pwd                     Show current context
   help [command]          Show help
   clear                   Clear screen
   exit, quit              Exit shell
 
-Available Commands:
+ProofScan Commands:
   ${TOP_LEVEL_COMMANDS.join(', ')}
 
 Tips:
   - Press TAB for auto-completion
-  - Current context is shown in the prompt
-  - Commands run with current context applied
+  - Prompt shows: proofscan:/connector/session (proto)
+  - Commands auto-apply current context
 `);
     }
     /**
@@ -400,9 +436,11 @@ Tips:
      * Execute a pfscan command
      */
     async executeCommand(tokens) {
-        // Build command line with context
-        const cmdArgs = this.buildCommandArgs(tokens);
+        // Apply context to command arguments
+        const { args: cmdArgs, warnings } = applyContext(tokens, this.context);
         const command = tokens[0];
+        // Show context-aware warnings
+        warnings.forEach(w => printInfo(w));
         // Validate all arguments for safety (defense-in-depth with shell: false)
         const invalidArgs = cmdArgs.filter(arg => !isValidArg(arg));
         if (invalidArgs.length > 0) {
@@ -441,46 +479,5 @@ Tips:
             });
         });
     }
-    /**
-     * Build command arguments with context applied
-     */
-    buildCommandArgs(tokens) {
-        const args = [...tokens];
-        const command = tokens[0];
-        // Add --connector if context has connector and command supports it
-        const connectorCommands = ['view', 'v', 'tree', 't'];
-        if (this.context.connector && connectorCommands.includes(command)) {
-            if (!args.includes('--connector') && !this.hasPositionalConnector(args)) {
-                args.push('--connector', this.context.connector);
-            }
-        }
-        // Add --session if context has session and command supports it
-        const sessionCommands = ['rpc', 'summary', 'permissions', 'view', 'v'];
-        if (this.context.session && sessionCommands.includes(command)) {
-            if (!args.includes('--session')) {
-                args.push('--session', this.context.session);
-            }
-        }
-        // Add --id for scan start if context has connector
-        if (command === 'scan' || command === 's') {
-            if (args.includes('start') && !args.includes('--id') && this.context.connector) {
-                const hasPositional = args.length > 2 && !args[2].startsWith('-');
-                if (!hasPositional) {
-                    args.push('--id', this.context.connector);
-                }
-            }
-        }
-        return args;
-    }
-    /**
-     * Check if command has a positional connector argument
-     */
-    hasPositionalConnector(args) {
-        // For tree command, check if there's a positional argument
-        if (args[0] === 'tree' || args[0] === 't') {
-            return args.length > 1 && !args[1].startsWith('-');
-        }
-        return false;
-    }
 }
 //# sourceMappingURL=repl.js.map