import { z } from 'zod';
export declare const SeveritySchema: z.ZodEnum<["critical", "high", "medium", "low", "info"]>;
export type Severity = z.infer<typeof SeveritySchema>;
export declare const CategorySchema: z.ZodEnum<["logic-bug", "security", "race-condition", "null-ref", "boundary", "type-error", "unhandled-exception", "other"]>;
export type Category = z.infer<typeof CategorySchema>;
export declare const IntentAlignmentSchema: z.ZodEnum<["violates-intent", "matches-intent", "unclear"]>;
export type IntentAlignment = z.infer<typeof IntentAlignmentSchema>;
export declare const RiskDomainSchema: z.ZodEnum<["web-api", "cli-tool", "library", "build-tool", "data-pipeline", "desktop-app", "unknown"]>;
export type RiskDomain = z.infer<typeof RiskDomainSchema>;
export declare const LocationSchema: z.ZodObject<{
    file: z.ZodString;
    startLine: z.ZodNumber;
    endLine: z.ZodNumber;
}, "strip", z.ZodTypeAny, {
    file: string;
    startLine: number;
    endLine: number;
}, {
    file: string;
    startLine: number;
    endLine: number;
}>;
export declare const FindingSchema: z.ZodObject<{
    title: z.ZodString;
    severity: z.ZodEnum<["critical", "high", "medium", "low", "info"]>;
    category: z.ZodEnum<["logic-bug", "security", "race-condition", "null-ref", "boundary", "type-error", "unhandled-exception", "other"]>;
    location: z.ZodObject<{
        file: z.ZodString;
        startLine: z.ZodNumber;
        endLine: z.ZodNumber;
    }, "strip", z.ZodTypeAny, {
        file: string;
        startLine: number;
        endLine: number;
    }, {
        file: string;
        startLine: number;
        endLine: number;
    }>;
    reasoning: z.ZodString;
    intentAlignment: z.ZodEnum<["violates-intent", "matches-intent", "unclear"]>;
    confidence: z.ZodNumber;
    suggestedAction: z.ZodString;
    cwe: z.ZodOptional<z.ZodString>;
    owasp: z.ZodOptional<z.ZodString>;
}, "strip", z.ZodTypeAny, {
    title: string;
    severity: "critical" | "high" | "medium" | "low" | "info";
    category: "logic-bug" | "security" | "race-condition" | "null-ref" | "boundary" | "type-error" | "unhandled-exception" | "other";
    location: {
        file: string;
        startLine: number;
        endLine: number;
    };
    reasoning: string;
    intentAlignment: "violates-intent" | "matches-intent" | "unclear";
    confidence: number;
    suggestedAction: string;
    cwe?: string | undefined;
    owasp?: string | undefined;
}, {
    title: string;
    severity: "critical" | "high" | "medium" | "low" | "info";
    category: "logic-bug" | "security" | "race-condition" | "null-ref" | "boundary" | "type-error" | "unhandled-exception" | "other";
    location: {
        file: string;
        startLine: number;
        endLine: number;
    };
    reasoning: string;
    intentAlignment: "violates-intent" | "matches-intent" | "unclear";
    confidence: number;
    suggestedAction: string;
    cwe?: string | undefined;
    owasp?: string | undefined;
}>;
export type Finding = z.infer<typeof FindingSchema>;
export declare const FileAnalysisResponseSchema: z.ZodObject<{
    findings: z.ZodArray<z.ZodObject<{
        title: z.ZodString;
        severity: z.ZodEnum<["critical", "high", "medium", "low", "info"]>;
        category: z.ZodEnum<["logic-bug", "security", "race-condition", "null-ref", "boundary", "type-error", "unhandled-exception", "other"]>;
        location: z.ZodObject<{
            file: z.ZodString;
            startLine: z.ZodNumber;
            endLine: z.ZodNumber;
        }, "strip", z.ZodTypeAny, {
            file: string;
            startLine: number;
            endLine: number;
        }, {
            file: string;
            startLine: number;
            endLine: number;
        }>;
        reasoning: z.ZodString;
        intentAlignment: z.ZodEnum<["violates-intent", "matches-intent", "unclear"]>;
        confidence: z.ZodNumber;
        suggestedAction: z.ZodString;
        cwe: z.ZodOptional<z.ZodString>;
        owasp: z.ZodOptional<z.ZodString>;
    }, "strip", z.ZodTypeAny, {
        title: string;
        severity: "critical" | "high" | "medium" | "low" | "info";
        category: "logic-bug" | "security" | "race-condition" | "null-ref" | "boundary" | "type-error" | "unhandled-exception" | "other";
        location: {
            file: string;
            startLine: number;
            endLine: number;
        };
        reasoning: string;
        intentAlignment: "violates-intent" | "matches-intent" | "unclear";
        confidence: number;
        suggestedAction: string;
        cwe?: string | undefined;
        owasp?: string | undefined;
    }, {
        title: string;
        severity: "critical" | "high" | "medium" | "low" | "info";
        category: "logic-bug" | "security" | "race-condition" | "null-ref" | "boundary" | "type-error" | "unhandled-exception" | "other";
        location: {
            file: string;
            startLine: number;
            endLine: number;
        };
        reasoning: string;
        intentAlignment: "violates-intent" | "matches-intent" | "unclear";
        confidence: number;
        suggestedAction: string;
        cwe?: string | undefined;
        owasp?: string | undefined;
    }>, "many">;
}, "strip", z.ZodTypeAny, {
    findings: {
        title: string;
        severity: "critical" | "high" | "medium" | "low" | "info";
        category: "logic-bug" | "security" | "race-condition" | "null-ref" | "boundary" | "type-error" | "unhandled-exception" | "other";
        location: {
            file: string;
            startLine: number;
            endLine: number;
        };
        reasoning: string;
        intentAlignment: "violates-intent" | "matches-intent" | "unclear";
        confidence: number;
        suggestedAction: string;
        cwe?: string | undefined;
        owasp?: string | undefined;
    }[];
}, {
    findings: {
        title: string;
        severity: "critical" | "high" | "medium" | "low" | "info";
        category: "logic-bug" | "security" | "race-condition" | "null-ref" | "boundary" | "type-error" | "unhandled-exception" | "other";
        location: {
            file: string;
            startLine: number;
            endLine: number;
        };
        reasoning: string;
        intentAlignment: "violates-intent" | "matches-intent" | "unclear";
        confidence: number;
        suggestedAction: string;
        cwe?: string | undefined;
        owasp?: string | undefined;
    }[];
}>;
export type FileAnalysisResponse = z.infer<typeof FileAnalysisResponseSchema>;
export declare const IntentProfileSchema: z.ZodObject<{
    purpose: z.ZodString;
    expectedBehaviors: z.ZodArray<z.ZodString, "many">;
    unexpectedBehaviors: z.ZodArray<z.ZodString, "many">;
    framework: z.ZodString;
    riskDomain: z.ZodEnum<["web-api", "cli-tool", "library", "build-tool", "data-pipeline", "desktop-app", "unknown"]>;
}, "strip", z.ZodTypeAny, {
    purpose: string;
    expectedBehaviors: string[];
    unexpectedBehaviors: string[];
    framework: string;
    riskDomain: "web-api" | "cli-tool" | "library" | "build-tool" | "data-pipeline" | "desktop-app" | "unknown";
}, {
    purpose: string;
    expectedBehaviors: string[];
    unexpectedBehaviors: string[];
    framework: string;
    riskDomain: "web-api" | "cli-tool" | "library" | "build-tool" | "data-pipeline" | "desktop-app" | "unknown";
}>;
export type IntentProfile = z.infer<typeof IntentProfileSchema>;
export declare const AreaOfInterestSchema: z.ZodObject<{
    startLine: z.ZodNumber;
    endLine: z.ZodNumber;
    reason: z.ZodString;
}, "strip", z.ZodTypeAny, {
    startLine: number;
    endLine: number;
    reason: string;
}, {
    startLine: number;
    endLine: number;
    reason: string;
}>;
export declare const TriageDecisionSchema: z.ZodObject<{
    action: z.ZodEnum<["analyze", "skip"]>;
    reason: z.ZodString;
    areasOfInterest: z.ZodArray<z.ZodObject<{
        startLine: z.ZodNumber;
        endLine: z.ZodNumber;
        reason: z.ZodString;
    }, "strip", z.ZodTypeAny, {
        startLine: number;
        endLine: number;
        reason: string;
    }, {
        startLine: number;
        endLine: number;
        reason: string;
    }>, "many">;
}, "strip", z.ZodTypeAny, {
    reason: string;
    action: "analyze" | "skip";
    areasOfInterest: {
        startLine: number;
        endLine: number;
        reason: string;
    }[];
}, {
    reason: string;
    action: "analyze" | "skip";
    areasOfInterest: {
        startLine: number;
        endLine: number;
        reason: string;
    }[];
}>;
export type TriageDecision = z.infer<typeof TriageDecisionSchema>;
//# sourceMappingURL=findings.d.ts.map