/**
 * A single entry in the error catalog.
 */
export interface ErrorCatalogEntry {
    /** Discriminator string (e.g., "type_mismatch") */
    type: string;
    /** Pipeline stage that produces this error */
    pipeline_stage: "validator" | "resolver" | "type_checker" | "complexity_checker" | "effect_checker" | "contract_verifier" | "codegen" | "runtime" | "patch" | "lint" | "migration";
    /** All fields present on this error (excluding the `error` discriminator) */
    fields: {
        name: string;
        type: string;
    }[];
    /** Minimal AST that triggers this error */
    example_cause: Record<string, unknown>;
    /** The corrected AST that fixes the error */
    example_fix: Record<string, unknown>;
}
/**
 * The full error catalog returned by the edict://errors resource.
 */
export interface ErrorCatalog {
    /** Total number of error types */
    count: number;
    /** All error types grouped by pipeline stage */
    errors: ErrorCatalogEntry[];
}
/**
 * Build the complete error catalog. Fields are auto-derived from the error
 * registry; only examples are hand-written.
 */
export declare function buildErrorCatalog(): ErrorCatalog;
//# sourceMappingURL=error-catalog.d.ts.map