erosolar-cli 1.7.16 → 1.7.18

package/dist/shell/interactiveShell.js

@@ -1,6 +1,5 @@
 import readline from 'node:readline';
 import { stdin as input, stdout as output, exit } from 'node:process';
-import chalk from 'chalk';
 import { display } from '../ui/display.js';
 import { formatUserPrompt, theme } from '../ui/theme.js';
 import { getContextWindowTokens } from '../core/contextWindow.js';
@@ -112,6 +111,8 @@ export class InteractiveShell {
     activeSessionTitle = null;
     sessionResumeNotice = null;
     lastAssistantResponse = null;
+    verificationRetryCount = 0;
+    maxVerificationRetries = 2;
     customCommands;
     customCommandMap;
     sessionRestoreConfig;
@@ -1574,12 +1575,14 @@ export class InteractiveShell {
     /**
      * Schedule auto-verification after assistant response if it contains verifiable claims.
      * Runs asynchronously to not block the UI.
+     * If verification fails and retries are available, generates a fix strategy and retries.
      */
     scheduleAutoVerification(response) {
         // Extract claims to see if verification is needed
         const claims = extractClaims(response);
         if (claims.length === 0) {
-            // No verifiable claims - skip verification
+            // No verifiable claims - skip verification and reset retry count
+            this.verificationRetryCount = 0;
             return;
         }
         // Run verification asynchronously after a short delay
@@ -1592,16 +1595,24 @@ export class InteractiveShell {
                 // Show compact result
                 if (report.overallVerdict === 'verified') {
                     display.showInfo(`✅ Verified: ${report.summary.verified}/${report.summary.total} claims confirmed`);
+                    // Reset retry count on success
+                    this.verificationRetryCount = 0;
                 }
-                else if (report.overallVerdict === 'contradicted') {
-                    display.showError(`❌ Verification failed: ${report.summary.failed} claim${report.summary.failed > 1 ? 's' : ''} could not be verified`);
-                    // Show full report for failures
-                    display.showSystemMessage(formattedReport);
-                }
-                else if (report.overallVerdict === 'partially_verified') {
-                    display.showWarning(`⚠️ Partial: ${report.summary.verified}/${report.summary.total} verified, ${report.summary.failed} failed`);
-                    // Show details for partial verification
+                else if (report.overallVerdict === 'contradicted' || report.overallVerdict === 'partially_verified') {
+                    const failedCount = report.summary.failed;
+                    const icon = report.overallVerdict === 'contradicted' ? '❌' : '⚠️';
+                    const label = report.overallVerdict === 'contradicted' ? 'Verification failed' : 'Partial verification';
+                    display.showError(`${icon} ${label}: ${failedCount} claim${failedCount > 1 ? 's' : ''} could not be verified`);
                     display.showSystemMessage(formattedReport);
+                    // Attempt to fix if we have retries left
+                    if (this.verificationRetryCount < this.maxVerificationRetries) {
+                        this.verificationRetryCount++;
+                        this.requestVerificationFix(report);
+                    }
+                    else {
+                        display.showWarning(`Max verification retries (${this.maxVerificationRetries}) reached. Use /verify to check manually.`);
+                        this.verificationRetryCount = 0;
+                    }
                 }
                 // For 'unverified' (no claims found), we already skipped above
             }
@@ -1611,6 +1622,61 @@ export class InteractiveShell {
             }
         }, 500);
     }
+    /**
+     * Request the AI to fix failed verification claims.
+     * Generates a strategic fix request with context about what failed and why.
+     */
+    requestVerificationFix(report) {
+        const failedResults = report.results.filter(r => !r.verified && r.confidence === 'high');
+        if (failedResults.length === 0) {
+            return;
+        }
+        // Build detailed failure descriptions with suggested fixes
+        const failureDetails = failedResults.map(r => {
+            const claim = r.claim;
+            const evidence = r.evidence;
+            // Generate specific fix strategy based on claim type
+            let suggestedFix = '';
+            switch (claim.type) {
+                case 'file_created':
+                case 'file_modified':
+                    suggestedFix = `Re-create or update the file at: ${claim.params.path || 'specified path'}`;
+                    break;
+                case 'code_compiles':
+                    suggestedFix = 'Fix any type errors or syntax issues, then run the build again';
+                    break;
+                case 'tests_pass':
+                    suggestedFix = 'Fix failing tests or update test expectations';
+                    break;
+                case 'git_committed':
+                    suggestedFix = 'Stage changes and create the commit';
+                    break;
+                case 'package_published':
+                    suggestedFix = 'Ensure package.json version is updated and run npm publish';
+                    break;
+                default:
+                    suggestedFix = 'Retry the operation';
+            }
+            return `• ${claim.description}
+  Evidence: ${evidence.slice(0, 150)}
+  Suggested fix: ${suggestedFix}`;
+        }).join('\n\n');
+        const fixMessage = `🔧 VERIFICATION FAILED - AUTO-RETRY (attempt ${this.verificationRetryCount}/${this.maxVerificationRetries})
+
+The following claims could not be verified:
+
+${failureDetails}
+
+Please:
+1. Analyze why each operation failed
+2. Fix the underlying issue
+3. Retry the failed operation(s)
+4. Confirm successful completion`;
+        display.showSystemMessage(`\n🔧 Auto-retry: Generating fix strategy for ${failedResults.length} failed claim${failedResults.length > 1 ? 's' : ''}...`);
+        // Queue the fix request
+        this.followUpQueue.push({ type: 'request', text: fixMessage });
+        this.scheduleQueueProcessing();
+    }
     showImprovementSuggestions() {
         const suggestions = this.alphaZeroMetrics.getImprovementSuggestions();
         if (suggestions.length === 0) {
@@ -3278,7 +3344,7 @@ What's the next action?`;
     }
     /**
      * Style streaming chunks in real-time (Claude Code style)
-     * Detects <thinking> blocks and applies dim styling, hides XML tags
+     * Detects <thinking> blocks and applies cyan styling, hides XML tags
      */
     styleStreamingChunk(chunk) {
         let result = '';
@@ -3290,16 +3356,16 @@ What's the next action?`;
                 if (endIdx !== -1) {
                     // End of thinking block found
                     const thinkingContent = remaining.slice(0, endIdx);
-                    // Apply dim styling to thinking content (hide the closing tag)
-                    result += chalk.dim(thinkingContent);
+                    // Apply cyan thinking styling to content (hide the closing tag)
+                    result += theme.thinking.text(thinkingContent);
                     remaining = remaining.slice(endIdx + '</thinking>'.length);
                     this.isInsideThinkingBlock = false;
-                    // Add newline after thinking block ends
-                    result += '\n';
+                    // Add separator and newline after thinking block ends
+                    result += '\n' + theme.thinking.border('─'.repeat(40)) + '\n';
                 }
                 else {
-                    // Still inside thinking block, apply dim to all remaining
-                    result += chalk.dim(remaining);
+                    // Still inside thinking block, apply cyan styling to all remaining
+                    result += theme.thinking.text(remaining);
                     remaining = '';
                 }
             }
@@ -3311,8 +3377,8 @@ What's the next action?`;
                     if (startIdx > 0) {
                         result += remaining.slice(0, startIdx);
                     }
-                    // Show thinking header instead of raw tag (Claude Code style)
-                    result += chalk.dim('💭 ');
+                    // Show thinking header with cyan styling (Claude Code style)
+                    result += theme.thinking.icon('💭') + ' ' + theme.thinking.label('Thinking') + '\n';
                     remaining = remaining.slice(startIdx + '<thinking>'.length);
                     this.isInsideThinkingBlock = true;
                 }