@mathscan/math-exercise-engine 1.0.11 → 1.0.13

package/dist/index.d.ts

@@ -25,6 +25,8 @@ export declare const AST_TYPES: {
     readonly BOLD_TEXT: "BoldText";
     /** Inline input widget (string or numeric) */
     readonly INLINE_INPUT: "InlineInput";
+    /** Inline fraction widget (numerator/denominator with optional inputs) */
+    readonly FRACTION: "Fraction";
     /** Question/instruction text block */
     readonly TEXT_BLOCK: "TextBlock";
     /** Line containing inline elements */
@@ -39,6 +41,10 @@ export declare const AST_TYPES: {
     readonly NUMBER_LINE_BLOCK: "NumberLineBlock";
     /** A position marker on the number line */
     readonly NUMBER_LINE_POSITION: "NumberLinePosition";
+    /** A dynamic subdivision counter embedded in a number line */
+    readonly NUMBER_LINE_COUNTER: "NumberLineCounter";
+    /** A highlighted range on the number line axis */
+    readonly NUMBER_LINE_HIGHLIGHT: "NumberLineHighlight";
     /** Drag-and-drop options tool */
     readonly DRAG_OPTIONS: "DragOptions";
     /** Radio button options tool */
@@ -224,6 +230,13 @@ export declare function compileWithAST(dsl: string): {
                 name: string;
                 digits: number;
                 answer?: string | number | undefined;
+            } | {
+                type: "Fraction";
+                name: string;
+                simplified: boolean;
+                answer?: string | undefined;
+                numerator?: number | undefined;
+                denominator?: number | undefined;
             })[];
         } | {
             type: "NumberLineBlock";
@@ -263,10 +276,32 @@ export declare function compileWithAST(dsl: string): {
                     name: string;
                     digits: number;
                     answer?: string | number | undefined;
+                } | {
+                    type: "Fraction";
+                    name: string;
+                    simplified: boolean;
+                    answer?: string | undefined;
+                    numerator?: number | undefined;
+                    denominator?: number | undefined;
                 })[];
             }[];
+            counter?: {
+                type: "NumberLineCounter";
+                min: number;
+                max: number;
+                name?: string | undefined;
+                default?: number | undefined;
+            } | undefined;
             minorTicks?: number | undefined;
             style?: "arrow-right" | "arrow-left" | "arrow-both" | "line" | undefined;
+            labelVisibility?: "all" | "extremes" | "min-only" | "max-only" | "none" | undefined;
+            highlights?: {
+                type: "NumberLineHighlight";
+                from: number;
+                to: number;
+                color?: "blue" | "red" | "green" | "orange" | "purple" | "yellow" | undefined;
+                label?: string | undefined;
+            }[] | undefined;
         } | {
             type: "TableBlock";
             cols: number;
@@ -304,6 +339,13 @@ export declare function compileWithAST(dsl: string): {
                         name: string;
                         digits: number;
                         answer?: string | number | undefined;
+                    } | {
+                        type: "Fraction";
+                        name: string;
+                        simplified: boolean;
+                        answer?: string | undefined;
+                        numerator?: number | undefined;
+                        denominator?: number | undefined;
                     })[];
                     colspan?: number | undefined;
                 }[];
@@ -354,6 +396,11 @@ export declare function compileWithAST(dsl: string): {
             type: "numeric-keypad";
             includeOperators?: boolean | undefined;
             includeDecimal?: boolean | undefined;
+        } | {
+            type: "fraction";
+            numerator: number | null;
+            denominator: number | null;
+            simplified: boolean;
         }>;
         validation?: {
             mode: "simple" | "expression";
@@ -465,7 +512,28 @@ export declare const ContentBlockSchema: z.ZodUnion<[z.ZodObject<{
         name: string;
         digits: number;
         answer?: string | number | undefined;
-    }>]>]>, "many">;
+    }>]>, z.ZodObject<{
+        type: z.ZodLiteral<"Fraction">;
+        name: z.ZodString;
+        numerator: z.ZodOptional<z.ZodNumber>;
+        denominator: z.ZodOptional<z.ZodNumber>;
+        answer: z.ZodOptional<z.ZodString>;
+        simplified: z.ZodDefault<z.ZodBoolean>;
+    }, "strip", z.ZodTypeAny, {
+        type: "Fraction";
+        name: string;
+        simplified: boolean;
+        answer?: string | undefined;
+        numerator?: number | undefined;
+        denominator?: number | undefined;
+    }, {
+        type: "Fraction";
+        name: string;
+        answer?: string | undefined;
+        numerator?: number | undefined;
+        denominator?: number | undefined;
+        simplified?: boolean | undefined;
+    }>]>, "many">;
 }, "strip", z.ZodTypeAny, {
     type: "LineBlock";
     inlines: ({
@@ -498,6 +566,13 @@ export declare const ContentBlockSchema: z.ZodUnion<[z.ZodObject<{
         name: string;
         digits: number;
         answer?: string | number | undefined;
+    } | {
+        type: "Fraction";
+        name: string;
+        simplified: boolean;
+        answer?: string | undefined;
+        numerator?: number | undefined;
+        denominator?: number | undefined;
     })[];
 }, {
     type: "LineBlock";
@@ -531,6 +606,13 @@ export declare const ContentBlockSchema: z.ZodUnion<[z.ZodObject<{
         name: string;
         digits: number;
         answer?: string | number | undefined;
+    } | {
+        type: "Fraction";
+        name: string;
+        answer?: string | undefined;
+        numerator?: number | undefined;
+        denominator?: number | undefined;
+        simplified?: boolean | undefined;
     })[];
 }>, z.ZodObject<{
     type: z.ZodLiteral<"TableBlock">;
@@ -630,7 +712,28 @@ export declare const ContentBlockSchema: z.ZodUnion<[z.ZodObject<{
                 name: string;
                 digits: number;
                 answer?: string | number | undefined;
-            }>]>]>, "many">;
+            }>]>, z.ZodObject<{
+                type: z.ZodLiteral<"Fraction">;
+                name: z.ZodString;
+                numerator: z.ZodOptional<z.ZodNumber>;
+                denominator: z.ZodOptional<z.ZodNumber>;
+                answer: z.ZodOptional<z.ZodString>;
+                simplified: z.ZodDefault<z.ZodBoolean>;
+            }, "strip", z.ZodTypeAny, {
+                type: "Fraction";
+                name: string;
+                simplified: boolean;
+                answer?: string | undefined;
+                numerator?: number | undefined;
+                denominator?: number | undefined;
+            }, {
+                type: "Fraction";
+                name: string;
+                answer?: string | undefined;
+                numerator?: number | undefined;
+                denominator?: number | undefined;
+                simplified?: boolean | undefined;
+            }>]>, "many">;
         }, "strip", z.ZodTypeAny, {
             type: "TableCell";
             inlines: ({
@@ -663,6 +766,13 @@ export declare const ContentBlockSchema: z.ZodUnion<[z.ZodObject<{
                 name: string;
                 digits: number;
                 answer?: string | number | undefined;
+            } | {
+                type: "Fraction";
+                name: string;
+                simplified: boolean;
+                answer?: string | undefined;
+                numerator?: number | undefined;
+                denominator?: number | undefined;
             })[];
             colspan?: number | undefined;
         }, {
@@ -697,6 +807,13 @@ export declare const ContentBlockSchema: z.ZodUnion<[z.ZodObject<{
                 name: string;
                 digits: number;
                 answer?: string | number | undefined;
+            } | {
+                type: "Fraction";
+                name: string;
+                answer?: string | undefined;
+                numerator?: number | undefined;
+                denominator?: number | undefined;
+                simplified?: boolean | undefined;
             })[];
             colspan?: number | undefined;
         }>, "many">;
@@ -734,6 +851,13 @@ export declare const ContentBlockSchema: z.ZodUnion<[z.ZodObject<{
                 name: string;
                 digits: number;
                 answer?: string | number | undefined;
+            } | {
+                type: "Fraction";
+                name: string;
+                simplified: boolean;
+                answer?: string | undefined;
+                numerator?: number | undefined;
+                denominator?: number | undefined;
             })[];
             colspan?: number | undefined;
         }[];
@@ -771,6 +895,13 @@ export declare const ContentBlockSchema: z.ZodUnion<[z.ZodObject<{
                 name: string;
                 digits: number;
                 answer?: string | number | undefined;
+            } | {
+                type: "Fraction";
+                name: string;
+                answer?: string | undefined;
+                numerator?: number | undefined;
+                denominator?: number | undefined;
+                simplified?: boolean | undefined;
             })[];
             colspan?: number | undefined;
         }[];
@@ -812,6 +943,13 @@ export declare const ContentBlockSchema: z.ZodUnion<[z.ZodObject<{
                 name: string;
                 digits: number;
                 answer?: string | number | undefined;
+            } | {
+                type: "Fraction";
+                name: string;
+                simplified: boolean;
+                answer?: string | undefined;
+                numerator?: number | undefined;
+                denominator?: number | undefined;
             })[];
             colspan?: number | undefined;
         }[];
@@ -853,6 +991,13 @@ export declare const ContentBlockSchema: z.ZodUnion<[z.ZodObject<{
                 name: string;
                 digits: number;
                 answer?: string | number | undefined;
+            } | {
+                type: "Fraction";
+                name: string;
+                answer?: string | undefined;
+                numerator?: number | undefined;
+                denominator?: number | undefined;
+                simplified?: boolean | undefined;
             })[];
             colspan?: number | undefined;
         }[];
@@ -879,6 +1024,69 @@ export declare const ContentBlockSchema: z.ZodUnion<[z.ZodObject<{
     step: z.ZodDefault<z.ZodNumber>;
     minorTicks: z.ZodOptional<z.ZodNumber>;
     style: z.ZodOptional<z.ZodEnum<["arrow-right", "arrow-left", "arrow-both", "line"]>>;
+    labelVisibility: z.ZodOptional<z.ZodEnum<["all", "extremes", "min-only", "max-only", "none"]>>;
+    counter: z.ZodOptional<z.ZodEffects<z.ZodObject<{
+        type: z.ZodLiteral<"NumberLineCounter">;
+        min: z.ZodNumber;
+        max: z.ZodNumber;
+        default: z.ZodOptional<z.ZodNumber>;
+        name: z.ZodOptional<z.ZodString>;
+    }, "strip", z.ZodTypeAny, {
+        type: "NumberLineCounter";
+        min: number;
+        max: number;
+        name?: string | undefined;
+        default?: number | undefined;
+    }, {
+        type: "NumberLineCounter";
+        min: number;
+        max: number;
+        name?: string | undefined;
+        default?: number | undefined;
+    }>, {
+        type: "NumberLineCounter";
+        min: number;
+        max: number;
+        name?: string | undefined;
+        default?: number | undefined;
+    }, {
+        type: "NumberLineCounter";
+        min: number;
+        max: number;
+        name?: string | undefined;
+        default?: number | undefined;
+    }>>;
+    highlights: z.ZodOptional<z.ZodArray<z.ZodEffects<z.ZodObject<{
+        type: z.ZodLiteral<"NumberLineHighlight">;
+        from: z.ZodNumber;
+        to: z.ZodNumber;
+        color: z.ZodOptional<z.ZodEnum<["blue", "red", "green", "orange", "purple", "yellow"]>>;
+        label: z.ZodOptional<z.ZodString>;
+    }, "strip", z.ZodTypeAny, {
+        type: "NumberLineHighlight";
+        from: number;
+        to: number;
+        color?: "blue" | "red" | "green" | "orange" | "purple" | "yellow" | undefined;
+        label?: string | undefined;
+    }, {
+        type: "NumberLineHighlight";
+        from: number;
+        to: number;
+        color?: "blue" | "red" | "green" | "orange" | "purple" | "yellow" | undefined;
+        label?: string | undefined;
+    }>, {
+        type: "NumberLineHighlight";
+        from: number;
+        to: number;
+        color?: "blue" | "red" | "green" | "orange" | "purple" | "yellow" | undefined;
+        label?: string | undefined;
+    }, {
+        type: "NumberLineHighlight";
+        from: number;
+        to: number;
+        color?: "blue" | "red" | "green" | "orange" | "purple" | "yellow" | undefined;
+        label?: string | undefined;
+    }>, "many">>;
     positions: z.ZodArray<z.ZodObject<{
         type: z.ZodLiteral<"NumberLinePosition">;
         value: z.ZodNumber;
@@ -972,7 +1180,28 @@ export declare const ContentBlockSchema: z.ZodUnion<[z.ZodObject<{
             name: string;
             digits: number;
             answer?: string | number | undefined;
-        }>]>]>, "many">;
+        }>]>, z.ZodObject<{
+            type: z.ZodLiteral<"Fraction">;
+            name: z.ZodString;
+            numerator: z.ZodOptional<z.ZodNumber>;
+            denominator: z.ZodOptional<z.ZodNumber>;
+            answer: z.ZodOptional<z.ZodString>;
+            simplified: z.ZodDefault<z.ZodBoolean>;
+        }, "strip", z.ZodTypeAny, {
+            type: "Fraction";
+            name: string;
+            simplified: boolean;
+            answer?: string | undefined;
+            numerator?: number | undefined;
+            denominator?: number | undefined;
+        }, {
+            type: "Fraction";
+            name: string;
+            answer?: string | undefined;
+            numerator?: number | undefined;
+            denominator?: number | undefined;
+            simplified?: boolean | undefined;
+        }>]>, "many">;
     }, "strip", z.ZodTypeAny, {
         value: number;
         type: "NumberLinePosition";
@@ -1006,6 +1235,13 @@ export declare const ContentBlockSchema: z.ZodUnion<[z.ZodObject<{
             name: string;
             digits: number;
             answer?: string | number | undefined;
+        } | {
+            type: "Fraction";
+            name: string;
+            simplified: boolean;
+            answer?: string | undefined;
+            numerator?: number | undefined;
+            denominator?: number | undefined;
         })[];
     }, {
         value: number;
@@ -1040,6 +1276,13 @@ export declare const ContentBlockSchema: z.ZodUnion<[z.ZodObject<{
             name: string;
             digits: number;
             answer?: string | number | undefined;
+        } | {
+            type: "Fraction";
+            name: string;
+            answer?: string | undefined;
+            numerator?: number | undefined;
+            denominator?: number | undefined;
+            simplified?: boolean | undefined;
         })[];
     }>, "many">;
 }, "strip", z.ZodTypeAny, {
@@ -1080,10 +1323,32 @@ export declare const ContentBlockSchema: z.ZodUnion<[z.ZodObject<{
             name: string;
             digits: number;
             answer?: string | number | undefined;
+        } | {
+            type: "Fraction";
+            name: string;
+            simplified: boolean;
+            answer?: string | undefined;
+            numerator?: number | undefined;
+            denominator?: number | undefined;
         })[];
     }[];
+    counter?: {
+        type: "NumberLineCounter";
+        min: number;
+        max: number;
+        name?: string | undefined;
+        default?: number | undefined;
+    } | undefined;
     minorTicks?: number | undefined;
     style?: "arrow-right" | "arrow-left" | "arrow-both" | "line" | undefined;
+    labelVisibility?: "all" | "extremes" | "min-only" | "max-only" | "none" | undefined;
+    highlights?: {
+        type: "NumberLineHighlight";
+        from: number;
+        to: number;
+        color?: "blue" | "red" | "green" | "orange" | "purple" | "yellow" | undefined;
+        label?: string | undefined;
+    }[] | undefined;
 }, {
     type: "NumberLineBlock";
     min: number;
@@ -1121,11 +1386,33 @@ export declare const ContentBlockSchema: z.ZodUnion<[z.ZodObject<{
             name: string;
             digits: number;
             answer?: string | number | undefined;
+        } | {
+            type: "Fraction";
+            name: string;
+            answer?: string | undefined;
+            numerator?: number | undefined;
+            denominator?: number | undefined;
+            simplified?: boolean | undefined;
         })[];
     }[];
+    counter?: {
+        type: "NumberLineCounter";
+        min: number;
+        max: number;
+        name?: string | undefined;
+        default?: number | undefined;
+    } | undefined;
     step?: number | undefined;
     minorTicks?: number | undefined;
     style?: "arrow-right" | "arrow-left" | "arrow-both" | "line" | undefined;
+    labelVisibility?: "all" | "extremes" | "min-only" | "max-only" | "none" | undefined;
+    highlights?: {
+        type: "NumberLineHighlight";
+        from: number;
+        to: number;
+        color?: "blue" | "red" | "green" | "orange" | "purple" | "yellow" | undefined;
+        label?: string | undefined;
+    }[] | undefined;
 }>, {
     type: "NumberLineBlock";
     min: number;
@@ -1164,10 +1451,32 @@ export declare const ContentBlockSchema: z.ZodUnion<[z.ZodObject<{
             name: string;
             digits: number;
             answer?: string | number | undefined;
+        } | {
+            type: "Fraction";
+            name: string;
+            simplified: boolean;
+            answer?: string | undefined;
+            numerator?: number | undefined;
+            denominator?: number | undefined;
         })[];
     }[];
+    counter?: {
+        type: "NumberLineCounter";
+        min: number;
+        max: number;
+        name?: string | undefined;
+        default?: number | undefined;
+    } | undefined;
     minorTicks?: number | undefined;
     style?: "arrow-right" | "arrow-left" | "arrow-both" | "line" | undefined;
+    labelVisibility?: "all" | "extremes" | "min-only" | "max-only" | "none" | undefined;
+    highlights?: {
+        type: "NumberLineHighlight";
+        from: number;
+        to: number;
+        color?: "blue" | "red" | "green" | "orange" | "purple" | "yellow" | undefined;
+        label?: string | undefined;
+    }[] | undefined;
 }, {
     type: "NumberLineBlock";
     min: number;
@@ -1205,11 +1514,33 @@ export declare const ContentBlockSchema: z.ZodUnion<[z.ZodObject<{
             name: string;
             digits: number;
             answer?: string | number | undefined;
+        } | {
+            type: "Fraction";
+            name: string;
+            answer?: string | undefined;
+            numerator?: number | undefined;
+            denominator?: number | undefined;
+            simplified?: boolean | undefined;
         })[];
     }[];
+    counter?: {
+        type: "NumberLineCounter";
+        min: number;
+        max: number;
+        name?: string | undefined;
+        default?: number | undefined;
+    } | undefined;
     step?: number | undefined;
     minorTicks?: number | undefined;
     style?: "arrow-right" | "arrow-left" | "arrow-both" | "line" | undefined;
+    labelVisibility?: "all" | "extremes" | "min-only" | "max-only" | "none" | undefined;
+    highlights?: {
+        type: "NumberLineHighlight";
+        from: number;
+        to: number;
+        color?: "blue" | "red" | "green" | "orange" | "purple" | "yellow" | undefined;
+        label?: string | undefined;
+    }[] | undefined;
 }>, {
     type: "NumberLineBlock";
     min: number;
@@ -1248,10 +1579,32 @@ export declare const ContentBlockSchema: z.ZodUnion<[z.ZodObject<{
             name: string;
             digits: number;
             answer?: string | number | undefined;
+        } | {
+            type: "Fraction";
+            name: string;
+            simplified: boolean;
+            answer?: string | undefined;
+            numerator?: number | undefined;
+            denominator?: number | undefined;
         })[];
     }[];
+    counter?: {
+        type: "NumberLineCounter";
+        min: number;
+        max: number;
+        name?: string | undefined;
+        default?: number | undefined;
+    } | undefined;
     minorTicks?: number | undefined;
     style?: "arrow-right" | "arrow-left" | "arrow-both" | "line" | undefined;
+    labelVisibility?: "all" | "extremes" | "min-only" | "max-only" | "none" | undefined;
+    highlights?: {
+        type: "NumberLineHighlight";
+        from: number;
+        to: number;
+        color?: "blue" | "red" | "green" | "orange" | "purple" | "yellow" | undefined;
+        label?: string | undefined;
+    }[] | undefined;
 }, {
     type: "NumberLineBlock";
     min: number;
@@ -1289,11 +1642,33 @@ export declare const ContentBlockSchema: z.ZodUnion<[z.ZodObject<{
             name: string;
             digits: number;
             answer?: string | number | undefined;
+        } | {
+            type: "Fraction";
+            name: string;
+            answer?: string | undefined;
+            numerator?: number | undefined;
+            denominator?: number | undefined;
+            simplified?: boolean | undefined;
         })[];
     }[];
+    counter?: {
+        type: "NumberLineCounter";
+        min: number;
+        max: number;
+        name?: string | undefined;
+        default?: number | undefined;
+    } | undefined;
     step?: number | undefined;
     minorTicks?: number | undefined;
     style?: "arrow-right" | "arrow-left" | "arrow-both" | "line" | undefined;
+    labelVisibility?: "all" | "extremes" | "min-only" | "max-only" | "none" | undefined;
+    highlights?: {
+        type: "NumberLineHighlight";
+        from: number;
+        to: number;
+        color?: "blue" | "red" | "green" | "orange" | "purple" | "yellow" | undefined;
+        label?: string | undefined;
+    }[] | undefined;
 }>]>;
 
 /**
@@ -1321,6 +1696,16 @@ export declare function createExerciseDocument(question: z.infer<typeof TextBloc
  */
 export declare function createExpressionValidation(expression: string): ExpressionValidation;
 
+/**
+ * Create a fraction inline widget
+ */
+export declare function createFraction(name: string, options?: {
+    numerator?: number;
+    denominator?: number;
+    answer?: string;
+    simplified?: boolean;
+}): FractionInline;
+
 /**
  * Create a free text inline element
  */
@@ -1563,7 +1948,28 @@ export declare const ExerciseDocumentSchema: z.ZodObject<{
             name: string;
             digits: number;
             answer?: string | number | undefined;
-        }>]>]>, "many">;
+        }>]>, z.ZodObject<{
+            type: z.ZodLiteral<"Fraction">;
+            name: z.ZodString;
+            numerator: z.ZodOptional<z.ZodNumber>;
+            denominator: z.ZodOptional<z.ZodNumber>;
+            answer: z.ZodOptional<z.ZodString>;
+            simplified: z.ZodDefault<z.ZodBoolean>;
+        }, "strip", z.ZodTypeAny, {
+            type: "Fraction";
+            name: string;
+            simplified: boolean;
+            answer?: string | undefined;
+            numerator?: number | undefined;
+            denominator?: number | undefined;
+        }, {
+            type: "Fraction";
+            name: string;
+            answer?: string | undefined;
+            numerator?: number | undefined;
+            denominator?: number | undefined;
+            simplified?: boolean | undefined;
+        }>]>, "many">;
     }, "strip", z.ZodTypeAny, {
         type: "LineBlock";
         inlines: ({
@@ -1596,6 +2002,13 @@ export declare const ExerciseDocumentSchema: z.ZodObject<{
             name: string;
             digits: number;
             answer?: string | number | undefined;
+        } | {
+            type: "Fraction";
+            name: string;
+            simplified: boolean;
+            answer?: string | undefined;
+            numerator?: number | undefined;
+            denominator?: number | undefined;
         })[];
     }, {
         type: "LineBlock";
@@ -1629,6 +2042,13 @@ export declare const ExerciseDocumentSchema: z.ZodObject<{
             name: string;
             digits: number;
             answer?: string | number | undefined;
+        } | {
+            type: "Fraction";
+            name: string;
+            answer?: string | undefined;
+            numerator?: number | undefined;
+            denominator?: number | undefined;
+            simplified?: boolean | undefined;
         })[];
     }>, z.ZodObject<{
         type: z.ZodLiteral<"TableBlock">;
@@ -1728,7 +2148,28 @@ export declare const ExerciseDocumentSchema: z.ZodObject<{
                     name: string;
                     digits: number;
                     answer?: string | number | undefined;
-                }>]>]>, "many">;
+                }>]>, z.ZodObject<{
+                    type: z.ZodLiteral<"Fraction">;
+                    name: z.ZodString;
+                    numerator: z.ZodOptional<z.ZodNumber>;
+                    denominator: z.ZodOptional<z.ZodNumber>;
+                    answer: z.ZodOptional<z.ZodString>;
+                    simplified: z.ZodDefault<z.ZodBoolean>;
+                }, "strip", z.ZodTypeAny, {
+                    type: "Fraction";
+                    name: string;
+                    simplified: boolean;
+                    answer?: string | undefined;
+                    numerator?: number | undefined;
+                    denominator?: number | undefined;
+                }, {
+                    type: "Fraction";
+                    name: string;
+                    answer?: string | undefined;
+                    numerator?: number | undefined;
+                    denominator?: number | undefined;
+                    simplified?: boolean | undefined;
+                }>]>, "many">;
             }, "strip", z.ZodTypeAny, {
                 type: "TableCell";
                 inlines: ({
@@ -1761,6 +2202,13 @@ export declare const ExerciseDocumentSchema: z.ZodObject<{
                     name: string;
                     digits: number;
                     answer?: string | number | undefined;
+                } | {
+                    type: "Fraction";
+                    name: string;
+                    simplified: boolean;
+                    answer?: string | undefined;
+                    numerator?: number | undefined;
+                    denominator?: number | undefined;
                 })[];
                 colspan?: number | undefined;
             }, {
@@ -1795,6 +2243,13 @@ export declare const ExerciseDocumentSchema: z.ZodObject<{
                     name: string;
                     digits: number;
                     answer?: string | number | undefined;
+                } | {
+                    type: "Fraction";
+                    name: string;
+                    answer?: string | undefined;
+                    numerator?: number | undefined;
+                    denominator?: number | undefined;
+                    simplified?: boolean | undefined;
                 })[];
                 colspan?: number | undefined;
             }>, "many">;
@@ -1832,6 +2287,13 @@ export declare const ExerciseDocumentSchema: z.ZodObject<{
                     name: string;
                     digits: number;
                     answer?: string | number | undefined;
+                } | {
+                    type: "Fraction";
+                    name: string;
+                    simplified: boolean;
+                    answer?: string | undefined;
+                    numerator?: number | undefined;
+                    denominator?: number | undefined;
                 })[];
                 colspan?: number | undefined;
             }[];
@@ -1869,6 +2331,13 @@ export declare const ExerciseDocumentSchema: z.ZodObject<{
                     name: string;
                     digits: number;
                     answer?: string | number | undefined;
+                } | {
+                    type: "Fraction";
+                    name: string;
+                    answer?: string | undefined;
+                    numerator?: number | undefined;
+                    denominator?: number | undefined;
+                    simplified?: boolean | undefined;
                 })[];
                 colspan?: number | undefined;
             }[];
@@ -1910,6 +2379,13 @@ export declare const ExerciseDocumentSchema: z.ZodObject<{
                     name: string;
                     digits: number;
                     answer?: string | number | undefined;
+                } | {
+                    type: "Fraction";
+                    name: string;
+                    simplified: boolean;
+                    answer?: string | undefined;
+                    numerator?: number | undefined;
+                    denominator?: number | undefined;
                 })[];
                 colspan?: number | undefined;
             }[];
@@ -1951,6 +2427,13 @@ export declare const ExerciseDocumentSchema: z.ZodObject<{
                     name: string;
                     digits: number;
                     answer?: string | number | undefined;
+                } | {
+                    type: "Fraction";
+                    name: string;
+                    answer?: string | undefined;
+                    numerator?: number | undefined;
+                    denominator?: number | undefined;
+                    simplified?: boolean | undefined;
                 })[];
                 colspan?: number | undefined;
             }[];
@@ -1977,6 +2460,69 @@ export declare const ExerciseDocumentSchema: z.ZodObject<{
         step: z.ZodDefault<z.ZodNumber>;
         minorTicks: z.ZodOptional<z.ZodNumber>;
         style: z.ZodOptional<z.ZodEnum<["arrow-right", "arrow-left", "arrow-both", "line"]>>;
+        labelVisibility: z.ZodOptional<z.ZodEnum<["all", "extremes", "min-only", "max-only", "none"]>>;
+        counter: z.ZodOptional<z.ZodEffects<z.ZodObject<{
+            type: z.ZodLiteral<"NumberLineCounter">;
+            min: z.ZodNumber;
+            max: z.ZodNumber;
+            default: z.ZodOptional<z.ZodNumber>;
+            name: z.ZodOptional<z.ZodString>;
+        }, "strip", z.ZodTypeAny, {
+            type: "NumberLineCounter";
+            min: number;
+            max: number;
+            name?: string | undefined;
+            default?: number | undefined;
+        }, {
+            type: "NumberLineCounter";
+            min: number;
+            max: number;
+            name?: string | undefined;
+            default?: number | undefined;
+        }>, {
+            type: "NumberLineCounter";
+            min: number;
+            max: number;
+            name?: string | undefined;
+            default?: number | undefined;
+        }, {
+            type: "NumberLineCounter";
+            min: number;
+            max: number;
+            name?: string | undefined;
+            default?: number | undefined;
+        }>>;
+        highlights: z.ZodOptional<z.ZodArray<z.ZodEffects<z.ZodObject<{
+            type: z.ZodLiteral<"NumberLineHighlight">;
+            from: z.ZodNumber;
+            to: z.ZodNumber;
+            color: z.ZodOptional<z.ZodEnum<["blue", "red", "green", "orange", "purple", "yellow"]>>;
+            label: z.ZodOptional<z.ZodString>;
+        }, "strip", z.ZodTypeAny, {
+            type: "NumberLineHighlight";
+            from: number;
+            to: number;
+            color?: "blue" | "red" | "green" | "orange" | "purple" | "yellow" | undefined;
+            label?: string | undefined;
+        }, {
+            type: "NumberLineHighlight";
+            from: number;
+            to: number;
+            color?: "blue" | "red" | "green" | "orange" | "purple" | "yellow" | undefined;
+            label?: string | undefined;
+        }>, {
+            type: "NumberLineHighlight";
+            from: number;
+            to: number;
+            color?: "blue" | "red" | "green" | "orange" | "purple" | "yellow" | undefined;
+            label?: string | undefined;
+        }, {
+            type: "NumberLineHighlight";
+            from: number;
+            to: number;
+            color?: "blue" | "red" | "green" | "orange" | "purple" | "yellow" | undefined;
+            label?: string | undefined;
+        }>, "many">>;
         positions: z.ZodArray<z.ZodObject<{
             type: z.ZodLiteral<"NumberLinePosition">;
             value: z.ZodNumber;
@@ -2070,7 +2616,28 @@ export declare const ExerciseDocumentSchema: z.ZodObject<{
                 name: string;
                 digits: number;
                 answer?: string | number | undefined;
-            }>]>]>, "many">;
+            }>]>, z.ZodObject<{
+                type: z.ZodLiteral<"Fraction">;
+                name: z.ZodString;
+                numerator: z.ZodOptional<z.ZodNumber>;
+                denominator: z.ZodOptional<z.ZodNumber>;
+                answer: z.ZodOptional<z.ZodString>;
+                simplified: z.ZodDefault<z.ZodBoolean>;
+            }, "strip", z.ZodTypeAny, {
+                type: "Fraction";
+                name: string;
+                simplified: boolean;
+                answer?: string | undefined;
+                numerator?: number | undefined;
+                denominator?: number | undefined;
+            }, {
+                type: "Fraction";
+                name: string;
+                answer?: string | undefined;
+                numerator?: number | undefined;
+                denominator?: number | undefined;
+                simplified?: boolean | undefined;
+            }>]>, "many">;
         }, "strip", z.ZodTypeAny, {
             value: number;
             type: "NumberLinePosition";
@@ -2104,6 +2671,13 @@ export declare const ExerciseDocumentSchema: z.ZodObject<{
                 name: string;
                 digits: number;
                 answer?: string | number | undefined;
+            } | {
+                type: "Fraction";
+                name: string;
+                simplified: boolean;
+                answer?: string | undefined;
+                numerator?: number | undefined;
+                denominator?: number | undefined;
             })[];
         }, {
             value: number;
@@ -2138,6 +2712,13 @@ export declare const ExerciseDocumentSchema: z.ZodObject<{
                 name: string;
                 digits: number;
                 answer?: string | number | undefined;
+            } | {
+                type: "Fraction";
+                name: string;
+                answer?: string | undefined;
+                numerator?: number | undefined;
+                denominator?: number | undefined;
+                simplified?: boolean | undefined;
             })[];
         }>, "many">;
     }, "strip", z.ZodTypeAny, {
@@ -2178,10 +2759,32 @@ export declare const ExerciseDocumentSchema: z.ZodObject<{
                 name: string;
                 digits: number;
                 answer?: string | number | undefined;
+            } | {
+                type: "Fraction";
+                name: string;
+                simplified: boolean;
+                answer?: string | undefined;
+                numerator?: number | undefined;
+                denominator?: number | undefined;
             })[];
         }[];
+        counter?: {
+            type: "NumberLineCounter";
+            min: number;
+            max: number;
+            name?: string | undefined;
+            default?: number | undefined;
+        } | undefined;
         minorTicks?: number | undefined;
         style?: "arrow-right" | "arrow-left" | "arrow-both" | "line" | undefined;
+        labelVisibility?: "all" | "extremes" | "min-only" | "max-only" | "none" | undefined;
+        highlights?: {
+            type: "NumberLineHighlight";
+            from: number;
+            to: number;
+            color?: "blue" | "red" | "green" | "orange" | "purple" | "yellow" | undefined;
+            label?: string | undefined;
+        }[] | undefined;
     }, {
         type: "NumberLineBlock";
         min: number;
@@ -2219,11 +2822,33 @@ export declare const ExerciseDocumentSchema: z.ZodObject<{
                 name: string;
                 digits: number;
                 answer?: string | number | undefined;
+            } | {
+                type: "Fraction";
+                name: string;
+                answer?: string | undefined;
+                numerator?: number | undefined;
+                denominator?: number | undefined;
+                simplified?: boolean | undefined;
             })[];
         }[];
+        counter?: {
+            type: "NumberLineCounter";
+            min: number;
+            max: number;
+            name?: string | undefined;
+            default?: number | undefined;
+        } | undefined;
         step?: number | undefined;
         minorTicks?: number | undefined;
         style?: "arrow-right" | "arrow-left" | "arrow-both" | "line" | undefined;
+        labelVisibility?: "all" | "extremes" | "min-only" | "max-only" | "none" | undefined;
+        highlights?: {
+            type: "NumberLineHighlight";
+            from: number;
+            to: number;
+            color?: "blue" | "red" | "green" | "orange" | "purple" | "yellow" | undefined;
+            label?: string | undefined;
+        }[] | undefined;
     }>, {
         type: "NumberLineBlock";
         min: number;
@@ -2262,10 +2887,32 @@ export declare const ExerciseDocumentSchema: z.ZodObject<{
                 name: string;
                 digits: number;
                 answer?: string | number | undefined;
+            } | {
+                type: "Fraction";
+                name: string;
+                simplified: boolean;
+                answer?: string | undefined;
+                numerator?: number | undefined;
+                denominator?: number | undefined;
             })[];
         }[];
+        counter?: {
+            type: "NumberLineCounter";
+            min: number;
+            max: number;
+            name?: string | undefined;
+            default?: number | undefined;
+        } | undefined;
         minorTicks?: number | undefined;
         style?: "arrow-right" | "arrow-left" | "arrow-both" | "line" | undefined;
+        labelVisibility?: "all" | "extremes" | "min-only" | "max-only" | "none" | undefined;
+        highlights?: {
+            type: "NumberLineHighlight";
+            from: number;
+            to: number;
+            color?: "blue" | "red" | "green" | "orange" | "purple" | "yellow" | undefined;
+            label?: string | undefined;
+        }[] | undefined;
     }, {
         type: "NumberLineBlock";
         min: number;
@@ -2303,11 +2950,33 @@ export declare const ExerciseDocumentSchema: z.ZodObject<{
                 name: string;
                 digits: number;
                 answer?: string | number | undefined;
+            } | {
+                type: "Fraction";
+                name: string;
+                answer?: string | undefined;
+                numerator?: number | undefined;
+                denominator?: number | undefined;
+                simplified?: boolean | undefined;
             })[];
         }[];
+        counter?: {
+            type: "NumberLineCounter";
+            min: number;
+            max: number;
+            name?: string | undefined;
+            default?: number | undefined;
+        } | undefined;
         step?: number | undefined;
         minorTicks?: number | undefined;
         style?: "arrow-right" | "arrow-left" | "arrow-both" | "line" | undefined;
+        labelVisibility?: "all" | "extremes" | "min-only" | "max-only" | "none" | undefined;
+        highlights?: {
+            type: "NumberLineHighlight";
+            from: number;
+            to: number;
+            color?: "blue" | "red" | "green" | "orange" | "purple" | "yellow" | undefined;
+            label?: string | undefined;
+        }[] | undefined;
     }>, {
         type: "NumberLineBlock";
         min: number;
@@ -2346,10 +3015,32 @@ export declare const ExerciseDocumentSchema: z.ZodObject<{
                 name: string;
                 digits: number;
                 answer?: string | number | undefined;
+            } | {
+                type: "Fraction";
+                name: string;
+                simplified: boolean;
+                answer?: string | undefined;
+                numerator?: number | undefined;
+                denominator?: number | undefined;
             })[];
         }[];
+        counter?: {
+            type: "NumberLineCounter";
+            min: number;
+            max: number;
+            name?: string | undefined;
+            default?: number | undefined;
+        } | undefined;
         minorTicks?: number | undefined;
         style?: "arrow-right" | "arrow-left" | "arrow-both" | "line" | undefined;
+        labelVisibility?: "all" | "extremes" | "min-only" | "max-only" | "none" | undefined;
+        highlights?: {
+            type: "NumberLineHighlight";
+            from: number;
+            to: number;
+            color?: "blue" | "red" | "green" | "orange" | "purple" | "yellow" | undefined;
+            label?: string | undefined;
+        }[] | undefined;
     }, {
         type: "NumberLineBlock";
         min: number;
@@ -2387,11 +3078,33 @@ export declare const ExerciseDocumentSchema: z.ZodObject<{
                 name: string;
                 digits: number;
                 answer?: string | number | undefined;
+            } | {
+                type: "Fraction";
+                name: string;
+                answer?: string | undefined;
+                numerator?: number | undefined;
+                denominator?: number | undefined;
+                simplified?: boolean | undefined;
             })[];
         }[];
+        counter?: {
+            type: "NumberLineCounter";
+            min: number;
+            max: number;
+            name?: string | undefined;
+            default?: number | undefined;
+        } | undefined;
         step?: number | undefined;
         minorTicks?: number | undefined;
         style?: "arrow-right" | "arrow-left" | "arrow-both" | "line" | undefined;
+        labelVisibility?: "all" | "extremes" | "min-only" | "max-only" | "none" | undefined;
+        highlights?: {
+            type: "NumberLineHighlight";
+            from: number;
+            to: number;
+            color?: "blue" | "red" | "green" | "orange" | "purple" | "yellow" | undefined;
+            label?: string | undefined;
+        }[] | undefined;
     }>]>, "many">;
     tools: z.ZodOptional<z.ZodArray<z.ZodDiscriminatedUnion<"type", [z.ZodObject<{
         type: z.ZodLiteral<"DragOptions">;
@@ -2465,6 +3178,13 @@ export declare const ExerciseDocumentSchema: z.ZodObject<{
             name: string;
             digits: number;
             answer?: string | number | undefined;
+        } | {
+            type: "Fraction";
+            name: string;
+            simplified: boolean;
+            answer?: string | undefined;
+            numerator?: number | undefined;
+            denominator?: number | undefined;
         })[];
     } | {
         type: "NumberLineBlock";
@@ -2504,10 +3224,32 @@ export declare const ExerciseDocumentSchema: z.ZodObject<{
                 name: string;
                 digits: number;
                 answer?: string | number | undefined;
+            } | {
+                type: "Fraction";
+                name: string;
+                simplified: boolean;
+                answer?: string | undefined;
+                numerator?: number | undefined;
+                denominator?: number | undefined;
             })[];
         }[];
+        counter?: {
+            type: "NumberLineCounter";
+            min: number;
+            max: number;
+            name?: string | undefined;
+            default?: number | undefined;
+        } | undefined;
         minorTicks?: number | undefined;
         style?: "arrow-right" | "arrow-left" | "arrow-both" | "line" | undefined;
+        labelVisibility?: "all" | "extremes" | "min-only" | "max-only" | "none" | undefined;
+        highlights?: {
+            type: "NumberLineHighlight";
+            from: number;
+            to: number;
+            color?: "blue" | "red" | "green" | "orange" | "purple" | "yellow" | undefined;
+            label?: string | undefined;
+        }[] | undefined;
     } | {
         type: "TableBlock";
         cols: number;
@@ -2545,6 +3287,13 @@ export declare const ExerciseDocumentSchema: z.ZodObject<{
                     name: string;
                     digits: number;
                     answer?: string | number | undefined;
+                } | {
+                    type: "Fraction";
+                    name: string;
+                    simplified: boolean;
+                    answer?: string | undefined;
+                    numerator?: number | undefined;
+                    denominator?: number | undefined;
                 })[];
                 colspan?: number | undefined;
             }[];
@@ -2607,6 +3356,13 @@ export declare const ExerciseDocumentSchema: z.ZodObject<{
             name: string;
             digits: number;
             answer?: string | number | undefined;
+        } | {
+            type: "Fraction";
+            name: string;
+            answer?: string | undefined;
+            numerator?: number | undefined;
+            denominator?: number | undefined;
+            simplified?: boolean | undefined;
         })[];
     } | {
         type: "NumberLineBlock";
@@ -2645,11 +3401,33 @@ export declare const ExerciseDocumentSchema: z.ZodObject<{
                 name: string;
                 digits: number;
                 answer?: string | number | undefined;
+            } | {
+                type: "Fraction";
+                name: string;
+                answer?: string | undefined;
+                numerator?: number | undefined;
+                denominator?: number | undefined;
+                simplified?: boolean | undefined;
             })[];
         }[];
+        counter?: {
+            type: "NumberLineCounter";
+            min: number;
+            max: number;
+            name?: string | undefined;
+            default?: number | undefined;
+        } | undefined;
         step?: number | undefined;
         minorTicks?: number | undefined;
         style?: "arrow-right" | "arrow-left" | "arrow-both" | "line" | undefined;
+        labelVisibility?: "all" | "extremes" | "min-only" | "max-only" | "none" | undefined;
+        highlights?: {
+            type: "NumberLineHighlight";
+            from: number;
+            to: number;
+            color?: "blue" | "red" | "green" | "orange" | "purple" | "yellow" | undefined;
+            label?: string | undefined;
+        }[] | undefined;
     } | {
         type: "TableBlock";
         cols: number;
@@ -2687,6 +3465,13 @@ export declare const ExerciseDocumentSchema: z.ZodObject<{
                     name: string;
                     digits: number;
                     answer?: string | number | undefined;
+                } | {
+                    type: "Fraction";
+                    name: string;
+                    answer?: string | undefined;
+                    numerator?: number | undefined;
+                    denominator?: number | undefined;
+                    simplified?: boolean | undefined;
                 })[];
                 colspan?: number | undefined;
             }[];
@@ -2777,6 +3562,21 @@ export declare const ExerciseJSONSchema: z.ZodObject<{
         type: "numeric-keypad";
         includeOperators?: boolean | undefined;
         includeDecimal?: boolean | undefined;
+    }>, z.ZodObject<{
+        type: z.ZodLiteral<"fraction">;
+        numerator: z.ZodNullable<z.ZodNumber>;
+        denominator: z.ZodNullable<z.ZodNumber>;
+        simplified: z.ZodBoolean;
+    }, "strip", z.ZodTypeAny, {
+        type: "fraction";
+        numerator: number | null;
+        denominator: number | null;
+        simplified: boolean;
+    }, {
+        type: "fraction";
+        numerator: number | null;
+        denominator: number | null;
+        simplified: boolean;
     }>]>>;
     validation: z.ZodOptional<z.ZodObject<{
         mode: z.ZodEnum<["simple", "expression"]>;
@@ -2831,6 +3631,11 @@ export declare const ExerciseJSONSchema: z.ZodObject<{
         type: "numeric-keypad";
         includeOperators?: boolean | undefined;
         includeDecimal?: boolean | undefined;
+    } | {
+        type: "fraction";
+        numerator: number | null;
+        denominator: number | null;
+        simplified: boolean;
     }>;
     validation?: {
         mode: "simple" | "expression";
@@ -2866,6 +3671,11 @@ export declare const ExerciseJSONSchema: z.ZodObject<{
         type: "numeric-keypad";
         includeOperators?: boolean | undefined;
         includeDecimal?: boolean | undefined;
+    } | {
+        type: "fraction";
+        numerator: number | null;
+        denominator: number | null;
+        simplified: boolean;
     }>;
     validation?: {
         mode: "simple" | "expression";
@@ -2972,6 +3782,72 @@ export declare function findValidCombination(expression: string, ranges: Record<
     step?: number;
 }>): Record<string, number> | null;
 
+export declare type FractionInline = z.infer<typeof FractionInlineSchema>;
+
+/**
+ * Fraction inline widget schema
+ *
+ * Modes determined by presence of numerator/denominator:
+ * - both provided → readonly display
+ * - only numerator → denominator input
+ * - only denominator → numerator input
+ * - neither → both are inputs
+ *
+ * @example Readonly: { type: "Fraction", name: "x", numerator: 5, denominator: 3 }
+ * @example Denominator input: { type: "Fraction", name: "y", numerator: 5, answer: "5/3" }
+ * @example Both inputs: { type: "Fraction", name: "z", answer: "5/3" }
+ */
+export declare const FractionInlineSchema: z.ZodObject<{
+    type: z.ZodLiteral<"Fraction">;
+    name: z.ZodString;
+    numerator: z.ZodOptional<z.ZodNumber>;
+    denominator: z.ZodOptional<z.ZodNumber>;
+    answer: z.ZodOptional<z.ZodString>;
+    simplified: z.ZodDefault<z.ZodBoolean>;
+}, "strip", z.ZodTypeAny, {
+    type: "Fraction";
+    name: string;
+    simplified: boolean;
+    answer?: string | undefined;
+    numerator?: number | undefined;
+    denominator?: number | undefined;
+}, {
+    type: "Fraction";
+    name: string;
+    answer?: string | undefined;
+    numerator?: number | undefined;
+    denominator?: number | undefined;
+    simplified?: boolean | undefined;
+}>;
+
+export declare type FractionJSON = z.infer<typeof FractionJSONSchema>;
+
+export declare const FractionJSONSchema: z.ZodObject<{
+    type: z.ZodLiteral<"fraction">;
+    numerator: z.ZodNullable<z.ZodNumber>;
+    denominator: z.ZodNullable<z.ZodNumber>;
+    simplified: z.ZodBoolean;
+}, "strip", z.ZodTypeAny, {
+    type: "fraction";
+    numerator: number | null;
+    denominator: number | null;
+    simplified: boolean;
+}, {
+    type: "fraction";
+    numerator: number | null;
+    denominator: number | null;
+    simplified: boolean;
+}>;
+
+/**
+ * Centralized fraction compound key utilities.
+ *
+ * Fraction widgets use compound keys (e.g., "x__num", "x__den") in the
+ * UI values map for sub-inputs. These keys are UI-only — they never appear
+ * in the widgets map or validation answers.
+ */
+export declare type FractionPart = 'num' | 'den';
+
 export declare type FreeTextInline = z.infer<typeof FreeTextInlineSchema>;
 
 /**
@@ -2994,6 +3870,8 @@ export declare const FreeTextInlineSchema: z.ZodObject<{
     type: "FreeText";
 }>;
 
+export declare function getFractionKey(widgetId: string, part: FractionPart): string;
+
 /**
  * Check if all required inputs are provided
  *
@@ -3253,7 +4131,28 @@ export declare const InlineNodeSchema: z.ZodUnion<[z.ZodObject<{
     name: string;
     digits: number;
     answer?: string | number | undefined;
-}>]>]>;
+}>]>, z.ZodObject<{
+    type: z.ZodLiteral<"Fraction">;
+    name: z.ZodString;
+    numerator: z.ZodOptional<z.ZodNumber>;
+    denominator: z.ZodOptional<z.ZodNumber>;
+    answer: z.ZodOptional<z.ZodString>;
+    simplified: z.ZodDefault<z.ZodBoolean>;
+}, "strip", z.ZodTypeAny, {
+    type: "Fraction";
+    name: string;
+    simplified: boolean;
+    answer?: string | undefined;
+    numerator?: number | undefined;
+    denominator?: number | undefined;
+}, {
+    type: "Fraction";
+    name: string;
+    answer?: string | undefined;
+    numerator?: number | undefined;
+    denominator?: number | undefined;
+    simplified?: boolean | undefined;
+}>]>;
 
 /**
  * Type guard for BoldText
@@ -3282,14 +4181,23 @@ export declare function isExerciseDocument(value: unknown): value is ExerciseDoc
 
 export declare function isExpressionValidation(value: unknown): value is ExpressionValidation;
 
+export declare function isFraction(value: unknown): value is FractionInline;
+
+/**
+ * Type guard for FractionJSON
+ */
+export declare function isFractionJSON(widget: WidgetJSON): widget is Extract<WidgetJSON, {
+    type: 'fraction';
+}>;
+
+export declare function isFractionKey(key: string): boolean;
+
 export declare function isFreeText(value: unknown): value is FreeTextInline;
 
 /**
  * Type guard for GroupItem
  */
-export declare function isGroupItem(item: LayoutItem): item is Extract<LayoutItem, {
-    type: 'group';
-}>;
+export declare function isGroupItem(item: LayoutItem): item is GroupItem;
 
 /**
  * Type guard for HighlightedText
@@ -3444,6 +4352,10 @@ export declare const JSON_TYPES: {
     readonly NUMBER_LINE: "number-line";
     /** Position marker within a number line */
     readonly NUMBER_LINE_POSITION: "number-line-position";
+    /** Dynamic subdivision counter embedded in a number line */
+    readonly NUMBER_LINE_COUNTER: "number-line-counter";
+    /** Highlighted range within a number line */
+    readonly NUMBER_LINE_HIGHLIGHT: "number-line-highlight";
     /** Inline input widget (string or numeric) */
     readonly INLINE_INPUT: "inline-input";
     /** Drag-and-drop options widget */
@@ -3452,6 +4364,8 @@ export declare const JSON_TYPES: {
     readonly RADIO_OPTIONS: "radio-options";
     /** Numeric keypad widget */
     readonly NUMERIC_KEYPAD: "numeric-keypad";
+    /** Inline fraction widget */
+    readonly FRACTION: "fraction";
 };
 
 /**
@@ -3473,6 +4387,7 @@ export declare interface LayoutRendererProps {
     widgets: Record<string, WidgetJSON>;
     values: Record<string, string>;
     droppedInputs: Set<string>;
+    validationDetails?: Record<string, boolean> | null;
     onChange: (widgetId: string, value: string, fromDrop?: boolean, sourceOptionId?: string) => void;
     onInputFocus?: (widgetId: string) => void;
 }
@@ -3596,7 +4511,28 @@ export declare const LineBlockSchema: z.ZodObject<{
         name: string;
         digits: number;
         answer?: string | number | undefined;
-    }>]>]>, "many">;
+    }>]>, z.ZodObject<{
+        type: z.ZodLiteral<"Fraction">;
+        name: z.ZodString;
+        numerator: z.ZodOptional<z.ZodNumber>;
+        denominator: z.ZodOptional<z.ZodNumber>;
+        answer: z.ZodOptional<z.ZodString>;
+        simplified: z.ZodDefault<z.ZodBoolean>;
+    }, "strip", z.ZodTypeAny, {
+        type: "Fraction";
+        name: string;
+        simplified: boolean;
+        answer?: string | undefined;
+        numerator?: number | undefined;
+        denominator?: number | undefined;
+    }, {
+        type: "Fraction";
+        name: string;
+        answer?: string | undefined;
+        numerator?: number | undefined;
+        denominator?: number | undefined;
+        simplified?: boolean | undefined;
+    }>]>, "many">;
 }, "strip", z.ZodTypeAny, {
     type: "LineBlock";
     inlines: ({
@@ -3629,6 +4565,13 @@ export declare const LineBlockSchema: z.ZodObject<{
         name: string;
         digits: number;
         answer?: string | number | undefined;
+    } | {
+        type: "Fraction";
+        name: string;
+        simplified: boolean;
+        answer?: string | undefined;
+        numerator?: number | undefined;
+        denominator?: number | undefined;
     })[];
 }, {
     type: "LineBlock";
@@ -3662,6 +4605,13 @@ export declare const LineBlockSchema: z.ZodObject<{
         name: string;
         digits: number;
         answer?: string | number | undefined;
+    } | {
+        type: "Fraction";
+        name: string;
+        answer?: string | undefined;
+        numerator?: number | undefined;
+        denominator?: number | undefined;
+        simplified?: boolean | undefined;
     })[];
 }>;
 
@@ -3678,18 +4628,1184 @@ export declare const LinebreakSchema: z.ZodObject<{
     id: string;
 }>;
 
-export declare type NumericKeypadJSON = z.infer<typeof NumericKeypadJSONSchema>;
+export declare type NumberLineBlock = z.infer<typeof NumberLineBlockSchema>;
 
-export declare const NumericKeypadJSONSchema: z.ZodObject<{
-    type: z.ZodLiteral<"numeric-keypad">;
-    includeOperators: z.ZodOptional<z.ZodBoolean>;
-    includeDecimal: z.ZodOptional<z.ZodBoolean>;
-}, "strip", z.ZodTypeAny, {
-    type: "numeric-keypad";
-    includeOperators?: boolean | undefined;
-    includeDecimal?: boolean | undefined;
-}, {
-    type: "numeric-keypad";
+/**
+ * Number line block schema — the root node for a number line exercise element.
+ *
+ * @example
+ * {
+ *   type: "NumberLineBlock",
+ *   min: 0, max: 100, step: 10, minorTicks: 0, style: "arrow-right",
+ *   positions: [
+ *     { type: "NumberLinePosition", value: 20, inlines: [...] }
+ *   ]
+ * }
+ */
+declare const NumberLineBlockSchema: z.ZodEffects<z.ZodEffects<z.ZodObject<{
+    type: z.ZodLiteral<"NumberLineBlock">;
+    min: z.ZodNumber;
+    max: z.ZodNumber;
+    step: z.ZodDefault<z.ZodNumber>;
+    minorTicks: z.ZodOptional<z.ZodNumber>;
+    style: z.ZodOptional<z.ZodEnum<["arrow-right", "arrow-left", "arrow-both", "line"]>>;
+    labelVisibility: z.ZodOptional<z.ZodEnum<["all", "extremes", "min-only", "max-only", "none"]>>;
+    counter: z.ZodOptional<z.ZodEffects<z.ZodObject<{
+        type: z.ZodLiteral<"NumberLineCounter">;
+        min: z.ZodNumber;
+        max: z.ZodNumber;
+        default: z.ZodOptional<z.ZodNumber>;
+        name: z.ZodOptional<z.ZodString>;
+    }, "strip", z.ZodTypeAny, {
+        type: "NumberLineCounter";
+        min: number;
+        max: number;
+        name?: string | undefined;
+        default?: number | undefined;
+    }, {
+        type: "NumberLineCounter";
+        min: number;
+        max: number;
+        name?: string | undefined;
+        default?: number | undefined;
+    }>, {
+        type: "NumberLineCounter";
+        min: number;
+        max: number;
+        name?: string | undefined;
+        default?: number | undefined;
+    }, {
+        type: "NumberLineCounter";
+        min: number;
+        max: number;
+        name?: string | undefined;
+        default?: number | undefined;
+    }>>;
+    highlights: z.ZodOptional<z.ZodArray<z.ZodEffects<z.ZodObject<{
+        type: z.ZodLiteral<"NumberLineHighlight">;
+        from: z.ZodNumber;
+        to: z.ZodNumber;
+        color: z.ZodOptional<z.ZodEnum<["blue", "red", "green", "orange", "purple", "yellow"]>>;
+        label: z.ZodOptional<z.ZodString>;
+    }, "strip", z.ZodTypeAny, {
+        type: "NumberLineHighlight";
+        from: number;
+        to: number;
+        color?: "blue" | "red" | "green" | "orange" | "purple" | "yellow" | undefined;
+        label?: string | undefined;
+    }, {
+        type: "NumberLineHighlight";
+        from: number;
+        to: number;
+        color?: "blue" | "red" | "green" | "orange" | "purple" | "yellow" | undefined;
+        label?: string | undefined;
+    }>, {
+        type: "NumberLineHighlight";
+        from: number;
+        to: number;
+        color?: "blue" | "red" | "green" | "orange" | "purple" | "yellow" | undefined;
+        label?: string | undefined;
+    }, {
+        type: "NumberLineHighlight";
+        from: number;
+        to: number;
+        color?: "blue" | "red" | "green" | "orange" | "purple" | "yellow" | undefined;
+        label?: string | undefined;
+    }>, "many">>;
+    positions: z.ZodArray<z.ZodObject<{
+        type: z.ZodLiteral<"NumberLinePosition">;
+        value: z.ZodNumber;
+        inlines: z.ZodArray<z.ZodUnion<[z.ZodObject<{
+            type: z.ZodLiteral<"FreeText">;
+            value: z.ZodString;
+        }, "strip", z.ZodTypeAny, {
+            value: string;
+            type: "FreeText";
+        }, {
+            value: string;
+            type: "FreeText";
+        }>, z.ZodObject<{
+            type: z.ZodLiteral<"Space">;
+        }, "strip", z.ZodTypeAny, {
+            type: "Space";
+        }, {
+            type: "Space";
+        }>, z.ZodObject<{
+            type: z.ZodLiteral<"HighlightedText">;
+            value: z.ZodString;
+            highlight: z.ZodOptional<z.ZodTuple<[z.ZodNumber, z.ZodNumber], null>>;
+        }, "strip", z.ZodTypeAny, {
+            value: string;
+            type: "HighlightedText";
+            highlight?: [number, number] | undefined;
+        }, {
+            value: string;
+            type: "HighlightedText";
+            highlight?: [number, number] | undefined;
+        }>, z.ZodObject<{
+            type: z.ZodLiteral<"ColorText">;
+            value: z.ZodString;
+            color: z.ZodString;
+            highlight: z.ZodOptional<z.ZodTuple<[z.ZodNumber, z.ZodNumber], null>>;
+        }, "strip", z.ZodTypeAny, {
+            value: string;
+            type: "ColorText";
+            color: string;
+            highlight?: [number, number] | undefined;
+        }, {
+            value: string;
+            type: "ColorText";
+            color: string;
+            highlight?: [number, number] | undefined;
+        }>, z.ZodObject<{
+            type: z.ZodLiteral<"BoldText">;
+            value: z.ZodString;
+            highlight: z.ZodOptional<z.ZodTuple<[z.ZodNumber, z.ZodNumber], null>>;
+        }, "strip", z.ZodTypeAny, {
+            value: string;
+            type: "BoldText";
+            highlight?: [number, number] | undefined;
+        }, {
+            value: string;
+            type: "BoldText";
+            highlight?: [number, number] | undefined;
+        }>, z.ZodDiscriminatedUnion<"inputType", [z.ZodObject<{
+            type: z.ZodLiteral<"InlineInput">;
+            name: z.ZodString;
+            inputType: z.ZodLiteral<"string">;
+            length: z.ZodNumber;
+            answer: z.ZodOptional<z.ZodUnion<[z.ZodString, z.ZodNumber]>>;
+        }, "strip", z.ZodTypeAny, {
+            length: number;
+            type: "InlineInput";
+            inputType: "string";
+            name: string;
+            answer?: string | number | undefined;
+        }, {
+            length: number;
+            type: "InlineInput";
+            inputType: "string";
+            name: string;
+            answer?: string | number | undefined;
+        }>, z.ZodObject<{
+            type: z.ZodLiteral<"InlineInput">;
+            name: z.ZodString;
+            inputType: z.ZodLiteral<"numeric">;
+            digits: z.ZodNumber;
+            answer: z.ZodOptional<z.ZodUnion<[z.ZodString, z.ZodNumber]>>;
+        }, "strip", z.ZodTypeAny, {
+            type: "InlineInput";
+            inputType: "numeric";
+            name: string;
+            digits: number;
+            answer?: string | number | undefined;
+        }, {
+            type: "InlineInput";
+            inputType: "numeric";
+            name: string;
+            digits: number;
+            answer?: string | number | undefined;
+        }>]>, z.ZodObject<{
+            type: z.ZodLiteral<"Fraction">;
+            name: z.ZodString;
+            numerator: z.ZodOptional<z.ZodNumber>;
+            denominator: z.ZodOptional<z.ZodNumber>;
+            answer: z.ZodOptional<z.ZodString>;
+            simplified: z.ZodDefault<z.ZodBoolean>;
+        }, "strip", z.ZodTypeAny, {
+            type: "Fraction";
+            name: string;
+            simplified: boolean;
+            answer?: string | undefined;
+            numerator?: number | undefined;
+            denominator?: number | undefined;
+        }, {
+            type: "Fraction";
+            name: string;
+            answer?: string | undefined;
+            numerator?: number | undefined;
+            denominator?: number | undefined;
+            simplified?: boolean | undefined;
+        }>]>, "many">;
+    }, "strip", z.ZodTypeAny, {
+        value: number;
+        type: "NumberLinePosition";
+        inlines: ({
+            value: string;
+            type: "FreeText";
+        } | {
+            type: "Space";
+        } | {
+            value: string;
+            type: "HighlightedText";
+            highlight?: [number, number] | undefined;
+        } | {
+            value: string;
+            type: "ColorText";
+            color: string;
+            highlight?: [number, number] | undefined;
+        } | {
+            value: string;
+            type: "BoldText";
+            highlight?: [number, number] | undefined;
+        } | {
+            length: number;
+            type: "InlineInput";
+            inputType: "string";
+            name: string;
+            answer?: string | number | undefined;
+        } | {
+            type: "InlineInput";
+            inputType: "numeric";
+            name: string;
+            digits: number;
+            answer?: string | number | undefined;
+        } | {
+            type: "Fraction";
+            name: string;
+            simplified: boolean;
+            answer?: string | undefined;
+            numerator?: number | undefined;
+            denominator?: number | undefined;
+        })[];
+    }, {
+        value: number;
+        type: "NumberLinePosition";
+        inlines: ({
+            value: string;
+            type: "FreeText";
+        } | {
+            type: "Space";
+        } | {
+            value: string;
+            type: "HighlightedText";
+            highlight?: [number, number] | undefined;
+        } | {
+            value: string;
+            type: "ColorText";
+            color: string;
+            highlight?: [number, number] | undefined;
+        } | {
+            value: string;
+            type: "BoldText";
+            highlight?: [number, number] | undefined;
+        } | {
+            length: number;
+            type: "InlineInput";
+            inputType: "string";
+            name: string;
+            answer?: string | number | undefined;
+        } | {
+            type: "InlineInput";
+            inputType: "numeric";
+            name: string;
+            digits: number;
+            answer?: string | number | undefined;
+        } | {
+            type: "Fraction";
+            name: string;
+            answer?: string | undefined;
+            numerator?: number | undefined;
+            denominator?: number | undefined;
+            simplified?: boolean | undefined;
+        })[];
+    }>, "many">;
+}, "strip", z.ZodTypeAny, {
+    type: "NumberLineBlock";
+    min: number;
+    max: number;
+    step: number;
+    positions: {
+        value: number;
+        type: "NumberLinePosition";
+        inlines: ({
+            value: string;
+            type: "FreeText";
+        } | {
+            type: "Space";
+        } | {
+            value: string;
+            type: "HighlightedText";
+            highlight?: [number, number] | undefined;
+        } | {
+            value: string;
+            type: "ColorText";
+            color: string;
+            highlight?: [number, number] | undefined;
+        } | {
+            value: string;
+            type: "BoldText";
+            highlight?: [number, number] | undefined;
+        } | {
+            length: number;
+            type: "InlineInput";
+            inputType: "string";
+            name: string;
+            answer?: string | number | undefined;
+        } | {
+            type: "InlineInput";
+            inputType: "numeric";
+            name: string;
+            digits: number;
+            answer?: string | number | undefined;
+        } | {
+            type: "Fraction";
+            name: string;
+            simplified: boolean;
+            answer?: string | undefined;
+            numerator?: number | undefined;
+            denominator?: number | undefined;
+        })[];
+    }[];
+    counter?: {
+        type: "NumberLineCounter";
+        min: number;
+        max: number;
+        name?: string | undefined;
+        default?: number | undefined;
+    } | undefined;
+    minorTicks?: number | undefined;
+    style?: "arrow-right" | "arrow-left" | "arrow-both" | "line" | undefined;
+    labelVisibility?: "all" | "extremes" | "min-only" | "max-only" | "none" | undefined;
+    highlights?: {
+        type: "NumberLineHighlight";
+        from: number;
+        to: number;
+        color?: "blue" | "red" | "green" | "orange" | "purple" | "yellow" | undefined;
+        label?: string | undefined;
+    }[] | undefined;
+}, {
+    type: "NumberLineBlock";
+    min: number;
+    max: number;
+    positions: {
+        value: number;
+        type: "NumberLinePosition";
+        inlines: ({
+            value: string;
+            type: "FreeText";
+        } | {
+            type: "Space";
+        } | {
+            value: string;
+            type: "HighlightedText";
+            highlight?: [number, number] | undefined;
+        } | {
+            value: string;
+            type: "ColorText";
+            color: string;
+            highlight?: [number, number] | undefined;
+        } | {
+            value: string;
+            type: "BoldText";
+            highlight?: [number, number] | undefined;
+        } | {
+            length: number;
+            type: "InlineInput";
+            inputType: "string";
+            name: string;
+            answer?: string | number | undefined;
+        } | {
+            type: "InlineInput";
+            inputType: "numeric";
+            name: string;
+            digits: number;
+            answer?: string | number | undefined;
+        } | {
+            type: "Fraction";
+            name: string;
+            answer?: string | undefined;
+            numerator?: number | undefined;
+            denominator?: number | undefined;
+            simplified?: boolean | undefined;
+        })[];
+    }[];
+    counter?: {
+        type: "NumberLineCounter";
+        min: number;
+        max: number;
+        name?: string | undefined;
+        default?: number | undefined;
+    } | undefined;
+    step?: number | undefined;
+    minorTicks?: number | undefined;
+    style?: "arrow-right" | "arrow-left" | "arrow-both" | "line" | undefined;
+    labelVisibility?: "all" | "extremes" | "min-only" | "max-only" | "none" | undefined;
+    highlights?: {
+        type: "NumberLineHighlight";
+        from: number;
+        to: number;
+        color?: "blue" | "red" | "green" | "orange" | "purple" | "yellow" | undefined;
+        label?: string | undefined;
+    }[] | undefined;
+}>, {
+    type: "NumberLineBlock";
+    min: number;
+    max: number;
+    step: number;
+    positions: {
+        value: number;
+        type: "NumberLinePosition";
+        inlines: ({
+            value: string;
+            type: "FreeText";
+        } | {
+            type: "Space";
+        } | {
+            value: string;
+            type: "HighlightedText";
+            highlight?: [number, number] | undefined;
+        } | {
+            value: string;
+            type: "ColorText";
+            color: string;
+            highlight?: [number, number] | undefined;
+        } | {
+            value: string;
+            type: "BoldText";
+            highlight?: [number, number] | undefined;
+        } | {
+            length: number;
+            type: "InlineInput";
+            inputType: "string";
+            name: string;
+            answer?: string | number | undefined;
+        } | {
+            type: "InlineInput";
+            inputType: "numeric";
+            name: string;
+            digits: number;
+            answer?: string | number | undefined;
+        } | {
+            type: "Fraction";
+            name: string;
+            simplified: boolean;
+            answer?: string | undefined;
+            numerator?: number | undefined;
+            denominator?: number | undefined;
+        })[];
+    }[];
+    counter?: {
+        type: "NumberLineCounter";
+        min: number;
+        max: number;
+        name?: string | undefined;
+        default?: number | undefined;
+    } | undefined;
+    minorTicks?: number | undefined;
+    style?: "arrow-right" | "arrow-left" | "arrow-both" | "line" | undefined;
+    labelVisibility?: "all" | "extremes" | "min-only" | "max-only" | "none" | undefined;
+    highlights?: {
+        type: "NumberLineHighlight";
+        from: number;
+        to: number;
+        color?: "blue" | "red" | "green" | "orange" | "purple" | "yellow" | undefined;
+        label?: string | undefined;
+    }[] | undefined;
+}, {
+    type: "NumberLineBlock";
+    min: number;
+    max: number;
+    positions: {
+        value: number;
+        type: "NumberLinePosition";
+        inlines: ({
+            value: string;
+            type: "FreeText";
+        } | {
+            type: "Space";
+        } | {
+            value: string;
+            type: "HighlightedText";
+            highlight?: [number, number] | undefined;
+        } | {
+            value: string;
+            type: "ColorText";
+            color: string;
+            highlight?: [number, number] | undefined;
+        } | {
+            value: string;
+            type: "BoldText";
+            highlight?: [number, number] | undefined;
+        } | {
+            length: number;
+            type: "InlineInput";
+            inputType: "string";
+            name: string;
+            answer?: string | number | undefined;
+        } | {
+            type: "InlineInput";
+            inputType: "numeric";
+            name: string;
+            digits: number;
+            answer?: string | number | undefined;
+        } | {
+            type: "Fraction";
+            name: string;
+            answer?: string | undefined;
+            numerator?: number | undefined;
+            denominator?: number | undefined;
+            simplified?: boolean | undefined;
+        })[];
+    }[];
+    counter?: {
+        type: "NumberLineCounter";
+        min: number;
+        max: number;
+        name?: string | undefined;
+        default?: number | undefined;
+    } | undefined;
+    step?: number | undefined;
+    minorTicks?: number | undefined;
+    style?: "arrow-right" | "arrow-left" | "arrow-both" | "line" | undefined;
+    labelVisibility?: "all" | "extremes" | "min-only" | "max-only" | "none" | undefined;
+    highlights?: {
+        type: "NumberLineHighlight";
+        from: number;
+        to: number;
+        color?: "blue" | "red" | "green" | "orange" | "purple" | "yellow" | undefined;
+        label?: string | undefined;
+    }[] | undefined;
+}>, {
+    type: "NumberLineBlock";
+    min: number;
+    max: number;
+    step: number;
+    positions: {
+        value: number;
+        type: "NumberLinePosition";
+        inlines: ({
+            value: string;
+            type: "FreeText";
+        } | {
+            type: "Space";
+        } | {
+            value: string;
+            type: "HighlightedText";
+            highlight?: [number, number] | undefined;
+        } | {
+            value: string;
+            type: "ColorText";
+            color: string;
+            highlight?: [number, number] | undefined;
+        } | {
+            value: string;
+            type: "BoldText";
+            highlight?: [number, number] | undefined;
+        } | {
+            length: number;
+            type: "InlineInput";
+            inputType: "string";
+            name: string;
+            answer?: string | number | undefined;
+        } | {
+            type: "InlineInput";
+            inputType: "numeric";
+            name: string;
+            digits: number;
+            answer?: string | number | undefined;
+        } | {
+            type: "Fraction";
+            name: string;
+            simplified: boolean;
+            answer?: string | undefined;
+            numerator?: number | undefined;
+            denominator?: number | undefined;
+        })[];
+    }[];
+    counter?: {
+        type: "NumberLineCounter";
+        min: number;
+        max: number;
+        name?: string | undefined;
+        default?: number | undefined;
+    } | undefined;
+    minorTicks?: number | undefined;
+    style?: "arrow-right" | "arrow-left" | "arrow-both" | "line" | undefined;
+    labelVisibility?: "all" | "extremes" | "min-only" | "max-only" | "none" | undefined;
+    highlights?: {
+        type: "NumberLineHighlight";
+        from: number;
+        to: number;
+        color?: "blue" | "red" | "green" | "orange" | "purple" | "yellow" | undefined;
+        label?: string | undefined;
+    }[] | undefined;
+}, {
+    type: "NumberLineBlock";
+    min: number;
+    max: number;
+    positions: {
+        value: number;
+        type: "NumberLinePosition";
+        inlines: ({
+            value: string;
+            type: "FreeText";
+        } | {
+            type: "Space";
+        } | {
+            value: string;
+            type: "HighlightedText";
+            highlight?: [number, number] | undefined;
+        } | {
+            value: string;
+            type: "ColorText";
+            color: string;
+            highlight?: [number, number] | undefined;
+        } | {
+            value: string;
+            type: "BoldText";
+            highlight?: [number, number] | undefined;
+        } | {
+            length: number;
+            type: "InlineInput";
+            inputType: "string";
+            name: string;
+            answer?: string | number | undefined;
+        } | {
+            type: "InlineInput";
+            inputType: "numeric";
+            name: string;
+            digits: number;
+            answer?: string | number | undefined;
+        } | {
+            type: "Fraction";
+            name: string;
+            answer?: string | undefined;
+            numerator?: number | undefined;
+            denominator?: number | undefined;
+            simplified?: boolean | undefined;
+        })[];
+    }[];
+    counter?: {
+        type: "NumberLineCounter";
+        min: number;
+        max: number;
+        name?: string | undefined;
+        default?: number | undefined;
+    } | undefined;
+    step?: number | undefined;
+    minorTicks?: number | undefined;
+    style?: "arrow-right" | "arrow-left" | "arrow-both" | "line" | undefined;
+    labelVisibility?: "all" | "extremes" | "min-only" | "max-only" | "none" | undefined;
+    highlights?: {
+        type: "NumberLineHighlight";
+        from: number;
+        to: number;
+        color?: "blue" | "red" | "green" | "orange" | "purple" | "yellow" | undefined;
+        label?: string | undefined;
+    }[] | undefined;
+}>;
+
+export declare type NumberLineCounter = z.infer<typeof NumberLineCounterSchema>;
+
+export declare type NumberLineCounterItem = z.infer<typeof NumberLineCounterItemSchema>;
+
+export declare const NumberLineCounterItemSchema: z.ZodObject<{
+    id: z.ZodString;
+    type: z.ZodLiteral<"number-line-counter">;
+    min: z.ZodNumber;
+    max: z.ZodNumber;
+    default: z.ZodOptional<z.ZodNumber>;
+    name: z.ZodOptional<z.ZodString>;
+}, "strip", z.ZodTypeAny, {
+    type: "number-line-counter";
+    min: number;
+    max: number;
+    id: string;
+    name?: string | undefined;
+    default?: number | undefined;
+}, {
+    type: "number-line-counter";
+    min: number;
+    max: number;
+    id: string;
+    name?: string | undefined;
+    default?: number | undefined;
+}>;
+
+/**
+ * Counter node — dynamic subdivision control embedded in a number line.
+ * The number line step is recomputed as: (max - min) / counter_value.
+ *
+ * Invariant: min >= 1 (a subdivision of 0 is meaningless).
+ * The `default` fallback lives only in createNumberLineCounter, not here,
+ * to avoid Zod transform side-effects on the parsed shape.
+ */
+declare const NumberLineCounterSchema: z.ZodEffects<z.ZodObject<{
+    type: z.ZodLiteral<"NumberLineCounter">;
+    min: z.ZodNumber;
+    max: z.ZodNumber;
+    default: z.ZodOptional<z.ZodNumber>;
+    name: z.ZodOptional<z.ZodString>;
+}, "strip", z.ZodTypeAny, {
+    type: "NumberLineCounter";
+    min: number;
+    max: number;
+    name?: string | undefined;
+    default?: number | undefined;
+}, {
+    type: "NumberLineCounter";
+    min: number;
+    max: number;
+    name?: string | undefined;
+    default?: number | undefined;
+}>, {
+    type: "NumberLineCounter";
+    min: number;
+    max: number;
+    name?: string | undefined;
+    default?: number | undefined;
+}, {
+    type: "NumberLineCounter";
+    min: number;
+    max: number;
+    name?: string | undefined;
+    default?: number | undefined;
+}>;
+
+export declare type NumberLineHighlight = z.infer<typeof NumberLineHighlightSchema>;
+
+export declare type NumberLineHighlightItem = z.infer<typeof NumberLineHighlightItemSchema>;
+
+export declare const NumberLineHighlightItemSchema: z.ZodObject<{
+    id: z.ZodString;
+    type: z.ZodLiteral<"number-line-highlight">;
+    from: z.ZodNumber;
+    to: z.ZodNumber;
+    color: z.ZodOptional<z.ZodEnum<["blue", "red", "green", "orange", "purple", "yellow"]>>;
+    label: z.ZodOptional<z.ZodString>;
+}, "strip", z.ZodTypeAny, {
+    type: "number-line-highlight";
+    from: number;
+    to: number;
+    id: string;
+    color?: "blue" | "red" | "green" | "orange" | "purple" | "yellow" | undefined;
+    label?: string | undefined;
+}, {
+    type: "number-line-highlight";
+    from: number;
+    to: number;
+    id: string;
+    color?: "blue" | "red" | "green" | "orange" | "purple" | "yellow" | undefined;
+    label?: string | undefined;
+}>;
+
+/**
+ * A highlighted range on the number line axis.
+ *
+ * `color` is constrained to the semantic set in NUMBER_LINE_HIGHLIGHT_COLORS
+ * so renderers can safely map values to design tokens.
+ */
+declare const NumberLineHighlightSchema: z.ZodEffects<z.ZodObject<{
+    type: z.ZodLiteral<"NumberLineHighlight">;
+    from: z.ZodNumber;
+    to: z.ZodNumber;
+    color: z.ZodOptional<z.ZodEnum<["blue", "red", "green", "orange", "purple", "yellow"]>>;
+    label: z.ZodOptional<z.ZodString>;
+}, "strip", z.ZodTypeAny, {
+    type: "NumberLineHighlight";
+    from: number;
+    to: number;
+    color?: "blue" | "red" | "green" | "orange" | "purple" | "yellow" | undefined;
+    label?: string | undefined;
+}, {
+    type: "NumberLineHighlight";
+    from: number;
+    to: number;
+    color?: "blue" | "red" | "green" | "orange" | "purple" | "yellow" | undefined;
+    label?: string | undefined;
+}>, {
+    type: "NumberLineHighlight";
+    from: number;
+    to: number;
+    color?: "blue" | "red" | "green" | "orange" | "purple" | "yellow" | undefined;
+    label?: string | undefined;
+}, {
+    type: "NumberLineHighlight";
+    from: number;
+    to: number;
+    color?: "blue" | "red" | "green" | "orange" | "purple" | "yellow" | undefined;
+    label?: string | undefined;
+}>;
+
+export declare type NumberLineItem = z.infer<typeof NumberLineItemSchema>;
+
+export declare const NumberLineItemSchema: z.ZodObject<{
+    id: z.ZodString;
+    type: z.ZodLiteral<"number-line">;
+    min: z.ZodNumber;
+    max: z.ZodNumber;
+    step: z.ZodNumber;
+    minorTicks: z.ZodOptional<z.ZodNumber>;
+    style: z.ZodOptional<z.ZodEnum<["arrow-right", "arrow-left", "arrow-both", "line"]>>;
+    labelVisibility: z.ZodOptional<z.ZodEnum<["all", "extremes", "min-only", "max-only", "none"]>>;
+    counter: z.ZodOptional<z.ZodObject<{
+        id: z.ZodString;
+        type: z.ZodLiteral<"number-line-counter">;
+        min: z.ZodNumber;
+        max: z.ZodNumber;
+        default: z.ZodOptional<z.ZodNumber>;
+        name: z.ZodOptional<z.ZodString>;
+    }, "strip", z.ZodTypeAny, {
+        type: "number-line-counter";
+        min: number;
+        max: number;
+        id: string;
+        name?: string | undefined;
+        default?: number | undefined;
+    }, {
+        type: "number-line-counter";
+        min: number;
+        max: number;
+        id: string;
+        name?: string | undefined;
+        default?: number | undefined;
+    }>>;
+    highlights: z.ZodOptional<z.ZodArray<z.ZodObject<{
+        id: z.ZodString;
+        type: z.ZodLiteral<"number-line-highlight">;
+        from: z.ZodNumber;
+        to: z.ZodNumber;
+        color: z.ZodOptional<z.ZodEnum<["blue", "red", "green", "orange", "purple", "yellow"]>>;
+        label: z.ZodOptional<z.ZodString>;
+    }, "strip", z.ZodTypeAny, {
+        type: "number-line-highlight";
+        from: number;
+        to: number;
+        id: string;
+        color?: "blue" | "red" | "green" | "orange" | "purple" | "yellow" | undefined;
+        label?: string | undefined;
+    }, {
+        type: "number-line-highlight";
+        from: number;
+        to: number;
+        id: string;
+        color?: "blue" | "red" | "green" | "orange" | "purple" | "yellow" | undefined;
+        label?: string | undefined;
+    }>, "many">>;
+    positions: z.ZodArray<z.ZodObject<{
+        id: z.ZodString;
+        type: z.ZodLiteral<"number-line-position">;
+        value: z.ZodNumber;
+        content: z.ZodArray<z.ZodType<any, z.ZodTypeDef, any>, "many">;
+    }, "strip", z.ZodTypeAny, {
+        value: number;
+        type: "number-line-position";
+        id: string;
+        content: any[];
+    }, {
+        value: number;
+        type: "number-line-position";
+        id: string;
+        content: any[];
+    }>, "many">;
+}, "strip", z.ZodTypeAny, {
+    type: "number-line";
+    min: number;
+    max: number;
+    step: number;
+    positions: {
+        value: number;
+        type: "number-line-position";
+        id: string;
+        content: any[];
+    }[];
+    id: string;
+    counter?: {
+        type: "number-line-counter";
+        min: number;
+        max: number;
+        id: string;
+        name?: string | undefined;
+        default?: number | undefined;
+    } | undefined;
+    minorTicks?: number | undefined;
+    style?: "arrow-right" | "arrow-left" | "arrow-both" | "line" | undefined;
+    labelVisibility?: "all" | "extremes" | "min-only" | "max-only" | "none" | undefined;
+    highlights?: {
+        type: "number-line-highlight";
+        from: number;
+        to: number;
+        id: string;
+        color?: "blue" | "red" | "green" | "orange" | "purple" | "yellow" | undefined;
+        label?: string | undefined;
+    }[] | undefined;
+}, {
+    type: "number-line";
+    min: number;
+    max: number;
+    step: number;
+    positions: {
+        value: number;
+        type: "number-line-position";
+        id: string;
+        content: any[];
+    }[];
+    id: string;
+    counter?: {
+        type: "number-line-counter";
+        min: number;
+        max: number;
+        id: string;
+        name?: string | undefined;
+        default?: number | undefined;
+    } | undefined;
+    minorTicks?: number | undefined;
+    style?: "arrow-right" | "arrow-left" | "arrow-both" | "line" | undefined;
+    labelVisibility?: "all" | "extremes" | "min-only" | "max-only" | "none" | undefined;
+    highlights?: {
+        type: "number-line-highlight";
+        from: number;
+        to: number;
+        id: string;
+        color?: "blue" | "red" | "green" | "orange" | "purple" | "yellow" | undefined;
+        label?: string | undefined;
+    }[] | undefined;
+}>;
+
+export declare type NumberLinePosition = z.infer<typeof NumberLinePositionSchema>;
+
+export declare type NumberLinePositionItem = z.infer<typeof NumberLinePositionItemSchema>;
+
+export declare const NumberLinePositionItemSchema: z.ZodObject<{
+    id: z.ZodString;
+    type: z.ZodLiteral<"number-line-position">;
+    value: z.ZodNumber;
+    content: z.ZodArray<z.ZodType<any, z.ZodTypeDef, any>, "many">;
+}, "strip", z.ZodTypeAny, {
+    value: number;
+    type: "number-line-position";
+    id: string;
+    content: any[];
+}, {
+    value: number;
+    type: "number-line-position";
+    id: string;
+    content: any[];
+}>;
+
+/**
+ * A single position marker on the number line.
+ * Contains at least one inline element (text, input, etc.).
+ *
+ * @example
+ * {
+ *   type: "NumberLinePosition",
+ *   value: 20,
+ *   inlines: [{ type: "InlineInput", name: "a", digits: 3 }]
+ * }
+ */
+declare const NumberLinePositionSchema: z.ZodObject<{
+    type: z.ZodLiteral<"NumberLinePosition">;
+    value: z.ZodNumber;
+    inlines: z.ZodArray<z.ZodUnion<[z.ZodObject<{
+        type: z.ZodLiteral<"FreeText">;
+        value: z.ZodString;
+    }, "strip", z.ZodTypeAny, {
+        value: string;
+        type: "FreeText";
+    }, {
+        value: string;
+        type: "FreeText";
+    }>, z.ZodObject<{
+        type: z.ZodLiteral<"Space">;
+    }, "strip", z.ZodTypeAny, {
+        type: "Space";
+    }, {
+        type: "Space";
+    }>, z.ZodObject<{
+        type: z.ZodLiteral<"HighlightedText">;
+        value: z.ZodString;
+        highlight: z.ZodOptional<z.ZodTuple<[z.ZodNumber, z.ZodNumber], null>>;
+    }, "strip", z.ZodTypeAny, {
+        value: string;
+        type: "HighlightedText";
+        highlight?: [number, number] | undefined;
+    }, {
+        value: string;
+        type: "HighlightedText";
+        highlight?: [number, number] | undefined;
+    }>, z.ZodObject<{
+        type: z.ZodLiteral<"ColorText">;
+        value: z.ZodString;
+        color: z.ZodString;
+        highlight: z.ZodOptional<z.ZodTuple<[z.ZodNumber, z.ZodNumber], null>>;
+    }, "strip", z.ZodTypeAny, {
+        value: string;
+        type: "ColorText";
+        color: string;
+        highlight?: [number, number] | undefined;
+    }, {
+        value: string;
+        type: "ColorText";
+        color: string;
+        highlight?: [number, number] | undefined;
+    }>, z.ZodObject<{
+        type: z.ZodLiteral<"BoldText">;
+        value: z.ZodString;
+        highlight: z.ZodOptional<z.ZodTuple<[z.ZodNumber, z.ZodNumber], null>>;
+    }, "strip", z.ZodTypeAny, {
+        value: string;
+        type: "BoldText";
+        highlight?: [number, number] | undefined;
+    }, {
+        value: string;
+        type: "BoldText";
+        highlight?: [number, number] | undefined;
+    }>, z.ZodDiscriminatedUnion<"inputType", [z.ZodObject<{
+        type: z.ZodLiteral<"InlineInput">;
+        name: z.ZodString;
+        inputType: z.ZodLiteral<"string">;
+        length: z.ZodNumber;
+        answer: z.ZodOptional<z.ZodUnion<[z.ZodString, z.ZodNumber]>>;
+    }, "strip", z.ZodTypeAny, {
+        length: number;
+        type: "InlineInput";
+        inputType: "string";
+        name: string;
+        answer?: string | number | undefined;
+    }, {
+        length: number;
+        type: "InlineInput";
+        inputType: "string";
+        name: string;
+        answer?: string | number | undefined;
+    }>, z.ZodObject<{
+        type: z.ZodLiteral<"InlineInput">;
+        name: z.ZodString;
+        inputType: z.ZodLiteral<"numeric">;
+        digits: z.ZodNumber;
+        answer: z.ZodOptional<z.ZodUnion<[z.ZodString, z.ZodNumber]>>;
+    }, "strip", z.ZodTypeAny, {
+        type: "InlineInput";
+        inputType: "numeric";
+        name: string;
+        digits: number;
+        answer?: string | number | undefined;
+    }, {
+        type: "InlineInput";
+        inputType: "numeric";
+        name: string;
+        digits: number;
+        answer?: string | number | undefined;
+    }>]>, z.ZodObject<{
+        type: z.ZodLiteral<"Fraction">;
+        name: z.ZodString;
+        numerator: z.ZodOptional<z.ZodNumber>;
+        denominator: z.ZodOptional<z.ZodNumber>;
+        answer: z.ZodOptional<z.ZodString>;
+        simplified: z.ZodDefault<z.ZodBoolean>;
+    }, "strip", z.ZodTypeAny, {
+        type: "Fraction";
+        name: string;
+        simplified: boolean;
+        answer?: string | undefined;
+        numerator?: number | undefined;
+        denominator?: number | undefined;
+    }, {
+        type: "Fraction";
+        name: string;
+        answer?: string | undefined;
+        numerator?: number | undefined;
+        denominator?: number | undefined;
+        simplified?: boolean | undefined;
+    }>]>, "many">;
+}, "strip", z.ZodTypeAny, {
+    value: number;
+    type: "NumberLinePosition";
+    inlines: ({
+        value: string;
+        type: "FreeText";
+    } | {
+        type: "Space";
+    } | {
+        value: string;
+        type: "HighlightedText";
+        highlight?: [number, number] | undefined;
+    } | {
+        value: string;
+        type: "ColorText";
+        color: string;
+        highlight?: [number, number] | undefined;
+    } | {
+        value: string;
+        type: "BoldText";
+        highlight?: [number, number] | undefined;
+    } | {
+        length: number;
+        type: "InlineInput";
+        inputType: "string";
+        name: string;
+        answer?: string | number | undefined;
+    } | {
+        type: "InlineInput";
+        inputType: "numeric";
+        name: string;
+        digits: number;
+        answer?: string | number | undefined;
+    } | {
+        type: "Fraction";
+        name: string;
+        simplified: boolean;
+        answer?: string | undefined;
+        numerator?: number | undefined;
+        denominator?: number | undefined;
+    })[];
+}, {
+    value: number;
+    type: "NumberLinePosition";
+    inlines: ({
+        value: string;
+        type: "FreeText";
+    } | {
+        type: "Space";
+    } | {
+        value: string;
+        type: "HighlightedText";
+        highlight?: [number, number] | undefined;
+    } | {
+        value: string;
+        type: "ColorText";
+        color: string;
+        highlight?: [number, number] | undefined;
+    } | {
+        value: string;
+        type: "BoldText";
+        highlight?: [number, number] | undefined;
+    } | {
+        length: number;
+        type: "InlineInput";
+        inputType: "string";
+        name: string;
+        answer?: string | number | undefined;
+    } | {
+        type: "InlineInput";
+        inputType: "numeric";
+        name: string;
+        digits: number;
+        answer?: string | number | undefined;
+    } | {
+        type: "Fraction";
+        name: string;
+        answer?: string | undefined;
+        numerator?: number | undefined;
+        denominator?: number | undefined;
+        simplified?: boolean | undefined;
+    })[];
+}>;
+
+export declare type NumericKeypadJSON = z.infer<typeof NumericKeypadJSONSchema>;
+
+export declare const NumericKeypadJSONSchema: z.ZodObject<{
+    type: z.ZodLiteral<"numeric-keypad">;
+    includeOperators: z.ZodOptional<z.ZodBoolean>;
+    includeDecimal: z.ZodOptional<z.ZodBoolean>;
+}, "strip", z.ZodTypeAny, {
+    type: "numeric-keypad";
+    includeOperators?: boolean | undefined;
+    includeDecimal?: boolean | undefined;
+}, {
+    type: "numeric-keypad";
     includeOperators?: boolean | undefined;
     includeDecimal?: boolean | undefined;
 }>;
@@ -3756,6 +5872,11 @@ export declare class ParseError extends EngineError {
     constructor(errors: IRecognitionException[]);
 }
 
+export declare function parseFractionKey(key: string): {
+    widgetId: string;
+    part: FractionPart;
+} | null;
+
 /**
  * Parse DSL tokens into CST (safe version - returns errors instead of throwing)
  */
@@ -4028,7 +6149,28 @@ declare const TableBlockSchema: z.ZodObject<{
                 name: string;
                 digits: number;
                 answer?: string | number | undefined;
-            }>]>]>, "many">;
+            }>]>, z.ZodObject<{
+                type: z.ZodLiteral<"Fraction">;
+                name: z.ZodString;
+                numerator: z.ZodOptional<z.ZodNumber>;
+                denominator: z.ZodOptional<z.ZodNumber>;
+                answer: z.ZodOptional<z.ZodString>;
+                simplified: z.ZodDefault<z.ZodBoolean>;
+            }, "strip", z.ZodTypeAny, {
+                type: "Fraction";
+                name: string;
+                simplified: boolean;
+                answer?: string | undefined;
+                numerator?: number | undefined;
+                denominator?: number | undefined;
+            }, {
+                type: "Fraction";
+                name: string;
+                answer?: string | undefined;
+                numerator?: number | undefined;
+                denominator?: number | undefined;
+                simplified?: boolean | undefined;
+            }>]>, "many">;
         }, "strip", z.ZodTypeAny, {
             type: "TableCell";
             inlines: ({
@@ -4061,6 +6203,13 @@ declare const TableBlockSchema: z.ZodObject<{
                 name: string;
                 digits: number;
                 answer?: string | number | undefined;
+            } | {
+                type: "Fraction";
+                name: string;
+                simplified: boolean;
+                answer?: string | undefined;
+                numerator?: number | undefined;
+                denominator?: number | undefined;
             })[];
             colspan?: number | undefined;
         }, {
@@ -4095,6 +6244,13 @@ declare const TableBlockSchema: z.ZodObject<{
                 name: string;
                 digits: number;
                 answer?: string | number | undefined;
+            } | {
+                type: "Fraction";
+                name: string;
+                answer?: string | undefined;
+                numerator?: number | undefined;
+                denominator?: number | undefined;
+                simplified?: boolean | undefined;
             })[];
             colspan?: number | undefined;
         }>, "many">;
@@ -4132,6 +6288,13 @@ declare const TableBlockSchema: z.ZodObject<{
                 name: string;
                 digits: number;
                 answer?: string | number | undefined;
+            } | {
+                type: "Fraction";
+                name: string;
+                simplified: boolean;
+                answer?: string | undefined;
+                numerator?: number | undefined;
+                denominator?: number | undefined;
             })[];
             colspan?: number | undefined;
         }[];
@@ -4169,6 +6332,13 @@ declare const TableBlockSchema: z.ZodObject<{
                 name: string;
                 digits: number;
                 answer?: string | number | undefined;
+            } | {
+                type: "Fraction";
+                name: string;
+                answer?: string | undefined;
+                numerator?: number | undefined;
+                denominator?: number | undefined;
+                simplified?: boolean | undefined;
             })[];
             colspan?: number | undefined;
         }[];
@@ -4210,6 +6380,13 @@ declare const TableBlockSchema: z.ZodObject<{
                 name: string;
                 digits: number;
                 answer?: string | number | undefined;
+            } | {
+                type: "Fraction";
+                name: string;
+                simplified: boolean;
+                answer?: string | undefined;
+                numerator?: number | undefined;
+                denominator?: number | undefined;
             })[];
             colspan?: number | undefined;
         }[];
@@ -4251,6 +6428,13 @@ declare const TableBlockSchema: z.ZodObject<{
                 name: string;
                 digits: number;
                 answer?: string | number | undefined;
+            } | {
+                type: "Fraction";
+                name: string;
+                answer?: string | undefined;
+                numerator?: number | undefined;
+                denominator?: number | undefined;
+                simplified?: boolean | undefined;
             })[];
             colspan?: number | undefined;
         }[];
@@ -4371,7 +6555,28 @@ declare const TableCellSchema: z.ZodObject<{
         name: string;
         digits: number;
         answer?: string | number | undefined;
-    }>]>]>, "many">;
+    }>]>, z.ZodObject<{
+        type: z.ZodLiteral<"Fraction">;
+        name: z.ZodString;
+        numerator: z.ZodOptional<z.ZodNumber>;
+        denominator: z.ZodOptional<z.ZodNumber>;
+        answer: z.ZodOptional<z.ZodString>;
+        simplified: z.ZodDefault<z.ZodBoolean>;
+    }, "strip", z.ZodTypeAny, {
+        type: "Fraction";
+        name: string;
+        simplified: boolean;
+        answer?: string | undefined;
+        numerator?: number | undefined;
+        denominator?: number | undefined;
+    }, {
+        type: "Fraction";
+        name: string;
+        answer?: string | undefined;
+        numerator?: number | undefined;
+        denominator?: number | undefined;
+        simplified?: boolean | undefined;
+    }>]>, "many">;
 }, "strip", z.ZodTypeAny, {
     type: "TableCell";
     inlines: ({
@@ -4404,6 +6609,13 @@ declare const TableCellSchema: z.ZodObject<{
         name: string;
         digits: number;
         answer?: string | number | undefined;
+    } | {
+        type: "Fraction";
+        name: string;
+        simplified: boolean;
+        answer?: string | undefined;
+        numerator?: number | undefined;
+        denominator?: number | undefined;
     })[];
     colspan?: number | undefined;
 }, {
@@ -4438,6 +6650,13 @@ declare const TableCellSchema: z.ZodObject<{
         name: string;
         digits: number;
         answer?: string | number | undefined;
+    } | {
+        type: "Fraction";
+        name: string;
+        answer?: string | undefined;
+        numerator?: number | undefined;
+        denominator?: number | undefined;
+        simplified?: boolean | undefined;
     })[];
     colspan?: number | undefined;
 }>;
@@ -4654,7 +6873,28 @@ declare const TableRowSchema: z.ZodObject<{
             name: string;
             digits: number;
             answer?: string | number | undefined;
-        }>]>]>, "many">;
+        }>]>, z.ZodObject<{
+            type: z.ZodLiteral<"Fraction">;
+            name: z.ZodString;
+            numerator: z.ZodOptional<z.ZodNumber>;
+            denominator: z.ZodOptional<z.ZodNumber>;
+            answer: z.ZodOptional<z.ZodString>;
+            simplified: z.ZodDefault<z.ZodBoolean>;
+        }, "strip", z.ZodTypeAny, {
+            type: "Fraction";
+            name: string;
+            simplified: boolean;
+            answer?: string | undefined;
+            numerator?: number | undefined;
+            denominator?: number | undefined;
+        }, {
+            type: "Fraction";
+            name: string;
+            answer?: string | undefined;
+            numerator?: number | undefined;
+            denominator?: number | undefined;
+            simplified?: boolean | undefined;
+        }>]>, "many">;
     }, "strip", z.ZodTypeAny, {
         type: "TableCell";
         inlines: ({
@@ -4687,6 +6927,13 @@ declare const TableRowSchema: z.ZodObject<{
             name: string;
             digits: number;
             answer?: string | number | undefined;
+        } | {
+            type: "Fraction";
+            name: string;
+            simplified: boolean;
+            answer?: string | undefined;
+            numerator?: number | undefined;
+            denominator?: number | undefined;
         })[];
         colspan?: number | undefined;
     }, {
@@ -4721,6 +6968,13 @@ declare const TableRowSchema: z.ZodObject<{
             name: string;
             digits: number;
             answer?: string | number | undefined;
+        } | {
+            type: "Fraction";
+            name: string;
+            answer?: string | undefined;
+            numerator?: number | undefined;
+            denominator?: number | undefined;
+            simplified?: boolean | undefined;
         })[];
         colspan?: number | undefined;
     }>, "many">;
@@ -4758,6 +7012,13 @@ declare const TableRowSchema: z.ZodObject<{
             name: string;
             digits: number;
             answer?: string | number | undefined;
+        } | {
+            type: "Fraction";
+            name: string;
+            simplified: boolean;
+            answer?: string | undefined;
+            numerator?: number | undefined;
+            denominator?: number | undefined;
         })[];
         colspan?: number | undefined;
     }[];
@@ -4795,6 +7056,13 @@ declare const TableRowSchema: z.ZodObject<{
             name: string;
             digits: number;
             answer?: string | number | undefined;
+        } | {
+            type: "Fraction";
+            name: string;
+            answer?: string | undefined;
+            numerator?: number | undefined;
+            denominator?: number | undefined;
+            simplified?: boolean | undefined;
         })[];
         colspan?: number | undefined;
     }[];
@@ -4986,6 +7254,11 @@ export declare function validateExerciseJSON(data: unknown): {
         type: "numeric-keypad";
         includeOperators?: boolean | undefined;
         includeDecimal?: boolean | undefined;
+    } | {
+        type: "fraction";
+        numerator: number | null;
+        denominator: number | null;
+        simplified: boolean;
     }>;
     validation?: {
         mode: "simple" | "expression";
@@ -5039,6 +7312,11 @@ export declare function validateExerciseJSONSafe(data: unknown): z.SafeParseRetu
         type: "numeric-keypad";
         includeOperators?: boolean | undefined;
         includeDecimal?: boolean | undefined;
+    } | {
+        type: "fraction";
+        numerator: number | null;
+        denominator: number | null;
+        simplified: boolean;
     }>;
     validation?: {
         mode: "simple" | "expression";
@@ -5074,6 +7352,11 @@ export declare function validateExerciseJSONSafe(data: unknown): z.SafeParseRetu
         type: "numeric-keypad";
         includeOperators?: boolean | undefined;
         includeDecimal?: boolean | undefined;
+    } | {
+        type: "fraction";
+        numerator: number | null;
+        denominator: number | null;
+        simplified: boolean;
     }>;
     validation?: {
         mode: "simple" | "expression";
@@ -5143,6 +7426,11 @@ export declare function validateWidgetJSON(data: unknown): {
     type: "numeric-keypad";
     includeOperators?: boolean | undefined;
     includeDecimal?: boolean | undefined;
+} | {
+    type: "fraction";
+    numerator: number | null;
+    denominator: number | null;
+    simplified: boolean;
 };
 
 /**
@@ -5169,6 +7457,11 @@ export declare function validateWidgetJSONSafe(data: unknown): z.SafeParseReturn
     type: "numeric-keypad";
     includeOperators?: boolean | undefined;
     includeDecimal?: boolean | undefined;
+} | {
+    type: "fraction";
+    numerator: number | null;
+    denominator: number | null;
+    simplified: boolean;
 }, {
     length: number;
     type: "inline-input";
@@ -5187,6 +7480,11 @@ export declare function validateWidgetJSONSafe(data: unknown): z.SafeParseReturn
     type: "numeric-keypad";
     includeOperators?: boolean | undefined;
     includeDecimal?: boolean | undefined;
+} | {
+    type: "fraction";
+    numerator: number | null;
+    denominator: number | null;
+    simplified: boolean;
 }>;
 
 /**
@@ -5256,6 +7554,8 @@ export declare interface ValidationResult {
     error?: string;
 }
 
+declare type ValidationStatus = 'correct' | 'incorrect' | null;
+
 export declare type WidgetJSON = z.infer<typeof WidgetJSONSchema>;
 
 export declare const WidgetJSONSchema: z.ZodUnion<[z.ZodDiscriminatedUnion<"inputType", [z.ZodObject<{
@@ -5312,6 +7612,21 @@ export declare const WidgetJSONSchema: z.ZodUnion<[z.ZodDiscriminatedUnion<"inpu
     type: "numeric-keypad";
     includeOperators?: boolean | undefined;
     includeDecimal?: boolean | undefined;
+}>, z.ZodObject<{
+    type: z.ZodLiteral<"fraction">;
+    numerator: z.ZodNullable<z.ZodNumber>;
+    denominator: z.ZodNullable<z.ZodNumber>;
+    simplified: z.ZodBoolean;
+}, "strip", z.ZodTypeAny, {
+    type: "fraction";
+    numerator: number | null;
+    denominator: number | null;
+    simplified: boolean;
+}, {
+    type: "fraction";
+    numerator: number | null;
+    denominator: number | null;
+    simplified: boolean;
 }>]>;
 
 export declare type WidgetRef = z.infer<typeof WidgetRefSchema>;
@@ -5341,7 +7656,10 @@ export declare interface WidgetRendererProps {
     widget: WidgetJSON;
     widgetId: string;
     value: string;
+    values?: Record<string, string>;
     isDropped?: boolean;
+    validationStatus?: ValidationStatus;
+    droppedInputs?: Set<string>;
     onChange: (widgetId: string, value: string, fromDrop?: boolean, sourceOptionId?: string) => void;
     onInputFocus?: (widgetId: string) => void;
     onKeypadChange?: (value: string) => void;