circle-ir-ai 1.1.0

package/dist/llm/schemas.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"schemas.d.ts","sourceRoot":"","sources":["../../src/llm/schemas.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAQxB,eAAO,MAAM,gCAAgC;;;;;;;;;;;;;;;;;;;;;;;;;EAc1C,CAAC;AAEJ,MAAM,MAAM,0BAA0B,GAAG,CAAC,CAAC,MAAM,CAAC,OAAO,gCAAgC,CAAC,CAAC;AAM3F,eAAO,MAAM,sBAAsB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAYhC,CAAC;AAEJ,eAAO,MAAM,6BAA6B;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAIvC,CAAC;AAEJ,MAAM,MAAM,gBAAgB,GAAG,CAAC,CAAC,MAAM,CAAC,OAAO,sBAAsB,CAAC,CAAC;AACvE,MAAM,MAAM,uBAAuB,GAAG,CAAC,CAAC,MAAM,CAAC,OAAO,6BAA6B,CAAC,CAAC;AAMrF,eAAO,MAAM,oBAAoB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAgB9B,CAAC;AAEJ,eAAO,MAAM,2BAA2B;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAIrC,CAAC;AAEJ,MAAM,MAAM,cAAc,GAAG,CAAC,CAAC,MAAM,CAAC,OAAO,oBAAoB,CAAC,CAAC;AACnE,MAAM,MAAM,qBAAqB,GAAG,CAAC,CAAC,MAAM,CAAC,OAAO,2BAA2B,CAAC,CAAC;AASjF,eAAO,MAAM,0BAA0B;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAiCpC,CAAC;AAEJ,MAAM,MAAM,oBAAoB,GAAG,CAAC,CAAC,MAAM,CAAC,OAAO,0BAA0B,CAAC,CAAC;AAM/E,eAAO,MAAM,6BAA6B;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAgBvC,CAAC;AAEJ,eAAO,MAAM,iCAAiC;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAI3C,CAAC;AAEJ,MAAM,MAAM,uBAAuB,GAAG,CAAC,CAAC,MAAM,CAAC,OAAO,6BAA6B,CAAC,CAAC;AACrF,MAAM,MAAM,2BAA2B,GAAG,CAAC,CAAC,MAAM,CAAC,OAAO,iCAAiC,CAAC,CAAC;AAM7F,eAAO,MAAM,uBAAuB;;;;;;;;;;;;;;;EAMjC,CAAC;AAEJ,eAAO,MAAM,uBAAuB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAQjC,CAAC;AAEJ,MAAM,MAAM,iBAAiB,GAAG,CAAC,CAAC,MAAM,CAAC,OAAO,uBAAuB,CAAC,CAAC;AAQzE,eAAO,MAAM,qBAAqB;;;;;;;;;;;;;;;;;;;;EAY/B,CAAC;AAEJ,eAAO,MAAM,iCAAiC;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAM3C,CAAC;AAEJ,MAAM,MAAM,eAAe,GAAG,CAAC,CAAC,MAAM,CAAC,OAAO,qBAAqB,CAAC,CAAC;AACrE,MAAM,MAAM,2BAA2B,GAAG,CAAC,CAAC,MAAM,CAAC,OAAO,iCAAiC,CAAC,CAAC;AAQ7F,eAAO,MAAM,eAAe;;;;;;;;;;;;;;;;;;;;;;;;;EAczB,CAAC;AAEJ,eAAO,MAAM,4BAA4B;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAMtC,CAAC;AAEJ,MAAM,MAAM,SAAS,GAAG,CAAC,CAAC,MAAM,CAAC,OAAO,eAAe,CAAC,CAAC;AACzD,MAAM,MAAM,sBAAsB,GAAG,CAAC,CAAC,MAAM,CAAC,OAAO,4BAA4B,CAAC,CAAC;AAQnF,eAAO,MAAM,6BAA6B;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EA4BvC,CAAC;AAEJ,eAAO,MAAM,uBAAuB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAUjC,CAAC;AAEJ,MAAM,MAAM,uBAAuB,GAAG,CAAC,CAAC,MAAM,CAAC,OAAO,6BAA6B,CAAC,CAAC;AACrF,MAAM,MAAM,iBAAiB,GAAG,CAAC,CAAC,MAAM,CAAC,OAAO,uBAAuB,CAAC,CAAC"}

package/dist/llm/schemas.js

@@ -0,0 +1,258 @@
+/**
+ * Zod Schemas for LLM Response Validation
+ *
+ * Provides strict type validation for all LLM responses to prevent
+ * hallucination-related errors and ensure type safety.
+ */
+import { z } from 'zod';
+// ============================================================================
+// Role Classification
+// ============================================================================
+const VALID_ROLES = ['controller', 'service', 'repository', 'utility', 'entity', 'unknown'];
+export const RoleClassificationResponseSchema = z.object({
+    role: z.string().optional(),
+    confidence: z.number().optional(),
+    reasoning: z.string().optional(),
+    indicators: z.array(z.string()).optional(),
+}).transform((data) => ({
+    role: (() => {
+        const s = (data.role || '').toLowerCase();
+        if (VALID_ROLES.includes(s))
+            return s;
+        return 'unknown';
+    })(),
+    confidence: typeof data.confidence === 'number' ? Math.min(1, Math.max(0, data.confidence)) : 0.5,
+    reasoning: data.reasoning || '',
+    indicators: data.indicators || [],
+}));
+// ============================================================================
+// Source Discovery
+// ============================================================================
+export const DiscoveredSourceSchema = z.object({
+    line: z.number().optional(),
+    variable: z.string().optional(),
+    type: z.string().optional(),
+    confidence: z.number().optional(),
+    reasoning: z.string().optional(),
+}).transform((data) => ({
+    line: typeof data.line === 'number' && data.line >= 0 ? data.line : 0,
+    variable: data.variable || '',
+    type: data.type || 'unknown',
+    confidence: typeof data.confidence === 'number' ? Math.min(1, Math.max(0, data.confidence)) : 0.5,
+    reasoning: data.reasoning || '',
+}));
+export const SourceDiscoveryResponseSchema = z.object({
+    additionalSources: z.array(DiscoveredSourceSchema).optional(),
+}).transform((data) => ({
+    additionalSources: data.additionalSources || [],
+}));
+// ============================================================================
+// Sink Discovery
+// ============================================================================
+export const DiscoveredSinkSchema = z.object({
+    line: z.number().optional(),
+    method: z.string().optional(),
+    type: z.string().optional(),
+    cwe: z.string().optional(),
+    argPositions: z.array(z.number()).optional(),
+    confidence: z.number().optional(),
+    reasoning: z.string().optional(),
+}).transform((data) => ({
+    line: typeof data.line === 'number' && data.line >= 0 ? data.line : 0,
+    method: data.method || '',
+    type: data.type || 'unknown',
+    cwe: data.cwe || 'CWE-unknown',
+    argPositions: data.argPositions || [0],
+    confidence: typeof data.confidence === 'number' ? Math.min(1, Math.max(0, data.confidence)) : 0.5,
+    reasoning: data.reasoning || '',
+}));
+export const SinkDiscoveryResponseSchema = z.object({
+    additionalSinks: z.array(DiscoveredSinkSchema).optional(),
+}).transform((data) => ({
+    additionalSinks: data.additionalSinks || [],
+}));
+// ============================================================================
+// Vulnerability Verification
+// ============================================================================
+const VALID_VERDICTS = ['TRUE_POSITIVE', 'FALSE_POSITIVE', 'UNCERTAIN'];
+const VALID_EXPLOITABILITY = ['high', 'medium', 'low', 'none'];
+export const VerificationResponseSchema = z.object({
+    verdict: z.string().optional().nullable(),
+    confidence: z.union([z.number(), z.string()]).optional().nullable(),
+    reasoning: z.string().optional().nullable(),
+    exploitability: z.string().optional().nullable(),
+    sanitizersFound: z.array(z.union([z.string(), z.object({})])).optional().nullable(),
+    attackVector: z.string().optional().nullable(),
+}).transform((data) => ({
+    verdict: (() => {
+        const upper = (data.verdict || '').toUpperCase();
+        if (upper.includes('TRUE') || (upper.includes('POSITIVE') && !upper.includes('FALSE'))) {
+            return 'TRUE_POSITIVE';
+        }
+        if (upper.includes('FALSE')) {
+            return 'FALSE_POSITIVE';
+        }
+        return 'UNCERTAIN';
+    })(),
+    confidence: (() => {
+        const val = typeof data.confidence === 'string' ? parseFloat(data.confidence) : data.confidence;
+        if (typeof val === 'number' && !isNaN(val))
+            return Math.min(1, Math.max(0, val));
+        return 0.5;
+    })(),
+    reasoning: data.reasoning || 'No reasoning provided',
+    exploitability: (() => {
+        const lower = (data.exploitability || '').toLowerCase();
+        if (lower.includes('high'))
+            return 'high';
+        if (lower.includes('low'))
+            return 'low';
+        if (lower.includes('none'))
+            return 'none';
+        return 'medium';
+    })(),
+    sanitizersFound: (data.sanitizersFound || []).filter((s) => typeof s === 'string'),
+    attackVector: data.attackVector || '',
+}));
+// ============================================================================
+// Pattern Verification
+// ============================================================================
+export const PatternVerificationItemSchema = z.object({
+    method: z.string().optional(),
+    class: z.string().optional(),
+    isValid: z.boolean().optional(),
+    confidence: z.number().optional(),
+    reasoning: z.string().optional(),
+    suggestedType: z.string().optional(),
+    suggestedCwe: z.string().optional(),
+}).transform((data) => ({
+    method: data.method || '',
+    class: data.class,
+    isValid: data.isValid === true,
+    confidence: typeof data.confidence === 'number' ? Math.min(1, Math.max(0, data.confidence)) : 0.5,
+    reasoning: data.reasoning || '',
+    suggestedType: data.suggestedType,
+    suggestedCwe: data.suggestedCwe,
+}));
+export const PatternVerificationResponseSchema = z.object({
+    verifications: z.array(PatternVerificationItemSchema).optional(),
+}).transform((data) => ({
+    verifications: data.verifications || [],
+}));
+// ============================================================================
+// List Index Analysis
+// ============================================================================
+export const IndexMappingValueSchema = z.object({
+    value: z.string().optional(),
+    tainted: z.boolean().optional(),
+}).transform((data) => ({
+    value: data.value || '',
+    tainted: data.tainted === true,
+}));
+export const ListIndexResponseSchema = z.object({
+    finalIndexMapping: z.record(z.string(), IndexMappingValueSchema).optional(),
+    taintedIndices: z.array(z.number()).optional(),
+    reasoning: z.string().optional(),
+}).transform((data) => ({
+    finalIndexMapping: data.finalIndexMapping || {},
+    taintedIndices: data.taintedIndices || [],
+    reasoning: data.reasoning || '',
+}));
+// ============================================================================
+// Correlated Predicate Analysis
+// ============================================================================
+const VALID_CORRELATIONS = ['same_variable', 'opposite', 'implies', 'independent'];
+export const CorrelatedGroupSchema = z.object({
+    predicates: z.array(z.number()).optional(),
+    correlation: z.string().optional(),
+    confidence: z.number().optional(),
+}).transform((data) => ({
+    predicates: data.predicates || [],
+    correlation: (() => {
+        const s = (data.correlation || '').toLowerCase();
+        if (VALID_CORRELATIONS.includes(s))
+            return s;
+        return 'independent';
+    })(),
+    confidence: typeof data.confidence === 'number' ? Math.min(1, Math.max(0, data.confidence)) : 0.5,
+}));
+export const CorrelatedPredicateResponseSchema = z.object({
+    correlatedGroups: z.array(CorrelatedGroupSchema).optional(),
+    reasoning: z.string().optional(),
+}).transform((data) => ({
+    correlatedGroups: data.correlatedGroups || [],
+    reasoning: data.reasoning || '',
+}));
+// ============================================================================
+// Cross-File Taint Analysis
+// ============================================================================
+const VALID_FLOW_TYPES = ['direct', 'transitive', 'conditional'];
+export const TaintFlowSchema = z.object({
+    sourceSymbol: z.string().optional(),
+    targetSymbol: z.string().optional(),
+    flowType: z.string().optional(),
+    confidence: z.number().optional(),
+}).transform((data) => ({
+    sourceSymbol: data.sourceSymbol || '',
+    targetSymbol: data.targetSymbol || '',
+    flowType: (() => {
+        const s = (data.flowType || '').toLowerCase();
+        if (VALID_FLOW_TYPES.includes(s))
+            return s;
+        return 'direct';
+    })(),
+    confidence: typeof data.confidence === 'number' ? Math.min(1, Math.max(0, data.confidence)) : 0.5,
+}));
+export const CrossFileTaintResponseSchema = z.object({
+    taintFlows: z.array(TaintFlowSchema).optional(),
+    reasoning: z.string().optional(),
+}).transform((data) => ({
+    taintFlows: data.taintFlows || [],
+    reasoning: data.reasoning || '',
+}));
+// ============================================================================
+// Discovery (Semantic Vulnerability Detection)
+// ============================================================================
+const VALID_SEVERITIES = ['critical', 'high', 'medium', 'low'];
+export const DiscoveredVulnerabilitySchema = z.object({
+    type: z.string().optional(),
+    cwe: z.string().optional(),
+    severity: z.string().optional(),
+    line: z.number().optional(),
+    code: z.string().optional(),
+    description: z.string().optional(),
+    attackVector: z.string().optional(),
+    remediation: z.string().optional(),
+    source: z.object({
+        variable: z.string().optional(),
+        method: z.string().optional(),
+        line: z.number().optional(),
+    }).optional(),
+}).transform((data) => ({
+    type: data.type || 'unknown',
+    cwe: data.cwe || 'CWE-unknown',
+    severity: (() => {
+        const s = (data.severity || '').toLowerCase();
+        if (VALID_SEVERITIES.includes(s))
+            return s;
+        return 'medium';
+    })(),
+    line: typeof data.line === 'number' && data.line >= 0 ? data.line : 0,
+    code: data.code || '',
+    description: data.description || '',
+    attackVector: data.attackVector,
+    remediation: data.remediation || 'Review and fix the vulnerability',
+    source: data.source,
+}));
+export const DiscoveryResponseSchema = z.object({
+    vulnerabilityFound: z.boolean().optional(),
+    confidence: z.number().optional(),
+    reasoning: z.string().optional(),
+    vulnerability: DiscoveredVulnerabilitySchema.optional(),
+}).transform((data) => ({
+    vulnerabilityFound: data.vulnerabilityFound === true,
+    confidence: typeof data.confidence === 'number' ? Math.min(1, Math.max(0, data.confidence)) : 0.5,
+    reasoning: data.reasoning || '',
+    vulnerability: data.vulnerability,
+}));
+//# sourceMappingURL=schemas.js.map

package/dist/llm/schemas.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"schemas.js","sourceRoot":"","sources":["../../src/llm/schemas.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAExB,+EAA+E;AAC/E,sBAAsB;AACtB,+EAA+E;AAE/E,MAAM,WAAW,GAAG,CAAC,YAAY,EAAE,SAAS,EAAE,YAAY,EAAE,SAAS,EAAE,QAAQ,EAAE,SAAS,CAAU,CAAC;AAErG,MAAM,CAAC,MAAM,gCAAgC,GAAG,CAAC,CAAC,MAAM,CAAC;IACvD,IAAI,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;IAC3B,UAAU,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;IACjC,SAAS,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;IAChC,UAAU,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,QAAQ,EAAE;CAC3C,CAAC,CAAC,SAAS,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;IACtB,IAAI,EAAE,CAAC,GAA+B,EAAE;QACtC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,WAAW,EAAE,CAAC;QAC1C,IAAI,WAAW,CAAC,QAAQ,CAAC,CAAQ,CAAC;YAAE,OAAO,CAA+B,CAAC;QAC3E,OAAO,SAAS,CAAC;IACnB,CAAC,CAAC,EAAE;IACJ,UAAU,EAAE,OAAO,IAAI,CAAC,UAAU,KAAK,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG;IACjG,SAAS,EAAE,IAAI,CAAC,SAAS,IAAI,EAAE;IAC/B,UAAU,EAAE,IAAI,CAAC,UAAU,IAAI,EAAE;CAClC,CAAC,CAAC,CAAC;AAIJ,+EAA+E;AAC/E,mBAAmB;AACnB,+EAA+E;AAE/E,MAAM,CAAC,MAAM,sBAAsB,GAAG,CAAC,CAAC,MAAM,CAAC;IAC7C,IAAI,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;IAC3B,QAAQ,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;IAC/B,IAAI,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;IAC3B,UAAU,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;IACjC,SAAS,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;CACjC,CAAC,CAAC,SAAS,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;IACtB,IAAI,EAAE,OAAO,IAAI,CAAC,IAAI,KAAK,QAAQ,IAAI,IAAI,CAAC,IAAI,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACrE,QAAQ,EAAE,IAAI,CAAC,QAAQ,IAAI,EAAE;IAC7B,IAAI,EAAE,IAAI,CAAC,IAAI,IAAI,SAAS;IAC5B,UAAU,EAAE,OAAO,IAAI,CAAC,UAAU,KAAK,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG;IACjG,SAAS,EAAE,IAAI,CAAC,SAAS,IAAI,EAAE;CAChC,CAAC,CAAC,CAAC;AAEJ,MAAM,CAAC,MAAM,6BAA6B,GAAG,CAAC,CAAC,MAAM,CAAC;IACpD,iBAAiB,EAAE,CAAC,CAAC,KAAK,CAAC,sBAAsB,CAAC,CAAC,QAAQ,EAAE;CAC9D,CAAC,CAAC,SAAS,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;IACtB,iBAAiB,EAAE,IAAI,CAAC,iBAAiB,IAAI,EAAE;CAChD,CAAC,CAAC,CAAC;AAKJ,+EAA+E;AAC/E,iBAAiB;AACjB,+EAA+E;AAE/E,MAAM,CAAC,MAAM,oBAAoB,GAAG,CAAC,CAAC,MAAM,CAAC;IAC3C,IAAI,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;IAC3B,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;IAC7B,IAAI,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;IAC3B,GAAG,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;IAC1B,YAAY,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,QAAQ,EAAE;IAC5C,UAAU,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;IACjC,SAAS,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;CACjC,CAAC,CAAC,SAAS,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;IACtB,IAAI,EAAE,OAAO,IAAI,CAAC,IAAI,KAAK,QAAQ,IAAI,IAAI,CAAC,IAAI,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACrE,MAAM,EAAE,IAAI,CAAC,MAAM,IAAI,EAAE;IACzB,IAAI,EAAE,IAAI,CAAC,IAAI,IAAI,SAAS;IAC5B,GAAG,EAAE,IAAI,CAAC,GAAG,IAAI,aAAa;IAC9B,YAAY,EAAE,IAAI,CAAC,YAAY,IAAI,CAAC,CAAC,CAAC;IACtC,UAAU,EAAE,OAAO,IAAI,CAAC,UAAU,KAAK,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG;IACjG,SAAS,EAAE,IAAI,CAAC,SAAS,IAAI,EAAE;CAChC,CAAC,CAAC,CAAC;AAEJ,MAAM,CAAC,MAAM,2BAA2B,GAAG,CAAC,CAAC,MAAM,CAAC;IAClD,eAAe,EAAE,CAAC,CAAC,KAAK,CAAC,oBAAoB,CAAC,CAAC,QAAQ,EAAE;CAC1D,CAAC,CAAC,SAAS,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;IACtB,eAAe,EAAE,IAAI,CAAC,eAAe,IAAI,EAAE;CAC5C,CAAC,CAAC,CAAC;AAKJ,+EAA+E;AAC/E,6BAA6B;AAC7B,+EAA+E;AAE/E,MAAM,cAAc,GAAG,CAAC,eAAe,EAAE,gBAAgB,EAAE,WAAW,CAAU,CAAC;AACjF,MAAM,oBAAoB,GAAG,CAAC,MAAM,EAAE,QAAQ,EAAE,KAAK,EAAE,MAAM,CAAU,CAAC;AAExE,MAAM,CAAC,MAAM,0BAA0B,GAAG,CAAC,CAAC,MAAM,CAAC;IACjD,OAAO,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE,CAAC,QAAQ,EAAE;IACzC,UAAU,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC,QAAQ,EAAE;IACnE,SAAS,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE,CAAC,QAAQ,EAAE;IAC3C,cAAc,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE,CAAC,QAAQ,EAAE;IAChD,eAAe,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC,QAAQ,EAAE;IACnF,YAAY,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE,CAAC,QAAQ,EAAE;CAC/C,CAAC,CAAC,SAAS,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;IACtB,OAAO,EAAE,CAAC,GAAkC,EAAE;QAC5C,MAAM,KAAK,GAAG,CAAC,IAAI,CAAC,OAAO,IAAI,EAAE,CAAC,CAAC,WAAW,EAAE,CAAC;QACjD,IAAI,KAAK,CAAC,QAAQ,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,UAAU,CAAC,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,EAAE,CAAC;YACvF,OAAO,eAAe,CAAC;QACzB,CAAC;QACD,IAAI,KAAK,CAAC,QAAQ,CAAC,OAAO,CAAC,EAAE,CAAC;YAC5B,OAAO,gBAAgB,CAAC;QAC1B,CAAC;QACD,OAAO,WAAW,CAAC;IACrB,CAAC,CAAC,EAAE;IACJ,UAAU,EAAE,CAAC,GAAW,EAAE;QACxB,MAAM,GAAG,GAAG,OAAO,IAAI,CAAC,UAAU,KAAK,QAAQ,CAAC,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC;QAChG,IAAI,OAAO,GAAG,KAAK,QAAQ,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC;YAAE,OAAO,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC;QACjF,OAAO,GAAG,CAAC;IACb,CAAC,CAAC,EAAE;IACJ,SAAS,EAAE,IAAI,CAAC,SAAS,IAAI,uBAAuB;IACpD,cAAc,EAAE,CAAC,GAAwC,EAAE;QACzD,MAAM,KAAK,GAAG,CAAC,IAAI,CAAC,cAAc,IAAI,EAAE,CAAC,CAAC,WAAW,EAAE,CAAC;QACxD,IAAI,KAAK,CAAC,QAAQ,CAAC,MAAM,CAAC;YAAE,OAAO,MAAM,CAAC;QAC1C,IAAI,KAAK,CAAC,QAAQ,CAAC,KAAK,CAAC;YAAE,OAAO,KAAK,CAAC;QACxC,IAAI,KAAK,CAAC,QAAQ,CAAC,MAAM,CAAC;YAAE,OAAO,MAAM,CAAC;QAC1C,OAAO,QAAQ,CAAC;IAClB,CAAC,CAAC,EAAE;IACJ,eAAe,EAAE,CAAC,IAAI,CAAC,eAAe,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAe,EAAE,CAAC,OAAO,CAAC,KAAK,QAAQ,CAAC;IAC/F,YAAY,EAAE,IAAI,CAAC,YAAY,IAAI,EAAE;CACtC,CAAC,CAAC,CAAC;AAIJ,+EAA+E;AAC/E,uBAAuB;AACvB,+EAA+E;AAE/E,MAAM,CAAC,MAAM,6BAA6B,GAAG,CAAC,CAAC,MAAM,CAAC;IACpD,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;IAC7B,KAAK,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;IAC5B,OAAO,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC,QAAQ,EAAE;IAC/B,UAAU,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;IACjC,SAAS,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;IAChC,aAAa,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;IACpC,YAAY,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;CACpC,CAAC,CAAC,SAAS,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;IACtB,MAAM,EAAE,IAAI,CAAC,MAAM,IAAI,EAAE;IACzB,KAAK,EAAE,IAAI,CAAC,KAAK;IACjB,OAAO,EAAE,IAAI,CAAC,OAAO,KAAK,IAAI;IAC9B,UAAU,EAAE,OAAO,IAAI,CAAC,UAAU,KAAK,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG;IACjG,SAAS,EAAE,IAAI,CAAC,SAAS,IAAI,EAAE;IAC/B,aAAa,EAAE,IAAI,CAAC,aAAa;IACjC,YAAY,EAAE,IAAI,CAAC,YAAY;CAChC,CAAC,CAAC,CAAC;AAEJ,MAAM,CAAC,MAAM,iCAAiC,GAAG,CAAC,CAAC,MAAM,CAAC;IACxD,aAAa,EAAE,CAAC,CAAC,KAAK,CAAC,6BAA6B,CAAC,CAAC,QAAQ,EAAE;CACjE,CAAC,CAAC,SAAS,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;IACtB,aAAa,EAAE,IAAI,CAAC,aAAa,IAAI,EAAE;CACxC,CAAC,CAAC,CAAC;AAKJ,+EAA+E;AAC/E,sBAAsB;AACtB,+EAA+E;AAE/E,MAAM,CAAC,MAAM,uBAAuB,GAAG,CAAC,CAAC,MAAM,CAAC;IAC9C,KAAK,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;IAC5B,OAAO,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC,QAAQ,EAAE;CAChC,CAAC,CAAC,SAAS,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;IACtB,KAAK,EAAE,IAAI,CAAC,KAAK,IAAI,EAAE;IACvB,OAAO,EAAE,IAAI,CAAC,OAAO,KAAK,IAAI;CAC/B,CAAC,CAAC,CAAC;AAEJ,MAAM,CAAC,MAAM,uBAAuB,GAAG,CAAC,CAAC,MAAM,CAAC;IAC9C,iBAAiB,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,EAAE,EAAE,uBAAuB,CAAC,CAAC,QAAQ,EAAE;IAC3E,cAAc,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,QAAQ,EAAE;IAC9C,SAAS,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;CACjC,CAAC,CAAC,SAAS,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;IACtB,iBAAiB,EAAE,IAAI,CAAC,iBAAiB,IAAI,EAAE;IAC/C,cAAc,EAAE,IAAI,CAAC,cAAc,IAAI,EAAE;IACzC,SAAS,EAAE,IAAI,CAAC,SAAS,IAAI,EAAE;CAChC,CAAC,CAAC,CAAC;AAIJ,+EAA+E;AAC/E,gCAAgC;AAChC,+EAA+E;AAE/E,MAAM,kBAAkB,GAAG,CAAC,eAAe,EAAE,UAAU,EAAE,SAAS,EAAE,aAAa,CAAU,CAAC;AAE5F,MAAM,CAAC,MAAM,qBAAqB,GAAG,CAAC,CAAC,MAAM,CAAC;IAC5C,UAAU,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,QAAQ,EAAE;IAC1C,WAAW,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;IAClC,UAAU,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;CAClC,CAAC,CAAC,SAAS,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;IACtB,UAAU,EAAE,IAAI,CAAC,UAAU,IAAI,EAAE;IACjC,WAAW,EAAE,CAAC,GAAsC,EAAE;QACpD,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,WAAW,IAAI,EAAE,CAAC,CAAC,WAAW,EAAE,CAAC;QACjD,IAAI,kBAAkB,CAAC,QAAQ,CAAC,CAAQ,CAAC;YAAE,OAAO,CAAsC,CAAC;QACzF,OAAO,aAAa,CAAC;IACvB,CAAC,CAAC,EAAE;IACJ,UAAU,EAAE,OAAO,IAAI,CAAC,UAAU,KAAK,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG;CAClG,CAAC,CAAC,CAAC;AAEJ,MAAM,CAAC,MAAM,iCAAiC,GAAG,CAAC,CAAC,MAAM,CAAC;IACxD,gBAAgB,EAAE,CAAC,CAAC,KAAK,CAAC,qBAAqB,CAAC,CAAC,QAAQ,EAAE;IAC3D,SAAS,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;CACjC,CAAC,CAAC,SAAS,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;IACtB,gBAAgB,EAAE,IAAI,CAAC,gBAAgB,IAAI,EAAE;IAC7C,SAAS,EAAE,IAAI,CAAC,SAAS,IAAI,EAAE;CAChC,CAAC,CAAC,CAAC;AAKJ,+EAA+E;AAC/E,4BAA4B;AAC5B,+EAA+E;AAE/E,MAAM,gBAAgB,GAAG,CAAC,QAAQ,EAAE,YAAY,EAAE,aAAa,CAAU,CAAC;AAE1E,MAAM,CAAC,MAAM,eAAe,GAAG,CAAC,CAAC,MAAM,CAAC;IACtC,YAAY,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;IACnC,YAAY,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;IACnC,QAAQ,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;IAC/B,UAAU,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;CAClC,CAAC,CAAC,SAAS,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;IACtB,YAAY,EAAE,IAAI,CAAC,YAAY,IAAI,EAAE;IACrC,YAAY,EAAE,IAAI,CAAC,YAAY,IAAI,EAAE;IACrC,QAAQ,EAAE,CAAC,GAAoC,EAAE;QAC/C,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,QAAQ,IAAI,EAAE,CAAC,CAAC,WAAW,EAAE,CAAC;QAC9C,IAAI,gBAAgB,CAAC,QAAQ,CAAC,CAAQ,CAAC;YAAE,OAAO,CAAoC,CAAC;QACrF,OAAO,QAAQ,CAAC;IAClB,CAAC,CAAC,EAAE;IACJ,UAAU,EAAE,OAAO,IAAI,CAAC,UAAU,KAAK,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG;CAClG,CAAC,CAAC,CAAC;AAEJ,MAAM,CAAC,MAAM,4BAA4B,GAAG,CAAC,CAAC,MAAM,CAAC;IACnD,UAAU,EAAE,CAAC,CAAC,KAAK,CAAC,eAAe,CAAC,CAAC,QAAQ,EAAE;IAC/C,SAAS,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;CACjC,CAAC,CAAC,SAAS,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;IACtB,UAAU,EAAE,IAAI,CAAC,UAAU,IAAI,EAAE;IACjC,SAAS,EAAE,IAAI,CAAC,SAAS,IAAI,EAAE;CAChC,CAAC,CAAC,CAAC;AAKJ,+EAA+E;AAC/E,+CAA+C;AAC/C,+EAA+E;AAE/E,MAAM,gBAAgB,GAAG,CAAC,UAAU,EAAE,MAAM,EAAE,QAAQ,EAAE,KAAK,CAAU,CAAC;AAExE,MAAM,CAAC,MAAM,6BAA6B,GAAG,CAAC,CAAC,MAAM,CAAC;IACpD,IAAI,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;IAC3B,GAAG,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;IAC1B,QAAQ,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;IAC/B,IAAI,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;IAC3B,IAAI,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;IAC3B,WAAW,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;IAClC,YAAY,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;IACnC,WAAW,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;IAClC,MAAM,EAAE,CAAC,CAAC,MAAM,CAAC;QACf,QAAQ,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;QAC/B,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;QAC7B,IAAI,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;KAC5B,CAAC,CAAC,QAAQ,EAAE;CACd,CAAC,CAAC,SAAS,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;IACtB,IAAI,EAAE,IAAI,CAAC,IAAI,IAAI,SAAS;IAC5B,GAAG,EAAE,IAAI,CAAC,GAAG,IAAI,aAAa;IAC9B,QAAQ,EAAE,CAAC,GAAoC,EAAE;QAC/C,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,QAAQ,IAAI,EAAE,CAAC,CAAC,WAAW,EAAE,CAAC;QAC9C,IAAI,gBAAgB,CAAC,QAAQ,CAAC,CAAQ,CAAC;YAAE,OAAO,CAAoC,CAAC;QACrF,OAAO,QAAQ,CAAC;IAClB,CAAC,CAAC,EAAE;IACJ,IAAI,EAAE,OAAO,IAAI,CAAC,IAAI,KAAK,QAAQ,IAAI,IAAI,CAAC,IAAI,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACrE,IAAI,EAAE,IAAI,CAAC,IAAI,IAAI,EAAE;IACrB,WAAW,EAAE,IAAI,CAAC,WAAW,IAAI,EAAE;IACnC,YAAY,EAAE,IAAI,CAAC,YAAY;IAC/B,WAAW,EAAE,IAAI,CAAC,WAAW,IAAI,kCAAkC;IACnE,MAAM,EAAE,IAAI,CAAC,MAAM;CACpB,CAAC,CAAC,CAAC;AAEJ,MAAM,CAAC,MAAM,uBAAuB,GAAG,CAAC,CAAC,MAAM,CAAC;IAC9C,kBAAkB,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC,QAAQ,EAAE;IAC1C,UAAU,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;IACjC,SAAS,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;IAChC,aAAa,EAAE,6BAA6B,CAAC,QAAQ,EAAE;CACxD,CAAC,CAAC,SAAS,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;IACtB,kBAAkB,EAAE,IAAI,CAAC,kBAAkB,KAAK,IAAI;IACpD,UAAU,EAAE,OAAO,IAAI,CAAC,UAAU,KAAK,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG;IACjG,SAAS,EAAE,IAAI,CAAC,SAAS,IAAI,EAAE;IAC/B,aAAa,EAAE,IAAI,CAAC,aAAa;CAClC,CAAC,CAAC,CAAC"}

package/dist/llm/verification.d.ts

@@ -0,0 +1,127 @@
+/**
+ * LLM Verification Engine (Phase 2)
+ *
+ * Uses a powerful LLM to verify vulnerability exploitability.
+ * Analyzes real source code to determine TRUE_POSITIVE, FALSE_POSITIVE, or UNCERTAIN.
+ */
+import { type AxLLMClient } from './ax-client.js';
+export type VerificationVerdict = 'TRUE_POSITIVE' | 'FALSE_POSITIVE' | 'UNCERTAIN';
+export type Exploitability = 'high' | 'medium' | 'low' | 'none';
+export interface VerificationResult {
+    verdict: VerificationVerdict;
+    confidence: number;
+    reasoning: string;
+    exploitability: Exploitability;
+    sanitizersFound?: string[];
+    attackVector?: string;
+    prerequisites?: string[];
+    verifiedAt: string;
+    modelUsed: string;
+}
+export interface VerificationInput {
+    source: {
+        line: number;
+        code: string;
+        type: string;
+        variable?: string;
+    };
+    sink: {
+        line: number;
+        code: string;
+        type: string;
+        cwe: string;
+        method?: string;
+    };
+    methodCode: string;
+    methodName: string;
+    className: string;
+    annotations: string[];
+    pathExists: boolean;
+    sanitizersInPath: string[];
+}
+export interface BatchVerificationInput {
+    code: string;
+    className: string;
+    sources: Array<{
+        line: number;
+        type: string;
+        variable?: string;
+    }>;
+    sinks: Array<{
+        line: number;
+        type: string;
+        cwe: string;
+        method?: string;
+    }>;
+}
+export interface BatchVerificationResult {
+    pairs: Array<{
+        source_line: number;
+        sink_line: number;
+        verdict: VerificationVerdict;
+        confidence: number;
+        reasoning: string;
+        exploitability: Exploitability;
+    }>;
+    summary: {
+        total_analyzed: number;
+        true_positives: number;
+        false_positives: number;
+        uncertain: number;
+    };
+    processingTimeMs: number;
+    modelUsed: string;
+}
+export declare class VerificationEngine {
+    private client;
+    private config;
+    constructor(client?: AxLLMClient);
+    /**
+     * Verify a single taint path
+     */
+    verify(input: VerificationInput): Promise<VerificationResult>;
+    /**
+     * Batch verify all source-sink pairs, with automatic chunking for large sets
+     * Splits into smaller batches if sources × sinks exceeds threshold
+     */
+    verifyBatch(input: BatchVerificationInput): Promise<BatchVerificationResult>;
+    /**
+     * Process a single chunk of source-sink pairs
+     */
+    private verifyBatchChunk;
+    /**
+     * Build verification prompt
+     */
+    private buildPrompt;
+    /**
+     * Create uncertain result for error cases
+     */
+    private createUncertainResult;
+    /**
+     * Normalize verdict string
+     */
+    private normalizeVerdict;
+    /**
+     * Normalize exploitability string
+     */
+    private normalizeExploitability;
+}
+/**
+ * Get a new verification engine instance
+ * Always creates a fresh instance for per-request isolation
+ */
+export declare function getVerificationEngine(client?: AxLLMClient): VerificationEngine;
+/**
+ * Verify a taint path
+ */
+export declare function verifyTaintPath(input: VerificationInput): Promise<VerificationResult>;
+/**
+ * Batch verify all source-sink pairs in ONE LLM call
+ * Much more efficient than N×M individual calls
+ */
+export declare function verifyTaintPathsBatch(input: BatchVerificationInput): Promise<BatchVerificationResult>;
+/**
+ * Quick verification helper
+ */
+export declare function verifyVulnerability(sourceCode: string, sourceLine: number, sourceType: string, sinkCode: string, sinkLine: number, sinkType: string, cwe: string, methodCode: string, methodName: string, className: string): Promise<VerificationResult>;
+//# sourceMappingURL=verification.d.ts.map

package/dist/llm/verification.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"verification.d.ts","sourceRoot":"","sources":["../../src/llm/verification.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,EAAkB,KAAK,WAAW,EAAE,MAAM,gBAAgB,CAAC;AAMlE,MAAM,MAAM,mBAAmB,GAAG,eAAe,GAAG,gBAAgB,GAAG,WAAW,CAAC;AACnF,MAAM,MAAM,cAAc,GAAG,MAAM,GAAG,QAAQ,GAAG,KAAK,GAAG,MAAM,CAAC;AAEhE,MAAM,WAAW,kBAAkB;IACjC,OAAO,EAAE,mBAAmB,CAAC;IAC7B,UAAU,EAAE,MAAM,CAAC;IACnB,SAAS,EAAE,MAAM,CAAC;IAClB,cAAc,EAAE,cAAc,CAAC;IAG/B,eAAe,CAAC,EAAE,MAAM,EAAE,CAAC;IAC3B,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB,aAAa,CAAC,EAAE,MAAM,EAAE,CAAC;IAGzB,UAAU,EAAE,MAAM,CAAC;IACnB,SAAS,EAAE,MAAM,CAAC;CACnB;AAED,MAAM,WAAW,iBAAiB;IAEhC,MAAM,EAAE;QACN,IAAI,EAAE,MAAM,CAAC;QACb,IAAI,EAAE,MAAM,CAAC;QACb,IAAI,EAAE,MAAM,CAAC;QACb,QAAQ,CAAC,EAAE,MAAM,CAAC;KACnB,CAAC;IAGF,IAAI,EAAE;QACJ,IAAI,EAAE,MAAM,CAAC;QACb,IAAI,EAAE,MAAM,CAAC;QACb,IAAI,EAAE,MAAM,CAAC;QACb,GAAG,EAAE,MAAM,CAAC;QACZ,MAAM,CAAC,EAAE,MAAM,CAAC;KACjB,CAAC;IAGF,UAAU,EAAE,MAAM,CAAC;IACnB,UAAU,EAAE,MAAM,CAAC;IACnB,SAAS,EAAE,MAAM,CAAC;IAClB,WAAW,EAAE,MAAM,EAAE,CAAC;IAGtB,UAAU,EAAE,OAAO,CAAC;IACpB,gBAAgB,EAAE,MAAM,EAAE,CAAC;CAC5B;AAqID,MAAM,WAAW,sBAAsB;IACrC,IAAI,EAAE,MAAM,CAAC;IACb,SAAS,EAAE,MAAM,CAAC;IAClB,OAAO,EAAE,KAAK,CAAC;QACb,IAAI,EAAE,MAAM,CAAC;QACb,IAAI,EAAE,MAAM,CAAC;QACb,QAAQ,CAAC,EAAE,MAAM,CAAC;KACnB,CAAC,CAAC;IACH,KAAK,EAAE,KAAK,CAAC;QACX,IAAI,EAAE,MAAM,CAAC;QACb,IAAI,EAAE,MAAM,CAAC;QACb,GAAG,EAAE,MAAM,CAAC;QACZ,MAAM,CAAC,EAAE,MAAM,CAAC;KACjB,CAAC,CAAC;CACJ;AAED,MAAM,WAAW,uBAAuB;IACtC,KAAK,EAAE,KAAK,CAAC;QACX,WAAW,EAAE,MAAM,CAAC;QACpB,SAAS,EAAE,MAAM,CAAC;QAClB,OAAO,EAAE,mBAAmB,CAAC;QAC7B,UAAU,EAAE,MAAM,CAAC;QACnB,SAAS,EAAE,MAAM,CAAC;QAClB,cAAc,EAAE,cAAc,CAAC;KAChC,CAAC,CAAC;IACH,OAAO,EAAE;QACP,cAAc,EAAE,MAAM,CAAC;QACvB,cAAc,EAAE,MAAM,CAAC;QACvB,eAAe,EAAE,MAAM,CAAC;QACxB,SAAS,EAAE,MAAM,CAAC;KACnB,CAAC;IACF,gBAAgB,EAAE,MAAM,CAAC;IACzB,SAAS,EAAE,MAAM,CAAC;CACnB;AAMD,qBAAa,kBAAkB;IAC7B,OAAO,CAAC,MAAM,CAAc;IAC5B,OAAO,CAAC,MAAM,CAGZ;gBAEU,MAAM,CAAC,EAAE,WAAW;IAKhC;;OAEG;IACG,MAAM,CAAC,KAAK,EAAE,iBAAiB,GAAG,OAAO,CAAC,kBAAkB,CAAC;IAuCnE;;;OAGG;IACG,WAAW,CAAC,KAAK,EAAE,sBAAsB,GAAG,OAAO,CAAC,uBAAuB,CAAC;IAiElF;;OAEG;YACW,gBAAgB;IAqE9B;;OAEG;IACH,OAAO,CAAC,WAAW;IAkBnB;;OAEG;IACH,OAAO,CAAC,qBAAqB;IAW7B;;OAEG;IACH,OAAO,CAAC,gBAAgB;IAOxB;;OAEG;IACH,OAAO,CAAC,uBAAuB;CAOhC;AAMD;;;GAGG;AACH,wBAAgB,qBAAqB,CAAC,MAAM,CAAC,EAAE,WAAW,GAAG,kBAAkB,CAE9E;AAED;;GAEG;AACH,wBAAsB,eAAe,CAAC,KAAK,EAAE,iBAAiB,GAAG,OAAO,CAAC,kBAAkB,CAAC,CAE3F;AAED;;;GAGG;AACH,wBAAsB,qBAAqB,CAAC,KAAK,EAAE,sBAAsB,GAAG,OAAO,CAAC,uBAAuB,CAAC,CAE3G;AAED;;GAEG;AACH,wBAAsB,mBAAmB,CACvC,UAAU,EAAE,MAAM,EAClB,UAAU,EAAE,MAAM,EAClB,UAAU,EAAE,MAAM,EAClB,QAAQ,EAAE,MAAM,EAChB,QAAQ,EAAE,MAAM,EAChB,QAAQ,EAAE,MAAM,EAChB,GAAG,EAAE,MAAM,EACX,UAAU,EAAE,MAAM,EAClB,UAAU,EAAE,MAAM,EAClB,SAAS,EAAE,MAAM,GAChB,OAAO,CAAC,kBAAkB,CAAC,CAoB7B"}