circle-ir-ai 1.1.0

package/dist/llm/schemas.d.ts

@@ -0,0 +1,892 @@
+/**
+ * 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';
+export declare const RoleClassificationResponseSchema: z.ZodEffects<z.ZodObject<{
+    role: z.ZodOptional<z.ZodString>;
+    confidence: z.ZodOptional<z.ZodNumber>;
+    reasoning: z.ZodOptional<z.ZodString>;
+    indicators: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
+}, "strip", z.ZodTypeAny, {
+    role?: string | undefined;
+    confidence?: number | undefined;
+    reasoning?: string | undefined;
+    indicators?: string[] | undefined;
+}, {
+    role?: string | undefined;
+    confidence?: number | undefined;
+    reasoning?: string | undefined;
+    indicators?: string[] | undefined;
+}>, {
+    role: "controller" | "service" | "repository" | "utility" | "entity" | "unknown";
+    confidence: number;
+    reasoning: string;
+    indicators: string[];
+}, {
+    role?: string | undefined;
+    confidence?: number | undefined;
+    reasoning?: string | undefined;
+    indicators?: string[] | undefined;
+}>;
+export type RoleClassificationResponse = z.output<typeof RoleClassificationResponseSchema>;
+export declare const DiscoveredSourceSchema: z.ZodEffects<z.ZodObject<{
+    line: z.ZodOptional<z.ZodNumber>;
+    variable: z.ZodOptional<z.ZodString>;
+    type: z.ZodOptional<z.ZodString>;
+    confidence: z.ZodOptional<z.ZodNumber>;
+    reasoning: z.ZodOptional<z.ZodString>;
+}, "strip", z.ZodTypeAny, {
+    confidence?: number | undefined;
+    reasoning?: string | undefined;
+    type?: string | undefined;
+    line?: number | undefined;
+    variable?: string | undefined;
+}, {
+    confidence?: number | undefined;
+    reasoning?: string | undefined;
+    type?: string | undefined;
+    line?: number | undefined;
+    variable?: string | undefined;
+}>, {
+    line: number;
+    variable: string;
+    type: string;
+    confidence: number;
+    reasoning: string;
+}, {
+    confidence?: number | undefined;
+    reasoning?: string | undefined;
+    type?: string | undefined;
+    line?: number | undefined;
+    variable?: string | undefined;
+}>;
+export declare const SourceDiscoveryResponseSchema: z.ZodEffects<z.ZodObject<{
+    additionalSources: z.ZodOptional<z.ZodArray<z.ZodEffects<z.ZodObject<{
+        line: z.ZodOptional<z.ZodNumber>;
+        variable: z.ZodOptional<z.ZodString>;
+        type: z.ZodOptional<z.ZodString>;
+        confidence: z.ZodOptional<z.ZodNumber>;
+        reasoning: z.ZodOptional<z.ZodString>;
+    }, "strip", z.ZodTypeAny, {
+        confidence?: number | undefined;
+        reasoning?: string | undefined;
+        type?: string | undefined;
+        line?: number | undefined;
+        variable?: string | undefined;
+    }, {
+        confidence?: number | undefined;
+        reasoning?: string | undefined;
+        type?: string | undefined;
+        line?: number | undefined;
+        variable?: string | undefined;
+    }>, {
+        line: number;
+        variable: string;
+        type: string;
+        confidence: number;
+        reasoning: string;
+    }, {
+        confidence?: number | undefined;
+        reasoning?: string | undefined;
+        type?: string | undefined;
+        line?: number | undefined;
+        variable?: string | undefined;
+    }>, "many">>;
+}, "strip", z.ZodTypeAny, {
+    additionalSources?: {
+        line: number;
+        variable: string;
+        type: string;
+        confidence: number;
+        reasoning: string;
+    }[] | undefined;
+}, {
+    additionalSources?: {
+        confidence?: number | undefined;
+        reasoning?: string | undefined;
+        type?: string | undefined;
+        line?: number | undefined;
+        variable?: string | undefined;
+    }[] | undefined;
+}>, {
+    additionalSources: {
+        line: number;
+        variable: string;
+        type: string;
+        confidence: number;
+        reasoning: string;
+    }[];
+}, {
+    additionalSources?: {
+        confidence?: number | undefined;
+        reasoning?: string | undefined;
+        type?: string | undefined;
+        line?: number | undefined;
+        variable?: string | undefined;
+    }[] | undefined;
+}>;
+export type DiscoveredSource = z.output<typeof DiscoveredSourceSchema>;
+export type SourceDiscoveryResponse = z.output<typeof SourceDiscoveryResponseSchema>;
+export declare const DiscoveredSinkSchema: z.ZodEffects<z.ZodObject<{
+    line: z.ZodOptional<z.ZodNumber>;
+    method: z.ZodOptional<z.ZodString>;
+    type: z.ZodOptional<z.ZodString>;
+    cwe: z.ZodOptional<z.ZodString>;
+    argPositions: z.ZodOptional<z.ZodArray<z.ZodNumber, "many">>;
+    confidence: z.ZodOptional<z.ZodNumber>;
+    reasoning: z.ZodOptional<z.ZodString>;
+}, "strip", z.ZodTypeAny, {
+    confidence?: number | undefined;
+    reasoning?: string | undefined;
+    type?: string | undefined;
+    line?: number | undefined;
+    method?: string | undefined;
+    cwe?: string | undefined;
+    argPositions?: number[] | undefined;
+}, {
+    confidence?: number | undefined;
+    reasoning?: string | undefined;
+    type?: string | undefined;
+    line?: number | undefined;
+    method?: string | undefined;
+    cwe?: string | undefined;
+    argPositions?: number[] | undefined;
+}>, {
+    line: number;
+    method: string;
+    type: string;
+    cwe: string;
+    argPositions: number[];
+    confidence: number;
+    reasoning: string;
+}, {
+    confidence?: number | undefined;
+    reasoning?: string | undefined;
+    type?: string | undefined;
+    line?: number | undefined;
+    method?: string | undefined;
+    cwe?: string | undefined;
+    argPositions?: number[] | undefined;
+}>;
+export declare const SinkDiscoveryResponseSchema: z.ZodEffects<z.ZodObject<{
+    additionalSinks: z.ZodOptional<z.ZodArray<z.ZodEffects<z.ZodObject<{
+        line: z.ZodOptional<z.ZodNumber>;
+        method: z.ZodOptional<z.ZodString>;
+        type: z.ZodOptional<z.ZodString>;
+        cwe: z.ZodOptional<z.ZodString>;
+        argPositions: z.ZodOptional<z.ZodArray<z.ZodNumber, "many">>;
+        confidence: z.ZodOptional<z.ZodNumber>;
+        reasoning: z.ZodOptional<z.ZodString>;
+    }, "strip", z.ZodTypeAny, {
+        confidence?: number | undefined;
+        reasoning?: string | undefined;
+        type?: string | undefined;
+        line?: number | undefined;
+        method?: string | undefined;
+        cwe?: string | undefined;
+        argPositions?: number[] | undefined;
+    }, {
+        confidence?: number | undefined;
+        reasoning?: string | undefined;
+        type?: string | undefined;
+        line?: number | undefined;
+        method?: string | undefined;
+        cwe?: string | undefined;
+        argPositions?: number[] | undefined;
+    }>, {
+        line: number;
+        method: string;
+        type: string;
+        cwe: string;
+        argPositions: number[];
+        confidence: number;
+        reasoning: string;
+    }, {
+        confidence?: number | undefined;
+        reasoning?: string | undefined;
+        type?: string | undefined;
+        line?: number | undefined;
+        method?: string | undefined;
+        cwe?: string | undefined;
+        argPositions?: number[] | undefined;
+    }>, "many">>;
+}, "strip", z.ZodTypeAny, {
+    additionalSinks?: {
+        line: number;
+        method: string;
+        type: string;
+        cwe: string;
+        argPositions: number[];
+        confidence: number;
+        reasoning: string;
+    }[] | undefined;
+}, {
+    additionalSinks?: {
+        confidence?: number | undefined;
+        reasoning?: string | undefined;
+        type?: string | undefined;
+        line?: number | undefined;
+        method?: string | undefined;
+        cwe?: string | undefined;
+        argPositions?: number[] | undefined;
+    }[] | undefined;
+}>, {
+    additionalSinks: {
+        line: number;
+        method: string;
+        type: string;
+        cwe: string;
+        argPositions: number[];
+        confidence: number;
+        reasoning: string;
+    }[];
+}, {
+    additionalSinks?: {
+        confidence?: number | undefined;
+        reasoning?: string | undefined;
+        type?: string | undefined;
+        line?: number | undefined;
+        method?: string | undefined;
+        cwe?: string | undefined;
+        argPositions?: number[] | undefined;
+    }[] | undefined;
+}>;
+export type DiscoveredSink = z.output<typeof DiscoveredSinkSchema>;
+export type SinkDiscoveryResponse = z.output<typeof SinkDiscoveryResponseSchema>;
+export declare const VerificationResponseSchema: z.ZodEffects<z.ZodObject<{
+    verdict: z.ZodNullable<z.ZodOptional<z.ZodString>>;
+    confidence: z.ZodNullable<z.ZodOptional<z.ZodUnion<[z.ZodNumber, z.ZodString]>>>;
+    reasoning: z.ZodNullable<z.ZodOptional<z.ZodString>>;
+    exploitability: z.ZodNullable<z.ZodOptional<z.ZodString>>;
+    sanitizersFound: z.ZodNullable<z.ZodOptional<z.ZodArray<z.ZodUnion<[z.ZodString, z.ZodObject<{}, "strip", z.ZodTypeAny, {}, {}>]>, "many">>>;
+    attackVector: z.ZodNullable<z.ZodOptional<z.ZodString>>;
+}, "strip", z.ZodTypeAny, {
+    confidence?: string | number | null | undefined;
+    reasoning?: string | null | undefined;
+    verdict?: string | null | undefined;
+    exploitability?: string | null | undefined;
+    sanitizersFound?: (string | {})[] | null | undefined;
+    attackVector?: string | null | undefined;
+}, {
+    confidence?: string | number | null | undefined;
+    reasoning?: string | null | undefined;
+    verdict?: string | null | undefined;
+    exploitability?: string | null | undefined;
+    sanitizersFound?: (string | {})[] | null | undefined;
+    attackVector?: string | null | undefined;
+}>, {
+    verdict: "TRUE_POSITIVE" | "FALSE_POSITIVE" | "UNCERTAIN";
+    confidence: number;
+    reasoning: string;
+    exploitability: "high" | "medium" | "low" | "none";
+    sanitizersFound: string[];
+    attackVector: string;
+}, {
+    confidence?: string | number | null | undefined;
+    reasoning?: string | null | undefined;
+    verdict?: string | null | undefined;
+    exploitability?: string | null | undefined;
+    sanitizersFound?: (string | {})[] | null | undefined;
+    attackVector?: string | null | undefined;
+}>;
+export type VerificationResponse = z.output<typeof VerificationResponseSchema>;
+export declare const PatternVerificationItemSchema: z.ZodEffects<z.ZodObject<{
+    method: z.ZodOptional<z.ZodString>;
+    class: z.ZodOptional<z.ZodString>;
+    isValid: z.ZodOptional<z.ZodBoolean>;
+    confidence: z.ZodOptional<z.ZodNumber>;
+    reasoning: z.ZodOptional<z.ZodString>;
+    suggestedType: z.ZodOptional<z.ZodString>;
+    suggestedCwe: z.ZodOptional<z.ZodString>;
+}, "strip", z.ZodTypeAny, {
+    confidence?: number | undefined;
+    reasoning?: string | undefined;
+    method?: string | undefined;
+    class?: string | undefined;
+    isValid?: boolean | undefined;
+    suggestedType?: string | undefined;
+    suggestedCwe?: string | undefined;
+}, {
+    confidence?: number | undefined;
+    reasoning?: string | undefined;
+    method?: string | undefined;
+    class?: string | undefined;
+    isValid?: boolean | undefined;
+    suggestedType?: string | undefined;
+    suggestedCwe?: string | undefined;
+}>, {
+    method: string;
+    class: string | undefined;
+    isValid: boolean;
+    confidence: number;
+    reasoning: string;
+    suggestedType: string | undefined;
+    suggestedCwe: string | undefined;
+}, {
+    confidence?: number | undefined;
+    reasoning?: string | undefined;
+    method?: string | undefined;
+    class?: string | undefined;
+    isValid?: boolean | undefined;
+    suggestedType?: string | undefined;
+    suggestedCwe?: string | undefined;
+}>;
+export declare const PatternVerificationResponseSchema: z.ZodEffects<z.ZodObject<{
+    verifications: z.ZodOptional<z.ZodArray<z.ZodEffects<z.ZodObject<{
+        method: z.ZodOptional<z.ZodString>;
+        class: z.ZodOptional<z.ZodString>;
+        isValid: z.ZodOptional<z.ZodBoolean>;
+        confidence: z.ZodOptional<z.ZodNumber>;
+        reasoning: z.ZodOptional<z.ZodString>;
+        suggestedType: z.ZodOptional<z.ZodString>;
+        suggestedCwe: z.ZodOptional<z.ZodString>;
+    }, "strip", z.ZodTypeAny, {
+        confidence?: number | undefined;
+        reasoning?: string | undefined;
+        method?: string | undefined;
+        class?: string | undefined;
+        isValid?: boolean | undefined;
+        suggestedType?: string | undefined;
+        suggestedCwe?: string | undefined;
+    }, {
+        confidence?: number | undefined;
+        reasoning?: string | undefined;
+        method?: string | undefined;
+        class?: string | undefined;
+        isValid?: boolean | undefined;
+        suggestedType?: string | undefined;
+        suggestedCwe?: string | undefined;
+    }>, {
+        method: string;
+        class: string | undefined;
+        isValid: boolean;
+        confidence: number;
+        reasoning: string;
+        suggestedType: string | undefined;
+        suggestedCwe: string | undefined;
+    }, {
+        confidence?: number | undefined;
+        reasoning?: string | undefined;
+        method?: string | undefined;
+        class?: string | undefined;
+        isValid?: boolean | undefined;
+        suggestedType?: string | undefined;
+        suggestedCwe?: string | undefined;
+    }>, "many">>;
+}, "strip", z.ZodTypeAny, {
+    verifications?: {
+        method: string;
+        class: string | undefined;
+        isValid: boolean;
+        confidence: number;
+        reasoning: string;
+        suggestedType: string | undefined;
+        suggestedCwe: string | undefined;
+    }[] | undefined;
+}, {
+    verifications?: {
+        confidence?: number | undefined;
+        reasoning?: string | undefined;
+        method?: string | undefined;
+        class?: string | undefined;
+        isValid?: boolean | undefined;
+        suggestedType?: string | undefined;
+        suggestedCwe?: string | undefined;
+    }[] | undefined;
+}>, {
+    verifications: {
+        method: string;
+        class: string | undefined;
+        isValid: boolean;
+        confidence: number;
+        reasoning: string;
+        suggestedType: string | undefined;
+        suggestedCwe: string | undefined;
+    }[];
+}, {
+    verifications?: {
+        confidence?: number | undefined;
+        reasoning?: string | undefined;
+        method?: string | undefined;
+        class?: string | undefined;
+        isValid?: boolean | undefined;
+        suggestedType?: string | undefined;
+        suggestedCwe?: string | undefined;
+    }[] | undefined;
+}>;
+export type PatternVerificationItem = z.output<typeof PatternVerificationItemSchema>;
+export type PatternVerificationResponse = z.output<typeof PatternVerificationResponseSchema>;
+export declare const IndexMappingValueSchema: z.ZodEffects<z.ZodObject<{
+    value: z.ZodOptional<z.ZodString>;
+    tainted: z.ZodOptional<z.ZodBoolean>;
+}, "strip", z.ZodTypeAny, {
+    value?: string | undefined;
+    tainted?: boolean | undefined;
+}, {
+    value?: string | undefined;
+    tainted?: boolean | undefined;
+}>, {
+    value: string;
+    tainted: boolean;
+}, {
+    value?: string | undefined;
+    tainted?: boolean | undefined;
+}>;
+export declare const ListIndexResponseSchema: z.ZodEffects<z.ZodObject<{
+    finalIndexMapping: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodEffects<z.ZodObject<{
+        value: z.ZodOptional<z.ZodString>;
+        tainted: z.ZodOptional<z.ZodBoolean>;
+    }, "strip", z.ZodTypeAny, {
+        value?: string | undefined;
+        tainted?: boolean | undefined;
+    }, {
+        value?: string | undefined;
+        tainted?: boolean | undefined;
+    }>, {
+        value: string;
+        tainted: boolean;
+    }, {
+        value?: string | undefined;
+        tainted?: boolean | undefined;
+    }>>>;
+    taintedIndices: z.ZodOptional<z.ZodArray<z.ZodNumber, "many">>;
+    reasoning: z.ZodOptional<z.ZodString>;
+}, "strip", z.ZodTypeAny, {
+    reasoning?: string | undefined;
+    finalIndexMapping?: Record<string, {
+        value: string;
+        tainted: boolean;
+    }> | undefined;
+    taintedIndices?: number[] | undefined;
+}, {
+    reasoning?: string | undefined;
+    finalIndexMapping?: Record<string, {
+        value?: string | undefined;
+        tainted?: boolean | undefined;
+    }> | undefined;
+    taintedIndices?: number[] | undefined;
+}>, {
+    finalIndexMapping: Record<string, {
+        value: string;
+        tainted: boolean;
+    }>;
+    taintedIndices: number[];
+    reasoning: string;
+}, {
+    reasoning?: string | undefined;
+    finalIndexMapping?: Record<string, {
+        value?: string | undefined;
+        tainted?: boolean | undefined;
+    }> | undefined;
+    taintedIndices?: number[] | undefined;
+}>;
+export type ListIndexResponse = z.output<typeof ListIndexResponseSchema>;
+export declare const CorrelatedGroupSchema: z.ZodEffects<z.ZodObject<{
+    predicates: z.ZodOptional<z.ZodArray<z.ZodNumber, "many">>;
+    correlation: z.ZodOptional<z.ZodString>;
+    confidence: z.ZodOptional<z.ZodNumber>;
+}, "strip", z.ZodTypeAny, {
+    confidence?: number | undefined;
+    predicates?: number[] | undefined;
+    correlation?: string | undefined;
+}, {
+    confidence?: number | undefined;
+    predicates?: number[] | undefined;
+    correlation?: string | undefined;
+}>, {
+    predicates: number[];
+    correlation: "same_variable" | "opposite" | "implies" | "independent";
+    confidence: number;
+}, {
+    confidence?: number | undefined;
+    predicates?: number[] | undefined;
+    correlation?: string | undefined;
+}>;
+export declare const CorrelatedPredicateResponseSchema: z.ZodEffects<z.ZodObject<{
+    correlatedGroups: z.ZodOptional<z.ZodArray<z.ZodEffects<z.ZodObject<{
+        predicates: z.ZodOptional<z.ZodArray<z.ZodNumber, "many">>;
+        correlation: z.ZodOptional<z.ZodString>;
+        confidence: z.ZodOptional<z.ZodNumber>;
+    }, "strip", z.ZodTypeAny, {
+        confidence?: number | undefined;
+        predicates?: number[] | undefined;
+        correlation?: string | undefined;
+    }, {
+        confidence?: number | undefined;
+        predicates?: number[] | undefined;
+        correlation?: string | undefined;
+    }>, {
+        predicates: number[];
+        correlation: "same_variable" | "opposite" | "implies" | "independent";
+        confidence: number;
+    }, {
+        confidence?: number | undefined;
+        predicates?: number[] | undefined;
+        correlation?: string | undefined;
+    }>, "many">>;
+    reasoning: z.ZodOptional<z.ZodString>;
+}, "strip", z.ZodTypeAny, {
+    reasoning?: string | undefined;
+    correlatedGroups?: {
+        predicates: number[];
+        correlation: "same_variable" | "opposite" | "implies" | "independent";
+        confidence: number;
+    }[] | undefined;
+}, {
+    reasoning?: string | undefined;
+    correlatedGroups?: {
+        confidence?: number | undefined;
+        predicates?: number[] | undefined;
+        correlation?: string | undefined;
+    }[] | undefined;
+}>, {
+    correlatedGroups: {
+        predicates: number[];
+        correlation: "same_variable" | "opposite" | "implies" | "independent";
+        confidence: number;
+    }[];
+    reasoning: string;
+}, {
+    reasoning?: string | undefined;
+    correlatedGroups?: {
+        confidence?: number | undefined;
+        predicates?: number[] | undefined;
+        correlation?: string | undefined;
+    }[] | undefined;
+}>;
+export type CorrelatedGroup = z.output<typeof CorrelatedGroupSchema>;
+export type CorrelatedPredicateResponse = z.output<typeof CorrelatedPredicateResponseSchema>;
+export declare const TaintFlowSchema: z.ZodEffects<z.ZodObject<{
+    sourceSymbol: z.ZodOptional<z.ZodString>;
+    targetSymbol: z.ZodOptional<z.ZodString>;
+    flowType: z.ZodOptional<z.ZodString>;
+    confidence: z.ZodOptional<z.ZodNumber>;
+}, "strip", z.ZodTypeAny, {
+    confidence?: number | undefined;
+    sourceSymbol?: string | undefined;
+    targetSymbol?: string | undefined;
+    flowType?: string | undefined;
+}, {
+    confidence?: number | undefined;
+    sourceSymbol?: string | undefined;
+    targetSymbol?: string | undefined;
+    flowType?: string | undefined;
+}>, {
+    sourceSymbol: string;
+    targetSymbol: string;
+    flowType: "direct" | "transitive" | "conditional";
+    confidence: number;
+}, {
+    confidence?: number | undefined;
+    sourceSymbol?: string | undefined;
+    targetSymbol?: string | undefined;
+    flowType?: string | undefined;
+}>;
+export declare const CrossFileTaintResponseSchema: z.ZodEffects<z.ZodObject<{
+    taintFlows: z.ZodOptional<z.ZodArray<z.ZodEffects<z.ZodObject<{
+        sourceSymbol: z.ZodOptional<z.ZodString>;
+        targetSymbol: z.ZodOptional<z.ZodString>;
+        flowType: z.ZodOptional<z.ZodString>;
+        confidence: z.ZodOptional<z.ZodNumber>;
+    }, "strip", z.ZodTypeAny, {
+        confidence?: number | undefined;
+        sourceSymbol?: string | undefined;
+        targetSymbol?: string | undefined;
+        flowType?: string | undefined;
+    }, {
+        confidence?: number | undefined;
+        sourceSymbol?: string | undefined;
+        targetSymbol?: string | undefined;
+        flowType?: string | undefined;
+    }>, {
+        sourceSymbol: string;
+        targetSymbol: string;
+        flowType: "direct" | "transitive" | "conditional";
+        confidence: number;
+    }, {
+        confidence?: number | undefined;
+        sourceSymbol?: string | undefined;
+        targetSymbol?: string | undefined;
+        flowType?: string | undefined;
+    }>, "many">>;
+    reasoning: z.ZodOptional<z.ZodString>;
+}, "strip", z.ZodTypeAny, {
+    reasoning?: string | undefined;
+    taintFlows?: {
+        sourceSymbol: string;
+        targetSymbol: string;
+        flowType: "direct" | "transitive" | "conditional";
+        confidence: number;
+    }[] | undefined;
+}, {
+    reasoning?: string | undefined;
+    taintFlows?: {
+        confidence?: number | undefined;
+        sourceSymbol?: string | undefined;
+        targetSymbol?: string | undefined;
+        flowType?: string | undefined;
+    }[] | undefined;
+}>, {
+    taintFlows: {
+        sourceSymbol: string;
+        targetSymbol: string;
+        flowType: "direct" | "transitive" | "conditional";
+        confidence: number;
+    }[];
+    reasoning: string;
+}, {
+    reasoning?: string | undefined;
+    taintFlows?: {
+        confidence?: number | undefined;
+        sourceSymbol?: string | undefined;
+        targetSymbol?: string | undefined;
+        flowType?: string | undefined;
+    }[] | undefined;
+}>;
+export type TaintFlow = z.output<typeof TaintFlowSchema>;
+export type CrossFileTaintResponse = z.output<typeof CrossFileTaintResponseSchema>;
+export declare const DiscoveredVulnerabilitySchema: z.ZodEffects<z.ZodObject<{
+    type: z.ZodOptional<z.ZodString>;
+    cwe: z.ZodOptional<z.ZodString>;
+    severity: z.ZodOptional<z.ZodString>;
+    line: z.ZodOptional<z.ZodNumber>;
+    code: z.ZodOptional<z.ZodString>;
+    description: z.ZodOptional<z.ZodString>;
+    attackVector: z.ZodOptional<z.ZodString>;
+    remediation: z.ZodOptional<z.ZodString>;
+    source: z.ZodOptional<z.ZodObject<{
+        variable: z.ZodOptional<z.ZodString>;
+        method: z.ZodOptional<z.ZodString>;
+        line: z.ZodOptional<z.ZodNumber>;
+    }, "strip", z.ZodTypeAny, {
+        line?: number | undefined;
+        variable?: string | undefined;
+        method?: string | undefined;
+    }, {
+        line?: number | undefined;
+        variable?: string | undefined;
+        method?: string | undefined;
+    }>>;
+}, "strip", z.ZodTypeAny, {
+    code?: string | undefined;
+    type?: string | undefined;
+    line?: number | undefined;
+    cwe?: string | undefined;
+    attackVector?: string | undefined;
+    severity?: string | undefined;
+    description?: string | undefined;
+    remediation?: string | undefined;
+    source?: {
+        line?: number | undefined;
+        variable?: string | undefined;
+        method?: string | undefined;
+    } | undefined;
+}, {
+    code?: string | undefined;
+    type?: string | undefined;
+    line?: number | undefined;
+    cwe?: string | undefined;
+    attackVector?: string | undefined;
+    severity?: string | undefined;
+    description?: string | undefined;
+    remediation?: string | undefined;
+    source?: {
+        line?: number | undefined;
+        variable?: string | undefined;
+        method?: string | undefined;
+    } | undefined;
+}>, {
+    type: string;
+    cwe: string;
+    severity: "high" | "medium" | "low" | "critical";
+    line: number;
+    code: string;
+    description: string;
+    attackVector: string | undefined;
+    remediation: string;
+    source: {
+        line?: number | undefined;
+        variable?: string | undefined;
+        method?: string | undefined;
+    } | undefined;
+}, {
+    code?: string | undefined;
+    type?: string | undefined;
+    line?: number | undefined;
+    cwe?: string | undefined;
+    attackVector?: string | undefined;
+    severity?: string | undefined;
+    description?: string | undefined;
+    remediation?: string | undefined;
+    source?: {
+        line?: number | undefined;
+        variable?: string | undefined;
+        method?: string | undefined;
+    } | undefined;
+}>;
+export declare const DiscoveryResponseSchema: z.ZodEffects<z.ZodObject<{
+    vulnerabilityFound: z.ZodOptional<z.ZodBoolean>;
+    confidence: z.ZodOptional<z.ZodNumber>;
+    reasoning: z.ZodOptional<z.ZodString>;
+    vulnerability: z.ZodOptional<z.ZodEffects<z.ZodObject<{
+        type: z.ZodOptional<z.ZodString>;
+        cwe: z.ZodOptional<z.ZodString>;
+        severity: z.ZodOptional<z.ZodString>;
+        line: z.ZodOptional<z.ZodNumber>;
+        code: z.ZodOptional<z.ZodString>;
+        description: z.ZodOptional<z.ZodString>;
+        attackVector: z.ZodOptional<z.ZodString>;
+        remediation: z.ZodOptional<z.ZodString>;
+        source: z.ZodOptional<z.ZodObject<{
+            variable: z.ZodOptional<z.ZodString>;
+            method: z.ZodOptional<z.ZodString>;
+            line: z.ZodOptional<z.ZodNumber>;
+        }, "strip", z.ZodTypeAny, {
+            line?: number | undefined;
+            variable?: string | undefined;
+            method?: string | undefined;
+        }, {
+            line?: number | undefined;
+            variable?: string | undefined;
+            method?: string | undefined;
+        }>>;
+    }, "strip", z.ZodTypeAny, {
+        code?: string | undefined;
+        type?: string | undefined;
+        line?: number | undefined;
+        cwe?: string | undefined;
+        attackVector?: string | undefined;
+        severity?: string | undefined;
+        description?: string | undefined;
+        remediation?: string | undefined;
+        source?: {
+            line?: number | undefined;
+            variable?: string | undefined;
+            method?: string | undefined;
+        } | undefined;
+    }, {
+        code?: string | undefined;
+        type?: string | undefined;
+        line?: number | undefined;
+        cwe?: string | undefined;
+        attackVector?: string | undefined;
+        severity?: string | undefined;
+        description?: string | undefined;
+        remediation?: string | undefined;
+        source?: {
+            line?: number | undefined;
+            variable?: string | undefined;
+            method?: string | undefined;
+        } | undefined;
+    }>, {
+        type: string;
+        cwe: string;
+        severity: "high" | "medium" | "low" | "critical";
+        line: number;
+        code: string;
+        description: string;
+        attackVector: string | undefined;
+        remediation: string;
+        source: {
+            line?: number | undefined;
+            variable?: string | undefined;
+            method?: string | undefined;
+        } | undefined;
+    }, {
+        code?: string | undefined;
+        type?: string | undefined;
+        line?: number | undefined;
+        cwe?: string | undefined;
+        attackVector?: string | undefined;
+        severity?: string | undefined;
+        description?: string | undefined;
+        remediation?: string | undefined;
+        source?: {
+            line?: number | undefined;
+            variable?: string | undefined;
+            method?: string | undefined;
+        } | undefined;
+    }>>;
+}, "strip", z.ZodTypeAny, {
+    confidence?: number | undefined;
+    reasoning?: string | undefined;
+    vulnerabilityFound?: boolean | undefined;
+    vulnerability?: {
+        type: string;
+        cwe: string;
+        severity: "high" | "medium" | "low" | "critical";
+        line: number;
+        code: string;
+        description: string;
+        attackVector: string | undefined;
+        remediation: string;
+        source: {
+            line?: number | undefined;
+            variable?: string | undefined;
+            method?: string | undefined;
+        } | undefined;
+    } | undefined;
+}, {
+    confidence?: number | undefined;
+    reasoning?: string | undefined;
+    vulnerabilityFound?: boolean | undefined;
+    vulnerability?: {
+        code?: string | undefined;
+        type?: string | undefined;
+        line?: number | undefined;
+        cwe?: string | undefined;
+        attackVector?: string | undefined;
+        severity?: string | undefined;
+        description?: string | undefined;
+        remediation?: string | undefined;
+        source?: {
+            line?: number | undefined;
+            variable?: string | undefined;
+            method?: string | undefined;
+        } | undefined;
+    } | undefined;
+}>, {
+    vulnerabilityFound: boolean;
+    confidence: number;
+    reasoning: string;
+    vulnerability: {
+        type: string;
+        cwe: string;
+        severity: "high" | "medium" | "low" | "critical";
+        line: number;
+        code: string;
+        description: string;
+        attackVector: string | undefined;
+        remediation: string;
+        source: {
+            line?: number | undefined;
+            variable?: string | undefined;
+            method?: string | undefined;
+        } | undefined;
+    } | undefined;
+}, {
+    confidence?: number | undefined;
+    reasoning?: string | undefined;
+    vulnerabilityFound?: boolean | undefined;
+    vulnerability?: {
+        code?: string | undefined;
+        type?: string | undefined;
+        line?: number | undefined;
+        cwe?: string | undefined;
+        attackVector?: string | undefined;
+        severity?: string | undefined;
+        description?: string | undefined;
+        remediation?: string | undefined;
+        source?: {
+            line?: number | undefined;
+            variable?: string | undefined;
+            method?: string | undefined;
+        } | undefined;
+    } | undefined;
+}>;
+export type DiscoveredVulnerability = z.output<typeof DiscoveredVulnerabilitySchema>;
+export type DiscoveryResponse = z.output<typeof DiscoveryResponseSchema>;
+//# sourceMappingURL=schemas.d.ts.map