import { z } from "zod";
export declare function createBodyContentSchema<const E extends readonly string[]>(widgetTypeKeys: E): z.ZodArray<z.ZodDiscriminatedUnion<[z.ZodObject<{
    type: z.ZodLiteral<"paragraph">;
    content: z.ZodArray<z.ZodDiscriminatedUnion<[z.ZodObject<{
        type: z.ZodLiteral<"text">;
        content: z.ZodString;
    }, z.core.$strict>, z.ZodObject<{
        type: z.ZodLiteral<"math">;
        mathml: z.ZodString;
    }, z.core.$strict>, z.ZodObject<{
        type: z.ZodLiteral<"inlineWidgetRef">;
        widgetId: z.ZodString;
        widgetType: z.ZodEnum<{ [k_1 in E[number]]: k_1; } extends infer T ? { [k in keyof T]: T[k]; } : never>;
    }, z.core.$strict>, z.ZodObject<{
        type: z.ZodLiteral<"inlineInteractionRef">;
        interactionId: z.ZodString;
    }, z.core.$strict>], "type">>;
}, z.core.$strict>, z.ZodObject<{
    type: z.ZodLiteral<"unorderedList">;
    items: z.ZodArray<z.ZodArray<z.ZodDiscriminatedUnion<[z.ZodObject<{
        type: z.ZodLiteral<"text">;
        content: z.ZodString;
    }, z.core.$strict>, z.ZodObject<{
        type: z.ZodLiteral<"math">;
        mathml: z.ZodString;
    }, z.core.$strict>, z.ZodObject<{
        type: z.ZodLiteral<"inlineWidgetRef">;
        widgetId: z.ZodString;
        widgetType: z.ZodEnum<{ [k_1 in E[number]]: k_1; } extends infer T_1 ? { [k in keyof T_1]: T_1[k]; } : never>;
    }, z.core.$strict>, z.ZodObject<{
        type: z.ZodLiteral<"inlineInteractionRef">;
        interactionId: z.ZodString;
    }, z.core.$strict>], "type">>>;
}, z.core.$strict>, z.ZodObject<{
    type: z.ZodLiteral<"orderedList">;
    items: z.ZodArray<z.ZodArray<z.ZodDiscriminatedUnion<[z.ZodObject<{
        type: z.ZodLiteral<"text">;
        content: z.ZodString;
    }, z.core.$strict>, z.ZodObject<{
        type: z.ZodLiteral<"math">;
        mathml: z.ZodString;
    }, z.core.$strict>, z.ZodObject<{
        type: z.ZodLiteral<"inlineWidgetRef">;
        widgetId: z.ZodString;
        widgetType: z.ZodEnum<{ [k_1 in E[number]]: k_1; } extends infer T_2 ? { [k in keyof T_2]: T_2[k]; } : never>;
    }, z.core.$strict>, z.ZodObject<{
        type: z.ZodLiteral<"inlineInteractionRef">;
        interactionId: z.ZodString;
    }, z.core.$strict>], "type">>>;
}, z.core.$strict>, z.ZodObject<{
    type: z.ZodLiteral<"tableRich">;
    header: z.ZodNullable<z.ZodArray<z.ZodArray<z.ZodNullable<z.ZodArray<z.ZodDiscriminatedUnion<[z.ZodObject<{
        type: z.ZodLiteral<"text">;
        content: z.ZodString;
    }, z.core.$strict>, z.ZodObject<{
        type: z.ZodLiteral<"math">;
        mathml: z.ZodString;
    }, z.core.$strict>, z.ZodObject<{
        type: z.ZodLiteral<"inlineWidgetRef">;
        widgetId: z.ZodString;
        widgetType: z.ZodEnum<{ [k_1 in E[number]]: k_1; } extends infer T_3 ? { [k in keyof T_3]: T_3[k]; } : never>;
    }, z.core.$strict>, z.ZodObject<{
        type: z.ZodLiteral<"inlineInteractionRef">;
        interactionId: z.ZodString;
    }, z.core.$strict>], "type">>>>>>;
    rows: z.ZodArray<z.ZodArray<z.ZodNullable<z.ZodArray<z.ZodDiscriminatedUnion<[z.ZodObject<{
        type: z.ZodLiteral<"text">;
        content: z.ZodString;
    }, z.core.$strict>, z.ZodObject<{
        type: z.ZodLiteral<"math">;
        mathml: z.ZodString;
    }, z.core.$strict>, z.ZodObject<{
        type: z.ZodLiteral<"inlineWidgetRef">;
        widgetId: z.ZodString;
        widgetType: z.ZodEnum<{ [k_1 in E[number]]: k_1; } extends infer T_4 ? { [k in keyof T_4]: T_4[k]; } : never>;
    }, z.core.$strict>, z.ZodObject<{
        type: z.ZodLiteral<"inlineInteractionRef">;
        interactionId: z.ZodString;
    }, z.core.$strict>], "type">>>>>;
}, z.core.$strict>, z.ZodObject<{
    type: z.ZodLiteral<"blockquote">;
    content: z.ZodArray<z.ZodDiscriminatedUnion<[z.ZodObject<{
        type: z.ZodLiteral<"text">;
        content: z.ZodString;
    }, z.core.$strict>, z.ZodObject<{
        type: z.ZodLiteral<"math">;
        mathml: z.ZodString;
    }, z.core.$strict>, z.ZodObject<{
        type: z.ZodLiteral<"inlineWidgetRef">;
        widgetId: z.ZodString;
        widgetType: z.ZodEnum<{ [k_1 in E[number]]: k_1; } extends infer T_5 ? { [k in keyof T_5]: T_5[k]; } : never>;
    }, z.core.$strict>, z.ZodObject<{
        type: z.ZodLiteral<"inlineInteractionRef">;
        interactionId: z.ZodString;
    }, z.core.$strict>], "type">>;
}, z.core.$strict>, z.ZodObject<{
    type: z.ZodLiteral<"widgetRef">;
    widgetId: z.ZodString;
    widgetType: z.ZodEnum<{ [k_1 in E[number]]: k_1; } extends infer T_6 ? { [k in keyof T_6]: T_6[k]; } : never>;
}, z.core.$strict>, z.ZodObject<{
    type: z.ZodLiteral<"interactionRef">;
    interactionId: z.ZodString;
}, z.core.$strict>], "type">>;
export declare function createFeedbackContentSchema<const E extends readonly string[]>(widgetTypeKeys: E): z.ZodObject<{
    preamble: z.ZodObject<{
        correctness: z.ZodEnum<{
            correct: "correct";
            incorrect: "incorrect";
        }>;
        summary: z.ZodArray<z.ZodDiscriminatedUnion<[z.ZodObject<{
            type: z.ZodLiteral<"text">;
            content: z.ZodString;
        }, z.core.$strict>, z.ZodObject<{
            type: z.ZodLiteral<"math">;
            mathml: z.ZodString;
        }, z.core.$strict>, z.ZodObject<{
            type: z.ZodLiteral<"inlineWidgetRef">;
            widgetId: z.ZodString;
            widgetType: z.ZodEnum<{ [k_1 in E[number]]: k_1; } extends infer T ? { [k in keyof T]: T[k]; } : never>;
        }, z.core.$strict>], "type">>;
    }, z.core.$strict>;
    steps: z.ZodArray<z.ZodObject<{
        type: z.ZodLiteral<"step">;
        title: z.ZodArray<z.ZodDiscriminatedUnion<[z.ZodObject<{
            type: z.ZodLiteral<"text">;
            content: z.ZodString;
        }, z.core.$strict>, z.ZodObject<{
            type: z.ZodLiteral<"math">;
            mathml: z.ZodString;
        }, z.core.$strict>, z.ZodObject<{
            type: z.ZodLiteral<"inlineWidgetRef">;
            widgetId: z.ZodString;
            widgetType: z.ZodEnum<{ [k_1 in E[number]]: k_1; } extends infer T_1 ? { [k in keyof T_1]: T_1[k]; } : never>;
        }, z.core.$strict>], "type">>;
        content: z.ZodArray<z.ZodDiscriminatedUnion<[z.ZodObject<{
            type: z.ZodLiteral<"paragraph">;
            content: z.ZodArray<z.ZodDiscriminatedUnion<[z.ZodObject<{
                type: z.ZodLiteral<"text">;
                content: z.ZodString;
            }, z.core.$strict>, z.ZodObject<{
                type: z.ZodLiteral<"math">;
                mathml: z.ZodString;
            }, z.core.$strict>, z.ZodObject<{
                type: z.ZodLiteral<"inlineWidgetRef">;
                widgetId: z.ZodString;
                widgetType: z.ZodEnum<{ [k_1 in E[number]]: k_1; } extends infer T_2 ? { [k in keyof T_2]: T_2[k]; } : never>;
            }, z.core.$strict>], "type">>;
        }, z.core.$strict>, z.ZodObject<{
            type: z.ZodLiteral<"tableRich">;
            header: z.ZodNullable<z.ZodArray<z.ZodArray<z.ZodNullable<z.ZodArray<z.ZodDiscriminatedUnion<[z.ZodObject<{
                type: z.ZodLiteral<"text">;
                content: z.ZodString;
            }, z.core.$strict>, z.ZodObject<{
                type: z.ZodLiteral<"math">;
                mathml: z.ZodString;
            }, z.core.$strict>, z.ZodObject<{
                type: z.ZodLiteral<"inlineWidgetRef">;
                widgetId: z.ZodString;
                widgetType: z.ZodEnum<{ [k_1 in E[number]]: k_1; } extends infer T_3 ? { [k in keyof T_3]: T_3[k]; } : never>;
            }, z.core.$strict>], "type">>>>>>;
            rows: z.ZodArray<z.ZodArray<z.ZodNullable<z.ZodArray<z.ZodDiscriminatedUnion<[z.ZodObject<{
                type: z.ZodLiteral<"text">;
                content: z.ZodString;
            }, z.core.$strict>, z.ZodObject<{
                type: z.ZodLiteral<"math">;
                mathml: z.ZodString;
            }, z.core.$strict>, z.ZodObject<{
                type: z.ZodLiteral<"inlineWidgetRef">;
                widgetId: z.ZodString;
                widgetType: z.ZodEnum<{ [k_1 in E[number]]: k_1; } extends infer T_4 ? { [k in keyof T_4]: T_4[k]; } : never>;
            }, z.core.$strict>], "type">>>>>;
        }, z.core.$strict>, z.ZodObject<{
            type: z.ZodLiteral<"widgetRef">;
            widgetId: z.ZodString;
            widgetType: z.ZodEnum<{ [k_1 in E[number]]: k_1; } extends infer T_5 ? { [k in keyof T_5]: T_5[k]; } : never>;
        }, z.core.$strict>, z.ZodObject<{
            type: z.ZodLiteral<"blockquote">;
            content: z.ZodArray<z.ZodDiscriminatedUnion<[z.ZodObject<{
                type: z.ZodLiteral<"text">;
                content: z.ZodString;
            }, z.core.$strict>, z.ZodObject<{
                type: z.ZodLiteral<"math">;
                mathml: z.ZodString;
            }, z.core.$strict>, z.ZodObject<{
                type: z.ZodLiteral<"inlineWidgetRef">;
                widgetId: z.ZodString;
                widgetType: z.ZodEnum<{ [k_1 in E[number]]: k_1; } extends infer T_6 ? { [k in keyof T_6]: T_6[k]; } : never>;
            }, z.core.$strict>], "type">>;
        }, z.core.$strict>], "type">>;
    }, z.core.$strict>>;
}, z.core.$strict>;
export declare function createChoiceInteractionPromptSchema<const E extends readonly string[]>(widgetTypeKeys: E): z.ZodArray<z.ZodDiscriminatedUnion<[z.ZodObject<{
    type: z.ZodLiteral<"text">;
    content: z.ZodString;
}, z.core.$strict>, z.ZodObject<{
    type: z.ZodLiteral<"math">;
    mathml: z.ZodString;
}, z.core.$strict>, z.ZodObject<{
    type: z.ZodLiteral<"inlineWidgetRef">;
    widgetId: z.ZodString;
    widgetType: z.ZodEnum<{ [k_1 in E[number]]: k_1; } extends infer T ? { [k in keyof T]: T[k]; } : never>;
}, z.core.$strict>], "type">>;
export declare function createChoiceInteractionChoiceContentSchema<const E extends readonly string[]>(widgetTypeKeys: E): z.ZodArray<z.ZodDiscriminatedUnion<[z.ZodObject<{
    type: z.ZodLiteral<"paragraph">;
    content: z.ZodArray<z.ZodDiscriminatedUnion<[z.ZodObject<{
        type: z.ZodLiteral<"text">;
        content: z.ZodString;
    }, z.core.$strict>, z.ZodObject<{
        type: z.ZodLiteral<"math">;
        mathml: z.ZodString;
    }, z.core.$strict>, z.ZodObject<{
        type: z.ZodLiteral<"inlineWidgetRef">;
        widgetId: z.ZodString;
        widgetType: z.ZodEnum<{ [k_1 in E[number]]: k_1; } extends infer T ? { [k in keyof T]: T[k]; } : never>;
    }, z.core.$strict>], "type">>;
}, z.core.$strict>, z.ZodObject<{
    type: z.ZodLiteral<"unorderedList">;
    items: z.ZodArray<z.ZodArray<z.ZodDiscriminatedUnion<[z.ZodObject<{
        type: z.ZodLiteral<"text">;
        content: z.ZodString;
    }, z.core.$strict>, z.ZodObject<{
        type: z.ZodLiteral<"math">;
        mathml: z.ZodString;
    }, z.core.$strict>, z.ZodObject<{
        type: z.ZodLiteral<"inlineWidgetRef">;
        widgetId: z.ZodString;
        widgetType: z.ZodEnum<{ [k_1 in E[number]]: k_1; } extends infer T_1 ? { [k in keyof T_1]: T_1[k]; } : never>;
    }, z.core.$strict>], "type">>>;
}, z.core.$strict>, z.ZodObject<{
    type: z.ZodLiteral<"orderedList">;
    items: z.ZodArray<z.ZodArray<z.ZodDiscriminatedUnion<[z.ZodObject<{
        type: z.ZodLiteral<"text">;
        content: z.ZodString;
    }, z.core.$strict>, z.ZodObject<{
        type: z.ZodLiteral<"math">;
        mathml: z.ZodString;
    }, z.core.$strict>, z.ZodObject<{
        type: z.ZodLiteral<"inlineWidgetRef">;
        widgetId: z.ZodString;
        widgetType: z.ZodEnum<{ [k_1 in E[number]]: k_1; } extends infer T_2 ? { [k in keyof T_2]: T_2[k]; } : never>;
    }, z.core.$strict>], "type">>>;
}, z.core.$strict>, z.ZodObject<{
    type: z.ZodLiteral<"tableRich">;
    header: z.ZodNullable<z.ZodArray<z.ZodArray<z.ZodNullable<z.ZodArray<z.ZodDiscriminatedUnion<[z.ZodObject<{
        type: z.ZodLiteral<"text">;
        content: z.ZodString;
    }, z.core.$strict>, z.ZodObject<{
        type: z.ZodLiteral<"math">;
        mathml: z.ZodString;
    }, z.core.$strict>, z.ZodObject<{
        type: z.ZodLiteral<"inlineWidgetRef">;
        widgetId: z.ZodString;
        widgetType: z.ZodEnum<{ [k_1 in E[number]]: k_1; } extends infer T_3 ? { [k in keyof T_3]: T_3[k]; } : never>;
    }, z.core.$strict>], "type">>>>>>;
    rows: z.ZodArray<z.ZodArray<z.ZodNullable<z.ZodArray<z.ZodDiscriminatedUnion<[z.ZodObject<{
        type: z.ZodLiteral<"text">;
        content: z.ZodString;
    }, z.core.$strict>, z.ZodObject<{
        type: z.ZodLiteral<"math">;
        mathml: z.ZodString;
    }, z.core.$strict>, z.ZodObject<{
        type: z.ZodLiteral<"inlineWidgetRef">;
        widgetId: z.ZodString;
        widgetType: z.ZodEnum<{ [k_1 in E[number]]: k_1; } extends infer T_4 ? { [k in keyof T_4]: T_4[k]; } : never>;
    }, z.core.$strict>], "type">>>>>;
}, z.core.$strict>, z.ZodObject<{
    type: z.ZodLiteral<"blockquote">;
    content: z.ZodArray<z.ZodDiscriminatedUnion<[z.ZodObject<{
        type: z.ZodLiteral<"text">;
        content: z.ZodString;
    }, z.core.$strict>, z.ZodObject<{
        type: z.ZodLiteral<"math">;
        mathml: z.ZodString;
    }, z.core.$strict>, z.ZodObject<{
        type: z.ZodLiteral<"inlineWidgetRef">;
        widgetId: z.ZodString;
        widgetType: z.ZodEnum<{ [k_1 in E[number]]: k_1; } extends infer T_5 ? { [k in keyof T_5]: T_5[k]; } : never>;
    }, z.core.$strict>], "type">>;
}, z.core.$strict>, z.ZodObject<{
    type: z.ZodLiteral<"widgetRef">;
    widgetId: z.ZodString;
    widgetType: z.ZodEnum<{ [k_1 in E[number]]: k_1; } extends infer T_6 ? { [k in keyof T_6]: T_6[k]; } : never>;
}, z.core.$strict>], "type">>;
export declare function createInlineChoiceContentSchema<const E extends readonly string[]>(widgetTypeKeys: E): z.ZodArray<z.ZodDiscriminatedUnion<[z.ZodObject<{
    type: z.ZodLiteral<"text">;
    content: z.ZodString;
}, z.core.$strict>, z.ZodObject<{
    type: z.ZodLiteral<"math">;
    mathml: z.ZodString;
}, z.core.$strict>, z.ZodObject<{
    type: z.ZodLiteral<"inlineWidgetRef">;
    widgetId: z.ZodString;
    widgetType: z.ZodEnum<{ [k_1 in E[number]]: k_1; } extends infer T ? { [k in keyof T]: T[k]; } : never>;
}, z.core.$strict>], "type">>;
export declare function createGapMatchContentSchema<const E extends readonly string[]>(_widgetTypeKeys: E): z.ZodArray<z.ZodDiscriminatedUnion<[z.ZodObject<{
    type: z.ZodLiteral<"paragraph">;
    content: z.ZodArray<z.ZodDiscriminatedUnion<[z.ZodObject<{
        type: z.ZodLiteral<"text">;
        content: z.ZodString;
    }, z.core.$strict>, z.ZodObject<{
        type: z.ZodLiteral<"math">;
        mathml: z.ZodString;
    }, z.core.$strict>, z.ZodObject<{
        type: z.ZodLiteral<"gap">;
        gapId: z.ZodString;
    }, z.core.$strict>], "type">>;
}, z.core.$strict>, z.ZodObject<{
    type: z.ZodLiteral<"unorderedList">;
    items: z.ZodArray<z.ZodArray<z.ZodDiscriminatedUnion<[z.ZodObject<{
        type: z.ZodLiteral<"text">;
        content: z.ZodString;
    }, z.core.$strict>, z.ZodObject<{
        type: z.ZodLiteral<"math">;
        mathml: z.ZodString;
    }, z.core.$strict>, z.ZodObject<{
        type: z.ZodLiteral<"gap">;
        gapId: z.ZodString;
    }, z.core.$strict>], "type">>>;
}, z.core.$strict>, z.ZodObject<{
    type: z.ZodLiteral<"orderedList">;
    items: z.ZodArray<z.ZodArray<z.ZodDiscriminatedUnion<[z.ZodObject<{
        type: z.ZodLiteral<"text">;
        content: z.ZodString;
    }, z.core.$strict>, z.ZodObject<{
        type: z.ZodLiteral<"math">;
        mathml: z.ZodString;
    }, z.core.$strict>, z.ZodObject<{
        type: z.ZodLiteral<"gap">;
        gapId: z.ZodString;
    }, z.core.$strict>], "type">>>;
}, z.core.$strict>, z.ZodObject<{
    type: z.ZodLiteral<"tableRich">;
    header: z.ZodNullable<z.ZodArray<z.ZodArray<z.ZodNullable<z.ZodArray<z.ZodDiscriminatedUnion<[z.ZodObject<{
        type: z.ZodLiteral<"text">;
        content: z.ZodString;
    }, z.core.$strict>, z.ZodObject<{
        type: z.ZodLiteral<"math">;
        mathml: z.ZodString;
    }, z.core.$strict>, z.ZodObject<{
        type: z.ZodLiteral<"gap">;
        gapId: z.ZodString;
    }, z.core.$strict>], "type">>>>>>;
    rows: z.ZodArray<z.ZodArray<z.ZodNullable<z.ZodArray<z.ZodDiscriminatedUnion<[z.ZodObject<{
        type: z.ZodLiteral<"text">;
        content: z.ZodString;
    }, z.core.$strict>, z.ZodObject<{
        type: z.ZodLiteral<"math">;
        mathml: z.ZodString;
    }, z.core.$strict>, z.ZodObject<{
        type: z.ZodLiteral<"gap">;
        gapId: z.ZodString;
    }, z.core.$strict>], "type">>>>>;
}, z.core.$strict>, z.ZodObject<{
    type: z.ZodLiteral<"blockquote">;
    content: z.ZodArray<z.ZodDiscriminatedUnion<[z.ZodObject<{
        type: z.ZodLiteral<"text">;
        content: z.ZodString;
    }, z.core.$strict>, z.ZodObject<{
        type: z.ZodLiteral<"math">;
        mathml: z.ZodString;
    }, z.core.$strict>, z.ZodObject<{
        type: z.ZodLiteral<"gap">;
        gapId: z.ZodString;
    }, z.core.$strict>], "type">>;
}, z.core.$strict>], "type">>;
//# sourceMappingURL=contextual-schemas.d.ts.map