@xom11/whiteboard 0.28.0 → 0.29.0

package/dist/ai.d.ts

@@ -1,10 +1,233 @@
-import { c as State, D as DslInputT, b as AiFigureUiResult } from './types-BHYC2Fiw.js';
+import { c as State, b as AiFigureUiResult } from './types-C3FjpoUi.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';
 
+declare const NameZ: z.ZodString;
+
+type Name = z.infer<typeof NameZ>;
+type DslDistanceSpec = {
+    kind: 'circleRadius';
+    circle: Name;
+    scale?: number;
+    offset?: number;
+} | {
+    kind: 'segmentLength';
+    p1: Name;
+    p2: Name;
+    scale?: number;
+    offset?: number;
+} | {
+    kind: 'literal';
+    value: number;
+    scale?: number;
+    offset?: number;
+};
+type DslPointT = {
+    name: Name;
+    kind: 'free';
+    x: number;
+    y: number;
+} | {
+    name: Name;
+    kind: 'midpoint';
+    p1: Name;
+    p2: Name;
+    visible?: boolean;
+} | {
+    name: Name;
+    kind: 'onSegment';
+    segmentId: Name;
+    t: number;
+} | {
+    name: Name;
+    kind: 'onLine';
+    lineId: Name;
+    t: number;
+} | {
+    name: Name;
+    kind: 'onCircle';
+    circleId: Name;
+    theta: number;
+} | {
+    name: Name;
+    kind: 'perpFoot';
+    from: Name;
+    onLine: Name;
+} | {
+    name: Name;
+    kind: 'circumcenter';
+    vertices: [Name, Name, Name];
+} | {
+    name: Name;
+    kind: 'incenter';
+    vertices: [Name, Name, Name];
+} | {
+    name: Name;
+    kind: 'centroid';
+    vertices: [Name, Name, Name];
+} | {
+    name: Name;
+    kind: 'orthocenter';
+    vertices: [Name, Name, Name];
+} | {
+    name: Name;
+    kind: 'intersection';
+    ref1: Name;
+    ref2: Name;
+    branch?: 0 | 1;
+} | {
+    name: Name;
+    kind: 'secondIntersection';
+    line: Name;
+    circle: Name;
+    other: Name;
+} | {
+    name: Name;
+    kind: 'circleIntersection';
+    c1: Name;
+    c2: Name;
+    which: 0 | 1;
+} | {
+    name: Name;
+    kind: 'circleSecondIntersection';
+    c1: Name;
+    c2: Name;
+    exclude: Name;
+} | {
+    name: Name;
+    kind: 'tangencyPoint';
+    circle: Name;
+    onLine: Name;
+} | {
+    name: Name;
+    kind: 'tangentPointExt';
+    from: Name;
+    circle: Name;
+    which: 0 | 1;
+} | {
+    name: Name;
+    kind: 'arcMidpoint';
+    circle: Name;
+    a: Name;
+    b: Name;
+    notContaining: Name;
+} | {
+    name: Name;
+    kind: 'excenter';
+    vertices: [Name, Name, Name];
+    opposite: Name;
+} | {
+    name: Name;
+    kind: 'reflectPoint';
+    of: Name;
+    through: Name;
+} | {
+    name: Name;
+    kind: 'reflectLine';
+    of: Name;
+    through: Name;
+} | {
+    name: Name;
+    kind: 'pointAtDistance';
+    from: Name;
+    through: Name;
+    distance: DslDistanceSpec;
+};
+type DslShapeT = {
+    name: Name;
+    kind: 'segment';
+    p1: Name;
+    p2: Name;
+} | {
+    name: Name;
+    kind: 'line';
+    p1: Name;
+    p2: Name;
+} | {
+    name: Name;
+    kind: 'ray';
+    origin: Name;
+    through: Name;
+} | {
+    name: Name;
+    kind: 'polygon';
+    vertices: Name[];
+} | {
+    name: Name;
+    kind: 'perpendicular';
+    throughPoint: Name;
+    toLine: Name;
+} | {
+    name: Name;
+    kind: 'parallel';
+    throughPoint: Name;
+    toLine: Name;
+} | {
+    name: Name;
+    kind: 'perpBisector';
+    p1: Name;
+    p2: Name;
+} | {
+    name: Name;
+    kind: 'angleBisector';
+    p1: Name;
+    vertex: Name;
+    p2: Name;
+} | {
+    name: Name;
+    kind: 'lineThrough';
+    points: Name[];
+} | {
+    name: Name;
+    kind: 'radicalAxis';
+    circle1: Name;
+    circle2: Name;
+} | {
+    name: Name;
+    kind: 'tangent';
+    throughPoint: Name;
+    toCircle: Name;
+    branch?: 0 | 1 | 'on';
+} | {
+    name: Name;
+    kind: 'circleCP';
+    center: Name;
+    surfacePoint: Name;
+    visible?: boolean;
+} | {
+    name: Name;
+    kind: 'circle3';
+    p1: Name;
+    p2: Name;
+    p3: Name;
+} | {
+    name: Name;
+    kind: 'circleDiameter';
+    p1: Name;
+    p2: Name;
+    visible?: boolean;
+} | {
+    name: Name;
+    kind: 'circleCR';
+    center: Name;
+    radius: number;
+} | {
+    name: Name;
+    kind: 'incircle';
+    vertices: [Name, Name, Name];
+} | {
+    name: Name;
+    kind: 'excircle';
+    vertices: [Name, Name, Name];
+    opposite: Name;
+};
+type DslInputT = {
+    version: 1;
+    points: DslPointT[];
+    shapes: DslShapeT[];
+};
+
 type TranspileErrorCode = 'SCHEMA' | 'DUPLICATE_NAME' | 'UNKNOWN_REF' | 'KIND_MISMATCH' | 'CYCLE';
 interface TranspileError {
     code: TranspileErrorCode;
@@ -20,39 +243,6 @@ type TranspileResult = {
     errors: TranspileError[];
 };
 
-interface AnthropicProviderOptions {
-    apiKey: string;
-    /** Cache system prompt qua Anthropic prompt-caching (mặc định bật). */
-    enableCaching?: boolean;
-}
-declare class AnthropicProvider implements AIProvider {
-    private readonly opts;
-    readonly name = "anthropic";
-    readonly defaultModel = "claude-opus-4-7";
-    constructor(opts: AnthropicProviderOptions);
-    call(req: ProviderRequest): Promise<ProviderOutput>;
-    extractText(req: VisionRequest): Promise<ProviderOutput>;
-}
-
-interface OllamaProviderOptions {
-    /** Endpoint base URL, default http://localhost:11434. */
-    baseUrl?: string;
-    /** Default model id nếu request không truyền. */
-    defaultModel?: string;
-    /** Custom fetch impl (dùng cho test mock). */
-    fetchImpl?: typeof fetch;
-}
-declare class OllamaProvider implements AIProvider {
-    readonly name = "ollama";
-    readonly defaultModel: string;
-    private readonly baseUrl;
-    private readonly fetchImpl;
-    constructor(opts?: OllamaProviderOptions);
-    private resolveFetch;
-    call(req: ProviderRequest): Promise<ProviderOutput>;
-    extractText(req: VisionRequest): Promise<ProviderOutput>;
-}
-
 declare const DrawShapeIntentZ: z.ZodObject<{
     op: z.ZodLiteral<"draw-shape">;
     shape: z.ZodEnum<["triangle", "square", "rectangle", "rhombus", "trapezoid", "parallelogram", "quadrilateral"]>;
@@ -2886,23 +3076,8 @@ interface VerifyReport {
 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;
+interface GenerateIntentOptions {
     signal?: AbortSignal;
-    /**
-     * Track A deterministic-first (mặc định bật). Thử rule engine trước; chỉ gọi
-     * LLM (Track B) khi deterministic không phủ đủ / không dựng được. Đặt false để
-     * ép luôn dùng LLM (vd so sánh eval, debug).
-     */
-    useDeterministic?: boolean;
-    /**
-     * CHỈ deterministic — KHÔNG fallback LLM. Track A miss → trả failure
-     * `deterministic_miss` (kèm lý do) thay vì gọi Track B. Dùng khi tối ưu rule
-     * base: muốn THẤY đề nào rule chưa phủ (không tốn token, không che lấp gap).
-     * Ưu tiên hơn `useDeterministic` (true ⇒ luôn chạy Track A, không bao giờ LLM).
-     */
-    deterministicOnly?: boolean;
 }
 interface IntentTokenUsage {
     inputTokens: number;
@@ -2923,7 +3098,7 @@ interface IntentSuccessResult {
 }
 interface IntentFailureResult {
     ok: false;
-    reason: 'refused' | 'parse_error' | 'builder_error' | 'transpile_error' | 'verify_error' | 'provider_error' | 'deterministic_miss';
+    reason: 'builder_error' | 'transpile_error' | 'verify_error' | 'deterministic_miss';
     message: string;
     intents?: readonly IntentT[];
     dsl?: ReturnType<typeof intentsToDsl>;
@@ -2931,7 +3106,7 @@ interface IntentFailureResult {
     provider?: string;
 }
 type IntentGenerateResult = IntentSuccessResult | IntentFailureResult;
-declare function generateFigureIntent(problem: string, opts?: GenerateIntentOptions): Promise<IntentGenerateResult>;
+declare function generateFigureIntent(problem: string, _opts?: GenerateIntentOptions): Promise<IntentGenerateResult>;
 
 interface HandleGenerateFigureInput {
     /** Đề bài tiếng Việt từ teacher. */
@@ -2949,7 +3124,8 @@ interface HandleGenerateFigureOptions extends GenerateIntentOptions {
     onResult?: (result: IntentGenerateResult, attempt: number) => void;
     /**
      * Số attempt tối đa khi build error (transpile/builder). Default 2 (1 retry).
-     * LLM stochastic → lần 2 thường khá hơn. Clamp [1,5].
+     * Rule base deterministic → retry hiếm khi đổi kết quả, giữ để tương thích
+     * contract cũ. Clamp [1,5].
      */
     maxAttempts?: number;
 }
@@ -2957,12 +3133,11 @@ interface HandleGenerateFigureOptions extends GenerateIntentOptions {
  * Gọi rule-engine intent pipeline và trả về `AiFigureUiResult` mà
  * `<Whiteboard generateGeometryFigure>` chấp nhận trực tiếp.
  *
- * Track A (deterministic rules) chạy trong `generateFigureIntent` — đề dễ→trung
- * bình dựng KHÔNG tốn token. Miss → Track B (LLM intent).
+ * Deterministic rule base chạy trong `generateFigureIntent` — đề dễ→trung bình
+ * dựng KHÔNG tốn token. Miss → `deterministic_miss` (KHÔNG LLM fallback).
  *
- * 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).
+ * Auto-retry: chỉ retry khi `transpile_error`/`builder_error`. KHÔNG retry
+ * `deterministic_miss` (rule base ổn định, retry vô nghĩa).
  *
  * Server-side caller giữ `IntentGenerateResult` đầy đủ qua `onResult` cho
  * telemetry/logging.
@@ -3071,187 +3246,6 @@ declare function envelopeJsonSchema(): Record<string, unknown>;
 /** Helper: ép envelope build hợp lệ về DslInputT (sau khi đã validate). */
 declare function envelopeBuildDsl(env: FigureEnvelopeT): DslInputT;
 
-interface GenerateDeltaOptions extends SelectProviderOptions {
-    model?: string;
-    maxTokens?: number;
-    signal?: AbortSignal;
-    maxAttempts?: number;
-}
-interface TokenUsage {
-    inputTokens: number;
-    outputTokens: number;
-    cacheReadTokens: number;
-    cacheCreationTokens: number;
-}
-type GenerateDeltaResult = {
-    ok: true;
-    state: State;
-    mergedDsl: DslInputT;
-    mode: 'add' | 'replace';
-    usage: TokenUsage;
-    provider: string;
-} | {
-    ok: false;
-    reason: 'refused';
-    message: string;
-    usage?: TokenUsage;
-    provider?: string;
-} | {
-    ok: false;
-    reason: 'parse_error';
-    message: string;
-    raw?: unknown;
-    usage?: TokenUsage;
-    provider?: string;
-} | {
-    ok: false;
-    reason: 'transpile_error';
-    message: string;
-    errors: TranspileError[];
-    dsl: unknown;
-    usage?: TokenUsage;
-    provider?: string;
-} | {
-    ok: false;
-    reason: 'name_collision';
-    message: string;
-    collisions: string[];
-    errors: TranspileError[];
-    dsl: unknown;
-    usage?: TokenUsage;
-    provider?: string;
-} | {
-    ok: false;
-    reason: 'unresolved_ref';
-    message: string;
-    refs: string[];
-    errors: TranspileError[];
-    dsl: unknown;
-    usage?: TokenUsage;
-    provider?: string;
-} | {
-    ok: false;
-    reason: 'api_error';
-    message: string;
-    status?: number;
-    provider?: string;
-};
-interface GenerateFigureDeltaInput {
-    problem: string;
-    currentDsl: DslInputT;
-}
-declare function generateFigureDelta(input: GenerateFigureDeltaInput, opts?: GenerateDeltaOptions): Promise<GenerateDeltaResult>;
-
-interface HandleGenerateFigureDeltaInput {
-    problem: string;
-    currentDsl: DslInputT;
-}
-interface HandleGenerateFigureDeltaOptions extends GenerateDeltaOptions {
-    onResult?: (result: GenerateDeltaResult, attempt: number) => void;
-    maxAttempts?: number;
-}
-declare function handleGenerateFigureDelta(input: HandleGenerateFigureDeltaInput, opts?: HandleGenerateFigureDeltaOptions): Promise<AiFigureUiResult>;
-
-declare const FigureRefineEnvelopeZ: z.ZodEffects<z.ZodObject<{
-    decision: z.ZodEnum<["add", "replace", "refuse"]>;
-    figure: z.ZodOptional<z.ZodObject<{
-        version: z.ZodLiteral<1>;
-        points: z.ZodArray<z.ZodDiscriminatedUnion<"kind", [z.ZodObject<any, z.UnknownKeysParam, z.ZodTypeAny, {
-            [x: string]: any;
-        }, {
-            [x: string]: any;
-        }>, z.ZodObject<any, z.UnknownKeysParam, z.ZodTypeAny, {
-            [x: string]: any;
-        }, {
-            [x: string]: any;
-        }>, ...z.ZodObject<any, z.UnknownKeysParam, z.ZodTypeAny, {
-            [x: string]: any;
-        }, {
-            [x: string]: any;
-        }>[]]>, "many">;
-        shapes: z.ZodDefault<z.ZodArray<z.ZodDiscriminatedUnion<"kind", [z.ZodObject<any, z.UnknownKeysParam, z.ZodTypeAny, {
-            [x: string]: any;
-        }, {
-            [x: string]: any;
-        }>, z.ZodObject<any, z.UnknownKeysParam, z.ZodTypeAny, {
-            [x: string]: any;
-        }, {
-            [x: string]: any;
-        }>, ...z.ZodObject<any, z.UnknownKeysParam, z.ZodTypeAny, {
-            [x: string]: any;
-        }, {
-            [x: string]: any;
-        }>[]]>, "many">>;
-    }, "strip", z.ZodTypeAny, {
-        points: {
-            [x: string]: any;
-        }[];
-        version: 1;
-        shapes: {
-            [x: string]: any;
-        }[];
-    }, {
-        points: {
-            [x: string]: any;
-        }[];
-        version: 1;
-        shapes?: {
-            [x: string]: any;
-        }[] | undefined;
-    }>>;
-    reason: z.ZodOptional<z.ZodString>;
-}, "strip", z.ZodTypeAny, {
-    decision: "refuse" | "add" | "replace";
-    reason?: string | undefined;
-    figure?: {
-        points: {
-            [x: string]: any;
-        }[];
-        version: 1;
-        shapes: {
-            [x: string]: any;
-        }[];
-    } | undefined;
-}, {
-    decision: "refuse" | "add" | "replace";
-    reason?: string | undefined;
-    figure?: {
-        points: {
-            [x: string]: any;
-        }[];
-        version: 1;
-        shapes?: {
-            [x: string]: any;
-        }[] | undefined;
-    } | undefined;
-}>, {
-    decision: "refuse" | "add" | "replace";
-    reason?: string | undefined;
-    figure?: {
-        points: {
-            [x: string]: any;
-        }[];
-        version: 1;
-        shapes: {
-            [x: string]: any;
-        }[];
-    } | undefined;
-}, {
-    decision: "refuse" | "add" | "replace";
-    reason?: string | undefined;
-    figure?: {
-        points: {
-            [x: string]: any;
-        }[];
-        version: 1;
-        shapes?: {
-            [x: string]: any;
-        }[] | undefined;
-    } | undefined;
-}>;
-type FigureRefineEnvelopeT = z.infer<typeof FigureRefineEnvelopeZ>;
-declare function refineEnvelopeJsonSchema(): Record<string, unknown>;
-
 declare function intentEnvelopeJsonSchema(): Record<string, unknown>;
 declare function envelopeIntentList(env: IntentEnvelopeT): readonly IntentT[];
 
@@ -3343,57 +3337,4 @@ declare function tryPartialDeterministic(problem: string): PartialDeterministicR
  */
 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 };
+export { type AddPointIntentT, type AiFigureIntentUiResult, type ConnectIntentT, type DeterministicFigure, type DrawCircleIntentT, type DrawShapeIntentT, type FigureEnvelopeT, FigureEnvelopeZ, type GenerateIntentOptions, type HandleGenerateFigureInput, type HandleGenerateFigureIntentInput, type HandleGenerateFigureIntentOptions, type HandleGenerateFigureOptions, IntentBuilderError, type IntentEnvelopeT, IntentEnvelopeZ, type IntentFailureResult, type IntentGenerateResult, type IntentSuccessResult, type IntentT, IntentZ, type PartialDeterministicResult, type TryDeterministicResult, type VerifyIssue, type VerifyReport, buildIntentSystemPrompt, compareIntents, envelopeBuildDsl, envelopeIntentList, envelopeJsonSchema, generateFigureIntent, handleGenerateFigure, handleGenerateFigureIntent, intentEnvelopeJsonSchema, intentsToDsl, mergeIntents, tryDeterministicFigure, tryPartialDeterministic, verifyGeometry };