@optave/codegraph 3.3.1 → 3.4.0

package/src/cli/commands/{batch.js → batch.ts}

@@ -4,8 +4,24 @@ import { EVERY_SYMBOL_KIND } from '../../domain/queries.js';
 import { BATCH_COMMANDS, multiBatchData, splitTargets } from '../../features/batch.js';
 import { batch } from '../../presentation/batch.js';
 import { ConfigError } from '../../shared/errors.js';
+import type { CommandDefinition } from '../types.js';
 
-export const command = {
+interface MultiBatchItem {
+  command: string;
+  target: string;
+  opts?: Record<string, unknown>;
+}
+
+function isMultiBatch(targets: unknown[]): targets is MultiBatchItem[] {
+  return (
+    targets.length > 0 &&
+    typeof targets[0] === 'object' &&
+    targets[0] !== null &&
+    'command' in targets[0]
+  );
+}
+
+export const command: CommandDefinition = {
   name: 'batch <command> [targets...]',
   description: `Run a query against multiple targets in one call. Output is always JSON.\nValid commands: ${Object.keys(BATCH_COMMANDS).join(', ')}`,
   options: [
@@ -19,30 +35,31 @@ export const command = {
     ['--include-tests', 'Include test/spec files (overrides excludeTests config)'],
   ],
   validate([_command, _targets], opts) {
-    if (opts.kind && !EVERY_SYMBOL_KIND.includes(opts.kind)) {
+    if (opts.kind && !(EVERY_SYMBOL_KIND as readonly string[]).includes(opts.kind)) {
       return `Invalid kind "${opts.kind}". Valid: ${EVERY_SYMBOL_KIND.join(', ')}`;
     }
   },
   async execute([command, positionalTargets], opts, ctx) {
-    let targets;
+    let targets: unknown[];
     try {
       if (opts.fromFile) {
-        const raw = fs.readFileSync(opts.fromFile, 'utf-8').trim();
+        const raw = fs.readFileSync(opts.fromFile as string, 'utf-8').trim();
         if (raw.startsWith('[')) {
           targets = JSON.parse(raw);
         } else {
           targets = raw.split(/\r?\n/).filter(Boolean);
         }
       } else if (opts.stdin) {
-        const chunks = [];
-        for await (const chunk of process.stdin) chunks.push(chunk);
+        const chunks: Buffer[] = [];
+        for await (const chunk of process.stdin) chunks.push(chunk as Buffer);
         const raw = Buffer.concat(chunks).toString('utf-8').trim();
         targets = raw.startsWith('[') ? JSON.parse(raw) : raw.split(/\r?\n/).filter(Boolean);
       } else {
-        targets = splitTargets(positionalTargets);
+        targets = splitTargets(positionalTargets as unknown as string[]);
       }
-    } catch (err) {
-      throw new ConfigError(`Failed to parse targets: ${err.message}`, { cause: err });
+    } catch (err: unknown) {
+      const message = err instanceof Error ? err.message : String(err);
+      throw new ConfigError(`Failed to parse targets: ${message}`, { cause: err as Error });
     }
 
     if (!targets || targets.length === 0) {
@@ -52,18 +69,17 @@ export const command = {
     }
 
     const batchOpts = {
-      depth: opts.depth ? parseInt(opts.depth, 10) : undefined,
+      depth: opts.depth ? parseInt(opts.depth as string, 10) : undefined,
       file: opts.file,
       kind: opts.kind,
       noTests: ctx.resolveNoTests(opts),
     };
 
-    const isMulti = targets.length > 0 && typeof targets[0] === 'object' && targets[0].command;
-    if (isMulti) {
-      const data = multiBatchData(targets, opts.db, batchOpts);
+    if (isMultiBatch(targets)) {
+      const data = multiBatchData(targets as MultiBatchItem[], opts.db, batchOpts);
       console.log(JSON.stringify(data, null, 2));
     } else {
-      batch(command, targets, opts.db, batchOpts);
+      batch(command!, targets as string[], opts.db, batchOpts);
     }
   },
 };

package/src/cli/commands/{branch-compare.js → branch-compare.ts}

@@ -1,4 +1,6 @@
-export const command = {
+import type { CommandDefinition } from '../types.js';
+
+export const command: CommandDefinition = {
   name: 'branch-compare <base> <target>',
   description: 'Compare code structure between two branches/refs',
   options: [
@@ -10,9 +12,9 @@ export const command = {
   ],
   async execute([base, target], opts, ctx) {
     const { branchCompare } = await import('../../presentation/branch-compare.js');
-    await branchCompare(base, target, {
-      engine: ctx.program.opts().engine,
-      depth: parseInt(opts.depth, 10),
+    await branchCompare(base!, target!, {
+      engine: ctx.program.opts()['engine'],
+      depth: parseInt(opts.depth as string, 10),
       noTests: ctx.resolveNoTests(opts),
       json: opts.json,
       format: opts.format,

package/src/cli/commands/{brief.js → brief.ts}

@@ -1,11 +1,12 @@
 import { brief } from '../../presentation/brief.js';
+import type { CommandDefinition } from '../types.js';
 
-export const command = {
+export const command: CommandDefinition = {
   name: 'brief <file>',
   description: 'Token-efficient file summary: symbols with roles, caller counts, risk tier',
   queryOpts: true,
   execute([file], opts, ctx) {
-    brief(file, opts.db, {
+    brief(file!, opts.db, {
       ...ctx.resolveQueryOpts(opts),
     });
   },

package/src/cli/commands/{build.js → build.ts}

@@ -1,7 +1,9 @@
 import path from 'node:path';
 import { buildGraph } from '../../domain/graph/builder.js';
+import type { EngineMode } from '../../types.js';
+import type { CommandDefinition } from '../types.js';
 
-export const command = {
+export const command: CommandDefinition = {
   name: 'build [dir]',
   description: 'Parse repo and build graph in .codegraph/graph.db',
   options: [
@@ -13,14 +15,14 @@ export const command = {
   ],
   async execute([dir], opts, ctx) {
     const root = path.resolve(dir || '.');
-    const engine = ctx.program.opts().engine;
+    const engine = ctx.program.opts()['engine'];
     await buildGraph(root, {
-      incremental: opts.incremental,
-      ast: opts.ast,
-      complexity: opts.complexity,
-      engine,
-      dataflow: opts.dataflow,
-      cfg: opts.cfg,
+      incremental: opts.incremental as boolean,
+      ast: opts.ast as boolean,
+      complexity: opts.complexity as boolean,
+      engine: engine as EngineMode,
+      dataflow: opts.dataflow as boolean,
+      cfg: opts.cfg as boolean,
     });
   },
 };

package/src/cli/commands/{cfg.js → cfg.ts}

@@ -1,7 +1,8 @@
 import { collectFile } from '../../db/query-builder.js';
 import { EVERY_SYMBOL_KIND } from '../../domain/queries.js';
+import type { CommandDefinition } from '../types.js';
 
-export const command = {
+export const command: CommandDefinition = {
   name: 'cfg <name>',
   description: 'Show control flow graph for a function',
   queryOpts: true,
@@ -11,13 +12,13 @@ export const command = {
     ['-k, --kind <kind>', 'Filter by symbol kind'],
   ],
   validate([_name], opts) {
-    if (opts.kind && !EVERY_SYMBOL_KIND.includes(opts.kind)) {
+    if (opts.kind && !(EVERY_SYMBOL_KIND as readonly string[]).includes(opts.kind)) {
       return `Invalid kind "${opts.kind}". Valid: ${EVERY_SYMBOL_KIND.join(', ')}`;
     }
   },
   async execute([name], opts, ctx) {
     const { cfg } = await import('../../presentation/cfg.js');
-    cfg(name, opts.db, {
+    cfg(name!, opts.db, {
       format: opts.format,
       file: opts.file,
       kind: opts.kind,

package/src/cli/commands/{check.js → check.ts}

@@ -2,14 +2,15 @@ import { collectFile } from '../../db/query-builder.js';
 import { EVERY_SYMBOL_KIND } from '../../domain/queries.js';
 import { ConfigError } from '../../shared/errors.js';
 import { config } from '../shared/options.js';
+import type { CommandDefinition, CommandOpts } from '../types.js';
 
-function validateKind(kind) {
-  if (kind && !EVERY_SYMBOL_KIND.includes(kind)) {
+function validateKind(kind: CommandOpts): void {
+  if (kind && !(EVERY_SYMBOL_KIND as readonly string[]).includes(kind)) {
     throw new ConfigError(`Invalid kind "${kind}". Valid: ${EVERY_SYMBOL_KIND.join(', ')}`);
   }
 }
 
-async function runManifesto(opts, qOpts) {
+async function runManifesto(opts: CommandOpts, qOpts: CommandOpts): Promise<void> {
   validateKind(opts.kind);
   const { manifesto } = await import('../../presentation/manifesto.js');
   manifesto(opts.db, {
@@ -19,7 +20,7 @@ async function runManifesto(opts, qOpts) {
   });
 }
 
-export const command = {
+export const command: CommandDefinition = {
   name: 'check [ref]',
   description:
     'CI gate: run manifesto rules (no args), diff predicates (with ref/--staged), or both (--rules)',
@@ -55,10 +56,10 @@ export const command = {
       ref,
       staged: opts.staged,
       cycles: opts.cycles || undefined,
-      blastRadius: opts.blastRadius ? parseInt(opts.blastRadius, 10) : undefined,
+      blastRadius: opts.blastRadius ? parseInt(opts.blastRadius as string, 10) : undefined,
       signatures: opts.signatures || undefined,
       boundaries: opts.boundaries || undefined,
-      depth: opts.depth ? parseInt(opts.depth, 10) : undefined,
+      depth: opts.depth ? parseInt(opts.depth as string, 10) : undefined,
       noTests: qOpts.noTests,
       json: qOpts.json,
       config,

package/src/cli/commands/{children.js → children.ts}

@@ -1,8 +1,9 @@
 import { collectFile } from '../../db/query-builder.js';
 import { EVERY_SYMBOL_KIND } from '../../domain/queries.js';
 import { children } from '../../presentation/queries-cli.js';
+import type { CommandDefinition } from '../types.js';
 
-export const command = {
+export const command: CommandDefinition = {
   name: 'children <name>',
   description: 'List parameters, properties, and constants of a symbol',
   options: [
@@ -19,12 +20,12 @@ export const command = {
     ['--offset <number>', 'Skip N results (default: 0)'],
   ],
   validate([_name], opts) {
-    if (opts.kind && !EVERY_SYMBOL_KIND.includes(opts.kind)) {
+    if (opts.kind && !(EVERY_SYMBOL_KIND as readonly string[]).includes(opts.kind)) {
       return `Invalid kind "${opts.kind}". Valid: ${EVERY_SYMBOL_KIND.join(', ')}`;
     }
   },
   execute([name], opts, ctx) {
-    children(name, opts.db, {
+    children(name!, opts.db, {
       file: opts.file,
       kind: opts.kind,
       ...ctx.resolveQueryOpts(opts),

package/src/cli/commands/{co-change.js → co-change.ts}

@@ -1,6 +1,7 @@
 import { AnalysisError } from '../../shared/errors.js';
+import type { CommandDefinition } from '../types.js';
 
-export const command = {
+export const command: CommandDefinition = {
   name: 'co-change [file]',
   description:
     'Analyze git history for files that change together. Use --analyze to scan, or query existing data.',
@@ -25,18 +26,19 @@ export const command = {
     const { formatCoChange, formatCoChangeTop } = await import('../../presentation/cochange.js');
 
     if (opts.analyze) {
+      const coChangeConfig = ctx.config.coChange;
       const result = analyzeCoChanges(opts.db, {
-        since: opts.since || ctx.config.coChange?.since,
+        since: opts.since || coChangeConfig?.since,
         minSupport: opts.minSupport
-          ? parseInt(opts.minSupport, 10)
-          : ctx.config.coChange?.minSupport,
-        maxFilesPerCommit: ctx.config.coChange?.maxFilesPerCommit,
+          ? parseInt(opts.minSupport as string, 10)
+          : coChangeConfig?.minSupport,
+        maxFilesPerCommit: coChangeConfig?.maxFilesPerCommit,
         full: opts.full,
       });
       if (opts.json) {
         console.log(JSON.stringify(result, null, 2));
-      } else if (result.error) {
-        throw new AnalysisError(result.error);
+      } else if ('error' in result) {
+        throw new AnalysisError((result as { error: string }).error);
       } else {
         console.log(
           `\nCo-change analysis complete: ${result.pairsFound} pairs from ${result.commitsScanned} commits (since: ${result.since})\n`,
@@ -45,22 +47,25 @@ export const command = {
       return;
     }
 
+    const coChangeConfig = ctx.config.coChange;
     const queryOpts = {
-      limit: parseInt(opts.limit, 10),
-      offset: opts.offset ? parseInt(opts.offset, 10) : undefined,
-      minJaccard: opts.minJaccard ? parseFloat(opts.minJaccard) : ctx.config.coChange?.minJaccard,
+      limit: parseInt(opts.limit as string, 10),
+      offset: opts.offset ? parseInt(opts.offset as string, 10) : undefined,
+      minJaccard: opts.minJaccard
+        ? parseFloat(opts.minJaccard as string)
+        : (coChangeConfig?.minJaccard as number | undefined),
       noTests: ctx.resolveNoTests(opts),
     };
 
     if (file) {
       const data = coChangeData(file, opts.db, queryOpts);
       if (!ctx.outputResult(data, 'partners', opts)) {
-        console.log(formatCoChange(data));
+        console.log(formatCoChange(data as unknown as Parameters<typeof formatCoChange>[0]));
       }
     } else {
       const data = coChangeTopData(opts.db, queryOpts);
       if (!ctx.outputResult(data, 'pairs', opts)) {
-        console.log(formatCoChangeTop(data));
+        console.log(formatCoChangeTop(data as unknown as Parameters<typeof formatCoChangeTop>[0]));
       }
     }
   },

package/src/cli/commands/{communities.js → communities.ts}

@@ -1,4 +1,6 @@
-export const command = {
+import type { CommandDefinition } from '../types.js';
+
+export const command: CommandDefinition = {
   name: 'communities',
   description: 'Detect natural module boundaries using Louvain community detection',
   queryOpts: true,
@@ -11,7 +13,7 @@ export const command = {
     const { communities } = await import('../../presentation/communities.js');
     communities(opts.db, {
       functions: opts.functions,
-      resolution: parseFloat(opts.resolution),
+      resolution: parseFloat(opts.resolution as string),
       drift: opts.drift,
       ...ctx.resolveQueryOpts(opts),
     });

package/src/cli/commands/{complexity.js → complexity.ts}

@@ -1,7 +1,8 @@
 import { collectFile } from '../../db/query-builder.js';
 import { EVERY_SYMBOL_KIND } from '../../domain/queries.js';
+import type { CommandDefinition } from '../types.js';
 
-export const command = {
+export const command: CommandDefinition = {
   name: 'complexity [target]',
   description: 'Show per-function complexity metrics (cognitive, cyclomatic, nesting depth, MI)',
   options: [
@@ -23,7 +24,7 @@ export const command = {
     ['--ndjson', 'Newline-delimited JSON output'],
   ],
   validate([_target], opts) {
-    if (opts.kind && !EVERY_SYMBOL_KIND.includes(opts.kind)) {
+    if (opts.kind && !(EVERY_SYMBOL_KIND as readonly string[]).includes(opts.kind)) {
       return `Invalid kind "${opts.kind}". Valid: ${EVERY_SYMBOL_KIND.join(', ')}`;
     }
   },
@@ -31,8 +32,8 @@ export const command = {
     const { complexity } = await import('../../presentation/complexity.js');
     complexity(opts.db, {
       target,
-      limit: parseInt(opts.limit, 10),
-      offset: opts.offset ? parseInt(opts.offset, 10) : undefined,
+      limit: parseInt(opts.limit as string, 10),
+      offset: opts.offset ? parseInt(opts.offset as string, 10) : undefined,
       sort: opts.sort,
       aboveThreshold: opts.aboveThreshold,
       health: opts.health,

package/src/cli/commands/{context.js → context.ts}

@@ -1,8 +1,9 @@
 import { collectFile } from '../../db/query-builder.js';
 import { EVERY_SYMBOL_KIND } from '../../domain/queries.js';
 import { context } from '../../presentation/queries-cli.js';
+import type { CommandDefinition } from '../types.js';
 
-export const command = {
+export const command: CommandDefinition = {
   name: 'context <name>',
   description: 'Full context for a function: source, deps, callers, tests, signature',
   queryOpts: true,
@@ -18,13 +19,13 @@ export const command = {
     ['--with-test-source', 'Include test source code'],
   ],
   validate([_name], opts) {
-    if (opts.kind && !EVERY_SYMBOL_KIND.includes(opts.kind)) {
+    if (opts.kind && !(EVERY_SYMBOL_KIND as readonly string[]).includes(opts.kind)) {
       return `Invalid kind "${opts.kind}". Valid: ${EVERY_SYMBOL_KIND.join(', ')}`;
     }
   },
   execute([name], opts, ctx) {
-    context(name, opts.db, {
-      depth: parseInt(opts.depth, 10),
+    context(name!, opts.db, {
+      depth: parseInt(opts.depth as string, 10),
       file: opts.file,
       kind: opts.kind,
       noSource: !opts.source,

package/src/cli/commands/{cycles.js → cycles.ts}

@@ -1,7 +1,8 @@
 import { findCycles, formatCycles } from '../../domain/graph/cycles.js';
 import { openGraph } from '../shared/open-graph.js';
+import type { CommandDefinition } from '../types.js';
 
-export const command = {
+export const command: CommandDefinition = {
   name: 'cycles',
   description: 'Detect circular dependencies in the codebase',
   options: [
@@ -12,8 +13,8 @@ export const command = {
     ['-j, --json', 'Output as JSON'],
   ],
   execute(_args, opts, ctx) {
-    const { db, close } = openGraph(opts);
-    let cycles;
+    const { db, close } = openGraph(opts as { db?: string });
+    let cycles: string[][];
     try {
       cycles = findCycles(db, {
         fileLevel: !opts.functions,

package/src/cli/commands/{dataflow.js → dataflow.ts}

@@ -1,7 +1,8 @@
 import { collectFile } from '../../db/query-builder.js';
 import { EVERY_SYMBOL_KIND } from '../../domain/queries.js';
+import type { CommandDefinition } from '../types.js';
 
-export const command = {
+export const command: CommandDefinition = {
   name: 'dataflow <name>',
   description: 'Show data flow for a function: parameters, return consumers, mutations',
   queryOpts: true,
@@ -12,17 +13,17 @@ export const command = {
     ['--depth <n>', 'Max traversal depth', '5'],
   ],
   validate([_name], opts) {
-    if (opts.kind && !EVERY_SYMBOL_KIND.includes(opts.kind)) {
+    if (opts.kind && !(EVERY_SYMBOL_KIND as readonly string[]).includes(opts.kind)) {
       return `Invalid kind "${opts.kind}". Valid: ${EVERY_SYMBOL_KIND.join(', ')}`;
     }
   },
   async execute([name], opts, ctx) {
     const { dataflow } = await import('../../presentation/dataflow.js');
-    dataflow(name, opts.db, {
+    dataflow(name!, opts.db, {
       file: opts.file,
       kind: opts.kind,
       impact: opts.impact,
-      depth: parseInt(opts.depth, 10),
+      depth: parseInt(opts.depth as string, 10),
       ...ctx.resolveQueryOpts(opts),
     });
   },

package/src/cli/commands/{deps.js → deps.ts}

@@ -1,7 +1,8 @@
 import { brief } from '../../presentation/brief.js';
 import { fileDeps } from '../../presentation/queries-cli.js';
+import type { CommandDefinition } from '../types.js';
 
-export const command = {
+export const command: CommandDefinition = {
   name: 'deps <file>',
   description: 'Show what this file imports and what imports it',
   queryOpts: true,
@@ -9,9 +10,9 @@ export const command = {
   execute([file], opts, ctx) {
     const qOpts = ctx.resolveQueryOpts(opts);
     if (opts.brief) {
-      brief(file, opts.db, qOpts);
+      brief(file!, opts.db, qOpts);
     } else {
-      fileDeps(file, opts.db, qOpts);
+      fileDeps(file!, opts.db, qOpts);
     }
   },
 };

package/src/cli/commands/{diff-impact.js → diff-impact.ts}

@@ -1,6 +1,7 @@
 import { diffImpact } from '../../presentation/queries-cli.js';
+import type { CommandDefinition } from '../types.js';
 
-export const command = {
+export const command: CommandDefinition = {
   name: 'diff-impact [ref]',
   description: 'Show impact of git changes (unstaged, staged, or vs a ref)',
   options: [
@@ -19,7 +20,7 @@ export const command = {
     diffImpact(opts.db, {
       ref,
       staged: opts.staged,
-      depth: parseInt(opts.depth, 10),
+      depth: parseInt(opts.depth as string, 10),
       format: opts.format,
       includeImplementors: opts.implementations !== false,
       ...ctx.resolveQueryOpts(opts),

package/src/cli/commands/{embed.js → embed.ts}

@@ -1,7 +1,8 @@
 import path from 'node:path';
 import { buildEmbeddings, DEFAULT_MODEL, EMBEDDING_STRATEGIES } from '../../domain/search/index.js';
+import type { CommandDefinition } from '../types.js';
 
-export const command = {
+export const command: CommandDefinition = {
   name: 'embed [dir]',
   description:
     'Build semantic embeddings for all functions/methods/classes (requires prior `build`)',
@@ -18,13 +19,14 @@ export const command = {
     ['-d, --db <path>', 'Path to graph.db'],
   ],
   validate([_dir], opts) {
-    if (!EMBEDDING_STRATEGIES.includes(opts.strategy)) {
+    if (!(EMBEDDING_STRATEGIES as readonly string[]).includes(opts.strategy)) {
       return `Unknown strategy: ${opts.strategy}. Available: ${EMBEDDING_STRATEGIES.join(', ')}`;
     }
   },
   async execute([dir], opts, ctx) {
     const root = path.resolve(dir || '.');
-    const model = opts.model || ctx.config.embeddings?.model || DEFAULT_MODEL;
-    await buildEmbeddings(root, model, opts.db, { strategy: opts.strategy });
+    const embeddingsConfig = ctx.config.embeddings;
+    const model = (opts.model as string) || (embeddingsConfig?.model as string) || DEFAULT_MODEL;
+    await buildEmbeddings(root, model, opts.db as string | undefined, { strategy: opts.strategy });
   },
 };

package/src/cli/commands/{export.js → export.ts}

@@ -8,8 +8,9 @@ import {
   exportNeo4jCSV,
 } from '../../features/export.js';
 import { openGraph } from '../shared/open-graph.js';
+import type { CommandDefinition } from '../types.js';
 
-export const command = {
+export const command: CommandDefinition = {
   name: 'export',
   description: 'Export dependency graph as DOT, Mermaid, JSON, GraphML, GraphSON, or Neo4j CSV',
   options: [
@@ -23,15 +24,15 @@ export const command = {
     ['-o, --output <file>', 'Write to file instead of stdout'],
   ],
   execute(_args, opts, ctx) {
-    const { db, close } = openGraph(opts);
+    const { db, close } = openGraph(opts as { db?: string });
     const exportOpts = {
       fileLevel: !opts.functions,
       noTests: ctx.resolveNoTests(opts),
-      minConfidence: parseFloat(opts.minConfidence),
-      direction: opts.direction,
+      minConfidence: parseFloat(opts.minConfidence as string),
+      direction: opts.direction as string,
     };
 
-    let output;
+    let output: string | undefined;
     try {
       switch (opts.format) {
         case 'mermaid':
@@ -49,7 +50,7 @@ export const command = {
         case 'neo4j': {
           const csv = exportNeo4jCSV(db, exportOpts);
           if (opts.output) {
-            const base = opts.output.replace(/\.[^.]+$/, '') || opts.output;
+            const base = (opts.output as string).replace(/\.[^.]+$/, '') || (opts.output as string);
             fs.writeFileSync(`${base}-nodes.csv`, csv.nodes, 'utf-8');
             fs.writeFileSync(`${base}-relationships.csv`, csv.relationships, 'utf-8');
             console.log(`Exported to ${base}-nodes.csv and ${base}-relationships.csv`);
@@ -69,7 +70,7 @@ export const command = {
     if (output === undefined) return;
 
     if (opts.output) {
-      fs.writeFileSync(opts.output, output, 'utf-8');
+      fs.writeFileSync(opts.output as string, output, 'utf-8');
       console.log(`Exported ${opts.format} to ${opts.output}`);
     } else {
       console.log(output);

package/src/cli/commands/{exports.js → exports.ts}

@@ -1,12 +1,13 @@
 import { fileExports } from '../../presentation/queries-cli.js';
+import type { CommandDefinition } from '../types.js';
 
-export const command = {
+export const command: CommandDefinition = {
   name: 'exports <file>',
   description: 'Show exported symbols with per-symbol consumers (who calls each export)',
   queryOpts: true,
   options: [['--unused', 'Show only exports with zero consumers (dead exports)']],
   execute([file], opts, ctx) {
-    fileExports(file, opts.db, {
+    fileExports(file!, opts.db, {
       unused: opts.unused || false,
       ...ctx.resolveQueryOpts(opts),
     });

package/src/cli/commands/{flow.js → flow.ts}

@@ -1,7 +1,8 @@
 import { collectFile } from '../../db/query-builder.js';
 import { EVERY_SYMBOL_KIND } from '../../domain/queries.js';
+import type { CommandDefinition } from '../types.js';
 
-export const command = {
+export const command: CommandDefinition = {
   name: 'flow [name]',
   description:
     'Trace execution flow forward from an entry point (route, command, event) through callees to leaves',
@@ -16,7 +17,7 @@ export const command = {
     if (!name && !opts.list) {
       return 'Provide a function/entry point name or use --list to see all entry points.';
     }
-    if (opts.kind && !EVERY_SYMBOL_KIND.includes(opts.kind)) {
+    if (opts.kind && !(EVERY_SYMBOL_KIND as readonly string[]).includes(opts.kind)) {
       return `Invalid kind "${opts.kind}". Valid: ${EVERY_SYMBOL_KIND.join(', ')}`;
     }
   },
@@ -24,7 +25,7 @@ export const command = {
     const { flow } = await import('../../presentation/flow.js');
     flow(name, opts.db, {
       list: opts.list,
-      depth: parseInt(opts.depth, 10),
+      depth: parseInt(opts.depth as string, 10),
       file: opts.file,
       kind: opts.kind,
       ...ctx.resolveQueryOpts(opts),

package/src/cli/commands/{fn-impact.js → fn-impact.ts}

@@ -1,8 +1,9 @@
 import { collectFile } from '../../db/query-builder.js';
 import { EVERY_SYMBOL_KIND } from '../../domain/queries.js';
 import { fnImpact } from '../../presentation/queries-cli.js';
+import type { CommandDefinition } from '../types.js';
 
-export const command = {
+export const command: CommandDefinition = {
   name: 'fn-impact <name>',
   description: 'Function-level impact: what functions break if this one changes',
   queryOpts: true,
@@ -17,13 +18,13 @@ export const command = {
     ['--no-implementations', 'Exclude interface/trait implementors from blast radius'],
   ],
   validate([_name], opts) {
-    if (opts.kind && !EVERY_SYMBOL_KIND.includes(opts.kind)) {
+    if (opts.kind && !(EVERY_SYMBOL_KIND as readonly string[]).includes(opts.kind)) {
       return `Invalid kind "${opts.kind}". Valid: ${EVERY_SYMBOL_KIND.join(', ')}`;
     }
   },
   execute([name], opts, ctx) {
-    fnImpact(name, opts.db, {
-      depth: parseInt(opts.depth, 10),
+    fnImpact(name!, opts.db, {
+      depth: parseInt(opts.depth as string, 10),
       file: opts.file,
       kind: opts.kind,
       includeImplementors: opts.implementations !== false,

package/src/cli/commands/{impact.js → impact.ts}

@@ -1,11 +1,12 @@
 import { impactAnalysis } from '../../presentation/queries-cli.js';
+import type { CommandDefinition } from '../types.js';
 
-export const command = {
+export const command: CommandDefinition = {
   name: 'impact <file>',
   description: 'Show what depends on this file (transitive)',
   queryOpts: true,
   execute([file], opts, ctx) {
-    impactAnalysis(file, opts.db, {
+    impactAnalysis(file!, opts.db, {
       ...ctx.resolveQueryOpts(opts),
     });
   },