import { SchemaModel, ZodSchemaType } from '@contractspec/lib.schema';
import * as z from 'zod';
/**
 * Status of a single contract's verification within the impact report.
 */
export declare const ContractVerificationStatusModel: SchemaModel<{
    name: {
        type: import("@contractspec/lib.schema").FieldType<string, string>;
        isOptional: false;
    };
    lastVerifiedSha: {
        type: import("@contractspec/lib.schema").FieldType<string, string>;
        isOptional: true;
    };
    lastVerifiedDate: {
        type: import("@contractspec/lib.schema").FieldType<string, string>;
        isOptional: true;
    };
    surfaces: {
        type: import("@contractspec/lib.schema").FieldType<string, string>;
        isOptional: false;
        isArray: true;
    };
    driftMismatches: {
        type: import("@contractspec/lib.schema").FieldType<number, number>;
        isOptional: false;
    };
}>;
export declare const GetContractVerificationStatusInput: SchemaModel<{
    projectPath: {
        type: import("@contractspec/lib.schema").FieldType<string, string>;
        isOptional: false;
    };
    baseline: {
        type: import("@contractspec/lib.schema").FieldType<string, string>;
        isOptional: true;
    };
}>;
export declare const GetContractVerificationStatusOutput: ZodSchemaType<z.ZodObject<{
    contracts: z.ZodArray<z.ZodObject<{
        name: z.ZodString;
        lastVerifiedSha: z.ZodOptional<z.ZodString>;
        lastVerifiedDate: z.ZodOptional<z.ZodString>;
        surfaces: z.ZodArray<z.ZodString>;
        driftMismatches: z.ZodInt;
    }, z.core.$strip>>;
}, z.core.$strip>>;
/**
 * Query to retrieve per-contract verification status for the impact report.
 */
export declare const GetContractVerificationStatusQuery: import("..").OperationSpec<SchemaModel<{
    projectPath: {
        type: import("@contractspec/lib.schema").FieldType<string, string>;
        isOptional: false;
    };
    baseline: {
        type: import("@contractspec/lib.schema").FieldType<string, string>;
        isOptional: true;
    };
}>, ZodSchemaType<z.ZodObject<{
    contracts: z.ZodArray<z.ZodObject<{
        name: z.ZodString;
        lastVerifiedSha: z.ZodOptional<z.ZodString>;
        lastVerifiedDate: z.ZodOptional<z.ZodString>;
        surfaces: z.ZodArray<z.ZodString>;
        driftMismatches: z.ZodInt;
    }, z.core.$strip>>;
}, z.core.$strip>>, undefined>;
