export interface NormalFormEvidenceSummary {
    normalizedCalls: number;
    rulesApplied: number;
    succeeded: number;
    subsequentFailures: number;
}
export declare const normalFormEvidenceSummary: (traces: readonly import("./types.js").EntropyTraceInput[]) => NormalFormEvidenceSummary;
export declare const NORMAL_FORM_VERSION: 1;
export declare const MAX_NORMAL_FORM_RULES = 128;
export declare const MAX_NORMAL_FORM_PLANS = 1000;
declare const RULE_KINDS: readonly ["key-form", "enum-form", "numeric-string", "optional-null"];
export type NormalFormRuleKind = typeof RULE_KINDS[number];
export interface NormalFormRule {
    kind: NormalFormRuleKind;
    key: string;
}
export interface NormalFormPlan {
    version: typeof NORMAL_FORM_VERSION;
    ref: string;
    baseSchemaDigest: string;
    rules: NormalFormRule[];
}
export interface NormalFormWitness {
    version: typeof NORMAL_FORM_VERSION;
    baseSchemaDigest: string;
    beforeShape: string;
    afterShape: string;
    rules: NormalFormRule[];
}
export interface NormalFormResult {
    args: Record<string, unknown>;
    witness?: NormalFormWitness;
}
export declare const deriveNormalFormPlan: (ref: string, schema: unknown) => NormalFormPlan | undefined;
export declare const isNormalFormPlan: (value: unknown) => value is NormalFormPlan;
export declare const isNormalFormWitness: (value: unknown) => value is NormalFormWitness;
export declare const provesNormalFormPlan: (plan: NormalFormPlan, schema: unknown) => boolean;
export declare const applyNormalFormPlan: (ref: string, schema: unknown, args: Record<string, unknown>, plan?: NormalFormPlan) => NormalFormResult;
export {};
//# sourceMappingURL=normal-form.d.ts.map