@xom11/whiteboard 0.31.0 → 0.33.0
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- package/dist/ai.d.mts +149 -28
- package/dist/ai.d.ts +149 -28
- package/dist/ai.js +2652 -430
- package/dist/ai.js.map +1 -1
- package/dist/ai.mjs +2482 -426
- package/dist/ai.mjs.map +1 -1
- package/dist/catalog.json +4 -4
- package/dist/{chunk-JJ4FPCBE.mjs → chunk-4EXRNZRX.mjs} +641 -75
- package/dist/chunk-4EXRNZRX.mjs.map +1 -0
- package/dist/{chunk-TMRFSOM7.mjs → chunk-4NJUTCFF.mjs} +4 -4
- package/dist/{chunk-TMRFSOM7.mjs.map → chunk-4NJUTCFF.mjs.map} +1 -1
- package/dist/{chunk-LTLLQUMN.mjs → chunk-BZZ5BROM.mjs} +6 -7
- package/dist/chunk-BZZ5BROM.mjs.map +1 -0
- package/dist/{host-KMWP7KBT.mjs → chunk-C3RDFBQ5.mjs} +20 -35
- package/dist/chunk-C3RDFBQ5.mjs.map +1 -0
- package/dist/chunk-C7C66BAV.mjs +11 -0
- package/dist/chunk-C7C66BAV.mjs.map +1 -0
- package/dist/{chunk-T3N4BSJV.mjs → chunk-DCFZTKFE.mjs} +13 -5
- package/dist/chunk-DCFZTKFE.mjs.map +1 -0
- package/dist/{chunk-44JY2AKC.mjs → chunk-F42MZ745.mjs} +3 -3
- package/dist/{chunk-44JY2AKC.mjs.map → chunk-F42MZ745.mjs.map} +1 -1
- package/dist/{chunk-BMYC2ILT.mjs → chunk-FOPZOVI3.mjs} +5 -4
- package/dist/chunk-FOPZOVI3.mjs.map +1 -0
- package/dist/{chunk-K5BS2H56.mjs → chunk-GKDQ5IV7.mjs} +4 -4
- package/dist/{chunk-K5BS2H56.mjs.map → chunk-GKDQ5IV7.mjs.map} +1 -1
- package/dist/{chunk-73Q7ADVL.mjs → chunk-MNHOFOM5.mjs} +2 -2
- package/dist/{chunk-73Q7ADVL.mjs.map → chunk-MNHOFOM5.mjs.map} +1 -1
- package/dist/{chunk-KOXOC2FI.mjs → chunk-NBMYET5H.mjs} +11 -15
- package/dist/chunk-NBMYET5H.mjs.map +1 -0
- package/dist/{chunk-DWIEVCGK.mjs → chunk-NTFG7ZRN.mjs} +53 -3
- package/dist/chunk-NTFG7ZRN.mjs.map +1 -0
- package/dist/{chunk-C76SOFXF.mjs → chunk-QCK3Z5WN.mjs} +3 -3
- package/dist/{chunk-C76SOFXF.mjs.map → chunk-QCK3Z5WN.mjs.map} +1 -1
- package/dist/chunk-SUXIMLYN.mjs +238 -0
- package/dist/chunk-SUXIMLYN.mjs.map +1 -0
- package/dist/geometry-2d.d.mts +1 -1
- package/dist/geometry-2d.d.ts +1 -1
- package/dist/geometry-2d.js +1026 -231
- package/dist/geometry-2d.js.map +1 -1
- package/dist/geometry-2d.mjs +6 -5
- package/dist/geometry-3d.d.mts +1 -1
- package/dist/geometry-3d.d.ts +1 -1
- package/dist/geometry-3d.js +4001 -475
- package/dist/geometry-3d.js.map +1 -1
- package/dist/geometry-3d.mjs +5 -5
- package/dist/graph-2d.d.mts +1 -1
- package/dist/graph-2d.d.ts +1 -1
- package/dist/graph-2d.js +712 -115
- package/dist/graph-2d.js.map +1 -1
- package/dist/graph-2d.mjs +5 -5
- package/dist/{handleExtractProblem-BrDY9ifM.d.ts → handleExtractProblem-mtJyhEw3.d.mts} +2 -0
- package/dist/{handleExtractProblem-BrDY9ifM.d.mts → handleExtractProblem-mtJyhEw3.d.ts} +2 -0
- package/dist/host-6WTLCXUE.mjs +62 -0
- package/dist/host-6WTLCXUE.mjs.map +1 -0
- package/dist/{host-H2IGOKJU.mjs → host-BWIXT5TR.mjs} +3 -3
- package/dist/{host-H2IGOKJU.mjs.map → host-BWIXT5TR.mjs.map} +1 -1
- package/dist/{host-4FIUNIDQ.mjs → host-QDVRULJV.mjs} +14 -11
- package/dist/host-QDVRULJV.mjs.map +1 -0
- package/dist/host-USOIVTQB.mjs +4976 -0
- package/dist/host-USOIVTQB.mjs.map +1 -0
- package/dist/index.d.mts +14 -4
- package/dist/index.d.ts +14 -4
- package/dist/index.js +4273 -521
- package/dist/index.js.map +1 -1
- package/dist/index.mjs +48 -27
- package/dist/index.mjs.map +1 -1
- package/dist/latex.d.mts +1 -1
- package/dist/latex.d.ts +1 -1
- package/dist/latex.mjs +1 -1
- package/dist/serialize-7UZWQQ4I.mjs +9 -0
- package/dist/{serialize-PGHQZEPV.mjs.map → serialize-7UZWQQ4I.mjs.map} +1 -1
- package/dist/studio.d.mts +35 -0
- package/dist/studio.d.ts +35 -0
- package/dist/studio.js +10883 -0
- package/dist/studio.js.map +1 -0
- package/dist/studio.mjs +28 -0
- package/dist/studio.mjs.map +1 -0
- package/dist/{types-tePd94vW.d.ts → types-eEEEVsLF.d.mts} +1 -1
- package/dist/{types-tePd94vW.d.mts → types-eEEEVsLF.d.ts} +1 -1
- package/package.json +12 -2
- package/dist/chunk-BMYC2ILT.mjs.map +0 -1
- package/dist/chunk-DWIEVCGK.mjs.map +0 -1
- package/dist/chunk-JJ4FPCBE.mjs.map +0 -1
- package/dist/chunk-KOXOC2FI.mjs.map +0 -1
- package/dist/chunk-LTLLQUMN.mjs.map +0 -1
- package/dist/chunk-QK6OVDLC.mjs +0 -103
- package/dist/chunk-QK6OVDLC.mjs.map +0 -1
- package/dist/chunk-T3N4BSJV.mjs.map +0 -1
- package/dist/host-4FIUNIDQ.mjs.map +0 -1
- package/dist/host-4ZB4XD4S.mjs +0 -2378
- package/dist/host-4ZB4XD4S.mjs.map +0 -1
- package/dist/host-KMWP7KBT.mjs.map +0 -1
- package/dist/serialize-PGHQZEPV.mjs +0 -9
package/dist/ai.d.mts
CHANGED
|
@@ -1,7 +1,7 @@
|
|
|
1
|
-
import {
|
|
1
|
+
import { d as State, b as AiFigureUiResult } from './types-eEEEVsLF.mjs';
|
|
2
2
|
import { z } from 'zod';
|
|
3
|
-
import { I as ImagePart } from './handleExtractProblem-
|
|
4
|
-
export { a as ExtractProblemOptions, b as ExtractProblemOutcome, E as ExtractUiResult, H as HandleExtractProblemOptions, e as extractProblemFromImage, h as handleExtractProblem } from './handleExtractProblem-
|
|
3
|
+
import { I as ImagePart } from './handleExtractProblem-mtJyhEw3.mjs';
|
|
4
|
+
export { a as ExtractProblemOptions, b as ExtractProblemOutcome, E as ExtractUiResult, H as HandleExtractProblemOptions, e as extractProblemFromImage, h as handleExtractProblem } from './handleExtractProblem-mtJyhEw3.mjs';
|
|
5
5
|
import 'react';
|
|
6
6
|
import '@excalidraw/excalidraw/element/types';
|
|
7
7
|
|
|
@@ -147,6 +147,13 @@ type DslPointT = {
|
|
|
147
147
|
from: Name;
|
|
148
148
|
through: Name;
|
|
149
149
|
distance: DslDistanceSpec;
|
|
150
|
+
} | {
|
|
151
|
+
name: Name;
|
|
152
|
+
kind: 'commonTangentPoint';
|
|
153
|
+
circles: [Name, Name];
|
|
154
|
+
on: 0 | 1;
|
|
155
|
+
variant: 'external' | 'internal';
|
|
156
|
+
side: 0 | 1;
|
|
150
157
|
};
|
|
151
158
|
type DslShapeT = {
|
|
152
159
|
name: Name;
|
|
@@ -265,9 +272,9 @@ declare const DrawShapeIntentZ: z.ZodObject<{
|
|
|
265
272
|
explicitCoords: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodTuple<[z.ZodNumber, z.ZodNumber], null>>>;
|
|
266
273
|
}, "strip", z.ZodTypeAny, {
|
|
267
274
|
shape: "square" | "rectangle" | "rhombus" | "parallelogram" | "triangle" | "trapezoid" | "quadrilateral";
|
|
275
|
+
variant: "any" | "equilateral" | "isoceles-AB" | "isoceles-BC" | "isoceles-CA" | "right-at-A" | "right-at-B" | "right-at-C" | "standard" | "wide" | "tall" | "right" | "isoceles" | "general";
|
|
268
276
|
op: "draw-shape";
|
|
269
277
|
labels: string[];
|
|
270
|
-
variant: "any" | "equilateral" | "isoceles-AB" | "isoceles-BC" | "isoceles-CA" | "right-at-A" | "right-at-B" | "right-at-C" | "standard" | "wide" | "tall" | "right" | "isoceles" | "general";
|
|
271
278
|
explicitCoords?: Record<string, [number, number]> | undefined;
|
|
272
279
|
}, {
|
|
273
280
|
shape: "square" | "rectangle" | "rhombus" | "parallelogram" | "triangle" | "trapezoid" | "quadrilateral";
|
|
@@ -680,6 +687,24 @@ declare const AddPointIntentZ: z.ZodObject<{
|
|
|
680
687
|
scale?: number | undefined;
|
|
681
688
|
offset?: number | undefined;
|
|
682
689
|
};
|
|
690
|
+
}>, z.ZodObject<{
|
|
691
|
+
kind: z.ZodLiteral<"commonTangentPoint">;
|
|
692
|
+
circles: z.ZodTuple<[z.ZodString, z.ZodString], null>;
|
|
693
|
+
on: z.ZodUnion<[z.ZodLiteral<0>, z.ZodLiteral<1>]>;
|
|
694
|
+
variant: z.ZodEnum<["external", "internal"]>;
|
|
695
|
+
side: z.ZodUnion<[z.ZodLiteral<0>, z.ZodLiteral<1>]>;
|
|
696
|
+
}, "strip", z.ZodTypeAny, {
|
|
697
|
+
kind: "commonTangentPoint";
|
|
698
|
+
circles: [string, string];
|
|
699
|
+
on: 0 | 1;
|
|
700
|
+
variant: "external" | "internal";
|
|
701
|
+
side: 0 | 1;
|
|
702
|
+
}, {
|
|
703
|
+
kind: "commonTangentPoint";
|
|
704
|
+
circles: [string, string];
|
|
705
|
+
on: 0 | 1;
|
|
706
|
+
variant: "external" | "internal";
|
|
707
|
+
side: 0 | 1;
|
|
683
708
|
}>]>;
|
|
684
709
|
}, "strip", z.ZodTypeAny, {
|
|
685
710
|
constraint: {
|
|
@@ -805,6 +830,12 @@ declare const AddPointIntentZ: z.ZodObject<{
|
|
|
805
830
|
scale?: number | undefined;
|
|
806
831
|
offset?: number | undefined;
|
|
807
832
|
};
|
|
833
|
+
} | {
|
|
834
|
+
kind: "commonTangentPoint";
|
|
835
|
+
circles: [string, string];
|
|
836
|
+
on: 0 | 1;
|
|
837
|
+
variant: "external" | "internal";
|
|
838
|
+
side: 0 | 1;
|
|
808
839
|
};
|
|
809
840
|
name: string;
|
|
810
841
|
op: "add-point";
|
|
@@ -932,6 +963,12 @@ declare const AddPointIntentZ: z.ZodObject<{
|
|
|
932
963
|
scale?: number | undefined;
|
|
933
964
|
offset?: number | undefined;
|
|
934
965
|
};
|
|
966
|
+
} | {
|
|
967
|
+
kind: "commonTangentPoint";
|
|
968
|
+
circles: [string, string];
|
|
969
|
+
on: 0 | 1;
|
|
970
|
+
variant: "external" | "internal";
|
|
971
|
+
side: 0 | 1;
|
|
935
972
|
};
|
|
936
973
|
name: string;
|
|
937
974
|
op: "add-point";
|
|
@@ -967,8 +1004,8 @@ declare const DrawCircleIntentZ: z.ZodObject<{
|
|
|
967
1004
|
op: "draw-circle";
|
|
968
1005
|
spec: "diameter" | "centerThrough" | "through3" | "centerRadius" | "inscribedIn";
|
|
969
1006
|
points?: [string, string, string] | undefined;
|
|
970
|
-
through?: string | undefined;
|
|
971
1007
|
center?: string | undefined;
|
|
1008
|
+
through?: string | undefined;
|
|
972
1009
|
radius?: number | undefined;
|
|
973
1010
|
triangle?: [string, string, string] | undefined;
|
|
974
1011
|
endpoints?: [string, string] | undefined;
|
|
@@ -977,8 +1014,8 @@ declare const DrawCircleIntentZ: z.ZodObject<{
|
|
|
977
1014
|
op: "draw-circle";
|
|
978
1015
|
spec: "diameter" | "centerThrough" | "through3" | "centerRadius" | "inscribedIn";
|
|
979
1016
|
points?: [string, string, string] | undefined;
|
|
980
|
-
through?: string | undefined;
|
|
981
1017
|
center?: string | undefined;
|
|
1018
|
+
through?: string | undefined;
|
|
982
1019
|
radius?: number | undefined;
|
|
983
1020
|
triangle?: [string, string, string] | undefined;
|
|
984
1021
|
endpoints?: [string, string] | undefined;
|
|
@@ -991,9 +1028,9 @@ declare const IntentZ: z.ZodDiscriminatedUnion<"op", [z.ZodObject<{
|
|
|
991
1028
|
explicitCoords: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodTuple<[z.ZodNumber, z.ZodNumber], null>>>;
|
|
992
1029
|
}, "strip", z.ZodTypeAny, {
|
|
993
1030
|
shape: "square" | "rectangle" | "rhombus" | "parallelogram" | "triangle" | "trapezoid" | "quadrilateral";
|
|
1031
|
+
variant: "any" | "equilateral" | "isoceles-AB" | "isoceles-BC" | "isoceles-CA" | "right-at-A" | "right-at-B" | "right-at-C" | "standard" | "wide" | "tall" | "right" | "isoceles" | "general";
|
|
994
1032
|
op: "draw-shape";
|
|
995
1033
|
labels: string[];
|
|
996
|
-
variant: "any" | "equilateral" | "isoceles-AB" | "isoceles-BC" | "isoceles-CA" | "right-at-A" | "right-at-B" | "right-at-C" | "standard" | "wide" | "tall" | "right" | "isoceles" | "general";
|
|
997
1034
|
explicitCoords?: Record<string, [number, number]> | undefined;
|
|
998
1035
|
}, {
|
|
999
1036
|
shape: "square" | "rectangle" | "rhombus" | "parallelogram" | "triangle" | "trapezoid" | "quadrilateral";
|
|
@@ -1405,6 +1442,24 @@ declare const IntentZ: z.ZodDiscriminatedUnion<"op", [z.ZodObject<{
|
|
|
1405
1442
|
scale?: number | undefined;
|
|
1406
1443
|
offset?: number | undefined;
|
|
1407
1444
|
};
|
|
1445
|
+
}>, z.ZodObject<{
|
|
1446
|
+
kind: z.ZodLiteral<"commonTangentPoint">;
|
|
1447
|
+
circles: z.ZodTuple<[z.ZodString, z.ZodString], null>;
|
|
1448
|
+
on: z.ZodUnion<[z.ZodLiteral<0>, z.ZodLiteral<1>]>;
|
|
1449
|
+
variant: z.ZodEnum<["external", "internal"]>;
|
|
1450
|
+
side: z.ZodUnion<[z.ZodLiteral<0>, z.ZodLiteral<1>]>;
|
|
1451
|
+
}, "strip", z.ZodTypeAny, {
|
|
1452
|
+
kind: "commonTangentPoint";
|
|
1453
|
+
circles: [string, string];
|
|
1454
|
+
on: 0 | 1;
|
|
1455
|
+
variant: "external" | "internal";
|
|
1456
|
+
side: 0 | 1;
|
|
1457
|
+
}, {
|
|
1458
|
+
kind: "commonTangentPoint";
|
|
1459
|
+
circles: [string, string];
|
|
1460
|
+
on: 0 | 1;
|
|
1461
|
+
variant: "external" | "internal";
|
|
1462
|
+
side: 0 | 1;
|
|
1408
1463
|
}>]>;
|
|
1409
1464
|
}, "strip", z.ZodTypeAny, {
|
|
1410
1465
|
constraint: {
|
|
@@ -1530,6 +1585,12 @@ declare const IntentZ: z.ZodDiscriminatedUnion<"op", [z.ZodObject<{
|
|
|
1530
1585
|
scale?: number | undefined;
|
|
1531
1586
|
offset?: number | undefined;
|
|
1532
1587
|
};
|
|
1588
|
+
} | {
|
|
1589
|
+
kind: "commonTangentPoint";
|
|
1590
|
+
circles: [string, string];
|
|
1591
|
+
on: 0 | 1;
|
|
1592
|
+
variant: "external" | "internal";
|
|
1593
|
+
side: 0 | 1;
|
|
1533
1594
|
};
|
|
1534
1595
|
name: string;
|
|
1535
1596
|
op: "add-point";
|
|
@@ -1657,6 +1718,12 @@ declare const IntentZ: z.ZodDiscriminatedUnion<"op", [z.ZodObject<{
|
|
|
1657
1718
|
scale?: number | undefined;
|
|
1658
1719
|
offset?: number | undefined;
|
|
1659
1720
|
};
|
|
1721
|
+
} | {
|
|
1722
|
+
kind: "commonTangentPoint";
|
|
1723
|
+
circles: [string, string];
|
|
1724
|
+
on: 0 | 1;
|
|
1725
|
+
variant: "external" | "internal";
|
|
1726
|
+
side: 0 | 1;
|
|
1660
1727
|
};
|
|
1661
1728
|
name: string;
|
|
1662
1729
|
op: "add-point";
|
|
@@ -1690,8 +1757,8 @@ declare const IntentZ: z.ZodDiscriminatedUnion<"op", [z.ZodObject<{
|
|
|
1690
1757
|
op: "draw-circle";
|
|
1691
1758
|
spec: "diameter" | "centerThrough" | "through3" | "centerRadius" | "inscribedIn";
|
|
1692
1759
|
points?: [string, string, string] | undefined;
|
|
1693
|
-
through?: string | undefined;
|
|
1694
1760
|
center?: string | undefined;
|
|
1761
|
+
through?: string | undefined;
|
|
1695
1762
|
radius?: number | undefined;
|
|
1696
1763
|
triangle?: [string, string, string] | undefined;
|
|
1697
1764
|
endpoints?: [string, string] | undefined;
|
|
@@ -1700,8 +1767,8 @@ declare const IntentZ: z.ZodDiscriminatedUnion<"op", [z.ZodObject<{
|
|
|
1700
1767
|
op: "draw-circle";
|
|
1701
1768
|
spec: "diameter" | "centerThrough" | "through3" | "centerRadius" | "inscribedIn";
|
|
1702
1769
|
points?: [string, string, string] | undefined;
|
|
1703
|
-
through?: string | undefined;
|
|
1704
1770
|
center?: string | undefined;
|
|
1771
|
+
through?: string | undefined;
|
|
1705
1772
|
radius?: number | undefined;
|
|
1706
1773
|
triangle?: [string, string, string] | undefined;
|
|
1707
1774
|
endpoints?: [string, string] | undefined;
|
|
@@ -1752,14 +1819,14 @@ declare const IntentZ: z.ZodDiscriminatedUnion<"op", [z.ZodObject<{
|
|
|
1752
1819
|
to?: string | undefined;
|
|
1753
1820
|
}>, z.ZodObject<{
|
|
1754
1821
|
op: z.ZodLiteral<"mark-shape">;
|
|
1755
|
-
shape: z.ZodEnum<["triangle", "quadrilateral"]>;
|
|
1822
|
+
shape: z.ZodEnum<["triangle", "quadrilateral", "polygon"]>;
|
|
1756
1823
|
labels: z.ZodArray<z.ZodString, "many">;
|
|
1757
1824
|
}, "strip", z.ZodTypeAny, {
|
|
1758
|
-
shape: "triangle" | "quadrilateral";
|
|
1825
|
+
shape: "polygon" | "triangle" | "quadrilateral";
|
|
1759
1826
|
op: "mark-shape";
|
|
1760
1827
|
labels: string[];
|
|
1761
1828
|
}, {
|
|
1762
|
-
shape: "triangle" | "quadrilateral";
|
|
1829
|
+
shape: "polygon" | "triangle" | "quadrilateral";
|
|
1763
1830
|
op: "mark-shape";
|
|
1764
1831
|
labels: string[];
|
|
1765
1832
|
}>]>;
|
|
@@ -1779,9 +1846,9 @@ declare const IntentEnvelopeZ: z.ZodEffects<z.ZodObject<{
|
|
|
1779
1846
|
explicitCoords: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodTuple<[z.ZodNumber, z.ZodNumber], null>>>;
|
|
1780
1847
|
}, "strip", z.ZodTypeAny, {
|
|
1781
1848
|
shape: "square" | "rectangle" | "rhombus" | "parallelogram" | "triangle" | "trapezoid" | "quadrilateral";
|
|
1849
|
+
variant: "any" | "equilateral" | "isoceles-AB" | "isoceles-BC" | "isoceles-CA" | "right-at-A" | "right-at-B" | "right-at-C" | "standard" | "wide" | "tall" | "right" | "isoceles" | "general";
|
|
1782
1850
|
op: "draw-shape";
|
|
1783
1851
|
labels: string[];
|
|
1784
|
-
variant: "any" | "equilateral" | "isoceles-AB" | "isoceles-BC" | "isoceles-CA" | "right-at-A" | "right-at-B" | "right-at-C" | "standard" | "wide" | "tall" | "right" | "isoceles" | "general";
|
|
1785
1852
|
explicitCoords?: Record<string, [number, number]> | undefined;
|
|
1786
1853
|
}, {
|
|
1787
1854
|
shape: "square" | "rectangle" | "rhombus" | "parallelogram" | "triangle" | "trapezoid" | "quadrilateral";
|
|
@@ -2193,6 +2260,24 @@ declare const IntentEnvelopeZ: z.ZodEffects<z.ZodObject<{
|
|
|
2193
2260
|
scale?: number | undefined;
|
|
2194
2261
|
offset?: number | undefined;
|
|
2195
2262
|
};
|
|
2263
|
+
}>, z.ZodObject<{
|
|
2264
|
+
kind: z.ZodLiteral<"commonTangentPoint">;
|
|
2265
|
+
circles: z.ZodTuple<[z.ZodString, z.ZodString], null>;
|
|
2266
|
+
on: z.ZodUnion<[z.ZodLiteral<0>, z.ZodLiteral<1>]>;
|
|
2267
|
+
variant: z.ZodEnum<["external", "internal"]>;
|
|
2268
|
+
side: z.ZodUnion<[z.ZodLiteral<0>, z.ZodLiteral<1>]>;
|
|
2269
|
+
}, "strip", z.ZodTypeAny, {
|
|
2270
|
+
kind: "commonTangentPoint";
|
|
2271
|
+
circles: [string, string];
|
|
2272
|
+
on: 0 | 1;
|
|
2273
|
+
variant: "external" | "internal";
|
|
2274
|
+
side: 0 | 1;
|
|
2275
|
+
}, {
|
|
2276
|
+
kind: "commonTangentPoint";
|
|
2277
|
+
circles: [string, string];
|
|
2278
|
+
on: 0 | 1;
|
|
2279
|
+
variant: "external" | "internal";
|
|
2280
|
+
side: 0 | 1;
|
|
2196
2281
|
}>]>;
|
|
2197
2282
|
}, "strip", z.ZodTypeAny, {
|
|
2198
2283
|
constraint: {
|
|
@@ -2318,6 +2403,12 @@ declare const IntentEnvelopeZ: z.ZodEffects<z.ZodObject<{
|
|
|
2318
2403
|
scale?: number | undefined;
|
|
2319
2404
|
offset?: number | undefined;
|
|
2320
2405
|
};
|
|
2406
|
+
} | {
|
|
2407
|
+
kind: "commonTangentPoint";
|
|
2408
|
+
circles: [string, string];
|
|
2409
|
+
on: 0 | 1;
|
|
2410
|
+
variant: "external" | "internal";
|
|
2411
|
+
side: 0 | 1;
|
|
2321
2412
|
};
|
|
2322
2413
|
name: string;
|
|
2323
2414
|
op: "add-point";
|
|
@@ -2445,6 +2536,12 @@ declare const IntentEnvelopeZ: z.ZodEffects<z.ZodObject<{
|
|
|
2445
2536
|
scale?: number | undefined;
|
|
2446
2537
|
offset?: number | undefined;
|
|
2447
2538
|
};
|
|
2539
|
+
} | {
|
|
2540
|
+
kind: "commonTangentPoint";
|
|
2541
|
+
circles: [string, string];
|
|
2542
|
+
on: 0 | 1;
|
|
2543
|
+
variant: "external" | "internal";
|
|
2544
|
+
side: 0 | 1;
|
|
2448
2545
|
};
|
|
2449
2546
|
name: string;
|
|
2450
2547
|
op: "add-point";
|
|
@@ -2478,8 +2575,8 @@ declare const IntentEnvelopeZ: z.ZodEffects<z.ZodObject<{
|
|
|
2478
2575
|
op: "draw-circle";
|
|
2479
2576
|
spec: "diameter" | "centerThrough" | "through3" | "centerRadius" | "inscribedIn";
|
|
2480
2577
|
points?: [string, string, string] | undefined;
|
|
2481
|
-
through?: string | undefined;
|
|
2482
2578
|
center?: string | undefined;
|
|
2579
|
+
through?: string | undefined;
|
|
2483
2580
|
radius?: number | undefined;
|
|
2484
2581
|
triangle?: [string, string, string] | undefined;
|
|
2485
2582
|
endpoints?: [string, string] | undefined;
|
|
@@ -2488,8 +2585,8 @@ declare const IntentEnvelopeZ: z.ZodEffects<z.ZodObject<{
|
|
|
2488
2585
|
op: "draw-circle";
|
|
2489
2586
|
spec: "diameter" | "centerThrough" | "through3" | "centerRadius" | "inscribedIn";
|
|
2490
2587
|
points?: [string, string, string] | undefined;
|
|
2491
|
-
through?: string | undefined;
|
|
2492
2588
|
center?: string | undefined;
|
|
2589
|
+
through?: string | undefined;
|
|
2493
2590
|
radius?: number | undefined;
|
|
2494
2591
|
triangle?: [string, string, string] | undefined;
|
|
2495
2592
|
endpoints?: [string, string] | undefined;
|
|
@@ -2540,14 +2637,14 @@ declare const IntentEnvelopeZ: z.ZodEffects<z.ZodObject<{
|
|
|
2540
2637
|
to?: string | undefined;
|
|
2541
2638
|
}>, z.ZodObject<{
|
|
2542
2639
|
op: z.ZodLiteral<"mark-shape">;
|
|
2543
|
-
shape: z.ZodEnum<["triangle", "quadrilateral"]>;
|
|
2640
|
+
shape: z.ZodEnum<["triangle", "quadrilateral", "polygon"]>;
|
|
2544
2641
|
labels: z.ZodArray<z.ZodString, "many">;
|
|
2545
2642
|
}, "strip", z.ZodTypeAny, {
|
|
2546
|
-
shape: "triangle" | "quadrilateral";
|
|
2643
|
+
shape: "polygon" | "triangle" | "quadrilateral";
|
|
2547
2644
|
op: "mark-shape";
|
|
2548
2645
|
labels: string[];
|
|
2549
2646
|
}, {
|
|
2550
|
-
shape: "triangle" | "quadrilateral";
|
|
2647
|
+
shape: "polygon" | "triangle" | "quadrilateral";
|
|
2551
2648
|
op: "mark-shape";
|
|
2552
2649
|
labels: string[];
|
|
2553
2650
|
}>]>, "many">>;
|
|
@@ -2557,9 +2654,9 @@ declare const IntentEnvelopeZ: z.ZodEffects<z.ZodObject<{
|
|
|
2557
2654
|
reason?: string | undefined;
|
|
2558
2655
|
intents?: ({
|
|
2559
2656
|
shape: "square" | "rectangle" | "rhombus" | "parallelogram" | "triangle" | "trapezoid" | "quadrilateral";
|
|
2657
|
+
variant: "any" | "equilateral" | "isoceles-AB" | "isoceles-BC" | "isoceles-CA" | "right-at-A" | "right-at-B" | "right-at-C" | "standard" | "wide" | "tall" | "right" | "isoceles" | "general";
|
|
2560
2658
|
op: "draw-shape";
|
|
2561
2659
|
labels: string[];
|
|
2562
|
-
variant: "any" | "equilateral" | "isoceles-AB" | "isoceles-BC" | "isoceles-CA" | "right-at-A" | "right-at-B" | "right-at-C" | "standard" | "wide" | "tall" | "right" | "isoceles" | "general";
|
|
2563
2660
|
explicitCoords?: Record<string, [number, number]> | undefined;
|
|
2564
2661
|
} | {
|
|
2565
2662
|
constraint: {
|
|
@@ -2685,6 +2782,12 @@ declare const IntentEnvelopeZ: z.ZodEffects<z.ZodObject<{
|
|
|
2685
2782
|
scale?: number | undefined;
|
|
2686
2783
|
offset?: number | undefined;
|
|
2687
2784
|
};
|
|
2785
|
+
} | {
|
|
2786
|
+
kind: "commonTangentPoint";
|
|
2787
|
+
circles: [string, string];
|
|
2788
|
+
on: 0 | 1;
|
|
2789
|
+
variant: "external" | "internal";
|
|
2790
|
+
side: 0 | 1;
|
|
2688
2791
|
};
|
|
2689
2792
|
name: string;
|
|
2690
2793
|
op: "add-point";
|
|
@@ -2698,8 +2801,8 @@ declare const IntentEnvelopeZ: z.ZodEffects<z.ZodObject<{
|
|
|
2698
2801
|
op: "draw-circle";
|
|
2699
2802
|
spec: "diameter" | "centerThrough" | "through3" | "centerRadius" | "inscribedIn";
|
|
2700
2803
|
points?: [string, string, string] | undefined;
|
|
2701
|
-
through?: string | undefined;
|
|
2702
2804
|
center?: string | undefined;
|
|
2805
|
+
through?: string | undefined;
|
|
2703
2806
|
radius?: number | undefined;
|
|
2704
2807
|
triangle?: [string, string, string] | undefined;
|
|
2705
2808
|
endpoints?: [string, string] | undefined;
|
|
@@ -2719,7 +2822,7 @@ declare const IntentEnvelopeZ: z.ZodEffects<z.ZodObject<{
|
|
|
2719
2822
|
which?: "first" | "second" | "both" | undefined;
|
|
2720
2823
|
to?: string | undefined;
|
|
2721
2824
|
} | {
|
|
2722
|
-
shape: "triangle" | "quadrilateral";
|
|
2825
|
+
shape: "polygon" | "triangle" | "quadrilateral";
|
|
2723
2826
|
op: "mark-shape";
|
|
2724
2827
|
labels: string[];
|
|
2725
2828
|
})[] | undefined;
|
|
@@ -2856,6 +2959,12 @@ declare const IntentEnvelopeZ: z.ZodEffects<z.ZodObject<{
|
|
|
2856
2959
|
scale?: number | undefined;
|
|
2857
2960
|
offset?: number | undefined;
|
|
2858
2961
|
};
|
|
2962
|
+
} | {
|
|
2963
|
+
kind: "commonTangentPoint";
|
|
2964
|
+
circles: [string, string];
|
|
2965
|
+
on: 0 | 1;
|
|
2966
|
+
variant: "external" | "internal";
|
|
2967
|
+
side: 0 | 1;
|
|
2859
2968
|
};
|
|
2860
2969
|
name: string;
|
|
2861
2970
|
op: "add-point";
|
|
@@ -2869,8 +2978,8 @@ declare const IntentEnvelopeZ: z.ZodEffects<z.ZodObject<{
|
|
|
2869
2978
|
op: "draw-circle";
|
|
2870
2979
|
spec: "diameter" | "centerThrough" | "through3" | "centerRadius" | "inscribedIn";
|
|
2871
2980
|
points?: [string, string, string] | undefined;
|
|
2872
|
-
through?: string | undefined;
|
|
2873
2981
|
center?: string | undefined;
|
|
2982
|
+
through?: string | undefined;
|
|
2874
2983
|
radius?: number | undefined;
|
|
2875
2984
|
triangle?: [string, string, string] | undefined;
|
|
2876
2985
|
endpoints?: [string, string] | undefined;
|
|
@@ -2890,7 +2999,7 @@ declare const IntentEnvelopeZ: z.ZodEffects<z.ZodObject<{
|
|
|
2890
2999
|
which?: "first" | "second" | "both" | undefined;
|
|
2891
3000
|
to?: string | undefined;
|
|
2892
3001
|
} | {
|
|
2893
|
-
shape: "triangle" | "quadrilateral";
|
|
3002
|
+
shape: "polygon" | "triangle" | "quadrilateral";
|
|
2894
3003
|
op: "mark-shape";
|
|
2895
3004
|
labels: string[];
|
|
2896
3005
|
})[] | undefined;
|
|
@@ -2899,9 +3008,9 @@ declare const IntentEnvelopeZ: z.ZodEffects<z.ZodObject<{
|
|
|
2899
3008
|
reason?: string | undefined;
|
|
2900
3009
|
intents?: ({
|
|
2901
3010
|
shape: "square" | "rectangle" | "rhombus" | "parallelogram" | "triangle" | "trapezoid" | "quadrilateral";
|
|
3011
|
+
variant: "any" | "equilateral" | "isoceles-AB" | "isoceles-BC" | "isoceles-CA" | "right-at-A" | "right-at-B" | "right-at-C" | "standard" | "wide" | "tall" | "right" | "isoceles" | "general";
|
|
2902
3012
|
op: "draw-shape";
|
|
2903
3013
|
labels: string[];
|
|
2904
|
-
variant: "any" | "equilateral" | "isoceles-AB" | "isoceles-BC" | "isoceles-CA" | "right-at-A" | "right-at-B" | "right-at-C" | "standard" | "wide" | "tall" | "right" | "isoceles" | "general";
|
|
2905
3014
|
explicitCoords?: Record<string, [number, number]> | undefined;
|
|
2906
3015
|
} | {
|
|
2907
3016
|
constraint: {
|
|
@@ -3027,6 +3136,12 @@ declare const IntentEnvelopeZ: z.ZodEffects<z.ZodObject<{
|
|
|
3027
3136
|
scale?: number | undefined;
|
|
3028
3137
|
offset?: number | undefined;
|
|
3029
3138
|
};
|
|
3139
|
+
} | {
|
|
3140
|
+
kind: "commonTangentPoint";
|
|
3141
|
+
circles: [string, string];
|
|
3142
|
+
on: 0 | 1;
|
|
3143
|
+
variant: "external" | "internal";
|
|
3144
|
+
side: 0 | 1;
|
|
3030
3145
|
};
|
|
3031
3146
|
name: string;
|
|
3032
3147
|
op: "add-point";
|
|
@@ -3040,8 +3155,8 @@ declare const IntentEnvelopeZ: z.ZodEffects<z.ZodObject<{
|
|
|
3040
3155
|
op: "draw-circle";
|
|
3041
3156
|
spec: "diameter" | "centerThrough" | "through3" | "centerRadius" | "inscribedIn";
|
|
3042
3157
|
points?: [string, string, string] | undefined;
|
|
3043
|
-
through?: string | undefined;
|
|
3044
3158
|
center?: string | undefined;
|
|
3159
|
+
through?: string | undefined;
|
|
3045
3160
|
radius?: number | undefined;
|
|
3046
3161
|
triangle?: [string, string, string] | undefined;
|
|
3047
3162
|
endpoints?: [string, string] | undefined;
|
|
@@ -3061,7 +3176,7 @@ declare const IntentEnvelopeZ: z.ZodEffects<z.ZodObject<{
|
|
|
3061
3176
|
which?: "first" | "second" | "both" | undefined;
|
|
3062
3177
|
to?: string | undefined;
|
|
3063
3178
|
} | {
|
|
3064
|
-
shape: "triangle" | "quadrilateral";
|
|
3179
|
+
shape: "polygon" | "triangle" | "quadrilateral";
|
|
3065
3180
|
op: "mark-shape";
|
|
3066
3181
|
labels: string[];
|
|
3067
3182
|
})[] | undefined;
|
|
@@ -3198,6 +3313,12 @@ declare const IntentEnvelopeZ: z.ZodEffects<z.ZodObject<{
|
|
|
3198
3313
|
scale?: number | undefined;
|
|
3199
3314
|
offset?: number | undefined;
|
|
3200
3315
|
};
|
|
3316
|
+
} | {
|
|
3317
|
+
kind: "commonTangentPoint";
|
|
3318
|
+
circles: [string, string];
|
|
3319
|
+
on: 0 | 1;
|
|
3320
|
+
variant: "external" | "internal";
|
|
3321
|
+
side: 0 | 1;
|
|
3201
3322
|
};
|
|
3202
3323
|
name: string;
|
|
3203
3324
|
op: "add-point";
|
|
@@ -3211,8 +3332,8 @@ declare const IntentEnvelopeZ: z.ZodEffects<z.ZodObject<{
|
|
|
3211
3332
|
op: "draw-circle";
|
|
3212
3333
|
spec: "diameter" | "centerThrough" | "through3" | "centerRadius" | "inscribedIn";
|
|
3213
3334
|
points?: [string, string, string] | undefined;
|
|
3214
|
-
through?: string | undefined;
|
|
3215
3335
|
center?: string | undefined;
|
|
3336
|
+
through?: string | undefined;
|
|
3216
3337
|
radius?: number | undefined;
|
|
3217
3338
|
triangle?: [string, string, string] | undefined;
|
|
3218
3339
|
endpoints?: [string, string] | undefined;
|
|
@@ -3232,7 +3353,7 @@ declare const IntentEnvelopeZ: z.ZodEffects<z.ZodObject<{
|
|
|
3232
3353
|
which?: "first" | "second" | "both" | undefined;
|
|
3233
3354
|
to?: string | undefined;
|
|
3234
3355
|
} | {
|
|
3235
|
-
shape: "triangle" | "quadrilateral";
|
|
3356
|
+
shape: "polygon" | "triangle" | "quadrilateral";
|
|
3236
3357
|
op: "mark-shape";
|
|
3237
3358
|
labels: string[];
|
|
3238
3359
|
})[] | undefined;
|