@xom11/whiteboard 0.29.0 → 0.31.0

package/dist/ai.d.ts

@@ -1,5 +1,7 @@
-import { c as State, b as AiFigureUiResult } from './types-C3FjpoUi.js';
+import { c as State, b as AiFigureUiResult } from './types-tePd94vW.js';
 import { z } from 'zod';
+import { I as ImagePart } from './handleExtractProblem-BrDY9ifM.js';
+export { a as ExtractProblemOptions, b as ExtractProblemOutcome, E as ExtractUiResult, H as HandleExtractProblemOptions, e as extractProblemFromImage, h as handleExtractProblem } from './handleExtractProblem-BrDY9ifM.js';
 import 'react';
 import '@excalidraw/excalidraw/element/types';
 
@@ -34,6 +36,12 @@ type DslPointT = {
     p1: Name;
     p2: Name;
     visible?: boolean;
+} | {
+    name: Name;
+    kind: 'onPerpBisector';
+    p1: Name;
+    p2: Name;
+    t?: number;
 } | {
     name: Name;
     kind: 'onSegment';
@@ -111,12 +119,18 @@ type DslPointT = {
     circle: Name;
     a: Name;
     b: Name;
-    notContaining: Name;
+    notContaining?: Name;
+    containing?: Name;
 } | {
     name: Name;
     kind: 'excenter';
     vertices: [Name, Name, Name];
     opposite: Name;
+} | {
+    name: Name;
+    kind: 'mixtilinearPoint';
+    vertices: [Name, Name, Name];
+    which: 'center' | 'touch';
 } | {
     name: Name;
     kind: 'reflectPoint';
@@ -274,6 +288,18 @@ declare const AddPointIntentZ: z.ZodObject<{
     }, {
         kind: "midpoint";
         of: string;
+    }>, z.ZodObject<{
+        kind: z.ZodLiteral<"onPerpBisector">;
+        p1: z.ZodString;
+        p2: z.ZodString;
+    }, "strip", z.ZodTypeAny, {
+        kind: "onPerpBisector";
+        p1: string;
+        p2: string;
+    }, {
+        kind: "onPerpBisector";
+        p1: string;
+        p2: string;
     }>, z.ZodObject<{
         kind: z.ZodLiteral<"perpFoot">;
         from: z.ZodString;
@@ -477,19 +503,22 @@ declare const AddPointIntentZ: z.ZodObject<{
         circle: z.ZodString;
         a: z.ZodString;
         b: z.ZodString;
-        notContaining: z.ZodString;
+        notContaining: z.ZodOptional<z.ZodString>;
+        containing: z.ZodOptional<z.ZodString>;
     }, "strip", z.ZodTypeAny, {
         kind: "arcMidpoint";
         circle: string;
         a: string;
         b: string;
-        notContaining: string;
+        notContaining?: string | undefined;
+        containing?: string | undefined;
     }, {
         kind: "arcMidpoint";
         circle: string;
         a: string;
         b: string;
-        notContaining: string;
+        notContaining?: string | undefined;
+        containing?: string | undefined;
     }>, z.ZodObject<{
         kind: z.ZodLiteral<"reflectPoint">;
         of: z.ZodString;
@@ -526,6 +555,18 @@ declare const AddPointIntentZ: z.ZodObject<{
         kind: "excenter";
         opposite: string;
         of: [string, string, string];
+    }>, z.ZodObject<{
+        kind: z.ZodLiteral<"mixtilinearPoint">;
+        of: z.ZodTuple<[z.ZodString, z.ZodString, z.ZodString], null>;
+        which: z.ZodUnion<[z.ZodLiteral<"center">, z.ZodLiteral<"touch">]>;
+    }, "strip", z.ZodTypeAny, {
+        kind: "mixtilinearPoint";
+        which: "center" | "touch";
+        of: [string, string, string];
+    }, {
+        kind: "mixtilinearPoint";
+        which: "center" | "touch";
+        of: [string, string, string];
     }>, z.ZodObject<{
         kind: z.ZodLiteral<"rightAngleViewing">;
         a: z.ZodString;
@@ -644,6 +685,10 @@ declare const AddPointIntentZ: z.ZodObject<{
     constraint: {
         kind: "midpoint";
         of: string;
+    } | {
+        kind: "onPerpBisector";
+        p1: string;
+        p2: string;
     } | {
         kind: "perpFoot";
         onLine: string;
@@ -715,7 +760,8 @@ declare const AddPointIntentZ: z.ZodObject<{
         circle: string;
         a: string;
         b: string;
-        notContaining: string;
+        notContaining?: string | undefined;
+        containing?: string | undefined;
     } | {
         kind: "reflectPoint";
         through: string;
@@ -728,6 +774,10 @@ declare const AddPointIntentZ: z.ZodObject<{
         kind: "excenter";
         opposite: string;
         of: [string, string, string];
+    } | {
+        kind: "mixtilinearPoint";
+        which: "center" | "touch";
+        of: [string, string, string];
     } | {
         kind: "rightAngleViewing";
         onLine: string;
@@ -762,6 +812,10 @@ declare const AddPointIntentZ: z.ZodObject<{
     constraint: {
         kind: "midpoint";
         of: string;
+    } | {
+        kind: "onPerpBisector";
+        p1: string;
+        p2: string;
     } | {
         kind: "perpFoot";
         onLine: string;
@@ -833,7 +887,8 @@ declare const AddPointIntentZ: z.ZodObject<{
         circle: string;
         a: string;
         b: string;
-        notContaining: string;
+        notContaining?: string | undefined;
+        containing?: string | undefined;
     } | {
         kind: "reflectPoint";
         through: string;
@@ -846,6 +901,10 @@ declare const AddPointIntentZ: z.ZodObject<{
         kind: "excenter";
         opposite: string;
         of: [string, string, string];
+    } | {
+        kind: "mixtilinearPoint";
+        which: "center" | "touch";
+        of: [string, string, string];
     } | {
         kind: "rightAngleViewing";
         onLine: string;
@@ -954,6 +1013,18 @@ declare const IntentZ: z.ZodDiscriminatedUnion<"op", [z.ZodObject<{
     }, {
         kind: "midpoint";
         of: string;
+    }>, z.ZodObject<{
+        kind: z.ZodLiteral<"onPerpBisector">;
+        p1: z.ZodString;
+        p2: z.ZodString;
+    }, "strip", z.ZodTypeAny, {
+        kind: "onPerpBisector";
+        p1: string;
+        p2: string;
+    }, {
+        kind: "onPerpBisector";
+        p1: string;
+        p2: string;
     }>, z.ZodObject<{
         kind: z.ZodLiteral<"perpFoot">;
         from: z.ZodString;
@@ -1157,19 +1228,22 @@ declare const IntentZ: z.ZodDiscriminatedUnion<"op", [z.ZodObject<{
         circle: z.ZodString;
         a: z.ZodString;
         b: z.ZodString;
-        notContaining: z.ZodString;
+        notContaining: z.ZodOptional<z.ZodString>;
+        containing: z.ZodOptional<z.ZodString>;
     }, "strip", z.ZodTypeAny, {
         kind: "arcMidpoint";
         circle: string;
         a: string;
         b: string;
-        notContaining: string;
+        notContaining?: string | undefined;
+        containing?: string | undefined;
     }, {
         kind: "arcMidpoint";
         circle: string;
         a: string;
         b: string;
-        notContaining: string;
+        notContaining?: string | undefined;
+        containing?: string | undefined;
     }>, z.ZodObject<{
         kind: z.ZodLiteral<"reflectPoint">;
         of: z.ZodString;
@@ -1206,6 +1280,18 @@ declare const IntentZ: z.ZodDiscriminatedUnion<"op", [z.ZodObject<{
         kind: "excenter";
         opposite: string;
         of: [string, string, string];
+    }>, z.ZodObject<{
+        kind: z.ZodLiteral<"mixtilinearPoint">;
+        of: z.ZodTuple<[z.ZodString, z.ZodString, z.ZodString], null>;
+        which: z.ZodUnion<[z.ZodLiteral<"center">, z.ZodLiteral<"touch">]>;
+    }, "strip", z.ZodTypeAny, {
+        kind: "mixtilinearPoint";
+        which: "center" | "touch";
+        of: [string, string, string];
+    }, {
+        kind: "mixtilinearPoint";
+        which: "center" | "touch";
+        of: [string, string, string];
     }>, z.ZodObject<{
         kind: z.ZodLiteral<"rightAngleViewing">;
         a: z.ZodString;
@@ -1324,6 +1410,10 @@ declare const IntentZ: z.ZodDiscriminatedUnion<"op", [z.ZodObject<{
     constraint: {
         kind: "midpoint";
         of: string;
+    } | {
+        kind: "onPerpBisector";
+        p1: string;
+        p2: string;
     } | {
         kind: "perpFoot";
         onLine: string;
@@ -1395,7 +1485,8 @@ declare const IntentZ: z.ZodDiscriminatedUnion<"op", [z.ZodObject<{
         circle: string;
         a: string;
         b: string;
-        notContaining: string;
+        notContaining?: string | undefined;
+        containing?: string | undefined;
     } | {
         kind: "reflectPoint";
         through: string;
@@ -1408,6 +1499,10 @@ declare const IntentZ: z.ZodDiscriminatedUnion<"op", [z.ZodObject<{
         kind: "excenter";
         opposite: string;
         of: [string, string, string];
+    } | {
+        kind: "mixtilinearPoint";
+        which: "center" | "touch";
+        of: [string, string, string];
     } | {
         kind: "rightAngleViewing";
         onLine: string;
@@ -1442,6 +1537,10 @@ declare const IntentZ: z.ZodDiscriminatedUnion<"op", [z.ZodObject<{
     constraint: {
         kind: "midpoint";
         of: string;
+    } | {
+        kind: "onPerpBisector";
+        p1: string;
+        p2: string;
     } | {
         kind: "perpFoot";
         onLine: string;
@@ -1513,7 +1612,8 @@ declare const IntentZ: z.ZodDiscriminatedUnion<"op", [z.ZodObject<{
         circle: string;
         a: string;
         b: string;
-        notContaining: string;
+        notContaining?: string | undefined;
+        containing?: string | undefined;
     } | {
         kind: "reflectPoint";
         through: string;
@@ -1526,6 +1626,10 @@ declare const IntentZ: z.ZodDiscriminatedUnion<"op", [z.ZodObject<{
         kind: "excenter";
         opposite: string;
         of: [string, string, string];
+    } | {
+        kind: "mixtilinearPoint";
+        which: "center" | "touch";
+        of: [string, string, string];
     } | {
         kind: "rightAngleViewing";
         onLine: string;
@@ -1604,7 +1708,7 @@ declare const IntentZ: z.ZodDiscriminatedUnion<"op", [z.ZodObject<{
 }>, z.ZodObject<{
     op: z.ZodLiteral<"draw-line">;
     name: z.ZodString;
-    kind: z.ZodEnum<["perpThrough", "parallelThrough", "tangentAt", "tangentFromExt", "angleBisector", "lineThrough", "radicalAxis"]>;
+    kind: z.ZodEnum<["perpThrough", "parallelThrough", "tangentAt", "tangentFromExt", "angleBisector", "lineThrough", "radicalAxis", "perpBisector"]>;
     through: z.ZodOptional<z.ZodString>;
     to: z.ZodOptional<z.ZodString>;
     from: z.ZodOptional<z.ZodString>;
@@ -1617,7 +1721,7 @@ declare const IntentZ: z.ZodDiscriminatedUnion<"op", [z.ZodObject<{
     vertex: z.ZodOptional<z.ZodString>;
     p2: z.ZodOptional<z.ZodString>;
 }, "strip", z.ZodTypeAny, {
-    kind: "angleBisector" | "lineThrough" | "radicalAxis" | "perpThrough" | "parallelThrough" | "tangentAt" | "tangentFromExt";
+    kind: "perpBisector" | "angleBisector" | "lineThrough" | "radicalAxis" | "perpThrough" | "parallelThrough" | "tangentAt" | "tangentFromExt";
     name: string;
     op: "draw-line";
     circle?: string | undefined;
@@ -1632,7 +1736,7 @@ declare const IntentZ: z.ZodDiscriminatedUnion<"op", [z.ZodObject<{
     which?: "first" | "second" | "both" | undefined;
     to?: string | undefined;
 }, {
-    kind: "angleBisector" | "lineThrough" | "radicalAxis" | "perpThrough" | "parallelThrough" | "tangentAt" | "tangentFromExt";
+    kind: "perpBisector" | "angleBisector" | "lineThrough" | "radicalAxis" | "perpThrough" | "parallelThrough" | "tangentAt" | "tangentFromExt";
     name: string;
     op: "draw-line";
     circle?: string | undefined;
@@ -1697,6 +1801,18 @@ declare const IntentEnvelopeZ: z.ZodEffects<z.ZodObject<{
         }, {
             kind: "midpoint";
             of: string;
+        }>, z.ZodObject<{
+            kind: z.ZodLiteral<"onPerpBisector">;
+            p1: z.ZodString;
+            p2: z.ZodString;
+        }, "strip", z.ZodTypeAny, {
+            kind: "onPerpBisector";
+            p1: string;
+            p2: string;
+        }, {
+            kind: "onPerpBisector";
+            p1: string;
+            p2: string;
         }>, z.ZodObject<{
             kind: z.ZodLiteral<"perpFoot">;
             from: z.ZodString;
@@ -1900,19 +2016,22 @@ declare const IntentEnvelopeZ: z.ZodEffects<z.ZodObject<{
             circle: z.ZodString;
             a: z.ZodString;
             b: z.ZodString;
-            notContaining: z.ZodString;
+            notContaining: z.ZodOptional<z.ZodString>;
+            containing: z.ZodOptional<z.ZodString>;
         }, "strip", z.ZodTypeAny, {
             kind: "arcMidpoint";
             circle: string;
             a: string;
             b: string;
-            notContaining: string;
+            notContaining?: string | undefined;
+            containing?: string | undefined;
         }, {
             kind: "arcMidpoint";
             circle: string;
             a: string;
             b: string;
-            notContaining: string;
+            notContaining?: string | undefined;
+            containing?: string | undefined;
         }>, z.ZodObject<{
             kind: z.ZodLiteral<"reflectPoint">;
             of: z.ZodString;
@@ -1949,6 +2068,18 @@ declare const IntentEnvelopeZ: z.ZodEffects<z.ZodObject<{
             kind: "excenter";
             opposite: string;
             of: [string, string, string];
+        }>, z.ZodObject<{
+            kind: z.ZodLiteral<"mixtilinearPoint">;
+            of: z.ZodTuple<[z.ZodString, z.ZodString, z.ZodString], null>;
+            which: z.ZodUnion<[z.ZodLiteral<"center">, z.ZodLiteral<"touch">]>;
+        }, "strip", z.ZodTypeAny, {
+            kind: "mixtilinearPoint";
+            which: "center" | "touch";
+            of: [string, string, string];
+        }, {
+            kind: "mixtilinearPoint";
+            which: "center" | "touch";
+            of: [string, string, string];
         }>, z.ZodObject<{
             kind: z.ZodLiteral<"rightAngleViewing">;
             a: z.ZodString;
@@ -2067,6 +2198,10 @@ declare const IntentEnvelopeZ: z.ZodEffects<z.ZodObject<{
         constraint: {
             kind: "midpoint";
             of: string;
+        } | {
+            kind: "onPerpBisector";
+            p1: string;
+            p2: string;
         } | {
             kind: "perpFoot";
             onLine: string;
@@ -2138,7 +2273,8 @@ declare const IntentEnvelopeZ: z.ZodEffects<z.ZodObject<{
             circle: string;
             a: string;
             b: string;
-            notContaining: string;
+            notContaining?: string | undefined;
+            containing?: string | undefined;
         } | {
             kind: "reflectPoint";
             through: string;
@@ -2151,6 +2287,10 @@ declare const IntentEnvelopeZ: z.ZodEffects<z.ZodObject<{
             kind: "excenter";
             opposite: string;
             of: [string, string, string];
+        } | {
+            kind: "mixtilinearPoint";
+            which: "center" | "touch";
+            of: [string, string, string];
         } | {
             kind: "rightAngleViewing";
             onLine: string;
@@ -2185,6 +2325,10 @@ declare const IntentEnvelopeZ: z.ZodEffects<z.ZodObject<{
         constraint: {
             kind: "midpoint";
             of: string;
+        } | {
+            kind: "onPerpBisector";
+            p1: string;
+            p2: string;
         } | {
             kind: "perpFoot";
             onLine: string;
@@ -2256,7 +2400,8 @@ declare const IntentEnvelopeZ: z.ZodEffects<z.ZodObject<{
             circle: string;
             a: string;
             b: string;
-            notContaining: string;
+            notContaining?: string | undefined;
+            containing?: string | undefined;
         } | {
             kind: "reflectPoint";
             through: string;
@@ -2269,6 +2414,10 @@ declare const IntentEnvelopeZ: z.ZodEffects<z.ZodObject<{
             kind: "excenter";
             opposite: string;
             of: [string, string, string];
+        } | {
+            kind: "mixtilinearPoint";
+            which: "center" | "touch";
+            of: [string, string, string];
         } | {
             kind: "rightAngleViewing";
             onLine: string;
@@ -2347,7 +2496,7 @@ declare const IntentEnvelopeZ: z.ZodEffects<z.ZodObject<{
     }>, z.ZodObject<{
         op: z.ZodLiteral<"draw-line">;
         name: z.ZodString;
-        kind: z.ZodEnum<["perpThrough", "parallelThrough", "tangentAt", "tangentFromExt", "angleBisector", "lineThrough", "radicalAxis"]>;
+        kind: z.ZodEnum<["perpThrough", "parallelThrough", "tangentAt", "tangentFromExt", "angleBisector", "lineThrough", "radicalAxis", "perpBisector"]>;
         through: z.ZodOptional<z.ZodString>;
         to: z.ZodOptional<z.ZodString>;
         from: z.ZodOptional<z.ZodString>;
@@ -2360,7 +2509,7 @@ declare const IntentEnvelopeZ: z.ZodEffects<z.ZodObject<{
         vertex: z.ZodOptional<z.ZodString>;
         p2: z.ZodOptional<z.ZodString>;
     }, "strip", z.ZodTypeAny, {
-        kind: "angleBisector" | "lineThrough" | "radicalAxis" | "perpThrough" | "parallelThrough" | "tangentAt" | "tangentFromExt";
+        kind: "perpBisector" | "angleBisector" | "lineThrough" | "radicalAxis" | "perpThrough" | "parallelThrough" | "tangentAt" | "tangentFromExt";
         name: string;
         op: "draw-line";
         circle?: string | undefined;
@@ -2375,7 +2524,7 @@ declare const IntentEnvelopeZ: z.ZodEffects<z.ZodObject<{
         which?: "first" | "second" | "both" | undefined;
         to?: string | undefined;
     }, {
-        kind: "angleBisector" | "lineThrough" | "radicalAxis" | "perpThrough" | "parallelThrough" | "tangentAt" | "tangentFromExt";
+        kind: "perpBisector" | "angleBisector" | "lineThrough" | "radicalAxis" | "perpThrough" | "parallelThrough" | "tangentAt" | "tangentFromExt";
         name: string;
         op: "draw-line";
         circle?: string | undefined;
@@ -2416,6 +2565,10 @@ declare const IntentEnvelopeZ: z.ZodEffects<z.ZodObject<{
         constraint: {
             kind: "midpoint";
             of: string;
+        } | {
+            kind: "onPerpBisector";
+            p1: string;
+            p2: string;
         } | {
             kind: "perpFoot";
             onLine: string;
@@ -2487,7 +2640,8 @@ declare const IntentEnvelopeZ: z.ZodEffects<z.ZodObject<{
             circle: string;
             a: string;
             b: string;
-            notContaining: string;
+            notContaining?: string | undefined;
+            containing?: string | undefined;
         } | {
             kind: "reflectPoint";
             through: string;
@@ -2500,6 +2654,10 @@ declare const IntentEnvelopeZ: z.ZodEffects<z.ZodObject<{
             kind: "excenter";
             opposite: string;
             of: [string, string, string];
+        } | {
+            kind: "mixtilinearPoint";
+            which: "center" | "touch";
+            of: [string, string, string];
         } | {
             kind: "rightAngleViewing";
             onLine: string;
@@ -2546,7 +2704,7 @@ declare const IntentEnvelopeZ: z.ZodEffects<z.ZodObject<{
         triangle?: [string, string, string] | undefined;
         endpoints?: [string, string] | undefined;
     } | {
-        kind: "angleBisector" | "lineThrough" | "radicalAxis" | "perpThrough" | "parallelThrough" | "tangentAt" | "tangentFromExt";
+        kind: "perpBisector" | "angleBisector" | "lineThrough" | "radicalAxis" | "perpThrough" | "parallelThrough" | "tangentAt" | "tangentFromExt";
         name: string;
         op: "draw-line";
         circle?: string | undefined;
@@ -2578,6 +2736,10 @@ declare const IntentEnvelopeZ: z.ZodEffects<z.ZodObject<{
         constraint: {
             kind: "midpoint";
             of: string;
+        } | {
+            kind: "onPerpBisector";
+            p1: string;
+            p2: string;
         } | {
             kind: "perpFoot";
             onLine: string;
@@ -2649,7 +2811,8 @@ declare const IntentEnvelopeZ: z.ZodEffects<z.ZodObject<{
             circle: string;
             a: string;
             b: string;
-            notContaining: string;
+            notContaining?: string | undefined;
+            containing?: string | undefined;
         } | {
             kind: "reflectPoint";
             through: string;
@@ -2662,6 +2825,10 @@ declare const IntentEnvelopeZ: z.ZodEffects<z.ZodObject<{
             kind: "excenter";
             opposite: string;
             of: [string, string, string];
+        } | {
+            kind: "mixtilinearPoint";
+            which: "center" | "touch";
+            of: [string, string, string];
         } | {
             kind: "rightAngleViewing";
             onLine: string;
@@ -2708,7 +2875,7 @@ declare const IntentEnvelopeZ: z.ZodEffects<z.ZodObject<{
         triangle?: [string, string, string] | undefined;
         endpoints?: [string, string] | undefined;
     } | {
-        kind: "angleBisector" | "lineThrough" | "radicalAxis" | "perpThrough" | "parallelThrough" | "tangentAt" | "tangentFromExt";
+        kind: "perpBisector" | "angleBisector" | "lineThrough" | "radicalAxis" | "perpThrough" | "parallelThrough" | "tangentAt" | "tangentFromExt";
         name: string;
         op: "draw-line";
         circle?: string | undefined;
@@ -2740,6 +2907,10 @@ declare const IntentEnvelopeZ: z.ZodEffects<z.ZodObject<{
         constraint: {
             kind: "midpoint";
             of: string;
+        } | {
+            kind: "onPerpBisector";
+            p1: string;
+            p2: string;
         } | {
             kind: "perpFoot";
             onLine: string;
@@ -2811,7 +2982,8 @@ declare const IntentEnvelopeZ: z.ZodEffects<z.ZodObject<{
             circle: string;
             a: string;
             b: string;
-            notContaining: string;
+            notContaining?: string | undefined;
+            containing?: string | undefined;
         } | {
             kind: "reflectPoint";
             through: string;
@@ -2824,6 +2996,10 @@ declare const IntentEnvelopeZ: z.ZodEffects<z.ZodObject<{
             kind: "excenter";
             opposite: string;
             of: [string, string, string];
+        } | {
+            kind: "mixtilinearPoint";
+            which: "center" | "touch";
+            of: [string, string, string];
         } | {
             kind: "rightAngleViewing";
             onLine: string;
@@ -2870,7 +3046,7 @@ declare const IntentEnvelopeZ: z.ZodEffects<z.ZodObject<{
         triangle?: [string, string, string] | undefined;
         endpoints?: [string, string] | undefined;
     } | {
-        kind: "angleBisector" | "lineThrough" | "radicalAxis" | "perpThrough" | "parallelThrough" | "tangentAt" | "tangentFromExt";
+        kind: "perpBisector" | "angleBisector" | "lineThrough" | "radicalAxis" | "perpThrough" | "parallelThrough" | "tangentAt" | "tangentFromExt";
         name: string;
         op: "draw-line";
         circle?: string | undefined;
@@ -2902,6 +3078,10 @@ declare const IntentEnvelopeZ: z.ZodEffects<z.ZodObject<{
         constraint: {
             kind: "midpoint";
             of: string;
+        } | {
+            kind: "onPerpBisector";
+            p1: string;
+            p2: string;
         } | {
             kind: "perpFoot";
             onLine: string;
@@ -2973,7 +3153,8 @@ declare const IntentEnvelopeZ: z.ZodEffects<z.ZodObject<{
             circle: string;
             a: string;
             b: string;
-            notContaining: string;
+            notContaining?: string | undefined;
+            containing?: string | undefined;
         } | {
             kind: "reflectPoint";
             through: string;
@@ -2986,6 +3167,10 @@ declare const IntentEnvelopeZ: z.ZodEffects<z.ZodObject<{
             kind: "excenter";
             opposite: string;
             of: [string, string, string];
+        } | {
+            kind: "mixtilinearPoint";
+            which: "center" | "touch";
+            of: [string, string, string];
         } | {
             kind: "rightAngleViewing";
             onLine: string;
@@ -3032,7 +3217,7 @@ declare const IntentEnvelopeZ: z.ZodEffects<z.ZodObject<{
         triangle?: [string, string, string] | undefined;
         endpoints?: [string, string] | undefined;
     } | {
-        kind: "angleBisector" | "lineThrough" | "radicalAxis" | "perpThrough" | "parallelThrough" | "tangentAt" | "tangentFromExt";
+        kind: "perpBisector" | "angleBisector" | "lineThrough" | "radicalAxis" | "perpThrough" | "parallelThrough" | "tangentAt" | "tangentFromExt";
         name: string;
         op: "draw-line";
         circle?: string | undefined;
@@ -3095,6 +3280,13 @@ interface IntentSuccessResult {
     verify: VerifyReport;
     usage: IntentTokenUsage;
     provider: string;
+    /**
+     * Có mặt khi đây là PARTIAL render: rule base chỉ dựng được một phần đề (phần
+     * chắc chắn đúng), `message` là to-do list cho user tự dựng nốt. Vắng = full.
+     */
+    partial?: {
+        message: string;
+    };
 }
 interface IntentFailureResult {
     ok: false;
@@ -3265,6 +3457,10 @@ type AiFigureIntentUiResult = {
         inputTokens: number;
         outputTokens: number;
     };
+    /** Có mặt khi partial render: `message` là to-do list cho user tự dựng nốt. */
+    partial?: {
+        message: string;
+    };
 } | {
     kind: 'refused';
     message: string;
@@ -3307,7 +3503,7 @@ type TryDeterministicResult = {
     detail?: string;
     coverage?: CoverageReport;
 };
-declare function tryDeterministicFigure(problem: string): TryDeterministicResult;
+declare function tryDeterministicFigure(rawProblem: string): TryDeterministicResult;
 
 interface PartialDeterministicResult {
     /** Intent deterministic từ các clause đã được rule claim (deduped). */
@@ -3337,4 +3533,34 @@ declare function tryPartialDeterministic(problem: string): PartialDeterministicR
  */
 declare function mergeIntents(det: readonly IntentT[], llm: readonly IntentT[]): IntentT[];
 
-export { type AddPointIntentT, type AiFigureIntentUiResult, type ConnectIntentT, type DeterministicFigure, type DrawCircleIntentT, type DrawShapeIntentT, type FigureEnvelopeT, FigureEnvelopeZ, type GenerateIntentOptions, type HandleGenerateFigureInput, type HandleGenerateFigureIntentInput, type HandleGenerateFigureIntentOptions, type HandleGenerateFigureOptions, IntentBuilderError, type IntentEnvelopeT, IntentEnvelopeZ, type IntentFailureResult, type IntentGenerateResult, type IntentSuccessResult, type IntentT, IntentZ, type PartialDeterministicResult, type TryDeterministicResult, type VerifyIssue, type VerifyReport, buildIntentSystemPrompt, compareIntents, envelopeBuildDsl, envelopeIntentList, envelopeJsonSchema, generateFigureIntent, handleGenerateFigure, handleGenerateFigureIntent, intentEnvelopeJsonSchema, intentsToDsl, mergeIntents, tryDeterministicFigure, tryPartialDeterministic, verifyGeometry };
+declare const ALLOWED_TYPES: readonly ["image/png", "image/jpeg", "image/webp"];
+type AllowedType = (typeof ALLOWED_TYPES)[number];
+type ValidationResult = {
+    ok: true;
+    mediaType: AllowedType;
+} | {
+    ok: false;
+    code: 'invalid-format' | 'too-large';
+    message: string;
+};
+declare function inferMediaType(file: File): AllowedType | null;
+declare function validateFile(file: File): ValidationResult;
+/**
+ * Convert File → ImagePart. Auto-downscale nếu max edge > MAX_EDGE_PX.
+ * Throws nếu file invalid hoặc decode fail.
+ */
+declare function fileToImagePart(file: File): Promise<ImagePart>;
+
+interface TesseractOcrOptions {
+    /** Tesseract language code. Default 'vie+eng' cho đề toán VN. */
+    lang?: string;
+    signal?: AbortSignal;
+}
+interface TesseractOcrResult {
+    text: string;
+    /** Confidence 0–100 (Tesseract scale). */
+    confidence: number;
+}
+declare function runTesseractOcr(image: ImagePart, opts?: TesseractOcrOptions): Promise<TesseractOcrResult>;
+
+export { type AddPointIntentT, type AiFigureIntentUiResult, type ConnectIntentT, type DeterministicFigure, type DrawCircleIntentT, type DrawShapeIntentT, type FigureEnvelopeT, FigureEnvelopeZ, type GenerateIntentOptions, type HandleGenerateFigureInput, type HandleGenerateFigureIntentInput, type HandleGenerateFigureIntentOptions, type HandleGenerateFigureOptions, ImagePart, IntentBuilderError, type IntentEnvelopeT, IntentEnvelopeZ, type IntentFailureResult, type IntentGenerateResult, type IntentSuccessResult, type IntentT, IntentZ, type PartialDeterministicResult, type TryDeterministicResult, type ValidationResult, type VerifyIssue, type VerifyReport, buildIntentSystemPrompt, compareIntents, envelopeBuildDsl, envelopeIntentList, envelopeJsonSchema, fileToImagePart, generateFigureIntent, handleGenerateFigure, handleGenerateFigureIntent, inferMediaType, intentEnvelopeJsonSchema, intentsToDsl, mergeIntents, runTesseractOcr, tryDeterministicFigure, tryPartialDeterministic, validateFile, verifyGeometry };