@optave/codegraph 3.1.1 → 3.1.3

package/src/check.js

@@ -4,9 +4,8 @@ import path from 'node:path';
 import { loadConfig } from './config.js';
 import { findCycles } from './cycles.js';
 import { findDbPath, openReadonlyOrFail } from './db.js';
+import { isTestFile } from './infrastructure/test-filter.js';
 import { matchOwners, parseCodeowners } from './owners.js';
-import { outputResult } from './result-formatter.js';
-import { isTestFile } from './test-filter.js';
 
 // ─── Diff Parser ──────────────────────────────────────────────────────
 
@@ -348,85 +347,3 @@ export function checkData(customDbPath, opts = {}) {
     db.close();
   }
 }
-
-// ─── CLI Display ──────────────────────────────────────────────────────
-
-/**
- * CLI formatter — prints check results and exits with code 1 on failure.
- */
-export function check(customDbPath, opts = {}) {
-  const data = checkData(customDbPath, opts);
-
-  if (data.error) {
-    console.error(data.error);
-    process.exit(1);
-  }
-
-  if (outputResult(data, null, opts)) {
-    if (!data.passed) process.exit(1);
-    return;
-  }
-
-  console.log('\n# Check Results\n');
-
-  if (data.predicates.length === 0) {
-    console.log('  No changes detected.\n');
-    return;
-  }
-
-  console.log(
-    `  Changed files: ${data.summary.changedFiles}  New files: ${data.summary.newFiles}\n`,
-  );
-
-  for (const pred of data.predicates) {
-    const icon = pred.passed ? 'PASS' : 'FAIL';
-    console.log(`  [${icon}] ${pred.name}`);
-
-    if (!pred.passed) {
-      if (pred.name === 'cycles' && pred.cycles) {
-        for (const cycle of pred.cycles.slice(0, 10)) {
-          console.log(`         ${cycle.join(' -> ')}`);
-        }
-        if (pred.cycles.length > 10) {
-          console.log(`         ... and ${pred.cycles.length - 10} more`);
-        }
-      }
-      if (pred.name === 'blast-radius' && pred.violations) {
-        for (const v of pred.violations.slice(0, 10)) {
-          console.log(
-            `         ${v.name} (${v.kind}) at ${v.file}:${v.line} — ${v.transitiveCallers} callers (max: ${pred.threshold})`,
-          );
-        }
-        if (pred.violations.length > 10) {
-          console.log(`         ... and ${pred.violations.length - 10} more`);
-        }
-      }
-      if (pred.name === 'signatures' && pred.violations) {
-        for (const v of pred.violations.slice(0, 10)) {
-          console.log(`         ${v.name} (${v.kind}) at ${v.file}:${v.line}`);
-        }
-        if (pred.violations.length > 10) {
-          console.log(`         ... and ${pred.violations.length - 10} more`);
-        }
-      }
-      if (pred.name === 'boundaries' && pred.violations) {
-        for (const v of pred.violations.slice(0, 10)) {
-          console.log(`         ${v.from} -> ${v.to} (${v.edgeKind})`);
-        }
-        if (pred.violations.length > 10) {
-          console.log(`         ... and ${pred.violations.length - 10} more`);
-        }
-      }
-    }
-    if (pred.note) {
-      console.log(`         ${pred.note}`);
-    }
-  }
-
-  const s = data.summary;
-  console.log(`\n  ${s.total} predicates | ${s.passed} passed | ${s.failed} failed\n`);
-
-  if (!data.passed) {
-    process.exit(1);
-  }
-}

package/src/cli.js

@@ -3,9 +3,10 @@
 import fs from 'node:fs';
 import path from 'node:path';
 import { Command } from 'commander';
-import { audit } from './audit.js';
-import { BATCH_COMMANDS, batch, multiBatchData, splitTargets } from './batch.js';
+import { BATCH_COMMANDS, multiBatchData, splitTargets } from './batch.js';
 import { buildGraph } from './builder.js';
+import { audit } from './commands/audit.js';
+import { batch } from './commands/batch.js';
 import { loadConfig } from './config.js';
 import { findCycles, formatCycles } from './cycles.js';
 import { openReadonlyOrFail } from './db.js';
@@ -24,6 +25,7 @@ import {
   exportMermaid,
   exportNeo4jCSV,
 } from './export.js';
+import { outputResult } from './infrastructure/result-formatter.js';
 import { setVerbose } from './logger.js';
 import { EVERY_SYMBOL_KIND, VALID_ROLES } from './queries.js';
 import {
@@ -49,7 +51,6 @@ import {
   registerRepo,
   unregisterRepo,
 } from './registry.js';
-import { outputResult } from './result-formatter.js';
 import { snapshotDelete, snapshotList, snapshotRestore, snapshotSave } from './snapshot.js';
 import { checkForUpdates, printUpdateNotification } from './update-check.js';
 import { watchProject } from './watcher.js';
@@ -469,7 +470,7 @@ program
         console.error(`Invalid kind "${opts.kind}". Valid: ${EVERY_SYMBOL_KIND.join(', ')}`);
         process.exit(1);
       }
-      const { manifesto } = await import('./manifesto.js');
+      const { manifesto } = await import('./commands/manifesto.js');
       manifesto(opts.db, {
         file: opts.file,
         kind: opts.kind,
@@ -483,7 +484,7 @@ program
     }
 
     // Diff predicates mode
-    const { check } = await import('./check.js');
+    const { check } = await import('./commands/check.js');
     check(opts.db, {
       ref,
       staged: opts.staged,
@@ -502,7 +503,7 @@ program
         console.error(`Invalid kind "${opts.kind}". Valid: ${EVERY_SYMBOL_KIND.join(', ')}`);
         process.exit(1);
       }
-      const { manifesto } = await import('./manifesto.js');
+      const { manifesto } = await import('./commands/manifesto.js');
       manifesto(opts.db, {
         file: opts.file,
         kind: opts.kind,
@@ -952,7 +953,7 @@ program
   .option('--offset <number>', 'Skip N results (default: 0)')
   .option('--ndjson', 'Newline-delimited JSON output')
   .action(async (dir, opts) => {
-    const { structureData, formatStructure } = await import('./structure.js');
+    const { structureData, formatStructure } = await import('./commands/structure.js');
     const data = structureData(opts.db, {
       directory: dir,
       depth: opts.depth ? parseInt(opts.depth, 10) : undefined,
@@ -1013,8 +1014,8 @@ program
   .option('--offset <number>', 'Skip N results (default: 0)')
   .option('--ndjson', 'Newline-delimited JSON output')
   .action(async (file, opts) => {
-    const { analyzeCoChanges, coChangeData, coChangeTopData, formatCoChange, formatCoChangeTop } =
-      await import('./cochange.js');
+    const { analyzeCoChanges, coChangeData, coChangeTopData } = await import('./cochange.js');
+    const { formatCoChange, formatCoChangeTop } = await import('./commands/cochange.js');
 
     if (opts.analyze) {
       const result = analyzeCoChanges(opts.db, {
@@ -1076,7 +1077,7 @@ QUERY_OPTS(
       console.error(`Invalid kind "${opts.kind}". Valid: ${EVERY_SYMBOL_KIND.join(', ')}`);
       process.exit(1);
     }
-    const { flow } = await import('./flow.js');
+    const { flow } = await import('./commands/flow.js');
     flow(name, opts.db, {
       list: opts.list,
       depth: parseInt(opts.depth, 10),
@@ -1106,7 +1107,7 @@ QUERY_OPTS(
       console.error(`Invalid kind "${opts.kind}". Valid: ${EVERY_SYMBOL_KIND.join(', ')}`);
       process.exit(1);
     }
-    const { sequence } = await import('./sequence.js');
+    const { sequence } = await import('./commands/sequence.js');
     sequence(name, opts.db, {
       depth: parseInt(opts.depth, 10),
       file: opts.file,
@@ -1134,7 +1135,7 @@ QUERY_OPTS(
       console.error(`Invalid kind "${opts.kind}". Valid: ${EVERY_SYMBOL_KIND.join(', ')}`);
       process.exit(1);
     }
-    const { dataflow } = await import('./dataflow.js');
+    const { dataflow } = await import('./commands/dataflow.js');
     dataflow(name, opts.db, {
       file: opts.file,
       kind: opts.kind,
@@ -1157,7 +1158,7 @@ QUERY_OPTS(program.command('cfg <name>').description('Show control flow graph fo
       console.error(`Invalid kind "${opts.kind}". Valid: ${EVERY_SYMBOL_KIND.join(', ')}`);
       process.exit(1);
     }
-    const { cfg } = await import('./cfg.js');
+    const { cfg } = await import('./commands/cfg.js');
     cfg(name, opts.db, {
       format: opts.format,
       file: opts.file,
@@ -1194,7 +1195,7 @@ program
       console.error(`Invalid kind "${opts.kind}". Valid: ${EVERY_SYMBOL_KIND.join(', ')}`);
       process.exit(1);
     }
-    const { complexity } = await import('./complexity.js');
+    const { complexity } = await import('./commands/complexity.js');
     complexity(opts.db, {
       target,
       limit: parseInt(opts.limit, 10),
@@ -1243,7 +1244,7 @@ QUERY_OPTS(
   .option('--resolution <n>', 'Louvain resolution parameter (default 1.0)', '1.0')
   .option('--drift', 'Show only drift analysis')
   .action(async (opts) => {
-    const { communities } = await import('./communities.js');
+    const { communities } = await import('./commands/communities.js');
     communities(opts.db, {
       functions: opts.functions,
       resolution: parseFloat(opts.resolution),
@@ -1286,7 +1287,7 @@ program
   .action(async (opts) => {
     if (opts.level === 'file' || opts.level === 'directory') {
       // Delegate to hotspots for file/directory level
-      const { hotspotsData, formatHotspots } = await import('./structure.js');
+      const { hotspotsData, formatHotspots } = await import('./commands/structure.js');
       const metric = opts.sort === 'risk' ? 'fan-in' : opts.sort;
       const data = hotspotsData(opts.db, {
         metric,
@@ -1318,7 +1319,7 @@ program
         process.exit(1);
       }
     }
-    const { triage } = await import('./triage.js');
+    const { triage } = await import('./commands/triage.js');
     triage(opts.db, {
       limit: parseInt(opts.limit, 10),
       offset: opts.offset ? parseInt(opts.offset, 10) : undefined,
@@ -1346,7 +1347,7 @@ program
   .option('--include-tests', 'Include test/spec files (overrides excludeTests config)')
   .option('-j, --json', 'Output as JSON')
   .action(async (target, opts) => {
-    const { owners } = await import('./owners.js');
+    const { owners } = await import('./commands/owners.js');
     owners(opts.db, {
       owner: opts.owner,
       boundary: opts.boundary,
@@ -1366,7 +1367,7 @@ program
   .option('-j, --json', 'Output as JSON')
   .option('-f, --format <format>', 'Output format: text, mermaid, json', 'text')
   .action(async (base, target, opts) => {
-    const { branchCompare } = await import('./branch-compare.js');
+    const { branchCompare } = await import('./commands/branch-compare.js');
     await branchCompare(base, target, {
       engine: program.opts().engine,
       depth: parseInt(opts.depth, 10),
@@ -1389,7 +1390,7 @@ program
   .command('info')
   .description('Show codegraph engine info and diagnostics')
   .action(async () => {
-    const { isNativeAvailable, loadNative } = await import('./native.js');
+    const { getNativePackageVersion, isNativeAvailable, loadNative } = await import('./native.js');
     const { getActiveEngine } = await import('./parser.js');
 
     const engine = program.opts().engine;
@@ -1404,9 +1405,17 @@ program
     console.log(`  Native engine : ${nativeAvailable ? 'available' : 'unavailable'}`);
     if (nativeAvailable) {
       const native = loadNative();
-      const nativeVersion =
+      const binaryVersion =
         typeof native.engineVersion === 'function' ? native.engineVersion() : 'unknown';
-      console.log(`  Native version: ${nativeVersion}`);
+      const pkgVersion = getNativePackageVersion();
+      const knownBinaryVersion = binaryVersion !== 'unknown' ? binaryVersion : null;
+      if (pkgVersion && knownBinaryVersion && pkgVersion !== knownBinaryVersion) {
+        console.log(
+          `  Native version: ${pkgVersion} (binary reports ${knownBinaryVersion} — stale)`,
+        );
+      } else {
+        console.log(`  Native version: ${pkgVersion ?? binaryVersion}`);
+      }
     }
     console.log(`  Engine flag   : --engine ${engine}`);
     console.log(`  Active engine : ${activeName}${activeVersion ? ` (v${activeVersion})` : ''}`);

package/src/cochange.js

@@ -10,9 +10,9 @@ import fs from 'node:fs';
 import path from 'node:path';
 import { normalizePath } from './constants.js';
 import { closeDb, findDbPath, initSchema, openDb, openReadonlyOrFail } from './db.js';
+import { isTestFile } from './infrastructure/test-filter.js';
 import { warn } from './logger.js';
 import { paginateResult } from './paginate.js';
-import { isTestFile } from './test-filter.js';
 
 /**
  * Scan git history and return parsed commit data.
@@ -419,44 +419,6 @@ export function coChangeForFiles(files, db, opts = {}) {
   return results;
 }
 
-/**
- * Format co-change data for CLI output (single file).
- */
-export function formatCoChange(data) {
-  if (data.error) return data.error;
-  if (data.partners.length === 0) return `No co-change partners found for ${data.file}`;
-
-  const lines = [`\nCo-change partners for ${data.file}:\n`];
-  for (const p of data.partners) {
-    const pct = `${(p.jaccard * 100).toFixed(0)}%`.padStart(4);
-    const commits = `${p.commitCount} commits`.padStart(12);
-    lines.push(`  ${pct}  ${commits}  ${p.file}`);
-  }
-  if (data.meta?.analyzedAt) {
-    lines.push(`\n  Analyzed: ${data.meta.analyzedAt} | Window: ${data.meta.since || 'all'}`);
-  }
-  return lines.join('\n');
-}
-
-/**
- * Format top co-change pairs for CLI output (global view).
- */
-export function formatCoChangeTop(data) {
-  if (data.error) return data.error;
-  if (data.pairs.length === 0) return 'No co-change pairs found.';
-
-  const lines = ['\nTop co-change pairs:\n'];
-  for (const p of data.pairs) {
-    const pct = `${(p.jaccard * 100).toFixed(0)}%`.padStart(4);
-    const commits = `${p.commitCount} commits`.padStart(12);
-    lines.push(`  ${pct}  ${commits}  ${p.fileA}  <->  ${p.fileB}`);
-  }
-  if (data.meta?.analyzedAt) {
-    lines.push(`\n  Analyzed: ${data.meta.analyzedAt} | Window: ${data.meta.since || 'all'}`);
-  }
-  return lines.join('\n');
-}
-
 // ─── Internal Helpers ────────────────────────────────────────────────────
 
 function resolveCoChangeFile(db, file) {

package/src/commands/audit.js

@@ -0,0 +1,88 @@
+import { auditData } from '../audit.js';
+import { outputResult } from '../infrastructure/result-formatter.js';
+import { kindIcon } from '../queries.js';
+
+/**
+ * CLI formatter for the audit command.
+ */
+export function audit(target, customDbPath, opts = {}) {
+  const data = auditData(target, customDbPath, opts);
+
+  if (outputResult(data, null, opts)) return;
+
+  if (data.functions.length === 0) {
+    console.log(`No ${data.kind === 'file' ? 'file' : 'function/symbol'} matching "${target}"`);
+    return;
+  }
+
+  console.log(`\n# Audit: ${target} (${data.kind})`);
+  console.log(`  ${data.functions.length} function(s) analyzed\n`);
+
+  for (const fn of data.functions) {
+    const lineRange = fn.endLine ? `${fn.line}-${fn.endLine}` : `${fn.line}`;
+    const roleTag = fn.role ? ` [${fn.role}]` : '';
+    console.log(`## ${kindIcon(fn.kind)} ${fn.name} (${fn.kind})${roleTag}`);
+    console.log(`  ${fn.file}:${lineRange}${fn.lineCount ? ` (${fn.lineCount} lines)` : ''}`);
+    if (fn.summary) console.log(`  ${fn.summary}`);
+    if (fn.signature) {
+      if (fn.signature.params != null) console.log(`  Parameters: (${fn.signature.params})`);
+      if (fn.signature.returnType) console.log(`  Returns: ${fn.signature.returnType}`);
+    }
+
+    // Health metrics
+    if (fn.health.cognitive != null) {
+      console.log(`\n  Health:`);
+      console.log(
+        `    Cognitive: ${fn.health.cognitive}  Cyclomatic: ${fn.health.cyclomatic}  Nesting: ${fn.health.maxNesting}`,
+      );
+      console.log(`    MI: ${fn.health.maintainabilityIndex}`);
+      if (fn.health.halstead.volume) {
+        console.log(
+          `    Halstead: vol=${fn.health.halstead.volume} diff=${fn.health.halstead.difficulty} effort=${fn.health.halstead.effort} bugs=${fn.health.halstead.bugs}`,
+        );
+      }
+      if (fn.health.loc) {
+        console.log(
+          `    LOC: ${fn.health.loc}  SLOC: ${fn.health.sloc}  Comments: ${fn.health.commentLines}`,
+        );
+      }
+    }
+
+    // Threshold breaches
+    if (fn.health.thresholdBreaches.length > 0) {
+      console.log(`\n  Threshold Breaches:`);
+      for (const b of fn.health.thresholdBreaches) {
+        const icon = b.level === 'fail' ? 'FAIL' : 'WARN';
+        console.log(`    [${icon}] ${b.metric}: ${b.value} >= ${b.threshold}`);
+      }
+    }
+
+    // Impact
+    console.log(`\n  Impact: ${fn.impact.totalDependents} transitive dependent(s)`);
+    for (const [level, nodes] of Object.entries(fn.impact.levels)) {
+      console.log(`    Level ${level}: ${nodes.map((n) => n.name).join(', ')}`);
+    }
+
+    // Call edges
+    if (fn.callees.length > 0) {
+      console.log(`\n  Calls (${fn.callees.length}):`);
+      for (const c of fn.callees) {
+        console.log(`    ${kindIcon(c.kind)} ${c.name}  ${c.file}:${c.line}`);
+      }
+    }
+    if (fn.callers.length > 0) {
+      console.log(`\n  Called by (${fn.callers.length}):`);
+      for (const c of fn.callers) {
+        console.log(`    ${kindIcon(c.kind)} ${c.name}  ${c.file}:${c.line}`);
+      }
+    }
+    if (fn.relatedTests.length > 0) {
+      console.log(`\n  Tests (${fn.relatedTests.length}):`);
+      for (const t of fn.relatedTests) {
+        console.log(`    ${t.file}`);
+      }
+    }
+
+    console.log();
+  }
+}

package/src/commands/batch.js

@@ -0,0 +1,26 @@
+import { batchData, multiBatchData } from '../batch.js';
+
+/**
+ * CLI wrapper — calls batchData and prints JSON to stdout.
+ */
+export function batch(command, targets, customDbPath, opts = {}) {
+  const data = batchData(command, targets, customDbPath, opts);
+  console.log(JSON.stringify(data, null, 2));
+}
+
+/**
+ * CLI wrapper for batch-query — detects multi-command mode (objects with .command)
+ * or falls back to single-command batchData (default: 'where').
+ */
+export function batchQuery(targets, customDbPath, opts = {}) {
+  const { command: defaultCommand = 'where', ...rest } = opts;
+  const isMulti = targets.length > 0 && typeof targets[0] === 'object' && targets[0].command;
+
+  let data;
+  if (isMulti) {
+    data = multiBatchData(targets, customDbPath, rest);
+  } else {
+    data = batchData(defaultCommand, targets, customDbPath, rest);
+  }
+  console.log(JSON.stringify(data, null, 2));
+}

package/src/commands/branch-compare.js

@@ -0,0 +1,97 @@
+import { branchCompareData, branchCompareMermaid } from '../branch-compare.js';
+import { outputResult } from '../infrastructure/result-formatter.js';
+import { kindIcon } from '../queries.js';
+
+// ─── Text Formatting ────────────────────────────────────────────────────
+
+function formatText(data) {
+  if (data.error) return `Error: ${data.error}`;
+
+  const lines = [];
+  const shortBase = data.baseSha.slice(0, 7);
+  const shortTarget = data.targetSha.slice(0, 7);
+
+  lines.push(`branch-compare: ${data.baseRef}..${data.targetRef}`);
+  lines.push(`  Base:   ${data.baseRef} (${shortBase})`);
+  lines.push(`  Target: ${data.targetRef} (${shortTarget})`);
+  lines.push(`  Files changed: ${data.changedFiles.length}`);
+
+  if (data.added.length > 0) {
+    lines.push('');
+    lines.push(`  + Added (${data.added.length} symbol${data.added.length !== 1 ? 's' : ''}):`);
+    for (const sym of data.added) {
+      lines.push(`    [${kindIcon(sym.kind)}] ${sym.name} -- ${sym.file}:${sym.line}`);
+    }
+  }
+
+  if (data.removed.length > 0) {
+    lines.push('');
+    lines.push(
+      `  - Removed (${data.removed.length} symbol${data.removed.length !== 1 ? 's' : ''}):`,
+    );
+    for (const sym of data.removed) {
+      lines.push(`    [${kindIcon(sym.kind)}] ${sym.name} -- ${sym.file}:${sym.line}`);
+      if (sym.impact && sym.impact.length > 0) {
+        lines.push(
+          `      ^ ${sym.impact.length} transitive caller${sym.impact.length !== 1 ? 's' : ''} affected`,
+        );
+      }
+    }
+  }
+
+  if (data.changed.length > 0) {
+    lines.push('');
+    lines.push(
+      `  ~ Changed (${data.changed.length} symbol${data.changed.length !== 1 ? 's' : ''}):`,
+    );
+    for (const sym of data.changed) {
+      const parts = [];
+      if (sym.changes.lineCount !== 0) {
+        parts.push(`lines: ${sym.base.lineCount} -> ${sym.target.lineCount}`);
+      }
+      if (sym.changes.fanIn !== 0) {
+        parts.push(`fan_in: ${sym.base.fanIn} -> ${sym.target.fanIn}`);
+      }
+      if (sym.changes.fanOut !== 0) {
+        parts.push(`fan_out: ${sym.base.fanOut} -> ${sym.target.fanOut}`);
+      }
+      const detail = parts.length > 0 ? `  (${parts.join(', ')})` : '';
+      lines.push(
+        `    [${kindIcon(sym.kind)}] ${sym.name} -- ${sym.file}:${sym.base.line}${detail}`,
+      );
+      if (sym.impact && sym.impact.length > 0) {
+        lines.push(
+          `      ^ ${sym.impact.length} transitive caller${sym.impact.length !== 1 ? 's' : ''} affected`,
+        );
+      }
+    }
+  }
+
+  const s = data.summary;
+  lines.push('');
+  lines.push(
+    `  Summary: +${s.added} added, -${s.removed} removed, ~${s.changed} changed` +
+      ` -> ${s.totalImpacted} caller${s.totalImpacted !== 1 ? 's' : ''} impacted` +
+      (s.filesAffected > 0
+        ? ` across ${s.filesAffected} file${s.filesAffected !== 1 ? 's' : ''}`
+        : ''),
+  );
+
+  return lines.join('\n');
+}
+
+// ─── CLI Display Function ───────────────────────────────────────────────
+
+export async function branchCompare(baseRef, targetRef, opts = {}) {
+  const data = await branchCompareData(baseRef, targetRef, opts);
+
+  if (opts.format === 'json') opts = { ...opts, json: true };
+  if (outputResult(data, null, opts)) return;
+
+  if (opts.format === 'mermaid') {
+    console.log(branchCompareMermaid(data));
+    return;
+  }
+
+  console.log(formatText(data));
+}

package/src/commands/cfg.js

@@ -0,0 +1,55 @@
+import { cfgData, cfgToDOT, cfgToMermaid } from '../cfg.js';
+import { outputResult } from '../infrastructure/result-formatter.js';
+
+/**
+ * CLI display for cfg command.
+ */
+export function cfg(name, customDbPath, opts = {}) {
+  const data = cfgData(name, customDbPath, opts);
+
+  if (outputResult(data, 'results', opts)) return;
+
+  if (data.warning) {
+    console.log(`\u26A0  ${data.warning}`);
+    return;
+  }
+  if (data.results.length === 0) {
+    console.log(`No symbols matching "${name}".`);
+    return;
+  }
+
+  const format = opts.format || 'text';
+  if (format === 'dot') {
+    console.log(cfgToDOT(data));
+    return;
+  }
+  if (format === 'mermaid') {
+    console.log(cfgToMermaid(data));
+    return;
+  }
+
+  // Text format
+  for (const r of data.results) {
+    console.log(`\n${r.kind} ${r.name}  (${r.file}:${r.line})`);
+    console.log('\u2500'.repeat(60));
+    console.log(`  Blocks: ${r.summary.blockCount}  Edges: ${r.summary.edgeCount}`);
+
+    if (r.blocks.length > 0) {
+      console.log('\n  Blocks:');
+      for (const b of r.blocks) {
+        const loc = b.startLine
+          ? ` L${b.startLine}${b.endLine && b.endLine !== b.startLine ? `-${b.endLine}` : ''}`
+          : '';
+        const label = b.label ? ` (${b.label})` : '';
+        console.log(`    [${b.index}] ${b.type}${label}${loc}`);
+      }
+    }
+
+    if (r.edges.length > 0) {
+      console.log('\n  Edges:');
+      for (const e of r.edges) {
+        console.log(`    B${e.source} \u2192 B${e.target}  [${e.kind}]`);
+      }
+    }
+  }
+}