@xom11/whiteboard 0.29.0 → 0.31.0

package/dist/{chunk-E6EDOPGT.mjs → chunk-DWIEVCGK.mjs}

@@ -2,6 +2,79 @@
 import { getKind } from './chunk-B4NJJZFR.mjs';
 import { z } from 'zod';
 
+// src/stamps/geometry-2d/ai/vision/preprocess.ts
+var MAX_EDGE_PX = 2048;
+var MAX_RAW_BYTES = 10 * 1024 * 1024;
+var MAX_ENCODED_BYTES = 3 * 1024 * 1024;
+var ALLOWED_TYPES = ["image/png", "image/jpeg", "image/webp"];
+function inferMediaType(file) {
+  const t = file.type.toLowerCase();
+  if (ALLOWED_TYPES.includes(t)) return t;
+  return null;
+}
+function validateFile(file) {
+  const mt = inferMediaType(file);
+  if (mt == null) {
+    return {
+      ok: false,
+      code: "invalid-format",
+      message: "Ch\u1EC9 h\u1ED7 tr\u1EE3 PNG, JPEG, WEBP."
+    };
+  }
+  if (file.size > MAX_RAW_BYTES) {
+    return {
+      ok: false,
+      code: "too-large",
+      message: `\u1EA2nh qu\xE1 l\u1EDBn (> ${Math.round(MAX_RAW_BYTES / 1024 / 1024)} MB). Crop ho\u1EB7c resize tr\u01B0\u1EDBc.`
+    };
+  }
+  return { ok: true, mediaType: mt };
+}
+async function fileToImagePart(file) {
+  const v = validateFile(file);
+  if (!v.ok) throw new Error(v.message);
+  const bitmap = await createImageBitmap(file);
+  const { width, height } = bitmap;
+  const maxEdge = Math.max(width, height);
+  const scale = maxEdge > MAX_EDGE_PX ? MAX_EDGE_PX / maxEdge : 1;
+  const targetW = Math.round(width * scale);
+  const targetH = Math.round(height * scale);
+  const canvas = typeof OffscreenCanvas !== "undefined" ? new OffscreenCanvas(targetW, targetH) : Object.assign(document.createElement("canvas"), { width: targetW, height: targetH });
+  const ctx = canvas.getContext("2d");
+  if (!ctx) throw new Error("Kh\xF4ng t\u1EA1o \u0111\u01B0\u1EE3c canvas 2D context");
+  ctx.drawImage(bitmap, 0, 0, targetW, targetH);
+  bitmap.close();
+  let outputType = v.mediaType === "image/png" ? "image/png" : "image/jpeg";
+  let finalBlob = await canvasToBlob(canvas, outputType, 0.92);
+  if (finalBlob.size > MAX_ENCODED_BYTES) {
+    outputType = "image/jpeg";
+    finalBlob = await canvasToBlob(canvas, "image/jpeg", 0.7);
+  }
+  const base64 = await blobToBase64(finalBlob);
+  return { mediaType: outputType, base64 };
+}
+async function canvasToBlob(canvas, type, quality) {
+  if ("convertToBlob" in canvas) {
+    return canvas.convertToBlob({ type, quality });
+  }
+  return new Promise((resolve, reject) => {
+    canvas.toBlob(
+      (b) => b ? resolve(b) : reject(new Error("Canvas encode fail")),
+      type,
+      quality
+    );
+  });
+}
+async function blobToBase64(blob) {
+  const buf = await blob.arrayBuffer();
+  let binary = "";
+  const bytes = new Uint8Array(buf);
+  const chunk = 32768;
+  for (let i = 0; i < bytes.length; i += chunk) {
+    binary += String.fromCharCode(...bytes.subarray(i, i + chunk));
+  }
+  return typeof btoa === "function" ? btoa(binary) : Buffer.from(binary, "binary").toString("base64");
+}
 var NameZ = z.string().regex(/^[A-Za-z][A-Za-z0-9_'₀-₉]{0,11}$/);
 
 // src/stamps/geometry-2d/dsl/kinds/_types.ts
@@ -49,6 +122,8 @@ var freeModule = defineModule({
     y: z.number().finite()
   }),
   collectRefs: () => [],
+  refSpecs: [],
+  // không có ref — khai rỗng để registry-handled tường minh
   emit: (e, ctx) => [{
     role: "primary",
     object: emitPointObject(ctx.resolveId(e.name), e.name, { kind: "free", x: e.x, y: e.y })
@@ -67,6 +142,10 @@ var midpointModule = defineModule({
     visible: z.boolean().optional()
   }),
   collectRefs: (e) => [e.p1, e.p2],
+  refSpecs: [
+    { field: "p1", role: "point" },
+    { field: "p2", role: "point" }
+  ],
   emit: (e, ctx) => [{
     role: "primary",
     object: emitPointObject(
@@ -77,6 +156,29 @@ var midpointModule = defineModule({
     )
   }]
 });
+var onPerpBisectorModule = defineModule({
+  kind: "onPerpBisector",
+  role: "point",
+  category: "points",
+  prefix: "p",
+  schema: z.object({
+    name: NameZ,
+    kind: z.literal("onPerpBisector"),
+    p1: NameZ,
+    p2: NameZ,
+    t: z.number().optional()
+  }),
+  collectRefs: (e) => [e.p1, e.p2],
+  emit: (e, ctx) => [{
+    role: "primary",
+    object: emitPointObject(ctx.resolveId(e.name), e.name, {
+      kind: "onPerpBisector",
+      p1: ctx.resolveId(e.p1),
+      p2: ctx.resolveId(e.p2),
+      t: e.t ?? 3
+    })
+  }]
+});
 var onSegmentModule = defineModule({
   kind: "onSegment",
   role: "point",
@@ -89,6 +191,7 @@ var onSegmentModule = defineModule({
     t: z.number().min(0).max(1)
   }),
   collectRefs: (e) => [e.segmentId],
+  refSpecs: [{ field: "segmentId", role: "segment" }],
   emit: (e, ctx) => [{
     role: "primary",
     object: emitPointObject(
@@ -110,6 +213,7 @@ var onLineModule = defineModule({
     t: z.number().finite()
   }),
   collectRefs: (e) => [e.lineId],
+  refSpecs: [{ field: "lineId", role: "line-like" }],
   emit: (e, ctx) => [{
     role: "primary",
     object: emitPointObject(
@@ -131,6 +235,7 @@ var onCircleModule = defineModule({
     theta: z.number().finite()
   }),
   collectRefs: (e) => [e.circleId],
+  refSpecs: [{ field: "circleId", role: "circle" }],
   emit: (e, ctx) => [{
     role: "primary",
     object: emitPointObject(
@@ -152,6 +257,10 @@ var perpFootModule = defineModule({
     onLine: NameZ
   }),
   collectRefs: (e) => [e.from, e.onLine],
+  refSpecs: [
+    { field: "from", role: "point" },
+    { field: "onLine", role: "line-like" }
+  ],
   emit: (e, ctx) => [{
     role: "primary",
     object: emitPointObject(
@@ -172,6 +281,7 @@ var circumcenterModule = defineModule({
     vertices: z.tuple([NameZ, NameZ, NameZ])
   }),
   collectRefs: (e) => [...e.vertices],
+  refSpecs: [{ field: "vertices", role: "point", many: true }],
   emit: (e, ctx) => [{
     role: "primary",
     object: emitPointObject(
@@ -192,6 +302,7 @@ var incenterModule = defineModule({
     vertices: z.tuple([NameZ, NameZ, NameZ])
   }),
   collectRefs: (e) => [...e.vertices],
+  refSpecs: [{ field: "vertices", role: "point", many: true }],
   emit: (e, ctx) => [{
     role: "primary",
     object: emitPointObject(
@@ -212,6 +323,7 @@ var centroidModule = defineModule({
     vertices: z.tuple([NameZ, NameZ, NameZ])
   }),
   collectRefs: (e) => [...e.vertices],
+  refSpecs: [{ field: "vertices", role: "point", many: true }],
   emit: (e, ctx) => [{
     role: "primary",
     object: emitPointObject(
@@ -232,6 +344,7 @@ var orthocenterModule = defineModule({
     vertices: z.tuple([NameZ, NameZ, NameZ])
   }),
   collectRefs: (e) => [...e.vertices],
+  refSpecs: [{ field: "vertices", role: "point", many: true }],
   emit: (e, ctx) => [{
     role: "primary",
     object: emitPointObject(
@@ -254,6 +367,10 @@ var intersectionModule = defineModule({
     branch: z.union([z.literal(0), z.literal(1)]).optional()
   }),
   collectRefs: (e) => [e.ref1, e.ref2],
+  refSpecs: [
+    { field: "ref1", role: "line-or-circle" },
+    { field: "ref2", role: "line-or-circle" }
+  ],
   emit: (e, ctx) => {
     const r1IsCircle = ctx.hintOf(e.ref1) === "circle";
     const r2IsCircle = ctx.hintOf(e.ref2) === "circle";
@@ -293,6 +410,10 @@ var segmentModule = defineModule({
     p2: NameZ
   }),
   collectRefs: (e) => [e.p1, e.p2],
+  refSpecs: [
+    { field: "p1", role: "point" },
+    { field: "p2", role: "point" }
+  ],
   emit: (e, ctx) => [{
     role: "primary",
     object: {
@@ -316,6 +437,10 @@ var lineModule = defineModule({
     p2: NameZ
   }),
   collectRefs: (e) => [e.p1, e.p2],
+  refSpecs: [
+    { field: "p1", role: "point" },
+    { field: "p2", role: "point" }
+  ],
   emit: (e, ctx) => [{
     role: "primary",
     object: {
@@ -339,6 +464,10 @@ var rayModule = defineModule({
     through: NameZ
   }),
   collectRefs: (e) => [e.origin, e.through],
+  refSpecs: [
+    { field: "origin", role: "point" },
+    { field: "through", role: "point" }
+  ],
   emit: (e, ctx) => [{
     role: "primary",
     object: {
@@ -362,6 +491,10 @@ var perpendicularModule = defineModule({
     toLine: NameZ
   }),
   collectRefs: (e) => [e.throughPoint, e.toLine],
+  refSpecs: [
+    { field: "throughPoint", role: "point" },
+    { field: "toLine", role: "line-like" }
+  ],
   emit: (e, ctx) => [{
     role: "primary",
     object: {
@@ -391,6 +524,10 @@ var parallelModule = defineModule({
     toLine: NameZ
   }),
   collectRefs: (e) => [e.throughPoint, e.toLine],
+  refSpecs: [
+    { field: "throughPoint", role: "point" },
+    { field: "toLine", role: "line-like" }
+  ],
   emit: (e, ctx) => [{
     role: "primary",
     object: {
@@ -420,6 +557,10 @@ var perpBisectorModule = defineModule({
     p2: NameZ
   }),
   collectRefs: (e) => [e.p1, e.p2],
+  refSpecs: [
+    { field: "p1", role: "point" },
+    { field: "p2", role: "point" }
+  ],
   emit: (e, ctx) => [{
     role: "primary",
     object: {
@@ -450,6 +591,11 @@ var angleBisectorModule = defineModule({
     p2: NameZ
   }),
   collectRefs: (e) => [e.p1, e.vertex, e.p2],
+  refSpecs: [
+    { field: "p1", role: "point" },
+    { field: "vertex", role: "point" },
+    { field: "p2", role: "point" }
+  ],
   emit: (e, ctx) => [{
     role: "primary",
     object: {
@@ -542,6 +688,10 @@ var tangentModule = defineModule({
     branch: z.union([z.literal(0), z.literal(1), z.literal("on")]).optional()
   }),
   collectRefs: (e) => [e.throughPoint, e.toCircle],
+  refSpecs: [
+    { field: "throughPoint", role: "point" },
+    { field: "toCircle", role: "circle" }
+  ],
   emit: (e, ctx) => {
     const construction = {
       kind: "tangent",
@@ -572,6 +722,7 @@ var polygonModule = defineModule({
     vertices: z.array(NameZ).min(3)
   }),
   collectRefs: (e) => [...e.vertices],
+  refSpecs: [{ field: "vertices", role: "point", many: true }],
   emit: (e, ctx) => [{
     role: "primary",
     object: {
@@ -596,6 +747,10 @@ var circleCPModule = defineModule({
     visible: z.boolean().optional()
   }),
   collectRefs: (e) => [e.center, e.surfacePoint],
+  refSpecs: [
+    { field: "center", role: "point" },
+    { field: "surfacePoint", role: "point" }
+  ],
   emit: (e, ctx) => [{
     role: "primary",
     object: {
@@ -621,6 +776,11 @@ var circle3Module = defineModule({
     p3: NameZ
   }),
   collectRefs: (e) => [e.p1, e.p2, e.p3],
+  refSpecs: [
+    { field: "p1", role: "point" },
+    { field: "p2", role: "point" },
+    { field: "p3", role: "point" }
+  ],
   emit: (e, ctx) => [{
     role: "primary",
     object: {
@@ -925,9 +1085,30 @@ var arcMidpointModule = defineModule({
     circle: NameZ,
     a: NameZ,
     b: NameZ,
-    notContaining: NameZ
+    // Đúng 1 trong notContaining / containing — bất biến cứng kiểm ở
+    // scene-constraint validate (không .refine vì registry dựng
+    // discriminatedUnion yêu cầu ZodObject thuần).
+    notContaining: NameZ.optional(),
+    containing: NameZ.optional()
   }),
-  collectRefs: (e) => [e.circle, e.a, e.b, e.notContaining],
+  collectRefs: (e) => {
+    const refs = [e.circle, e.a, e.b];
+    const containment = e.notContaining ?? e.containing;
+    if (containment) refs.push(containment);
+    return refs;
+  },
+  // refSpecs động: notContaining/containing TỐI ĐA 1 — có thể không có (cung không mơ hồ).
+  refSpecs: (e) => {
+    const specs = [
+      { field: "circle", role: "circle" },
+      { field: "a", role: "point" },
+      { field: "b", role: "point" }
+    ];
+    if (e.containing ?? e.notContaining) {
+      specs.push({ field: e.containing ? "containing" : "notContaining", role: "point" });
+    }
+    return specs;
+  },
   emit: (e, ctx) => [{
     role: "primary",
     object: emitPointObject(ctx.resolveId(e.name), e.name, {
@@ -935,7 +1116,8 @@ var arcMidpointModule = defineModule({
       circle: ctx.resolveId(e.circle),
       a: ctx.resolveId(e.a),
       b: ctx.resolveId(e.b),
-      notContaining: ctx.resolveId(e.notContaining)
+      // notContaining/containing optional: cung KHÔNG mơ hồ (nửa đường tròn) → bỏ cả hai.
+      ...e.containing ? { containing: ctx.resolveId(e.containing) } : e.notContaining ? { notContaining: ctx.resolveId(e.notContaining) } : {}
     })
   }]
 });
@@ -951,6 +1133,10 @@ var excenterModule = defineModule({
     opposite: NameZ
   }),
   collectRefs: (e) => [...e.vertices],
+  refSpecs: [
+    { field: "vertices", role: "point", many: true },
+    { field: "opposite", role: "point" }
+  ],
   emit: (e, ctx) => [{
     role: "primary",
     object: emitPointObject(ctx.resolveId(e.name), e.name, {
@@ -960,6 +1146,27 @@ var excenterModule = defineModule({
     })
   }]
 });
+var mixtilinearPointModule = defineModule({
+  kind: "mixtilinearPoint",
+  role: "point",
+  category: "points",
+  prefix: "p",
+  schema: z.object({
+    name: NameZ,
+    kind: z.literal("mixtilinearPoint"),
+    vertices: z.tuple([NameZ, NameZ, NameZ]),
+    which: z.union([z.literal("center"), z.literal("touch")])
+  }),
+  collectRefs: (e) => [...e.vertices],
+  emit: (e, ctx) => [{
+    role: "primary",
+    object: emitPointObject(ctx.resolveId(e.name), e.name, {
+      kind: "mixtilinearPoint",
+      vertices: resolveTriangleVertices(ctx, e.vertices),
+      which: e.which
+    })
+  }]
+});
 var reflectPointModule = defineModule({
   kind: "reflectPoint",
   role: "point",
@@ -967,6 +1174,10 @@ var reflectPointModule = defineModule({
   prefix: "p",
   schema: z.object({ name: NameZ, kind: z.literal("reflectPoint"), of: NameZ, through: NameZ }),
   collectRefs: (e) => [e.of, e.through],
+  refSpecs: [
+    { field: "of", role: "point" },
+    { field: "through", role: "point" }
+  ],
   emit: (e, ctx) => [{
     role: "primary",
     object: emitPointObject(ctx.resolveId(e.name), e.name, {
@@ -983,6 +1194,10 @@ var reflectLineModule = defineModule({
   prefix: "p",
   schema: z.object({ name: NameZ, kind: z.literal("reflectLine"), of: NameZ, through: NameZ }),
   collectRefs: (e) => [e.of, e.through],
+  refSpecs: [
+    { field: "of", role: "point" },
+    { field: "through", role: "line-like" }
+  ],
   emit: (e, ctx) => [{
     role: "primary",
     object: emitPointObject(ctx.resolveId(e.name), e.name, {
@@ -1024,12 +1239,25 @@ var pointAtDistanceModule = defineModule({
     const extra = d.kind === "circleRadius" ? [d.circle] : d.kind === "segmentLength" ? [d.p1, d.p2] : [];
     return [e.from, e.through, ...extra];
   },
-  // TODO(Mức 1 defer): distance.{circle,p1,p2} là nested trong `distance` — refSpec
-  // phẳng đọc top-level không với tới, validate riêng nếu cần. Hiện validate from/through.
-  refSpecs: [
-    { field: "from", role: "point" },
-    { field: "through", role: "point" }
-  ],
+  // refSpecs động: distance.{circle,p1,p2} nested validate qua dotted path
+  // ('distance.circle' — runSpecs ở transpile/refs.ts đọc bằng reduce theo '.').
+  refSpecs: (e) => {
+    const base = [
+      { field: "from", role: "point" },
+      { field: "through", role: "point" }
+    ];
+    if (e.distance.kind === "circleRadius") {
+      return [...base, { field: "distance.circle", role: "circle" }];
+    }
+    if (e.distance.kind === "segmentLength") {
+      return [
+        ...base,
+        { field: "distance.p1", role: "point" },
+        { field: "distance.p2", role: "point" }
+      ];
+    }
+    return base;
+  },
   emit: (e, ctx) => {
     const d = e.distance;
     const distance = d.kind === "circleRadius" ? withScaleOffset({ kind: "circleRadius", circle: ctx.resolveId(d.circle) }, d) : d.kind === "segmentLength" ? withScaleOffset({ kind: "segmentLength", p1: ctx.resolveId(d.p1), p2: ctx.resolveId(d.p2) }, d) : withScaleOffset({ kind: "literal", value: d.value }, d);
@@ -1049,6 +1277,7 @@ var pointAtDistanceModule = defineModule({
 var ALL_MODULES = [
   freeModule,
   midpointModule,
+  onPerpBisectorModule,
   onSegmentModule,
   onLineModule,
   onCircleModule,
@@ -1085,6 +1314,7 @@ var ALL_MODULES = [
   // Cụm A points
   arcMidpointModule,
   excenterModule,
+  mixtilinearPointModule,
   reflectPointModule,
   reflectLineModule,
   // Cụm B points
@@ -1221,8 +1451,11 @@ function serializePoint(obj, state) {
       };
     }
     case "arcMidpoint": {
-      const refs = resolveRefs([c.circle, c.a, c.b, c.notContaining], state);
-      if (!refs) return fail("unresolved-ref", `${c.circle},${c.a},${c.b},${c.notContaining}`);
+      const containment = c.containing ?? c.notContaining;
+      const baseRefs = [c.circle, c.a, c.b];
+      if (containment) baseRefs.push(containment);
+      const refs = resolveRefs(baseRefs, state);
+      if (!refs) return fail("unresolved-ref", baseRefs.join(","));
       return {
         ok: true,
         entity: {
@@ -1231,7 +1464,7 @@ function serializePoint(obj, state) {
           circle: refs[0],
           a: refs[1],
           b: refs[2],
-          notContaining: refs[3]
+          ...c.containing ? { containing: refs[3] } : c.notContaining ? { notContaining: refs[3] } : {}
         }
       };
     }
@@ -1275,6 +1508,7 @@ function serializePoint(obj, state) {
     case "onPerpendicular":
     case "onPerpBisector":
     case "onCircleAroundPoint":
+    case "mixtilinearPoint":
       return fail("unsupported-constraint", c.kind);
     default: {
       return fail("unsupported-constraint");
@@ -1571,9 +1805,11 @@ function describeEntity(e) {
       return `${e.name} = \u0111\u01B0\u1EDDng tr\xF2n b\xE0ng ti\u1EBFp ${e.vertices.join("")} \u0111\u1ED1i di\u1EC7n ${e.opposite}`;
     // Cụm A
     case "arcMidpoint":
-      return `${e.name} = trung \u0111i\u1EC3m cung ${e.a}${e.b} (kh\xF4ng ch\u1EE9a ${e.notContaining}) tr\xEAn ${e.circle}`;
+      return `${e.name} = trung \u0111i\u1EC3m cung ${e.a}${e.b}${e.containing || e.notContaining ? ` (${e.containing ? "ch\u1EE9a" : "kh\xF4ng ch\u1EE9a"} ${e.containing ?? e.notContaining})` : ""} tr\xEAn ${e.circle}`;
     case "excenter":
       return `${e.name} = t\xE2m b\xE0ng ti\u1EBFp ${e.vertices.join("")} \u0111\u1ED1i di\u1EC7n ${e.opposite}`;
+    case "mixtilinearPoint":
+      return `${e.name} = ${e.which === "center" ? "t\xE2m" : "ti\u1EBFp \u0111i\u1EC3m"} mixtilinear ${e.vertices.join("")}`;
     case "reflectPoint":
       return `${e.name} = \u0111\u1ED1i x\u1EE9ng ${e.of} qua \u0111i\u1EC3m ${e.through}`;
     case "reflectLine":
@@ -1584,6 +1820,8 @@ function describeEntity(e) {
       const distStr = d.kind === "circleRadius" ? `r(${d.circle})` : d.kind === "segmentLength" ? `|${d.p1}${d.p2}|` : `${d.value}`;
       return `${e.name} = \u0111i\u1EC3m tr\xEAn tia ${e.from}${e.through} c\xE1ch ${e.through} m\u1ED9t kho\u1EA3ng ${distStr}`;
     }
+    case "onPerpBisector":
+      return `${e.name} = \u0111i\u1EC3m tr\xEAn trung tr\u1EF1c ${e.p1}${e.p2}`;
     default: {
       return "";
     }
@@ -1601,6 +1839,6 @@ function describeDsl(obj, state) {
   return `${base} (kh\xF4ng h\u1ED7 tr\u1EE3 DSL)`;
 }
 
-export { CIRCLE_KINDS, KIND_REGISTRY, LINE_LIKE_SHAPE_KINDS, POINT_KINDS, describeDsl };
-//# sourceMappingURL=chunk-E6EDOPGT.mjs.map
-//# sourceMappingURL=chunk-E6EDOPGT.mjs.map
+export { CIRCLE_KINDS, KIND_REGISTRY, LINE_LIKE_SHAPE_KINDS, POINT_KINDS, describeDsl, fileToImagePart, inferMediaType, validateFile };
+//# sourceMappingURL=chunk-DWIEVCGK.mjs.map
+//# sourceMappingURL=chunk-DWIEVCGK.mjs.map