@vibecheckai/cli 3.5.5 → 3.6.0

package/bin/runners/lib/fix-output.js

@@ -0,0 +1,228 @@
+/**
+ * Enterprise Fix Output - V5 "Mission Control" Format
+ * Features:
+ * - Dynamic "FIX" ASCII Art
+ * - Mission Planning Status
+ * - Fix Progress Tracking
+ * - Pixel-perfect 80-char alignment
+ */
+
+const path = require('path');
+
+// ANSI Color Helpers
+const ESC = '\x1b';
+const chalk = {
+  reset: `${ESC}[0m`,
+  bold: `${ESC}[1m`,
+  dim: `${ESC}[2m`,
+  red: `${ESC}[31m`,
+  green: `${ESC}[32m`,
+  yellow: `${ESC}[33m`,
+  cyan: `${ESC}[36m`,
+  magenta: `${ESC}[35m`,
+  white: `${ESC}[37m`,
+  gray: `${ESC}[90m`,
+};
+
+// ═══════════════════════════════════════════════════════════════════════════════
+// CONFIGURATION
+// ═══════════════════════════════════════════════════════════════════════════════
+
+const WIDTH = 80;
+
+const BOX = {
+  topLeft: '╔', topRight: '╗', bottomLeft: '╚', bottomRight: '╝',
+  horizontal: '═', vertical: '║',
+  teeRight: '╠', teeLeft: '╣', teeTop: '╤', teeBottom: '╧',
+  cross: '╪',
+  lightH: '─', lightV: '│',
+  lightTeeLeft: '├', lightTeeRight: '┤', lightCross: '┼'
+};
+
+// EXTERNAL HEADER
+const LOGO_VIBECHECK = `
+  ██╗   ██╗██╗██████╗ ███████╗ ██████╗██╗  ██╗███████╗ ██████╗██╗  ██╗
+  ██║   ██║██║██╔══██╗██╔════╝██╔════╝██║  ██║██╔════╝██╔════╝██║ ██╔╝
+  ██║   ██║██║██████╔╝█████╗  ██║     ███████║█████╗  ██║     █████╔╝
+  ╚██╗ ██╔╝██║██╔══██╗██╔══╝  ██║     ██╔══██║██╔══╝  ██║     ██╔═██╗
+   ╚████╔╝ ██║██████╔╝███████╗╚██████╗██║  ██║███████╗╚██████╗██║  ██╗
+    ╚═══╝  ╚═╝╚═════╝ ╚══════╝ ╚═════╝╚═╝  ╚═╝╚══════╝ ╚═════╝╚═╝  ╚═╝
+`;
+
+// HERO: FIX (Magenta/Yellow)
+const LOGO_FIX = `
+        ███████╗██╗██╗  ██╗
+        ██╔════╝██║╚██╗██╔╝
+        █████╗  ██║ ╚███╔╝ 
+        ██╔══╝  ██║ ██╔██╗ 
+        ██║     ██║██╔╝ ██╗
+        ╚═╝     ╚═╝╚═╝  ╚═╝
+`;
+
+// ═══════════════════════════════════════════════════════════════════════════════
+// UTILITIES
+// ═══════════════════════════════════════════════════════════════════════════════
+
+function stripAnsi(str) {
+  return str.replace(/\x1b\[[0-9;]*m/g, '');
+}
+
+function padCenter(str, width) {
+  const visibleLen = stripAnsi(str).length;
+  const padding = Math.max(0, width - visibleLen);
+  const left = Math.floor(padding / 2);
+  const right = padding - left;
+  return ' '.repeat(left) + str + ' '.repeat(right);
+}
+
+function padRight(str, len) {
+  const visibleLen = stripAnsi(str).length;
+  const truncated = visibleLen > len ? str.substring(0, len - 3) + '...' : str;
+  return truncated + ' '.repeat(Math.max(0, len - visibleLen));
+}
+
+// ═══════════════════════════════════════════════════════════════════════════════
+// MAIN FORMATTER
+// ═══════════════════════════════════════════════════════════════════════════════
+
+function formatFixOutput(result, options = {}) {
+  const {
+    missions = [],
+    verdict = null,
+    beforeVerdict = null,
+    afterVerdict = null,
+    appliedMissions = 0,
+    totalMissions = 0,
+    duration = 0,
+    success = false,
+    error = null,
+  } = result;
+
+  const isSuccess = success || (afterVerdict === 'SHIP');
+  const themeColor = isSuccess ? chalk.green : error ? chalk.red : chalk.yellow;
+  const statusText = isSuccess ? 'MISSIONS COMPLETE' : error ? 'MISSION FAILED' : 'IN PROGRESS';
+  
+  const lines = [];
+
+  // 1. Render External Header
+  lines.push(chalk.cyan + LOGO_VIBECHECK.trim() + chalk.reset);
+  lines.push('');
+
+  // 2. Render Box Top
+  lines.push(`${chalk.gray}${BOX.topLeft}${BOX.horizontal.repeat(WIDTH - 2)}${BOX.topRight}${chalk.reset}`);
+  lines.push(`${chalk.gray}${BOX.vertical}${' '.repeat(WIDTH - 2)}${BOX.vertical}${chalk.reset}`);
+
+  // 3. Render Hero Logo (FIX)
+  LOGO_FIX.trim().split('\n').filter(l => l.trim().length > 0).forEach(l => {
+    lines.push(`${chalk.gray}${BOX.vertical}${chalk.reset}${themeColor}${padCenter(l.trim(), WIDTH - 2)}${chalk.reset}${chalk.gray}${BOX.vertical}${chalk.reset}`);
+  });
+  lines.push(`${chalk.gray}${BOX.vertical}${' '.repeat(WIDTH - 2)}${BOX.vertical}${chalk.reset}`);
+
+  // 4. Info Row
+  const version = options.version || 'v3.5.5';
+  const infoText = `${chalk.bold}${version} FIX${chalk.reset}  ::  STATUS: ${themeColor}${statusText}${chalk.reset}`;
+  const metaText = `Missions: ${appliedMissions}/${totalMissions} | Time: ${(duration / 1000).toFixed(1)}s`;
+  const infoLine = `  ${infoText}${' '.repeat(Math.max(1, WIDTH - 6 - stripAnsi(infoText).length - stripAnsi(metaText).length))}${chalk.dim}${metaText}${chalk.reset}`;
+  lines.push(`${chalk.gray}${BOX.vertical}${chalk.reset}${infoLine}  ${chalk.gray}${BOX.vertical}${chalk.reset}`);
+  
+  const projectLine = `  Project: ${padRight(path.basename(process.cwd()), 50)}`;
+  lines.push(`${chalk.gray}${BOX.vertical}${chalk.reset}${projectLine}${' '.repeat(WIDTH - 2 - stripAnsi(projectLine).length)}${chalk.gray}${BOX.vertical}${chalk.reset}`);
+
+  // 5. Split Pane
+  lines.push(`${chalk.gray}${BOX.teeRight}${BOX.horizontal.repeat(44)}${BOX.teeTop}${BOX.horizontal.repeat(WIDTH - 47)}${BOX.teeLeft}${chalk.reset}`);
+  
+  function printSplitRow(left, right) {
+    const leftContent = padRight(left || '', 42); 
+    const rightContent = padRight(right || '', WIDTH - 48); 
+    lines.push(`${chalk.gray}${BOX.vertical}${chalk.reset} ${leftContent} ${chalk.gray}${BOX.lightV}${chalk.reset} ${rightContent} ${chalk.gray}${BOX.vertical}${chalk.reset}`);
+  }
+
+  // Row 1: Headers
+  printSplitRow(`${chalk.bold}MISSION STATUS${chalk.reset}`, `${chalk.bold}VERDICT PROGRESSION${chalk.reset}`);
+  
+  // Row 2: Divider
+  lines.push(`${chalk.gray}${BOX.vertical}${chalk.reset} ${BOX.lightH.repeat(42)} ${chalk.gray}${BOX.lightCross}${chalk.reset} ${BOX.lightH.repeat(WIDTH - 48)} ${chalk.gray}${BOX.vertical}${chalk.reset}`);
+
+  // Prepare Left Column
+  const progress = totalMissions > 0 ? Math.round((appliedMissions / totalMissions) * 100) : 0;
+  const leftCol = [
+    '',
+    ` PROGRESS        [${progress}%]`,
+    ` Applied:        ${chalk.cyan}${appliedMissions}${chalk.reset}`,
+    ` Remaining:      ${chalk.yellow}${totalMissions - appliedMissions}${chalk.reset}`,
+    '',
+    `${chalk.gray}${BOX.lightH.repeat(42)}${chalk.reset}`,
+    `${chalk.bold} MODE${chalk.reset}`,
+    '',
+    ` ${options.apply ? chalk.green + '✓' : chalk.gray + '—'}${chalk.reset} Auto-Apply`,
+    ` ${options.promptOnly ? chalk.green + '✓' : chalk.gray + '—'}${chalk.reset} Prompt-Only`,
+    ` ${options.loop ? chalk.green + '✓' : chalk.gray + '—'}${chalk.reset} Loop Mode`,
+    '',
+    `${chalk.gray}${BOX.lightH.repeat(42)}${chalk.reset}`,
+    `${chalk.bold} MISSIONS${chalk.reset}`,
+    '',
+  ];
+
+  // Add mission list
+  missions.slice(0, 5).forEach((mission, i) => {
+    const status = i < appliedMissions ? chalk.green + '✓' : chalk.yellow + '○';
+    const name = (mission.type || mission.category || 'Mission').substring(0, 25);
+    leftCol.push(` ${status}${chalk.reset} ${name}`);
+  });
+  
+  if (missions.length > 5) {
+    leftCol.push(` ${chalk.dim}... ${missions.length - 5} more${chalk.reset}`);
+  }
+
+  // Prepare Right Column
+  const rightCol = [];
+  rightCol.push('');
+  
+  if (isSuccess) {
+    rightCol.push(`${chalk.green} [✓] SHIP ACHIEVED${chalk.reset}`);
+    rightCol.push(` All missions complete.`);
+    rightCol.push('');
+    rightCol.push(` Before: ${beforeVerdict || 'N/A'}`);
+    rightCol.push(` After:  ${chalk.green}${afterVerdict || 'SHIP'}${chalk.reset}`);
+  } else if (error) {
+    rightCol.push(`${chalk.red} [!] ERROR${chalk.reset}`);
+    rightCol.push(` Mission failed.`);
+    rightCol.push('');
+    let msg = error.message || 'Unknown error';
+    if (msg.length > 25) msg = msg.substring(0, 25) + '...';
+    rightCol.push(` ${chalk.red}${msg}${chalk.reset}`);
+  } else {
+    rightCol.push(`${chalk.yellow} [○] IN PROGRESS${chalk.reset}`);
+    rightCol.push(` Applying fixes...`);
+    rightCol.push('');
+    rightCol.push(` Before: ${beforeVerdict || 'N/A'}`);
+    rightCol.push(` Target: ${chalk.green}SHIP${chalk.reset}`);
+  }
+
+  // Merge Columns
+  const maxRows = Math.max(leftCol.length, rightCol.length);
+  for (let i = 0; i < maxRows; i++) {
+    printSplitRow(leftCol[i] || '', rightCol[i] || '');
+  }
+
+  // 6. Action Footer
+  lines.push(`${chalk.gray}${BOX.teeRight}${BOX.horizontal.repeat(WIDTH - 2)}${BOX.teeLeft}${chalk.reset}`);
+  lines.push(`${chalk.gray}${BOX.vertical}${chalk.reset} ${chalk.bold}MISSION CONTROL${chalk.reset}${' '.repeat(WIDTH - 18)}${chalk.gray}${BOX.vertical}${chalk.reset}`);
+  lines.push(`${chalk.gray}${BOX.vertical}${chalk.reset} ${BOX.lightH.repeat(WIDTH - 4)} ${chalk.gray}${BOX.vertical}${chalk.reset}`);
+
+  if (isSuccess) {
+    lines.push(`${chalk.gray}${BOX.vertical}${chalk.reset} ${chalk.green}[✓] ALL SYSTEMS OPERATIONAL.${chalk.reset}${' '.repeat(WIDTH - 32)}${chalk.gray}${BOX.vertical}${chalk.reset}`);
+    lines.push(`${chalk.gray}${BOX.vertical}${' '.repeat(WIDTH - 2)}${BOX.vertical}${chalk.reset}`);
+    lines.push(`${chalk.gray}${BOX.vertical}${chalk.reset} > ${chalk.cyan}vibecheck ship${chalk.reset}             [VERIFY]    Confirm deployment readiness      ${chalk.gray}${BOX.vertical}${chalk.reset}`);
+  } else {
+    lines.push(`${chalk.gray}${BOX.vertical}${chalk.reset} > ${chalk.cyan}vibecheck fix --apply${chalk.reset}      [CONTINUE]  Apply remaining missions          ${chalk.gray}${BOX.vertical}${chalk.reset}`);
+    lines.push(`${chalk.gray}${BOX.vertical}${chalk.reset} > ${chalk.cyan}vibecheck fix --loop${chalk.reset}        [AUTO]      Loop until SHIP                  ${chalk.gray}${BOX.vertical}${chalk.reset}`);
+  }
+
+  // 7. Box Bottom
+  lines.push(`${chalk.gray}${BOX.bottomLeft}${BOX.horizontal.repeat(WIDTH - 2)}${BOX.bottomRight}${chalk.reset}`);
+
+  return lines.join('\n');
+}
+
+module.exports = { formatFixOutput };

package/bin/runners/lib/prove-output.js

@@ -0,0 +1,220 @@
+/**
+ * Enterprise Prove Output - V5 "Mission Control" Format
+ * Features:
+ * - Dynamic "PROVE" ASCII Art
+ * - Proof Loop Status
+ * - Runtime Verification Results
+ * - Pixel-perfect 80-char alignment
+ */
+
+const path = require('path');
+
+// ANSI Color Helpers
+const ESC = '\x1b';
+const chalk = {
+  reset: `${ESC}[0m`,
+  bold: `${ESC}[1m`,
+  dim: `${ESC}[2m`,
+  red: `${ESC}[31m`,
+  green: `${ESC}[32m`,
+  yellow: `${ESC}[33m`,
+  cyan: `${ESC}[36m`,
+  magenta: `${ESC}[35m`,
+  white: `${ESC}[37m`,
+  gray: `${ESC}[90m`,
+};
+
+// ═══════════════════════════════════════════════════════════════════════════════
+// CONFIGURATION
+// ═══════════════════════════════════════════════════════════════════════════════
+
+const WIDTH = 80;
+
+const BOX = {
+  topLeft: '╔', topRight: '╗', bottomLeft: '╚', bottomRight: '╝',
+  horizontal: '═', vertical: '║',
+  teeRight: '╠', teeLeft: '╣', teeTop: '╤', teeBottom: '╧',
+  cross: '╪',
+  lightH: '─', lightV: '│',
+  lightTeeLeft: '├', lightTeeRight: '┤', lightCross: '┼'
+};
+
+// EXTERNAL HEADER
+const LOGO_VIBECHECK = `
+  ██╗   ██╗██╗██████╗ ███████╗ ██████╗██╗  ██╗███████╗ ██████╗██╗  ██╗
+  ██║   ██║██║██╔══██╗██╔════╝██╔════╝██║  ██║██╔════╝██╔════╝██║ ██╔╝
+  ██║   ██║██║██████╔╝█████╗  ██║     ███████║█████╗  ██║     █████╔╝
+  ╚██╗ ██╔╝██║██╔══██╗██╔══╝  ██║     ██╔══██║██╔══╝  ██║     ██╔═██╗
+   ╚████╔╝ ██║██████╔╝███████╗╚██████╗██║  ██║███████╗╚██████╗██║  ██╗
+    ╚═══╝  ╚═╝╚═════╝ ╚══════╝ ╚═════╝╚═╝  ╚═╝╚══════╝ ╚═════╝╚═╝  ╚═╝
+`;
+
+// HERO: PROVE (Green/Cyan)
+const LOGO_PROVE = `
+    ██████╗ ██████╗  ██████╗ ██╗   ██╗███████╗
+    ██╔══██╗██╔══██╗██╔═══██╗██║   ██║██╔════╝
+    ██████╔╝██████╔╝██║   ██║██║   ██║█████╗  
+    ██╔═══╝ ██╔══██╗██║   ██║╚██╗ ██╔╝██╔══╝  
+    ██║     ██║  ██║╚██████╔╝ ╚████╔╝ ███████╗
+    ╚═╝     ╚═╝  ╚═╝ ╚═════╝   ╚═══╝  ╚══════╝
+`;
+
+// ═══════════════════════════════════════════════════════════════════════════════
+// UTILITIES
+// ═══════════════════════════════════════════════════════════════════════════════
+
+function stripAnsi(str) {
+  return str.replace(/\x1b\[[0-9;]*m/g, '');
+}
+
+function padCenter(str, width) {
+  const visibleLen = stripAnsi(str).length;
+  const padding = Math.max(0, width - visibleLen);
+  const left = Math.floor(padding / 2);
+  const right = padding - left;
+  return ' '.repeat(left) + str + ' '.repeat(right);
+}
+
+function padRight(str, len) {
+  const visibleLen = stripAnsi(str).length;
+  const truncated = visibleLen > len ? str.substring(0, len - 3) + '...' : str;
+  return truncated + ' '.repeat(Math.max(0, len - visibleLen));
+}
+
+// ═══════════════════════════════════════════════════════════════════════════════
+// MAIN FORMATTER
+// ═══════════════════════════════════════════════════════════════════════════════
+
+function formatProveOutput(result, options = {}) {
+  const {
+    verdict = null,
+    finalVerdict = null,
+    steps = [],
+    runtimeTests = 0,
+    runtimePassed = 0,
+    duration = 0,
+    success = false,
+    error = null,
+  } = result;
+
+  const isSuccess = success || (finalVerdict === 'SHIP');
+  const themeColor = isSuccess ? chalk.green : error ? chalk.red : chalk.yellow;
+  const statusText = isSuccess ? 'PROOF VERIFIED' : error ? 'PROOF FAILED' : 'PROOF IN PROGRESS';
+  
+  const lines = [];
+
+  // 1. Render External Header
+  lines.push(chalk.cyan + LOGO_VIBECHECK.trim() + chalk.reset);
+  lines.push('');
+
+  // 2. Render Box Top
+  lines.push(`${chalk.gray}${BOX.topLeft}${BOX.horizontal.repeat(WIDTH - 2)}${BOX.topRight}${chalk.reset}`);
+  lines.push(`${chalk.gray}${BOX.vertical}${' '.repeat(WIDTH - 2)}${BOX.vertical}${chalk.reset}`);
+
+  // 3. Render Hero Logo (PROVE)
+  LOGO_PROVE.trim().split('\n').filter(l => l.trim().length > 0).forEach(l => {
+    lines.push(`${chalk.gray}${BOX.vertical}${chalk.reset}${themeColor}${padCenter(l.trim(), WIDTH - 2)}${chalk.reset}${chalk.gray}${BOX.vertical}${chalk.reset}`);
+  });
+  lines.push(`${chalk.gray}${BOX.vertical}${' '.repeat(WIDTH - 2)}${BOX.vertical}${chalk.reset}`);
+
+  // 4. Info Row
+  const version = options.version || 'v3.5.5';
+  const infoText = `${chalk.bold}${version} PROVE${chalk.reset}  ::  STATUS: ${themeColor}${statusText}${chalk.reset}`;
+  const metaText = `Steps: ${steps.length} | Time: ${(duration / 1000).toFixed(1)}s`;
+  const infoLine = `  ${infoText}${' '.repeat(Math.max(1, WIDTH - 6 - stripAnsi(infoText).length - stripAnsi(metaText).length))}${chalk.dim}${metaText}${chalk.reset}`;
+  lines.push(`${chalk.gray}${BOX.vertical}${chalk.reset}${infoLine}  ${chalk.gray}${BOX.vertical}${chalk.reset}`);
+  
+  const projectLine = `  Project: ${padRight(path.basename(process.cwd()), 50)}`;
+  lines.push(`${chalk.gray}${BOX.vertical}${chalk.reset}${projectLine}${' '.repeat(WIDTH - 2 - stripAnsi(projectLine).length)}${chalk.gray}${BOX.vertical}${chalk.reset}`);
+
+  // 5. Split Pane
+  lines.push(`${chalk.gray}${BOX.teeRight}${BOX.horizontal.repeat(44)}${BOX.teeTop}${BOX.horizontal.repeat(WIDTH - 47)}${BOX.teeLeft}${chalk.reset}`);
+  
+  function printSplitRow(left, right) {
+    const leftContent = padRight(left || '', 42); 
+    const rightContent = padRight(right || '', WIDTH - 48); 
+    lines.push(`${chalk.gray}${BOX.vertical}${chalk.reset} ${leftContent} ${chalk.gray}${BOX.lightV}${chalk.reset} ${rightContent} ${chalk.gray}${BOX.vertical}${chalk.reset}`);
+  }
+
+  // Row 1: Headers
+  printSplitRow(`${chalk.bold}PROOF LOOP${chalk.reset}`, `${chalk.bold}RUNTIME VERIFICATION${chalk.reset}`);
+  
+  // Row 2: Divider
+  lines.push(`${chalk.gray}${BOX.vertical}${chalk.reset} ${BOX.lightH.repeat(42)} ${chalk.gray}${BOX.lightCross}${chalk.reset} ${BOX.lightH.repeat(WIDTH - 48)} ${chalk.gray}${BOX.vertical}${chalk.reset}`);
+
+  // Prepare Left Column
+  const leftCol = [
+    '',
+    ` VERDICT         [${finalVerdict === 'SHIP' ? chalk.green + 'SHIP' : finalVerdict === 'BLOCK' ? chalk.red + 'BLOCK' : chalk.yellow + 'WARN'}${chalk.reset}]`,
+    ` Final:          ${finalVerdict || 'N/A'}`,
+    '',
+    `${chalk.gray}${BOX.lightH.repeat(42)}${chalk.reset}`,
+    `${chalk.bold} PROOF STEPS${chalk.reset}`,
+    '',
+  ];
+
+  // Add step list
+  steps.slice(0, 5).forEach((step, i) => {
+    const status = step.success ? chalk.green + '✓' : step.error ? chalk.red + '✖' : chalk.yellow + '○';
+    const name = (step.name || step.type || 'Step').substring(0, 25);
+    leftCol.push(` ${status}${chalk.reset} ${name}`);
+  });
+  
+  if (steps.length > 5) {
+    leftCol.push(` ${chalk.dim}... ${steps.length - 5} more${chalk.reset}`);
+  }
+
+  // Prepare Right Column
+  const rightCol = [];
+  rightCol.push('');
+  
+  if (runtimeTests > 0) {
+    const passRate = Math.round((runtimePassed / runtimeTests) * 100);
+    rightCol.push(` TESTS RUN      [${passRate}%]`);
+    rightCol.push(` Passed:         ${chalk.green}${runtimePassed}${chalk.reset}`);
+    rightCol.push(` Failed:         ${chalk.red}${runtimeTests - runtimePassed}${chalk.reset}`);
+    rightCol.push('');
+  }
+  
+  if (isSuccess) {
+    rightCol.push(`${chalk.green} [✓] PROOF VERIFIED${chalk.reset}`);
+    rightCol.push(` Runtime tests passed.`);
+  } else if (error) {
+    rightCol.push(`${chalk.red} [!] PROOF FAILED${chalk.reset}`);
+    rightCol.push(` Verification error.`);
+    rightCol.push('');
+    let msg = error.message || 'Unknown error';
+    if (msg.length > 25) msg = msg.substring(0, 25) + '...';
+    rightCol.push(` ${chalk.red}${msg}${chalk.reset}`);
+  } else {
+    rightCol.push(`${chalk.yellow} [○] IN PROGRESS${chalk.reset}`);
+    rightCol.push(` Running proof loop...`);
+  }
+
+  // Merge Columns
+  const maxRows = Math.max(leftCol.length, rightCol.length);
+  for (let i = 0; i < maxRows; i++) {
+    printSplitRow(leftCol[i] || '', rightCol[i] || '');
+  }
+
+  // 6. Action Footer
+  lines.push(`${chalk.gray}${BOX.teeRight}${BOX.horizontal.repeat(WIDTH - 2)}${BOX.teeLeft}${chalk.reset}`);
+  lines.push(`${chalk.gray}${BOX.vertical}${chalk.reset} ${chalk.bold}PROOF PROTOCOLS${chalk.reset}${' '.repeat(WIDTH - 17)}${chalk.gray}${BOX.vertical}${chalk.reset}`);
+  lines.push(`${chalk.gray}${BOX.vertical}${chalk.reset} ${BOX.lightH.repeat(WIDTH - 4)} ${chalk.gray}${BOX.vertical}${chalk.reset}`);
+
+  if (isSuccess) {
+    lines.push(`${chalk.gray}${BOX.vertical}${chalk.reset} ${chalk.green}[✓] PROOF VERIFIED. READY FOR PRODUCTION.${chalk.reset}${' '.repeat(WIDTH - 42)}${chalk.gray}${BOX.vertical}${chalk.reset}`);
+    lines.push(`${chalk.gray}${BOX.vertical}${' '.repeat(WIDTH - 2)}${BOX.vertical}${chalk.reset}`);
+    lines.push(`${chalk.gray}${BOX.vertical}${chalk.reset} > ${chalk.cyan}vibecheck ship${chalk.reset}             [DEPLOY]    Proceed with deployment           ${chalk.gray}${BOX.vertical}${chalk.reset}`);
+  } else {
+    lines.push(`${chalk.gray}${BOX.vertical}${chalk.reset} > ${chalk.cyan}vibecheck prove --retry${chalk.reset}     [RETRY]     Re-run proof loop                  ${chalk.gray}${BOX.vertical}${chalk.reset}`);
+    lines.push(`${chalk.gray}${BOX.vertical}${chalk.reset} > ${chalk.cyan}vibecheck fix --apply${chalk.reset}      [FIX]       Apply fixes before retry           ${chalk.gray}${BOX.vertical}${chalk.reset}`);
+  }
+
+  // 7. Box Bottom
+  lines.push(`${chalk.gray}${BOX.bottomLeft}${BOX.horizontal.repeat(WIDTH - 2)}${BOX.bottomRight}${chalk.reset}`);
+
+  return lines.join('\n');
+}
+
+module.exports = { formatProveOutput };