@xom11/whiteboard 0.30.0 → 0.31.0

package/dist/ai.d.mts

@@ -1,4 +1,4 @@
-import { c as State, b as AiFigureUiResult } from './types-C3FjpoUi.mjs';
+import { c as State, b as AiFigureUiResult } from './types-tePd94vW.mjs';
 import { z } from 'zod';
 import { I as ImagePart } from './handleExtractProblem-BrDY9ifM.mjs';
 export { a as ExtractProblemOptions, b as ExtractProblemOutcome, E as ExtractUiResult, H as HandleExtractProblemOptions, e as extractProblemFromImage, h as handleExtractProblem } from './handleExtractProblem-BrDY9ifM.mjs';
@@ -36,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';
@@ -113,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';
@@ -276,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;
@@ -479,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;
@@ -528,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;
@@ -646,6 +685,10 @@ declare const AddPointIntentZ: z.ZodObject<{
     constraint: {
         kind: "midpoint";
         of: string;
+    } | {
+        kind: "onPerpBisector";
+        p1: string;
+        p2: string;
     } | {
         kind: "perpFoot";
         onLine: string;
@@ -717,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;
@@ -730,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;
@@ -764,6 +812,10 @@ declare const AddPointIntentZ: z.ZodObject<{
     constraint: {
         kind: "midpoint";
         of: string;
+    } | {
+        kind: "onPerpBisector";
+        p1: string;
+        p2: string;
     } | {
         kind: "perpFoot";
         onLine: string;
@@ -835,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;
@@ -848,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;
@@ -956,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;
@@ -1159,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;
@@ -1208,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;
@@ -1326,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;
@@ -1397,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;
@@ -1410,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;
@@ -1444,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;
@@ -1515,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;
@@ -1528,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;
@@ -1606,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>;
@@ -1619,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;
@@ -1634,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;
@@ -1699,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;
@@ -1902,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;
@@ -1951,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;
@@ -2069,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;
@@ -2140,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;
@@ -2153,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;
@@ -2187,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;
@@ -2258,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;
@@ -2271,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;
@@ -2349,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>;
@@ -2362,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;
@@ -2377,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;
@@ -2418,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;
@@ -2489,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;
@@ -2502,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;
@@ -2548,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;
@@ -2580,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;
@@ -2651,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;
@@ -2664,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;
@@ -2710,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;
@@ -2742,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;
@@ -2813,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;
@@ -2826,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;
@@ -2872,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;
@@ -2904,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;
@@ -2975,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;
@@ -2988,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;
@@ -3034,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;
@@ -3097,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;
@@ -3267,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;
@@ -3309,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). */