@oddessentials/odd-ai-reviewers 1.0.0

package/dist/agents/control_flow/budget.js

@@ -0,0 +1,331 @@
+/**
+ * Analysis Budget Management
+ *
+ * Tracks time and size limits during control flow analysis.
+ * Implements FR-018 (time budget), FR-019 (size budget), FR-020 (degraded mode),
+ * and FR-021 (graceful termination).
+ *
+ * Tasks: T061-T066
+ */
+import { getLogger } from './logger.js';
+/**
+ * Default budget configuration per FR-018, FR-019, FR-003
+ */
+export const DEFAULT_BUDGET_CONFIG = {
+    maxDurationMs: 300_000, // 5 minutes
+    maxLinesChanged: 10_000,
+    maxCallDepth: 5,
+    maxNodesVisited: 10_000,
+};
+/**
+ * Patterns for determining file priority.
+ * High priority: security-sensitive files (always analyze)
+ * Medium priority: business logic (analyze if budget allows)
+ * Low priority: tests, config (skip in degraded mode)
+ */
+export const FILE_PRIORITY_PATTERNS = {
+    high: [
+        /[/\\](auth|security|middleware)[/\\]/,
+        /[/\\](handlers|controllers)[/\\]/,
+        /[/\\]api[/\\]/,
+        /[/\\](database|db)[/\\]/,
+        /sanitize|validate|escape/i,
+    ],
+    medium: [/[/\\](services|utils)[/\\]/, /[/\\](models|entities)[/\\]/, /[/\\](helpers|lib)[/\\]/],
+    low: [
+        /[/\\]__tests__[/\\]/,
+        /\.test\./,
+        /\.spec\./,
+        /^(scripts|tools)[/\\]/,
+        /[/\\](scripts|tools)[/\\]/,
+        /[/\\](types|interfaces)[/\\]/,
+        /[/\\](constants|config)[/\\]/,
+    ],
+};
+/**
+ * Determine the priority of a file based on its path.
+ */
+export function getFilePriority(filePath) {
+    // Check low priority first (tests should always be low)
+    for (const pattern of FILE_PRIORITY_PATTERNS.low) {
+        if (pattern.test(filePath)) {
+            return 'low';
+        }
+    }
+    // Check high priority
+    for (const pattern of FILE_PRIORITY_PATTERNS.high) {
+        if (pattern.test(filePath)) {
+            return 'high';
+        }
+    }
+    // Check medium priority
+    for (const pattern of FILE_PRIORITY_PATTERNS.medium) {
+        if (pattern.test(filePath)) {
+            return 'medium';
+        }
+    }
+    // Default to medium
+    return 'medium';
+}
+/**
+ * Analysis Budget Manager
+ *
+ * Tracks resource consumption and triggers degraded mode when limits approach.
+ * Ensures deterministic behavior: same input always produces same degradation.
+ */
+export class AnalysisBudget {
+    startTime;
+    config;
+    linesAnalyzed = 0;
+    filesAnalyzed = 0;
+    filesSkipped = 0;
+    currentDepth = 0;
+    _status = 'ok';
+    degradedAt = null;
+    log = [];
+    logger;
+    constructor(config = {}, logger) {
+        this.startTime = Date.now();
+        this.config = { ...DEFAULT_BUDGET_CONFIG, ...config };
+        this.logger = logger ?? getLogger();
+    }
+    /**
+     * Get current budget status
+     */
+    get status() {
+        return this._status;
+    }
+    /**
+     * Check if analysis is in degraded mode
+     */
+    get isDegraded() {
+        return (this._status === 'warning' || this._status === 'exceeded' || this._status === 'terminated');
+    }
+    /**
+     * Get effective max call depth (reduced in degraded mode)
+     */
+    get effectiveMaxCallDepth() {
+        // Per FR-020: reduce call depth to 3 in degraded mode
+        return this.isDegraded ? Math.min(3, this.config.maxCallDepth) : this.config.maxCallDepth;
+    }
+    /**
+     * Get elapsed time in milliseconds
+     */
+    get elapsedMs() {
+        return Date.now() - this.startTime;
+    }
+    /**
+     * Get time remaining before budget exceeded
+     */
+    get remainingMs() {
+        return Math.max(0, this.config.maxDurationMs - this.elapsedMs);
+    }
+    /**
+     * Get percentage of time budget consumed
+     */
+    get timePercentUsed() {
+        return (this.elapsedMs / this.config.maxDurationMs) * 100;
+    }
+    /**
+     * Get percentage of size budget consumed
+     */
+    get sizePercentUsed() {
+        return (this.linesAnalyzed / this.config.maxLinesChanged) * 100;
+    }
+    /**
+     * Get analysis statistics
+     */
+    get stats() {
+        return {
+            linesAnalyzed: this.linesAnalyzed,
+            filesAnalyzed: this.filesAnalyzed,
+            filesSkipped: this.filesSkipped,
+            elapsedMs: this.elapsedMs,
+            status: this._status,
+            degraded: this.isDegraded,
+            timePercentUsed: this.timePercentUsed,
+            sizePercentUsed: this.sizePercentUsed,
+        };
+    }
+    /**
+     * Check if a file should be analyzed based on priority and budget status.
+     * Per FR-020: Skip low-priority files in degraded mode.
+     */
+    shouldAnalyzeFile(filePath) {
+        // Always check budget first
+        this.checkBudget();
+        // If terminated, don't analyze anything
+        if (this._status === 'terminated') {
+            this.filesSkipped++;
+            this.logger.logBudgetExceeded('size');
+            return false;
+        }
+        // If not degraded, analyze everything
+        if (!this.isDegraded) {
+            return true;
+        }
+        // In degraded mode, skip low priority files
+        const priority = getFilePriority(filePath);
+        if (priority === 'low') {
+            this.filesSkipped++;
+            this.addLog('info', `Skipping low-priority file in degraded mode: ${filePath}`, {
+                priority,
+                status: this._status,
+            });
+            return false;
+        }
+        return true;
+    }
+    /**
+     * Sort files by priority for analysis order.
+     * High priority files are analyzed first.
+     */
+    sortFilesByPriority(files) {
+        const priorityOrder = {
+            high: 0,
+            medium: 1,
+            low: 2,
+        };
+        return [...files].sort((a, b) => {
+            const priorityA = priorityOrder[getFilePriority(a.path)];
+            const priorityB = priorityOrder[getFilePriority(b.path)];
+            return priorityA - priorityB;
+        });
+    }
+    /**
+     * Get the analysis log
+     */
+    get analysisLog() {
+        return [...this.log];
+    }
+    /**
+     * Record analysis of a file
+     */
+    recordFile(lineCount, _filePath) {
+        this.linesAnalyzed += lineCount;
+        this.filesAnalyzed++;
+        // Log budget usage periodically (every 10 files)
+        if (this.filesAnalyzed % 10 === 0) {
+            this.logger.logBudgetUsage('size', this.linesAnalyzed, this.config.maxLinesChanged);
+            this.logger.logBudgetUsage('time', this.elapsedMs, this.config.maxDurationMs);
+        }
+        this.checkBudget();
+    }
+    /**
+     * Set current call depth for inter-procedural analysis
+     */
+    setCallDepth(depth) {
+        this.currentDepth = depth;
+    }
+    /**
+     * Check if we can go deeper in call analysis
+     */
+    canGoDeeper() {
+        return this.currentDepth < this.effectiveMaxCallDepth && this._status !== 'terminated';
+    }
+    /**
+     * Check budget status and update if needed
+     * Returns the current status after check
+     */
+    checkBudget() {
+        if (this._status === 'terminated') {
+            return this._status;
+        }
+        const timePercent = this.timePercentUsed;
+        const sizePercent = this.sizePercentUsed;
+        // Check for termination (100% of either budget)
+        if (timePercent >= 100 || sizePercent >= 100) {
+            this.transitionTo('terminated');
+            return this._status;
+        }
+        // Check for exceeded (approaching limit)
+        if (timePercent >= 90 || sizePercent >= 90) {
+            if (this._status !== 'exceeded') {
+                this.transitionTo('exceeded');
+            }
+            return this._status;
+        }
+        // Check for warning (80% threshold per FR-020)
+        if (timePercent >= 80 || sizePercent >= 80) {
+            if (this._status === 'ok') {
+                this.transitionTo('warning');
+            }
+            return this._status;
+        }
+        return this._status;
+    }
+    /**
+     * Transition to a new budget status
+     */
+    transitionTo(newStatus) {
+        const oldStatus = this._status;
+        this._status = newStatus;
+        if (newStatus === 'warning' || newStatus === 'exceeded') {
+            if (this.degradedAt === null) {
+                this.degradedAt = Date.now();
+            }
+            // Log budget warning
+            const budgetType = this.timePercentUsed >= this.sizePercentUsed ? 'time' : 'size';
+            const percent = Math.max(this.timePercentUsed, this.sizePercentUsed);
+            this.logger.logBudgetWarning(budgetType, percent);
+        }
+        if (newStatus === 'terminated') {
+            const budgetType = this.timePercentUsed >= 100 ? 'time' : 'size';
+            this.logger.logBudgetExceeded(budgetType);
+        }
+        this.addLog('info', `Budget status changed: ${oldStatus} -> ${newStatus}`, {
+            timePercent: this.timePercentUsed.toFixed(1),
+            sizePercent: this.sizePercentUsed.toFixed(1),
+            effectiveCallDepth: this.effectiveMaxCallDepth,
+        });
+    }
+    /**
+     * Add an entry to the analysis log
+     */
+    addLog(level, message, context) {
+        this.log.push({
+            timestamp: Date.now(),
+            level,
+            message,
+            context,
+        });
+    }
+    /**
+     * Check if analysis should continue
+     * Returns false if budget is terminated
+     */
+    shouldContinue() {
+        this.checkBudget();
+        return this._status !== 'terminated';
+    }
+    /**
+     * Get reason for degradation (if degraded)
+     */
+    getDegradedReason() {
+        if (!this.isDegraded && this._status !== 'terminated') {
+            return undefined;
+        }
+        const reasons = [];
+        if (this.timePercentUsed >= 80) {
+            reasons.push(`time budget ${this.timePercentUsed.toFixed(0)}% consumed`);
+        }
+        if (this.sizePercentUsed >= 80) {
+            reasons.push(`size budget ${this.sizePercentUsed.toFixed(0)}% consumed`);
+        }
+        if (reasons.length === 0) {
+            return 'budget limits approached';
+        }
+        return reasons.join(', ');
+    }
+    /**
+     * Create a snapshot of current budget state for finding metadata
+     */
+    toFindingMetadata() {
+        return {
+            analysisDepth: this.currentDepth,
+            degraded: this.isDegraded,
+            degradedReason: this.getDegradedReason(),
+        };
+    }
+}
+//# sourceMappingURL=budget.js.map

package/dist/agents/control_flow/budget.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"budget.js","sourceRoot":"","sources":["../../../src/agents/control_flow/budget.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAGH,OAAO,EAAE,SAAS,EAAuB,MAAM,aAAa,CAAC;AAgB7D;;GAEG;AACH,MAAM,CAAC,MAAM,qBAAqB,GAAiB;IACjD,aAAa,EAAE,OAAO,EAAE,YAAY;IACpC,eAAe,EAAE,MAAM;IACvB,YAAY,EAAE,CAAC;IACf,eAAe,EAAE,MAAM;CACxB,CAAC;AAOF;;;;;GAKG;AACH,MAAM,CAAC,MAAM,sBAAsB,GAAmC;IACpE,IAAI,EAAE;QACJ,sCAAsC;QACtC,kCAAkC;QAClC,eAAe;QACf,yBAAyB;QACzB,2BAA2B;KAC5B;IACD,MAAM,EAAE,CAAC,4BAA4B,EAAE,6BAA6B,EAAE,yBAAyB,CAAC;IAChG,GAAG,EAAE;QACH,qBAAqB;QACrB,UAAU;QACV,UAAU;QACV,uBAAuB;QACvB,2BAA2B;QAC3B,8BAA8B;QAC9B,8BAA8B;KAC/B;CACF,CAAC;AAEF;;GAEG;AACH,MAAM,UAAU,eAAe,CAAC,QAAgB;IAC9C,wDAAwD;IACxD,KAAK,MAAM,OAAO,IAAI,sBAAsB,CAAC,GAAG,EAAE,CAAC;QACjD,IAAI,OAAO,CAAC,IAAI,CAAC,QAAQ,CAAC,EAAE,CAAC;YAC3B,OAAO,KAAK,CAAC;QACf,CAAC;IACH,CAAC;IAED,sBAAsB;IACtB,KAAK,MAAM,OAAO,IAAI,sBAAsB,CAAC,IAAI,EAAE,CAAC;QAClD,IAAI,OAAO,CAAC,IAAI,CAAC,QAAQ,CAAC,EAAE,CAAC;YAC3B,OAAO,MAAM,CAAC;QAChB,CAAC;IACH,CAAC;IAED,wBAAwB;IACxB,KAAK,MAAM,OAAO,IAAI,sBAAsB,CAAC,MAAM,EAAE,CAAC;QACpD,IAAI,OAAO,CAAC,IAAI,CAAC,QAAQ,CAAC,EAAE,CAAC;YAC3B,OAAO,QAAQ,CAAC;QAClB,CAAC;IACH,CAAC;IAED,oBAAoB;IACpB,OAAO,QAAQ,CAAC;AAClB,CAAC;AAED;;;;;GAKG;AACH,MAAM,OAAO,cAAc;IACR,SAAS,CAAS;IAClB,MAAM,CAAe;IAC9B,aAAa,GAAG,CAAC,CAAC;IAClB,aAAa,GAAG,CAAC,CAAC;IAClB,YAAY,GAAG,CAAC,CAAC;IACjB,YAAY,GAAG,CAAC,CAAC;IACjB,OAAO,GAAiB,IAAI,CAAC;IAC7B,UAAU,GAAkB,IAAI,CAAC;IACxB,GAAG,GAAuB,EAAE,CAAC;IAC7B,MAAM,CAAiB;IAExC,YAAY,SAAgC,EAAE,EAAE,MAAuB;QACrE,IAAI,CAAC,SAAS,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;QAC5B,IAAI,CAAC,MAAM,GAAG,EAAE,GAAG,qBAAqB,EAAE,GAAG,MAAM,EAAE,CAAC;QACtD,IAAI,CAAC,MAAM,GAAG,MAAM,IAAI,SAAS,EAAE,CAAC;IACtC,CAAC;IAED;;OAEG;IACH,IAAI,MAAM;QACR,OAAO,IAAI,CAAC,OAAO,CAAC;IACtB,CAAC;IAED;;OAEG;IACH,IAAI,UAAU;QACZ,OAAO,CACL,IAAI,CAAC,OAAO,KAAK,SAAS,IAAI,IAAI,CAAC,OAAO,KAAK,UAAU,IAAI,IAAI,CAAC,OAAO,KAAK,YAAY,CAC3F,CAAC;IACJ,CAAC;IAED;;OAEG;IACH,IAAI,qBAAqB;QACvB,sDAAsD;QACtD,OAAO,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,MAAM,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,YAAY,CAAC;IAC5F,CAAC;IAED;;OAEG;IACH,IAAI,SAAS;QACX,OAAO,IAAI,CAAC,GAAG,EAAE,GAAG,IAAI,CAAC,SAAS,CAAC;IACrC,CAAC;IAED;;OAEG;IACH,IAAI,WAAW;QACb,OAAO,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,MAAM,CAAC,aAAa,GAAG,IAAI,CAAC,SAAS,CAAC,CAAC;IACjE,CAAC;IAED;;OAEG;IACH,IAAI,eAAe;QACjB,OAAO,CAAC,IAAI,CAAC,SAAS,GAAG,IAAI,CAAC,MAAM,CAAC,aAAa,CAAC,GAAG,GAAG,CAAC;IAC5D,CAAC;IAED;;OAEG;IACH,IAAI,eAAe;QACjB,OAAO,CAAC,IAAI,CAAC,aAAa,GAAG,IAAI,CAAC,MAAM,CAAC,eAAe,CAAC,GAAG,GAAG,CAAC;IAClE,CAAC;IAED;;OAEG;IACH,IAAI,KAAK;QAUP,OAAO;YACL,aAAa,EAAE,IAAI,CAAC,aAAa;YACjC,aAAa,EAAE,IAAI,CAAC,aAAa;YACjC,YAAY,EAAE,IAAI,CAAC,YAAY;YAC/B,SAAS,EAAE,IAAI,CAAC,SAAS;YACzB,MAAM,EAAE,IAAI,CAAC,OAAO;YACpB,QAAQ,EAAE,IAAI,CAAC,UAAU;YACzB,eAAe,EAAE,IAAI,CAAC,eAAe;YACrC,eAAe,EAAE,IAAI,CAAC,eAAe;SACtC,CAAC;IACJ,CAAC;IAED;;;OAGG;IACH,iBAAiB,CAAC,QAAgB;QAChC,4BAA4B;QAC5B,IAAI,CAAC,WAAW,EAAE,CAAC;QAEnB,wCAAwC;QACxC,IAAI,IAAI,CAAC,OAAO,KAAK,YAAY,EAAE,CAAC;YAClC,IAAI,CAAC,YAAY,EAAE,CAAC;YACpB,IAAI,CAAC,MAAM,CAAC,iBAAiB,CAAC,MAAM,CAAC,CAAC;YACtC,OAAO,KAAK,CAAC;QACf,CAAC;QAED,sCAAsC;QACtC,IAAI,CAAC,IAAI,CAAC,UAAU,EAAE,CAAC;YACrB,OAAO,IAAI,CAAC;QACd,CAAC;QAED,4CAA4C;QAC5C,MAAM,QAAQ,GAAG,eAAe,CAAC,QAAQ,CAAC,CAAC;QAC3C,IAAI,QAAQ,KAAK,KAAK,EAAE,CAAC;YACvB,IAAI,CAAC,YAAY,EAAE,CAAC;YACpB,IAAI,CAAC,MAAM,CAAC,MAAM,EAAE,gDAAgD,QAAQ,EAAE,EAAE;gBAC9E,QAAQ;gBACR,MAAM,EAAE,IAAI,CAAC,OAAO;aACrB,CAAC,CAAC;YACH,OAAO,KAAK,CAAC;QACf,CAAC;QAED,OAAO,IAAI,CAAC;IACd,CAAC;IAED;;;OAGG;IACH,mBAAmB,CAA6B,KAAU;QACxD,MAAM,aAAa,GAAiC;YAClD,IAAI,EAAE,CAAC;YACP,MAAM,EAAE,CAAC;YACT,GAAG,EAAE,CAAC;SACP,CAAC;QAEF,OAAO,CAAC,GAAG,KAAK,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE;YAC9B,MAAM,SAAS,GAAG,aAAa,CAAC,eAAe,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;YACzD,MAAM,SAAS,GAAG,aAAa,CAAC,eAAe,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;YACzD,OAAO,SAAS,GAAG,SAAS,CAAC;QAC/B,CAAC,CAAC,CAAC;IACL,CAAC;IAED;;OAEG;IACH,IAAI,WAAW;QACb,OAAO,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC;IACvB,CAAC;IAED;;OAEG;IACH,UAAU,CAAC,SAAiB,EAAE,SAAkB;QAC9C,IAAI,CAAC,aAAa,IAAI,SAAS,CAAC;QAChC,IAAI,CAAC,aAAa,EAAE,CAAC;QAErB,iDAAiD;QACjD,IAAI,IAAI,CAAC,aAAa,GAAG,EAAE,KAAK,CAAC,EAAE,CAAC;YAClC,IAAI,CAAC,MAAM,CAAC,cAAc,CAAC,MAAM,EAAE,IAAI,CAAC,aAAa,EAAE,IAAI,CAAC,MAAM,CAAC,eAAe,CAAC,CAAC;YACpF,IAAI,CAAC,MAAM,CAAC,cAAc,CAAC,MAAM,EAAE,IAAI,CAAC,SAAS,EAAE,IAAI,CAAC,MAAM,CAAC,aAAa,CAAC,CAAC;QAChF,CAAC;QAED,IAAI,CAAC,WAAW,EAAE,CAAC;IACrB,CAAC;IAED;;OAEG;IACH,YAAY,CAAC,KAAa;QACxB,IAAI,CAAC,YAAY,GAAG,KAAK,CAAC;IAC5B,CAAC;IAED;;OAEG;IACH,WAAW;QACT,OAAO,IAAI,CAAC,YAAY,GAAG,IAAI,CAAC,qBAAqB,IAAI,IAAI,CAAC,OAAO,KAAK,YAAY,CAAC;IACzF,CAAC;IAED;;;OAGG;IACH,WAAW;QACT,IAAI,IAAI,CAAC,OAAO,KAAK,YAAY,EAAE,CAAC;YAClC,OAAO,IAAI,CAAC,OAAO,CAAC;QACtB,CAAC;QAED,MAAM,WAAW,GAAG,IAAI,CAAC,eAAe,CAAC;QACzC,MAAM,WAAW,GAAG,IAAI,CAAC,eAAe,CAAC;QAEzC,gDAAgD;QAChD,IAAI,WAAW,IAAI,GAAG,IAAI,WAAW,IAAI,GAAG,EAAE,CAAC;YAC7C,IAAI,CAAC,YAAY,CAAC,YAAY,CAAC,CAAC;YAChC,OAAO,IAAI,CAAC,OAAO,CAAC;QACtB,CAAC;QAED,yCAAyC;QACzC,IAAI,WAAW,IAAI,EAAE,IAAI,WAAW,IAAI,EAAE,EAAE,CAAC;YAC3C,IAAI,IAAI,CAAC,OAAO,KAAK,UAAU,EAAE,CAAC;gBAChC,IAAI,CAAC,YAAY,CAAC,UAAU,CAAC,CAAC;YAChC,CAAC;YACD,OAAO,IAAI,CAAC,OAAO,CAAC;QACtB,CAAC;QAED,+CAA+C;QAC/C,IAAI,WAAW,IAAI,EAAE,IAAI,WAAW,IAAI,EAAE,EAAE,CAAC;YAC3C,IAAI,IAAI,CAAC,OAAO,KAAK,IAAI,EAAE,CAAC;gBAC1B,IAAI,CAAC,YAAY,CAAC,SAAS,CAAC,CAAC;YAC/B,CAAC;YACD,OAAO,IAAI,CAAC,OAAO,CAAC;QACtB,CAAC;QAED,OAAO,IAAI,CAAC,OAAO,CAAC;IACtB,CAAC;IAED;;OAEG;IACK,YAAY,CAAC,SAAuB;QAC1C,MAAM,SAAS,GAAG,IAAI,CAAC,OAAO,CAAC;QAC/B,IAAI,CAAC,OAAO,GAAG,SAAS,CAAC;QAEzB,IAAI,SAAS,KAAK,SAAS,IAAI,SAAS,KAAK,UAAU,EAAE,CAAC;YACxD,IAAI,IAAI,CAAC,UAAU,KAAK,IAAI,EAAE,CAAC;gBAC7B,IAAI,CAAC,UAAU,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;YAC/B,CAAC;YACD,qBAAqB;YACrB,MAAM,UAAU,GAAG,IAAI,CAAC,eAAe,IAAI,IAAI,CAAC,eAAe,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC;YAClF,MAAM,OAAO,GAAG,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,eAAe,EAAE,IAAI,CAAC,eAAe,CAAC,CAAC;YACrE,IAAI,CAAC,MAAM,CAAC,gBAAgB,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC;QACpD,CAAC;QAED,IAAI,SAAS,KAAK,YAAY,EAAE,CAAC;YAC/B,MAAM,UAAU,GAAG,IAAI,CAAC,eAAe,IAAI,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC;YACjE,IAAI,CAAC,MAAM,CAAC,iBAAiB,CAAC,UAAU,CAAC,CAAC;QAC5C,CAAC;QAED,IAAI,CAAC,MAAM,CAAC,MAAM,EAAE,0BAA0B,SAAS,OAAO,SAAS,EAAE,EAAE;YACzE,WAAW,EAAE,IAAI,CAAC,eAAe,CAAC,OAAO,CAAC,CAAC,CAAC;YAC5C,WAAW,EAAE,IAAI,CAAC,eAAe,CAAC,OAAO,CAAC,CAAC,CAAC;YAC5C,kBAAkB,EAAE,IAAI,CAAC,qBAAqB;SAC/C,CAAC,CAAC;IACL,CAAC;IAED;;OAEG;IACH,MAAM,CACJ,KAAgC,EAChC,OAAe,EACf,OAAiC;QAEjC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC;YACZ,SAAS,EAAE,IAAI,CAAC,GAAG,EAAE;YACrB,KAAK;YACL,OAAO;YACP,OAAO;SACR,CAAC,CAAC;IACL,CAAC;IAED;;;OAGG;IACH,cAAc;QACZ,IAAI,CAAC,WAAW,EAAE,CAAC;QACnB,OAAO,IAAI,CAAC,OAAO,KAAK,YAAY,CAAC;IACvC,CAAC;IAED;;OAEG;IACH,iBAAiB;QACf,IAAI,CAAC,IAAI,CAAC,UAAU,IAAI,IAAI,CAAC,OAAO,KAAK,YAAY,EAAE,CAAC;YACtD,OAAO,SAAS,CAAC;QACnB,CAAC;QAED,MAAM,OAAO,GAAa,EAAE,CAAC;QAE7B,IAAI,IAAI,CAAC,eAAe,IAAI,EAAE,EAAE,CAAC;YAC/B,OAAO,CAAC,IAAI,CAAC,eAAe,IAAI,CAAC,eAAe,CAAC,OAAO,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC;QAC3E,CAAC;QAED,IAAI,IAAI,CAAC,eAAe,IAAI,EAAE,EAAE,CAAC;YAC/B,OAAO,CAAC,IAAI,CAAC,eAAe,IAAI,CAAC,eAAe,CAAC,OAAO,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC;QAC3E,CAAC;QAED,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YACzB,OAAO,0BAA0B,CAAC;QACpC,CAAC;QAED,OAAO,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC5B,CAAC;IAED;;OAEG;IACH,iBAAiB;QAKf,OAAO;YACL,aAAa,EAAE,IAAI,CAAC,YAAY;YAChC,QAAQ,EAAE,IAAI,CAAC,UAAU;YACzB,cAAc,EAAE,IAAI,CAAC,iBAAiB,EAAE;SACzC,CAAC;IACJ,CAAC;CACF"}

package/dist/agents/control_flow/cfg-builder.d.ts

@@ -0,0 +1,26 @@
+/**
+ * Control Flow Graph Builder
+ *
+ * Constructs control flow graphs from TypeScript/JavaScript AST.
+ * Implements FR-001 (track data flow through control structures) and
+ * FR-002 (language-specific CFG construction).
+ */
+import ts from 'typescript';
+import { type ControlFlowGraphRuntime } from './cfg-types.js';
+/**
+ * Build a control flow graph for a function
+ */
+export declare function buildCFG(functionNode: ts.FunctionLikeDeclaration, sourceFile: ts.SourceFile, filePath: string): ControlFlowGraphRuntime;
+/**
+ * Find all functions in a source file
+ */
+export declare function findFunctions(sourceFile: ts.SourceFile): ts.FunctionLikeDeclaration[];
+/**
+ * Parse a source file
+ */
+export declare function parseSourceFile(content: string, filePath: string, scriptKind?: ts.ScriptKind): ts.SourceFile;
+/**
+ * Build CFGs for all functions in a source file
+ */
+export declare function buildAllCFGs(content: string, filePath: string): ControlFlowGraphRuntime[];
+//# sourceMappingURL=cfg-builder.d.ts.map

package/dist/agents/control_flow/cfg-builder.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"cfg-builder.d.ts","sourceRoot":"","sources":["../../../src/agents/control_flow/cfg-builder.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAEH,OAAO,EAAE,MAAM,YAAY,CAAC;AAE5B,OAAO,EAEL,KAAK,uBAAuB,EAQ7B,MAAM,gBAAgB,CAAC;AAExB;;GAEG;AACH,wBAAgB,QAAQ,CACtB,YAAY,EAAE,EAAE,CAAC,uBAAuB,EACxC,UAAU,EAAE,EAAE,CAAC,UAAU,EACzB,QAAQ,EAAE,MAAM,GACf,uBAAuB,CAsHzB;AAw1BD;;GAEG;AACH,wBAAgB,aAAa,CAAC,UAAU,EAAE,EAAE,CAAC,UAAU,GAAG,EAAE,CAAC,uBAAuB,EAAE,CAqBrF;AAED;;GAEG;AACH,wBAAgB,eAAe,CAC7B,OAAO,EAAE,MAAM,EACf,QAAQ,EAAE,MAAM,EAChB,UAAU,CAAC,EAAE,EAAE,CAAC,UAAU,GACzB,EAAE,CAAC,UAAU,CAqBf;AAED;;GAEG;AACH,wBAAgB,YAAY,CAAC,OAAO,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,GAAG,uBAAuB,EAAE,CAKzF"}