import { z } from "zod";
export declare const STRIX_INVOCATION_LIMITS: Readonly<{
    readonly maxBudgetCents: 1000;
    readonly maxTurns: 20;
    readonly timeoutMs: 300000;
}>;
export declare function isSafeStrixRelativePosixPath(value: string): boolean;
export declare const StrixRelativePosixPathSchema: z.ZodString;
export declare const StrixSeveritySchema: z.ZodEnum<{
    critical: "critical";
    high: "high";
    info: "info";
    low: "low";
    medium: "medium";
}>;
export declare const StrixFindingClassSchema: z.ZodEnum<{
    dependency_cve: "dependency_cve";
    dynamic: "dynamic";
}>;
export declare const StrixSandboxPlatformSchema: z.ZodEnum<{
    "linux/amd64": "linux/amd64";
    "linux/arm64": "linux/arm64";
}>;
export declare const StrixFindingLocationSchema: z.ZodObject<{
    path: z.ZodString;
    startLine: z.ZodOptional<z.ZodNumber>;
    endLine: z.ZodOptional<z.ZodNumber>;
    label: z.ZodOptional<z.ZodString>;
}, z.core.$strict>;
export declare const StrixFindingSchema: z.ZodObject<{
    fingerprint: z.ZodString;
    upstreamId: z.ZodString;
    title: z.ZodString;
    severity: z.ZodEnum<{
        critical: "critical";
        high: "high";
        info: "info";
        low: "low";
        medium: "medium";
    }>;
    findingClass: z.ZodEnum<{
        dependency_cve: "dependency_cve";
        dynamic: "dynamic";
    }>;
    cvss: z.ZodOptional<z.ZodNumber>;
    cve: z.ZodOptional<z.ZodString>;
    cwe: z.ZodOptional<z.ZodString>;
    locations: z.ZodArray<z.ZodObject<{
        path: z.ZodString;
        startLine: z.ZodOptional<z.ZodNumber>;
        endLine: z.ZodOptional<z.ZodNumber>;
        label: z.ZodOptional<z.ZodString>;
    }, z.core.$strict>>;
    pocRedacted: z.ZodBoolean;
}, z.core.$strict>;
export declare const StrixResultSchema: z.ZodDiscriminatedUnion<[z.ZodObject<{
    exitCode: z.ZodLiteral<0>;
    verdict: z.ZodLiteral<"no-findings">;
    findings: z.ZodArray<z.ZodObject<{
        fingerprint: z.ZodString;
        upstreamId: z.ZodString;
        title: z.ZodString;
        severity: z.ZodEnum<{
            critical: "critical";
            high: "high";
            info: "info";
            low: "low";
            medium: "medium";
        }>;
        findingClass: z.ZodEnum<{
            dependency_cve: "dependency_cve";
            dynamic: "dynamic";
        }>;
        cvss: z.ZodOptional<z.ZodNumber>;
        cve: z.ZodOptional<z.ZodString>;
        cwe: z.ZodOptional<z.ZodString>;
        locations: z.ZodArray<z.ZodObject<{
            path: z.ZodString;
            startLine: z.ZodOptional<z.ZodNumber>;
            endLine: z.ZodOptional<z.ZodNumber>;
            label: z.ZodOptional<z.ZodString>;
        }, z.core.$strict>>;
        pocRedacted: z.ZodBoolean;
    }, z.core.$strict>>;
}, z.core.$strict>, z.ZodObject<{
    exitCode: z.ZodLiteral<2>;
    verdict: z.ZodLiteral<"findings">;
    findings: z.ZodArray<z.ZodObject<{
        fingerprint: z.ZodString;
        upstreamId: z.ZodString;
        title: z.ZodString;
        severity: z.ZodEnum<{
            critical: "critical";
            high: "high";
            info: "info";
            low: "low";
            medium: "medium";
        }>;
        findingClass: z.ZodEnum<{
            dependency_cve: "dependency_cve";
            dynamic: "dynamic";
        }>;
        cvss: z.ZodOptional<z.ZodNumber>;
        cve: z.ZodOptional<z.ZodString>;
        cwe: z.ZodOptional<z.ZodString>;
        locations: z.ZodArray<z.ZodObject<{
            path: z.ZodString;
            startLine: z.ZodOptional<z.ZodNumber>;
            endLine: z.ZodOptional<z.ZodNumber>;
            label: z.ZodOptional<z.ZodString>;
        }, z.core.$strict>>;
        pocRedacted: z.ZodBoolean;
    }, z.core.$strict>>;
}, z.core.$strict>, z.ZodObject<{
    exitCode: z.ZodUnion<readonly [z.ZodLiteral<1>, z.ZodNull]>;
    verdict: z.ZodLiteral<"indeterminate">;
    findings: z.ZodArray<z.ZodObject<{
        fingerprint: z.ZodString;
        upstreamId: z.ZodString;
        title: z.ZodString;
        severity: z.ZodEnum<{
            critical: "critical";
            high: "high";
            info: "info";
            low: "low";
            medium: "medium";
        }>;
        findingClass: z.ZodEnum<{
            dependency_cve: "dependency_cve";
            dynamic: "dynamic";
        }>;
        cvss: z.ZodOptional<z.ZodNumber>;
        cve: z.ZodOptional<z.ZodString>;
        cwe: z.ZodOptional<z.ZodString>;
        locations: z.ZodArray<z.ZodObject<{
            path: z.ZodString;
            startLine: z.ZodOptional<z.ZodNumber>;
            endLine: z.ZodOptional<z.ZodNumber>;
            label: z.ZodOptional<z.ZodString>;
        }, z.core.$strict>>;
        pocRedacted: z.ZodBoolean;
    }, z.core.$strict>>;
}, z.core.$strict>], "verdict">;
export declare const StrixEvidenceSchema: z.ZodObject<{
    format: z.ZodLiteral<"aih-strix-detector-evidence">;
    schemaVersion: z.ZodLiteral<1>;
    detector: z.ZodObject<{
        name: z.ZodLiteral<"strix">;
        repository: z.ZodLiteral<"usestrix/strix">;
        version: z.ZodLiteral<"1.5.2">;
        sourceRevision: z.ZodLiteral<"597aae67159636ee794a02a3cc1694138d619c44">;
    }, z.core.$strict>;
    image: z.ZodObject<{
        repository: z.ZodLiteral<"ghcr.io/usestrix/strix-sandbox">;
        tag: z.ZodLiteral<"1.3.0">;
        indexDigest: z.ZodLiteral<"sha256:f6906c3114e504fd1a218fcf028d7a0e46851118403a438b63956de6ea7c4331">;
        platform: z.ZodEnum<{
            "linux/amd64": "linux/amd64";
            "linux/arm64": "linux/arm64";
        }>;
        manifestDigest: z.ZodString;
    }, z.core.$strict>;
    subject: z.ZodObject<{
        kind: z.ZodLiteral<"local-fixture">;
        treeSha256: z.ZodString;
    }, z.core.$strict>;
    invocation: z.ZodObject<{
        mode: z.ZodEnum<{
            deep: "deep";
            quick: "quick";
            standard: "standard";
        }>;
        maxBudgetCents: z.ZodNumber;
        maxTurns: z.ZodNumber;
        timeoutMs: z.ZodNumber;
        telemetry: z.ZodLiteral<"off">;
    }, z.core.$strict>;
    result: z.ZodDiscriminatedUnion<[z.ZodObject<{
        exitCode: z.ZodLiteral<0>;
        verdict: z.ZodLiteral<"no-findings">;
        findings: z.ZodArray<z.ZodObject<{
            fingerprint: z.ZodString;
            upstreamId: z.ZodString;
            title: z.ZodString;
            severity: z.ZodEnum<{
                critical: "critical";
                high: "high";
                info: "info";
                low: "low";
                medium: "medium";
            }>;
            findingClass: z.ZodEnum<{
                dependency_cve: "dependency_cve";
                dynamic: "dynamic";
            }>;
            cvss: z.ZodOptional<z.ZodNumber>;
            cve: z.ZodOptional<z.ZodString>;
            cwe: z.ZodOptional<z.ZodString>;
            locations: z.ZodArray<z.ZodObject<{
                path: z.ZodString;
                startLine: z.ZodOptional<z.ZodNumber>;
                endLine: z.ZodOptional<z.ZodNumber>;
                label: z.ZodOptional<z.ZodString>;
            }, z.core.$strict>>;
            pocRedacted: z.ZodBoolean;
        }, z.core.$strict>>;
    }, z.core.$strict>, z.ZodObject<{
        exitCode: z.ZodLiteral<2>;
        verdict: z.ZodLiteral<"findings">;
        findings: z.ZodArray<z.ZodObject<{
            fingerprint: z.ZodString;
            upstreamId: z.ZodString;
            title: z.ZodString;
            severity: z.ZodEnum<{
                critical: "critical";
                high: "high";
                info: "info";
                low: "low";
                medium: "medium";
            }>;
            findingClass: z.ZodEnum<{
                dependency_cve: "dependency_cve";
                dynamic: "dynamic";
            }>;
            cvss: z.ZodOptional<z.ZodNumber>;
            cve: z.ZodOptional<z.ZodString>;
            cwe: z.ZodOptional<z.ZodString>;
            locations: z.ZodArray<z.ZodObject<{
                path: z.ZodString;
                startLine: z.ZodOptional<z.ZodNumber>;
                endLine: z.ZodOptional<z.ZodNumber>;
                label: z.ZodOptional<z.ZodString>;
            }, z.core.$strict>>;
            pocRedacted: z.ZodBoolean;
        }, z.core.$strict>>;
    }, z.core.$strict>, z.ZodObject<{
        exitCode: z.ZodUnion<readonly [z.ZodLiteral<1>, z.ZodNull]>;
        verdict: z.ZodLiteral<"indeterminate">;
        findings: z.ZodArray<z.ZodObject<{
            fingerprint: z.ZodString;
            upstreamId: z.ZodString;
            title: z.ZodString;
            severity: z.ZodEnum<{
                critical: "critical";
                high: "high";
                info: "info";
                low: "low";
                medium: "medium";
            }>;
            findingClass: z.ZodEnum<{
                dependency_cve: "dependency_cve";
                dynamic: "dynamic";
            }>;
            cvss: z.ZodOptional<z.ZodNumber>;
            cve: z.ZodOptional<z.ZodString>;
            cwe: z.ZodOptional<z.ZodString>;
            locations: z.ZodArray<z.ZodObject<{
                path: z.ZodString;
                startLine: z.ZodOptional<z.ZodNumber>;
                endLine: z.ZodOptional<z.ZodNumber>;
                label: z.ZodOptional<z.ZodString>;
            }, z.core.$strict>>;
            pocRedacted: z.ZodBoolean;
        }, z.core.$strict>>;
    }, z.core.$strict>], "verdict">;
}, z.core.$strict>;
export type StrixSeverity = z.infer<typeof StrixSeveritySchema>;
export type StrixFindingClass = z.infer<typeof StrixFindingClassSchema>;
export type StrixSandboxPlatform = z.infer<typeof StrixSandboxPlatformSchema>;
export type StrixFindingLocation = z.infer<typeof StrixFindingLocationSchema>;
export type StrixFinding = z.infer<typeof StrixFindingSchema>;
export type StrixResult = z.infer<typeof StrixResultSchema>;
export type StrixEvidence = z.infer<typeof StrixEvidenceSchema>;