import { z } from "zod";
/**
 * A diagnostic is deliberately shared by document preflight, publication
 * preparation, and runtime verification.  The optional fields keep the
 * contract wire-compatible while older producers migrate to the complete
 * shape.
 */
export declare const DeclarativeDiagnosticStageSchema: z.ZodEnum<{
    contract: "contract";
    runtime: "runtime";
    document: "document";
    reference: "reference";
    policy: "policy";
}>;
export declare const DeclarativeDiagnosticSchema: z.ZodObject<{
    code: z.ZodString;
    stage: z.ZodOptional<z.ZodEnum<{
        contract: "contract";
        runtime: "runtime";
        document: "document";
        reference: "reference";
        policy: "policy";
    }>>;
    severity: z.ZodOptional<z.ZodEnum<{
        error: "error";
        warning: "warning";
        info: "info";
    }>>;
    blocking: z.ZodOptional<z.ZodBoolean>;
    path: z.ZodString;
    message: z.ZodString;
    recovery: z.ZodOptional<z.ZodArray<z.ZodString>>;
}, z.core.$strict>;
export type DeclarativeDiagnostic = z.infer<typeof DeclarativeDiagnosticSchema>;
//# sourceMappingURL=declarative-diagnostic.d.ts.map