@xom11/whiteboard 0.30.0 → 0.32.0

package/dist/ai.d.ts

@@ -1,7 +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 { I as ImagePart } from './handleExtractProblem-mtJyhEw3.js';
+export { a as ExtractProblemOptions, b as ExtractProblemOutcome, E as ExtractUiResult, H as HandleExtractProblemOptions, e as extractProblemFromImage, h as handleExtractProblem } from './handleExtractProblem-mtJyhEw3.js';
 import 'react';
 import '@excalidraw/excalidraw/element/types';
 
@@ -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';
@@ -135,6 +147,13 @@ type DslPointT = {
     from: Name;
     through: Name;
     distance: DslDistanceSpec;
+} | {
+    name: Name;
+    kind: 'commonTangentPoint';
+    circles: [Name, Name];
+    on: 0 | 1;
+    variant: 'external' | 'internal';
+    side: 0 | 1;
 };
 type DslShapeT = {
     name: Name;
@@ -253,9 +272,9 @@ declare const DrawShapeIntentZ: z.ZodObject<{
     explicitCoords: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodTuple<[z.ZodNumber, z.ZodNumber], null>>>;
 }, "strip", z.ZodTypeAny, {
     shape: "square" | "rectangle" | "rhombus" | "parallelogram" | "triangle" | "trapezoid" | "quadrilateral";
+    variant: "any" | "equilateral" | "isoceles-AB" | "isoceles-BC" | "isoceles-CA" | "right-at-A" | "right-at-B" | "right-at-C" | "standard" | "wide" | "tall" | "right" | "isoceles" | "general";
     op: "draw-shape";
     labels: string[];
-    variant: "any" | "equilateral" | "isoceles-AB" | "isoceles-BC" | "isoceles-CA" | "right-at-A" | "right-at-B" | "right-at-C" | "standard" | "wide" | "tall" | "right" | "isoceles" | "general";
     explicitCoords?: Record<string, [number, number]> | undefined;
 }, {
     shape: "square" | "rectangle" | "rhombus" | "parallelogram" | "triangle" | "trapezoid" | "quadrilateral";
@@ -276,6 +295,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 +510,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 +562,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;
@@ -641,11 +687,33 @@ declare const AddPointIntentZ: z.ZodObject<{
             scale?: number | undefined;
             offset?: number | undefined;
         };
+    }>, z.ZodObject<{
+        kind: z.ZodLiteral<"commonTangentPoint">;
+        circles: z.ZodTuple<[z.ZodString, z.ZodString], null>;
+        on: z.ZodUnion<[z.ZodLiteral<0>, z.ZodLiteral<1>]>;
+        variant: z.ZodEnum<["external", "internal"]>;
+        side: z.ZodUnion<[z.ZodLiteral<0>, z.ZodLiteral<1>]>;
+    }, "strip", z.ZodTypeAny, {
+        kind: "commonTangentPoint";
+        circles: [string, string];
+        on: 0 | 1;
+        variant: "external" | "internal";
+        side: 0 | 1;
+    }, {
+        kind: "commonTangentPoint";
+        circles: [string, string];
+        on: 0 | 1;
+        variant: "external" | "internal";
+        side: 0 | 1;
     }>]>;
 }, "strip", z.ZodTypeAny, {
     constraint: {
         kind: "midpoint";
         of: string;
+    } | {
+        kind: "onPerpBisector";
+        p1: string;
+        p2: string;
     } | {
         kind: "perpFoot";
         onLine: string;
@@ -717,7 +785,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 +799,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;
@@ -757,6 +830,12 @@ declare const AddPointIntentZ: z.ZodObject<{
             scale?: number | undefined;
             offset?: number | undefined;
         };
+    } | {
+        kind: "commonTangentPoint";
+        circles: [string, string];
+        on: 0 | 1;
+        variant: "external" | "internal";
+        side: 0 | 1;
     };
     name: string;
     op: "add-point";
@@ -764,6 +843,10 @@ declare const AddPointIntentZ: z.ZodObject<{
     constraint: {
         kind: "midpoint";
         of: string;
+    } | {
+        kind: "onPerpBisector";
+        p1: string;
+        p2: string;
     } | {
         kind: "perpFoot";
         onLine: string;
@@ -835,7 +918,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 +932,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;
@@ -875,6 +963,12 @@ declare const AddPointIntentZ: z.ZodObject<{
             scale?: number | undefined;
             offset?: number | undefined;
         };
+    } | {
+        kind: "commonTangentPoint";
+        circles: [string, string];
+        on: 0 | 1;
+        variant: "external" | "internal";
+        side: 0 | 1;
     };
     name: string;
     op: "add-point";
@@ -910,8 +1004,8 @@ declare const DrawCircleIntentZ: z.ZodObject<{
     op: "draw-circle";
     spec: "diameter" | "centerThrough" | "through3" | "centerRadius" | "inscribedIn";
     points?: [string, string, string] | undefined;
-    through?: string | undefined;
     center?: string | undefined;
+    through?: string | undefined;
     radius?: number | undefined;
     triangle?: [string, string, string] | undefined;
     endpoints?: [string, string] | undefined;
@@ -920,8 +1014,8 @@ declare const DrawCircleIntentZ: z.ZodObject<{
     op: "draw-circle";
     spec: "diameter" | "centerThrough" | "through3" | "centerRadius" | "inscribedIn";
     points?: [string, string, string] | undefined;
-    through?: string | undefined;
     center?: string | undefined;
+    through?: string | undefined;
     radius?: number | undefined;
     triangle?: [string, string, string] | undefined;
     endpoints?: [string, string] | undefined;
@@ -934,9 +1028,9 @@ declare const IntentZ: z.ZodDiscriminatedUnion<"op", [z.ZodObject<{
     explicitCoords: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodTuple<[z.ZodNumber, z.ZodNumber], null>>>;
 }, "strip", z.ZodTypeAny, {
     shape: "square" | "rectangle" | "rhombus" | "parallelogram" | "triangle" | "trapezoid" | "quadrilateral";
+    variant: "any" | "equilateral" | "isoceles-AB" | "isoceles-BC" | "isoceles-CA" | "right-at-A" | "right-at-B" | "right-at-C" | "standard" | "wide" | "tall" | "right" | "isoceles" | "general";
     op: "draw-shape";
     labels: string[];
-    variant: "any" | "equilateral" | "isoceles-AB" | "isoceles-BC" | "isoceles-CA" | "right-at-A" | "right-at-B" | "right-at-C" | "standard" | "wide" | "tall" | "right" | "isoceles" | "general";
     explicitCoords?: Record<string, [number, number]> | undefined;
 }, {
     shape: "square" | "rectangle" | "rhombus" | "parallelogram" | "triangle" | "trapezoid" | "quadrilateral";
@@ -956,6 +1050,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 +1265,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 +1317,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;
@@ -1321,11 +1442,33 @@ declare const IntentZ: z.ZodDiscriminatedUnion<"op", [z.ZodObject<{
             scale?: number | undefined;
             offset?: number | undefined;
         };
+    }>, z.ZodObject<{
+        kind: z.ZodLiteral<"commonTangentPoint">;
+        circles: z.ZodTuple<[z.ZodString, z.ZodString], null>;
+        on: z.ZodUnion<[z.ZodLiteral<0>, z.ZodLiteral<1>]>;
+        variant: z.ZodEnum<["external", "internal"]>;
+        side: z.ZodUnion<[z.ZodLiteral<0>, z.ZodLiteral<1>]>;
+    }, "strip", z.ZodTypeAny, {
+        kind: "commonTangentPoint";
+        circles: [string, string];
+        on: 0 | 1;
+        variant: "external" | "internal";
+        side: 0 | 1;
+    }, {
+        kind: "commonTangentPoint";
+        circles: [string, string];
+        on: 0 | 1;
+        variant: "external" | "internal";
+        side: 0 | 1;
     }>]>;
 }, "strip", z.ZodTypeAny, {
     constraint: {
         kind: "midpoint";
         of: string;
+    } | {
+        kind: "onPerpBisector";
+        p1: string;
+        p2: string;
     } | {
         kind: "perpFoot";
         onLine: string;
@@ -1397,7 +1540,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 +1554,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;
@@ -1437,6 +1585,12 @@ declare const IntentZ: z.ZodDiscriminatedUnion<"op", [z.ZodObject<{
             scale?: number | undefined;
             offset?: number | undefined;
         };
+    } | {
+        kind: "commonTangentPoint";
+        circles: [string, string];
+        on: 0 | 1;
+        variant: "external" | "internal";
+        side: 0 | 1;
     };
     name: string;
     op: "add-point";
@@ -1444,6 +1598,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 +1673,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 +1687,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;
@@ -1555,6 +1718,12 @@ declare const IntentZ: z.ZodDiscriminatedUnion<"op", [z.ZodObject<{
             scale?: number | undefined;
             offset?: number | undefined;
         };
+    } | {
+        kind: "commonTangentPoint";
+        circles: [string, string];
+        on: 0 | 1;
+        variant: "external" | "internal";
+        side: 0 | 1;
     };
     name: string;
     op: "add-point";
@@ -1588,8 +1757,8 @@ declare const IntentZ: z.ZodDiscriminatedUnion<"op", [z.ZodObject<{
     op: "draw-circle";
     spec: "diameter" | "centerThrough" | "through3" | "centerRadius" | "inscribedIn";
     points?: [string, string, string] | undefined;
-    through?: string | undefined;
     center?: string | undefined;
+    through?: string | undefined;
     radius?: number | undefined;
     triangle?: [string, string, string] | undefined;
     endpoints?: [string, string] | undefined;
@@ -1598,15 +1767,15 @@ declare const IntentZ: z.ZodDiscriminatedUnion<"op", [z.ZodObject<{
     op: "draw-circle";
     spec: "diameter" | "centerThrough" | "through3" | "centerRadius" | "inscribedIn";
     points?: [string, string, string] | undefined;
-    through?: string | undefined;
     center?: string | undefined;
+    through?: string | undefined;
     radius?: number | undefined;
     triangle?: [string, string, string] | undefined;
     endpoints?: [string, string] | undefined;
 }>, 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 +1788,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 +1803,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;
@@ -1650,14 +1819,14 @@ declare const IntentZ: z.ZodDiscriminatedUnion<"op", [z.ZodObject<{
     to?: string | undefined;
 }>, z.ZodObject<{
     op: z.ZodLiteral<"mark-shape">;
-    shape: z.ZodEnum<["triangle", "quadrilateral"]>;
+    shape: z.ZodEnum<["triangle", "quadrilateral", "polygon"]>;
     labels: z.ZodArray<z.ZodString, "many">;
 }, "strip", z.ZodTypeAny, {
-    shape: "triangle" | "quadrilateral";
+    shape: "polygon" | "triangle" | "quadrilateral";
     op: "mark-shape";
     labels: string[];
 }, {
-    shape: "triangle" | "quadrilateral";
+    shape: "polygon" | "triangle" | "quadrilateral";
     op: "mark-shape";
     labels: string[];
 }>]>;
@@ -1677,9 +1846,9 @@ declare const IntentEnvelopeZ: z.ZodEffects<z.ZodObject<{
         explicitCoords: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodTuple<[z.ZodNumber, z.ZodNumber], null>>>;
     }, "strip", z.ZodTypeAny, {
         shape: "square" | "rectangle" | "rhombus" | "parallelogram" | "triangle" | "trapezoid" | "quadrilateral";
+        variant: "any" | "equilateral" | "isoceles-AB" | "isoceles-BC" | "isoceles-CA" | "right-at-A" | "right-at-B" | "right-at-C" | "standard" | "wide" | "tall" | "right" | "isoceles" | "general";
         op: "draw-shape";
         labels: string[];
-        variant: "any" | "equilateral" | "isoceles-AB" | "isoceles-BC" | "isoceles-CA" | "right-at-A" | "right-at-B" | "right-at-C" | "standard" | "wide" | "tall" | "right" | "isoceles" | "general";
         explicitCoords?: Record<string, [number, number]> | undefined;
     }, {
         shape: "square" | "rectangle" | "rhombus" | "parallelogram" | "triangle" | "trapezoid" | "quadrilateral";
@@ -1699,6 +1868,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 +2083,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 +2135,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;
@@ -2064,11 +2260,33 @@ declare const IntentEnvelopeZ: z.ZodEffects<z.ZodObject<{
                 scale?: number | undefined;
                 offset?: number | undefined;
             };
+        }>, z.ZodObject<{
+            kind: z.ZodLiteral<"commonTangentPoint">;
+            circles: z.ZodTuple<[z.ZodString, z.ZodString], null>;
+            on: z.ZodUnion<[z.ZodLiteral<0>, z.ZodLiteral<1>]>;
+            variant: z.ZodEnum<["external", "internal"]>;
+            side: z.ZodUnion<[z.ZodLiteral<0>, z.ZodLiteral<1>]>;
+        }, "strip", z.ZodTypeAny, {
+            kind: "commonTangentPoint";
+            circles: [string, string];
+            on: 0 | 1;
+            variant: "external" | "internal";
+            side: 0 | 1;
+        }, {
+            kind: "commonTangentPoint";
+            circles: [string, string];
+            on: 0 | 1;
+            variant: "external" | "internal";
+            side: 0 | 1;
         }>]>;
     }, "strip", z.ZodTypeAny, {
         constraint: {
             kind: "midpoint";
             of: string;
+        } | {
+            kind: "onPerpBisector";
+            p1: string;
+            p2: string;
         } | {
             kind: "perpFoot";
             onLine: string;
@@ -2140,7 +2358,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 +2372,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;
@@ -2180,6 +2403,12 @@ declare const IntentEnvelopeZ: z.ZodEffects<z.ZodObject<{
                 scale?: number | undefined;
                 offset?: number | undefined;
             };
+        } | {
+            kind: "commonTangentPoint";
+            circles: [string, string];
+            on: 0 | 1;
+            variant: "external" | "internal";
+            side: 0 | 1;
         };
         name: string;
         op: "add-point";
@@ -2187,6 +2416,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 +2491,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 +2505,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;
@@ -2298,6 +2536,12 @@ declare const IntentEnvelopeZ: z.ZodEffects<z.ZodObject<{
                 scale?: number | undefined;
                 offset?: number | undefined;
             };
+        } | {
+            kind: "commonTangentPoint";
+            circles: [string, string];
+            on: 0 | 1;
+            variant: "external" | "internal";
+            side: 0 | 1;
         };
         name: string;
         op: "add-point";
@@ -2331,8 +2575,8 @@ declare const IntentEnvelopeZ: z.ZodEffects<z.ZodObject<{
         op: "draw-circle";
         spec: "diameter" | "centerThrough" | "through3" | "centerRadius" | "inscribedIn";
         points?: [string, string, string] | undefined;
-        through?: string | undefined;
         center?: string | undefined;
+        through?: string | undefined;
         radius?: number | undefined;
         triangle?: [string, string, string] | undefined;
         endpoints?: [string, string] | undefined;
@@ -2341,15 +2585,15 @@ declare const IntentEnvelopeZ: z.ZodEffects<z.ZodObject<{
         op: "draw-circle";
         spec: "diameter" | "centerThrough" | "through3" | "centerRadius" | "inscribedIn";
         points?: [string, string, string] | undefined;
-        through?: string | undefined;
         center?: string | undefined;
+        through?: string | undefined;
         radius?: number | undefined;
         triangle?: [string, string, string] | undefined;
         endpoints?: [string, string] | undefined;
     }>, 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 +2606,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 +2621,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;
@@ -2393,14 +2637,14 @@ declare const IntentEnvelopeZ: z.ZodEffects<z.ZodObject<{
         to?: string | undefined;
     }>, z.ZodObject<{
         op: z.ZodLiteral<"mark-shape">;
-        shape: z.ZodEnum<["triangle", "quadrilateral"]>;
+        shape: z.ZodEnum<["triangle", "quadrilateral", "polygon"]>;
         labels: z.ZodArray<z.ZodString, "many">;
     }, "strip", z.ZodTypeAny, {
-        shape: "triangle" | "quadrilateral";
+        shape: "polygon" | "triangle" | "quadrilateral";
         op: "mark-shape";
         labels: string[];
     }, {
-        shape: "triangle" | "quadrilateral";
+        shape: "polygon" | "triangle" | "quadrilateral";
         op: "mark-shape";
         labels: string[];
     }>]>, "many">>;
@@ -2410,14 +2654,18 @@ declare const IntentEnvelopeZ: z.ZodEffects<z.ZodObject<{
     reason?: string | undefined;
     intents?: ({
         shape: "square" | "rectangle" | "rhombus" | "parallelogram" | "triangle" | "trapezoid" | "quadrilateral";
+        variant: "any" | "equilateral" | "isoceles-AB" | "isoceles-BC" | "isoceles-CA" | "right-at-A" | "right-at-B" | "right-at-C" | "standard" | "wide" | "tall" | "right" | "isoceles" | "general";
         op: "draw-shape";
         labels: string[];
-        variant: "any" | "equilateral" | "isoceles-AB" | "isoceles-BC" | "isoceles-CA" | "right-at-A" | "right-at-B" | "right-at-C" | "standard" | "wide" | "tall" | "right" | "isoceles" | "general";
         explicitCoords?: Record<string, [number, number]> | undefined;
     } | {
         constraint: {
             kind: "midpoint";
             of: string;
+        } | {
+            kind: "onPerpBisector";
+            p1: string;
+            p2: string;
         } | {
             kind: "perpFoot";
             onLine: string;
@@ -2489,7 +2737,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 +2751,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;
@@ -2529,6 +2782,12 @@ declare const IntentEnvelopeZ: z.ZodEffects<z.ZodObject<{
                 scale?: number | undefined;
                 offset?: number | undefined;
             };
+        } | {
+            kind: "commonTangentPoint";
+            circles: [string, string];
+            on: 0 | 1;
+            variant: "external" | "internal";
+            side: 0 | 1;
         };
         name: string;
         op: "add-point";
@@ -2542,13 +2801,13 @@ declare const IntentEnvelopeZ: z.ZodEffects<z.ZodObject<{
         op: "draw-circle";
         spec: "diameter" | "centerThrough" | "through3" | "centerRadius" | "inscribedIn";
         points?: [string, string, string] | undefined;
-        through?: string | undefined;
         center?: string | undefined;
+        through?: string | undefined;
         radius?: number | undefined;
         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;
@@ -2563,7 +2822,7 @@ declare const IntentEnvelopeZ: z.ZodEffects<z.ZodObject<{
         which?: "first" | "second" | "both" | undefined;
         to?: string | undefined;
     } | {
-        shape: "triangle" | "quadrilateral";
+        shape: "polygon" | "triangle" | "quadrilateral";
         op: "mark-shape";
         labels: string[];
     })[] | undefined;
@@ -2580,6 +2839,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 +2914,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 +2928,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;
@@ -2691,6 +2959,12 @@ declare const IntentEnvelopeZ: z.ZodEffects<z.ZodObject<{
                 scale?: number | undefined;
                 offset?: number | undefined;
             };
+        } | {
+            kind: "commonTangentPoint";
+            circles: [string, string];
+            on: 0 | 1;
+            variant: "external" | "internal";
+            side: 0 | 1;
         };
         name: string;
         op: "add-point";
@@ -2704,13 +2978,13 @@ declare const IntentEnvelopeZ: z.ZodEffects<z.ZodObject<{
         op: "draw-circle";
         spec: "diameter" | "centerThrough" | "through3" | "centerRadius" | "inscribedIn";
         points?: [string, string, string] | undefined;
-        through?: string | undefined;
         center?: string | undefined;
+        through?: string | undefined;
         radius?: number | undefined;
         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;
@@ -2725,7 +2999,7 @@ declare const IntentEnvelopeZ: z.ZodEffects<z.ZodObject<{
         which?: "first" | "second" | "both" | undefined;
         to?: string | undefined;
     } | {
-        shape: "triangle" | "quadrilateral";
+        shape: "polygon" | "triangle" | "quadrilateral";
         op: "mark-shape";
         labels: string[];
     })[] | undefined;
@@ -2734,14 +3008,18 @@ declare const IntentEnvelopeZ: z.ZodEffects<z.ZodObject<{
     reason?: string | undefined;
     intents?: ({
         shape: "square" | "rectangle" | "rhombus" | "parallelogram" | "triangle" | "trapezoid" | "quadrilateral";
+        variant: "any" | "equilateral" | "isoceles-AB" | "isoceles-BC" | "isoceles-CA" | "right-at-A" | "right-at-B" | "right-at-C" | "standard" | "wide" | "tall" | "right" | "isoceles" | "general";
         op: "draw-shape";
         labels: string[];
-        variant: "any" | "equilateral" | "isoceles-AB" | "isoceles-BC" | "isoceles-CA" | "right-at-A" | "right-at-B" | "right-at-C" | "standard" | "wide" | "tall" | "right" | "isoceles" | "general";
         explicitCoords?: Record<string, [number, number]> | undefined;
     } | {
         constraint: {
             kind: "midpoint";
             of: string;
+        } | {
+            kind: "onPerpBisector";
+            p1: string;
+            p2: string;
         } | {
             kind: "perpFoot";
             onLine: string;
@@ -2813,7 +3091,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 +3105,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;
@@ -2853,6 +3136,12 @@ declare const IntentEnvelopeZ: z.ZodEffects<z.ZodObject<{
                 scale?: number | undefined;
                 offset?: number | undefined;
             };
+        } | {
+            kind: "commonTangentPoint";
+            circles: [string, string];
+            on: 0 | 1;
+            variant: "external" | "internal";
+            side: 0 | 1;
         };
         name: string;
         op: "add-point";
@@ -2866,13 +3155,13 @@ declare const IntentEnvelopeZ: z.ZodEffects<z.ZodObject<{
         op: "draw-circle";
         spec: "diameter" | "centerThrough" | "through3" | "centerRadius" | "inscribedIn";
         points?: [string, string, string] | undefined;
-        through?: string | undefined;
         center?: string | undefined;
+        through?: string | undefined;
         radius?: number | undefined;
         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;
@@ -2887,7 +3176,7 @@ declare const IntentEnvelopeZ: z.ZodEffects<z.ZodObject<{
         which?: "first" | "second" | "both" | undefined;
         to?: string | undefined;
     } | {
-        shape: "triangle" | "quadrilateral";
+        shape: "polygon" | "triangle" | "quadrilateral";
         op: "mark-shape";
         labels: string[];
     })[] | undefined;
@@ -2904,6 +3193,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 +3268,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 +3282,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;
@@ -3015,6 +3313,12 @@ declare const IntentEnvelopeZ: z.ZodEffects<z.ZodObject<{
                 scale?: number | undefined;
                 offset?: number | undefined;
             };
+        } | {
+            kind: "commonTangentPoint";
+            circles: [string, string];
+            on: 0 | 1;
+            variant: "external" | "internal";
+            side: 0 | 1;
         };
         name: string;
         op: "add-point";
@@ -3028,13 +3332,13 @@ declare const IntentEnvelopeZ: z.ZodEffects<z.ZodObject<{
         op: "draw-circle";
         spec: "diameter" | "centerThrough" | "through3" | "centerRadius" | "inscribedIn";
         points?: [string, string, string] | undefined;
-        through?: string | undefined;
         center?: string | undefined;
+        through?: string | undefined;
         radius?: number | undefined;
         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;
@@ -3049,7 +3353,7 @@ declare const IntentEnvelopeZ: z.ZodEffects<z.ZodObject<{
         which?: "first" | "second" | "both" | undefined;
         to?: string | undefined;
     } | {
-        shape: "triangle" | "quadrilateral";
+        shape: "polygon" | "triangle" | "quadrilateral";
         op: "mark-shape";
         labels: string[];
     })[] | undefined;
@@ -3097,6 +3401,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 +3578,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 +3624,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). */