sdlc-agent-4-enterprise-server 1.0.0

package/dist/engine/graph/impact-analysis-service.d.ts

@@ -0,0 +1,56 @@
+/**
+ * KSA-156: Impact Analysis Service - blast radius prediction.
+ * Combines call graph + dependency graph + test detection for comprehensive impact analysis.
+ */
+import Database from 'better-sqlite3';
+import { CallGraphService } from './call-graph-service.js';
+import { DependencyGraphService } from './dependency-graph-service.js';
+import { SymbolResolver } from './symbol-resolver.js';
+import { TestDetector, RelatedTest } from './test-detector.js';
+export type Severity = 'critical' | 'high' | 'medium' | 'low';
+export type ImpactAction = 'modify' | 'delete' | 'rename';
+export interface ImpactItem {
+    symbol: string;
+    qualifiedName?: string;
+    file: string;
+    line: number;
+    severity: Severity;
+    reason: string;
+    chain?: string[];
+}
+export interface ImpactResult {
+    symbol: string;
+    action: ImpactAction;
+    blastRadius: {
+        summary: Record<Severity, number>;
+        totalAffected: number;
+        affectedFiles: number;
+        affectedTests: number;
+    };
+    impacts: ImpactItem[];
+    affectedTests: RelatedTest[];
+    recommendations: string[];
+    metadata: {
+        queryTimeMs: number;
+        depthSearched: number;
+        truncated: boolean;
+    };
+}
+export declare class ImpactAnalysisService {
+    private callGraph;
+    private depGraph;
+    private resolver;
+    private testDetector;
+    private db;
+    constructor(db: Database.Database, callGraph: CallGraphService, depGraph: DependencyGraphService, resolver: SymbolResolver, testDetector: TestDetector);
+    /** Analyze the impact of modifying/deleting/renaming a symbol. */
+    analyzeImpact(symbolName: string, action?: ImpactAction, depth?: number, includeTests?: boolean, severityThreshold?: Severity): ImpactResult;
+    private classifySeverity;
+    private findImplementorImpacts;
+    private generateRecommendations;
+    private filterBySeverity;
+    private deduplicate;
+    private severityOrder;
+    private buildSummary;
+    private emptyResult;
+}

package/dist/engine/graph/impact-analysis-service.js

@@ -0,0 +1,216 @@
+/**
+ * KSA-156: Impact Analysis Service - blast radius prediction.
+ * Combines call graph + dependency graph + test detection for comprehensive impact analysis.
+ */
+export class ImpactAnalysisService {
+    callGraph;
+    depGraph;
+    resolver;
+    testDetector;
+    db;
+    constructor(db, callGraph, depGraph, resolver, testDetector) {
+        this.db = db;
+        this.callGraph = callGraph;
+        this.depGraph = depGraph;
+        this.resolver = resolver;
+        this.testDetector = testDetector;
+    }
+    /** Analyze the impact of modifying/deleting/renaming a symbol. */
+    analyzeImpact(symbolName, action = 'modify', depth = 3, includeTests = true, severityThreshold = 'low') {
+        const startTime = Date.now();
+        const clampedDepth = Math.min(Math.max(depth, 1), 5);
+        // 1. Resolve symbol
+        const resolved = this.resolver.resolve(symbolName);
+        if (resolved.length === 0) {
+            return this.emptyResult(symbolName, action);
+        }
+        const impacts = [];
+        const sourceFile = resolved[0].filePath;
+        // 2. Find callers via call graph
+        const callerResult = this.callGraph.findCallers(symbolName, clampedDepth, 100);
+        for (const caller of callerResult.results) {
+            const severity = this.classifySeverity(caller.depthLevel, action, 'caller');
+            impacts.push({
+                symbol: caller.symbol,
+                qualifiedName: caller.qualifiedName,
+                file: caller.filePath,
+                line: caller.callSiteLine,
+                severity,
+                reason: caller.depthLevel === 1 ? 'Direct caller' : `Transitive caller (depth ${caller.depthLevel})`,
+            });
+        }
+        // 3. Find interface implementors
+        const implImpacts = this.findImplementorImpacts(resolved, symbolName);
+        impacts.push(...implImpacts);
+        // 4. Find file-level dependents
+        const depResult = this.depGraph.query(sourceFile, 'incoming', Math.min(clampedDepth, 2), false, 50);
+        for (const dep of depResult.results) {
+            if (!impacts.some(i => i.file === dep.file)) {
+                impacts.push({
+                    symbol: dep.file,
+                    file: dep.file,
+                    line: 0,
+                    severity: action === 'delete' ? 'high' : 'medium',
+                    reason: 'Imports modified file',
+                });
+            }
+        }
+        // 5. Find related tests
+        let affectedTests = [];
+        if (includeTests) {
+            affectedTests = this.testDetector.findRelatedTests(resolved, impacts.map(i => i.file));
+            for (const test of affectedTests) {
+                if (!impacts.some(i => i.file === test.file)) {
+                    impacts.push({
+                        symbol: test.file,
+                        file: test.file,
+                        line: 0,
+                        severity: 'high',
+                        reason: test.reason,
+                    });
+                }
+            }
+        }
+        // 6. Filter by severity threshold
+        const filtered = this.filterBySeverity(impacts, severityThreshold);
+        // 7. Deduplicate and sort
+        const deduped = this.deduplicate(filtered);
+        deduped.sort((a, b) => this.severityOrder(a.severity) - this.severityOrder(b.severity));
+        // 8. Generate recommendations
+        const recommendations = this.generateRecommendations(deduped, action, symbolName);
+        // 9. Build summary
+        const summary = this.buildSummary(deduped);
+        const affectedFiles = new Set(deduped.map(i => i.file)).size;
+        return {
+            symbol: symbolName,
+            action,
+            blastRadius: {
+                summary,
+                totalAffected: deduped.length,
+                affectedFiles,
+                affectedTests: affectedTests.length,
+            },
+            impacts: deduped,
+            affectedTests,
+            recommendations,
+            metadata: {
+                queryTimeMs: Date.now() - startTime,
+                depthSearched: clampedDepth,
+                truncated: callerResult.metadata.truncated,
+            },
+        };
+    }
+    classifySeverity(depth, action, type) {
+        if (action === 'delete') {
+            if (depth <= 1)
+                return 'critical';
+            if (depth <= 2)
+                return 'high';
+            return 'medium';
+        }
+        if (action === 'rename' && depth <= 1)
+            return 'high';
+        if (depth === 1)
+            return 'critical';
+        if (depth === 2)
+            return 'high';
+        if (depth === 3)
+            return 'medium';
+        return 'low';
+    }
+    findImplementorImpacts(resolved, symbolName) {
+        const impacts = [];
+        for (const sym of resolved) {
+            if (sym.kind !== 'method')
+                continue;
+            if (!sym.parentSymbolId)
+                continue;
+            // Check if parent is interface
+            const parent = this.db.prepare('SELECT kind, name FROM symbols WHERE id = ?').get(sym.parentSymbolId);
+            if (!parent || parent.kind !== 'interface')
+                continue;
+            // Find all classes implementing this interface
+            const implementors = this.db.prepare(`
+        SELECT DISTINCT s.name, f.relative_path as file_path, s.start_line as line
+        FROM relationships r
+        JOIN symbols s ON s.id = r.source_symbol_id
+        JOIN files f ON s.file_id = f.id
+        WHERE r.target_symbol = ? AND r.kind = 'implements'
+      `).all(parent.name);
+            for (const impl of implementors) {
+                impacts.push({
+                    symbol: `${impl.name}.${sym.name}`,
+                    file: impl.file_path,
+                    line: impl.line,
+                    severity: 'critical',
+                    reason: `Implements ${parent.name}.${sym.name}`,
+                });
+            }
+        }
+        return impacts;
+    }
+    generateRecommendations(impacts, action, symbol) {
+        const recs = [];
+        const critical = impacts.filter(i => i.severity === 'critical');
+        const testImpacts = impacts.filter(i => this.testDetector.isTestFile(i.file));
+        if (action === 'delete' && impacts.length === 0) {
+            recs.push(`Safe to delete "${symbol}" - no references found`);
+        }
+        else if (action === 'delete' && impacts.length > 0) {
+            recs.push(`Remove all ${impacts.length} references before deleting "${symbol}"`);
+        }
+        if (action === 'modify' && critical.length > 0) {
+            recs.push(`Update ${critical.length} direct callers if signature changes`);
+        }
+        if (action === 'rename') {
+            const files = new Set(impacts.map(i => i.file)).size;
+            recs.push(`Update references in ${files} files with new name`);
+        }
+        if (testImpacts.length > 0) {
+            const testFiles = testImpacts.map(t => t.file).slice(0, 5);
+            recs.push(`Run affected tests: ${testFiles.join(', ')}`);
+        }
+        if (impacts.length > 20) {
+            recs.push('Consider incremental refactoring to reduce blast radius');
+        }
+        return recs;
+    }
+    filterBySeverity(impacts, threshold) {
+        const order = { critical: 0, high: 1, medium: 2, low: 3 };
+        const thresholdOrder = order[threshold];
+        return impacts.filter(i => order[i.severity] <= thresholdOrder);
+    }
+    deduplicate(impacts) {
+        const seen = new Set();
+        return impacts.filter(i => {
+            const key = `${i.file}:${i.symbol}:${i.line}`;
+            if (seen.has(key))
+                return false;
+            seen.add(key);
+            return true;
+        });
+    }
+    severityOrder(severity) {
+        const order = { critical: 0, high: 1, medium: 2, low: 3 };
+        return order[severity];
+    }
+    buildSummary(impacts) {
+        const summary = { critical: 0, high: 0, medium: 0, low: 0 };
+        for (const i of impacts) {
+            summary[i.severity]++;
+        }
+        return summary;
+    }
+    emptyResult(symbolName, action) {
+        return {
+            symbol: symbolName,
+            action,
+            blastRadius: { summary: { critical: 0, high: 0, medium: 0, low: 0 }, totalAffected: 0, affectedFiles: 0, affectedTests: 0 },
+            impacts: [],
+            affectedTests: [],
+            recommendations: [`Symbol "${symbolName}" not found in index`],
+            metadata: { queryTimeMs: 0, depthSearched: 0, truncated: false },
+        };
+    }
+}
+//# sourceMappingURL=impact-analysis-service.js.map

package/dist/engine/graph/impact-analysis-service.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"impact-analysis-service.js","sourceRoot":"","sources":["../../../src/engine/graph/impact-analysis-service.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAwCH,MAAM,OAAO,qBAAqB;IACxB,SAAS,CAAmB;IAC5B,QAAQ,CAAyB;IACjC,QAAQ,CAAiB;IACzB,YAAY,CAAe;IAC3B,EAAE,CAAoB;IAE9B,YACE,EAAqB,EACrB,SAA2B,EAC3B,QAAgC,EAChC,QAAwB,EACxB,YAA0B;QAE1B,IAAI,CAAC,EAAE,GAAG,EAAE,CAAC;QACb,IAAI,CAAC,SAAS,GAAG,SAAS,CAAC;QAC3B,IAAI,CAAC,QAAQ,GAAG,QAAQ,CAAC;QACzB,IAAI,CAAC,QAAQ,GAAG,QAAQ,CAAC;QACzB,IAAI,CAAC,YAAY,GAAG,YAAY,CAAC;IACnC,CAAC;IAED,kEAAkE;IAClE,aAAa,CACX,UAAkB,EAClB,SAAuB,QAAQ,EAC/B,QAAgB,CAAC,EACjB,eAAwB,IAAI,EAC5B,oBAA8B,KAAK;QAEnC,MAAM,SAAS,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;QAC7B,MAAM,YAAY,GAAG,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,KAAK,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QAErD,oBAAoB;QACpB,MAAM,QAAQ,GAAG,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC;QACnD,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YAC1B,OAAO,IAAI,CAAC,WAAW,CAAC,UAAU,EAAE,MAAM,CAAC,CAAC;QAC9C,CAAC;QAED,MAAM,OAAO,GAAiB,EAAE,CAAC;QACjC,MAAM,UAAU,GAAG,QAAQ,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC;QAExC,iCAAiC;QACjC,MAAM,YAAY,GAAG,IAAI,CAAC,SAAS,CAAC,WAAW,CAAC,UAAU,EAAE,YAAY,EAAE,GAAG,CAAC,CAAC;QAC/E,KAAK,MAAM,MAAM,IAAI,YAAY,CAAC,OAAO,EAAE,CAAC;YAC1C,MAAM,QAAQ,GAAG,IAAI,CAAC,gBAAgB,CAAC,MAAM,CAAC,UAAU,EAAE,MAAM,EAAE,QAAQ,CAAC,CAAC;YAC5E,OAAO,CAAC,IAAI,CAAC;gBACX,MAAM,EAAE,MAAM,CAAC,MAAM;gBACrB,aAAa,EAAE,MAAM,CAAC,aAAa;gBACnC,IAAI,EAAE,MAAM,CAAC,QAAQ;gBACrB,IAAI,EAAE,MAAM,CAAC,YAAY;gBACzB,QAAQ;gBACR,MAAM,EAAE,MAAM,CAAC,UAAU,KAAK,CAAC,CAAC,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,4BAA4B,MAAM,CAAC,UAAU,GAAG;aACrG,CAAC,CAAC;QACL,CAAC;QAED,iCAAiC;QACjC,MAAM,WAAW,GAAG,IAAI,CAAC,sBAAsB,CAAC,QAAQ,EAAE,UAAU,CAAC,CAAC;QACtE,OAAO,CAAC,IAAI,CAAC,GAAG,WAAW,CAAC,CAAC;QAE7B,gCAAgC;QAChC,MAAM,SAAS,GAAG,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,UAAU,EAAE,UAAU,EAAE,IAAI,CAAC,GAAG,CAAC,YAAY,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,EAAE,CAAC,CAAC;QACpG,KAAK,MAAM,GAAG,IAAI,SAAS,CAAC,OAAO,EAAE,CAAC;YACpC,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;gBAC5C,OAAO,CAAC,IAAI,CAAC;oBACX,MAAM,EAAE,GAAG,CAAC,IAAI;oBAChB,IAAI,EAAE,GAAG,CAAC,IAAI;oBACd,IAAI,EAAE,CAAC;oBACP,QAAQ,EAAE,MAAM,KAAK,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,QAAQ;oBACjD,MAAM,EAAE,uBAAuB;iBAChC,CAAC,CAAC;YACL,CAAC;QACH,CAAC;QAED,wBAAwB;QACxB,IAAI,aAAa,GAAkB,EAAE,CAAC;QACtC,IAAI,YAAY,EAAE,CAAC;YACjB,aAAa,GAAG,IAAI,CAAC,YAAY,CAAC,gBAAgB,CAChD,QAAQ,EACR,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CACzB,CAAC;YACF,KAAK,MAAM,IAAI,IAAI,aAAa,EAAE,CAAC;gBACjC,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;oBAC7C,OAAO,CAAC,IAAI,CAAC;wBACX,MAAM,EAAE,IAAI,CAAC,IAAI;wBACjB,IAAI,EAAE,IAAI,CAAC,IAAI;wBACf,IAAI,EAAE,CAAC;wBACP,QAAQ,EAAE,MAAM;wBAChB,MAAM,EAAE,IAAI,CAAC,MAAM;qBACpB,CAAC,CAAC;gBACL,CAAC;YACH,CAAC;QACH,CAAC;QAED,kCAAkC;QAClC,MAAM,QAAQ,GAAG,IAAI,CAAC,gBAAgB,CAAC,OAAO,EAAE,iBAAiB,CAAC,CAAC;QAEnE,0BAA0B;QAC1B,MAAM,OAAO,GAAG,IAAI,CAAC,WAAW,CAAC,QAAQ,CAAC,CAAC;QAC3C,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC,CAAC,QAAQ,CAAC,GAAG,IAAI,CAAC,aAAa,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC;QAExF,8BAA8B;QAC9B,MAAM,eAAe,GAAG,IAAI,CAAC,uBAAuB,CAAC,OAAO,EAAE,MAAM,EAAE,UAAU,CAAC,CAAC;QAElF,mBAAmB;QACnB,MAAM,OAAO,GAAG,IAAI,CAAC,YAAY,CAAC,OAAO,CAAC,CAAC;QAC3C,MAAM,aAAa,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC;QAE7D,OAAO;YACL,MAAM,EAAE,UAAU;YAClB,MAAM;YACN,WAAW,EAAE;gBACX,OAAO;gBACP,aAAa,EAAE,OAAO,CAAC,MAAM;gBAC7B,aAAa;gBACb,aAAa,EAAE,aAAa,CAAC,MAAM;aACpC;YACD,OAAO,EAAE,OAAO;YAChB,aAAa;YACb,eAAe;YACf,QAAQ,EAAE;gBACR,WAAW,EAAE,IAAI,CAAC,GAAG,EAAE,GAAG,SAAS;gBACnC,aAAa,EAAE,YAAY;gBAC3B,SAAS,EAAE,YAAY,CAAC,QAAQ,CAAC,SAAS;aAC3C;SACF,CAAC;IACJ,CAAC;IAEO,gBAAgB,CAAC,KAAa,EAAE,MAAoB,EAAE,IAAY;QACxE,IAAI,MAAM,KAAK,QAAQ,EAAE,CAAC;YACxB,IAAI,KAAK,IAAI,CAAC;gBAAE,OAAO,UAAU,CAAC;YAClC,IAAI,KAAK,IAAI,CAAC;gBAAE,OAAO,MAAM,CAAC;YAC9B,OAAO,QAAQ,CAAC;QAClB,CAAC;QACD,IAAI,MAAM,KAAK,QAAQ,IAAI,KAAK,IAAI,CAAC;YAAE,OAAO,MAAM,CAAC;QACrD,IAAI,KAAK,KAAK,CAAC;YAAE,OAAO,UAAU,CAAC;QACnC,IAAI,KAAK,KAAK,CAAC;YAAE,OAAO,MAAM,CAAC;QAC/B,IAAI,KAAK,KAAK,CAAC;YAAE,OAAO,QAAQ,CAAC;QACjC,OAAO,KAAK,CAAC;IACf,CAAC;IAEO,sBAAsB,CAAC,QAA0B,EAAE,UAAkB;QAC3E,MAAM,OAAO,GAAiB,EAAE,CAAC;QAEjC,KAAK,MAAM,GAAG,IAAI,QAAQ,EAAE,CAAC;YAC3B,IAAI,GAAG,CAAC,IAAI,KAAK,QAAQ;gBAAE,SAAS;YACpC,IAAI,CAAC,GAAG,CAAC,cAAc;gBAAE,SAAS;YAElC,+BAA+B;YAC/B,MAAM,MAAM,GAAG,IAAI,CAAC,EAAE,CAAC,OAAO,CAC5B,6CAA6C,CAC9C,CAAC,GAAG,CAAC,GAAG,CAAC,cAAc,CAA+C,CAAC;YAExE,IAAI,CAAC,MAAM,IAAI,MAAM,CAAC,IAAI,KAAK,WAAW;gBAAE,SAAS;YAErD,+CAA+C;YAC/C,MAAM,YAAY,GAAG,IAAI,CAAC,EAAE,CAAC,OAAO,CAAC;;;;;;OAMpC,CAAC,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,CAAwD,CAAC;YAE3E,KAAK,MAAM,IAAI,IAAI,YAAY,EAAE,CAAC;gBAChC,OAAO,CAAC,IAAI,CAAC;oBACX,MAAM,EAAE,GAAG,IAAI,CAAC,IAAI,IAAI,GAAG,CAAC,IAAI,EAAE;oBAClC,IAAI,EAAE,IAAI,CAAC,SAAS;oBACpB,IAAI,EAAE,IAAI,CAAC,IAAI;oBACf,QAAQ,EAAE,UAAU;oBACpB,MAAM,EAAE,cAAc,MAAM,CAAC,IAAI,IAAI,GAAG,CAAC,IAAI,EAAE;iBAChD,CAAC,CAAC;YACL,CAAC;QACH,CAAC;QAED,OAAO,OAAO,CAAC;IACjB,CAAC;IAEO,uBAAuB,CAAC,OAAqB,EAAE,MAAoB,EAAE,MAAc;QACzF,MAAM,IAAI,GAAa,EAAE,CAAC;QAC1B,MAAM,QAAQ,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,UAAU,CAAC,CAAC;QAChE,MAAM,WAAW,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,YAAY,CAAC,UAAU,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;QAE9E,IAAI,MAAM,KAAK,QAAQ,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YAChD,IAAI,CAAC,IAAI,CAAC,mBAAmB,MAAM,yBAAyB,CAAC,CAAC;QAChE,CAAC;aAAM,IAAI,MAAM,KAAK,QAAQ,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACrD,IAAI,CAAC,IAAI,CAAC,cAAc,OAAO,CAAC,MAAM,gCAAgC,MAAM,GAAG,CAAC,CAAC;QACnF,CAAC;QAED,IAAI,MAAM,KAAK,QAAQ,IAAI,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC/C,IAAI,CAAC,IAAI,CAAC,UAAU,QAAQ,CAAC,MAAM,sCAAsC,CAAC,CAAC;QAC7E,CAAC;QAED,IAAI,MAAM,KAAK,QAAQ,EAAE,CAAC;YACxB,MAAM,KAAK,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC;YACrD,IAAI,CAAC,IAAI,CAAC,wBAAwB,KAAK,sBAAsB,CAAC,CAAC;QACjE,CAAC;QAED,IAAI,WAAW,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC3B,MAAM,SAAS,GAAG,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;YAC3D,IAAI,CAAC,IAAI,CAAC,uBAAuB,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QAC3D,CAAC;QAED,IAAI,OAAO,CAAC,MAAM,GAAG,EAAE,EAAE,CAAC;YACxB,IAAI,CAAC,IAAI,CAAC,yDAAyD,CAAC,CAAC;QACvE,CAAC;QAED,OAAO,IAAI,CAAC;IACd,CAAC;IAEO,gBAAgB,CAAC,OAAqB,EAAE,SAAmB;QACjE,MAAM,KAAK,GAA6B,EAAE,QAAQ,EAAE,CAAC,EAAE,IAAI,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC;QACpF,MAAM,cAAc,GAAG,KAAK,CAAC,SAAS,CAAC,CAAC;QACxC,OAAO,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC,QAAQ,CAAC,IAAI,cAAc,CAAC,CAAC;IAClE,CAAC;IAEO,WAAW,CAAC,OAAqB;QACvC,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;QAC/B,OAAO,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE;YACxB,MAAM,GAAG,GAAG,GAAG,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC,MAAM,IAAI,CAAC,CAAC,IAAI,EAAE,CAAC;YAC9C,IAAI,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC;gBAAE,OAAO,KAAK,CAAC;YAChC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;YACd,OAAO,IAAI,CAAC;QACd,CAAC,CAAC,CAAC;IACL,CAAC;IAEO,aAAa,CAAC,QAAkB;QACtC,MAAM,KAAK,GAA6B,EAAE,QAAQ,EAAE,CAAC,EAAE,IAAI,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC;QACpF,OAAO,KAAK,CAAC,QAAQ,CAAC,CAAC;IACzB,CAAC;IAEO,YAAY,CAAC,OAAqB;QACxC,MAAM,OAAO,GAA6B,EAAE,QAAQ,EAAE,CAAC,EAAE,IAAI,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC;QACtF,KAAK,MAAM,CAAC,IAAI,OAAO,EAAE,CAAC;YACxB,OAAO,CAAC,CAAC,CAAC,QAAQ,CAAC,EAAE,CAAC;QACxB,CAAC;QACD,OAAO,OAAO,CAAC;IACjB,CAAC;IAEO,WAAW,CAAC,UAAkB,EAAE,MAAoB;QAC1D,OAAO;YACL,MAAM,EAAE,UAAU;YAClB,MAAM;YACN,WAAW,EAAE,EAAE,OAAO,EAAE,EAAE,QAAQ,EAAE,CAAC,EAAE,IAAI,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,EAAE,aAAa,EAAE,CAAC,EAAE,aAAa,EAAE,CAAC,EAAE,aAAa,EAAE,CAAC,EAAE;YAC3H,OAAO,EAAE,EAAE;YACX,aAAa,EAAE,EAAE;YACjB,eAAe,EAAE,CAAC,WAAW,UAAU,sBAAsB,CAAC;YAC9D,QAAQ,EAAE,EAAE,WAAW,EAAE,CAAC,EAAE,aAAa,EAAE,CAAC,EAAE,SAAS,EAAE,KAAK,EAAE;SACjE,CAAC;IACJ,CAAC;CACF"}

package/dist/engine/graph/index.d.ts

@@ -0,0 +1,12 @@
+/**
+ * Graph module barrel export.
+ * KSA-154: Call Graph, KSA-155: Dependency Graph, KSA-156: Impact Analysis, KSA-157: Traversal API
+ */
+export { SymbolResolver, ResolvedSymbol } from './symbol-resolver.js';
+export { CallGraphService, CallGraphItem, CallGraphResponse } from './call-graph-service.js';
+export { FileResolver } from './file-resolver.js';
+export { DependencyGraphService, DependencyNode, DependencyResult } from './dependency-graph-service.js';
+export { formatDependencyResult, toTreeFormat, toFlatFormat, toGraphFormat } from './dependency-formatters.js';
+export { TestDetector, RelatedTest } from './test-detector.js';
+export { ImpactAnalysisService, ImpactItem, ImpactResult, ImpactAction, Severity } from './impact-analysis-service.js';
+export { GraphTraverser, GraphNode, TraverseConfig, TraverseResultItem, TraverseResponse } from './traverser.js';

package/dist/engine/graph/index.js

@@ -0,0 +1,13 @@
+/**
+ * Graph module barrel export.
+ * KSA-154: Call Graph, KSA-155: Dependency Graph, KSA-156: Impact Analysis, KSA-157: Traversal API
+ */
+export { SymbolResolver } from './symbol-resolver.js';
+export { CallGraphService } from './call-graph-service.js';
+export { FileResolver } from './file-resolver.js';
+export { DependencyGraphService } from './dependency-graph-service.js';
+export { formatDependencyResult, toTreeFormat, toFlatFormat, toGraphFormat } from './dependency-formatters.js';
+export { TestDetector } from './test-detector.js';
+export { ImpactAnalysisService } from './impact-analysis-service.js';
+export { GraphTraverser } from './traverser.js';
+//# sourceMappingURL=index.js.map

package/dist/engine/graph/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../src/engine/graph/index.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH,OAAO,EAAE,cAAc,EAAkB,MAAM,sBAAsB,CAAC;AACtE,OAAO,EAAE,gBAAgB,EAAoC,MAAM,yBAAyB,CAAC;AAC7F,OAAO,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAC;AAClD,OAAO,EAAE,sBAAsB,EAAoC,MAAM,+BAA+B,CAAC;AACzG,OAAO,EAAE,sBAAsB,EAAE,YAAY,EAAE,YAAY,EAAE,aAAa,EAAE,MAAM,4BAA4B,CAAC;AAC/G,OAAO,EAAE,YAAY,EAAe,MAAM,oBAAoB,CAAC;AAC/D,OAAO,EAAE,qBAAqB,EAAoD,MAAM,8BAA8B,CAAC;AACvH,OAAO,EAAE,cAAc,EAAmE,MAAM,gBAAgB,CAAC"}

package/dist/engine/graph/symbol-resolver.d.ts

@@ -0,0 +1,22 @@
+/**
+ * KSA-154: Symbol Resolver — resolves symbol names to database records.
+ * Supports exact match, qualified names (Class.method), and file:symbol format.
+ */
+import Database from 'better-sqlite3';
+export interface ResolvedSymbol {
+    id: number;
+    name: string;
+    kind: string;
+    filePath: string;
+    line: number;
+    parentSymbolId: number | null;
+}
+export declare class SymbolResolver {
+    private db;
+    private stmts;
+    constructor(db: Database.Database);
+    /** Resolve a symbol name to one or more database records. */
+    resolve(input: string): ResolvedSymbol[];
+    /** Suggest similar symbol names for "did you mean?" responses. */
+    suggest(input: string, limit?: number): string[];
+}

package/dist/engine/graph/symbol-resolver.js

@@ -0,0 +1,71 @@
+/**
+ * KSA-154: Symbol Resolver — resolves symbol names to database records.
+ * Supports exact match, qualified names (Class.method), and file:symbol format.
+ */
+export class SymbolResolver {
+    db;
+    stmts;
+    constructor(db) {
+        this.db = db;
+        this.stmts = {
+            exactMatch: db.prepare(`
+        SELECT s.id, s.name, s.kind, f.relative_path as filePath, s.start_line as line, s.parent_symbol_id as parentSymbolId
+        FROM symbols s
+        JOIN files f ON s.file_id = f.id
+        WHERE s.name = ?
+        ORDER BY s.start_line ASC
+      `),
+            qualifiedMatch: db.prepare(`
+        SELECT s.id, s.name, s.kind, f.relative_path as filePath, s.start_line as line, s.parent_symbol_id as parentSymbolId
+        FROM symbols s
+        JOIN files f ON s.file_id = f.id
+        JOIN symbols p ON p.id = s.parent_symbol_id
+        WHERE s.name = ? AND p.name = ?
+      `),
+            fileMatch: db.prepare(`
+        SELECT s.id, s.name, s.kind, f.relative_path as filePath, s.start_line as line, s.parent_symbol_id as parentSymbolId
+        FROM symbols s
+        JOIN files f ON s.file_id = f.id
+        WHERE s.name = ? AND f.relative_path LIKE ?
+      `),
+            fuzzyMatch: db.prepare(`
+        SELECT DISTINCT s.name
+        FROM symbols s
+        WHERE s.name LIKE ?
+        LIMIT ?
+      `),
+        };
+    }
+    /** Resolve a symbol name to one or more database records. */
+    resolve(input) {
+        // Strategy 1: Exact match
+        let results = this.stmts.exactMatch.all(input);
+        if (results.length > 0)
+            return results;
+        // Strategy 2: Qualified name (Class.method)
+        if (input.includes('.')) {
+            const dotIndex = input.lastIndexOf('.');
+            const parent = input.substring(0, dotIndex);
+            const method = input.substring(dotIndex + 1);
+            results = this.stmts.qualifiedMatch.all(method, parent);
+            if (results.length > 0)
+                return results;
+        }
+        // Strategy 3: file:symbol format
+        if (input.includes(':')) {
+            const colonIndex = input.lastIndexOf(':');
+            const file = input.substring(0, colonIndex);
+            const name = input.substring(colonIndex + 1);
+            results = this.stmts.fileMatch.all(name, `%${file}%`);
+            if (results.length > 0)
+                return results;
+        }
+        return [];
+    }
+    /** Suggest similar symbol names for "did you mean?" responses. */
+    suggest(input, limit = 5) {
+        const rows = this.stmts.fuzzyMatch.all(`%${input}%`, limit);
+        return rows.map(r => r.name);
+    }
+}
+//# sourceMappingURL=symbol-resolver.js.map

package/dist/engine/graph/symbol-resolver.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"symbol-resolver.js","sourceRoot":"","sources":["../../../src/engine/graph/symbol-resolver.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAaH,MAAM,OAAO,cAAc;IACjB,EAAE,CAAoB;IACtB,KAAK,CAKX;IAEF,YAAY,EAAqB;QAC/B,IAAI,CAAC,EAAE,GAAG,EAAE,CAAC;QACb,IAAI,CAAC,KAAK,GAAG;YACX,UAAU,EAAE,EAAE,CAAC,OAAO,CAAC;;;;;;OAMtB,CAAC;YACF,cAAc,EAAE,EAAE,CAAC,OAAO,CAAC;;;;;;OAM1B,CAAC;YACF,SAAS,EAAE,EAAE,CAAC,OAAO,CAAC;;;;;OAKrB,CAAC;YACF,UAAU,EAAE,EAAE,CAAC,OAAO,CAAC;;;;;OAKtB,CAAC;SACH,CAAC;IACJ,CAAC;IAED,6DAA6D;IAC7D,OAAO,CAAC,KAAa;QACnB,0BAA0B;QAC1B,IAAI,OAAO,GAAG,IAAI,CAAC,KAAK,CAAC,UAAU,CAAC,GAAG,CAAC,KAAK,CAAqB,CAAC;QACnE,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC;YAAE,OAAO,OAAO,CAAC;QAEvC,4CAA4C;QAC5C,IAAI,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC;YACxB,MAAM,QAAQ,GAAG,KAAK,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC;YACxC,MAAM,MAAM,GAAG,KAAK,CAAC,SAAS,CAAC,CAAC,EAAE,QAAQ,CAAC,CAAC;YAC5C,MAAM,MAAM,GAAG,KAAK,CAAC,SAAS,CAAC,QAAQ,GAAG,CAAC,CAAC,CAAC;YAC7C,OAAO,GAAG,IAAI,CAAC,KAAK,CAAC,cAAc,CAAC,GAAG,CAAC,MAAM,EAAE,MAAM,CAAqB,CAAC;YAC5E,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC;gBAAE,OAAO,OAAO,CAAC;QACzC,CAAC;QAED,iCAAiC;QACjC,IAAI,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC;YACxB,MAAM,UAAU,GAAG,KAAK,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC;YAC1C,MAAM,IAAI,GAAG,KAAK,CAAC,SAAS,CAAC,CAAC,EAAE,UAAU,CAAC,CAAC;YAC5C,MAAM,IAAI,GAAG,KAAK,CAAC,SAAS,CAAC,UAAU,GAAG,CAAC,CAAC,CAAC;YAC7C,OAAO,GAAG,IAAI,CAAC,KAAK,CAAC,SAAS,CAAC,GAAG,CAAC,IAAI,EAAE,IAAI,IAAI,GAAG,CAAqB,CAAC;YAC1E,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC;gBAAE,OAAO,OAAO,CAAC;QACzC,CAAC;QAED,OAAO,EAAE,CAAC;IACZ,CAAC;IAED,kEAAkE;IAClE,OAAO,CAAC,KAAa,EAAE,QAAgB,CAAC;QACtC,MAAM,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,KAAK,GAAG,EAAE,KAAK,CAAuB,CAAC;QAClF,OAAO,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;IAC/B,CAAC;CACF"}

package/dist/engine/graph/test-detector.d.ts

@@ -0,0 +1,19 @@
+/**
+ * KSA-156: Test Detector - identifies test files and finds related tests for symbols.
+ */
+import Database from 'better-sqlite3';
+import { ResolvedSymbol } from './symbol-resolver.js';
+export interface RelatedTest {
+    file: string;
+    reason: string;
+}
+export declare class TestDetector {
+    private db;
+    private static readonly TEST_PATH_PATTERNS;
+    private static readonly TEST_FILE_PATTERNS;
+    constructor(db: Database.Database);
+    /** Check if a file path is a test file. */
+    isTestFile(filePath: string): boolean;
+    /** Find test files related to the given symbols and impacts. */
+    findRelatedTests(symbols: ResolvedSymbol[], impactFiles: string[]): RelatedTest[];
+}

package/dist/engine/graph/test-detector.js

@@ -0,0 +1,56 @@
+/**
+ * KSA-156: Test Detector - identifies test files and finds related tests for symbols.
+ */
+import * as path from 'path';
+export class TestDetector {
+    db;
+    static TEST_PATH_PATTERNS = [
+        /\/tests?\//i,
+        /\/__tests__\//,
+        /\/spec\//i,
+    ];
+    static TEST_FILE_PATTERNS = [
+        /\.test\.[tj]sx?$/,
+        /\.spec\.[tj]sx?$/,
+        /Test\.kt$/,
+        /_test\.py$/,
+        /^test_.*\.py$/,
+    ];
+    constructor(db) {
+        this.db = db;
+    }
+    /** Check if a file path is a test file. */
+    isTestFile(filePath) {
+        const basename = path.basename(filePath);
+        return TestDetector.TEST_PATH_PATTERNS.some(p => p.test(filePath)) ||
+            TestDetector.TEST_FILE_PATTERNS.some(p => p.test(basename));
+    }
+    /** Find test files related to the given symbols and impacts. */
+    findRelatedTests(symbols, impactFiles) {
+        const results = [];
+        const seen = new Set();
+        for (const sym of symbols) {
+            const sourceBasename = path.basename(sym.filePath, path.extname(sym.filePath));
+            // Find test files that import the source file
+            const testFiles = this.db.prepare(`
+        SELECT DISTINCT file_path FROM relationships
+        WHERE kind = 'imports' AND target_symbol LIKE ?
+      `).all(`%${sourceBasename}%`);
+            for (const tf of testFiles) {
+                if (this.isTestFile(tf.file_path) && !seen.has(tf.file_path)) {
+                    seen.add(tf.file_path);
+                    results.push({ file: tf.file_path, reason: `Tests ${sym.name}` });
+                }
+            }
+        }
+        // Check if any impact targets are in test files
+        for (const file of impactFiles) {
+            if (this.isTestFile(file) && !seen.has(file)) {
+                seen.add(file);
+                results.push({ file, reason: 'Calls modified symbol' });
+            }
+        }
+        return results;
+    }
+}
+//# sourceMappingURL=test-detector.js.map

package/dist/engine/graph/test-detector.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"test-detector.js","sourceRoot":"","sources":["../../../src/engine/graph/test-detector.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,KAAK,IAAI,MAAM,MAAM,CAAC;AAS7B,MAAM,OAAO,YAAY;IACf,EAAE,CAAoB;IAEtB,MAAM,CAAU,kBAAkB,GAAG;QAC3C,aAAa;QACb,eAAe;QACf,WAAW;KACZ,CAAC;IAEM,MAAM,CAAU,kBAAkB,GAAG;QAC3C,kBAAkB;QAClB,kBAAkB;QAClB,WAAW;QACX,YAAY;QACZ,eAAe;KAChB,CAAC;IAEF,YAAY,EAAqB;QAC/B,IAAI,CAAC,EAAE,GAAG,EAAE,CAAC;IACf,CAAC;IAED,2CAA2C;IAC3C,UAAU,CAAC,QAAgB;QACzB,MAAM,QAAQ,GAAG,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC;QACzC,OAAO,YAAY,CAAC,kBAAkB,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;YAC3D,YAAY,CAAC,kBAAkB,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC;IACrE,CAAC;IAED,gEAAgE;IAChE,gBAAgB,CACd,OAAyB,EACzB,WAAqB;QAErB,MAAM,OAAO,GAAkB,EAAE,CAAC;QAClC,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;QAE/B,KAAK,MAAM,GAAG,IAAI,OAAO,EAAE,CAAC;YAC1B,MAAM,cAAc,GAAG,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,QAAQ,EAAE,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC;YAE/E,8CAA8C;YAC9C,MAAM,SAAS,GAAG,IAAI,CAAC,EAAE,CAAC,OAAO,CAAC;;;OAGjC,CAAC,CAAC,GAAG,CAAC,IAAI,cAAc,GAAG,CAA4B,CAAC;YAEzD,KAAK,MAAM,EAAE,IAAI,SAAS,EAAE,CAAC;gBAC3B,IAAI,IAAI,CAAC,UAAU,CAAC,EAAE,CAAC,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,SAAS,CAAC,EAAE,CAAC;oBAC7D,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,SAAS,CAAC,CAAC;oBACvB,OAAO,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,EAAE,CAAC,SAAS,EAAE,MAAM,EAAE,SAAS,GAAG,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;gBACpE,CAAC;YACH,CAAC;QACH,CAAC;QAED,gDAAgD;QAChD,KAAK,MAAM,IAAI,IAAI,WAAW,EAAE,CAAC;YAC/B,IAAI,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;gBAC7C,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;gBACf,OAAO,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,uBAAuB,EAAE,CAAC,CAAC;YAC1D,CAAC;QACH,CAAC;QAED,OAAO,OAAO,CAAC;IACjB,CAAC"}

package/dist/engine/graph/traverser.d.ts

@@ -0,0 +1,65 @@
+/**
+ * KSA-157: Graph Traverser - generic BFS/DFS engine with edge/node type filtering.
+ * Provides the core traversal logic for the code_traverse MCP tool.
+ */
+import Database from 'better-sqlite3';
+import { SymbolResolver } from './symbol-resolver.js';
+export interface GraphNode {
+    id: number;
+    name: string;
+    kind: string;
+    filePath: string;
+    startLine: number;
+    _incomingEdgeType?: string;
+}
+export interface TraverseConfig {
+    edgeTypes: string[];
+    nodeTypes: string[];
+    direction: 'outgoing' | 'incoming' | 'both';
+    maxDepth: number;
+    maxResults: number;
+}
+export interface TraverseResultItem {
+    node: GraphNode;
+    depth: number;
+    path: string[];
+    edgeType: string;
+}
+export interface TraverseResponse {
+    start: {
+        name: string;
+        kind: string;
+        file: string;
+        line: number;
+    };
+    results: Array<{
+        name: string;
+        kind: string;
+        file: string;
+        line: number;
+        depth: number;
+        edge_type: string;
+        source?: string;
+    }>;
+    metadata: {
+        total_traversed: number;
+        total_results: number;
+        max_depth_reached: number;
+        truncated: boolean;
+        execution_time_ms: number;
+    };
+}
+export declare class GraphTraverser {
+    private db;
+    private resolver;
+    private workspace;
+    constructor(db: Database.Database, resolver: SymbolResolver, workspace: string);
+    /** Resolve a symbol identifier to a graph node. */
+    resolveNode(identifier: string): GraphNode | null;
+    /** BFS traversal from a start node with edge/node type filters. */
+    traverse(startNode: GraphNode, config: TraverseConfig): TraverseResultItem[];
+    /** Format traversal results into the MCP response format. */
+    formatResponse(startNode: GraphNode, results: TraverseResultItem[], includeSource: boolean, sourceLines: number, executionTimeMs: number): TraverseResponse;
+    private getNeighbors;
+    private getSourceSnippet;
+}