@oddessentials/odd-ai-reviewers 1.0.0

package/dist/agents/ai_semantic_review.js

@@ -0,0 +1,317 @@
+/**
+ * AI Semantic Review Agent
+ * Multi-provider AI semantic code review
+ *
+ * INVARIANTS:
+ * - Router owns provider/model resolution
+ * - Agent receives context.provider and context.effectiveModel
+ * - No per-agent defaults, no legacy key references
+ */
+import OpenAI from 'openai';
+import Anthropic from '@anthropic-ai/sdk';
+import { z } from 'zod';
+import { readFile } from 'fs/promises';
+import { join } from 'path';
+import { existsSync } from 'fs';
+import { AgentSuccess, AgentFailure, AgentSkipped } from './types.js';
+import { estimateTokens } from '../budget.js';
+import { buildAgentEnv } from './security.js';
+import { parseJsonResponse } from './json-utils.js';
+import { withRetry } from './retry.js';
+import { AgentError, AgentErrorCode } from '../types/errors.js';
+const SUPPORTED_EXTENSIONS = [
+    '.ts',
+    '.tsx',
+    '.js',
+    '.jsx',
+    '.py',
+    '.go',
+    '.java',
+    '.rb',
+    '.php',
+    '.c',
+    '.cpp',
+    '.cs',
+    '.rs',
+    '.swift',
+    '.kt',
+    '.scala',
+    '.vue',
+    '.svelte',
+];
+const PROMPT_PATH = join(import.meta.dirname, '../../config/prompts/semantic_review.md');
+/**
+ * Zod schema for validating Anthropic JSON response
+ */
+const SemanticResponseSchema = z.object({
+    summary: z.string(),
+    findings: z.array(z.object({
+        severity: z.enum(['critical', 'high', 'medium', 'low', 'info']),
+        file: z.string(),
+        line: z.number().optional(),
+        message: z.string(),
+        suggestion: z.string().optional(),
+        category: z.string(),
+    })),
+});
+/**
+ * Run semantic review using Anthropic Claude API
+ */
+async function runWithAnthropic(context, apiKey, model, systemPrompt, userPrompt, supportedFiles, estimatedInputTokens) {
+    const agentId = 'ai_semantic_review';
+    const startTime = Date.now();
+    console.log(`[ai_semantic_review] Calling Anthropic API with model: ${model}`);
+    const client = new Anthropic({ apiKey });
+    try {
+        const response = await withRetry(() => client.messages.create({
+            model,
+            max_tokens: 4000,
+            system: systemPrompt,
+            messages: [{ role: 'user', content: userPrompt }],
+        }));
+        // Extract text content
+        const textContent = response.content.find((c) => c.type === 'text');
+        if (!textContent || textContent.type !== 'text') {
+            throw new AgentError('No text content in Anthropic response', AgentErrorCode.EXECUTION_FAILED, {
+                agentId,
+                phase: 'response-extraction',
+            });
+        }
+        // Parse and validate JSON (handles Claude's code fence wrapping)
+        const parsed = parseJsonResponse(textContent.text, 'Anthropic');
+        const result = SemanticResponseSchema.safeParse(parsed);
+        if (!result.success) {
+            throw new AgentError(`Schema validation failed: ${result.error.message}`, AgentErrorCode.PARSE_ERROR, { agentId, phase: 'schema-validation' });
+        }
+        const findings = result.data.findings.map((f) => ({
+            severity: mapSeverity(f.severity),
+            file: f.file,
+            line: f.line,
+            message: f.message,
+            suggestion: f.suggestion,
+            ruleId: `semantic/${f.category}`,
+            sourceAgent: agentId,
+        }));
+        if (result.data.summary) {
+            console.log(`[ai_semantic_review] Summary: ${result.data.summary}`);
+        }
+        const tokensUsed = response.usage.input_tokens + response.usage.output_tokens;
+        const estimatedCostUsd = response.usage.input_tokens * 0.000015 + response.usage.output_tokens * 0.000075;
+        return AgentSuccess({
+            agentId,
+            findings,
+            metrics: {
+                durationMs: Date.now() - startTime,
+                filesProcessed: supportedFiles.length,
+                tokensUsed,
+                estimatedCostUsd,
+            },
+        });
+    }
+    catch (error) {
+        // Convert to AgentError for consistent error handling
+        const agentError = error instanceof AgentError
+            ? error
+            : new AgentError(error instanceof Error ? error.message : 'Unknown Anthropic error', AgentErrorCode.EXECUTION_FAILED, { agentId, phase: 'anthropic-call' });
+        return AgentFailure({
+            agentId,
+            error: agentError.message,
+            failureStage: 'exec',
+            metrics: {
+                durationMs: Date.now() - startTime,
+                filesProcessed: 0,
+                tokensUsed: estimatedInputTokens,
+            },
+        });
+    }
+}
+export const aiSemanticReviewAgent = {
+    id: 'ai_semantic_review',
+    name: 'AI Semantic Review',
+    usesLlm: true,
+    supports(file) {
+        if (file.status === 'deleted')
+            return false;
+        return SUPPORTED_EXTENSIONS.some((ext) => file.path.endsWith(ext));
+    },
+    async run(context) {
+        const startTime = Date.now();
+        const agentEnv = buildAgentEnv('ai_semantic_review', context.env);
+        // Use router-resolved provider and model
+        const { provider, effectiveModel } = context;
+        console.log(`[ai_semantic_review] Provider: ${provider}, Model: ${effectiveModel}`);
+        // Get files that this agent supports (shared by all providers)
+        const supportedFiles = context.files.filter((f) => this.supports(f));
+        if (supportedFiles.length === 0) {
+            return AgentSkipped({
+                agentId: this.id,
+                reason: 'No supported files to process',
+                metrics: { durationMs: Date.now() - startTime, filesProcessed: 0 },
+            });
+        }
+        // Load prompt template (shared by all providers)
+        let systemPrompt = `You are a senior code reviewer focused on semantic analysis.
+Analyze the provided diff for:
+- Logic errors and edge cases
+- Security vulnerabilities
+- Performance issues
+- API misuse or anti-patterns
+- Missing error handling
+
+Line numbering requirements:
+- Use new-file line numbers from unified diff hunk headers (@@ -a,b +c,d @@)
+- Only use right-side diff lines (added or context). If unsure, omit the line.
+
+Return a JSON object with findings.`;
+        if (existsSync(PROMPT_PATH)) {
+            try {
+                systemPrompt = await readFile(PROMPT_PATH, 'utf-8');
+            }
+            catch {
+                console.log('[ai_semantic_review] Using default prompt');
+            }
+        }
+        const fileSummary = supportedFiles
+            .map((f) => `- ${f.path} (${f.status}: +${f.additions}/-${f.deletions})`)
+            .join('\n');
+        const userPrompt = `## Files Changed
+${fileSummary}
+
+## Diff Content
+\`\`\`diff
+${context.diffContent}
+\`\`\`
+
+Analyze this code and return JSON:
+{
+  "findings": [
+    {
+      "severity": "critical|high|medium|low|info",
+      "file": "path/to/file.ts",
+      "line": 42,
+      "message": "Description",
+      "suggestion": "How to fix",
+      "category": "security|performance|logic|error-handling|api-misuse"
+    }
+  ],
+  "summary": "Brief summary of the review"
+}`;
+        const estimatedInputTokens = estimateTokens(systemPrompt + userPrompt);
+        // Switch on provider
+        if (provider === 'anthropic') {
+            const anthropicKey = agentEnv['ANTHROPIC_API_KEY'];
+            if (!anthropicKey) {
+                return AgentFailure({
+                    agentId: this.id,
+                    error: 'ANTHROPIC_API_KEY not found despite provider=anthropic',
+                    failureStage: 'preflight',
+                    metrics: { durationMs: Date.now() - startTime, filesProcessed: 0 },
+                });
+            }
+            return runWithAnthropic(context, anthropicKey, effectiveModel, systemPrompt, userPrompt, supportedFiles, estimatedInputTokens);
+        }
+        // OpenAI / Azure OpenAI path
+        const apiKey = agentEnv['OPENAI_API_KEY'];
+        const azureEndpoint = agentEnv['AZURE_OPENAI_ENDPOINT'];
+        const azureApiKey = agentEnv['AZURE_OPENAI_API_KEY'];
+        const azureDeployment = agentEnv['AZURE_OPENAI_DEPLOYMENT'] || 'gpt-4';
+        if (!apiKey && !azureApiKey) {
+            return AgentFailure({
+                agentId: this.id,
+                error: 'No API key configured (set OPENAI_API_KEY or AZURE_OPENAI_API_KEY)',
+                failureStage: 'preflight',
+                metrics: {
+                    durationMs: Date.now() - startTime,
+                    filesProcessed: 0,
+                },
+            });
+        }
+        // Initialize OpenAI client
+        let openai;
+        if (azureEndpoint && azureApiKey) {
+            openai = new OpenAI({
+                apiKey: azureApiKey,
+                baseURL: `${azureEndpoint}/openai/deployments/${azureDeployment}`,
+                defaultQuery: { 'api-version': '2024-02-15-preview' },
+                defaultHeaders: { 'api-key': azureApiKey },
+            });
+        }
+        else {
+            openai = new OpenAI({ apiKey });
+        }
+        try {
+            const response = await withRetry(() => openai.chat.completions.create({
+                model: effectiveModel,
+                messages: [
+                    { role: 'system', content: systemPrompt },
+                    { role: 'user', content: userPrompt },
+                ],
+                response_format: { type: 'json_object' },
+                max_tokens: 4000,
+                temperature: 0.3,
+            }));
+            const content = response.choices[0]?.message?.content;
+            if (!content) {
+                throw new AgentError('Empty response from OpenAI', AgentErrorCode.EXECUTION_FAILED, {
+                    agentId: this.id,
+                    phase: 'response-extraction',
+                });
+            }
+            const result = JSON.parse(content);
+            const findings = [];
+            for (const finding of result.findings || []) {
+                findings.push({
+                    severity: mapSeverity(finding.severity),
+                    file: finding.file,
+                    line: finding.line,
+                    message: finding.message,
+                    suggestion: finding.suggestion,
+                    ruleId: `semantic/${finding.category}`,
+                    sourceAgent: this.id,
+                });
+            }
+            const tokensUsed = response.usage?.total_tokens || estimatedInputTokens;
+            const promptTokens = response.usage?.prompt_tokens || estimatedInputTokens;
+            const completionTokens = response.usage?.completion_tokens || 0;
+            const estimatedCostUsd = (promptTokens / 1000) * 0.00015 + (completionTokens / 1000) * 0.0006;
+            return AgentSuccess({
+                agentId: this.id,
+                findings,
+                metrics: {
+                    durationMs: Date.now() - startTime,
+                    filesProcessed: supportedFiles.length,
+                    tokensUsed,
+                    estimatedCostUsd,
+                },
+            });
+        }
+        catch (error) {
+            // Convert to AgentError for consistent error handling
+            const agentError = error instanceof AgentError
+                ? error
+                : new AgentError(error instanceof Error ? error.message : 'Unknown OpenAI error', AgentErrorCode.EXECUTION_FAILED, { agentId: this.id, phase: 'openai-call' });
+            return AgentFailure({
+                agentId: this.id,
+                error: agentError.message,
+                failureStage: 'exec',
+                metrics: {
+                    durationMs: Date.now() - startTime,
+                    filesProcessed: 0,
+                    tokensUsed: estimatedInputTokens,
+                },
+            });
+        }
+    },
+};
+function mapSeverity(severity) {
+    switch (severity) {
+        case 'critical':
+        case 'high':
+            return 'error';
+        case 'medium':
+            return 'warning';
+        default:
+            return 'info';
+    }
+}
+//# sourceMappingURL=ai_semantic_review.js.map

package/dist/agents/ai_semantic_review.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"ai_semantic_review.js","sourceRoot":"","sources":["../../src/agents/ai_semantic_review.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAEH,OAAO,MAAM,MAAM,QAAQ,CAAC;AAC5B,OAAO,SAAS,MAAM,mBAAmB,CAAC;AAC1C,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AACxB,OAAO,EAAE,QAAQ,EAAE,MAAM,aAAa,CAAC;AACvC,OAAO,EAAE,IAAI,EAAE,MAAM,MAAM,CAAC;AAC5B,OAAO,EAAE,UAAU,EAAE,MAAM,IAAI,CAAC;AAEhC,OAAO,EAAE,YAAY,EAAE,YAAY,EAAE,YAAY,EAAE,MAAM,YAAY,CAAC;AAEtE,OAAO,EAAE,cAAc,EAAE,MAAM,cAAc,CAAC;AAC9C,OAAO,EAAE,aAAa,EAAE,MAAM,eAAe,CAAC;AAC9C,OAAO,EAAE,iBAAiB,EAAE,MAAM,iBAAiB,CAAC;AACpD,OAAO,EAAE,SAAS,EAAE,MAAM,YAAY,CAAC;AACvC,OAAO,EAAE,UAAU,EAAE,cAAc,EAAE,MAAM,oBAAoB,CAAC;AAEhE,MAAM,oBAAoB,GAAG;IAC3B,KAAK;IACL,MAAM;IACN,KAAK;IACL,MAAM;IACN,KAAK;IACL,KAAK;IACL,OAAO;IACP,KAAK;IACL,MAAM;IACN,IAAI;IACJ,MAAM;IACN,KAAK;IACL,KAAK;IACL,QAAQ;IACR,KAAK;IACL,QAAQ;IACR,MAAM;IACN,SAAS;CACV,CAAC;AAEF,MAAM,WAAW,GAAG,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,EAAE,yCAAyC,CAAC,CAAC;AAgBzF;;GAEG;AACH,MAAM,sBAAsB,GAAG,CAAC,CAAC,MAAM,CAAC;IACtC,OAAO,EAAE,CAAC,CAAC,MAAM,EAAE;IACnB,QAAQ,EAAE,CAAC,CAAC,KAAK,CACf,CAAC,CAAC,MAAM,CAAC;QACP,QAAQ,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,UAAU,EAAE,MAAM,EAAE,QAAQ,EAAE,KAAK,EAAE,MAAM,CAAC,CAAC;QAC/D,IAAI,EAAE,CAAC,CAAC,MAAM,EAAE;QAChB,IAAI,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;QAC3B,OAAO,EAAE,CAAC,CAAC,MAAM,EAAE;QACnB,UAAU,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;QACjC,QAAQ,EAAE,CAAC,CAAC,MAAM,EAAE;KACrB,CAAC,CACH;CACF,CAAC,CAAC;AAEH;;GAEG;AACH,KAAK,UAAU,gBAAgB,CAC7B,OAAqB,EACrB,MAAc,EACd,KAAa,EACb,YAAoB,EACpB,UAAkB,EAClB,cAA0B,EAC1B,oBAA4B;IAE5B,MAAM,OAAO,GAAG,oBAAoB,CAAC;IACrC,MAAM,SAAS,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;IAE7B,OAAO,CAAC,GAAG,CAAC,0DAA0D,KAAK,EAAE,CAAC,CAAC;IAE/E,MAAM,MAAM,GAAG,IAAI,SAAS,CAAC,EAAE,MAAM,EAAE,CAAC,CAAC;IAEzC,IAAI,CAAC;QACH,MAAM,QAAQ,GAAG,MAAM,SAAS,CAAC,GAAG,EAAE,CACpC,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC;YACrB,KAAK;YACL,UAAU,EAAE,IAAI;YAChB,MAAM,EAAE,YAAY;YACpB,QAAQ,EAAE,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,UAAU,EAAE,CAAC;SAClD,CAAC,CACH,CAAC;QAEF,uBAAuB;QACvB,MAAM,WAAW,GAAG,QAAQ,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC;QACpE,IAAI,CAAC,WAAW,IAAI,WAAW,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;YAChD,MAAM,IAAI,UAAU,CAClB,uCAAuC,EACvC,cAAc,CAAC,gBAAgB,EAC/B;gBACE,OAAO;gBACP,KAAK,EAAE,qBAAqB;aAC7B,CACF,CAAC;QACJ,CAAC;QAED,iEAAiE;QACjE,MAAM,MAAM,GAAG,iBAAiB,CAAC,WAAW,CAAC,IAAI,EAAE,WAAW,CAAC,CAAC;QAEhE,MAAM,MAAM,GAAG,sBAAsB,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC;QACxD,IAAI,CAAC,MAAM,CAAC,OAAO,EAAE,CAAC;YACpB,MAAM,IAAI,UAAU,CAClB,6BAA6B,MAAM,CAAC,KAAK,CAAC,OAAO,EAAE,EACnD,cAAc,CAAC,WAAW,EAC1B,EAAE,OAAO,EAAE,KAAK,EAAE,mBAAmB,EAAE,CACxC,CAAC;QACJ,CAAC;QAED,MAAM,QAAQ,GAAc,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;YAC3D,QAAQ,EAAE,WAAW,CAAC,CAAC,CAAC,QAAQ,CAAC;YACjC,IAAI,EAAE,CAAC,CAAC,IAAI;YACZ,IAAI,EAAE,CAAC,CAAC,IAAI;YACZ,OAAO,EAAE,CAAC,CAAC,OAAO;YAClB,UAAU,EAAE,CAAC,CAAC,UAAU;YACxB,MAAM,EAAE,YAAY,CAAC,CAAC,QAAQ,EAAE;YAChC,WAAW,EAAE,OAAO;SACrB,CAAC,CAAC,CAAC;QAEJ,IAAI,MAAM,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC;YACxB,OAAO,CAAC,GAAG,CAAC,iCAAiC,MAAM,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC,CAAC;QACtE,CAAC;QAED,MAAM,UAAU,GAAG,QAAQ,CAAC,KAAK,CAAC,YAAY,GAAG,QAAQ,CAAC,KAAK,CAAC,aAAa,CAAC;QAC9E,MAAM,gBAAgB,GACpB,QAAQ,CAAC,KAAK,CAAC,YAAY,GAAG,QAAQ,GAAG,QAAQ,CAAC,KAAK,CAAC,aAAa,GAAG,QAAQ,CAAC;QAEnF,OAAO,YAAY,CAAC;YAClB,OAAO;YACP,QAAQ;YACR,OAAO,EAAE;gBACP,UAAU,EAAE,IAAI,CAAC,GAAG,EAAE,GAAG,SAAS;gBAClC,cAAc,EAAE,cAAc,CAAC,MAAM;gBACrC,UAAU;gBACV,gBAAgB;aACjB;SACF,CAAC,CAAC;IACL,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,sDAAsD;QACtD,MAAM,UAAU,GACd,KAAK,YAAY,UAAU;YACzB,CAAC,CAAC,KAAK;YACP,CAAC,CAAC,IAAI,UAAU,CACZ,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,yBAAyB,EAClE,cAAc,CAAC,gBAAgB,EAC/B,EAAE,OAAO,EAAE,KAAK,EAAE,gBAAgB,EAAE,CACrC,CAAC;QAER,OAAO,YAAY,CAAC;YAClB,OAAO;YACP,KAAK,EAAE,UAAU,CAAC,OAAO;YACzB,YAAY,EAAE,MAAM;YACpB,OAAO,EAAE;gBACP,UAAU,EAAE,IAAI,CAAC,GAAG,EAAE,GAAG,SAAS;gBAClC,cAAc,EAAE,CAAC;gBACjB,UAAU,EAAE,oBAAoB;aACjC;SACF,CAAC,CAAC;IACL,CAAC;AACH,CAAC;AAED,MAAM,CAAC,MAAM,qBAAqB,GAAgB;IAChD,EAAE,EAAE,oBAAoB;IACxB,IAAI,EAAE,oBAAoB;IAC1B,OAAO,EAAE,IAAI;IAEb,QAAQ,CAAC,IAAc;QACrB,IAAI,IAAI,CAAC,MAAM,KAAK,SAAS;YAAE,OAAO,KAAK,CAAC;QAC5C,OAAO,oBAAoB,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC;IACrE,CAAC;IAED,KAAK,CAAC,GAAG,CAAC,OAAqB;QAC7B,MAAM,SAAS,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;QAE7B,MAAM,QAAQ,GAAG,aAAa,CAAC,oBAAoB,EAAE,OAAO,CAAC,GAAG,CAAC,CAAC;QAElE,yCAAyC;QACzC,MAAM,EAAE,QAAQ,EAAE,cAAc,EAAE,GAAG,OAAO,CAAC;QAC7C,OAAO,CAAC,GAAG,CAAC,kCAAkC,QAAQ,YAAY,cAAc,EAAE,CAAC,CAAC;QAEpF,+DAA+D;QAC/D,MAAM,cAAc,GAAG,OAAO,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC;QACrE,IAAI,cAAc,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YAChC,OAAO,YAAY,CAAC;gBAClB,OAAO,EAAE,IAAI,CAAC,EAAE;gBAChB,MAAM,EAAE,+BAA+B;gBACvC,OAAO,EAAE,EAAE,UAAU,EAAE,IAAI,CAAC,GAAG,EAAE,GAAG,SAAS,EAAE,cAAc,EAAE,CAAC,EAAE;aACnE,CAAC,CAAC;QACL,CAAC;QAED,iDAAiD;QACjD,IAAI,YAAY,GAAG;;;;;;;;;;;;oCAYa,CAAC;QAEjC,IAAI,UAAU,CAAC,WAAW,CAAC,EAAE,CAAC;YAC5B,IAAI,CAAC;gBACH,YAAY,GAAG,MAAM,QAAQ,CAAC,WAAW,EAAE,OAAO,CAAC,CAAC;YACtD,CAAC;YAAC,MAAM,CAAC;gBACP,OAAO,CAAC,GAAG,CAAC,2CAA2C,CAAC,CAAC;YAC3D,CAAC;QACH,CAAC;QAED,MAAM,WAAW,GAAG,cAAc;aAC/B,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,MAAM,MAAM,CAAC,CAAC,SAAS,KAAK,CAAC,CAAC,SAAS,GAAG,CAAC;aACxE,IAAI,CAAC,IAAI,CAAC,CAAC;QAEd,MAAM,UAAU,GAAG;EACrB,WAAW;;;;EAIX,OAAO,CAAC,WAAW;;;;;;;;;;;;;;;;EAgBnB,CAAC;QAEC,MAAM,oBAAoB,GAAG,cAAc,CAAC,YAAY,GAAG,UAAU,CAAC,CAAC;QAEvE,qBAAqB;QACrB,IAAI,QAAQ,KAAK,WAAW,EAAE,CAAC;YAC7B,MAAM,YAAY,GAAG,QAAQ,CAAC,mBAAmB,CAAC,CAAC;YACnD,IAAI,CAAC,YAAY,EAAE,CAAC;gBAClB,OAAO,YAAY,CAAC;oBAClB,OAAO,EAAE,IAAI,CAAC,EAAE;oBAChB,KAAK,EAAE,wDAAwD;oBAC/D,YAAY,EAAE,WAAW;oBACzB,OAAO,EAAE,EAAE,UAAU,EAAE,IAAI,CAAC,GAAG,EAAE,GAAG,SAAS,EAAE,cAAc,EAAE,CAAC,EAAE;iBACnE,CAAC,CAAC;YACL,CAAC;YACD,OAAO,gBAAgB,CACrB,OAAO,EACP,YAAY,EACZ,cAAc,EACd,YAAY,EACZ,UAAU,EACV,cAAc,EACd,oBAAoB,CACrB,CAAC;QACJ,CAAC;QAED,6BAA6B;QAC7B,MAAM,MAAM,GAAG,QAAQ,CAAC,gBAAgB,CAAC,CAAC;QAC1C,MAAM,aAAa,GAAG,QAAQ,CAAC,uBAAuB,CAAC,CAAC;QACxD,MAAM,WAAW,GAAG,QAAQ,CAAC,sBAAsB,CAAC,CAAC;QACrD,MAAM,eAAe,GAAG,QAAQ,CAAC,yBAAyB,CAAC,IAAI,OAAO,CAAC;QAEvE,IAAI,CAAC,MAAM,IAAI,CAAC,WAAW,EAAE,CAAC;YAC5B,OAAO,YAAY,CAAC;gBAClB,OAAO,EAAE,IAAI,CAAC,EAAE;gBAChB,KAAK,EAAE,oEAAoE;gBAC3E,YAAY,EAAE,WAAW;gBACzB,OAAO,EAAE;oBACP,UAAU,EAAE,IAAI,CAAC,GAAG,EAAE,GAAG,SAAS;oBAClC,cAAc,EAAE,CAAC;iBAClB;aACF,CAAC,CAAC;QACL,CAAC;QAED,2BAA2B;QAC3B,IAAI,MAAc,CAAC;QACnB,IAAI,aAAa,IAAI,WAAW,EAAE,CAAC;YACjC,MAAM,GAAG,IAAI,MAAM,CAAC;gBAClB,MAAM,EAAE,WAAW;gBACnB,OAAO,EAAE,GAAG,aAAa,uBAAuB,eAAe,EAAE;gBACjE,YAAY,EAAE,EAAE,aAAa,EAAE,oBAAoB,EAAE;gBACrD,cAAc,EAAE,EAAE,SAAS,EAAE,WAAW,EAAE;aAC3C,CAAC,CAAC;QACL,CAAC;aAAM,CAAC;YACN,MAAM,GAAG,IAAI,MAAM,CAAC,EAAE,MAAM,EAAE,CAAC,CAAC;QAClC,CAAC;QAED,IAAI,CAAC;YACH,MAAM,QAAQ,GAAG,MAAM,SAAS,CAAC,GAAG,EAAE,CACpC,MAAM,CAAC,IAAI,CAAC,WAAW,CAAC,MAAM,CAAC;gBAC7B,KAAK,EAAE,cAAc;gBACrB,QAAQ,EAAE;oBACR,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,YAAY,EAAE;oBACzC,EAAE,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,UAAU,EAAE;iBACtC;gBACD,eAAe,EAAE,EAAE,IAAI,EAAE,aAAa,EAAE;gBACxC,UAAU,EAAE,IAAI;gBAChB,WAAW,EAAE,GAAG;aACjB,CAAC,CACH,CAAC;YAEF,MAAM,OAAO,GAAG,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,OAAO,CAAC;YACtD,IAAI,CAAC,OAAO,EAAE,CAAC;gBACb,MAAM,IAAI,UAAU,CAAC,4BAA4B,EAAE,cAAc,CAAC,gBAAgB,EAAE;oBAClF,OAAO,EAAE,IAAI,CAAC,EAAE;oBAChB,KAAK,EAAE,qBAAqB;iBAC7B,CAAC,CAAC;YACL,CAAC;YAED,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,OAAO,CAA2B,CAAC;YAC7D,MAAM,QAAQ,GAAc,EAAE,CAAC;YAE/B,KAAK,MAAM,OAAO,IAAI,MAAM,CAAC,QAAQ,IAAI,EAAE,EAAE,CAAC;gBAC5C,QAAQ,CAAC,IAAI,CAAC;oBACZ,QAAQ,EAAE,WAAW,CAAC,OAAO,CAAC,QAAQ,CAAC;oBACvC,IAAI,EAAE,OAAO,CAAC,IAAI;oBAClB,IAAI,EAAE,OAAO,CAAC,IAAI;oBAClB,OAAO,EAAE,OAAO,CAAC,OAAO;oBACxB,UAAU,EAAE,OAAO,CAAC,UAAU;oBAC9B,MAAM,EAAE,YAAY,OAAO,CAAC,QAAQ,EAAE;oBACtC,WAAW,EAAE,IAAI,CAAC,EAAE;iBACrB,CAAC,CAAC;YACL,CAAC;YAED,MAAM,UAAU,GAAG,QAAQ,CAAC,KAAK,EAAE,YAAY,IAAI,oBAAoB,CAAC;YACxE,MAAM,YAAY,GAAG,QAAQ,CAAC,KAAK,EAAE,aAAa,IAAI,oBAAoB,CAAC;YAC3E,MAAM,gBAAgB,GAAG,QAAQ,CAAC,KAAK,EAAE,iBAAiB,IAAI,CAAC,CAAC;YAChE,MAAM,gBAAgB,GAAG,CAAC,YAAY,GAAG,IAAI,CAAC,GAAG,OAAO,GAAG,CAAC,gBAAgB,GAAG,IAAI,CAAC,GAAG,MAAM,CAAC;YAE9F,OAAO,YAAY,CAAC;gBAClB,OAAO,EAAE,IAAI,CAAC,EAAE;gBAChB,QAAQ;gBACR,OAAO,EAAE;oBACP,UAAU,EAAE,IAAI,CAAC,GAAG,EAAE,GAAG,SAAS;oBAClC,cAAc,EAAE,cAAc,CAAC,MAAM;oBACrC,UAAU;oBACV,gBAAgB;iBACjB;aACF,CAAC,CAAC;QACL,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YACf,sDAAsD;YACtD,MAAM,UAAU,GACd,KAAK,YAAY,UAAU;gBACzB,CAAC,CAAC,KAAK;gBACP,CAAC,CAAC,IAAI,UAAU,CACZ,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,sBAAsB,EAC/D,cAAc,CAAC,gBAAgB,EAC/B,EAAE,OAAO,EAAE,IAAI,CAAC,EAAE,EAAE,KAAK,EAAE,aAAa,EAAE,CAC3C,CAAC;YAER,OAAO,YAAY,CAAC;gBAClB,OAAO,EAAE,IAAI,CAAC,EAAE;gBAChB,KAAK,EAAE,UAAU,CAAC,OAAO;gBACzB,YAAY,EAAE,MAAM;gBACpB,OAAO,EAAE;oBACP,UAAU,EAAE,IAAI,CAAC,GAAG,EAAE,GAAG,SAAS;oBAClC,cAAc,EAAE,CAAC;oBACjB,UAAU,EAAE,oBAAoB;iBACjC;aACF,CAAC,CAAC;QACL,CAAC;IACH,CAAC;CACF,CAAC;AAEF,SAAS,WAAW,CAAC,QAAgB;IACnC,QAAQ,QAAQ,EAAE,CAAC;QACjB,KAAK,UAAU,CAAC;QAChB,KAAK,MAAM;YACT,OAAO,OAAO,CAAC;QACjB,KAAK,QAAQ;YACX,OAAO,SAAS,CAAC;QACnB;YACE,OAAO,MAAM,CAAC;IAClB,CAAC;AACH,CAAC"}

package/dist/agents/control_flow/budget.d.ts

@@ -0,0 +1,162 @@
+/**
+ * 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 type { BudgetStatus, AnalysisLogEntry } from './types.js';
+import { type AnalysisLogger } from './logger.js';
+/**
+ * Configuration for analysis budget limits
+ */
+export interface BudgetConfig {
+    /** Maximum analysis duration in milliseconds (default: 300,000 = 5 min) */
+    maxDurationMs: number;
+    /** Maximum lines to analyze (default: 10,000) */
+    maxLinesChanged: number;
+    /** Maximum call depth for inter-procedural analysis (default: 5) */
+    maxCallDepth: number;
+    /** Maximum nodes to visit per traversal (default: 10,000) */
+    maxNodesVisited: number;
+}
+/**
+ * Default budget configuration per FR-018, FR-019, FR-003
+ */
+export declare const DEFAULT_BUDGET_CONFIG: BudgetConfig;
+/**
+ * File priority levels for degraded mode filtering.
+ */
+export type FilePriority = 'high' | 'medium' | 'low';
+/**
+ * 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 declare const FILE_PRIORITY_PATTERNS: Record<FilePriority, RegExp[]>;
+/**
+ * Determine the priority of a file based on its path.
+ */
+export declare function getFilePriority(filePath: string): FilePriority;
+/**
+ * Analysis Budget Manager
+ *
+ * Tracks resource consumption and triggers degraded mode when limits approach.
+ * Ensures deterministic behavior: same input always produces same degradation.
+ */
+export declare class AnalysisBudget {
+    private readonly startTime;
+    private readonly config;
+    private linesAnalyzed;
+    private filesAnalyzed;
+    private filesSkipped;
+    private currentDepth;
+    private _status;
+    private degradedAt;
+    private readonly log;
+    private readonly logger;
+    constructor(config?: Partial<BudgetConfig>, logger?: AnalysisLogger);
+    /**
+     * Get current budget status
+     */
+    get status(): BudgetStatus;
+    /**
+     * Check if analysis is in degraded mode
+     */
+    get isDegraded(): boolean;
+    /**
+     * Get effective max call depth (reduced in degraded mode)
+     */
+    get effectiveMaxCallDepth(): number;
+    /**
+     * Get elapsed time in milliseconds
+     */
+    get elapsedMs(): number;
+    /**
+     * Get time remaining before budget exceeded
+     */
+    get remainingMs(): number;
+    /**
+     * Get percentage of time budget consumed
+     */
+    get timePercentUsed(): number;
+    /**
+     * Get percentage of size budget consumed
+     */
+    get sizePercentUsed(): number;
+    /**
+     * Get analysis statistics
+     */
+    get stats(): {
+        linesAnalyzed: number;
+        filesAnalyzed: number;
+        filesSkipped: number;
+        elapsedMs: number;
+        status: BudgetStatus;
+        degraded: boolean;
+        timePercentUsed: number;
+        sizePercentUsed: number;
+    };
+    /**
+     * 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: string): boolean;
+    /**
+     * Sort files by priority for analysis order.
+     * High priority files are analyzed first.
+     */
+    sortFilesByPriority<T extends {
+        path: string;
+    }>(files: T[]): T[];
+    /**
+     * Get the analysis log
+     */
+    get analysisLog(): AnalysisLogEntry[];
+    /**
+     * Record analysis of a file
+     */
+    recordFile(lineCount: number, _filePath?: string): void;
+    /**
+     * Set current call depth for inter-procedural analysis
+     */
+    setCallDepth(depth: number): void;
+    /**
+     * Check if we can go deeper in call analysis
+     */
+    canGoDeeper(): boolean;
+    /**
+     * Check budget status and update if needed
+     * Returns the current status after check
+     */
+    checkBudget(): BudgetStatus;
+    /**
+     * Transition to a new budget status
+     */
+    private transitionTo;
+    /**
+     * Add an entry to the analysis log
+     */
+    addLog(level: AnalysisLogEntry['level'], message: string, context?: Record<string, unknown>): void;
+    /**
+     * Check if analysis should continue
+     * Returns false if budget is terminated
+     */
+    shouldContinue(): boolean;
+    /**
+     * Get reason for degradation (if degraded)
+     */
+    getDegradedReason(): string | undefined;
+    /**
+     * Create a snapshot of current budget state for finding metadata
+     */
+    toFindingMetadata(): {
+        analysisDepth: number;
+        degraded: boolean;
+        degradedReason?: string;
+    };
+}
+//# sourceMappingURL=budget.d.ts.map

package/dist/agents/control_flow/budget.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"budget.d.ts","sourceRoot":"","sources":["../../../src/agents/control_flow/budget.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAEH,OAAO,KAAK,EAAE,YAAY,EAAE,gBAAgB,EAAE,MAAM,YAAY,CAAC;AACjE,OAAO,EAAa,KAAK,cAAc,EAAE,MAAM,aAAa,CAAC;AAE7D;;GAEG;AACH,MAAM,WAAW,YAAY;IAC3B,2EAA2E;IAC3E,aAAa,EAAE,MAAM,CAAC;IACtB,iDAAiD;IACjD,eAAe,EAAE,MAAM,CAAC;IACxB,oEAAoE;IACpE,YAAY,EAAE,MAAM,CAAC;IACrB,6DAA6D;IAC7D,eAAe,EAAE,MAAM,CAAC;CACzB;AAED;;GAEG;AACH,eAAO,MAAM,qBAAqB,EAAE,YAKnC,CAAC;AAEF;;GAEG;AACH,MAAM,MAAM,YAAY,GAAG,MAAM,GAAG,QAAQ,GAAG,KAAK,CAAC;AAErD;;;;;GAKG;AACH,eAAO,MAAM,sBAAsB,EAAE,MAAM,CAAC,YAAY,EAAE,MAAM,EAAE,CAkBjE,CAAC;AAEF;;GAEG;AACH,wBAAgB,eAAe,CAAC,QAAQ,EAAE,MAAM,GAAG,YAAY,CAwB9D;AAED;;;;;GAKG;AACH,qBAAa,cAAc;IACzB,OAAO,CAAC,QAAQ,CAAC,SAAS,CAAS;IACnC,OAAO,CAAC,QAAQ,CAAC,MAAM,CAAe;IACtC,OAAO,CAAC,aAAa,CAAK;IAC1B,OAAO,CAAC,aAAa,CAAK;IAC1B,OAAO,CAAC,YAAY,CAAK;IACzB,OAAO,CAAC,YAAY,CAAK;IACzB,OAAO,CAAC,OAAO,CAAsB;IACrC,OAAO,CAAC,UAAU,CAAuB;IACzC,OAAO,CAAC,QAAQ,CAAC,GAAG,CAA0B;IAC9C,OAAO,CAAC,QAAQ,CAAC,MAAM,CAAiB;gBAE5B,MAAM,GAAE,OAAO,CAAC,YAAY,CAAM,EAAE,MAAM,CAAC,EAAE,cAAc;IAMvE;;OAEG;IACH,IAAI,MAAM,IAAI,YAAY,CAEzB;IAED;;OAEG;IACH,IAAI,UAAU,IAAI,OAAO,CAIxB;IAED;;OAEG;IACH,IAAI,qBAAqB,IAAI,MAAM,CAGlC;IAED;;OAEG;IACH,IAAI,SAAS,IAAI,MAAM,CAEtB;IAED;;OAEG;IACH,IAAI,WAAW,IAAI,MAAM,CAExB;IAED;;OAEG;IACH,IAAI,eAAe,IAAI,MAAM,CAE5B;IAED;;OAEG;IACH,IAAI,eAAe,IAAI,MAAM,CAE5B;IAED;;OAEG;IACH,IAAI,KAAK,IAAI;QACX,aAAa,EAAE,MAAM,CAAC;QACtB,aAAa,EAAE,MAAM,CAAC;QACtB,YAAY,EAAE,MAAM,CAAC;QACrB,SAAS,EAAE,MAAM,CAAC;QAClB,MAAM,EAAE,YAAY,CAAC;QACrB,QAAQ,EAAE,OAAO,CAAC;QAClB,eAAe,EAAE,MAAM,CAAC;QACxB,eAAe,EAAE,MAAM,CAAC;KACzB,CAWA;IAED;;;OAGG;IACH,iBAAiB,CAAC,QAAQ,EAAE,MAAM,GAAG,OAAO;IA8B5C;;;OAGG;IACH,mBAAmB,CAAC,CAAC,SAAS;QAAE,IAAI,EAAE,MAAM,CAAA;KAAE,EAAE,KAAK,EAAE,CAAC,EAAE,GAAG,CAAC,EAAE;IAchE;;OAEG;IACH,IAAI,WAAW,IAAI,gBAAgB,EAAE,CAEpC;IAED;;OAEG;IACH,UAAU,CAAC,SAAS,EAAE,MAAM,EAAE,SAAS,CAAC,EAAE,MAAM,GAAG,IAAI;IAavD;;OAEG;IACH,YAAY,CAAC,KAAK,EAAE,MAAM,GAAG,IAAI;IAIjC;;OAEG;IACH,WAAW,IAAI,OAAO;IAItB;;;OAGG;IACH,WAAW,IAAI,YAAY;IAiC3B;;OAEG;IACH,OAAO,CAAC,YAAY;IA0BpB;;OAEG;IACH,MAAM,CACJ,KAAK,EAAE,gBAAgB,CAAC,OAAO,CAAC,EAChC,OAAO,EAAE,MAAM,EACf,OAAO,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAChC,IAAI;IASP;;;OAGG;IACH,cAAc,IAAI,OAAO;IAKzB;;OAEG;IACH,iBAAiB,IAAI,MAAM,GAAG,SAAS;IAsBvC;;OAEG;IACH,iBAAiB,IAAI;QACnB,aAAa,EAAE,MAAM,CAAC;QACtB,QAAQ,EAAE,OAAO,CAAC;QAClB,cAAc,CAAC,EAAE,MAAM,CAAC;KACzB;CAOF"}