@xom11/whiteboard 0.24.2 → 0.27.0

package/dist/ai.d.mts

@@ -1,580 +1,3081 @@
-import { S as State } from './types-DxlMPh-6.mjs';
+import { b as State, D as DslInputT, a as AiFigureUiResult } from './types-zc_Pa0mp.mjs';
 import { z } from 'zod';
+import { A as AIProvider, P as ProviderRequest, a as ProviderOutput, V as VisionRequest, S as SelectProviderOptions, I as ImagePart } from './handleExtractProblem-C-U5KluK.mjs';
+export { b as ExtractProblemFailure, c as ExtractProblemOptions, d as ExtractProblemOutcome, e as ExtractProblemSuccess, E as ExtractUiResult, H as HandleExtractProblemOptions, f as ProviderTokenUsage, g as extractProblemFromImage, h as handleExtractProblem, p as pickVisionModel, s as selectProvider } from './handleExtractProblem-C-U5KluK.mjs';
+import 'react';
+import '@excalidraw/excalidraw/element/types';
 
-declare const DslInput: z.ZodObject<{
-    version: z.ZodLiteral<1>;
-    points: z.ZodArray<z.ZodDiscriminatedUnion<"kind", [z.ZodObject<{
-        name: z.ZodString;
-        kind: z.ZodLiteral<"free">;
-        x: z.ZodNumber;
-        y: z.ZodNumber;
-    }, "strip", z.ZodTypeAny, {
-        kind: "free";
-        name: string;
-        x: number;
-        y: number;
-    }, {
-        kind: "free";
-        name: string;
-        x: number;
-        y: number;
-    }>, z.ZodObject<{
-        name: z.ZodString;
+type TranspileErrorCode = 'SCHEMA' | 'DUPLICATE_NAME' | 'UNKNOWN_REF' | 'KIND_MISMATCH' | 'CYCLE';
+interface TranspileError {
+    code: TranspileErrorCode;
+    message: string;
+    path?: string[];
+    hint?: string;
+}
+type TranspileResult = {
+    ok: true;
+    state: State;
+} | {
+    ok: false;
+    errors: TranspileError[];
+};
+
+interface AnthropicProviderOptions {
+    apiKey: string;
+    /** Cache system prompt qua Anthropic prompt-caching (mặc định bật). */
+    enableCaching?: boolean;
+}
+declare class AnthropicProvider implements AIProvider {
+    private readonly opts;
+    readonly name = "anthropic";
+    readonly defaultModel = "claude-opus-4-7";
+    constructor(opts: AnthropicProviderOptions);
+    call(req: ProviderRequest): Promise<ProviderOutput>;
+    extractText(req: VisionRequest): Promise<ProviderOutput>;
+}
+
+interface OllamaProviderOptions {
+    /** Endpoint base URL, default http://localhost:11434. */
+    baseUrl?: string;
+    /** Default model id nếu request không truyền. */
+    defaultModel?: string;
+    /** Custom fetch impl (dùng cho test mock). */
+    fetchImpl?: typeof fetch;
+}
+declare class OllamaProvider implements AIProvider {
+    readonly name = "ollama";
+    readonly defaultModel: string;
+    private readonly baseUrl;
+    private readonly fetchImpl;
+    constructor(opts?: OllamaProviderOptions);
+    private resolveFetch;
+    call(req: ProviderRequest): Promise<ProviderOutput>;
+    extractText(req: VisionRequest): Promise<ProviderOutput>;
+}
+
+declare const DrawShapeIntentZ: z.ZodObject<{
+    op: z.ZodLiteral<"draw-shape">;
+    shape: z.ZodEnum<["triangle", "square", "rectangle", "rhombus", "trapezoid", "parallelogram", "quadrilateral"]>;
+    labels: z.ZodArray<z.ZodString, "many">;
+    variant: z.ZodDefault<z.ZodEnum<["any", "equilateral", "isoceles-AB", "isoceles-BC", "isoceles-CA", "right-at-A", "right-at-B", "right-at-C", "standard", "wide", "tall", "right", "isoceles", "general"]>>;
+    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";
+    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";
+    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" | undefined;
+    explicitCoords?: Record<string, [number, number]> | undefined;
+}>;
+declare const AddPointIntentZ: z.ZodObject<{
+    op: z.ZodLiteral<"add-point">;
+    name: z.ZodString;
+    constraint: z.ZodDiscriminatedUnion<"kind", [z.ZodObject<{
         kind: z.ZodLiteral<"midpoint">;
-        p1: z.ZodString;
-        p2: z.ZodString;
+        of: z.ZodString;
     }, "strip", z.ZodTypeAny, {
         kind: "midpoint";
-        name: string;
-        p1: string;
-        p2: string;
+        of: string;
     }, {
         kind: "midpoint";
-        name: string;
-        p1: string;
-        p2: string;
-    }>, z.ZodObject<{
-        name: z.ZodString;
-        kind: z.ZodLiteral<"onSegment">;
-        segmentId: z.ZodString;
-        t: z.ZodNumber;
-    }, "strip", z.ZodTypeAny, {
-        kind: "onSegment";
-        name: string;
-        segmentId: string;
-        t: number;
-    }, {
-        kind: "onSegment";
-        name: string;
-        segmentId: string;
-        t: number;
-    }>, z.ZodObject<{
-        name: z.ZodString;
-        kind: z.ZodLiteral<"onLine">;
-        lineId: z.ZodString;
-        t: z.ZodNumber;
-    }, "strip", z.ZodTypeAny, {
-        kind: "onLine";
-        name: string;
-        t: number;
-        lineId: string;
-    }, {
-        kind: "onLine";
-        name: string;
-        t: number;
-        lineId: string;
-    }>, z.ZodObject<{
-        name: z.ZodString;
-        kind: z.ZodLiteral<"onCircle">;
-        circleId: z.ZodString;
-        theta: z.ZodNumber;
-    }, "strip", z.ZodTypeAny, {
-        kind: "onCircle";
-        name: string;
-        circleId: string;
-        theta: number;
-    }, {
-        kind: "onCircle";
-        name: string;
-        circleId: string;
-        theta: number;
+        of: string;
     }>, z.ZodObject<{
-        name: z.ZodString;
         kind: z.ZodLiteral<"perpFoot">;
         from: z.ZodString;
         onLine: z.ZodString;
     }, "strip", z.ZodTypeAny, {
         kind: "perpFoot";
-        name: string;
         onLine: string;
         from: string;
     }, {
         kind: "perpFoot";
-        name: string;
         onLine: string;
         from: string;
     }>, z.ZodObject<{
-        name: z.ZodString;
+        kind: z.ZodLiteral<"centroid">;
+        of: z.ZodTuple<[z.ZodString, z.ZodString, z.ZodString], null>;
+    }, "strip", z.ZodTypeAny, {
+        kind: "centroid";
+        of: [string, string, string];
+    }, {
+        kind: "centroid";
+        of: [string, string, string];
+    }>, z.ZodObject<{
         kind: z.ZodLiteral<"circumcenter">;
-        vertices: z.ZodTuple<[z.ZodString, z.ZodString, z.ZodString], null>;
+        of: z.ZodTuple<[z.ZodString, z.ZodString, z.ZodString], null>;
     }, "strip", z.ZodTypeAny, {
         kind: "circumcenter";
-        name: string;
-        vertices: [string, string, string];
+        of: [string, string, string];
     }, {
         kind: "circumcenter";
-        name: string;
-        vertices: [string, string, string];
+        of: [string, string, string];
     }>, z.ZodObject<{
-        name: z.ZodString;
         kind: z.ZodLiteral<"incenter">;
-        vertices: z.ZodTuple<[z.ZodString, z.ZodString, z.ZodString], null>;
+        of: z.ZodTuple<[z.ZodString, z.ZodString, z.ZodString], null>;
     }, "strip", z.ZodTypeAny, {
         kind: "incenter";
-        name: string;
-        vertices: [string, string, string];
+        of: [string, string, string];
     }, {
         kind: "incenter";
-        name: string;
-        vertices: [string, string, string];
-    }>, z.ZodObject<{
-        name: z.ZodString;
-        kind: z.ZodLiteral<"centroid">;
-        vertices: z.ZodTuple<[z.ZodString, z.ZodString, z.ZodString], null>;
-    }, "strip", z.ZodTypeAny, {
-        kind: "centroid";
-        name: string;
-        vertices: [string, string, string];
-    }, {
-        kind: "centroid";
-        name: string;
-        vertices: [string, string, string];
+        of: [string, string, string];
     }>, z.ZodObject<{
-        name: z.ZodString;
         kind: z.ZodLiteral<"orthocenter">;
-        vertices: z.ZodTuple<[z.ZodString, z.ZodString, z.ZodString], null>;
+        of: z.ZodTuple<[z.ZodString, z.ZodString, z.ZodString], null>;
     }, "strip", z.ZodTypeAny, {
         kind: "orthocenter";
-        name: string;
-        vertices: [string, string, string];
+        of: [string, string, string];
     }, {
         kind: "orthocenter";
-        name: string;
-        vertices: [string, string, string];
+        of: [string, string, string];
     }>, z.ZodObject<{
-        name: z.ZodString;
         kind: z.ZodLiteral<"intersection">;
-        ref1: z.ZodString;
-        ref2: z.ZodString;
+        of: z.ZodTuple<[z.ZodString, z.ZodString], null>;
         branch: z.ZodOptional<z.ZodUnion<[z.ZodLiteral<0>, z.ZodLiteral<1>]>>;
     }, "strip", z.ZodTypeAny, {
         kind: "intersection";
-        name: string;
-        ref1: string;
-        ref2: string;
+        of: [string, string];
         branch?: 0 | 1 | undefined;
     }, {
         kind: "intersection";
-        name: string;
-        ref1: string;
-        ref2: string;
+        of: [string, string];
         branch?: 0 | 1 | undefined;
-    }>]>, "many">;
-    shapes: z.ZodDefault<z.ZodArray<z.ZodDiscriminatedUnion<"kind", [z.ZodObject<{
-        name: z.ZodString;
-        kind: z.ZodLiteral<"segment">;
-        p1: z.ZodString;
-        p2: z.ZodString;
+    }>, z.ZodObject<{
+        kind: z.ZodLiteral<"onSegment">;
+        of: z.ZodString;
+        t: z.ZodOptional<z.ZodNumber>;
     }, "strip", z.ZodTypeAny, {
-        kind: "segment";
-        name: string;
-        p1: string;
-        p2: string;
+        kind: "onSegment";
+        of: string;
+        t?: number | undefined;
     }, {
-        kind: "segment";
-        name: string;
-        p1: string;
-        p2: string;
+        kind: "onSegment";
+        of: string;
+        t?: number | undefined;
     }>, z.ZodObject<{
-        name: z.ZodString;
-        kind: z.ZodLiteral<"line">;
-        p1: z.ZodString;
-        p2: z.ZodString;
+        kind: z.ZodLiteral<"free">;
+        at: z.ZodOptional<z.ZodTuple<[z.ZodNumber, z.ZodNumber], null>>;
     }, "strip", z.ZodTypeAny, {
-        kind: "line";
-        name: string;
-        p1: string;
-        p2: string;
+        kind: "free";
+        at?: [number, number] | undefined;
     }, {
-        kind: "line";
-        name: string;
-        p1: string;
-        p2: string;
+        kind: "free";
+        at?: [number, number] | undefined;
     }>, z.ZodObject<{
-        name: z.ZodString;
-        kind: z.ZodLiteral<"ray">;
-        origin: z.ZodString;
-        through: z.ZodString;
+        kind: z.ZodLiteral<"externalToCircle">;
+        circle: z.ZodString;
     }, "strip", z.ZodTypeAny, {
-        kind: "ray";
-        name: string;
-        origin: string;
-        through: string;
+        kind: "externalToCircle";
+        circle: string;
     }, {
-        kind: "ray";
-        name: string;
-        origin: string;
-        through: string;
+        kind: "externalToCircle";
+        circle: string;
     }>, z.ZodObject<{
-        name: z.ZodString;
-        kind: z.ZodLiteral<"polygon">;
-        vertices: z.ZodArray<z.ZodString, "many">;
+        kind: z.ZodLiteral<"onCircle">;
+        circle: z.ZodString;
+        theta: z.ZodOptional<z.ZodNumber>;
     }, "strip", z.ZodTypeAny, {
-        kind: "polygon";
-        name: string;
-        vertices: string[];
+        kind: "onCircle";
+        circle: string;
+        theta?: number | undefined;
     }, {
-        kind: "polygon";
-        name: string;
-        vertices: string[];
+        kind: "onCircle";
+        circle: string;
+        theta?: number | undefined;
     }>, z.ZodObject<{
-        name: z.ZodString;
-        kind: z.ZodLiteral<"perpendicular">;
-        throughPoint: z.ZodString;
-        toLine: z.ZodString;
+        kind: z.ZodLiteral<"secondIntersection">;
+        line: z.ZodString;
+        circle: z.ZodString;
+        other: z.ZodString;
     }, "strip", z.ZodTypeAny, {
-        kind: "perpendicular";
-        name: string;
-        throughPoint: string;
-        toLine: string;
+        kind: "secondIntersection";
+        line: string;
+        circle: string;
+        other: string;
     }, {
-        kind: "perpendicular";
-        name: string;
-        throughPoint: string;
-        toLine: string;
+        kind: "secondIntersection";
+        line: string;
+        circle: string;
+        other: string;
     }>, z.ZodObject<{
-        name: z.ZodString;
-        kind: z.ZodLiteral<"parallel">;
-        throughPoint: z.ZodString;
-        toLine: z.ZodString;
+        kind: z.ZodLiteral<"circleIntersection">;
+        c1: z.ZodString;
+        c2: z.ZodString;
+        which: z.ZodUnion<[z.ZodLiteral<0>, z.ZodLiteral<1>]>;
     }, "strip", z.ZodTypeAny, {
-        kind: "parallel";
-        name: string;
-        throughPoint: string;
-        toLine: string;
+        kind: "circleIntersection";
+        c1: string;
+        c2: string;
+        which: 0 | 1;
     }, {
-        kind: "parallel";
-        name: string;
-        throughPoint: string;
-        toLine: string;
+        kind: "circleIntersection";
+        c1: string;
+        c2: string;
+        which: 0 | 1;
     }>, z.ZodObject<{
-        name: z.ZodString;
-        kind: z.ZodLiteral<"perpBisector">;
-        p1: z.ZodString;
-        p2: z.ZodString;
+        kind: z.ZodLiteral<"circleSecondIntersection">;
+        c1: z.ZodString;
+        c2: z.ZodString;
+        exclude: z.ZodString;
     }, "strip", z.ZodTypeAny, {
-        kind: "perpBisector";
-        name: string;
-        p1: string;
-        p2: string;
+        kind: "circleSecondIntersection";
+        c1: string;
+        c2: string;
+        exclude: string;
     }, {
-        kind: "perpBisector";
-        name: string;
-        p1: string;
-        p2: string;
+        kind: "circleSecondIntersection";
+        c1: string;
+        c2: string;
+        exclude: string;
     }>, z.ZodObject<{
-        name: z.ZodString;
-        kind: z.ZodLiteral<"angleBisector">;
-        p1: z.ZodString;
-        vertex: z.ZodString;
-        p2: z.ZodString;
+        kind: z.ZodLiteral<"tangencyPoint">;
+        circle: z.ZodString;
+        onLine: z.ZodString;
     }, "strip", z.ZodTypeAny, {
-        kind: "angleBisector";
-        name: string;
-        p1: string;
-        p2: string;
-        vertex: string;
+        kind: "tangencyPoint";
+        circle: string;
+        onLine: string;
     }, {
-        kind: "angleBisector";
-        name: string;
-        p1: string;
-        p2: string;
-        vertex: string;
+        kind: "tangencyPoint";
+        circle: string;
+        onLine: string;
     }>, z.ZodObject<{
-        name: z.ZodString;
-        kind: z.ZodLiteral<"tangent">;
-        throughPoint: z.ZodString;
-        toCircle: z.ZodString;
-        branch: z.ZodOptional<z.ZodUnion<[z.ZodLiteral<0>, z.ZodLiteral<1>, z.ZodLiteral<"on">]>>;
+        kind: z.ZodLiteral<"tangentPoint">;
+        from: z.ZodString;
+        circle: z.ZodString;
+        which: z.ZodUnion<[z.ZodLiteral<0>, z.ZodLiteral<1>]>;
     }, "strip", z.ZodTypeAny, {
-        kind: "tangent";
-        name: string;
-        throughPoint: string;
-        toCircle: string;
-        branch?: 0 | 1 | "on" | undefined;
+        kind: "tangentPoint";
+        circle: string;
+        from: string;
+        which: 0 | 1;
     }, {
-        kind: "tangent";
-        name: string;
-        throughPoint: string;
-        toCircle: string;
-        branch?: 0 | 1 | "on" | undefined;
+        kind: "tangentPoint";
+        circle: string;
+        from: string;
+        which: 0 | 1;
     }>, z.ZodObject<{
-        name: z.ZodString;
-        kind: z.ZodLiteral<"circleCP">;
-        center: z.ZodString;
-        surfacePoint: z.ZodString;
+        kind: z.ZodLiteral<"angleBisectorFoot">;
+        from: z.ZodString;
+        onLine: z.ZodString;
     }, "strip", z.ZodTypeAny, {
-        kind: "circleCP";
-        name: string;
-        center: string;
-        surfacePoint: string;
+        kind: "angleBisectorFoot";
+        onLine: string;
+        from: string;
     }, {
-        kind: "circleCP";
-        name: string;
-        center: string;
-        surfacePoint: string;
+        kind: "angleBisectorFoot";
+        onLine: string;
+        from: string;
     }>, z.ZodObject<{
-        name: z.ZodString;
-        kind: z.ZodLiteral<"circle3">;
-        p1: z.ZodString;
-        p2: z.ZodString;
-        p3: z.ZodString;
+        kind: z.ZodLiteral<"externalAngleBisectorFoot">;
+        from: z.ZodString;
+        onLine: z.ZodString;
     }, "strip", z.ZodTypeAny, {
-        kind: "circle3";
-        name: string;
-        p1: string;
-        p2: string;
-        p3: string;
+        kind: "externalAngleBisectorFoot";
+        onLine: string;
+        from: string;
     }, {
-        kind: "circle3";
-        name: string;
-        p1: string;
-        p2: string;
-        p3: string;
-    }>]>, "many">>;
+        kind: "externalAngleBisectorFoot";
+        onLine: string;
+        from: string;
+    }>, z.ZodObject<{
+        kind: z.ZodLiteral<"arcMidpoint">;
+        circle: z.ZodString;
+        a: z.ZodString;
+        b: z.ZodString;
+        notContaining: z.ZodString;
+    }, "strip", z.ZodTypeAny, {
+        kind: "arcMidpoint";
+        circle: string;
+        a: string;
+        b: string;
+        notContaining: string;
+    }, {
+        kind: "arcMidpoint";
+        circle: string;
+        a: string;
+        b: string;
+        notContaining: string;
+    }>, z.ZodObject<{
+        kind: z.ZodLiteral<"reflectPoint">;
+        of: z.ZodString;
+        through: z.ZodString;
+    }, "strip", z.ZodTypeAny, {
+        kind: "reflectPoint";
+        through: string;
+        of: string;
+    }, {
+        kind: "reflectPoint";
+        through: string;
+        of: string;
+    }>, z.ZodObject<{
+        kind: z.ZodLiteral<"reflectLine">;
+        of: z.ZodString;
+        through: z.ZodString;
+    }, "strip", z.ZodTypeAny, {
+        kind: "reflectLine";
+        through: string;
+        of: string;
+    }, {
+        kind: "reflectLine";
+        through: string;
+        of: string;
+    }>, z.ZodObject<{
+        kind: z.ZodLiteral<"excenter">;
+        of: z.ZodTuple<[z.ZodString, z.ZodString, z.ZodString], null>;
+        opposite: z.ZodString;
+    }, "strip", z.ZodTypeAny, {
+        kind: "excenter";
+        opposite: string;
+        of: [string, string, string];
+    }, {
+        kind: "excenter";
+        opposite: string;
+        of: [string, string, string];
+    }>, z.ZodObject<{
+        kind: z.ZodLiteral<"rightAngleViewing">;
+        a: z.ZodString;
+        b: z.ZodString;
+        onLine: z.ZodString;
+        which: z.ZodOptional<z.ZodUnion<[z.ZodLiteral<0>, z.ZodLiteral<1>]>>;
+    }, "strip", z.ZodTypeAny, {
+        kind: "rightAngleViewing";
+        onLine: string;
+        a: string;
+        b: string;
+        which?: 0 | 1 | undefined;
+    }, {
+        kind: "rightAngleViewing";
+        onLine: string;
+        a: string;
+        b: string;
+        which?: 0 | 1 | undefined;
+    }>, z.ZodObject<{
+        kind: z.ZodLiteral<"pointAtDistance">;
+        from: z.ZodString;
+        through: z.ZodString;
+        distance: z.ZodDiscriminatedUnion<"kind", [z.ZodObject<{
+            kind: z.ZodLiteral<"circleRadius">;
+            circle: z.ZodString;
+            scale: z.ZodOptional<z.ZodNumber>;
+            offset: z.ZodOptional<z.ZodNumber>;
+        }, "strip", z.ZodTypeAny, {
+            kind: "circleRadius";
+            circle: string;
+            scale?: number | undefined;
+            offset?: number | undefined;
+        }, {
+            kind: "circleRadius";
+            circle: string;
+            scale?: number | undefined;
+            offset?: number | undefined;
+        }>, z.ZodObject<{
+            kind: z.ZodLiteral<"segmentLength">;
+            p1: z.ZodString;
+            p2: z.ZodString;
+            scale: z.ZodOptional<z.ZodNumber>;
+            offset: z.ZodOptional<z.ZodNumber>;
+        }, "strip", z.ZodTypeAny, {
+            kind: "segmentLength";
+            p1: string;
+            p2: string;
+            scale?: number | undefined;
+            offset?: number | undefined;
+        }, {
+            kind: "segmentLength";
+            p1: string;
+            p2: string;
+            scale?: number | undefined;
+            offset?: number | undefined;
+        }>, z.ZodObject<{
+            kind: z.ZodLiteral<"literal">;
+            value: z.ZodNumber;
+            scale: z.ZodOptional<z.ZodNumber>;
+            offset: z.ZodOptional<z.ZodNumber>;
+        }, "strip", z.ZodTypeAny, {
+            kind: "literal";
+            value: number;
+            scale?: number | undefined;
+            offset?: number | undefined;
+        }, {
+            kind: "literal";
+            value: number;
+            scale?: number | undefined;
+            offset?: number | undefined;
+        }>]>;
+    }, "strip", z.ZodTypeAny, {
+        kind: "pointAtDistance";
+        from: string;
+        through: string;
+        distance: {
+            kind: "circleRadius";
+            circle: string;
+            scale?: number | undefined;
+            offset?: number | undefined;
+        } | {
+            kind: "segmentLength";
+            p1: string;
+            p2: string;
+            scale?: number | undefined;
+            offset?: number | undefined;
+        } | {
+            kind: "literal";
+            value: number;
+            scale?: number | undefined;
+            offset?: number | undefined;
+        };
+    }, {
+        kind: "pointAtDistance";
+        from: string;
+        through: string;
+        distance: {
+            kind: "circleRadius";
+            circle: string;
+            scale?: number | undefined;
+            offset?: number | undefined;
+        } | {
+            kind: "segmentLength";
+            p1: string;
+            p2: string;
+            scale?: number | undefined;
+            offset?: number | undefined;
+        } | {
+            kind: "literal";
+            value: number;
+            scale?: number | undefined;
+            offset?: number | undefined;
+        };
+    }>]>;
 }, "strip", z.ZodTypeAny, {
-    version: 1;
-    points: ({
-        kind: "free";
-        name: string;
-        x: number;
-        y: number;
-    } | {
+    constraint: {
         kind: "midpoint";
-        name: string;
-        p1: string;
-        p2: string;
-    } | {
-        kind: "onSegment";
-        name: string;
-        segmentId: string;
-        t: number;
-    } | {
-        kind: "onLine";
-        name: string;
-        t: number;
-        lineId: string;
-    } | {
-        kind: "onCircle";
-        name: string;
-        circleId: string;
-        theta: number;
+        of: string;
     } | {
         kind: "perpFoot";
-        name: string;
         onLine: string;
         from: string;
+    } | {
+        kind: "centroid";
+        of: [string, string, string];
     } | {
         kind: "circumcenter";
-        name: string;
-        vertices: [string, string, string];
+        of: [string, string, string];
     } | {
         kind: "incenter";
-        name: string;
-        vertices: [string, string, string];
-    } | {
-        kind: "centroid";
-        name: string;
-        vertices: [string, string, string];
+        of: [string, string, string];
     } | {
         kind: "orthocenter";
-        name: string;
-        vertices: [string, string, string];
+        of: [string, string, string];
     } | {
         kind: "intersection";
-        name: string;
-        ref1: string;
-        ref2: string;
+        of: [string, string];
         branch?: 0 | 1 | undefined;
-    })[];
-    shapes: ({
-        kind: "segment";
-        name: string;
-        p1: string;
-        p2: string;
     } | {
-        kind: "line";
-        name: string;
-        p1: string;
-        p2: string;
+        kind: "onSegment";
+        of: string;
+        t?: number | undefined;
     } | {
-        kind: "ray";
-        name: string;
-        origin: string;
-        through: string;
+        kind: "free";
+        at?: [number, number] | undefined;
     } | {
-        kind: "polygon";
-        name: string;
-        vertices: string[];
+        kind: "externalToCircle";
+        circle: string;
     } | {
-        kind: "perpendicular";
-        name: string;
-        throughPoint: string;
-        toLine: string;
+        kind: "onCircle";
+        circle: string;
+        theta?: number | undefined;
     } | {
-        kind: "parallel";
-        name: string;
-        throughPoint: string;
-        toLine: string;
+        kind: "secondIntersection";
+        line: string;
+        circle: string;
+        other: string;
     } | {
-        kind: "perpBisector";
-        name: string;
-        p1: string;
-        p2: string;
+        kind: "circleIntersection";
+        c1: string;
+        c2: string;
+        which: 0 | 1;
     } | {
-        kind: "angleBisector";
-        name: string;
-        p1: string;
-        p2: string;
-        vertex: string;
+        kind: "circleSecondIntersection";
+        c1: string;
+        c2: string;
+        exclude: string;
     } | {
-        kind: "tangent";
-        name: string;
-        throughPoint: string;
-        toCircle: string;
-        branch?: 0 | 1 | "on" | undefined;
+        kind: "tangencyPoint";
+        circle: string;
+        onLine: string;
     } | {
-        kind: "circleCP";
-        name: string;
-        center: string;
-        surfacePoint: string;
+        kind: "tangentPoint";
+        circle: string;
+        from: string;
+        which: 0 | 1;
     } | {
-        kind: "circle3";
-        name: string;
-        p1: string;
-        p2: string;
-        p3: string;
-    })[];
-}, {
-    version: 1;
-    points: ({
-        kind: "free";
-        name: string;
-        x: number;
-        y: number;
+        kind: "angleBisectorFoot";
+        onLine: string;
+        from: string;
     } | {
-        kind: "midpoint";
-        name: string;
-        p1: string;
-        p2: string;
+        kind: "externalAngleBisectorFoot";
+        onLine: string;
+        from: string;
     } | {
-        kind: "onSegment";
-        name: string;
-        segmentId: string;
-        t: number;
+        kind: "arcMidpoint";
+        circle: string;
+        a: string;
+        b: string;
+        notContaining: string;
     } | {
-        kind: "onLine";
-        name: string;
-        t: number;
-        lineId: string;
+        kind: "reflectPoint";
+        through: string;
+        of: string;
     } | {
-        kind: "onCircle";
-        name: string;
-        circleId: string;
-        theta: number;
+        kind: "reflectLine";
+        through: string;
+        of: string;
+    } | {
+        kind: "excenter";
+        opposite: string;
+        of: [string, string, string];
+    } | {
+        kind: "rightAngleViewing";
+        onLine: string;
+        a: string;
+        b: string;
+        which?: 0 | 1 | undefined;
+    } | {
+        kind: "pointAtDistance";
+        from: string;
+        through: string;
+        distance: {
+            kind: "circleRadius";
+            circle: string;
+            scale?: number | undefined;
+            offset?: number | undefined;
+        } | {
+            kind: "segmentLength";
+            p1: string;
+            p2: string;
+            scale?: number | undefined;
+            offset?: number | undefined;
+        } | {
+            kind: "literal";
+            value: number;
+            scale?: number | undefined;
+            offset?: number | undefined;
+        };
+    };
+    name: string;
+    op: "add-point";
+}, {
+    constraint: {
+        kind: "midpoint";
+        of: string;
     } | {
         kind: "perpFoot";
-        name: string;
         onLine: string;
         from: string;
+    } | {
+        kind: "centroid";
+        of: [string, string, string];
     } | {
         kind: "circumcenter";
-        name: string;
-        vertices: [string, string, string];
+        of: [string, string, string];
     } | {
         kind: "incenter";
-        name: string;
-        vertices: [string, string, string];
+        of: [string, string, string];
+    } | {
+        kind: "orthocenter";
+        of: [string, string, string];
+    } | {
+        kind: "intersection";
+        of: [string, string];
+        branch?: 0 | 1 | undefined;
+    } | {
+        kind: "onSegment";
+        of: string;
+        t?: number | undefined;
+    } | {
+        kind: "free";
+        at?: [number, number] | undefined;
+    } | {
+        kind: "externalToCircle";
+        circle: string;
+    } | {
+        kind: "onCircle";
+        circle: string;
+        theta?: number | undefined;
+    } | {
+        kind: "secondIntersection";
+        line: string;
+        circle: string;
+        other: string;
     } | {
+        kind: "circleIntersection";
+        c1: string;
+        c2: string;
+        which: 0 | 1;
+    } | {
+        kind: "circleSecondIntersection";
+        c1: string;
+        c2: string;
+        exclude: string;
+    } | {
+        kind: "tangencyPoint";
+        circle: string;
+        onLine: string;
+    } | {
+        kind: "tangentPoint";
+        circle: string;
+        from: string;
+        which: 0 | 1;
+    } | {
+        kind: "angleBisectorFoot";
+        onLine: string;
+        from: string;
+    } | {
+        kind: "externalAngleBisectorFoot";
+        onLine: string;
+        from: string;
+    } | {
+        kind: "arcMidpoint";
+        circle: string;
+        a: string;
+        b: string;
+        notContaining: string;
+    } | {
+        kind: "reflectPoint";
+        through: string;
+        of: string;
+    } | {
+        kind: "reflectLine";
+        through: string;
+        of: string;
+    } | {
+        kind: "excenter";
+        opposite: string;
+        of: [string, string, string];
+    } | {
+        kind: "rightAngleViewing";
+        onLine: string;
+        a: string;
+        b: string;
+        which?: 0 | 1 | undefined;
+    } | {
+        kind: "pointAtDistance";
+        from: string;
+        through: string;
+        distance: {
+            kind: "circleRadius";
+            circle: string;
+            scale?: number | undefined;
+            offset?: number | undefined;
+        } | {
+            kind: "segmentLength";
+            p1: string;
+            p2: string;
+            scale?: number | undefined;
+            offset?: number | undefined;
+        } | {
+            kind: "literal";
+            value: number;
+            scale?: number | undefined;
+            offset?: number | undefined;
+        };
+    };
+    name: string;
+    op: "add-point";
+}>;
+declare const ConnectIntentZ: z.ZodObject<{
+    op: z.ZodLiteral<"connect">;
+    from: z.ZodString;
+    to: z.ZodString;
+    style: z.ZodDefault<z.ZodEnum<["segment", "line", "ray", "perpBisector", "angleBisector"]>>;
+}, "strip", z.ZodTypeAny, {
+    from: string;
+    op: "connect";
+    to: string;
+    style: "segment" | "line" | "ray" | "perpBisector" | "angleBisector";
+}, {
+    from: string;
+    op: "connect";
+    to: string;
+    style?: "segment" | "line" | "ray" | "perpBisector" | "angleBisector" | undefined;
+}>;
+declare const DrawCircleIntentZ: z.ZodObject<{
+    op: z.ZodLiteral<"draw-circle">;
+    name: z.ZodString;
+    spec: z.ZodEnum<["centerThrough", "through3", "centerRadius", "inscribedIn", "diameter"]>;
+    center: z.ZodOptional<z.ZodString>;
+    through: z.ZodOptional<z.ZodString>;
+    points: z.ZodOptional<z.ZodTuple<[z.ZodString, z.ZodString, z.ZodString], null>>;
+    radius: z.ZodOptional<z.ZodNumber>;
+    triangle: z.ZodOptional<z.ZodTuple<[z.ZodString, z.ZodString, z.ZodString], null>>;
+    endpoints: z.ZodOptional<z.ZodTuple<[z.ZodString, z.ZodString], null>>;
+}, "strip", z.ZodTypeAny, {
+    name: string;
+    op: "draw-circle";
+    spec: "diameter" | "centerThrough" | "through3" | "centerRadius" | "inscribedIn";
+    points?: [string, string, string] | undefined;
+    through?: string | undefined;
+    center?: string | undefined;
+    radius?: number | undefined;
+    triangle?: [string, string, string] | undefined;
+    endpoints?: [string, string] | undefined;
+}, {
+    name: string;
+    op: "draw-circle";
+    spec: "diameter" | "centerThrough" | "through3" | "centerRadius" | "inscribedIn";
+    points?: [string, string, string] | undefined;
+    through?: string | undefined;
+    center?: string | undefined;
+    radius?: number | undefined;
+    triangle?: [string, string, string] | undefined;
+    endpoints?: [string, string] | undefined;
+}>;
+declare const IntentZ: z.ZodDiscriminatedUnion<"op", [z.ZodObject<{
+    op: z.ZodLiteral<"draw-shape">;
+    shape: z.ZodEnum<["triangle", "square", "rectangle", "rhombus", "trapezoid", "parallelogram", "quadrilateral"]>;
+    labels: z.ZodArray<z.ZodString, "many">;
+    variant: z.ZodDefault<z.ZodEnum<["any", "equilateral", "isoceles-AB", "isoceles-BC", "isoceles-CA", "right-at-A", "right-at-B", "right-at-C", "standard", "wide", "tall", "right", "isoceles", "general"]>>;
+    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";
+    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";
+    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" | undefined;
+    explicitCoords?: Record<string, [number, number]> | undefined;
+}>, z.ZodObject<{
+    op: z.ZodLiteral<"add-point">;
+    name: z.ZodString;
+    constraint: z.ZodDiscriminatedUnion<"kind", [z.ZodObject<{
+        kind: z.ZodLiteral<"midpoint">;
+        of: z.ZodString;
+    }, "strip", z.ZodTypeAny, {
+        kind: "midpoint";
+        of: string;
+    }, {
+        kind: "midpoint";
+        of: string;
+    }>, z.ZodObject<{
+        kind: z.ZodLiteral<"perpFoot">;
+        from: z.ZodString;
+        onLine: z.ZodString;
+    }, "strip", z.ZodTypeAny, {
+        kind: "perpFoot";
+        onLine: string;
+        from: string;
+    }, {
+        kind: "perpFoot";
+        onLine: string;
+        from: string;
+    }>, z.ZodObject<{
+        kind: z.ZodLiteral<"centroid">;
+        of: z.ZodTuple<[z.ZodString, z.ZodString, z.ZodString], null>;
+    }, "strip", z.ZodTypeAny, {
         kind: "centroid";
-        name: string;
-        vertices: [string, string, string];
+        of: [string, string, string];
+    }, {
+        kind: "centroid";
+        of: [string, string, string];
+    }>, z.ZodObject<{
+        kind: z.ZodLiteral<"circumcenter">;
+        of: z.ZodTuple<[z.ZodString, z.ZodString, z.ZodString], null>;
+    }, "strip", z.ZodTypeAny, {
+        kind: "circumcenter";
+        of: [string, string, string];
+    }, {
+        kind: "circumcenter";
+        of: [string, string, string];
+    }>, z.ZodObject<{
+        kind: z.ZodLiteral<"incenter">;
+        of: z.ZodTuple<[z.ZodString, z.ZodString, z.ZodString], null>;
+    }, "strip", z.ZodTypeAny, {
+        kind: "incenter";
+        of: [string, string, string];
+    }, {
+        kind: "incenter";
+        of: [string, string, string];
+    }>, z.ZodObject<{
+        kind: z.ZodLiteral<"orthocenter">;
+        of: z.ZodTuple<[z.ZodString, z.ZodString, z.ZodString], null>;
+    }, "strip", z.ZodTypeAny, {
+        kind: "orthocenter";
+        of: [string, string, string];
+    }, {
+        kind: "orthocenter";
+        of: [string, string, string];
+    }>, z.ZodObject<{
+        kind: z.ZodLiteral<"intersection">;
+        of: z.ZodTuple<[z.ZodString, z.ZodString], null>;
+        branch: z.ZodOptional<z.ZodUnion<[z.ZodLiteral<0>, z.ZodLiteral<1>]>>;
+    }, "strip", z.ZodTypeAny, {
+        kind: "intersection";
+        of: [string, string];
+        branch?: 0 | 1 | undefined;
+    }, {
+        kind: "intersection";
+        of: [string, string];
+        branch?: 0 | 1 | undefined;
+    }>, z.ZodObject<{
+        kind: z.ZodLiteral<"onSegment">;
+        of: z.ZodString;
+        t: z.ZodOptional<z.ZodNumber>;
+    }, "strip", z.ZodTypeAny, {
+        kind: "onSegment";
+        of: string;
+        t?: number | undefined;
+    }, {
+        kind: "onSegment";
+        of: string;
+        t?: number | undefined;
+    }>, z.ZodObject<{
+        kind: z.ZodLiteral<"free">;
+        at: z.ZodOptional<z.ZodTuple<[z.ZodNumber, z.ZodNumber], null>>;
+    }, "strip", z.ZodTypeAny, {
+        kind: "free";
+        at?: [number, number] | undefined;
+    }, {
+        kind: "free";
+        at?: [number, number] | undefined;
+    }>, z.ZodObject<{
+        kind: z.ZodLiteral<"externalToCircle">;
+        circle: z.ZodString;
+    }, "strip", z.ZodTypeAny, {
+        kind: "externalToCircle";
+        circle: string;
+    }, {
+        kind: "externalToCircle";
+        circle: string;
+    }>, z.ZodObject<{
+        kind: z.ZodLiteral<"onCircle">;
+        circle: z.ZodString;
+        theta: z.ZodOptional<z.ZodNumber>;
+    }, "strip", z.ZodTypeAny, {
+        kind: "onCircle";
+        circle: string;
+        theta?: number | undefined;
+    }, {
+        kind: "onCircle";
+        circle: string;
+        theta?: number | undefined;
+    }>, z.ZodObject<{
+        kind: z.ZodLiteral<"secondIntersection">;
+        line: z.ZodString;
+        circle: z.ZodString;
+        other: z.ZodString;
+    }, "strip", z.ZodTypeAny, {
+        kind: "secondIntersection";
+        line: string;
+        circle: string;
+        other: string;
+    }, {
+        kind: "secondIntersection";
+        line: string;
+        circle: string;
+        other: string;
+    }>, z.ZodObject<{
+        kind: z.ZodLiteral<"circleIntersection">;
+        c1: z.ZodString;
+        c2: z.ZodString;
+        which: z.ZodUnion<[z.ZodLiteral<0>, z.ZodLiteral<1>]>;
+    }, "strip", z.ZodTypeAny, {
+        kind: "circleIntersection";
+        c1: string;
+        c2: string;
+        which: 0 | 1;
+    }, {
+        kind: "circleIntersection";
+        c1: string;
+        c2: string;
+        which: 0 | 1;
+    }>, z.ZodObject<{
+        kind: z.ZodLiteral<"circleSecondIntersection">;
+        c1: z.ZodString;
+        c2: z.ZodString;
+        exclude: z.ZodString;
+    }, "strip", z.ZodTypeAny, {
+        kind: "circleSecondIntersection";
+        c1: string;
+        c2: string;
+        exclude: string;
+    }, {
+        kind: "circleSecondIntersection";
+        c1: string;
+        c2: string;
+        exclude: string;
+    }>, z.ZodObject<{
+        kind: z.ZodLiteral<"tangencyPoint">;
+        circle: z.ZodString;
+        onLine: z.ZodString;
+    }, "strip", z.ZodTypeAny, {
+        kind: "tangencyPoint";
+        circle: string;
+        onLine: string;
+    }, {
+        kind: "tangencyPoint";
+        circle: string;
+        onLine: string;
+    }>, z.ZodObject<{
+        kind: z.ZodLiteral<"tangentPoint">;
+        from: z.ZodString;
+        circle: z.ZodString;
+        which: z.ZodUnion<[z.ZodLiteral<0>, z.ZodLiteral<1>]>;
+    }, "strip", z.ZodTypeAny, {
+        kind: "tangentPoint";
+        circle: string;
+        from: string;
+        which: 0 | 1;
+    }, {
+        kind: "tangentPoint";
+        circle: string;
+        from: string;
+        which: 0 | 1;
+    }>, z.ZodObject<{
+        kind: z.ZodLiteral<"angleBisectorFoot">;
+        from: z.ZodString;
+        onLine: z.ZodString;
+    }, "strip", z.ZodTypeAny, {
+        kind: "angleBisectorFoot";
+        onLine: string;
+        from: string;
+    }, {
+        kind: "angleBisectorFoot";
+        onLine: string;
+        from: string;
+    }>, z.ZodObject<{
+        kind: z.ZodLiteral<"externalAngleBisectorFoot">;
+        from: z.ZodString;
+        onLine: z.ZodString;
+    }, "strip", z.ZodTypeAny, {
+        kind: "externalAngleBisectorFoot";
+        onLine: string;
+        from: string;
+    }, {
+        kind: "externalAngleBisectorFoot";
+        onLine: string;
+        from: string;
+    }>, z.ZodObject<{
+        kind: z.ZodLiteral<"arcMidpoint">;
+        circle: z.ZodString;
+        a: z.ZodString;
+        b: z.ZodString;
+        notContaining: z.ZodString;
+    }, "strip", z.ZodTypeAny, {
+        kind: "arcMidpoint";
+        circle: string;
+        a: string;
+        b: string;
+        notContaining: string;
+    }, {
+        kind: "arcMidpoint";
+        circle: string;
+        a: string;
+        b: string;
+        notContaining: string;
+    }>, z.ZodObject<{
+        kind: z.ZodLiteral<"reflectPoint">;
+        of: z.ZodString;
+        through: z.ZodString;
+    }, "strip", z.ZodTypeAny, {
+        kind: "reflectPoint";
+        through: string;
+        of: string;
+    }, {
+        kind: "reflectPoint";
+        through: string;
+        of: string;
+    }>, z.ZodObject<{
+        kind: z.ZodLiteral<"reflectLine">;
+        of: z.ZodString;
+        through: z.ZodString;
+    }, "strip", z.ZodTypeAny, {
+        kind: "reflectLine";
+        through: string;
+        of: string;
+    }, {
+        kind: "reflectLine";
+        through: string;
+        of: string;
+    }>, z.ZodObject<{
+        kind: z.ZodLiteral<"excenter">;
+        of: z.ZodTuple<[z.ZodString, z.ZodString, z.ZodString], null>;
+        opposite: z.ZodString;
+    }, "strip", z.ZodTypeAny, {
+        kind: "excenter";
+        opposite: string;
+        of: [string, string, string];
+    }, {
+        kind: "excenter";
+        opposite: string;
+        of: [string, string, string];
+    }>, z.ZodObject<{
+        kind: z.ZodLiteral<"rightAngleViewing">;
+        a: z.ZodString;
+        b: z.ZodString;
+        onLine: z.ZodString;
+        which: z.ZodOptional<z.ZodUnion<[z.ZodLiteral<0>, z.ZodLiteral<1>]>>;
+    }, "strip", z.ZodTypeAny, {
+        kind: "rightAngleViewing";
+        onLine: string;
+        a: string;
+        b: string;
+        which?: 0 | 1 | undefined;
+    }, {
+        kind: "rightAngleViewing";
+        onLine: string;
+        a: string;
+        b: string;
+        which?: 0 | 1 | undefined;
+    }>, z.ZodObject<{
+        kind: z.ZodLiteral<"pointAtDistance">;
+        from: z.ZodString;
+        through: z.ZodString;
+        distance: z.ZodDiscriminatedUnion<"kind", [z.ZodObject<{
+            kind: z.ZodLiteral<"circleRadius">;
+            circle: z.ZodString;
+            scale: z.ZodOptional<z.ZodNumber>;
+            offset: z.ZodOptional<z.ZodNumber>;
+        }, "strip", z.ZodTypeAny, {
+            kind: "circleRadius";
+            circle: string;
+            scale?: number | undefined;
+            offset?: number | undefined;
+        }, {
+            kind: "circleRadius";
+            circle: string;
+            scale?: number | undefined;
+            offset?: number | undefined;
+        }>, z.ZodObject<{
+            kind: z.ZodLiteral<"segmentLength">;
+            p1: z.ZodString;
+            p2: z.ZodString;
+            scale: z.ZodOptional<z.ZodNumber>;
+            offset: z.ZodOptional<z.ZodNumber>;
+        }, "strip", z.ZodTypeAny, {
+            kind: "segmentLength";
+            p1: string;
+            p2: string;
+            scale?: number | undefined;
+            offset?: number | undefined;
+        }, {
+            kind: "segmentLength";
+            p1: string;
+            p2: string;
+            scale?: number | undefined;
+            offset?: number | undefined;
+        }>, z.ZodObject<{
+            kind: z.ZodLiteral<"literal">;
+            value: z.ZodNumber;
+            scale: z.ZodOptional<z.ZodNumber>;
+            offset: z.ZodOptional<z.ZodNumber>;
+        }, "strip", z.ZodTypeAny, {
+            kind: "literal";
+            value: number;
+            scale?: number | undefined;
+            offset?: number | undefined;
+        }, {
+            kind: "literal";
+            value: number;
+            scale?: number | undefined;
+            offset?: number | undefined;
+        }>]>;
+    }, "strip", z.ZodTypeAny, {
+        kind: "pointAtDistance";
+        from: string;
+        through: string;
+        distance: {
+            kind: "circleRadius";
+            circle: string;
+            scale?: number | undefined;
+            offset?: number | undefined;
+        } | {
+            kind: "segmentLength";
+            p1: string;
+            p2: string;
+            scale?: number | undefined;
+            offset?: number | undefined;
+        } | {
+            kind: "literal";
+            value: number;
+            scale?: number | undefined;
+            offset?: number | undefined;
+        };
+    }, {
+        kind: "pointAtDistance";
+        from: string;
+        through: string;
+        distance: {
+            kind: "circleRadius";
+            circle: string;
+            scale?: number | undefined;
+            offset?: number | undefined;
+        } | {
+            kind: "segmentLength";
+            p1: string;
+            p2: string;
+            scale?: number | undefined;
+            offset?: number | undefined;
+        } | {
+            kind: "literal";
+            value: number;
+            scale?: number | undefined;
+            offset?: number | undefined;
+        };
+    }>]>;
+}, "strip", z.ZodTypeAny, {
+    constraint: {
+        kind: "midpoint";
+        of: string;
+    } | {
+        kind: "perpFoot";
+        onLine: string;
+        from: string;
+    } | {
+        kind: "centroid";
+        of: [string, string, string];
+    } | {
+        kind: "circumcenter";
+        of: [string, string, string];
+    } | {
+        kind: "incenter";
+        of: [string, string, string];
     } | {
         kind: "orthocenter";
-        name: string;
-        vertices: [string, string, string];
+        of: [string, string, string];
     } | {
         kind: "intersection";
-        name: string;
-        ref1: string;
-        ref2: string;
+        of: [string, string];
         branch?: 0 | 1 | undefined;
-    })[];
-    shapes?: ({
-        kind: "segment";
-        name: string;
-        p1: string;
-        p2: string;
     } | {
-        kind: "line";
-        name: string;
-        p1: string;
-        p2: string;
+        kind: "onSegment";
+        of: string;
+        t?: number | undefined;
     } | {
-        kind: "ray";
-        name: string;
-        origin: string;
+        kind: "free";
+        at?: [number, number] | undefined;
+    } | {
+        kind: "externalToCircle";
+        circle: string;
+    } | {
+        kind: "onCircle";
+        circle: string;
+        theta?: number | undefined;
+    } | {
+        kind: "secondIntersection";
+        line: string;
+        circle: string;
+        other: string;
+    } | {
+        kind: "circleIntersection";
+        c1: string;
+        c2: string;
+        which: 0 | 1;
+    } | {
+        kind: "circleSecondIntersection";
+        c1: string;
+        c2: string;
+        exclude: string;
+    } | {
+        kind: "tangencyPoint";
+        circle: string;
+        onLine: string;
+    } | {
+        kind: "tangentPoint";
+        circle: string;
+        from: string;
+        which: 0 | 1;
+    } | {
+        kind: "angleBisectorFoot";
+        onLine: string;
+        from: string;
+    } | {
+        kind: "externalAngleBisectorFoot";
+        onLine: string;
+        from: string;
+    } | {
+        kind: "arcMidpoint";
+        circle: string;
+        a: string;
+        b: string;
+        notContaining: string;
+    } | {
+        kind: "reflectPoint";
         through: string;
+        of: string;
     } | {
-        kind: "polygon";
-        name: string;
-        vertices: string[];
+        kind: "reflectLine";
+        through: string;
+        of: string;
     } | {
-        kind: "perpendicular";
-        name: string;
-        throughPoint: string;
-        toLine: string;
+        kind: "excenter";
+        opposite: string;
+        of: [string, string, string];
     } | {
-        kind: "parallel";
-        name: string;
-        throughPoint: string;
-        toLine: string;
+        kind: "rightAngleViewing";
+        onLine: string;
+        a: string;
+        b: string;
+        which?: 0 | 1 | undefined;
+    } | {
+        kind: "pointAtDistance";
+        from: string;
+        through: string;
+        distance: {
+            kind: "circleRadius";
+            circle: string;
+            scale?: number | undefined;
+            offset?: number | undefined;
+        } | {
+            kind: "segmentLength";
+            p1: string;
+            p2: string;
+            scale?: number | undefined;
+            offset?: number | undefined;
+        } | {
+            kind: "literal";
+            value: number;
+            scale?: number | undefined;
+            offset?: number | undefined;
+        };
+    };
+    name: string;
+    op: "add-point";
+}, {
+    constraint: {
+        kind: "midpoint";
+        of: string;
+    } | {
+        kind: "perpFoot";
+        onLine: string;
+        from: string;
+    } | {
+        kind: "centroid";
+        of: [string, string, string];
+    } | {
+        kind: "circumcenter";
+        of: [string, string, string];
+    } | {
+        kind: "incenter";
+        of: [string, string, string];
+    } | {
+        kind: "orthocenter";
+        of: [string, string, string];
+    } | {
+        kind: "intersection";
+        of: [string, string];
+        branch?: 0 | 1 | undefined;
+    } | {
+        kind: "onSegment";
+        of: string;
+        t?: number | undefined;
+    } | {
+        kind: "free";
+        at?: [number, number] | undefined;
+    } | {
+        kind: "externalToCircle";
+        circle: string;
+    } | {
+        kind: "onCircle";
+        circle: string;
+        theta?: number | undefined;
+    } | {
+        kind: "secondIntersection";
+        line: string;
+        circle: string;
+        other: string;
+    } | {
+        kind: "circleIntersection";
+        c1: string;
+        c2: string;
+        which: 0 | 1;
+    } | {
+        kind: "circleSecondIntersection";
+        c1: string;
+        c2: string;
+        exclude: string;
+    } | {
+        kind: "tangencyPoint";
+        circle: string;
+        onLine: string;
+    } | {
+        kind: "tangentPoint";
+        circle: string;
+        from: string;
+        which: 0 | 1;
+    } | {
+        kind: "angleBisectorFoot";
+        onLine: string;
+        from: string;
+    } | {
+        kind: "externalAngleBisectorFoot";
+        onLine: string;
+        from: string;
+    } | {
+        kind: "arcMidpoint";
+        circle: string;
+        a: string;
+        b: string;
+        notContaining: string;
     } | {
-        kind: "perpBisector";
+        kind: "reflectPoint";
+        through: string;
+        of: string;
+    } | {
+        kind: "reflectLine";
+        through: string;
+        of: string;
+    } | {
+        kind: "excenter";
+        opposite: string;
+        of: [string, string, string];
+    } | {
+        kind: "rightAngleViewing";
+        onLine: string;
+        a: string;
+        b: string;
+        which?: 0 | 1 | undefined;
+    } | {
+        kind: "pointAtDistance";
+        from: string;
+        through: string;
+        distance: {
+            kind: "circleRadius";
+            circle: string;
+            scale?: number | undefined;
+            offset?: number | undefined;
+        } | {
+            kind: "segmentLength";
+            p1: string;
+            p2: string;
+            scale?: number | undefined;
+            offset?: number | undefined;
+        } | {
+            kind: "literal";
+            value: number;
+            scale?: number | undefined;
+            offset?: number | undefined;
+        };
+    };
+    name: string;
+    op: "add-point";
+}>, z.ZodObject<{
+    op: z.ZodLiteral<"connect">;
+    from: z.ZodString;
+    to: z.ZodString;
+    style: z.ZodDefault<z.ZodEnum<["segment", "line", "ray", "perpBisector", "angleBisector"]>>;
+}, "strip", z.ZodTypeAny, {
+    from: string;
+    op: "connect";
+    to: string;
+    style: "segment" | "line" | "ray" | "perpBisector" | "angleBisector";
+}, {
+    from: string;
+    op: "connect";
+    to: string;
+    style?: "segment" | "line" | "ray" | "perpBisector" | "angleBisector" | undefined;
+}>, z.ZodObject<{
+    op: z.ZodLiteral<"draw-circle">;
+    name: z.ZodString;
+    spec: z.ZodEnum<["centerThrough", "through3", "centerRadius", "inscribedIn", "diameter"]>;
+    center: z.ZodOptional<z.ZodString>;
+    through: z.ZodOptional<z.ZodString>;
+    points: z.ZodOptional<z.ZodTuple<[z.ZodString, z.ZodString, z.ZodString], null>>;
+    radius: z.ZodOptional<z.ZodNumber>;
+    triangle: z.ZodOptional<z.ZodTuple<[z.ZodString, z.ZodString, z.ZodString], null>>;
+    endpoints: z.ZodOptional<z.ZodTuple<[z.ZodString, z.ZodString], null>>;
+}, "strip", z.ZodTypeAny, {
+    name: string;
+    op: "draw-circle";
+    spec: "diameter" | "centerThrough" | "through3" | "centerRadius" | "inscribedIn";
+    points?: [string, string, string] | undefined;
+    through?: string | undefined;
+    center?: string | undefined;
+    radius?: number | undefined;
+    triangle?: [string, string, string] | undefined;
+    endpoints?: [string, string] | undefined;
+}, {
+    name: string;
+    op: "draw-circle";
+    spec: "diameter" | "centerThrough" | "through3" | "centerRadius" | "inscribedIn";
+    points?: [string, string, string] | undefined;
+    through?: string | undefined;
+    center?: 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"]>;
+    through: z.ZodOptional<z.ZodString>;
+    to: z.ZodOptional<z.ZodString>;
+    from: z.ZodOptional<z.ZodString>;
+    circle: z.ZodOptional<z.ZodString>;
+    which: z.ZodOptional<z.ZodEnum<["first", "second", "both"]>>;
+    points: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
+    circle1: z.ZodOptional<z.ZodString>;
+    circle2: z.ZodOptional<z.ZodString>;
+    p1: z.ZodOptional<z.ZodString>;
+    vertex: z.ZodOptional<z.ZodString>;
+    p2: z.ZodOptional<z.ZodString>;
+}, "strip", z.ZodTypeAny, {
+    kind: "angleBisector" | "lineThrough" | "radicalAxis" | "perpThrough" | "parallelThrough" | "tangentAt" | "tangentFromExt";
+    name: string;
+    op: "draw-line";
+    circle?: string | undefined;
+    points?: string[] | undefined;
+    p1?: string | undefined;
+    p2?: string | undefined;
+    from?: string | undefined;
+    through?: string | undefined;
+    vertex?: string | undefined;
+    circle1?: string | undefined;
+    circle2?: string | undefined;
+    which?: "first" | "second" | "both" | undefined;
+    to?: string | undefined;
+}, {
+    kind: "angleBisector" | "lineThrough" | "radicalAxis" | "perpThrough" | "parallelThrough" | "tangentAt" | "tangentFromExt";
+    name: string;
+    op: "draw-line";
+    circle?: string | undefined;
+    points?: string[] | undefined;
+    p1?: string | undefined;
+    p2?: string | undefined;
+    from?: string | undefined;
+    through?: string | undefined;
+    vertex?: string | undefined;
+    circle1?: string | undefined;
+    circle2?: string | undefined;
+    which?: "first" | "second" | "both" | undefined;
+    to?: string | undefined;
+}>, z.ZodObject<{
+    op: z.ZodLiteral<"mark-shape">;
+    shape: z.ZodEnum<["triangle", "quadrilateral"]>;
+    labels: z.ZodArray<z.ZodString, "many">;
+}, "strip", z.ZodTypeAny, {
+    shape: "triangle" | "quadrilateral";
+    op: "mark-shape";
+    labels: string[];
+}, {
+    shape: "triangle" | "quadrilateral";
+    op: "mark-shape";
+    labels: string[];
+}>]>;
+
+type IntentT = z.infer<typeof IntentZ>;
+type DrawShapeIntentT = z.infer<typeof DrawShapeIntentZ>;
+type AddPointIntentT = z.infer<typeof AddPointIntentZ>;
+type ConnectIntentT = z.infer<typeof ConnectIntentZ>;
+type DrawCircleIntentT = z.infer<typeof DrawCircleIntentZ>;
+declare const IntentEnvelopeZ: z.ZodEffects<z.ZodObject<{
+    decision: z.ZodEnum<["build", "refuse"]>;
+    intents: z.ZodOptional<z.ZodArray<z.ZodDiscriminatedUnion<"op", [z.ZodObject<{
+        op: z.ZodLiteral<"draw-shape">;
+        shape: z.ZodEnum<["triangle", "square", "rectangle", "rhombus", "trapezoid", "parallelogram", "quadrilateral"]>;
+        labels: z.ZodArray<z.ZodString, "many">;
+        variant: z.ZodDefault<z.ZodEnum<["any", "equilateral", "isoceles-AB", "isoceles-BC", "isoceles-CA", "right-at-A", "right-at-B", "right-at-C", "standard", "wide", "tall", "right", "isoceles", "general"]>>;
+        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";
+        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";
+        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" | undefined;
+        explicitCoords?: Record<string, [number, number]> | undefined;
+    }>, z.ZodObject<{
+        op: z.ZodLiteral<"add-point">;
+        name: z.ZodString;
+        constraint: z.ZodDiscriminatedUnion<"kind", [z.ZodObject<{
+            kind: z.ZodLiteral<"midpoint">;
+            of: z.ZodString;
+        }, "strip", z.ZodTypeAny, {
+            kind: "midpoint";
+            of: string;
+        }, {
+            kind: "midpoint";
+            of: string;
+        }>, z.ZodObject<{
+            kind: z.ZodLiteral<"perpFoot">;
+            from: z.ZodString;
+            onLine: z.ZodString;
+        }, "strip", z.ZodTypeAny, {
+            kind: "perpFoot";
+            onLine: string;
+            from: string;
+        }, {
+            kind: "perpFoot";
+            onLine: string;
+            from: string;
+        }>, z.ZodObject<{
+            kind: z.ZodLiteral<"centroid">;
+            of: z.ZodTuple<[z.ZodString, z.ZodString, z.ZodString], null>;
+        }, "strip", z.ZodTypeAny, {
+            kind: "centroid";
+            of: [string, string, string];
+        }, {
+            kind: "centroid";
+            of: [string, string, string];
+        }>, z.ZodObject<{
+            kind: z.ZodLiteral<"circumcenter">;
+            of: z.ZodTuple<[z.ZodString, z.ZodString, z.ZodString], null>;
+        }, "strip", z.ZodTypeAny, {
+            kind: "circumcenter";
+            of: [string, string, string];
+        }, {
+            kind: "circumcenter";
+            of: [string, string, string];
+        }>, z.ZodObject<{
+            kind: z.ZodLiteral<"incenter">;
+            of: z.ZodTuple<[z.ZodString, z.ZodString, z.ZodString], null>;
+        }, "strip", z.ZodTypeAny, {
+            kind: "incenter";
+            of: [string, string, string];
+        }, {
+            kind: "incenter";
+            of: [string, string, string];
+        }>, z.ZodObject<{
+            kind: z.ZodLiteral<"orthocenter">;
+            of: z.ZodTuple<[z.ZodString, z.ZodString, z.ZodString], null>;
+        }, "strip", z.ZodTypeAny, {
+            kind: "orthocenter";
+            of: [string, string, string];
+        }, {
+            kind: "orthocenter";
+            of: [string, string, string];
+        }>, z.ZodObject<{
+            kind: z.ZodLiteral<"intersection">;
+            of: z.ZodTuple<[z.ZodString, z.ZodString], null>;
+            branch: z.ZodOptional<z.ZodUnion<[z.ZodLiteral<0>, z.ZodLiteral<1>]>>;
+        }, "strip", z.ZodTypeAny, {
+            kind: "intersection";
+            of: [string, string];
+            branch?: 0 | 1 | undefined;
+        }, {
+            kind: "intersection";
+            of: [string, string];
+            branch?: 0 | 1 | undefined;
+        }>, z.ZodObject<{
+            kind: z.ZodLiteral<"onSegment">;
+            of: z.ZodString;
+            t: z.ZodOptional<z.ZodNumber>;
+        }, "strip", z.ZodTypeAny, {
+            kind: "onSegment";
+            of: string;
+            t?: number | undefined;
+        }, {
+            kind: "onSegment";
+            of: string;
+            t?: number | undefined;
+        }>, z.ZodObject<{
+            kind: z.ZodLiteral<"free">;
+            at: z.ZodOptional<z.ZodTuple<[z.ZodNumber, z.ZodNumber], null>>;
+        }, "strip", z.ZodTypeAny, {
+            kind: "free";
+            at?: [number, number] | undefined;
+        }, {
+            kind: "free";
+            at?: [number, number] | undefined;
+        }>, z.ZodObject<{
+            kind: z.ZodLiteral<"externalToCircle">;
+            circle: z.ZodString;
+        }, "strip", z.ZodTypeAny, {
+            kind: "externalToCircle";
+            circle: string;
+        }, {
+            kind: "externalToCircle";
+            circle: string;
+        }>, z.ZodObject<{
+            kind: z.ZodLiteral<"onCircle">;
+            circle: z.ZodString;
+            theta: z.ZodOptional<z.ZodNumber>;
+        }, "strip", z.ZodTypeAny, {
+            kind: "onCircle";
+            circle: string;
+            theta?: number | undefined;
+        }, {
+            kind: "onCircle";
+            circle: string;
+            theta?: number | undefined;
+        }>, z.ZodObject<{
+            kind: z.ZodLiteral<"secondIntersection">;
+            line: z.ZodString;
+            circle: z.ZodString;
+            other: z.ZodString;
+        }, "strip", z.ZodTypeAny, {
+            kind: "secondIntersection";
+            line: string;
+            circle: string;
+            other: string;
+        }, {
+            kind: "secondIntersection";
+            line: string;
+            circle: string;
+            other: string;
+        }>, z.ZodObject<{
+            kind: z.ZodLiteral<"circleIntersection">;
+            c1: z.ZodString;
+            c2: z.ZodString;
+            which: z.ZodUnion<[z.ZodLiteral<0>, z.ZodLiteral<1>]>;
+        }, "strip", z.ZodTypeAny, {
+            kind: "circleIntersection";
+            c1: string;
+            c2: string;
+            which: 0 | 1;
+        }, {
+            kind: "circleIntersection";
+            c1: string;
+            c2: string;
+            which: 0 | 1;
+        }>, z.ZodObject<{
+            kind: z.ZodLiteral<"circleSecondIntersection">;
+            c1: z.ZodString;
+            c2: z.ZodString;
+            exclude: z.ZodString;
+        }, "strip", z.ZodTypeAny, {
+            kind: "circleSecondIntersection";
+            c1: string;
+            c2: string;
+            exclude: string;
+        }, {
+            kind: "circleSecondIntersection";
+            c1: string;
+            c2: string;
+            exclude: string;
+        }>, z.ZodObject<{
+            kind: z.ZodLiteral<"tangencyPoint">;
+            circle: z.ZodString;
+            onLine: z.ZodString;
+        }, "strip", z.ZodTypeAny, {
+            kind: "tangencyPoint";
+            circle: string;
+            onLine: string;
+        }, {
+            kind: "tangencyPoint";
+            circle: string;
+            onLine: string;
+        }>, z.ZodObject<{
+            kind: z.ZodLiteral<"tangentPoint">;
+            from: z.ZodString;
+            circle: z.ZodString;
+            which: z.ZodUnion<[z.ZodLiteral<0>, z.ZodLiteral<1>]>;
+        }, "strip", z.ZodTypeAny, {
+            kind: "tangentPoint";
+            circle: string;
+            from: string;
+            which: 0 | 1;
+        }, {
+            kind: "tangentPoint";
+            circle: string;
+            from: string;
+            which: 0 | 1;
+        }>, z.ZodObject<{
+            kind: z.ZodLiteral<"angleBisectorFoot">;
+            from: z.ZodString;
+            onLine: z.ZodString;
+        }, "strip", z.ZodTypeAny, {
+            kind: "angleBisectorFoot";
+            onLine: string;
+            from: string;
+        }, {
+            kind: "angleBisectorFoot";
+            onLine: string;
+            from: string;
+        }>, z.ZodObject<{
+            kind: z.ZodLiteral<"externalAngleBisectorFoot">;
+            from: z.ZodString;
+            onLine: z.ZodString;
+        }, "strip", z.ZodTypeAny, {
+            kind: "externalAngleBisectorFoot";
+            onLine: string;
+            from: string;
+        }, {
+            kind: "externalAngleBisectorFoot";
+            onLine: string;
+            from: string;
+        }>, z.ZodObject<{
+            kind: z.ZodLiteral<"arcMidpoint">;
+            circle: z.ZodString;
+            a: z.ZodString;
+            b: z.ZodString;
+            notContaining: z.ZodString;
+        }, "strip", z.ZodTypeAny, {
+            kind: "arcMidpoint";
+            circle: string;
+            a: string;
+            b: string;
+            notContaining: string;
+        }, {
+            kind: "arcMidpoint";
+            circle: string;
+            a: string;
+            b: string;
+            notContaining: string;
+        }>, z.ZodObject<{
+            kind: z.ZodLiteral<"reflectPoint">;
+            of: z.ZodString;
+            through: z.ZodString;
+        }, "strip", z.ZodTypeAny, {
+            kind: "reflectPoint";
+            through: string;
+            of: string;
+        }, {
+            kind: "reflectPoint";
+            through: string;
+            of: string;
+        }>, z.ZodObject<{
+            kind: z.ZodLiteral<"reflectLine">;
+            of: z.ZodString;
+            through: z.ZodString;
+        }, "strip", z.ZodTypeAny, {
+            kind: "reflectLine";
+            through: string;
+            of: string;
+        }, {
+            kind: "reflectLine";
+            through: string;
+            of: string;
+        }>, z.ZodObject<{
+            kind: z.ZodLiteral<"excenter">;
+            of: z.ZodTuple<[z.ZodString, z.ZodString, z.ZodString], null>;
+            opposite: z.ZodString;
+        }, "strip", z.ZodTypeAny, {
+            kind: "excenter";
+            opposite: string;
+            of: [string, string, string];
+        }, {
+            kind: "excenter";
+            opposite: string;
+            of: [string, string, string];
+        }>, z.ZodObject<{
+            kind: z.ZodLiteral<"rightAngleViewing">;
+            a: z.ZodString;
+            b: z.ZodString;
+            onLine: z.ZodString;
+            which: z.ZodOptional<z.ZodUnion<[z.ZodLiteral<0>, z.ZodLiteral<1>]>>;
+        }, "strip", z.ZodTypeAny, {
+            kind: "rightAngleViewing";
+            onLine: string;
+            a: string;
+            b: string;
+            which?: 0 | 1 | undefined;
+        }, {
+            kind: "rightAngleViewing";
+            onLine: string;
+            a: string;
+            b: string;
+            which?: 0 | 1 | undefined;
+        }>, z.ZodObject<{
+            kind: z.ZodLiteral<"pointAtDistance">;
+            from: z.ZodString;
+            through: z.ZodString;
+            distance: z.ZodDiscriminatedUnion<"kind", [z.ZodObject<{
+                kind: z.ZodLiteral<"circleRadius">;
+                circle: z.ZodString;
+                scale: z.ZodOptional<z.ZodNumber>;
+                offset: z.ZodOptional<z.ZodNumber>;
+            }, "strip", z.ZodTypeAny, {
+                kind: "circleRadius";
+                circle: string;
+                scale?: number | undefined;
+                offset?: number | undefined;
+            }, {
+                kind: "circleRadius";
+                circle: string;
+                scale?: number | undefined;
+                offset?: number | undefined;
+            }>, z.ZodObject<{
+                kind: z.ZodLiteral<"segmentLength">;
+                p1: z.ZodString;
+                p2: z.ZodString;
+                scale: z.ZodOptional<z.ZodNumber>;
+                offset: z.ZodOptional<z.ZodNumber>;
+            }, "strip", z.ZodTypeAny, {
+                kind: "segmentLength";
+                p1: string;
+                p2: string;
+                scale?: number | undefined;
+                offset?: number | undefined;
+            }, {
+                kind: "segmentLength";
+                p1: string;
+                p2: string;
+                scale?: number | undefined;
+                offset?: number | undefined;
+            }>, z.ZodObject<{
+                kind: z.ZodLiteral<"literal">;
+                value: z.ZodNumber;
+                scale: z.ZodOptional<z.ZodNumber>;
+                offset: z.ZodOptional<z.ZodNumber>;
+            }, "strip", z.ZodTypeAny, {
+                kind: "literal";
+                value: number;
+                scale?: number | undefined;
+                offset?: number | undefined;
+            }, {
+                kind: "literal";
+                value: number;
+                scale?: number | undefined;
+                offset?: number | undefined;
+            }>]>;
+        }, "strip", z.ZodTypeAny, {
+            kind: "pointAtDistance";
+            from: string;
+            through: string;
+            distance: {
+                kind: "circleRadius";
+                circle: string;
+                scale?: number | undefined;
+                offset?: number | undefined;
+            } | {
+                kind: "segmentLength";
+                p1: string;
+                p2: string;
+                scale?: number | undefined;
+                offset?: number | undefined;
+            } | {
+                kind: "literal";
+                value: number;
+                scale?: number | undefined;
+                offset?: number | undefined;
+            };
+        }, {
+            kind: "pointAtDistance";
+            from: string;
+            through: string;
+            distance: {
+                kind: "circleRadius";
+                circle: string;
+                scale?: number | undefined;
+                offset?: number | undefined;
+            } | {
+                kind: "segmentLength";
+                p1: string;
+                p2: string;
+                scale?: number | undefined;
+                offset?: number | undefined;
+            } | {
+                kind: "literal";
+                value: number;
+                scale?: number | undefined;
+                offset?: number | undefined;
+            };
+        }>]>;
+    }, "strip", z.ZodTypeAny, {
+        constraint: {
+            kind: "midpoint";
+            of: string;
+        } | {
+            kind: "perpFoot";
+            onLine: string;
+            from: string;
+        } | {
+            kind: "centroid";
+            of: [string, string, string];
+        } | {
+            kind: "circumcenter";
+            of: [string, string, string];
+        } | {
+            kind: "incenter";
+            of: [string, string, string];
+        } | {
+            kind: "orthocenter";
+            of: [string, string, string];
+        } | {
+            kind: "intersection";
+            of: [string, string];
+            branch?: 0 | 1 | undefined;
+        } | {
+            kind: "onSegment";
+            of: string;
+            t?: number | undefined;
+        } | {
+            kind: "free";
+            at?: [number, number] | undefined;
+        } | {
+            kind: "externalToCircle";
+            circle: string;
+        } | {
+            kind: "onCircle";
+            circle: string;
+            theta?: number | undefined;
+        } | {
+            kind: "secondIntersection";
+            line: string;
+            circle: string;
+            other: string;
+        } | {
+            kind: "circleIntersection";
+            c1: string;
+            c2: string;
+            which: 0 | 1;
+        } | {
+            kind: "circleSecondIntersection";
+            c1: string;
+            c2: string;
+            exclude: string;
+        } | {
+            kind: "tangencyPoint";
+            circle: string;
+            onLine: string;
+        } | {
+            kind: "tangentPoint";
+            circle: string;
+            from: string;
+            which: 0 | 1;
+        } | {
+            kind: "angleBisectorFoot";
+            onLine: string;
+            from: string;
+        } | {
+            kind: "externalAngleBisectorFoot";
+            onLine: string;
+            from: string;
+        } | {
+            kind: "arcMidpoint";
+            circle: string;
+            a: string;
+            b: string;
+            notContaining: string;
+        } | {
+            kind: "reflectPoint";
+            through: string;
+            of: string;
+        } | {
+            kind: "reflectLine";
+            through: string;
+            of: string;
+        } | {
+            kind: "excenter";
+            opposite: string;
+            of: [string, string, string];
+        } | {
+            kind: "rightAngleViewing";
+            onLine: string;
+            a: string;
+            b: string;
+            which?: 0 | 1 | undefined;
+        } | {
+            kind: "pointAtDistance";
+            from: string;
+            through: string;
+            distance: {
+                kind: "circleRadius";
+                circle: string;
+                scale?: number | undefined;
+                offset?: number | undefined;
+            } | {
+                kind: "segmentLength";
+                p1: string;
+                p2: string;
+                scale?: number | undefined;
+                offset?: number | undefined;
+            } | {
+                kind: "literal";
+                value: number;
+                scale?: number | undefined;
+                offset?: number | undefined;
+            };
+        };
+        name: string;
+        op: "add-point";
+    }, {
+        constraint: {
+            kind: "midpoint";
+            of: string;
+        } | {
+            kind: "perpFoot";
+            onLine: string;
+            from: string;
+        } | {
+            kind: "centroid";
+            of: [string, string, string];
+        } | {
+            kind: "circumcenter";
+            of: [string, string, string];
+        } | {
+            kind: "incenter";
+            of: [string, string, string];
+        } | {
+            kind: "orthocenter";
+            of: [string, string, string];
+        } | {
+            kind: "intersection";
+            of: [string, string];
+            branch?: 0 | 1 | undefined;
+        } | {
+            kind: "onSegment";
+            of: string;
+            t?: number | undefined;
+        } | {
+            kind: "free";
+            at?: [number, number] | undefined;
+        } | {
+            kind: "externalToCircle";
+            circle: string;
+        } | {
+            kind: "onCircle";
+            circle: string;
+            theta?: number | undefined;
+        } | {
+            kind: "secondIntersection";
+            line: string;
+            circle: string;
+            other: string;
+        } | {
+            kind: "circleIntersection";
+            c1: string;
+            c2: string;
+            which: 0 | 1;
+        } | {
+            kind: "circleSecondIntersection";
+            c1: string;
+            c2: string;
+            exclude: string;
+        } | {
+            kind: "tangencyPoint";
+            circle: string;
+            onLine: string;
+        } | {
+            kind: "tangentPoint";
+            circle: string;
+            from: string;
+            which: 0 | 1;
+        } | {
+            kind: "angleBisectorFoot";
+            onLine: string;
+            from: string;
+        } | {
+            kind: "externalAngleBisectorFoot";
+            onLine: string;
+            from: string;
+        } | {
+            kind: "arcMidpoint";
+            circle: string;
+            a: string;
+            b: string;
+            notContaining: string;
+        } | {
+            kind: "reflectPoint";
+            through: string;
+            of: string;
+        } | {
+            kind: "reflectLine";
+            through: string;
+            of: string;
+        } | {
+            kind: "excenter";
+            opposite: string;
+            of: [string, string, string];
+        } | {
+            kind: "rightAngleViewing";
+            onLine: string;
+            a: string;
+            b: string;
+            which?: 0 | 1 | undefined;
+        } | {
+            kind: "pointAtDistance";
+            from: string;
+            through: string;
+            distance: {
+                kind: "circleRadius";
+                circle: string;
+                scale?: number | undefined;
+                offset?: number | undefined;
+            } | {
+                kind: "segmentLength";
+                p1: string;
+                p2: string;
+                scale?: number | undefined;
+                offset?: number | undefined;
+            } | {
+                kind: "literal";
+                value: number;
+                scale?: number | undefined;
+                offset?: number | undefined;
+            };
+        };
+        name: string;
+        op: "add-point";
+    }>, z.ZodObject<{
+        op: z.ZodLiteral<"connect">;
+        from: z.ZodString;
+        to: z.ZodString;
+        style: z.ZodDefault<z.ZodEnum<["segment", "line", "ray", "perpBisector", "angleBisector"]>>;
+    }, "strip", z.ZodTypeAny, {
+        from: string;
+        op: "connect";
+        to: string;
+        style: "segment" | "line" | "ray" | "perpBisector" | "angleBisector";
+    }, {
+        from: string;
+        op: "connect";
+        to: string;
+        style?: "segment" | "line" | "ray" | "perpBisector" | "angleBisector" | undefined;
+    }>, z.ZodObject<{
+        op: z.ZodLiteral<"draw-circle">;
+        name: z.ZodString;
+        spec: z.ZodEnum<["centerThrough", "through3", "centerRadius", "inscribedIn", "diameter"]>;
+        center: z.ZodOptional<z.ZodString>;
+        through: z.ZodOptional<z.ZodString>;
+        points: z.ZodOptional<z.ZodTuple<[z.ZodString, z.ZodString, z.ZodString], null>>;
+        radius: z.ZodOptional<z.ZodNumber>;
+        triangle: z.ZodOptional<z.ZodTuple<[z.ZodString, z.ZodString, z.ZodString], null>>;
+        endpoints: z.ZodOptional<z.ZodTuple<[z.ZodString, z.ZodString], null>>;
+    }, "strip", z.ZodTypeAny, {
+        name: string;
+        op: "draw-circle";
+        spec: "diameter" | "centerThrough" | "through3" | "centerRadius" | "inscribedIn";
+        points?: [string, string, string] | undefined;
+        through?: string | undefined;
+        center?: string | undefined;
+        radius?: number | undefined;
+        triangle?: [string, string, string] | undefined;
+        endpoints?: [string, string] | undefined;
+    }, {
         name: string;
-        p1: string;
-        p2: string;
+        op: "draw-circle";
+        spec: "diameter" | "centerThrough" | "through3" | "centerRadius" | "inscribedIn";
+        points?: [string, string, string] | undefined;
+        through?: string | undefined;
+        center?: 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"]>;
+        through: z.ZodOptional<z.ZodString>;
+        to: z.ZodOptional<z.ZodString>;
+        from: z.ZodOptional<z.ZodString>;
+        circle: z.ZodOptional<z.ZodString>;
+        which: z.ZodOptional<z.ZodEnum<["first", "second", "both"]>>;
+        points: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
+        circle1: z.ZodOptional<z.ZodString>;
+        circle2: z.ZodOptional<z.ZodString>;
+        p1: z.ZodOptional<z.ZodString>;
+        vertex: z.ZodOptional<z.ZodString>;
+        p2: z.ZodOptional<z.ZodString>;
+    }, "strip", z.ZodTypeAny, {
+        kind: "angleBisector" | "lineThrough" | "radicalAxis" | "perpThrough" | "parallelThrough" | "tangentAt" | "tangentFromExt";
+        name: string;
+        op: "draw-line";
+        circle?: string | undefined;
+        points?: string[] | undefined;
+        p1?: string | undefined;
+        p2?: string | undefined;
+        from?: string | undefined;
+        through?: string | undefined;
+        vertex?: string | undefined;
+        circle1?: string | undefined;
+        circle2?: string | undefined;
+        which?: "first" | "second" | "both" | undefined;
+        to?: string | undefined;
+    }, {
+        kind: "angleBisector" | "lineThrough" | "radicalAxis" | "perpThrough" | "parallelThrough" | "tangentAt" | "tangentFromExt";
+        name: string;
+        op: "draw-line";
+        circle?: string | undefined;
+        points?: string[] | undefined;
+        p1?: string | undefined;
+        p2?: string | undefined;
+        from?: string | undefined;
+        through?: string | undefined;
+        vertex?: string | undefined;
+        circle1?: string | undefined;
+        circle2?: string | undefined;
+        which?: "first" | "second" | "both" | undefined;
+        to?: string | undefined;
+    }>, z.ZodObject<{
+        op: z.ZodLiteral<"mark-shape">;
+        shape: z.ZodEnum<["triangle", "quadrilateral"]>;
+        labels: z.ZodArray<z.ZodString, "many">;
+    }, "strip", z.ZodTypeAny, {
+        shape: "triangle" | "quadrilateral";
+        op: "mark-shape";
+        labels: string[];
+    }, {
+        shape: "triangle" | "quadrilateral";
+        op: "mark-shape";
+        labels: string[];
+    }>]>, "many">>;
+    reason: z.ZodOptional<z.ZodString>;
+}, "strip", z.ZodTypeAny, {
+    decision: "build" | "refuse";
+    reason?: string | undefined;
+    intents?: ({
+        shape: "square" | "rectangle" | "rhombus" | "parallelogram" | "triangle" | "trapezoid" | "quadrilateral";
+        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: "perpFoot";
+            onLine: string;
+            from: string;
+        } | {
+            kind: "centroid";
+            of: [string, string, string];
+        } | {
+            kind: "circumcenter";
+            of: [string, string, string];
+        } | {
+            kind: "incenter";
+            of: [string, string, string];
+        } | {
+            kind: "orthocenter";
+            of: [string, string, string];
+        } | {
+            kind: "intersection";
+            of: [string, string];
+            branch?: 0 | 1 | undefined;
+        } | {
+            kind: "onSegment";
+            of: string;
+            t?: number | undefined;
+        } | {
+            kind: "free";
+            at?: [number, number] | undefined;
+        } | {
+            kind: "externalToCircle";
+            circle: string;
+        } | {
+            kind: "onCircle";
+            circle: string;
+            theta?: number | undefined;
+        } | {
+            kind: "secondIntersection";
+            line: string;
+            circle: string;
+            other: string;
+        } | {
+            kind: "circleIntersection";
+            c1: string;
+            c2: string;
+            which: 0 | 1;
+        } | {
+            kind: "circleSecondIntersection";
+            c1: string;
+            c2: string;
+            exclude: string;
+        } | {
+            kind: "tangencyPoint";
+            circle: string;
+            onLine: string;
+        } | {
+            kind: "tangentPoint";
+            circle: string;
+            from: string;
+            which: 0 | 1;
+        } | {
+            kind: "angleBisectorFoot";
+            onLine: string;
+            from: string;
+        } | {
+            kind: "externalAngleBisectorFoot";
+            onLine: string;
+            from: string;
+        } | {
+            kind: "arcMidpoint";
+            circle: string;
+            a: string;
+            b: string;
+            notContaining: string;
+        } | {
+            kind: "reflectPoint";
+            through: string;
+            of: string;
+        } | {
+            kind: "reflectLine";
+            through: string;
+            of: string;
+        } | {
+            kind: "excenter";
+            opposite: string;
+            of: [string, string, string];
+        } | {
+            kind: "rightAngleViewing";
+            onLine: string;
+            a: string;
+            b: string;
+            which?: 0 | 1 | undefined;
+        } | {
+            kind: "pointAtDistance";
+            from: string;
+            through: string;
+            distance: {
+                kind: "circleRadius";
+                circle: string;
+                scale?: number | undefined;
+                offset?: number | undefined;
+            } | {
+                kind: "segmentLength";
+                p1: string;
+                p2: string;
+                scale?: number | undefined;
+                offset?: number | undefined;
+            } | {
+                kind: "literal";
+                value: number;
+                scale?: number | undefined;
+                offset?: number | undefined;
+            };
+        };
+        name: string;
+        op: "add-point";
+    } | {
+        from: string;
+        op: "connect";
+        to: string;
+        style: "segment" | "line" | "ray" | "perpBisector" | "angleBisector";
     } | {
-        kind: "angleBisector";
         name: string;
-        p1: string;
-        p2: string;
-        vertex: string;
+        op: "draw-circle";
+        spec: "diameter" | "centerThrough" | "through3" | "centerRadius" | "inscribedIn";
+        points?: [string, string, string] | undefined;
+        through?: string | undefined;
+        center?: string | undefined;
+        radius?: number | undefined;
+        triangle?: [string, string, string] | undefined;
+        endpoints?: [string, string] | undefined;
+    } | {
+        kind: "angleBisector" | "lineThrough" | "radicalAxis" | "perpThrough" | "parallelThrough" | "tangentAt" | "tangentFromExt";
+        name: string;
+        op: "draw-line";
+        circle?: string | undefined;
+        points?: string[] | undefined;
+        p1?: string | undefined;
+        p2?: string | undefined;
+        from?: string | undefined;
+        through?: string | undefined;
+        vertex?: string | undefined;
+        circle1?: string | undefined;
+        circle2?: string | undefined;
+        which?: "first" | "second" | "both" | undefined;
+        to?: string | undefined;
+    } | {
+        shape: "triangle" | "quadrilateral";
+        op: "mark-shape";
+        labels: string[];
+    })[] | undefined;
+}, {
+    decision: "build" | "refuse";
+    reason?: string | undefined;
+    intents?: ({
+        shape: "square" | "rectangle" | "rhombus" | "parallelogram" | "triangle" | "trapezoid" | "quadrilateral";
+        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" | undefined;
+        explicitCoords?: Record<string, [number, number]> | undefined;
+    } | {
+        constraint: {
+            kind: "midpoint";
+            of: string;
+        } | {
+            kind: "perpFoot";
+            onLine: string;
+            from: string;
+        } | {
+            kind: "centroid";
+            of: [string, string, string];
+        } | {
+            kind: "circumcenter";
+            of: [string, string, string];
+        } | {
+            kind: "incenter";
+            of: [string, string, string];
+        } | {
+            kind: "orthocenter";
+            of: [string, string, string];
+        } | {
+            kind: "intersection";
+            of: [string, string];
+            branch?: 0 | 1 | undefined;
+        } | {
+            kind: "onSegment";
+            of: string;
+            t?: number | undefined;
+        } | {
+            kind: "free";
+            at?: [number, number] | undefined;
+        } | {
+            kind: "externalToCircle";
+            circle: string;
+        } | {
+            kind: "onCircle";
+            circle: string;
+            theta?: number | undefined;
+        } | {
+            kind: "secondIntersection";
+            line: string;
+            circle: string;
+            other: string;
+        } | {
+            kind: "circleIntersection";
+            c1: string;
+            c2: string;
+            which: 0 | 1;
+        } | {
+            kind: "circleSecondIntersection";
+            c1: string;
+            c2: string;
+            exclude: string;
+        } | {
+            kind: "tangencyPoint";
+            circle: string;
+            onLine: string;
+        } | {
+            kind: "tangentPoint";
+            circle: string;
+            from: string;
+            which: 0 | 1;
+        } | {
+            kind: "angleBisectorFoot";
+            onLine: string;
+            from: string;
+        } | {
+            kind: "externalAngleBisectorFoot";
+            onLine: string;
+            from: string;
+        } | {
+            kind: "arcMidpoint";
+            circle: string;
+            a: string;
+            b: string;
+            notContaining: string;
+        } | {
+            kind: "reflectPoint";
+            through: string;
+            of: string;
+        } | {
+            kind: "reflectLine";
+            through: string;
+            of: string;
+        } | {
+            kind: "excenter";
+            opposite: string;
+            of: [string, string, string];
+        } | {
+            kind: "rightAngleViewing";
+            onLine: string;
+            a: string;
+            b: string;
+            which?: 0 | 1 | undefined;
+        } | {
+            kind: "pointAtDistance";
+            from: string;
+            through: string;
+            distance: {
+                kind: "circleRadius";
+                circle: string;
+                scale?: number | undefined;
+                offset?: number | undefined;
+            } | {
+                kind: "segmentLength";
+                p1: string;
+                p2: string;
+                scale?: number | undefined;
+                offset?: number | undefined;
+            } | {
+                kind: "literal";
+                value: number;
+                scale?: number | undefined;
+                offset?: number | undefined;
+            };
+        };
+        name: string;
+        op: "add-point";
+    } | {
+        from: string;
+        op: "connect";
+        to: string;
+        style?: "segment" | "line" | "ray" | "perpBisector" | "angleBisector" | undefined;
     } | {
-        kind: "tangent";
         name: string;
-        throughPoint: string;
-        toCircle: string;
-        branch?: 0 | 1 | "on" | undefined;
+        op: "draw-circle";
+        spec: "diameter" | "centerThrough" | "through3" | "centerRadius" | "inscribedIn";
+        points?: [string, string, string] | undefined;
+        through?: string | undefined;
+        center?: string | undefined;
+        radius?: number | undefined;
+        triangle?: [string, string, string] | undefined;
+        endpoints?: [string, string] | undefined;
+    } | {
+        kind: "angleBisector" | "lineThrough" | "radicalAxis" | "perpThrough" | "parallelThrough" | "tangentAt" | "tangentFromExt";
+        name: string;
+        op: "draw-line";
+        circle?: string | undefined;
+        points?: string[] | undefined;
+        p1?: string | undefined;
+        p2?: string | undefined;
+        from?: string | undefined;
+        through?: string | undefined;
+        vertex?: string | undefined;
+        circle1?: string | undefined;
+        circle2?: string | undefined;
+        which?: "first" | "second" | "both" | undefined;
+        to?: string | undefined;
+    } | {
+        shape: "triangle" | "quadrilateral";
+        op: "mark-shape";
+        labels: string[];
+    })[] | undefined;
+}>, {
+    decision: "build" | "refuse";
+    reason?: string | undefined;
+    intents?: ({
+        shape: "square" | "rectangle" | "rhombus" | "parallelogram" | "triangle" | "trapezoid" | "quadrilateral";
+        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: "perpFoot";
+            onLine: string;
+            from: string;
+        } | {
+            kind: "centroid";
+            of: [string, string, string];
+        } | {
+            kind: "circumcenter";
+            of: [string, string, string];
+        } | {
+            kind: "incenter";
+            of: [string, string, string];
+        } | {
+            kind: "orthocenter";
+            of: [string, string, string];
+        } | {
+            kind: "intersection";
+            of: [string, string];
+            branch?: 0 | 1 | undefined;
+        } | {
+            kind: "onSegment";
+            of: string;
+            t?: number | undefined;
+        } | {
+            kind: "free";
+            at?: [number, number] | undefined;
+        } | {
+            kind: "externalToCircle";
+            circle: string;
+        } | {
+            kind: "onCircle";
+            circle: string;
+            theta?: number | undefined;
+        } | {
+            kind: "secondIntersection";
+            line: string;
+            circle: string;
+            other: string;
+        } | {
+            kind: "circleIntersection";
+            c1: string;
+            c2: string;
+            which: 0 | 1;
+        } | {
+            kind: "circleSecondIntersection";
+            c1: string;
+            c2: string;
+            exclude: string;
+        } | {
+            kind: "tangencyPoint";
+            circle: string;
+            onLine: string;
+        } | {
+            kind: "tangentPoint";
+            circle: string;
+            from: string;
+            which: 0 | 1;
+        } | {
+            kind: "angleBisectorFoot";
+            onLine: string;
+            from: string;
+        } | {
+            kind: "externalAngleBisectorFoot";
+            onLine: string;
+            from: string;
+        } | {
+            kind: "arcMidpoint";
+            circle: string;
+            a: string;
+            b: string;
+            notContaining: string;
+        } | {
+            kind: "reflectPoint";
+            through: string;
+            of: string;
+        } | {
+            kind: "reflectLine";
+            through: string;
+            of: string;
+        } | {
+            kind: "excenter";
+            opposite: string;
+            of: [string, string, string];
+        } | {
+            kind: "rightAngleViewing";
+            onLine: string;
+            a: string;
+            b: string;
+            which?: 0 | 1 | undefined;
+        } | {
+            kind: "pointAtDistance";
+            from: string;
+            through: string;
+            distance: {
+                kind: "circleRadius";
+                circle: string;
+                scale?: number | undefined;
+                offset?: number | undefined;
+            } | {
+                kind: "segmentLength";
+                p1: string;
+                p2: string;
+                scale?: number | undefined;
+                offset?: number | undefined;
+            } | {
+                kind: "literal";
+                value: number;
+                scale?: number | undefined;
+                offset?: number | undefined;
+            };
+        };
+        name: string;
+        op: "add-point";
+    } | {
+        from: string;
+        op: "connect";
+        to: string;
+        style: "segment" | "line" | "ray" | "perpBisector" | "angleBisector";
     } | {
-        kind: "circleCP";
         name: string;
-        center: string;
-        surfacePoint: string;
+        op: "draw-circle";
+        spec: "diameter" | "centerThrough" | "through3" | "centerRadius" | "inscribedIn";
+        points?: [string, string, string] | undefined;
+        through?: string | undefined;
+        center?: string | undefined;
+        radius?: number | undefined;
+        triangle?: [string, string, string] | undefined;
+        endpoints?: [string, string] | undefined;
+    } | {
+        kind: "angleBisector" | "lineThrough" | "radicalAxis" | "perpThrough" | "parallelThrough" | "tangentAt" | "tangentFromExt";
+        name: string;
+        op: "draw-line";
+        circle?: string | undefined;
+        points?: string[] | undefined;
+        p1?: string | undefined;
+        p2?: string | undefined;
+        from?: string | undefined;
+        through?: string | undefined;
+        vertex?: string | undefined;
+        circle1?: string | undefined;
+        circle2?: string | undefined;
+        which?: "first" | "second" | "both" | undefined;
+        to?: string | undefined;
+    } | {
+        shape: "triangle" | "quadrilateral";
+        op: "mark-shape";
+        labels: string[];
+    })[] | undefined;
+}, {
+    decision: "build" | "refuse";
+    reason?: string | undefined;
+    intents?: ({
+        shape: "square" | "rectangle" | "rhombus" | "parallelogram" | "triangle" | "trapezoid" | "quadrilateral";
+        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" | undefined;
+        explicitCoords?: Record<string, [number, number]> | undefined;
+    } | {
+        constraint: {
+            kind: "midpoint";
+            of: string;
+        } | {
+            kind: "perpFoot";
+            onLine: string;
+            from: string;
+        } | {
+            kind: "centroid";
+            of: [string, string, string];
+        } | {
+            kind: "circumcenter";
+            of: [string, string, string];
+        } | {
+            kind: "incenter";
+            of: [string, string, string];
+        } | {
+            kind: "orthocenter";
+            of: [string, string, string];
+        } | {
+            kind: "intersection";
+            of: [string, string];
+            branch?: 0 | 1 | undefined;
+        } | {
+            kind: "onSegment";
+            of: string;
+            t?: number | undefined;
+        } | {
+            kind: "free";
+            at?: [number, number] | undefined;
+        } | {
+            kind: "externalToCircle";
+            circle: string;
+        } | {
+            kind: "onCircle";
+            circle: string;
+            theta?: number | undefined;
+        } | {
+            kind: "secondIntersection";
+            line: string;
+            circle: string;
+            other: string;
+        } | {
+            kind: "circleIntersection";
+            c1: string;
+            c2: string;
+            which: 0 | 1;
+        } | {
+            kind: "circleSecondIntersection";
+            c1: string;
+            c2: string;
+            exclude: string;
+        } | {
+            kind: "tangencyPoint";
+            circle: string;
+            onLine: string;
+        } | {
+            kind: "tangentPoint";
+            circle: string;
+            from: string;
+            which: 0 | 1;
+        } | {
+            kind: "angleBisectorFoot";
+            onLine: string;
+            from: string;
+        } | {
+            kind: "externalAngleBisectorFoot";
+            onLine: string;
+            from: string;
+        } | {
+            kind: "arcMidpoint";
+            circle: string;
+            a: string;
+            b: string;
+            notContaining: string;
+        } | {
+            kind: "reflectPoint";
+            through: string;
+            of: string;
+        } | {
+            kind: "reflectLine";
+            through: string;
+            of: string;
+        } | {
+            kind: "excenter";
+            opposite: string;
+            of: [string, string, string];
+        } | {
+            kind: "rightAngleViewing";
+            onLine: string;
+            a: string;
+            b: string;
+            which?: 0 | 1 | undefined;
+        } | {
+            kind: "pointAtDistance";
+            from: string;
+            through: string;
+            distance: {
+                kind: "circleRadius";
+                circle: string;
+                scale?: number | undefined;
+                offset?: number | undefined;
+            } | {
+                kind: "segmentLength";
+                p1: string;
+                p2: string;
+                scale?: number | undefined;
+                offset?: number | undefined;
+            } | {
+                kind: "literal";
+                value: number;
+                scale?: number | undefined;
+                offset?: number | undefined;
+            };
+        };
+        name: string;
+        op: "add-point";
+    } | {
+        from: string;
+        op: "connect";
+        to: string;
+        style?: "segment" | "line" | "ray" | "perpBisector" | "angleBisector" | undefined;
     } | {
-        kind: "circle3";
         name: string;
-        p1: string;
-        p2: string;
-        p3: string;
+        op: "draw-circle";
+        spec: "diameter" | "centerThrough" | "through3" | "centerRadius" | "inscribedIn";
+        points?: [string, string, string] | undefined;
+        through?: string | undefined;
+        center?: string | undefined;
+        radius?: number | undefined;
+        triangle?: [string, string, string] | undefined;
+        endpoints?: [string, string] | undefined;
+    } | {
+        kind: "angleBisector" | "lineThrough" | "radicalAxis" | "perpThrough" | "parallelThrough" | "tangentAt" | "tangentFromExt";
+        name: string;
+        op: "draw-line";
+        circle?: string | undefined;
+        points?: string[] | undefined;
+        p1?: string | undefined;
+        p2?: string | undefined;
+        from?: string | undefined;
+        through?: string | undefined;
+        vertex?: string | undefined;
+        circle1?: string | undefined;
+        circle2?: string | undefined;
+        which?: "first" | "second" | "both" | undefined;
+        to?: string | undefined;
+    } | {
+        shape: "triangle" | "quadrilateral";
+        op: "mark-shape";
+        labels: string[];
     })[] | undefined;
 }>;
-type DslInputT = z.infer<typeof DslInput>;
+type IntentEnvelopeT = z.infer<typeof IntentEnvelopeZ>;
 
-type TranspileErrorCode = 'SCHEMA' | 'DUPLICATE_NAME' | 'UNKNOWN_REF' | 'KIND_MISMATCH' | 'CYCLE';
-interface TranspileError {
-    code: TranspileErrorCode;
+declare class IntentBuilderError extends Error {
+    readonly intent: IntentT;
+    readonly cause?: string | undefined;
+    constructor(message: string, intent: IntentT, cause?: string | undefined);
+}
+
+declare function intentsToDsl(intents: readonly IntentT[]): DslInputT;
+
+interface VerifyIssue {
+    readonly axis: 'missing' | 'wrong' | 'extra';
+    readonly detail: string;
+}
+interface VerifyReport {
+    readonly ok: boolean;
+    readonly missing: readonly VerifyIssue[];
+    readonly wrong: readonly VerifyIssue[];
+    readonly extra: readonly VerifyIssue[];
+    readonly geometric?: readonly VerifyIssue[];
+}
+declare function compareIntents(expected: readonly IntentT[], actual: readonly IntentT[]): VerifyReport;
+declare function verifyGeometry(intents: readonly IntentT[], dsl: DslInputT): VerifyReport;
+
+interface GenerateIntentOptions extends SelectProviderOptions {
+    model?: string;
+    maxTokens?: number;
+    signal?: AbortSignal;
+    /**
+     * Track A deterministic-first (mặc định bật). Thử rule engine trước; chỉ gọi
+     * LLM (Track B) khi deterministic không phủ đủ / không dựng được. Đặt false để
+     * ép luôn dùng LLM (vd so sánh eval, debug).
+     */
+    useDeterministic?: boolean;
+    /**
+     * CHỈ deterministic — KHÔNG fallback LLM. Track A miss → trả failure
+     * `deterministic_miss` (kèm lý do) thay vì gọi Track B. Dùng khi tối ưu rule
+     * base: muốn THẤY đề nào rule chưa phủ (không tốn token, không che lấp gap).
+     * Ưu tiên hơn `useDeterministic` (true ⇒ luôn chạy Track A, không bao giờ LLM).
+     */
+    deterministicOnly?: boolean;
+}
+interface IntentTokenUsage {
+    inputTokens: number;
+    outputTokens: number;
+    cacheReadTokens?: number;
+    cacheCreationTokens?: number;
+}
+interface IntentSuccessResult {
+    ok: true;
+    intents: readonly IntentT[];
+    dsl: ReturnType<typeof intentsToDsl>;
+    transpile: Extract<TranspileResult, {
+        ok: true;
+    }>;
+    verify: VerifyReport;
+    usage: IntentTokenUsage;
+    provider: string;
+}
+interface IntentFailureResult {
+    ok: false;
+    reason: 'refused' | 'parse_error' | 'builder_error' | 'transpile_error' | 'verify_error' | 'provider_error' | 'deterministic_miss';
     message: string;
-    path?: string[];
-    hint?: string;
+    intents?: readonly IntentT[];
+    dsl?: ReturnType<typeof intentsToDsl>;
+    usage?: IntentTokenUsage;
+    provider?: string;
 }
+type IntentGenerateResult = IntentSuccessResult | IntentFailureResult;
+declare function generateFigureIntent(problem: string, opts?: GenerateIntentOptions): Promise<IntentGenerateResult>;
 
-interface GenerateOptions {
-    apiKey: string;
+interface HandleGenerateFigureInput {
+    /** Đề bài tiếng Việt từ teacher. */
+    problem: string;
+}
+interface HandleGenerateFigureOptions extends GenerateIntentOptions {
+    /**
+     * Telemetry hook: gọi cho MỖI attempt với IntentGenerateResult nội bộ trước
+     * khi map sang AiFigureUiResult — consumer dùng để log usage/cost/error.
+     * Không throw từ logger (swallow để không vỡ response).
+     *
+     * @param result IntentGenerateResult của attempt
+     * @param attempt 1-indexed (1 = lần đầu, 2 = retry, ...)
+     */
+    onResult?: (result: IntentGenerateResult, attempt: number) => void;
+    /**
+     * Số attempt tối đa khi build error (transpile/builder). Default 2 (1 retry).
+     * LLM stochastic → lần 2 thường khá hơn. Clamp [1,5].
+     */
+    maxAttempts?: number;
+}
+/**
+ * Gọi rule-engine intent pipeline và trả về `AiFigureUiResult` mà
+ * `<Whiteboard generateGeometryFigure>` chấp nhận trực tiếp.
+ *
+ * Track A (deterministic rules) chạy trong `generateFigureIntent` — đề dễ→trung
+ * bình dựng KHÔNG tốn token. Miss → Track B (LLM intent).
+ *
+ * Auto-retry: chỉ retry khi `transpile_error`/`builder_error` (AI emit hình
+ * structurally sai — model stochastic có cơ hội khá hơn lần 2). KHÔNG retry
+ * `refused` (cố ý), `parse_error` (sai schema), `provider_error` (network/config).
+ *
+ * Server-side caller giữ `IntentGenerateResult` đầy đủ qua `onResult` cho
+ * telemetry/logging.
+ */
+declare function handleGenerateFigure(input: HandleGenerateFigureInput, opts?: HandleGenerateFigureOptions): Promise<AiFigureUiResult>;
+
+declare const FigureEnvelopeZ: z.ZodEffects<z.ZodObject<{
+    decision: z.ZodEnum<["build", "refuse"]>;
+    figure: z.ZodOptional<z.ZodObject<{
+        version: z.ZodLiteral<1>;
+        points: z.ZodArray<z.ZodDiscriminatedUnion<"kind", [z.ZodObject<any, z.UnknownKeysParam, z.ZodTypeAny, {
+            [x: string]: any;
+        }, {
+            [x: string]: any;
+        }>, z.ZodObject<any, z.UnknownKeysParam, z.ZodTypeAny, {
+            [x: string]: any;
+        }, {
+            [x: string]: any;
+        }>, ...z.ZodObject<any, z.UnknownKeysParam, z.ZodTypeAny, {
+            [x: string]: any;
+        }, {
+            [x: string]: any;
+        }>[]]>, "many">;
+        shapes: z.ZodDefault<z.ZodArray<z.ZodDiscriminatedUnion<"kind", [z.ZodObject<any, z.UnknownKeysParam, z.ZodTypeAny, {
+            [x: string]: any;
+        }, {
+            [x: string]: any;
+        }>, z.ZodObject<any, z.UnknownKeysParam, z.ZodTypeAny, {
+            [x: string]: any;
+        }, {
+            [x: string]: any;
+        }>, ...z.ZodObject<any, z.UnknownKeysParam, z.ZodTypeAny, {
+            [x: string]: any;
+        }, {
+            [x: string]: any;
+        }>[]]>, "many">>;
+    }, "strip", z.ZodTypeAny, {
+        points: {
+            [x: string]: any;
+        }[];
+        version: 1;
+        shapes: {
+            [x: string]: any;
+        }[];
+    }, {
+        points: {
+            [x: string]: any;
+        }[];
+        version: 1;
+        shapes?: {
+            [x: string]: any;
+        }[] | undefined;
+    }>>;
+    reason: z.ZodOptional<z.ZodString>;
+}, "strip", z.ZodTypeAny, {
+    decision: "build" | "refuse";
+    reason?: string | undefined;
+    figure?: {
+        points: {
+            [x: string]: any;
+        }[];
+        version: 1;
+        shapes: {
+            [x: string]: any;
+        }[];
+    } | undefined;
+}, {
+    decision: "build" | "refuse";
+    reason?: string | undefined;
+    figure?: {
+        points: {
+            [x: string]: any;
+        }[];
+        version: 1;
+        shapes?: {
+            [x: string]: any;
+        }[] | undefined;
+    } | undefined;
+}>, {
+    decision: "build" | "refuse";
+    reason?: string | undefined;
+    figure?: {
+        points: {
+            [x: string]: any;
+        }[];
+        version: 1;
+        shapes: {
+            [x: string]: any;
+        }[];
+    } | undefined;
+}, {
+    decision: "build" | "refuse";
+    reason?: string | undefined;
+    figure?: {
+        points: {
+            [x: string]: any;
+        }[];
+        version: 1;
+        shapes?: {
+            [x: string]: any;
+        }[] | undefined;
+    } | undefined;
+}>;
+type FigureEnvelopeT = z.infer<typeof FigureEnvelopeZ>;
+declare function envelopeJsonSchema(): Record<string, unknown>;
+/** Helper: ép envelope build hợp lệ về DslInputT (sau khi đã validate). */
+declare function envelopeBuildDsl(env: FigureEnvelopeT): DslInputT;
+
+interface GenerateDeltaOptions extends SelectProviderOptions {
     model?: string;
     maxTokens?: number;
-    enableCaching?: boolean;
     signal?: AbortSignal;
+    maxAttempts?: number;
 }
 interface TokenUsage {
     inputTokens: number;
@@ -582,22 +3083,26 @@ interface TokenUsage {
     cacheReadTokens: number;
     cacheCreationTokens: number;
 }
-type GenerateResult = {
+type GenerateDeltaResult = {
     ok: true;
     state: State;
-    dsl: DslInputT;
+    mergedDsl: DslInputT;
+    mode: 'add' | 'replace';
     usage: TokenUsage;
+    provider: string;
 } | {
     ok: false;
     reason: 'refused';
     message: string;
     usage?: TokenUsage;
+    provider?: string;
 } | {
     ok: false;
     reason: 'parse_error';
     message: string;
     raw?: unknown;
     usage?: TokenUsage;
+    provider?: string;
 } | {
     ok: false;
     reason: 'transpile_error';
@@ -605,12 +3110,290 @@ type GenerateResult = {
     errors: TranspileError[];
     dsl: unknown;
     usage?: TokenUsage;
+    provider?: string;
+} | {
+    ok: false;
+    reason: 'name_collision';
+    message: string;
+    collisions: string[];
+    errors: TranspileError[];
+    dsl: unknown;
+    usage?: TokenUsage;
+    provider?: string;
+} | {
+    ok: false;
+    reason: 'unresolved_ref';
+    message: string;
+    refs: string[];
+    errors: TranspileError[];
+    dsl: unknown;
+    usage?: TokenUsage;
+    provider?: string;
 } | {
     ok: false;
     reason: 'api_error';
     message: string;
     status?: number;
+    provider?: string;
+};
+interface GenerateFigureDeltaInput {
+    problem: string;
+    currentDsl: DslInputT;
+}
+declare function generateFigureDelta(input: GenerateFigureDeltaInput, opts?: GenerateDeltaOptions): Promise<GenerateDeltaResult>;
+
+interface HandleGenerateFigureDeltaInput {
+    problem: string;
+    currentDsl: DslInputT;
+}
+interface HandleGenerateFigureDeltaOptions extends GenerateDeltaOptions {
+    onResult?: (result: GenerateDeltaResult, attempt: number) => void;
+    maxAttempts?: number;
+}
+declare function handleGenerateFigureDelta(input: HandleGenerateFigureDeltaInput, opts?: HandleGenerateFigureDeltaOptions): Promise<AiFigureUiResult>;
+
+declare const FigureRefineEnvelopeZ: z.ZodEffects<z.ZodObject<{
+    decision: z.ZodEnum<["add", "replace", "refuse"]>;
+    figure: z.ZodOptional<z.ZodObject<{
+        version: z.ZodLiteral<1>;
+        points: z.ZodArray<z.ZodDiscriminatedUnion<"kind", [z.ZodObject<any, z.UnknownKeysParam, z.ZodTypeAny, {
+            [x: string]: any;
+        }, {
+            [x: string]: any;
+        }>, z.ZodObject<any, z.UnknownKeysParam, z.ZodTypeAny, {
+            [x: string]: any;
+        }, {
+            [x: string]: any;
+        }>, ...z.ZodObject<any, z.UnknownKeysParam, z.ZodTypeAny, {
+            [x: string]: any;
+        }, {
+            [x: string]: any;
+        }>[]]>, "many">;
+        shapes: z.ZodDefault<z.ZodArray<z.ZodDiscriminatedUnion<"kind", [z.ZodObject<any, z.UnknownKeysParam, z.ZodTypeAny, {
+            [x: string]: any;
+        }, {
+            [x: string]: any;
+        }>, z.ZodObject<any, z.UnknownKeysParam, z.ZodTypeAny, {
+            [x: string]: any;
+        }, {
+            [x: string]: any;
+        }>, ...z.ZodObject<any, z.UnknownKeysParam, z.ZodTypeAny, {
+            [x: string]: any;
+        }, {
+            [x: string]: any;
+        }>[]]>, "many">>;
+    }, "strip", z.ZodTypeAny, {
+        points: {
+            [x: string]: any;
+        }[];
+        version: 1;
+        shapes: {
+            [x: string]: any;
+        }[];
+    }, {
+        points: {
+            [x: string]: any;
+        }[];
+        version: 1;
+        shapes?: {
+            [x: string]: any;
+        }[] | undefined;
+    }>>;
+    reason: z.ZodOptional<z.ZodString>;
+}, "strip", z.ZodTypeAny, {
+    decision: "refuse" | "add" | "replace";
+    reason?: string | undefined;
+    figure?: {
+        points: {
+            [x: string]: any;
+        }[];
+        version: 1;
+        shapes: {
+            [x: string]: any;
+        }[];
+    } | undefined;
+}, {
+    decision: "refuse" | "add" | "replace";
+    reason?: string | undefined;
+    figure?: {
+        points: {
+            [x: string]: any;
+        }[];
+        version: 1;
+        shapes?: {
+            [x: string]: any;
+        }[] | undefined;
+    } | undefined;
+}>, {
+    decision: "refuse" | "add" | "replace";
+    reason?: string | undefined;
+    figure?: {
+        points: {
+            [x: string]: any;
+        }[];
+        version: 1;
+        shapes: {
+            [x: string]: any;
+        }[];
+    } | undefined;
+}, {
+    decision: "refuse" | "add" | "replace";
+    reason?: string | undefined;
+    figure?: {
+        points: {
+            [x: string]: any;
+        }[];
+        version: 1;
+        shapes?: {
+            [x: string]: any;
+        }[] | undefined;
+    } | undefined;
+}>;
+type FigureRefineEnvelopeT = z.infer<typeof FigureRefineEnvelopeZ>;
+declare function refineEnvelopeJsonSchema(): Record<string, unknown>;
+
+declare function intentEnvelopeJsonSchema(): Record<string, unknown>;
+declare function envelopeIntentList(env: IntentEnvelopeT): readonly IntentT[];
+
+declare function buildIntentSystemPrompt(): string;
+
+interface HandleGenerateFigureIntentOptions extends GenerateIntentOptions {
+}
+interface HandleGenerateFigureIntentInput {
+    problem: string;
+}
+type AiFigureIntentUiResult = {
+    kind: 'success';
+    dsl: DslInputT;
+    intents: readonly IntentT[];
+    svg?: string;
+    usage: {
+        inputTokens: number;
+        outputTokens: number;
+    };
+} | {
+    kind: 'refused';
+    message: string;
+} | {
+    kind: 'error';
+    code: string;
+    message: string;
+};
+declare function handleGenerateFigureIntent(problem: string, opts?: HandleGenerateFigureIntentOptions): Promise<AiFigureIntentUiResult>;
+
+interface Clause {
+    id: number;
+    text: string;
+    /** clause chứa ≥1 từ khoá hình học → tính vào mẫu số coverage. */
+    hasGeometry: boolean;
+}
+interface CoverageReport {
+    complete: boolean;
+    coveredClauseIds: number[];
+    uncovered: Clause[];
+    ratio: number;
+}
+
+type DeterministicReason = 'no-match' | 'incomplete-coverage' | 'build-throw' | 'transpile-throw' | 'transpile-fail' | 'verify-fail' | 'named-missing' | 'intent-dropped';
+interface DeterministicFigure {
+    intents: IntentT[];
+    dsl: DslInputT;
+    transpile: Extract<TranspileResult, {
+        ok: true;
+    }>;
+    verify: VerifyReport;
+    coverage: CoverageReport;
+}
+type TryDeterministicResult = {
+    ok: true;
+    figure: DeterministicFigure;
+} | {
+    ok: false;
+    reason: DeterministicReason;
+    detail?: string;
+    coverage?: CoverageReport;
+};
+declare function tryDeterministicFigure(problem: string): TryDeterministicResult;
+
+interface PartialDeterministicResult {
+    /** Intent deterministic từ các clause đã được rule claim (deduped). */
+    detIntents: IntentT[];
+    /** Clause geo CHƯA được phủ — phần LLM cần bù (hybrid Phase 2). */
+    uncovered: Clause[];
+    coverage: CoverageReport;
+    /**
+     * true khi deterministic phủ MỘT PHẦN: có rule match + ≥1 intent NHƯNG coverage
+     * CHƯA đầy đủ. Đây là điều kiện kích hoạt hybrid (Phase 2 gọi LLM bù `uncovered`
+     * rồi mergeIntents). false khi: complete (Track A lo đủ) hoặc no-match/0 intent
+     * (full LLM Track B).
+     */
+    hasPartial: boolean;
+}
+/**
+ * Deterministic-only (KHÔNG LLM): thu intent phần đã phủ + clause còn thiếu, kể
+ * cả khi coverage incomplete. Nền cho hybrid partial-coverage — Phase 2 sẽ gọi
+ * LLM bù `uncovered` rồi `mergeIntents(detIntents, llmIntents)`.
+ */
+declare function tryPartialDeterministic(problem: string): PartialDeterministicResult;
+
+/**
+ * Gộp intent deterministic (det) + intent LLM bù (llm). Det giữ nguyên; mỗi
+ * intent LLM bị loại nếu: trùng JSON với intent đã có, HOẶC định nghĩa lại tên
+ * mà det đã sở hữu (det thắng — phần deterministic đã đúng, đừng để LLM ghi đè).
+ */
+declare function mergeIntents(det: readonly IntentT[], llm: readonly IntentT[]): IntentT[];
+
+declare function buildVisionSystemPrompt(): string;
+declare const VISION_USER_PROMPT = "\u0110\u1ECDc \u0111\u1EC1 b\u00E0i h\u00ECnh h\u1ECDc trong \u1EA3nh sau.";
+
+declare const VisionEnvelopeZ: z.ZodEffects<z.ZodObject<{
+    decision: z.ZodEnum<["extract", "refuse"]>;
+    text: z.ZodOptional<z.ZodString>;
+    confidence: z.ZodOptional<z.ZodEnum<["high", "low"]>>;
+    reason: z.ZodOptional<z.ZodString>;
+}, "strip", z.ZodTypeAny, {
+    decision: "extract" | "refuse";
+    text?: string | undefined;
+    reason?: string | undefined;
+    confidence?: "high" | "low" | undefined;
+}, {
+    decision: "extract" | "refuse";
+    text?: string | undefined;
+    reason?: string | undefined;
+    confidence?: "high" | "low" | undefined;
+}>, {
+    decision: "extract" | "refuse";
+    text?: string | undefined;
+    reason?: string | undefined;
+    confidence?: "high" | "low" | undefined;
+}, {
+    decision: "extract" | "refuse";
+    text?: string | undefined;
+    reason?: string | undefined;
+    confidence?: "high" | "low" | undefined;
+}>;
+type VisionEnvelopeT = z.infer<typeof VisionEnvelopeZ>;
+declare function visionEnvelopeJsonSchema(): Record<string, unknown>;
+
+declare const MAX_EDGE_PX = 2048;
+declare const MAX_RAW_BYTES: number;
+declare const MAX_ENCODED_BYTES: number;
+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 generateFigure(problem: string, opts: GenerateOptions): Promise<GenerateResult>;
+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>;
 
-export { type GenerateOptions, type GenerateResult, type TokenUsage, generateFigure };
+export { AIProvider, type AddPointIntentT, type AiFigureIntentUiResult, AnthropicProvider, type ConnectIntentT, type DeterministicFigure, type DrawCircleIntentT, type DrawShapeIntentT, type FigureEnvelopeT, FigureEnvelopeZ, type FigureRefineEnvelopeT, FigureRefineEnvelopeZ, type GenerateDeltaOptions, type GenerateDeltaResult, type GenerateFigureDeltaInput, type GenerateIntentOptions, type HandleGenerateFigureDeltaInput, type HandleGenerateFigureDeltaOptions, type HandleGenerateFigureInput, type HandleGenerateFigureIntentInput, type HandleGenerateFigureIntentOptions, type HandleGenerateFigureOptions, IntentBuilderError, type IntentEnvelopeT, IntentEnvelopeZ, type IntentFailureResult, type IntentGenerateResult, type IntentSuccessResult, type IntentT, IntentZ, MAX_EDGE_PX, MAX_ENCODED_BYTES, MAX_RAW_BYTES, OllamaProvider, type PartialDeterministicResult, ProviderOutput, ProviderRequest, SelectProviderOptions, type TryDeterministicResult, VISION_USER_PROMPT, type ValidationResult, type VerifyIssue, type VerifyReport, type VisionEnvelopeT, VisionEnvelopeZ, buildIntentSystemPrompt, buildVisionSystemPrompt, compareIntents, envelopeBuildDsl, envelopeIntentList, envelopeJsonSchema, fileToImagePart, generateFigureDelta, generateFigureIntent, handleGenerateFigure, handleGenerateFigureDelta, handleGenerateFigureIntent, inferMediaType, intentEnvelopeJsonSchema, intentsToDsl, mergeIntents, refineEnvelopeJsonSchema, tryDeterministicFigure, tryPartialDeterministic, validateFile, verifyGeometry, visionEnvelopeJsonSchema };