@faicad/faijs-sketch 0.18.0

package/dist/contour.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"contour.js","sourceRoot":"","sources":["../src/contour.ts"],"names":[],"mappings":"AASA,OAAO,EAAE,iBAAiB,EAAE,MAAM,cAAc,CAAC;AA2BjD,MAAM,QAAQ,GAAG,IAAI,CAAC;AAEtB,SAAS,OAAO,CAAC,CAAkB;IACjC,QAAQ,CAAC,CAAC,IAAI,EAAE,CAAC;QACf,KAAK,MAAM;YACT,OAAO;gBACL,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE;gBACxD,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE;gBACpB,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE;aACrB,CAAC;QACJ,KAAK,KAAK;YACR,OAAO;gBACL;oBACE,IAAI,EAAE,KAAK,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,MAAM,EAAE,CAAC,CAAC,MAAM;oBACjD,UAAU,EAAE,CAAC,CAAC,UAAU,EAAE,QAAQ,EAAE,CAAC,CAAC,QAAQ,EAAE,GAAG,EAAE,IAAI;oBACzD,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE;iBACvC;gBACD,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE;gBACpB,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE;aACrB,CAAC;QACJ,KAAK,SAAS,CAAC,CAAC,CAAC;YACf,iEAAiE;YACjE,sEAAsE;YACtE,oEAAoE;YACpE,uDAAuD;YACvD,MAAM,IAAI,GAAG,iBAAiB,CAAC;gBAC7B,KAAK,EAAE,CAAC,CAAC,KAAK,EAAE,KAAK,EAAE,CAAC,CAAC,KAAK,EAAE,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,QAAQ,EAAE,CAAC,CAAC,QAAQ;aACvE,CAAC,CAAC;YACH,MAAM,KAAK,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC;YACtB,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;YACnC,IAAI,CAAC,KAAK,IAAI,CAAC,IAAI;gBAAE,OAAO,SAAS,CAAC;YACtC,OAAO,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,EAAE,KAAK,CAAC,EAAE,EAAE,EAAE,EAAE,KAAK,CAAC,EAAE,EAAE,EAAE,EAAE,IAAI,CAAC,EAAE,EAAE,EAAE,EAAE,IAAI,CAAC,EAAE,EAAE,EAAE,EAAE,CAAC,EAAE,KAAK,CAAC,EAAE,EAAE,CAAC,EAAE,KAAK,CAAC,EAAE,EAAE,EAAE,EAAE,CAAC,EAAE,IAAI,CAAC,EAAE,EAAE,CAAC,EAAE,IAAI,CAAC,EAAE,EAAE,CAAC,CAAC;QAC5I,CAAC;QACD;YACE,OAAO,SAAS,CAAC,CAAC,qDAAqD;IAC3E,CAAC;AACH,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,eAAe,CAAC,KAAwB;IACtD,MAAM,IAAI,GAAkK,EAAE,CAAC;IAC/K,KAAK,MAAM,CAAC,IAAI,KAAK,EAAE,CAAC;QACtB,MAAM,CAAC,GAAG,OAAO,CAAC,CAAC,CAAC,CAAC;QACrB,IAAI,CAAC,CAAC;YAAE,SAAS;QACjB,uEAAuE;QACvE,yEAAyE;QACzE,MAAM,MAAM,GAAG,CAAC,CAAC,IAAI,KAAK,SAAS;YACjC,CAAC,CAAC,iBAAiB,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,KAAK,EAAE,KAAK,EAAE,CAAC,CAAC,KAAK,EAAE,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,QAAQ,EAAE,CAAC,CAAC,QAAQ,EAAE,CAAC;YAC/F,CAAC,CAAC,SAAS,CAAC;QACd,IAAI,CAAC,IAAI,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC,CAAC;IAClE,CAAC;IAED,MAAM,IAAI,GAAG,CAAC,CAA2B,EAAE,CAA2B,EAAW,EAAE,CACjF,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,QAAQ,CAAC;IAE/C,MAAM,QAAQ,GAAc,EAAE,CAAC;IAC/B,KAAK,MAAM,KAAK,IAAI,IAAI,EAAE,CAAC;QACzB,IAAI,KAAK,CAAC,IAAI;YAAE,SAAS;QACzB,KAAK,CAAC,IAAI,GAAG,IAAI,CAAC;QAClB,MAAM,IAAI,GAAG,KAAK,CAAC,CAAC,CAAC;QACrB,qEAAqE;QACrE,mEAAmE;QACnE,uEAAuE;QACvE,+DAA+D;QAC/D,qEAAqE;QACrE,yEAAyE;QACzE,sDAAsD;QACtD,MAAM,GAAG,GAAG,CAAC,IAA8B,EAAE,IAAkB,EAA4B,EAAE;YAC3F,IAAI,IAAI,CAAC,MAAM,GAAG,CAAC,IAAI,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC;gBAAE,OAAO,IAAI,CAAC;YACrD,KAAK,MAAM,IAAI,IAAI,IAAI,EAAE,CAAC;gBACxB,IAAI,IAAI,CAAC,IAAI;oBAAE,SAAS;gBACxB,IAAI,CAAC,IAAI,GAAG,IAAI,CAAC;gBACjB,IAAI,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC;oBACvB,MAAM,CAAC,GAAG,GAAG,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,GAAG,IAAI,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;oBAC3C,IAAI,CAAC;wBAAE,OAAO,CAAC,CAAC;gBAClB,CAAC;qBAAM,IAAI,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC;oBAC9B,MAAM,CAAC,GAAG,GAAG,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,GAAG,IAAI,EAAE,UAAU,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;oBACvD,IAAI,CAAC;wBAAE,OAAO,CAAC,CAAC;gBAClB,CAAC;gBACD,IAAI,CAAC,IAAI,GAAG,KAAK,CAAC,CAAC,+CAA+C;YACpE,CAAC;YACD,OAAO,SAAS,CAAC;QACnB,CAAC,CAAC;QACF,MAAM,MAAM,GAAG,GAAG,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC;QACzC,IAAI,MAAM,IAAI,MAAM,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAChC,uEAAuE;YACvE,qEAAqE;YACrE,kEAAkE;YAClE,MAAM,QAAQ,GAAiB,EAAE,CAAC;YAClC,KAAK,MAAM,GAAG,IAAI,MAAM,EAAE,CAAC;gBACzB,MAAM,KAAK,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,KAAK,GAAG,IAAI,CAAC,CAAC,MAAM,CAAC,CAAC;gBAC1D,IAAI,KAAK,EAAE,MAAM,EAAE,CAAC;oBAClB,KAAK,MAAM,GAAG,IAAI,KAAK,CAAC,MAAM,EAAE,CAAC;wBAC/B,QAAQ,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,EAAE,GAAG,CAAC,EAAE,EAAE,EAAE,EAAE,GAAG,CAAC,EAAE,EAAE,EAAE,EAAE,GAAG,CAAC,EAAE,EAAE,EAAE,EAAE,GAAG,CAAC,EAAE,EAAE,CAAC,CAAC;oBAClF,CAAC;gBACH,CAAC;qBAAM,CAAC;oBACN,QAAQ,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;gBACrB,CAAC;YACH,CAAC;YACD,QAAQ,CAAC,IAAI,CAAC,EAAE,QAAQ,EAAE,QAAQ,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC;QACtD,CAAC;IACH,CAAC;IAED,mCAAmC;IACnC,KAAK,MAAM,CAAC,IAAI,KAAK,EAAE,CAAC;QACtB,IAAI,CAAC,CAAC,IAAI,KAAK,QAAQ,IAAI,CAAC,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACxC,QAAQ,CAAC,IAAI,CAAC;gBACZ,QAAQ,EAAE,CAAC;wBACT,IAAI,EAAE,KAAK,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,MAAM,EAAE,CAAC,CAAC,MAAM;wBACjD,UAAU,EAAE,CAAC,EAAE,QAAQ,EAAE,IAAI,CAAC,EAAE,GAAG,CAAC,EAAE,GAAG,EAAE,IAAI;wBAC/C,EAAE,EAAE,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE;qBAC7D,CAAC;gBACF,MAAM,EAAE,IAAI;aACb,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IACD,OAAO,QAAQ,CAAC;AAClB,CAAC;AAED,SAAS,UAAU,CAAC,CAAa;IAC/B,IAAI,CAAC,CAAC,IAAI,KAAK,MAAM;QAAE,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC;IACvF,OAAO,EAAE,GAAG,CAAC,EAAE,UAAU,EAAE,CAAC,CAAC,QAAQ,EAAE,QAAQ,EAAE,CAAC,CAAC,UAAU,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC,GAAG,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC;AACvH,CAAC","sourcesContent":["/**\n * M3.6 — contour extraction: solved sketch geometry → closed loops → 2D\n * contour (R6: pure data, no OCCT dependency; the cad-face wiring that turns\n * contours into Blueprint/extrude inputs happens in M4.6/M5).\n *\n * Extraction: collect endpoints of every non-construction geometry, chain\n * segments sharing endpoints (tolerance-based), keep closed loops.\n */\nimport type { FcstdSketchGeom } from './fcstd-types.js';\nimport { bsplineToSegments } from './bspline.js';\n\n/** One segment of a 2D contour: either a straight line or a circular arc (planar, sketch-local coordinates). */\nexport type ContourSeg =\n  | { kind: 'line'; x1: number; y1: number; x2: number; y2: number }\n  | {\n      kind: 'arc';\n      cx: number;\n      cy: number;\n      radius: number;\n      startAngle: number;\n      endAngle: number;\n      ccw: boolean;\n      x1: number;\n      y1: number;\n      x2: number;\n      y2: number;\n    };\n\n/** A chained run of segments; `closed` when the chain's ends meet (R6: pure data, no OCCT dependency). */\nexport interface Contour {\n  /** chained segments in traversal order */\n  segments: ContourSeg[];\n  /** true when the chain's endpoints meet within JOIN_TOL */\n  closed: boolean;\n}\n\nconst JOIN_TOL = 1e-7;\n\nfunction segEnds(g: FcstdSketchGeom): [ContourSeg, { x: number; y: number }, { x: number; y: number }] | undefined {\n  switch (g.kind) {\n    case 'line':\n      return [\n        { kind: 'line', x1: g.x1, y1: g.y1, x2: g.x2, y2: g.y2 },\n        { x: g.x1, y: g.y1 },\n        { x: g.x2, y: g.y2 },\n      ];\n    case 'arc':\n      return [\n        {\n          kind: 'arc', cx: g.cx, cy: g.cy, radius: g.radius,\n          startAngle: g.startAngle, endAngle: g.endAngle, ccw: true,\n          x1: g.x1, y1: g.y1, x2: g.x2, y2: g.y2,\n        },\n        { x: g.x1, y: g.y1 },\n        { x: g.x2, y: g.y2 },\n      ];\n    case 'bspline': {\n      // P4: flatten the spline into a sampled polyline. Only the FIRST\n      // sub-segment is returned here so the pool gets exactly one entry per\n      // geometry (no index duplication); extractContours splices the full\n      // polyline run in its place (see expandBSpline below).\n      const segs = bsplineToSegments({\n        poles: g.poles, knots: g.knots, degree: g.degree, periodic: g.periodic,\n      });\n      const first = segs[0];\n      const last = segs[segs.length - 1];\n      if (!first || !last) return undefined;\n      return [{ kind: 'line', x1: first.x1, y1: first.y1, x2: last.x2, y2: last.y2 }, { x: first.x1, y: first.y1 }, { x: last.x2, y: last.y2 }];\n    }\n    default:\n      return undefined; // circles are closed on their own; points don't join\n  }\n}\n\n/**\n * Extract closed contours (chains of segments whose endpoints meet).\n * @param geoms solved sketch geometry to chain (non-construction segments only)\n * @returns closed loops plus self-closed circles (open chains are dropped)\n */\nexport function extractContours(geoms: FcstdSketchGeom[]): Contour[] {\n  const pool: { seg: ContourSeg; a: { x: number; y: number }; b: { x: number; y: number }; used: boolean; spline?: { x1: number; y1: number; x2: number; y2: number }[] }[] = [];\n  for (const g of geoms) {\n    const s = segEnds(g);\n    if (!s) continue;\n    // P4: keep the full sampled polyline for splines — after chaining, the\n    // winning seg is expanded back into all sub-segments (no interior loss).\n    const spline = g.kind === 'bspline'\n      ? bsplineToSegments({ poles: g.poles, knots: g.knots, degree: g.degree, periodic: g.periodic })\n      : undefined;\n    pool.push({ seg: s[0], a: s[1], b: s[2], used: false, spline });\n  }\n\n  const near = (p: { x: number; y: number }, q: { x: number; y: number }): boolean =>\n    Math.hypot(p.x - q.x, p.y - q.y) <= JOIN_TOL;\n\n  const contours: Contour[] = [];\n  for (const start of pool) {\n    if (start.used) continue;\n    start.used = true;\n    const head = start.a;\n    // GOTCHA (slittingsaw corpus, 2026-09-20): junction points with free\n    // branches (three+ segments sharing an endpoint) defeat first-come\n    // chaining — a branch to a dead end consumed the segments and the real\n    // loop never closed. DFS with backtracking: try each candidate\n    // continuation; the FIRST chain that closes at the head wins; a dead\n    // branch returns its segments to the pool. Closure-stop (tap GOTCHA) and\n    // pool-restart are both subsumed by the DFS ordering.\n    const dfs = (tail: { x: number; y: number }, walk: ContourSeg[]): ContourSeg[] | undefined => {\n      if (walk.length > 0 && near(tail, head)) return walk;\n      for (const cand of pool) {\n        if (cand.used) continue;\n        cand.used = true;\n        if (near(tail, cand.a)) {\n          const r = dfs(cand.b, [...walk, cand.seg]);\n          if (r) return r;\n        } else if (near(tail, cand.b)) {\n          const r = dfs(cand.a, [...walk, reverseSeg(cand.seg)]);\n          if (r) return r;\n        }\n        cand.used = false; // dead branch — return the segment to the pool\n      }\n      return undefined;\n    };\n    const solved = dfs(start.b, [start.seg]);\n    if (solved && solved.length > 1) {\n      // P4: replace spline proxy segs with their full sampled polyline runs.\n      // The proxy seg for geometry index i sits in pool order; recover the\n      // spline runs by matching the seg reference against pool entries.\n      const expanded: ContourSeg[] = [];\n      for (const seg of solved) {\n        const entry = pool.find((e) => e.seg === seg && e.spline);\n        if (entry?.spline) {\n          for (const sub of entry.spline) {\n            expanded.push({ kind: 'line', x1: sub.x1, y1: sub.y1, x2: sub.x2, y2: sub.y2 });\n          }\n        } else {\n          expanded.push(seg);\n        }\n      }\n      contours.push({ segments: expanded, closed: true });\n    }\n  }\n\n  // circles are self-closed contours\n  for (const g of geoms) {\n    if (g.kind === 'circle' && g.radius > 0) {\n      contours.push({\n        segments: [{\n          kind: 'arc', cx: g.cx, cy: g.cy, radius: g.radius,\n          startAngle: 0, endAngle: Math.PI * 2, ccw: true,\n          x1: g.cx + g.radius, y1: g.cy, x2: g.cx + g.radius, y2: g.cy,\n        }],\n        closed: true,\n      });\n    }\n  }\n  return contours;\n}\n\nfunction reverseSeg(s: ContourSeg): ContourSeg {\n  if (s.kind === 'line') return { kind: 'line', x1: s.x2, y1: s.y2, x2: s.x1, y2: s.y1 };\n  return { ...s, startAngle: s.endAngle, endAngle: s.startAngle, ccw: !s.ccw, x1: s.x2, y1: s.y2, x2: s.x1, y2: s.y1 };\n}\n"]}

package/dist/faces.d.ts

@@ -0,0 +1,28 @@
+import type { Shape } from '@faicad/faijs/mesh/types';
+import type { SketchConstraint, SketchGeom, SolveOutcome } from './canonical.js';
+import { type SolveSketchOptions } from './solve.js';
+/** Options for {@link sketchFaces}. */
+export interface SketchFacesOptions extends SolveSketchOptions {
+    /** Product form: `'face'` (default) builds a face; `'wire'` returns the outer wire only. */
+    as?: 'face' | 'wire';
+    /** Diagnostics observer (the script-face op forwards this to the host sink). */
+    onDiagnostic?: (outcome: SolveOutcome) => void;
+}
+/**
+ * Build the shape from an already-solved outcome (shared by op + wrapper).
+ *
+ * @param outcome - a converged solve outcome.
+ * @param as - product form: `'face'` (default) or `'wire'`.
+ * @returns the face or outer wire.
+ */
+export declare function shapeFromSolved(outcome: SolveOutcome, as?: 'face' | 'wire'): Shape;
+/**
+ * Solve a canonical sketch and build its planar face / outer wire.
+ *
+ * @param geoms - canonical geometry (stored coordinates are the initial guess).
+ * @param constraints - canonical constraints (default: none).
+ * @param opts - solver selection, product form and diagnostics observer.
+ * @returns the face (`as:'wire'` → the outer wire as a 1D curve).
+ */
+export declare function sketchFaces(geoms: SketchGeom[], constraints?: SketchConstraint[], opts?: SketchFacesOptions): Promise<Shape>;
+//# sourceMappingURL=faces.d.ts.map

package/dist/faces.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"faces.d.ts","sourceRoot":"","sources":["../src/faces.ts"],"names":[],"mappings":"AAWA,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,0BAA0B,CAAA;AACrD,OAAO,KAAK,EAAE,gBAAgB,EAAE,UAAU,EAAE,YAAY,EAAE,MAAM,gBAAgB,CAAA;AAChF,OAAO,EAAe,KAAK,kBAAkB,EAAE,MAAM,YAAY,CAAA;AAIjE,uCAAuC;AACvC,MAAM,WAAW,kBAAmB,SAAQ,kBAAkB;IAC5D,4FAA4F;IAC5F,EAAE,CAAC,EAAE,MAAM,GAAG,MAAM,CAAA;IACpB,gFAAgF;IAChF,YAAY,CAAC,EAAE,CAAC,OAAO,EAAE,YAAY,KAAK,IAAI,CAAA;CAC/C;AAED;;;;;;GAMG;AACH,wBAAgB,eAAe,CAAC,OAAO,EAAE,YAAY,EAAE,EAAE,CAAC,EAAE,MAAM,GAAG,MAAM,GAAG,KAAK,CAUlF;AAED;;;;;;;GAOG;AACH,wBAAsB,WAAW,CAC/B,KAAK,EAAE,UAAU,EAAE,EACnB,WAAW,GAAE,gBAAgB,EAAO,EACpC,IAAI,CAAC,EAAE,kBAAkB,GACxB,OAAO,CAAC,KAAK,CAAC,CAIhB"}

package/dist/faces.js

@@ -0,0 +1,46 @@
+/**
+ * faces — `sketchFaces`: solve a canonical sketch, chain the solved geometry
+ * into closed contours and build the face through core's single face-
+ * construction implementation (`buildProfileShape`).
+ *
+ * The solve → contour hand-off is a distinct, failable step (§3.3): a sketch
+ * can solve successfully yet yield zero closed loops (dangling segments); that
+ * is a real failure mode and is surfaced explicitly rather than treated as a
+ * solved sketch.
+ */
+import { buildProfileShape } from '@faicad/faijs/api/profile';
+import { solveSketch } from './solve.js';
+import { toFreeCadGeoms } from './project.js';
+import { extractContours } from './contour.js';
+/**
+ * Build the shape from an already-solved outcome (shared by op + wrapper).
+ *
+ * @param outcome - a converged solve outcome.
+ * @param as - product form: `'face'` (default) or `'wire'`.
+ * @returns the face or outer wire.
+ */
+export function shapeFromSolved(outcome, as) {
+    if (!outcome.converged) {
+        throw new Error(`E_SKETCHC_SOLVE_FAILED: ${outcome.reason ?? outcome.status}`);
+    }
+    const contours = extractContours(toFreeCadGeoms(outcome.geoms));
+    if (contours.length === 0) {
+        throw new Error('E_SKETCHC_NO_CONTOUR: solved sketch produced no closed loop');
+    }
+    const loops = contours.map((c) => ({ segments: c.segments }));
+    return buildProfileShape({ contours: loops, as });
+}
+/**
+ * Solve a canonical sketch and build its planar face / outer wire.
+ *
+ * @param geoms - canonical geometry (stored coordinates are the initial guess).
+ * @param constraints - canonical constraints (default: none).
+ * @param opts - solver selection, product form and diagnostics observer.
+ * @returns the face (`as:'wire'` → the outer wire as a 1D curve).
+ */
+export async function sketchFaces(geoms, constraints = [], opts) {
+    const outcome = await solveSketch(geoms, constraints, opts);
+    opts?.onDiagnostic?.(outcome);
+    return shapeFromSolved(outcome, opts?.as);
+}
+//# sourceMappingURL=faces.js.map

package/dist/faces.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"faces.js","sourceRoot":"","sources":["../src/faces.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AACH,OAAO,EAAE,iBAAiB,EAAoB,MAAM,2BAA2B,CAAA;AAG/E,OAAO,EAAE,WAAW,EAA2B,MAAM,YAAY,CAAA;AACjE,OAAO,EAAE,cAAc,EAAE,MAAM,cAAc,CAAA;AAC7C,OAAO,EAAE,eAAe,EAAE,MAAM,cAAc,CAAA;AAU9C;;;;;;GAMG;AACH,MAAM,UAAU,eAAe,CAAC,OAAqB,EAAE,EAAoB;IACzE,IAAI,CAAC,OAAO,CAAC,SAAS,EAAE,CAAC;QACvB,MAAM,IAAI,KAAK,CAAC,2BAA2B,OAAO,CAAC,MAAM,IAAI,OAAO,CAAC,MAAM,EAAE,CAAC,CAAA;IAChF,CAAC;IACD,MAAM,QAAQ,GAAG,eAAe,CAAC,cAAc,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAA;IAC/D,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC1B,MAAM,IAAI,KAAK,CAAC,6DAA6D,CAAC,CAAA;IAChF,CAAC;IACD,MAAM,KAAK,GAAkB,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,QAAQ,EAAE,CAAC,CAAC,QAAQ,EAAE,CAAC,CAAC,CAAA;IAC5E,OAAO,iBAAiB,CAAC,EAAE,QAAQ,EAAE,KAAK,EAAE,EAAE,EAAE,CAAC,CAAA;AACnD,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,CAAC,KAAK,UAAU,WAAW,CAC/B,KAAmB,EACnB,cAAkC,EAAE,EACpC,IAAyB;IAEzB,MAAM,OAAO,GAAG,MAAM,WAAW,CAAC,KAAK,EAAE,WAAW,EAAE,IAAI,CAAC,CAAA;IAC3D,IAAI,EAAE,YAAY,EAAE,CAAC,OAAO,CAAC,CAAA;IAC7B,OAAO,eAAe,CAAC,OAAO,EAAE,IAAI,EAAE,EAAE,CAAC,CAAA;AAC3C,CAAC","sourcesContent":["/**\n * faces — `sketchFaces`: solve a canonical sketch, chain the solved geometry\n * into closed contours and build the face through core's single face-\n * construction implementation (`buildProfileShape`).\n *\n * The solve → contour hand-off is a distinct, failable step (§3.3): a sketch\n * can solve successfully yet yield zero closed loops (dangling segments); that\n * is a real failure mode and is surfaced explicitly rather than treated as a\n * solved sketch.\n */\nimport { buildProfileShape, type ProfileLoop } from '@faicad/faijs/api/profile'\nimport type { Shape } from '@faicad/faijs/mesh/types'\nimport type { SketchConstraint, SketchGeom, SolveOutcome } from './canonical.js'\nimport { solveSketch, type SolveSketchOptions } from './solve.js'\nimport { toFreeCadGeoms } from './project.js'\nimport { extractContours } from './contour.js'\n\n/** Options for {@link sketchFaces}. */\nexport interface SketchFacesOptions extends SolveSketchOptions {\n  /** Product form: `'face'` (default) builds a face; `'wire'` returns the outer wire only. */\n  as?: 'face' | 'wire'\n  /** Diagnostics observer (the script-face op forwards this to the host sink). */\n  onDiagnostic?: (outcome: SolveOutcome) => void\n}\n\n/**\n * Build the shape from an already-solved outcome (shared by op + wrapper).\n *\n * @param outcome - a converged solve outcome.\n * @param as - product form: `'face'` (default) or `'wire'`.\n * @returns the face or outer wire.\n */\nexport function shapeFromSolved(outcome: SolveOutcome, as?: 'face' | 'wire'): Shape {\n  if (!outcome.converged) {\n    throw new Error(`E_SKETCHC_SOLVE_FAILED: ${outcome.reason ?? outcome.status}`)\n  }\n  const contours = extractContours(toFreeCadGeoms(outcome.geoms))\n  if (contours.length === 0) {\n    throw new Error('E_SKETCHC_NO_CONTOUR: solved sketch produced no closed loop')\n  }\n  const loops: ProfileLoop[] = contours.map((c) => ({ segments: c.segments }))\n  return buildProfileShape({ contours: loops, as })\n}\n\n/**\n * Solve a canonical sketch and build its planar face / outer wire.\n *\n * @param geoms - canonical geometry (stored coordinates are the initial guess).\n * @param constraints - canonical constraints (default: none).\n * @param opts - solver selection, product form and diagnostics observer.\n * @returns the face (`as:'wire'` → the outer wire as a 1D curve).\n */\nexport async function sketchFaces(\n  geoms: SketchGeom[],\n  constraints: SketchConstraint[] = [],\n  opts?: SketchFacesOptions,\n): Promise<Shape> {\n  const outcome = await solveSketch(geoms, constraints, opts)\n  opts?.onDiagnostic?.(outcome)\n  return shapeFromSolved(outcome, opts?.as)\n}"]}

package/dist/fcstd-types.d.ts

@@ -0,0 +1,177 @@
+/**
+ * fcstd-types — FCStd sketch geometry / constraint model (migrated from
+ * `@faicad/faijs-fcstd`'s `sketch-parse.ts`, type half only).
+ *
+ * These are the FreeCAD-shaped records the solver pipeline consumes: geometry
+ * carries an `index` (geoId) and 3D sketch-local coordinates; constraints carry
+ * the `ConstraintType` integer and `(geoId, pos)` refs. The canonical,
+ * projection-friendly model lives in `./canonical.ts` — this module is the
+ * internal/FCStd-projection representation.
+ *
+ * Field format per the fcstd port plan §5.2/§5.3:
+ * - geometry coordinates are 3D (X/Y/Z); sketch-local Z is usually 0
+ * - `<Constrain>` carries Type as the ConstraintType enum integer
+ * - ElementIds/ElementPositions take precedence over First/Second/Third
+ * - IsDriving defaults to true when missing
+ * - geoId: >= 0 own geometry; -1 HAxis/RtPnt; -2 VAxis; <= -3 external
+ */
+/** ConstraintType enum values (src/Mod/Sketcher/App/Constraint.h:52-77) */
+export declare const ConstraintType: {
+    readonly Coincident: 1;
+    readonly Horizontal: 2;
+    readonly Vertical: 3;
+    readonly Parallel: 4;
+    readonly Tangent: 5;
+    readonly Distance: 6;
+    readonly DistanceX: 7;
+    readonly DistanceY: 8;
+    readonly Angle: 9;
+    readonly Perpendicular: 10;
+    readonly Radius: 11;
+    readonly Equal: 12;
+    readonly PointOnObject: 13;
+    readonly Symmetric: 14;
+    readonly InternalAlignment: 15;
+    readonly SnellsLaw: 16;
+    readonly Block: 17;
+    readonly Diameter: 18;
+    readonly Weight: 19;
+    readonly Group: 20;
+    readonly Text: 21;
+};
+/**
+ * Human-readable names for the ConstraintType enum integers (debugging/
+ * diagnostics only).
+ */
+export declare const CONSTRAINT_NAMES: Record<number, string>;
+/** GeoEnum (src/Mod/Sketcher/App/GeoEnum.h:71-78) */
+export declare const GeoId: {
+    readonly RtPnt: -1;
+    readonly HAxis: -1;
+    readonly VAxis: -2;
+    readonly RefExt: -3;
+};
+/** PointPos (GeoEnum.h:88-94) */
+export declare const PointPos: {
+    readonly none: 0;
+    readonly start: 1;
+    readonly end: 2;
+    readonly mid: 3;
+};
+/**
+ * One parsed sketch geometry element (point, line, circle, arc, ellipse or
+ * bspline), in 3D sketch-local coordinates.
+ */
+export type FcstdSketchGeom = {
+    kind: 'point';
+    index: number;
+    x: number;
+    y: number;
+    z: number;
+} | {
+    kind: 'line';
+    index: number;
+    x1: number;
+    y1: number;
+    z1: number;
+    x2: number;
+    y2: number;
+    z2: number;
+} | {
+    kind: 'circle';
+    index: number;
+    cx: number;
+    cy: number;
+    cz: number;
+    radius: number;
+} | {
+    kind: 'arc';
+    index: number;
+    cx: number;
+    cy: number;
+    cz: number;
+    radius: number;
+    startAngle: number;
+    endAngle: number;
+    /** arc endpoints derived from angles (kept for solver wiring) */
+    x1: number;
+    y1: number;
+    z1: number;
+    x2: number;
+    y2: number;
+    z2: number;
+} | {
+    kind: 'ellipse';
+    index: number;
+    cx: number;
+    cy: number;
+    cz: number;
+    majorRadius: number;
+    minorRadius: number;
+    /** rotation of major axis, radians */
+    angleXU: number;
+    /** first focus (computed) */
+    fx1: number;
+    fy1: number;
+    fx2: number;
+    fy2: number;
+} | {
+    /** Part::GeomBSplineCurve (Poles/Knots/Degree/IsPeriodic) */
+    kind: 'bspline';
+    index: number;
+    poles: {
+        x: number;
+        y: number;
+    }[];
+    knots: number[];
+    degree: number;
+    periodic: boolean;
+    /** curve start/end (exact for clamped splines; solver wiring + chaining) */
+    x1: number;
+    y1: number;
+    z1: number;
+    x2: number;
+    y2: number;
+    z2: number;
+};
+/**
+ * One (geometry, point) reference inside a constraint: a geoId plus a
+ * PointPos selector.
+ */
+export interface FcstdGeoRef {
+    /** geometry id: >= 0 own geometry; -1 HAxis/RtPnt; -2 VAxis; <= -3 external */
+    geoId: number;
+    /** PointPos selector (0 = edge itself, 1/2 = start/end, 3 = center) */
+    pos: number;
+}
+/**
+ * One parsed sketch constraint.
+ */
+export interface FcstdSketchCon {
+    /** index in the constraint list */
+    index: number;
+    /** ConstraintType integer */
+    type: number;
+    /** resolved element refs */
+    refs: FcstdGeoRef[];
+    /** driving dimension value (Distance/Angle/Radius/...) */
+    value: number;
+    /** IsDriving; missing means true */
+    isDriving: boolean;
+    /** raw name attribute */
+    name: string;
+    /** InternalAlignmentType when type === 15 */
+    internalAlignmentType?: number;
+}
+/**
+ * The fully parsed sketch: geometry, constraints, constrainedness and the set
+ * of referenced external geoIds.
+ */
+export interface FcstdParsedSketch {
+    geoms: FcstdSketchGeom[];
+    constraints: FcstdSketchCon[];
+    fullyConstrained: boolean;
+    /** geoIds <= -3 referenced by constraints */
+    externalGeoIds: number[];
+}
+//# sourceMappingURL=fcstd-types.d.ts.map

package/dist/fcstd-types.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"fcstd-types.d.ts","sourceRoot":"","sources":["../src/fcstd-types.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;GAgBG;AAEH,2EAA2E;AAC3E,eAAO,MAAM,cAAc;;;;;;;;;;;;;;;;;;;;;;CAsBjB,CAAA;AAEV;;;GAGG;AACH,eAAO,MAAM,gBAAgB,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAMnD,CAAA;AAED,qDAAqD;AACrD,eAAO,MAAM,KAAK;;;;;CAKR,CAAA;AAEV,iCAAiC;AACjC,eAAO,MAAM,QAAQ;;;;;CAKX,CAAA;AAEV;;;GAGG;AACH,MAAM,MAAM,eAAe,GACvB;IAAE,IAAI,EAAE,OAAO,CAAC;IAAC,KAAK,EAAE,MAAM,CAAC;IAAC,CAAC,EAAE,MAAM,CAAC;IAAC,CAAC,EAAE,MAAM,CAAC;IAAC,CAAC,EAAE,MAAM,CAAA;CAAE,GACjE;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,KAAK,EAAE,MAAM,CAAC;IAAC,EAAE,EAAE,MAAM,CAAC;IAAC,EAAE,EAAE,MAAM,CAAC;IAAC,EAAE,EAAE,MAAM,CAAC;IAAC,EAAE,EAAE,MAAM,CAAC;IAAC,EAAE,EAAE,MAAM,CAAC;IAAC,EAAE,EAAE,MAAM,CAAA;CAAE,GACvG;IAAE,IAAI,EAAE,QAAQ,CAAC;IAAC,KAAK,EAAE,MAAM,CAAC;IAAC,EAAE,EAAE,MAAM,CAAC;IAAC,EAAE,EAAE,MAAM,CAAC;IAAC,EAAE,EAAE,MAAM,CAAC;IAAC,MAAM,EAAE,MAAM,CAAA;CAAE,GACrF;IACE,IAAI,EAAE,KAAK,CAAA;IACX,KAAK,EAAE,MAAM,CAAA;IACb,EAAE,EAAE,MAAM,CAAA;IACV,EAAE,EAAE,MAAM,CAAA;IACV,EAAE,EAAE,MAAM,CAAA;IACV,MAAM,EAAE,MAAM,CAAA;IACd,UAAU,EAAE,MAAM,CAAA;IAClB,QAAQ,EAAE,MAAM,CAAA;IAChB,iEAAiE;IACjE,EAAE,EAAE,MAAM,CAAA;IACV,EAAE,EAAE,MAAM,CAAA;IACV,EAAE,EAAE,MAAM,CAAA;IACV,EAAE,EAAE,MAAM,CAAA;IACV,EAAE,EAAE,MAAM,CAAA;IACV,EAAE,EAAE,MAAM,CAAA;CACX,GACD;IACE,IAAI,EAAE,SAAS,CAAA;IACf,KAAK,EAAE,MAAM,CAAA;IACb,EAAE,EAAE,MAAM,CAAA;IACV,EAAE,EAAE,MAAM,CAAA;IACV,EAAE,EAAE,MAAM,CAAA;IACV,WAAW,EAAE,MAAM,CAAA;IACnB,WAAW,EAAE,MAAM,CAAA;IACnB,sCAAsC;IACtC,OAAO,EAAE,MAAM,CAAA;IACf,6BAA6B;IAC7B,GAAG,EAAE,MAAM,CAAA;IACX,GAAG,EAAE,MAAM,CAAA;IACX,GAAG,EAAE,MAAM,CAAA;IACX,GAAG,EAAE,MAAM,CAAA;CACZ,GACD;IACE,6DAA6D;IAC7D,IAAI,EAAE,SAAS,CAAA;IACf,KAAK,EAAE,MAAM,CAAA;IACb,KAAK,EAAE;QAAE,CAAC,EAAE,MAAM,CAAC;QAAC,CAAC,EAAE,MAAM,CAAA;KAAE,EAAE,CAAA;IACjC,KAAK,EAAE,MAAM,EAAE,CAAA;IACf,MAAM,EAAE,MAAM,CAAA;IACd,QAAQ,EAAE,OAAO,CAAA;IACjB,4EAA4E;IAC5E,EAAE,EAAE,MAAM,CAAA;IACV,EAAE,EAAE,MAAM,CAAA;IACV,EAAE,EAAE,MAAM,CAAA;IACV,EAAE,EAAE,MAAM,CAAA;IACV,EAAE,EAAE,MAAM,CAAA;IACV,EAAE,EAAE,MAAM,CAAA;CACX,CAAA;AAEL;;;GAGG;AACH,MAAM,WAAW,WAAW;IAC1B,+EAA+E;IAC/E,KAAK,EAAE,MAAM,CAAA;IACb,uEAAuE;IACvE,GAAG,EAAE,MAAM,CAAA;CACZ;AAED;;GAEG;AACH,MAAM,WAAW,cAAc;IAC7B,mCAAmC;IACnC,KAAK,EAAE,MAAM,CAAA;IACb,6BAA6B;IAC7B,IAAI,EAAE,MAAM,CAAA;IACZ,4BAA4B;IAC5B,IAAI,EAAE,WAAW,EAAE,CAAA;IACnB,0DAA0D;IAC1D,KAAK,EAAE,MAAM,CAAA;IACb,oCAAoC;IACpC,SAAS,EAAE,OAAO,CAAA;IAClB,yBAAyB;IACzB,IAAI,EAAE,MAAM,CAAA;IACZ,6CAA6C;IAC7C,qBAAqB,CAAC,EAAE,MAAM,CAAA;CAC/B;AAED;;;GAGG;AACH,MAAM,WAAW,iBAAiB;IAChC,KAAK,EAAE,eAAe,EAAE,CAAA;IACxB,WAAW,EAAE,cAAc,EAAE,CAAA;IAC7B,gBAAgB,EAAE,OAAO,CAAA;IACzB,6CAA6C;IAC7C,cAAc,EAAE,MAAM,EAAE,CAAA;CACzB"}

package/dist/fcstd-types.js

@@ -0,0 +1,67 @@
+/**
+ * fcstd-types — FCStd sketch geometry / constraint model (migrated from
+ * `@faicad/faijs-fcstd`'s `sketch-parse.ts`, type half only).
+ *
+ * These are the FreeCAD-shaped records the solver pipeline consumes: geometry
+ * carries an `index` (geoId) and 3D sketch-local coordinates; constraints carry
+ * the `ConstraintType` integer and `(geoId, pos)` refs. The canonical,
+ * projection-friendly model lives in `./canonical.ts` — this module is the
+ * internal/FCStd-projection representation.
+ *
+ * Field format per the fcstd port plan §5.2/§5.3:
+ * - geometry coordinates are 3D (X/Y/Z); sketch-local Z is usually 0
+ * - `<Constrain>` carries Type as the ConstraintType enum integer
+ * - ElementIds/ElementPositions take precedence over First/Second/Third
+ * - IsDriving defaults to true when missing
+ * - geoId: >= 0 own geometry; -1 HAxis/RtPnt; -2 VAxis; <= -3 external
+ */
+/** ConstraintType enum values (src/Mod/Sketcher/App/Constraint.h:52-77) */
+export const ConstraintType = {
+    Coincident: 1,
+    Horizontal: 2,
+    Vertical: 3,
+    Parallel: 4,
+    Tangent: 5,
+    Distance: 6,
+    DistanceX: 7,
+    DistanceY: 8,
+    Angle: 9,
+    Perpendicular: 10,
+    Radius: 11,
+    Equal: 12,
+    PointOnObject: 13,
+    Symmetric: 14,
+    InternalAlignment: 15,
+    SnellsLaw: 16,
+    Block: 17,
+    Diameter: 18,
+    Weight: 19,
+    Group: 20,
+    Text: 21,
+};
+/**
+ * Human-readable names for the ConstraintType enum integers (debugging/
+ * diagnostics only).
+ */
+export const CONSTRAINT_NAMES = {
+    1: 'Coincident', 2: 'Horizontal', 3: 'Vertical', 4: 'Parallel', 5: 'Tangent',
+    6: 'Distance', 7: 'DistanceX', 8: 'DistanceY', 9: 'Angle', 10: 'Perpendicular',
+    11: 'Radius', 12: 'Equal', 13: 'PointOnObject', 14: 'Symmetric',
+    15: 'InternalAlignment', 16: 'SnellsLaw', 17: 'Block', 18: 'Diameter',
+    19: 'Weight', 20: 'Group', 21: 'Text',
+};
+/** GeoEnum (src/Mod/Sketcher/App/GeoEnum.h:71-78) */
+export const GeoId = {
+    RtPnt: -1,
+    HAxis: -1,
+    VAxis: -2,
+    RefExt: -3,
+};
+/** PointPos (GeoEnum.h:88-94) */
+export const PointPos = {
+    none: 0, // edge itself
+    start: 1,
+    end: 2,
+    mid: 3, // center of circle/ellipse
+};
+//# sourceMappingURL=fcstd-types.js.map

package/dist/fcstd-types.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"fcstd-types.js","sourceRoot":"","sources":["../src/fcstd-types.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;GAgBG;AAEH,2EAA2E;AAC3E,MAAM,CAAC,MAAM,cAAc,GAAG;IAC5B,UAAU,EAAE,CAAC;IACb,UAAU,EAAE,CAAC;IACb,QAAQ,EAAE,CAAC;IACX,QAAQ,EAAE,CAAC;IACX,OAAO,EAAE,CAAC;IACV,QAAQ,EAAE,CAAC;IACX,SAAS,EAAE,CAAC;IACZ,SAAS,EAAE,CAAC;IACZ,KAAK,EAAE,CAAC;IACR,aAAa,EAAE,EAAE;IACjB,MAAM,EAAE,EAAE;IACV,KAAK,EAAE,EAAE;IACT,aAAa,EAAE,EAAE;IACjB,SAAS,EAAE,EAAE;IACb,iBAAiB,EAAE,EAAE;IACrB,SAAS,EAAE,EAAE;IACb,KAAK,EAAE,EAAE;IACT,QAAQ,EAAE,EAAE;IACZ,MAAM,EAAE,EAAE;IACV,KAAK,EAAE,EAAE;IACT,IAAI,EAAE,EAAE;CACA,CAAA;AAEV;;;GAGG;AACH,MAAM,CAAC,MAAM,gBAAgB,GAA2B;IACtD,CAAC,EAAE,YAAY,EAAE,CAAC,EAAE,YAAY,EAAE,CAAC,EAAE,UAAU,EAAE,CAAC,EAAE,UAAU,EAAE,CAAC,EAAE,SAAS;IAC5E,CAAC,EAAE,UAAU,EAAE,CAAC,EAAE,WAAW,EAAE,CAAC,EAAE,WAAW,EAAE,CAAC,EAAE,OAAO,EAAE,EAAE,EAAE,eAAe;IAC9E,EAAE,EAAE,QAAQ,EAAE,EAAE,EAAE,OAAO,EAAE,EAAE,EAAE,eAAe,EAAE,EAAE,EAAE,WAAW;IAC/D,EAAE,EAAE,mBAAmB,EAAE,EAAE,EAAE,WAAW,EAAE,EAAE,EAAE,OAAO,EAAE,EAAE,EAAE,UAAU;IACrE,EAAE,EAAE,QAAQ,EAAE,EAAE,EAAE,OAAO,EAAE,EAAE,EAAE,MAAM;CACtC,CAAA;AAED,qDAAqD;AACrD,MAAM,CAAC,MAAM,KAAK,GAAG;IACnB,KAAK,EAAE,CAAC,CAAC;IACT,KAAK,EAAE,CAAC,CAAC;IACT,KAAK,EAAE,CAAC,CAAC;IACT,MAAM,EAAE,CAAC,CAAC;CACF,CAAA;AAEV,iCAAiC;AACjC,MAAM,CAAC,MAAM,QAAQ,GAAG;IACtB,IAAI,EAAE,CAAC,EAAE,cAAc;IACvB,KAAK,EAAE,CAAC;IACR,GAAG,EAAE,CAAC;IACN,GAAG,EAAE,CAAC,EAAE,2BAA2B;CAC3B,CAAA","sourcesContent":["/**\n * fcstd-types — FCStd sketch geometry / constraint model (migrated from\n * `@faicad/faijs-fcstd`'s `sketch-parse.ts`, type half only).\n *\n * These are the FreeCAD-shaped records the solver pipeline consumes: geometry\n * carries an `index` (geoId) and 3D sketch-local coordinates; constraints carry\n * the `ConstraintType` integer and `(geoId, pos)` refs. The canonical,\n * projection-friendly model lives in `./canonical.ts` — this module is the\n * internal/FCStd-projection representation.\n *\n * Field format per the fcstd port plan §5.2/§5.3:\n * - geometry coordinates are 3D (X/Y/Z); sketch-local Z is usually 0\n * - `<Constrain>` carries Type as the ConstraintType enum integer\n * - ElementIds/ElementPositions take precedence over First/Second/Third\n * - IsDriving defaults to true when missing\n * - geoId: >= 0 own geometry; -1 HAxis/RtPnt; -2 VAxis; <= -3 external\n */\n\n/** ConstraintType enum values (src/Mod/Sketcher/App/Constraint.h:52-77) */\nexport const ConstraintType = {\n  Coincident: 1,\n  Horizontal: 2,\n  Vertical: 3,\n  Parallel: 4,\n  Tangent: 5,\n  Distance: 6,\n  DistanceX: 7,\n  DistanceY: 8,\n  Angle: 9,\n  Perpendicular: 10,\n  Radius: 11,\n  Equal: 12,\n  PointOnObject: 13,\n  Symmetric: 14,\n  InternalAlignment: 15,\n  SnellsLaw: 16,\n  Block: 17,\n  Diameter: 18,\n  Weight: 19,\n  Group: 20,\n  Text: 21,\n} as const\n\n/**\n * Human-readable names for the ConstraintType enum integers (debugging/\n * diagnostics only).\n */\nexport const CONSTRAINT_NAMES: Record<number, string> = {\n  1: 'Coincident', 2: 'Horizontal', 3: 'Vertical', 4: 'Parallel', 5: 'Tangent',\n  6: 'Distance', 7: 'DistanceX', 8: 'DistanceY', 9: 'Angle', 10: 'Perpendicular',\n  11: 'Radius', 12: 'Equal', 13: 'PointOnObject', 14: 'Symmetric',\n  15: 'InternalAlignment', 16: 'SnellsLaw', 17: 'Block', 18: 'Diameter',\n  19: 'Weight', 20: 'Group', 21: 'Text',\n}\n\n/** GeoEnum (src/Mod/Sketcher/App/GeoEnum.h:71-78) */\nexport const GeoId = {\n  RtPnt: -1,\n  HAxis: -1,\n  VAxis: -2,\n  RefExt: -3,\n} as const\n\n/** PointPos (GeoEnum.h:88-94) */\nexport const PointPos = {\n  none: 0, // edge itself\n  start: 1,\n  end: 2,\n  mid: 3, // center of circle/ellipse\n} as const\n\n/**\n * One parsed sketch geometry element (point, line, circle, arc, ellipse or\n * bspline), in 3D sketch-local coordinates.\n */\nexport type FcstdSketchGeom =\n  | { kind: 'point'; index: number; x: number; y: number; z: number }\n  | { kind: 'line'; index: number; x1: number; y1: number; z1: number; x2: number; y2: number; z2: number }\n  | { kind: 'circle'; index: number; cx: number; cy: number; cz: number; radius: number }\n  | {\n      kind: 'arc'\n      index: number\n      cx: number\n      cy: number\n      cz: number\n      radius: number\n      startAngle: number // radians\n      endAngle: number\n      /** arc endpoints derived from angles (kept for solver wiring) */\n      x1: number\n      y1: number\n      z1: number\n      x2: number\n      y2: number\n      z2: number\n    }\n  | {\n      kind: 'ellipse'\n      index: number\n      cx: number\n      cy: number\n      cz: number\n      majorRadius: number\n      minorRadius: number\n      /** rotation of major axis, radians */\n      angleXU: number\n      /** first focus (computed) */\n      fx1: number\n      fy1: number\n      fx2: number\n      fy2: number\n    }\n  | {\n      /** Part::GeomBSplineCurve (Poles/Knots/Degree/IsPeriodic) */\n      kind: 'bspline'\n      index: number\n      poles: { x: number; y: number }[]\n      knots: number[]\n      degree: number\n      periodic: boolean\n      /** curve start/end (exact for clamped splines; solver wiring + chaining) */\n      x1: number\n      y1: number\n      z1: number\n      x2: number\n      y2: number\n      z2: number\n    }\n\n/**\n * One (geometry, point) reference inside a constraint: a geoId plus a\n * PointPos selector.\n */\nexport interface FcstdGeoRef {\n  /** geometry id: >= 0 own geometry; -1 HAxis/RtPnt; -2 VAxis; <= -3 external */\n  geoId: number\n  /** PointPos selector (0 = edge itself, 1/2 = start/end, 3 = center) */\n  pos: number // PointPos\n}\n\n/**\n * One parsed sketch constraint.\n */\nexport interface FcstdSketchCon {\n  /** index in the constraint list */\n  index: number\n  /** ConstraintType integer */\n  type: number\n  /** resolved element refs */\n  refs: FcstdGeoRef[]\n  /** driving dimension value (Distance/Angle/Radius/...) */\n  value: number\n  /** IsDriving; missing means true */\n  isDriving: boolean\n  /** raw name attribute */\n  name: string\n  /** InternalAlignmentType when type === 15 */\n  internalAlignmentType?: number\n}\n\n/**\n * The fully parsed sketch: geometry, constraints, constrainedness and the set\n * of referenced external geoIds.\n */\nexport interface FcstdParsedSketch {\n  geoms: FcstdSketchGeom[]\n  constraints: FcstdSketchCon[]\n  fullyConstrained: boolean\n  /** geoIds <= -3 referenced by constraints */\n  externalGeoIds: number[]\n}"]}

package/dist/index.d.ts

@@ -0,0 +1,36 @@
+/**
+ * @faicad/faijs-sketch — faijs sketch & constraint capability library.
+ *
+ * The canonical sketch model (§4) plus:
+ * - `solveSketch` — canonical entry to the planegcs pipeline;
+ * - `sketchFaces` — solve + contour + core face construction;
+ * - the FCStd solve pipeline (`SketchSolver` / `extractContours` / `classifySketch`)
+ *   consumed by `@faicad/faijs-fcstd`;
+ * - the `cad.sketch` script-face op and its `cad`-namespace merge helpers.
+ *
+ * Node hosts import the wasm path resolver from `@faicad/faijs-sketch/node`;
+ * browser hosts inject wasm bytes through `HostPorts.assets`.
+ */
+export type { At, Ref, SketchGeom, SketchConstraint, SketchConstraintKind, SketchInput, SolveStatus, SolveOutcome, } from './canonical.js';
+export { SketchProjectionError, atToFreeCad, atFromFreeCad, atToCadQuery, atFromCadQuery, buildTagIndex, refToFreeCad, toFreeCadGeoms, fromFreeCadGeoms, toFreeCadConstraints, CONSTRAINT_KIND_TO_CADQUERY, CADQUERY_TO_CONSTRAINT_KIND, constraintKindToCadQuery, constraintKindFromCadQuery, } from './project.js';
+export type { ProjectedConstraints } from './project.js';
+export { solveSketch } from './solve.js';
+export type { SolveSketchOptions } from './solve.js';
+export { sketchFaces, shapeFromSolved } from './faces.js';
+export type { SketchFacesOptions } from './faces.js';
+export type { SketchSolver, FcstdSolveOutcome, ExternalFixedSeg } from './solver.js';
+export { SUPPORTED_CONSTRAINT_TYPES, allConstraintsSupported } from './solver.js';
+export { createPlanegcsSolver, PlanegcsSolver } from './planegcs-backend.js';
+export type { PlanegcsSolverOptions } from './planegcs-backend.js';
+export { extractContours } from './contour.js';
+export type { Contour, ContourSeg } from './contour.js';
+export { evalBSpline, sampleBSpline, bsplineToSegments } from './bspline.js';
+export type { BSPole, BSplineCurveData } from './bspline.js';
+export { anchorPoints, maxPointDistance, classifySketch } from './verify.js';
+export type { SketchVerdict } from './verify.js';
+export { ConstraintType, CONSTRAINT_NAMES, GeoId, PointPos, } from './fcstd-types.js';
+export type { FcstdSketchGeom, FcstdGeoRef, FcstdSketchCon, FcstdParsedSketch, } from './fcstd-types.js';
+export { sketch, assertSketchParams, installSketchSolver, uninstallSketchSolver, setSketchDiagnosticSink, SKETCH_OP_NAME, } from './op.js';
+export type { SketchParams } from './op.js';
+export { createSketchNamespace, mergeSketchNamespace, createSketchCadNamespace, registerSketchSymbols, unregisterSketchSymbols, SKETCH_OPS, } from './namespace.js';
+//# sourceMappingURL=index.d.ts.map

package/dist/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AAGH,YAAY,EACV,EAAE,EAAE,GAAG,EAAE,UAAU,EAAE,gBAAgB,EAAE,oBAAoB,EAAE,WAAW,EACxE,WAAW,EAAE,YAAY,GAC1B,MAAM,gBAAgB,CAAA;AAGvB,OAAO,EACL,qBAAqB,EACrB,WAAW,EAAE,aAAa,EAAE,YAAY,EAAE,cAAc,EACxD,aAAa,EAAE,YAAY,EAC3B,cAAc,EAAE,gBAAgB,EAChC,oBAAoB,EACpB,2BAA2B,EAAE,2BAA2B,EACxD,wBAAwB,EAAE,0BAA0B,GACrD,MAAM,cAAc,CAAA;AACrB,YAAY,EAAE,oBAAoB,EAAE,MAAM,cAAc,CAAA;AAGxD,OAAO,EAAE,WAAW,EAAE,MAAM,YAAY,CAAA;AACxC,YAAY,EAAE,kBAAkB,EAAE,MAAM,YAAY,CAAA;AACpD,OAAO,EAAE,WAAW,EAAE,eAAe,EAAE,MAAM,YAAY,CAAA;AACzD,YAAY,EAAE,kBAAkB,EAAE,MAAM,YAAY,CAAA;AAGpD,YAAY,EAAE,YAAY,EAAE,iBAAiB,EAAE,gBAAgB,EAAE,MAAM,aAAa,CAAA;AACpF,OAAO,EAAE,0BAA0B,EAAE,uBAAuB,EAAE,MAAM,aAAa,CAAA;AACjF,OAAO,EAAE,oBAAoB,EAAE,cAAc,EAAE,MAAM,uBAAuB,CAAA;AAC5E,YAAY,EAAE,qBAAqB,EAAE,MAAM,uBAAuB,CAAA;AAClE,OAAO,EAAE,eAAe,EAAE,MAAM,cAAc,CAAA;AAC9C,YAAY,EAAE,OAAO,EAAE,UAAU,EAAE,MAAM,cAAc,CAAA;AACvD,OAAO,EAAE,WAAW,EAAE,aAAa,EAAE,iBAAiB,EAAE,MAAM,cAAc,CAAA;AAC5E,YAAY,EAAE,MAAM,EAAE,gBAAgB,EAAE,MAAM,cAAc,CAAA;AAC5D,OAAO,EAAE,YAAY,EAAE,gBAAgB,EAAE,cAAc,EAAE,MAAM,aAAa,CAAA;AAC5E,YAAY,EAAE,aAAa,EAAE,MAAM,aAAa,CAAA;AAChD,OAAO,EACL,cAAc,EAAE,gBAAgB,EAAE,KAAK,EAAE,QAAQ,GAClD,MAAM,kBAAkB,CAAA;AACzB,YAAY,EACV,eAAe,EAAE,WAAW,EAAE,cAAc,EAAE,iBAAiB,GAChE,MAAM,kBAAkB,CAAA;AAGzB,OAAO,EACL,MAAM,EAAE,kBAAkB,EAAE,mBAAmB,EAAE,qBAAqB,EACtE,uBAAuB,EAAE,cAAc,GACxC,MAAM,SAAS,CAAA;AAChB,YAAY,EAAE,YAAY,EAAE,MAAM,SAAS,CAAA;AAC3C,OAAO,EACL,qBAAqB,EAAE,oBAAoB,EAAE,wBAAwB,EACrE,qBAAqB,EAAE,uBAAuB,EAAE,UAAU,GAC3D,MAAM,gBAAgB,CAAA"}

package/dist/index.js

@@ -0,0 +1,28 @@
+/**
+ * @faicad/faijs-sketch — faijs sketch & constraint capability library.
+ *
+ * The canonical sketch model (§4) plus:
+ * - `solveSketch` — canonical entry to the planegcs pipeline;
+ * - `sketchFaces` — solve + contour + core face construction;
+ * - the FCStd solve pipeline (`SketchSolver` / `extractContours` / `classifySketch`)
+ *   consumed by `@faicad/faijs-fcstd`;
+ * - the `cad.sketch` script-face op and its `cad`-namespace merge helpers.
+ *
+ * Node hosts import the wasm path resolver from `@faicad/faijs-sketch/node`;
+ * browser hosts inject wasm bytes through `HostPorts.assets`.
+ */
+// ── projection table (§4.5) ──
+export { SketchProjectionError, atToFreeCad, atFromFreeCad, atToCadQuery, atFromCadQuery, buildTagIndex, refToFreeCad, toFreeCadGeoms, fromFreeCadGeoms, toFreeCadConstraints, CONSTRAINT_KIND_TO_CADQUERY, CADQUERY_TO_CONSTRAINT_KIND, constraintKindToCadQuery, constraintKindFromCadQuery, } from './project.js';
+// ── solve + faces ──
+export { solveSketch } from './solve.js';
+export { sketchFaces, shapeFromSolved } from './faces.js';
+export { SUPPORTED_CONSTRAINT_TYPES, allConstraintsSupported } from './solver.js';
+export { createPlanegcsSolver, PlanegcsSolver } from './planegcs-backend.js';
+export { extractContours } from './contour.js';
+export { evalBSpline, sampleBSpline, bsplineToSegments } from './bspline.js';
+export { anchorPoints, maxPointDistance, classifySketch } from './verify.js';
+export { ConstraintType, CONSTRAINT_NAMES, GeoId, PointPos, } from './fcstd-types.js';
+// ── cad.sketch op + namespace assembly ──
+export { sketch, assertSketchParams, installSketchSolver, uninstallSketchSolver, setSketchDiagnosticSink, SKETCH_OP_NAME, } from './op.js';
+export { createSketchNamespace, mergeSketchNamespace, createSketchCadNamespace, registerSketchSymbols, unregisterSketchSymbols, SKETCH_OPS, } from './namespace.js';
+//# sourceMappingURL=index.js.map

package/dist/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AAQH,gCAAgC;AAChC,OAAO,EACL,qBAAqB,EACrB,WAAW,EAAE,aAAa,EAAE,YAAY,EAAE,cAAc,EACxD,aAAa,EAAE,YAAY,EAC3B,cAAc,EAAE,gBAAgB,EAChC,oBAAoB,EACpB,2BAA2B,EAAE,2BAA2B,EACxD,wBAAwB,EAAE,0BAA0B,GACrD,MAAM,cAAc,CAAA;AAGrB,sBAAsB;AACtB,OAAO,EAAE,WAAW,EAAE,MAAM,YAAY,CAAA;AAExC,OAAO,EAAE,WAAW,EAAE,eAAe,EAAE,MAAM,YAAY,CAAA;AAKzD,OAAO,EAAE,0BAA0B,EAAE,uBAAuB,EAAE,MAAM,aAAa,CAAA;AACjF,OAAO,EAAE,oBAAoB,EAAE,cAAc,EAAE,MAAM,uBAAuB,CAAA;AAE5E,OAAO,EAAE,eAAe,EAAE,MAAM,cAAc,CAAA;AAE9C,OAAO,EAAE,WAAW,EAAE,aAAa,EAAE,iBAAiB,EAAE,MAAM,cAAc,CAAA;AAE5E,OAAO,EAAE,YAAY,EAAE,gBAAgB,EAAE,cAAc,EAAE,MAAM,aAAa,CAAA;AAE5E,OAAO,EACL,cAAc,EAAE,gBAAgB,EAAE,KAAK,EAAE,QAAQ,GAClD,MAAM,kBAAkB,CAAA;AAKzB,2CAA2C;AAC3C,OAAO,EACL,MAAM,EAAE,kBAAkB,EAAE,mBAAmB,EAAE,qBAAqB,EACtE,uBAAuB,EAAE,cAAc,GACxC,MAAM,SAAS,CAAA;AAEhB,OAAO,EACL,qBAAqB,EAAE,oBAAoB,EAAE,wBAAwB,EACrE,qBAAqB,EAAE,uBAAuB,EAAE,UAAU,GAC3D,MAAM,gBAAgB,CAAA","sourcesContent":["/**\n * @faicad/faijs-sketch — faijs sketch & constraint capability library.\n *\n * The canonical sketch model (§4) plus:\n * - `solveSketch` — canonical entry to the planegcs pipeline;\n * - `sketchFaces` — solve + contour + core face construction;\n * - the FCStd solve pipeline (`SketchSolver` / `extractContours` / `classifySketch`)\n *   consumed by `@faicad/faijs-fcstd`;\n * - the `cad.sketch` script-face op and its `cad`-namespace merge helpers.\n *\n * Node hosts import the wasm path resolver from `@faicad/faijs-sketch/node`;\n * browser hosts inject wasm bytes through `HostPorts.assets`.\n */\n\n// ── canonical model (§4) ──\nexport type {\n  At, Ref, SketchGeom, SketchConstraint, SketchConstraintKind, SketchInput,\n  SolveStatus, SolveOutcome,\n} from './canonical.js'\n\n// ── projection table (§4.5) ──\nexport {\n  SketchProjectionError,\n  atToFreeCad, atFromFreeCad, atToCadQuery, atFromCadQuery,\n  buildTagIndex, refToFreeCad,\n  toFreeCadGeoms, fromFreeCadGeoms,\n  toFreeCadConstraints,\n  CONSTRAINT_KIND_TO_CADQUERY, CADQUERY_TO_CONSTRAINT_KIND,\n  constraintKindToCadQuery, constraintKindFromCadQuery,\n} from './project.js'\nexport type { ProjectedConstraints } from './project.js'\n\n// ── solve + faces ──\nexport { solveSketch } from './solve.js'\nexport type { SolveSketchOptions } from './solve.js'\nexport { sketchFaces, shapeFromSolved } from './faces.js'\nexport type { SketchFacesOptions } from './faces.js'\n\n// ── FCStd solve pipeline (consumed by the fcstd port) ──\nexport type { SketchSolver, FcstdSolveOutcome, ExternalFixedSeg } from './solver.js'\nexport { SUPPORTED_CONSTRAINT_TYPES, allConstraintsSupported } from './solver.js'\nexport { createPlanegcsSolver, PlanegcsSolver } from './planegcs-backend.js'\nexport type { PlanegcsSolverOptions } from './planegcs-backend.js'\nexport { extractContours } from './contour.js'\nexport type { Contour, ContourSeg } from './contour.js'\nexport { evalBSpline, sampleBSpline, bsplineToSegments } from './bspline.js'\nexport type { BSPole, BSplineCurveData } from './bspline.js'\nexport { anchorPoints, maxPointDistance, classifySketch } from './verify.js'\nexport type { SketchVerdict } from './verify.js'\nexport {\n  ConstraintType, CONSTRAINT_NAMES, GeoId, PointPos,\n} from './fcstd-types.js'\nexport type {\n  FcstdSketchGeom, FcstdGeoRef, FcstdSketchCon, FcstdParsedSketch,\n} from './fcstd-types.js'\n\n// ── cad.sketch op + namespace assembly ──\nexport {\n  sketch, assertSketchParams, installSketchSolver, uninstallSketchSolver,\n  setSketchDiagnosticSink, SKETCH_OP_NAME,\n} from './op.js'\nexport type { SketchParams } from './op.js'\nexport {\n  createSketchNamespace, mergeSketchNamespace, createSketchCadNamespace,\n  registerSketchSymbols, unregisterSketchSymbols, SKETCH_OPS,\n} from './namespace.js'"]}

package/dist/namespace.d.ts

@@ -0,0 +1,51 @@
+/**
+ * namespace — assemble and merge the sketch op into a host's `cad` namespace.
+ *
+ * Mirrors `@faicad/faijs-extra`'s pattern: core's `createApiNamespace()` carries
+ * the platform surface only; this library exports the sketch op plus a merge
+ * function and symbol registration, and the host decides whether to fold it in:
+ *
+ * ```ts
+ * import { createRuntime } from '@faicad/faijs/browser'
+ * import { createSketchCadNamespace, registerSketchSymbols, installSketchSolver }
+ *   from '@faicad/faijs-sketch'
+ * import { createNodePlanegcsSolver } from '@faicad/faijs-sketch/node'
+ *
+ * const rt = createRuntime(ports, mode)
+ * rt.registerLib('cad', createSketchCadNamespace(), { default: true })
+ * registerSketchSymbols()
+ * installSketchSolver(createNodePlanegcsSolver)
+ * ```
+ */
+import { type StdlibNamespace } from '@faicad/faijs/runtime-state';
+/** The op names this library contributes to the `cad` namespace. */
+export declare const SKETCH_OPS: readonly ["sketch"];
+/**
+ * Assemble the sketch-owned op set into a `cad`-shaped namespace fragment.
+ *
+ * @returns the sketch namespace fragment.
+ */
+export declare function createSketchNamespace(): StdlibNamespace;
+/**
+ * Merge the sketch namespace over a platform namespace.
+ *
+ * Pure: no registration side effects. Sketch keys win on collision.
+ *
+ * @param platform - the platform namespace (`createApiNamespace()`).
+ * @returns the merged namespace to register as the host's `cad` library.
+ */
+export declare function mergeSketchNamespace(platform: StdlibNamespace): StdlibNamespace;
+/**
+ * The `cad` namespace a host registers: core's platform surface plus the sketch op.
+ *
+ * @returns the namespace to hand to `registerLib('cad', …)`.
+ */
+export declare function createSketchCadNamespace(): StdlibNamespace;
+/**
+ * Register the sketch op name in the core symbol table, so static analysis that
+ * reads `SYMBOL_TABLE` recognises `cad.sketch`.
+ */
+export declare function registerSketchSymbols(): void;
+/** Undo {@link registerSketchSymbols}. */
+export declare function unregisterSketchSymbols(): void;
+//# sourceMappingURL=namespace.d.ts.map

package/dist/namespace.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"namespace.d.ts","sourceRoot":"","sources":["../src/namespace.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;GAkBG;AACH,OAAO,EAAoB,KAAK,eAAe,EAAE,MAAM,6BAA6B,CAAA;AAKpF,oEAAoE;AACpE,eAAO,MAAM,UAAU,qBAA4B,CAAA;AAEnD;;;;GAIG;AACH,wBAAgB,qBAAqB,IAAI,eAAe,CAKvD;AAED;;;;;;;GAOG;AACH,wBAAgB,oBAAoB,CAAC,QAAQ,EAAE,eAAe,GAAG,eAAe,CAE/E;AAED;;;;GAIG;AACH,wBAAgB,wBAAwB,IAAI,eAAe,CAE1D;AAED;;;GAGG;AACH,wBAAgB,qBAAqB,IAAI,IAAI,CAE5C;AAED,0CAA0C;AAC1C,wBAAgB,uBAAuB,IAAI,IAAI,CAE9C"}

package/dist/namespace.js

@@ -0,0 +1,67 @@
+/**
+ * namespace — assemble and merge the sketch op into a host's `cad` namespace.
+ *
+ * Mirrors `@faicad/faijs-extra`'s pattern: core's `createApiNamespace()` carries
+ * the platform surface only; this library exports the sketch op plus a merge
+ * function and symbol registration, and the host decides whether to fold it in:
+ *
+ * ```ts
+ * import { createRuntime } from '@faicad/faijs/browser'
+ * import { createSketchCadNamespace, registerSketchSymbols, installSketchSolver }
+ *   from '@faicad/faijs-sketch'
+ * import { createNodePlanegcsSolver } from '@faicad/faijs-sketch/node'
+ *
+ * const rt = createRuntime(ports, mode)
+ * rt.registerLib('cad', createSketchCadNamespace(), { default: true })
+ * registerSketchSymbols()
+ * installSketchSolver(createNodePlanegcsSolver)
+ * ```
+ */
+import { CONTRACT_VERSION } from '@faicad/faijs/runtime-state';
+import { registerSymbolTableEntries, unregisterSymbolTableEntries } from '@faicad/faijs/symbol-table';
+import { createApiNamespace } from '@faicad/faijs/api/api-namespace';
+import { SKETCH_OP_NAME, sketch } from './op.js';
+/** The op names this library contributes to the `cad` namespace. */
+export const SKETCH_OPS = [SKETCH_OP_NAME];
+/**
+ * Assemble the sketch-owned op set into a `cad`-shaped namespace fragment.
+ *
+ * @returns the sketch namespace fragment.
+ */
+export function createSketchNamespace() {
+    return {
+        contractVersion: CONTRACT_VERSION,
+        sketch,
+    };
+}
+/**
+ * Merge the sketch namespace over a platform namespace.
+ *
+ * Pure: no registration side effects. Sketch keys win on collision.
+ *
+ * @param platform - the platform namespace (`createApiNamespace()`).
+ * @returns the merged namespace to register as the host's `cad` library.
+ */
+export function mergeSketchNamespace(platform) {
+    return { ...platform, ...createSketchNamespace() };
+}
+/**
+ * The `cad` namespace a host registers: core's platform surface plus the sketch op.
+ *
+ * @returns the namespace to hand to `registerLib('cad', …)`.
+ */
+export function createSketchCadNamespace() {
+    return mergeSketchNamespace(createApiNamespace());
+}
+/**
+ * Register the sketch op name in the core symbol table, so static analysis that
+ * reads `SYMBOL_TABLE` recognises `cad.sketch`.
+ */
+export function registerSketchSymbols() {
+    registerSymbolTableEntries(SKETCH_OPS);
+}
+/** Undo {@link registerSketchSymbols}. */
+export function unregisterSketchSymbols() {
+    unregisterSymbolTableEntries(SKETCH_OPS);
+}
+//# sourceMappingURL=namespace.js.map

package/dist/namespace.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"namespace.js","sourceRoot":"","sources":["../src/namespace.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;GAkBG;AACH,OAAO,EAAE,gBAAgB,EAAwB,MAAM,6BAA6B,CAAA;AACpF,OAAO,EAAE,0BAA0B,EAAE,4BAA4B,EAAE,MAAM,4BAA4B,CAAA;AACrG,OAAO,EAAE,kBAAkB,EAAE,MAAM,iCAAiC,CAAA;AACpE,OAAO,EAAE,cAAc,EAAE,MAAM,EAAE,MAAM,SAAS,CAAA;AAEhD,oEAAoE;AACpE,MAAM,CAAC,MAAM,UAAU,GAAG,CAAC,cAAc,CAAU,CAAA;AAEnD;;;;GAIG;AACH,MAAM,UAAU,qBAAqB;IACnC,OAAO;QACL,eAAe,EAAE,gBAAgB;QACjC,MAAM;KACuB,CAAA;AACjC,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,UAAU,oBAAoB,CAAC,QAAyB;IAC5D,OAAO,EAAE,GAAG,QAAQ,EAAE,GAAG,qBAAqB,EAAE,EAAE,CAAA;AACpD,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,wBAAwB;IACtC,OAAO,oBAAoB,CAAC,kBAAkB,EAAE,CAAC,CAAA;AACnD,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,qBAAqB;IACnC,0BAA0B,CAAC,UAAU,CAAC,CAAA;AACxC,CAAC;AAED,0CAA0C;AAC1C,MAAM,UAAU,uBAAuB;IACrC,4BAA4B,CAAC,UAAU,CAAC,CAAA;AAC1C,CAAC","sourcesContent":["/**\n * namespace — assemble and merge the sketch op into a host's `cad` namespace.\n *\n * Mirrors `@faicad/faijs-extra`'s pattern: core's `createApiNamespace()` carries\n * the platform surface only; this library exports the sketch op plus a merge\n * function and symbol registration, and the host decides whether to fold it in:\n *\n * ```ts\n * import { createRuntime } from '@faicad/faijs/browser'\n * import { createSketchCadNamespace, registerSketchSymbols, installSketchSolver }\n *   from '@faicad/faijs-sketch'\n * import { createNodePlanegcsSolver } from '@faicad/faijs-sketch/node'\n *\n * const rt = createRuntime(ports, mode)\n * rt.registerLib('cad', createSketchCadNamespace(), { default: true })\n * registerSketchSymbols()\n * installSketchSolver(createNodePlanegcsSolver)\n * ```\n */\nimport { CONTRACT_VERSION, type StdlibNamespace } from '@faicad/faijs/runtime-state'\nimport { registerSymbolTableEntries, unregisterSymbolTableEntries } from '@faicad/faijs/symbol-table'\nimport { createApiNamespace } from '@faicad/faijs/api/api-namespace'\nimport { SKETCH_OP_NAME, sketch } from './op.js'\n\n/** The op names this library contributes to the `cad` namespace. */\nexport const SKETCH_OPS = [SKETCH_OP_NAME] as const\n\n/**\n * Assemble the sketch-owned op set into a `cad`-shaped namespace fragment.\n *\n * @returns the sketch namespace fragment.\n */\nexport function createSketchNamespace(): StdlibNamespace {\n  return {\n    contractVersion: CONTRACT_VERSION,\n    sketch,\n  } as unknown as StdlibNamespace\n}\n\n/**\n * Merge the sketch namespace over a platform namespace.\n *\n * Pure: no registration side effects. Sketch keys win on collision.\n *\n * @param platform - the platform namespace (`createApiNamespace()`).\n * @returns the merged namespace to register as the host's `cad` library.\n */\nexport function mergeSketchNamespace(platform: StdlibNamespace): StdlibNamespace {\n  return { ...platform, ...createSketchNamespace() }\n}\n\n/**\n * The `cad` namespace a host registers: core's platform surface plus the sketch op.\n *\n * @returns the namespace to hand to `registerLib('cad', …)`.\n */\nexport function createSketchCadNamespace(): StdlibNamespace {\n  return mergeSketchNamespace(createApiNamespace())\n}\n\n/**\n * Register the sketch op name in the core symbol table, so static analysis that\n * reads `SYMBOL_TABLE` recognises `cad.sketch`.\n */\nexport function registerSketchSymbols(): void {\n  registerSymbolTableEntries(SKETCH_OPS)\n}\n\n/** Undo {@link registerSketchSymbols}. */\nexport function unregisterSketchSymbols(): void {\n  unregisterSymbolTableEntries(SKETCH_OPS)\n}"]}

package/dist/node.d.ts

@@ -0,0 +1,14 @@
+import type { SketchSolver } from './solver.js';
+/**
+ * Resolve the planegcs WASM binary path from the installed package.
+ *
+ * @returns the absolute path of `planegcs.wasm` inside `@salusoft89/planegcs`.
+ */
+export declare function planegcsWasmPath(): string;
+/**
+ * Instantiate the planegcs solver using the installed wasm binary.
+ *
+ * @returns a `SketchSolver` backed by the planegcs WASM module.
+ */
+export declare function createNodePlanegcsSolver(): Promise<SketchSolver>;
+//# sourceMappingURL=node.d.ts.map

package/dist/node.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"node.d.ts","sourceRoot":"","sources":["../src/node.ts"],"names":[],"mappings":"AAWA,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,aAAa,CAAA;AAM/C;;;;GAIG;AACH,wBAAgB,gBAAgB,IAAI,MAAM,CAMzC;AAED;;;;GAIG;AACH,wBAAsB,wBAAwB,IAAI,OAAO,CAAC,YAAY,CAAC,CAEtE"}