@xom11/whiteboard 0.25.0 → 0.27.0

package/dist/ai.d.ts

@@ -1,5 +1,7 @@
-import { b as State, D as DslInputT, a as AiFigureUiResult } from './types-DWRyCa2m.js';
+import { b as State, D as DslInputT, a as AiFigureUiResult } from './types-zc_Pa0mp.js';
 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.js';
+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.js';
 import 'react';
 import '@excalidraw/excalidraw/element/types';
 
@@ -10,45 +12,13 @@ interface TranspileError {
     path?: string[];
     hint?: string;
 }
-
-interface ProviderTokenUsage {
-    inputTokens: number;
-    outputTokens: number;
-    /** Anthropic prompt caching — local provider để 0. */
-    cacheReadTokens?: number;
-    /** Anthropic prompt caching — local provider để 0. */
-    cacheCreationTokens?: number;
-}
-interface ProviderRequest {
-    systemPrompt: string;
-    userPrompt: string;
-    /**
-     * JSON Schema mà provider phải honor để constrain output. Anthropic → wrap
-     * thành tool input_schema. Ollama → pass thẳng vào `format` (v0.5+).
-     */
-    schema: Record<string, unknown>;
-    /** Provider-specific model id (vd "gemma3:4b", "claude-opus-4-7"). */
-    model: string;
-    /** Token cap cho response. */
-    maxTokens: number;
-    signal?: AbortSignal;
-}
-type ProviderOutput = {
-    kind: 'json';
-    data: unknown;
-    usage?: ProviderTokenUsage;
+type TranspileResult = {
+    ok: true;
+    state: State;
 } | {
-    kind: 'error';
-    message: string;
-    status?: number;
+    ok: false;
+    errors: TranspileError[];
 };
-interface AIProvider {
-    /** Tên định danh ("anthropic", "ollama", ...). */
-    readonly name: string;
-    /** Default model id khi caller không truyền. */
-    readonly defaultModel: string;
-    call(req: ProviderRequest): Promise<ProviderOutput>;
-}
 
 interface AnthropicProviderOptions {
     apiKey: string;
@@ -61,6 +31,7 @@ declare class AnthropicProvider implements AIProvider {
     readonly defaultModel = "claude-opus-4-7";
     constructor(opts: AnthropicProviderOptions);
     call(req: ProviderRequest): Promise<ProviderOutput>;
+    extractText(req: VisionRequest): Promise<ProviderOutput>;
 }
 
 interface OllamaProviderOptions {
@@ -79,110 +50,2922 @@ declare class OllamaProvider implements AIProvider {
     constructor(opts?: OllamaProviderOptions);
     private resolveFetch;
     call(req: ProviderRequest): Promise<ProviderOutput>;
+    extractText(req: VisionRequest): Promise<ProviderOutput>;
 }
 
-interface SelectProviderOptions {
-    /** Provider instance dùng trực tiếp (override mọi env). */
-    provider?: AIProvider;
-    /** Anthropic API key. Khi truyền → auto chọn AnthropicProvider. */
-    apiKey?: string;
-    /** Anthropic prompt-caching, default true (chỉ áp dụng provider Anthropic). */
-    enableCaching?: boolean;
-    /** Ollama endpoint override. */
-    ollamaBaseUrl?: string;
-    /** Ollama model override (vd "gemma3:1b"). */
-    ollamaDefaultModel?: string;
-    /** Test env: env vars getter (default process.env). */
-    env?: Record<string, string | undefined>;
+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">;
+        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";
+}>;
+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";
+        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;
+    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;
+        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";
+    } | {
+        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;
+    } | {
+        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;
+    } | {
+        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;
+    } | {
+        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";
+    } | {
+        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;
+    } | {
+        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;
+    } | {
+        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;
+    } | {
+        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 IntentEnvelopeT = z.infer<typeof IntentEnvelopeZ>;
+
+declare class IntentBuilderError extends Error {
+    readonly intent: IntentT;
+    readonly cause?: string | undefined;
+    constructor(message: string, intent: IntentT, cause?: string | undefined);
 }
-declare function selectProvider(opts?: SelectProviderOptions): AIProvider;
 
-interface GenerateOptions extends SelectProviderOptions {
-    /** Model id override (provider-specific). Mặc định: provider.defaultModel. */
+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 TokenUsage$1 {
+interface IntentTokenUsage {
     inputTokens: number;
     outputTokens: number;
-    cacheReadTokens: number;
-    cacheCreationTokens: number;
+    cacheReadTokens?: number;
+    cacheCreationTokens?: number;
 }
-type GenerateResult = {
+interface IntentSuccessResult {
     ok: true;
-    state: State;
-    dsl: DslInputT;
-    usage: TokenUsage$1;
+    intents: readonly IntentT[];
+    dsl: ReturnType<typeof intentsToDsl>;
+    transpile: Extract<TranspileResult, {
+        ok: true;
+    }>;
+    verify: VerifyReport;
+    usage: IntentTokenUsage;
     provider: string;
-} | {
-    ok: false;
-    reason: 'refused';
-    message: string;
-    usage?: TokenUsage$1;
-    provider?: string;
-} | {
-    ok: false;
-    reason: 'parse_error';
-    message: string;
-    raw?: unknown;
-    usage?: TokenUsage$1;
-    provider?: string;
-} | {
-    ok: false;
-    reason: 'transpile_error';
-    message: string;
-    errors: TranspileError[];
-    dsl: unknown;
-    usage?: TokenUsage$1;
-    provider?: string;
-} | {
+}
+interface IntentFailureResult {
     ok: false;
-    reason: 'api_error';
+    reason: 'refused' | 'parse_error' | 'builder_error' | 'transpile_error' | 'verify_error' | 'provider_error' | 'deterministic_miss';
     message: string;
-    status?: number;
+    intents?: readonly IntentT[];
+    dsl?: ReturnType<typeof intentsToDsl>;
+    usage?: IntentTokenUsage;
     provider?: string;
-};
-declare function generateFigure(problem: string, opts?: GenerateOptions): Promise<GenerateResult>;
+}
+type IntentGenerateResult = IntentSuccessResult | IntentFailureResult;
+declare function generateFigureIntent(problem: string, opts?: GenerateIntentOptions): Promise<IntentGenerateResult>;
 
 interface HandleGenerateFigureInput {
     /** Đề bài tiếng Việt từ teacher. */
     problem: string;
 }
-interface HandleGenerateFigureOptions extends GenerateOptions {
+interface HandleGenerateFigureOptions extends GenerateIntentOptions {
     /**
-     * Optional telemetry hook. Gọi cho MỖI attempt với envelope nội bộ trước
+     * 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 — sẽ swallow để không vỡ response.
+     * Không throw từ logger (swallow để không vỡ response).
      *
-     * @param result GenerateResult của attempt
+     * @param result IntentGenerateResult của attempt
      * @param attempt 1-indexed (1 = lần đầu, 2 = retry, ...)
      */
-    onResult?: (result: GenerateResult, attempt: number) => void;
+    onResult?: (result: IntentGenerateResult, attempt: number) => void;
     /**
-     * Số attempt tối đa khi nhận `transpile_error`. Default 2 (1 retry).
-     * AI stochastic → lần 2 thường khá hơn. Min 1, max 5.
+     * 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 AI orchestrator và trả về kết quả ở dạng `AiFigureUiResult` mà
+ * Gọi rule-engine intent pipeline và trả về `AiFigureUiResult` mà
  * `<Whiteboard generateGeometryFigure>` chấp nhận trực tiếp.
  *
- * Auto-retry: chỉ retry khi `transpile_error` (DSL không hợp lệ — model
- * stochastic có cơ hội emit khá hơn lần 2). KHÔNG retry `refused` (AI cố ý
- * từ chối), `parse_error` (envelope sai schema — chắc chắn sai mọi lần),
- * hay `api_error` (network / config — không liên quan model).
+ * Track A (deterministic rules) chạy trong `generateFigureIntent` — đề dễ→trung
+ * bình dựng KHÔNG tốn token. Miss → Track B (LLM intent).
  *
- * Mapping:
- *   - ok=true             → { ok: true, state }
- *   - refused             → { ok: false, message: <message AI gửi> }
- *   - parse_error         → { ok: false, message: 'AI trả JSON không hợp lệ…' }
- *   - transpile_error     → { ok: false, message: 'AI tạo hình không hợp lệ…' }
- *   - api_error           → { ok: false, message: <message gốc> }
+ * 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ữ `GenerateResult` đầy đủ qua `onResult` callback cho
- * mục đích telemetry/logging.
+ * Server-side caller giữ `IntentGenerateResult` đầy đủ qua `onResult` cho
+ * telemetry/logging.
  */
 declare function handleGenerateFigure(input: HandleGenerateFigureInput, opts?: HandleGenerateFigureOptions): Promise<AiFigureUiResult>;
 
@@ -469,4 +3252,148 @@ declare const FigureRefineEnvelopeZ: z.ZodEffects<z.ZodObject<{
 type FigureRefineEnvelopeT = z.infer<typeof FigureRefineEnvelopeZ>;
 declare function refineEnvelopeJsonSchema(): Record<string, unknown>;
 
-export { type AIProvider, AnthropicProvider, type FigureEnvelopeT, FigureEnvelopeZ, type FigureRefineEnvelopeT, FigureRefineEnvelopeZ, type GenerateDeltaOptions, type GenerateDeltaResult, type GenerateFigureDeltaInput, type GenerateOptions, type GenerateResult, type HandleGenerateFigureDeltaInput, type HandleGenerateFigureDeltaOptions, type HandleGenerateFigureInput, type HandleGenerateFigureOptions, OllamaProvider, type ProviderOutput, type ProviderRequest, type ProviderTokenUsage, type SelectProviderOptions, type TokenUsage$1 as TokenUsage, envelopeBuildDsl, envelopeJsonSchema, generateFigure, generateFigureDelta, handleGenerateFigure, handleGenerateFigureDelta, refineEnvelopeJsonSchema, selectProvider };
+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 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 { 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 };