import { z } from 'zod';
declare const VerificationStatusEnum: z.ZodEnum<{
    skip: "skip";
    pass: "pass";
    fail: "fail";
}>;
declare const FileChangeSchema: z.ZodObject<{
    path: z.ZodString;
    change: z.ZodString;
}, z.core.$strip>;
declare const VerificationSchema: z.ZodObject<{
    typecheck: z.ZodEnum<{
        skip: "skip";
        pass: "pass";
        fail: "fail";
    }>;
    lint: z.ZodEnum<{
        skip: "skip";
        pass: "pass";
        fail: "fail";
    }>;
    visual: z.ZodEnum<{
        skip: "skip";
        pass: "pass";
        fail: "fail";
    }>;
    test: z.ZodEnum<{
        skip: "skip";
        pass: "pass";
        fail: "fail";
    }>;
    evidence_path: z.ZodOptional<z.ZodString>;
}, z.core.$strip>;
declare const SourceFindingSchema: z.ZodObject<{
    proof_run: z.ZodOptional<z.ZodString>;
    test_id: z.ZodOptional<z.ZodString>;
    priority_id: z.ZodOptional<z.ZodString>;
}, z.core.$strip>;
declare const CommitSchema: z.ZodObject<{
    hash: z.ZodString;
    message: z.ZodString;
}, z.core.$strip>;
export declare const QuickTaskSchema: z.ZodObject<{
    id: z.ZodString;
    description: z.ZodString;
    files_changed: z.ZodDefault<z.ZodArray<z.ZodObject<{
        path: z.ZodString;
        change: z.ZodString;
    }, z.core.$strip>>>;
    verification: z.ZodObject<{
        typecheck: z.ZodEnum<{
            skip: "skip";
            pass: "pass";
            fail: "fail";
        }>;
        lint: z.ZodEnum<{
            skip: "skip";
            pass: "pass";
            fail: "fail";
        }>;
        visual: z.ZodEnum<{
            skip: "skip";
            pass: "pass";
            fail: "fail";
        }>;
        test: z.ZodEnum<{
            skip: "skip";
            pass: "pass";
            fail: "fail";
        }>;
        evidence_path: z.ZodOptional<z.ZodString>;
    }, z.core.$strip>;
    commit: z.ZodObject<{
        hash: z.ZodString;
        message: z.ZodString;
    }, z.core.$strip>;
    source_finding: z.ZodOptional<z.ZodObject<{
        proof_run: z.ZodOptional<z.ZodString>;
        test_id: z.ZodOptional<z.ZodString>;
        priority_id: z.ZodOptional<z.ZodString>;
    }, z.core.$strip>>;
    timestamp: z.ZodString;
    duration_seconds: z.ZodOptional<z.ZodNumber>;
}, z.core.$strip>;
export type FileChange = z.infer<typeof FileChangeSchema>;
export type VerificationStatus = z.infer<typeof VerificationStatusEnum>;
export type Verification = z.infer<typeof VerificationSchema>;
export type SourceFinding = z.infer<typeof SourceFindingSchema>;
export type Commit = z.infer<typeof CommitSchema>;
export type QuickTask = z.infer<typeof QuickTaskSchema>;
export declare function validateQuickTask(data: unknown): z.ZodSafeParseResult<{
    id: string;
    description: string;
    files_changed: {
        path: string;
        change: string;
    }[];
    verification: {
        typecheck: "skip" | "pass" | "fail";
        lint: "skip" | "pass" | "fail";
        visual: "skip" | "pass" | "fail";
        test: "skip" | "pass" | "fail";
        evidence_path?: string | undefined;
    };
    commit: {
        hash: string;
        message: string;
    };
    timestamp: string;
    source_finding?: {
        proof_run?: string | undefined;
        test_id?: string | undefined;
        priority_id?: string | undefined;
    } | undefined;
    duration_seconds?: number | undefined;
}>;
export declare const quickTaskJsonSchema: z.core.ZodStandardJSONSchemaPayload<z.ZodObject<{
    id: z.ZodString;
    description: z.ZodString;
    files_changed: z.ZodDefault<z.ZodArray<z.ZodObject<{
        path: z.ZodString;
        change: z.ZodString;
    }, z.core.$strip>>>;
    verification: z.ZodObject<{
        typecheck: z.ZodEnum<{
            skip: "skip";
            pass: "pass";
            fail: "fail";
        }>;
        lint: z.ZodEnum<{
            skip: "skip";
            pass: "pass";
            fail: "fail";
        }>;
        visual: z.ZodEnum<{
            skip: "skip";
            pass: "pass";
            fail: "fail";
        }>;
        test: z.ZodEnum<{
            skip: "skip";
            pass: "pass";
            fail: "fail";
        }>;
        evidence_path: z.ZodOptional<z.ZodString>;
    }, z.core.$strip>;
    commit: z.ZodObject<{
        hash: z.ZodString;
        message: z.ZodString;
    }, z.core.$strip>;
    source_finding: z.ZodOptional<z.ZodObject<{
        proof_run: z.ZodOptional<z.ZodString>;
        test_id: z.ZodOptional<z.ZodString>;
        priority_id: z.ZodOptional<z.ZodString>;
    }, z.core.$strip>>;
    timestamp: z.ZodString;
    duration_seconds: z.ZodOptional<z.ZodNumber>;
}, z.core.$strip>>;
export {};
//# sourceMappingURL=quick-task.d.ts.map