@faicad/faijs 0.33.1 → 0.35.2

package/dist/sketch/index.d.ts

@@ -0,0 +1,46 @@
+/**
+ * @faicad/faijs/sketch — faijs sketch & constraint capability.
+ *
+ * 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`);
+ * - the `cad.sketch` script-face op.
+ *
+ * The cad namespace is now fully assembled inside `createApiNamespace()`;
+ * hosts no longer need to merge/register sketch symbols. Solver wasm is
+ * injected via `setSketchSolverInitFn()` (see `./solver-loader`).
+ *
+ * Node-only symbols (`planegcsWasmPath`, `createNodePlanegcsSolver`) are
+ * deliberately NOT re-exported from this entry — `./node.js` statically
+ * imports `node:module` / `node:path`, and a static re-export would drag
+ * `node:*` into browser/worker bundles. They live on the dedicated
+ * `@faicad/faijs/sketch/node` subpath (guarded by
+ * `test/sketch/sketch-entry-browser.test.ts`).
+ */
+export type { At, Ref, SketchGeom, SketchConstraint, SketchConstraintKind, SketchInput, SolveStatus, SolveOutcome, ConflictDetail, } from './canonical.js';
+export { SketchProjectionError, atToFreeCad, atFromFreeCad, atToCadQuery, atFromCadQuery, buildTagIndex, refToFreeCad, toFreeCadGeoms, fromFreeCadGeoms, toFreeCadConstraints, fromFreeCadConstraints, CONSTRAINT_KIND_TO_CADQUERY, CADQUERY_TO_CONSTRAINT_KIND, constraintKindToCadQuery, constraintKindFromCadQuery, } from './project.js';
+export type { ProjectedConstraints, UnmappedConstraint, FromFreeCadConstraints } 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 { expandShapes, nextShapeTag, shapeHandles, dragShapeHandle, handleForGeomControl, refsOfConstraint, SketchShapeError, rectCorners, regularPolygonVertices, slotOutline, trapezoidCorners, clampedUniformKnots, arcPoints, arcSweep, } from './shapes.js';
+export type { SketchShape, SketchMode, ShapeBase, ShapeSpan, ExpandedShapes, ShapeHandle, ShapeHandleKind, GeomControl, Pt2, } from './shapes.js';
+export { shapesDimSpec, constraintsDimSpec, sketchDimSpec } from './dim-spec.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 { setSketchSolverInitFn, initSketchSolver, } from './solver-loader.js';
+//# sourceMappingURL=index.d.ts.map

package/dist/sketch/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/sketch/index.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;GAmBG;AAGH,YAAY,EACV,EAAE,EAAE,GAAG,EAAE,UAAU,EAAE,gBAAgB,EAAE,oBAAoB,EAAE,WAAW,EACxE,WAAW,EAAE,YAAY,EAAE,cAAc,GAC1C,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,EAAE,sBAAsB,EAC5C,2BAA2B,EAAE,2BAA2B,EACxD,wBAAwB,EAAE,0BAA0B,GACrD,MAAM,cAAc,CAAA;AACrB,YAAY,EAAE,oBAAoB,EAAE,kBAAkB,EAAE,sBAAsB,EAAE,MAAM,cAAc,CAAA;AAGpG,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,OAAO,EACL,YAAY,EAAE,YAAY,EAAE,YAAY,EAAE,eAAe,EAAE,oBAAoB,EAC/E,gBAAgB,EAChB,gBAAgB,EAChB,WAAW,EAAE,sBAAsB,EAAE,WAAW,EAAE,gBAAgB,EAAE,mBAAmB,EACvF,SAAS,EAAE,QAAQ,GACpB,MAAM,aAAa,CAAA;AACpB,YAAY,EACV,WAAW,EAAE,UAAU,EAAE,SAAS,EAAE,SAAS,EAAE,cAAc,EAC7D,WAAW,EAAE,eAAe,EAAE,WAAW,EAAE,GAAG,GAC/C,MAAM,aAAa,CAAA;AAGpB,OAAO,EAAE,aAAa,EAAE,kBAAkB,EAAE,aAAa,EAAE,MAAM,eAAe,CAAA;AAGhF,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,gBAAgB,GACxC,MAAM,oBAAoB,CAAA"}

package/dist/sketch/index.js

@@ -0,0 +1,39 @@
+/**
+ * @faicad/faijs/sketch — faijs sketch & constraint capability.
+ *
+ * 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`);
+ * - the `cad.sketch` script-face op.
+ *
+ * The cad namespace is now fully assembled inside `createApiNamespace()`;
+ * hosts no longer need to merge/register sketch symbols. Solver wasm is
+ * injected via `setSketchSolverInitFn()` (see `./solver-loader`).
+ *
+ * Node-only symbols (`planegcsWasmPath`, `createNodePlanegcsSolver`) are
+ * deliberately NOT re-exported from this entry — `./node.js` statically
+ * imports `node:module` / `node:path`, and a static re-export would drag
+ * `node:*` into browser/worker bundles. They live on the dedicated
+ * `@faicad/faijs/sketch/node` subpath (guarded by
+ * `test/sketch/sketch-entry-browser.test.ts`).
+ */
+// ── projection table (§4.5) ──
+export { SketchProjectionError, atToFreeCad, atFromFreeCad, atToCadQuery, atFromCadQuery, buildTagIndex, refToFreeCad, toFreeCadGeoms, fromFreeCadGeoms, toFreeCadConstraints, fromFreeCadConstraints, 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';
+// ── semantic shape surface (`cad.sketch({ shapes })`) ──
+export { expandShapes, nextShapeTag, shapeHandles, dragShapeHandle, handleForGeomControl, refsOfConstraint, SketchShapeError, rectCorners, regularPolygonVertices, slotOutline, trapezoidCorners, clampedUniformKnots, arcPoints, arcSweep, } from './shapes.js';
+// ── serialize dimension spec (`cad.sketch` unit-aware codegen) ──
+export { shapesDimSpec, constraintsDimSpec, sketchDimSpec } from './dim-spec.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 ──
+export { sketch, assertSketchParams, installSketchSolver, uninstallSketchSolver, setSketchDiagnosticSink, SKETCH_OP_NAME, } from './op.js';
+export { setSketchSolverInitFn, initSketchSolver, } from './solver-loader.js';
+//# sourceMappingURL=index.js.map

package/dist/sketch/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/sketch/index.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;GAmBG;AAQH,gCAAgC;AAChC,OAAO,EACL,qBAAqB,EACrB,WAAW,EAAE,aAAa,EAAE,YAAY,EAAE,cAAc,EACxD,aAAa,EAAE,YAAY,EAC3B,cAAc,EAAE,gBAAgB,EAChC,oBAAoB,EAAE,sBAAsB,EAC5C,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;AAGzD,0DAA0D;AAC1D,OAAO,EACL,YAAY,EAAE,YAAY,EAAE,YAAY,EAAE,eAAe,EAAE,oBAAoB,EAC/E,gBAAgB,EAChB,gBAAgB,EAChB,WAAW,EAAE,sBAAsB,EAAE,WAAW,EAAE,gBAAgB,EAAE,mBAAmB,EACvF,SAAS,EAAE,QAAQ,GACpB,MAAM,aAAa,CAAA;AAMpB,mEAAmE;AACnE,OAAO,EAAE,aAAa,EAAE,kBAAkB,EAAE,aAAa,EAAE,MAAM,eAAe,CAAA;AAIhF,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,sBAAsB;AACtB,OAAO,EACL,MAAM,EAAE,kBAAkB,EAAE,mBAAmB,EAAE,qBAAqB,EACtE,uBAAuB,EAAE,cAAc,GACxC,MAAM,SAAS,CAAA;AAEhB,OAAO,EACL,qBAAqB,EAAE,gBAAgB,GACxC,MAAM,oBAAoB,CAAA","sourcesContent":["/**\n * @faicad/faijs/sketch — faijs sketch & constraint capability.\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 * - the `cad.sketch` script-face op.\n *\n * The cad namespace is now fully assembled inside `createApiNamespace()`;\n * hosts no longer need to merge/register sketch symbols. Solver wasm is\n * injected via `setSketchSolverInitFn()` (see `./solver-loader`).\n *\n * Node-only symbols (`planegcsWasmPath`, `createNodePlanegcsSolver`) are\n * deliberately NOT re-exported from this entry — `./node.js` statically\n * imports `node:module` / `node:path`, and a static re-export would drag\n * `node:*` into browser/worker bundles. They live on the dedicated\n * `@faicad/faijs/sketch/node` subpath (guarded by\n * `test/sketch/sketch-entry-browser.test.ts`).\n */\n\n// ── canonical model (§4) ──\nexport type {\n  At, Ref, SketchGeom, SketchConstraint, SketchConstraintKind, SketchInput,\n  SolveStatus, SolveOutcome, ConflictDetail,\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, fromFreeCadConstraints,\n  CONSTRAINT_KIND_TO_CADQUERY, CADQUERY_TO_CONSTRAINT_KIND,\n  constraintKindToCadQuery, constraintKindFromCadQuery,\n} from './project.js'\nexport type { ProjectedConstraints, UnmappedConstraint, FromFreeCadConstraints } 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// ── semantic shape surface (`cad.sketch({ shapes })`) ──\nexport {\n  expandShapes, nextShapeTag, shapeHandles, dragShapeHandle, handleForGeomControl,\n  refsOfConstraint,\n  SketchShapeError,\n  rectCorners, regularPolygonVertices, slotOutline, trapezoidCorners, clampedUniformKnots,\n  arcPoints, arcSweep,\n} from './shapes.js'\nexport type {\n  SketchShape, SketchMode, ShapeBase, ShapeSpan, ExpandedShapes,\n  ShapeHandle, ShapeHandleKind, GeomControl, Pt2,\n} from './shapes.js'\n\n// ── serialize dimension spec (`cad.sketch` unit-aware codegen) ──\nexport { shapesDimSpec, constraintsDimSpec, sketchDimSpec } from './dim-spec.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 ──\nexport {\n  sketch, assertSketchParams, installSketchSolver, uninstallSketchSolver,\n  setSketchDiagnosticSink, SKETCH_OP_NAME,\n} from './op.js'\nexport type { SketchParams } from './op.js'\nexport {\n  setSketchSolverInitFn, initSketchSolver,\n} from './solver-loader.js'"]}

package/dist/sketch/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/sketch/node.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"node.d.ts","sourceRoot":"","sources":["../../src/sketch/node.ts"],"names":[],"mappings":"AAoBA,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"}

package/dist/sketch/node.js

@@ -0,0 +1,43 @@
+/**
+ * @faicad/faijs/sketch/node — Node-only sketch solver entry.
+ *
+ * Resolves the planegcs WASM binary from the installed package and creates
+ * a solver. In the merged-core model, Node hosts do NOT need to call this
+ * explicitly — `initSketchSolver()` (from `./solver-loader`) auto-resolves
+ * the wasm path when running under Node. This entry is retained for
+ * downstream consumers that import it directly (e.g. faijs-cadquery).
+ *
+ * Browser/worker hosts must NOT import this subpath — they call
+ * `setSketchSolverInitFn()` with a factory that knows the wasm URL.
+ *
+ * This module is NOT re-exported from `./index.ts` (the main `@faicad/faijs/sketch`
+ * entry): its top-level `node:module` / `node:path` imports would leak into
+ * browser bundles through a static re-export. It is reachable only via the
+ * dedicated `@faicad/faijs/sketch/node` subpath.
+ */
+import { createRequire } from 'node:module';
+import { dirname, join } from 'node:path';
+import { createPlanegcsSolver } from './planegcs-backend.js';
+const require = createRequire(import.meta.url);
+let wasmPathCache;
+/**
+ * Resolve the planegcs WASM binary path from the installed package.
+ *
+ * @returns the absolute path of `planegcs.wasm` inside `@salusoft89/planegcs`.
+ */
+export function planegcsWasmPath() {
+    if (!wasmPathCache) {
+        const pkgDir = dirname(require.resolve('@salusoft89/planegcs/package.json'));
+        wasmPathCache = join(pkgDir, 'dist', 'planegcs_dist', 'planegcs.wasm');
+    }
+    return wasmPathCache;
+}
+/**
+ * Instantiate the planegcs solver using the installed wasm binary.
+ *
+ * @returns a `SketchSolver` backed by the planegcs WASM module.
+ */
+export async function createNodePlanegcsSolver() {
+    return createPlanegcsSolver({ wasmPath: planegcsWasmPath() });
+}
+//# sourceMappingURL=node.js.map

package/dist/sketch/node.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"node.js","sourceRoot":"","sources":["../../src/sketch/node.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;GAgBG;AACH,OAAO,EAAE,aAAa,EAAE,MAAM,aAAa,CAAA;AAC3C,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAA;AACzC,OAAO,EAAE,oBAAoB,EAAE,MAAM,uBAAuB,CAAA;AAG5D,MAAM,OAAO,GAAG,aAAa,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAA;AAE9C,IAAI,aAAiC,CAAA;AAErC;;;;GAIG;AACH,MAAM,UAAU,gBAAgB;IAC9B,IAAI,CAAC,aAAa,EAAE,CAAC;QACnB,MAAM,MAAM,GAAG,OAAO,CAAC,OAAO,CAAC,OAAO,CAAC,mCAAmC,CAAC,CAAC,CAAA;QAC5E,aAAa,GAAG,IAAI,CAAC,MAAM,EAAE,MAAM,EAAE,eAAe,EAAE,eAAe,CAAC,CAAA;IACxE,CAAC;IACD,OAAO,aAAa,CAAA;AACtB,CAAC;AAED;;;;GAIG;AACH,MAAM,CAAC,KAAK,UAAU,wBAAwB;IAC5C,OAAO,oBAAoB,CAAC,EAAE,QAAQ,EAAE,gBAAgB,EAAE,EAAE,CAAC,CAAA;AAC/D,CAAC","sourcesContent":["/**\n * @faicad/faijs/sketch/node — Node-only sketch solver entry.\n *\n * Resolves the planegcs WASM binary from the installed package and creates\n * a solver. In the merged-core model, Node hosts do NOT need to call this\n * explicitly — `initSketchSolver()` (from `./solver-loader`) auto-resolves\n * the wasm path when running under Node. This entry is retained for\n * downstream consumers that import it directly (e.g. faijs-cadquery).\n *\n * Browser/worker hosts must NOT import this subpath — they call\n * `setSketchSolverInitFn()` with a factory that knows the wasm URL.\n *\n * This module is NOT re-exported from `./index.ts` (the main `@faicad/faijs/sketch`\n * entry): its top-level `node:module` / `node:path` imports would leak into\n * browser bundles through a static re-export. It is reachable only via the\n * dedicated `@faicad/faijs/sketch/node` subpath.\n */\nimport { createRequire } from 'node:module'\nimport { dirname, join } from 'node:path'\nimport { createPlanegcsSolver } from './planegcs-backend.js'\nimport type { SketchSolver } from './solver.js'\n\nconst require = createRequire(import.meta.url)\n\nlet wasmPathCache: string | undefined\n\n/**\n * Resolve the planegcs WASM binary path from the installed package.\n *\n * @returns the absolute path of `planegcs.wasm` inside `@salusoft89/planegcs`.\n */\nexport function planegcsWasmPath(): string {\n  if (!wasmPathCache) {\n    const pkgDir = dirname(require.resolve('@salusoft89/planegcs/package.json'))\n    wasmPathCache = join(pkgDir, 'dist', 'planegcs_dist', 'planegcs.wasm')\n  }\n  return wasmPathCache\n}\n\n/**\n * Instantiate the planegcs solver using the installed wasm binary.\n *\n * @returns a `SketchSolver` backed by the planegcs WASM module.\n */\nexport async function createNodePlanegcsSolver(): Promise<SketchSolver> {\n  return createPlanegcsSolver({ wasmPath: planegcsWasmPath() })\n}\n"]}

package/dist/sketch/op.d.ts

@@ -0,0 +1,111 @@
+import type { Shape } from '../mesh/types.js';
+import type { SketchConstraint, SketchGeom, SolveOutcome } from './canonical.js';
+import { type SketchShape } from './shapes.js';
+import type { SketchSolver, ExternalFixedSeg } from './solver.js';
+/** The op name `cad.sketch`. */
+export declare const SKETCH_OP_NAME: "sketch";
+/**
+ * Install the host's planegcs solver factory (deprecated alias).
+ *
+ * Use `setSketchSolverInitFn` from `./solver-loader` instead. This alias
+ * is retained for one release to avoid breaking downstream call sites.
+ *
+ * @param factory - async factory returning a `SketchSolver`.
+ */
+export declare function installSketchSolver(factory: () => Promise<SketchSolver>): void;
+/** Undo {@link installSketchSolver}. */
+export declare function uninstallSketchSolver(): void;
+/**
+ * Install a diagnostics sink for non-`solved` outcomes (§5: allow ≠ silent).
+ *
+ * Hosts bridge this to their `HostPorts.events` sink / UI. Under-, redundant-
+ * and conflicting-constraint sketches still produce geometry, but the
+ * diagnostic must reach the host.
+ *
+ * @param sink - receives every non-`solved` solve outcome; `null` clears it.
+ */
+export declare function setSketchDiagnosticSink(sink: ((outcome: SolveOutcome) => void) | null): void;
+/** `cad.sketch` parameters. */
+export interface SketchParams {
+    /**
+     * 语义图元清单（**与 `geoms` 二选一**）：矩形/圆/圆角矩形/椭圆/正多边形/长圆槽/梯形
+     * + 画笔图元（线/弧/样条/点）+ `close`。脚本面推荐这一形态——"画矩形"在语句里
+     * 就是矩形，而不是 4 条线 + 8 条约束（铺开由库面 `expandShapes` 一处负责）。
+     */
+    shapes?: SketchShape[];
+    /** 展开后的 canonical 几何（**与 `shapes` 二选一**；存量语句继续用这一形态）。 */
+    geoms?: SketchGeom[];
+    /** Optional — a constraint-free sketch is equivalent to `cad.profile` usage. */
+    constraints?: SketchConstraint[];
+    /** Product form: `'face'` (default) or `'wire'` (outer wire for sweep spines). */
+    as?: 'face' | 'wire';
+    /**
+     * Named plane (`'XY'` default; e.g. `'XZ'` / `'YZ'`) or an explicit plane
+     * frame (A3, 2026-09-28): `{ origin, normal, xAxis? }` — places the solved
+     * contours on an arbitrary plane in one step (the sketchOnPlane hand-off;
+     * no post-hoc `cad.place` needed).
+     */
+    plane?: string | {
+        origin: [number, number, number];
+        normal: [number, number, number];
+        xAxis?: [number, number, number];
+    };
+    /**
+     * Fixed external geometry the constraints may reference (IRON RULE patch,
+     * 2026-10-04): each entry is the converter-resolved polyline of one external
+     * geoId (geoId <= -3), pinned as fixed solver points so external refs
+     * resolve STATICALLY — a ref with no matching entry here is an unresolvable
+     * constraint, not a run-time guess.
+     */
+    external?: ExternalFixedSeg[];
+}
+/**
+ * Validate `cad.sketch` parameters: **exactly one** of `shapes` / `geoms` must be a
+ * non-empty array, `constraints` (when present) an array, `plane` a named plane or
+ * an explicit frame.
+ *
+ * @param params - the raw sketch operation parameters.
+ */
+export declare function assertSketchParams(params: Record<string, unknown>): void;
+/**
+ * Sketch (semantic shapes / geometry + constraints) → solve → face / outer wire.
+ *
+ * 两条入口（二选一）：
+ * - `shapes`：语义图元（矩形/圆/……/画笔图元/close）→ 库面 `expandShapes` 展开成
+ *   canonical 几何 + 形状自带约束，再与调用方给的 `constraints` 合并求解；
+ * - `geoms`：直接给展开后的 canonical 几何（存量语句形态）。
+ *
+ * Permanently brep-only (D5, 2026-09-27): the mesh path reports
+ * `E_MESH_UNSUPPORTED`. Sketch APIs never get a mesh path — industry
+ * precedent (CadQuery, FreeCAD) solves sketches onto exact BREP edges.
+ *
+ * @group 创建
+ * @inputs 0
+ * @async true
+ * @qual ok
+ * @name sketch
+ * @returns Shape 平面几何（求解后构面）；`as:'wire'` 时返回外环 1D 曲线。
+ * @param params.shapes - 语义图元清单（与 geoms 二选一）。type:SketchShape[] required:false
+ * @param params.geoms - 展开后的草图几何（线段/圆/圆弧，与 shapes 二选一）。type:SketchGeom[] required:false
+ * @param params.constraints - 草图约束（可空；追加在形状自带约束之后）。type:SketchConstraint[] required:false
+ * @param params.as - 产物形态：'face'（默认）构面；'wire' 只交外环 wire。type:'face'|'wire' required:false
+ * @param params.plane - 放置目标命名平面（默认 'XY'；如 'XZ' / 'YZ'）。type:string required:false
+ * @example
+ * const plate = cad.sketch({
+ *   plane: 'XY',
+ *   shapes: [
+ *     { kind: 'rect', w: 100, d: 60, tag: 'g0' },
+ *     { kind: 'circle', r: 10, cx: 30, cy: 20, tag: 'hole', mode: 's' },
+ *   ],
+ *   constraints: [{ kind: 'length', of: { tag: 'g0.0' }, value: 100 }],
+ * })
+ * @example
+ * const f = cad.sketch({
+ *   geoms: [{ tag:'bottom', kind:'line', x1:0, y1:0, x2:80, y2:3 }],
+ *   constraints: [{ kind:'horizontal', of: { tag:'bottom' } }, { kind:'length', of: { tag:'bottom' }, value: 80 }],
+ * })
+ */
+export declare const sketch: ((params: Record<string, unknown>) => Promise<Shape>) & {
+    __faijs__dualOp?: import("../define-op.js").DualOpMeta;
+};
+//# sourceMappingURL=op.d.ts.map

package/dist/sketch/op.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"op.d.ts","sourceRoot":"","sources":["../../src/sketch/op.ts"],"names":[],"mappings":"AAYA,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,eAAe,CAAA;AAC1C,OAAO,KAAK,EAAE,gBAAgB,EAAE,UAAU,EAAE,YAAY,EAAE,MAAM,gBAAgB,CAAA;AAEhF,OAAO,EAAgB,KAAK,WAAW,EAAE,MAAM,aAAa,CAAA;AAE5D,OAAO,KAAK,EAAE,YAAY,EAAE,gBAAgB,EAAE,MAAM,aAAa,CAAA;AAGjE,gCAAgC;AAChC,eAAO,MAAM,cAAc,EAAG,QAAiB,CAAA;AAsD/C;;;;;;;GAOG;AACH,wBAAgB,mBAAmB,CAAC,OAAO,EAAE,MAAM,OAAO,CAAC,YAAY,CAAC,GAAG,IAAI,CAE9E;AAED,wCAAwC;AACxC,wBAAgB,qBAAqB,IAAI,IAAI,CAE5C;AAED;;;;;;;;GAQG;AACH,wBAAgB,uBAAuB,CAAC,IAAI,EAAE,CAAC,CAAC,OAAO,EAAE,YAAY,KAAK,IAAI,CAAC,GAAG,IAAI,GAAG,IAAI,CAE5F;AAED,+BAA+B;AAC/B,MAAM,WAAW,YAAY;IAC3B;;;;OAIG;IACH,MAAM,CAAC,EAAE,WAAW,EAAE,CAAA;IACtB,yDAAyD;IACzD,KAAK,CAAC,EAAE,UAAU,EAAE,CAAA;IACpB,gFAAgF;IAChF,WAAW,CAAC,EAAE,gBAAgB,EAAE,CAAA;IAChC,kFAAkF;IAClF,EAAE,CAAC,EAAE,MAAM,GAAG,MAAM,CAAA;IACpB;;;;;OAKG;IACH,KAAK,CAAC,EAAE,MAAM,GAAG;QAAE,MAAM,EAAE,CAAC,MAAM,EAAE,MAAM,EAAE,MAAM,CAAC,CAAC;QAAC,MAAM,EAAE,CAAC,MAAM,EAAE,MAAM,EAAE,MAAM,CAAC,CAAC;QAAC,KAAK,CAAC,EAAE,CAAC,MAAM,EAAE,MAAM,EAAE,MAAM,CAAC,CAAA;KAAE,CAAA;IACzH;;;;;;OAMG;IACH,QAAQ,CAAC,EAAE,gBAAgB,EAAE,CAAA;CAC9B;AAED;;;;;;GAMG;AACH,wBAAgB,kBAAkB,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG,IAAI,CAqBxE;AAMD;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAqCG;AACH,eAAO,MAAM,MAAM;;CA8BjB,CAAA"}

package/dist/sketch/op.js

@@ -0,0 +1,185 @@
+/**
+ * op — the `cad.sketch` script-face op (sketch geometry + constraints → face).
+ *
+ * This op is provided by the sketch library, not core: a host merges it into
+ * the `cad` namespace (see `./namespace`) only when it wants sketch support.
+ * The planegcs solver is host-injected (`installSketchSolver`) because the wasm
+ * source differs between Node and browser hosts — the library itself never
+ * imports `node:*`.
+ */
+import { defineOp } from '../sdk.js';
+import { fromBase } from '../units.js';
+import { sketchFaces } from './faces.js';
+import { expandShapes } from './shapes.js';
+import { sketchDimSpec } from './dim-spec.js';
+import { setSketchSolverInitFn, initSketchSolver } from './solver-loader.js';
+/** The op name `cad.sketch`. */
+export const SKETCH_OP_NAME = 'sketch';
+// ── degree → radian boundary (unit-system D8) ─────────────────────────────
+// The script face declares every angle field `dim: 'angle'` whose base unit is
+// DEGREE, so the runtime hands numbers here in degrees. The sketch library
+// internals (expandShapes, planegcs, Math.cos/sin) all work in radians. This
+// boundary converts once, at op entry — internals never see degrees. The
+// conversion goes through the unit system (`fromBase`), not a local constant.
+function degToRad(angle) {
+    return fromBase(angle, 'radian', 'angle');
+}
+/** Convert a plain record in place, returning it for chaining. */
+function convertAngles(obj, keys) {
+    for (const k of keys) {
+        if (typeof obj[k] === 'number')
+            obj[k] = degToRad(obj[k]);
+    }
+    return obj;
+}
+/** Angle-bearing fields per semantic shape kind (see `dim-spec.ts` shapeCases). */
+const SHAPE_ANGLE_KEYS = {
+    rect: ['angle'], roundedRect: ['angle'], ellipse: ['angle'], polygon: ['angle'],
+    slot: ['angle'], trapezoid: ['a1', 'a2'], arc: ['a0', 'a1'],
+};
+/** Angle-bearing fields per canonical geom kind (see `dim-spec.ts` geomCases). */
+const GEOM_ANGLE_KEYS = {
+    arc: ['a0', 'a1'], ellipse: ['angle', 'a0', 'a1'],
+};
+/** Constraint kinds whose `value` is an angle (see `dim-spec.ts` constraintCases). */
+const ANGLE_VALUE_CONSTRAINTS = new Set(['angle', 'arcAngle']);
+/**
+ * Convert script-face angle values (degrees) into library-internal radians,
+ * mutating the given arrays' entries in place. Unknown kinds pass through
+ * untouched (the library validates them downstream).
+ */
+function anglesToRadians(shapes, geoms, constraints) {
+    for (const s of shapes ?? [])
+        convertAngles(s, SHAPE_ANGLE_KEYS[s.kind] ?? []);
+    for (const g of geoms ?? [])
+        convertAngles(g, GEOM_ANGLE_KEYS[g.kind] ?? []);
+    for (const c of constraints ?? []) {
+        if (ANGLE_VALUE_CONSTRAINTS.has(c.kind))
+            convertAngles(c, ['value']);
+    }
+}
+let diagnosticSink;
+/**
+ * Install the host's planegcs solver factory (deprecated alias).
+ *
+ * Use `setSketchSolverInitFn` from `./solver-loader` instead. This alias
+ * is retained for one release to avoid breaking downstream call sites.
+ *
+ * @param factory - async factory returning a `SketchSolver`.
+ */
+export function installSketchSolver(factory) {
+    setSketchSolverInitFn(factory);
+}
+/** Undo {@link installSketchSolver}. */
+export function uninstallSketchSolver() {
+    setSketchSolverInitFn(null);
+}
+/**
+ * Install a diagnostics sink for non-`solved` outcomes (§5: allow ≠ silent).
+ *
+ * Hosts bridge this to their `HostPorts.events` sink / UI. Under-, redundant-
+ * and conflicting-constraint sketches still produce geometry, but the
+ * diagnostic must reach the host.
+ *
+ * @param sink - receives every non-`solved` solve outcome; `null` clears it.
+ */
+export function setSketchDiagnosticSink(sink) {
+    diagnosticSink = sink ?? undefined;
+}
+/**
+ * Validate `cad.sketch` parameters: **exactly one** of `shapes` / `geoms` must be a
+ * non-empty array, `constraints` (when present) an array, `plane` a named plane or
+ * an explicit frame.
+ *
+ * @param params - the raw sketch operation parameters.
+ */
+export function assertSketchParams(params) {
+    const hasShapes = params.shapes !== undefined;
+    const hasGeoms = params.geoms !== undefined;
+    if (hasShapes && hasGeoms) {
+        throw new Error('E_SKETCHC_BOTH_ENTRIES: sketch takes either `shapes` (semantic primitives) or `geoms` (expanded geometry), not both');
+    }
+    const entry = hasShapes ? params.shapes : params.geoms;
+    if (!Array.isArray(entry) || entry.length === 0) {
+        throw new Error('E_SKETCHC_NO_GEOMS: sketch requires at least one geometry');
+    }
+    if (params.constraints !== undefined && !Array.isArray(params.constraints)) {
+        throw new Error('E_SKETCHC_BAD_CONSTRAINTS: constraints must be an array');
+    }
+    if (params.plane !== undefined && typeof params.plane !== 'string' &&
+        (typeof params.plane !== 'object' || params.plane === null ||
+            !Array.isArray(params.plane.origin) ||
+            !Array.isArray(params.plane.normal))) {
+        throw new Error('E_SKETCHC_BAD_PLANE: plane must be a named plane string or an explicit frame { origin, normal, xAxis? }');
+    }
+}
+async function resolveSolver() {
+    return initSketchSolver();
+}
+/**
+ * Sketch (semantic shapes / geometry + constraints) → solve → face / outer wire.
+ *
+ * 两条入口（二选一）：
+ * - `shapes`：语义图元（矩形/圆/……/画笔图元/close）→ 库面 `expandShapes` 展开成
+ *   canonical 几何 + 形状自带约束，再与调用方给的 `constraints` 合并求解；
+ * - `geoms`：直接给展开后的 canonical 几何（存量语句形态）。
+ *
+ * Permanently brep-only (D5, 2026-09-27): the mesh path reports
+ * `E_MESH_UNSUPPORTED`. Sketch APIs never get a mesh path — industry
+ * precedent (CadQuery, FreeCAD) solves sketches onto exact BREP edges.
+ *
+ * @group 创建
+ * @inputs 0
+ * @async true
+ * @qual ok
+ * @name sketch
+ * @returns Shape 平面几何（求解后构面）；`as:'wire'` 时返回外环 1D 曲线。
+ * @param params.shapes - 语义图元清单（与 geoms 二选一）。type:SketchShape[] required:false
+ * @param params.geoms - 展开后的草图几何（线段/圆/圆弧，与 shapes 二选一）。type:SketchGeom[] required:false
+ * @param params.constraints - 草图约束（可空；追加在形状自带约束之后）。type:SketchConstraint[] required:false
+ * @param params.as - 产物形态：'face'（默认）构面；'wire' 只交外环 wire。type:'face'|'wire' required:false
+ * @param params.plane - 放置目标命名平面（默认 'XY'；如 'XZ' / 'YZ'）。type:string required:false
+ * @example
+ * const plate = cad.sketch({
+ *   plane: 'XY',
+ *   shapes: [
+ *     { kind: 'rect', w: 100, d: 60, tag: 'g0' },
+ *     { kind: 'circle', r: 10, cx: 30, cy: 20, tag: 'hole', mode: 's' },
+ *   ],
+ *   constraints: [{ kind: 'length', of: { tag: 'g0.0' }, value: 100 }],
+ * })
+ * @example
+ * const f = cad.sketch({
+ *   geoms: [{ tag:'bottom', kind:'line', x1:0, y1:0, x2:80, y2:3 }],
+ *   constraints: [{ kind:'horizontal', of: { tag:'bottom' } }, { kind:'length', of: { tag:'bottom' }, value: 80 }],
+ * })
+ */
+export const sketch = defineOp({
+    name: SKETCH_OP_NAME,
+    async brep(params) {
+        assertSketchParams(params);
+        const solver = await resolveSolver();
+        const p = params;
+        // Unit boundary: script-face angles arrive in degrees (angle base unit);
+        // library internals work in radians. Mutates the caller's arrays — safe
+        // because params are per-execution, never retained by the host.
+        anglesToRadians(p.shapes, p.geoms, p.constraints);
+        const expansion = p.shapes ? expandShapes(p.shapes) : undefined;
+        const geoms = expansion ? expansion.geoms : p.geoms;
+        const constraints = [...(expansion ? expansion.constraints : []), ...(p.constraints ?? [])];
+        return sketchFaces(geoms, constraints, {
+            solver,
+            as: p.as,
+            plane: p.plane,
+            external: p.external,
+            expectHoles: (expansion?.subtractRanges.length ?? 0) > 0,
+            onDiagnostic: (outcome) => {
+                if (outcome.status !== 'solved')
+                    diagnosticSink?.(outcome);
+            },
+        });
+    },
+    naming: { kind: 'construct', newFaces: { via: 'explicit', vocab: [] } },
+    spec: sketchDimSpec(),
+});
+//# sourceMappingURL=op.js.map

package/dist/sketch/op.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"op.js","sourceRoot":"","sources":["../../src/sketch/op.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AACH,OAAO,EAAE,QAAQ,EAAE,MAAM,QAAQ,CAAA;AACjC,OAAO,EAAE,QAAQ,EAAE,MAAM,UAAU,CAAA;AAInC,OAAO,EAAE,WAAW,EAAE,MAAM,YAAY,CAAA;AACxC,OAAO,EAAE,YAAY,EAAoB,MAAM,aAAa,CAAA;AAC5D,OAAO,EAAE,aAAa,EAAE,MAAM,eAAe,CAAA;AAE7C,OAAO,EAAE,qBAAqB,EAAE,gBAAgB,EAAE,MAAM,oBAAoB,CAAA;AAE5E,gCAAgC;AAChC,MAAM,CAAC,MAAM,cAAc,GAAG,QAAiB,CAAA;AAE/C,6EAA6E;AAC7E,+EAA+E;AAC/E,2EAA2E;AAC3E,6EAA6E;AAC7E,yEAAyE;AACzE,8EAA8E;AAE9E,SAAS,QAAQ,CAAC,KAAa;IAC7B,OAAO,QAAQ,CAAC,KAAK,EAAE,QAAQ,EAAE,OAAO,CAAC,CAAA;AAC3C,CAAC;AAED,kEAAkE;AAClE,SAAS,aAAa,CAAoC,GAAM,EAAE,IAAuB;IACvF,KAAK,MAAM,CAAC,IAAI,IAAI,EAAE,CAAC;QACrB,IAAI,OAAO,GAAG,CAAC,CAAC,CAAC,KAAK,QAAQ;YAAG,GAA+B,CAAC,CAAC,CAAC,GAAG,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAW,CAAC,CAAA;IAClG,CAAC;IACD,OAAO,GAAG,CAAA;AACZ,CAAC;AAED,mFAAmF;AACnF,MAAM,gBAAgB,GAAsC;IAC1D,IAAI,EAAE,CAAC,OAAO,CAAC,EAAE,WAAW,EAAE,CAAC,OAAO,CAAC,EAAE,OAAO,EAAE,CAAC,OAAO,CAAC,EAAE,OAAO,EAAE,CAAC,OAAO,CAAC;IAC/E,IAAI,EAAE,CAAC,OAAO,CAAC,EAAE,SAAS,EAAE,CAAC,IAAI,EAAE,IAAI,CAAC,EAAE,GAAG,EAAE,CAAC,IAAI,EAAE,IAAI,CAAC;CAC5D,CAAA;AAED,kFAAkF;AAClF,MAAM,eAAe,GAAsC;IACzD,GAAG,EAAE,CAAC,IAAI,EAAE,IAAI,CAAC,EAAE,OAAO,EAAE,CAAC,OAAO,EAAE,IAAI,EAAE,IAAI,CAAC;CAClD,CAAA;AAED,sFAAsF;AACtF,MAAM,uBAAuB,GAAwB,IAAI,GAAG,CAAC,CAAC,OAAO,EAAE,UAAU,CAAC,CAAC,CAAA;AAEnF;;;;GAIG;AACH,SAAS,eAAe,CACtB,MAAkD,EAClD,KAAiD,EACjD,WAAuD;IAEvD,KAAK,MAAM,CAAC,IAAI,MAAM,IAAI,EAAE;QAAE,aAAa,CAAC,CAAC,EAAE,gBAAgB,CAAC,CAAC,CAAC,IAAc,CAAC,IAAI,EAAE,CAAC,CAAA;IACxF,KAAK,MAAM,CAAC,IAAI,KAAK,IAAI,EAAE;QAAE,aAAa,CAAC,CAAC,EAAE,eAAe,CAAC,CAAC,CAAC,IAAc,CAAC,IAAI,EAAE,CAAC,CAAA;IACtF,KAAK,MAAM,CAAC,IAAI,WAAW,IAAI,EAAE,EAAE,CAAC;QAClC,IAAI,uBAAuB,CAAC,GAAG,CAAC,CAAC,CAAC,IAAc,CAAC;YAAE,aAAa,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,CAAC,CAAA;IAChF,CAAC;AACH,CAAC;AAED,IAAI,cAA6D,CAAA;AAEjE;;;;;;;GAOG;AACH,MAAM,UAAU,mBAAmB,CAAC,OAAoC;IACtE,qBAAqB,CAAC,OAAO,CAAC,CAAA;AAChC,CAAC;AAED,wCAAwC;AACxC,MAAM,UAAU,qBAAqB;IACnC,qBAAqB,CAAC,IAAI,CAAC,CAAA;AAC7B,CAAC;AAED;;;;;;;;GAQG;AACH,MAAM,UAAU,uBAAuB,CAAC,IAA8C;IACpF,cAAc,GAAG,IAAI,IAAI,SAAS,CAAA;AACpC,CAAC;AAiCD;;;;;;GAMG;AACH,MAAM,UAAU,kBAAkB,CAAC,MAA+B;IAChE,MAAM,SAAS,GAAG,MAAM,CAAC,MAAM,KAAK,SAAS,CAAA;IAC7C,MAAM,QAAQ,GAAG,MAAM,CAAC,KAAK,KAAK,SAAS,CAAA;IAC3C,IAAI,SAAS,IAAI,QAAQ,EAAE,CAAC;QAC1B,MAAM,IAAI,KAAK,CACb,qHAAqH,CACtH,CAAA;IACH,CAAC;IACD,MAAM,KAAK,GAAG,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAA;IACtD,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAChD,MAAM,IAAI,KAAK,CAAC,2DAA2D,CAAC,CAAA;IAC9E,CAAC;IACD,IAAI,MAAM,CAAC,WAAW,KAAK,SAAS,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,WAAW,CAAC,EAAE,CAAC;QAC3E,MAAM,IAAI,KAAK,CAAC,yDAAyD,CAAC,CAAA;IAC5E,CAAC;IACD,IAAI,MAAM,CAAC,KAAK,KAAK,SAAS,IAAI,OAAO,MAAM,CAAC,KAAK,KAAK,QAAQ;QAC9D,CAAC,OAAO,MAAM,CAAC,KAAK,KAAK,QAAQ,IAAI,MAAM,CAAC,KAAK,KAAK,IAAI;YACxD,CAAC,KAAK,CAAC,OAAO,CAAE,MAAM,CAAC,KAA8B,CAAC,MAAM,CAAC;YAC7D,CAAC,KAAK,CAAC,OAAO,CAAE,MAAM,CAAC,KAA8B,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC;QACrE,MAAM,IAAI,KAAK,CAAC,yGAAyG,CAAC,CAAA;IAC5H,CAAC;AACH,CAAC;AAED,KAAK,UAAU,aAAa;IAC1B,OAAO,gBAAgB,EAAE,CAAA;AAC3B,CAAC;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAqCG;AACH,MAAM,CAAC,MAAM,MAAM,GAAG,QAAQ,CAAC;IAC7B,IAAI,EAAE,cAAc;IACpB,KAAK,CAAC,IAAI,CAAC,MAA+B;QACxC,kBAAkB,CAAC,MAAM,CAAC,CAAA;QAC1B,MAAM,MAAM,GAAG,MAAM,aAAa,EAAE,CAAA;QACpC,MAAM,CAAC,GAAG,MAAiC,CAAA;QAC3C,yEAAyE;QACzE,wEAAwE;QACxE,gEAAgE;QAChE,eAAe,CACb,CAAC,CAAC,MAAoD,EACtD,CAAC,CAAC,KAAmD,EACrD,CAAC,CAAC,WAAyD,CAC5D,CAAA;QACD,MAAM,SAAS,GAAG,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,SAAS,CAAA;QAC/D,MAAM,KAAK,GAAG,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,KAAM,CAAA;QACpD,MAAM,WAAW,GAAG,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,WAAW,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,WAAW,IAAI,EAAE,CAAC,CAAC,CAAA;QAC3F,OAAO,WAAW,CAAC,KAAK,EAAE,WAAW,EAAE;YACrC,MAAM;YACN,EAAE,EAAE,CAAC,CAAC,EAAE;YACR,KAAK,EAAE,CAAC,CAAC,KAAK;YACd,QAAQ,EAAE,CAAC,CAAC,QAAQ;YACpB,WAAW,EAAE,CAAC,SAAS,EAAE,cAAc,CAAC,MAAM,IAAI,CAAC,CAAC,GAAG,CAAC;YACxD,YAAY,EAAE,CAAC,OAAO,EAAE,EAAE;gBACxB,IAAI,OAAO,CAAC,MAAM,KAAK,QAAQ;oBAAE,cAAc,EAAE,CAAC,OAAO,CAAC,CAAA;YAC5D,CAAC;SACF,CAAC,CAAA;IACJ,CAAC;IACD,MAAM,EAAE,EAAE,IAAI,EAAE,WAAW,EAAE,QAAQ,EAAE,EAAE,GAAG,EAAE,UAAU,EAAE,KAAK,EAAE,EAAE,EAAE,EAAgB;IACrF,IAAI,EAAE,aAAa,EAAE;CACtB,CAAC,CAAA","sourcesContent":["/**\n * op — the `cad.sketch` script-face op (sketch geometry + constraints → face).\n *\n * This op is provided by the sketch library, not core: a host merges it into\n * the `cad` namespace (see `./namespace`) only when it wants sketch support.\n * The planegcs solver is host-injected (`installSketchSolver`) because the wasm\n * source differs between Node and browser hosts — the library itself never\n * imports `node:*`.\n */\nimport { defineOp } from '../sdk'\nimport { fromBase } from '../units'\nimport type { Provenance } from '../topology/naming'\nimport type { Shape } from '../mesh/types'\nimport type { SketchConstraint, SketchGeom, SolveOutcome } from './canonical.js'\nimport { sketchFaces } from './faces.js'\nimport { expandShapes, type SketchShape } from './shapes.js'\nimport { sketchDimSpec } from './dim-spec.js'\nimport type { SketchSolver, ExternalFixedSeg } from './solver.js'\nimport { setSketchSolverInitFn, initSketchSolver } from './solver-loader.js'\n\n/** The op name `cad.sketch`. */\nexport const SKETCH_OP_NAME = 'sketch' as const\n\n// ── degree → radian boundary (unit-system D8) ─────────────────────────────\n// The script face declares every angle field `dim: 'angle'` whose base unit is\n// DEGREE, so the runtime hands numbers here in degrees. The sketch library\n// internals (expandShapes, planegcs, Math.cos/sin) all work in radians. This\n// boundary converts once, at op entry — internals never see degrees. The\n// conversion goes through the unit system (`fromBase`), not a local constant.\n\nfunction degToRad(angle: number): number {\n  return fromBase(angle, 'radian', 'angle')\n}\n\n/** Convert a plain record in place, returning it for chaining. */\nfunction convertAngles<T extends Record<string, unknown>>(obj: T, keys: readonly string[]): T {\n  for (const k of keys) {\n    if (typeof obj[k] === 'number') (obj as Record<string, unknown>)[k] = degToRad(obj[k] as number)\n  }\n  return obj\n}\n\n/** Angle-bearing fields per semantic shape kind (see `dim-spec.ts` shapeCases). */\nconst SHAPE_ANGLE_KEYS: Record<string, readonly string[]> = {\n  rect: ['angle'], roundedRect: ['angle'], ellipse: ['angle'], polygon: ['angle'],\n  slot: ['angle'], trapezoid: ['a1', 'a2'], arc: ['a0', 'a1'],\n}\n\n/** Angle-bearing fields per canonical geom kind (see `dim-spec.ts` geomCases). */\nconst GEOM_ANGLE_KEYS: Record<string, readonly string[]> = {\n  arc: ['a0', 'a1'], ellipse: ['angle', 'a0', 'a1'],\n}\n\n/** Constraint kinds whose `value` is an angle (see `dim-spec.ts` constraintCases). */\nconst ANGLE_VALUE_CONSTRAINTS: ReadonlySet<string> = new Set(['angle', 'arcAngle'])\n\n/**\n * Convert script-face angle values (degrees) into library-internal radians,\n * mutating the given arrays' entries in place. Unknown kinds pass through\n * untouched (the library validates them downstream).\n */\nfunction anglesToRadians(\n  shapes: Array<Record<string, unknown>> | undefined,\n  geoms: Array<Record<string, unknown>> | undefined,\n  constraints: Array<Record<string, unknown>> | undefined,\n): void {\n  for (const s of shapes ?? []) convertAngles(s, SHAPE_ANGLE_KEYS[s.kind as string] ?? [])\n  for (const g of geoms ?? []) convertAngles(g, GEOM_ANGLE_KEYS[g.kind as string] ?? [])\n  for (const c of constraints ?? []) {\n    if (ANGLE_VALUE_CONSTRAINTS.has(c.kind as string)) convertAngles(c, ['value'])\n  }\n}\n\nlet diagnosticSink: ((outcome: SolveOutcome) => void) | undefined\n\n/**\n * Install the host's planegcs solver factory (deprecated alias).\n *\n * Use `setSketchSolverInitFn` from `./solver-loader` instead. This alias\n * is retained for one release to avoid breaking downstream call sites.\n *\n * @param factory - async factory returning a `SketchSolver`.\n */\nexport function installSketchSolver(factory: () => Promise<SketchSolver>): void {\n  setSketchSolverInitFn(factory)\n}\n\n/** Undo {@link installSketchSolver}. */\nexport function uninstallSketchSolver(): void {\n  setSketchSolverInitFn(null)\n}\n\n/**\n * Install a diagnostics sink for non-`solved` outcomes (§5: allow ≠ silent).\n *\n * Hosts bridge this to their `HostPorts.events` sink / UI. Under-, redundant-\n * and conflicting-constraint sketches still produce geometry, but the\n * diagnostic must reach the host.\n *\n * @param sink - receives every non-`solved` solve outcome; `null` clears it.\n */\nexport function setSketchDiagnosticSink(sink: ((outcome: SolveOutcome) => void) | null): void {\n  diagnosticSink = sink ?? undefined\n}\n\n/** `cad.sketch` parameters. */\nexport interface SketchParams {\n  /**\n   * 语义图元清单（**与 `geoms` 二选一**）：矩形/圆/圆角矩形/椭圆/正多边形/长圆槽/梯形\n   * + 画笔图元（线/弧/样条/点）+ `close`。脚本面推荐这一形态——\"画矩形\"在语句里\n   * 就是矩形，而不是 4 条线 + 8 条约束（铺开由库面 `expandShapes` 一处负责）。\n   */\n  shapes?: SketchShape[]\n  /** 展开后的 canonical 几何（**与 `shapes` 二选一**；存量语句继续用这一形态）。 */\n  geoms?: SketchGeom[]\n  /** Optional — a constraint-free sketch is equivalent to `cad.profile` usage. */\n  constraints?: SketchConstraint[]\n  /** Product form: `'face'` (default) or `'wire'` (outer wire for sweep spines). */\n  as?: 'face' | 'wire'\n  /**\n   * Named plane (`'XY'` default; e.g. `'XZ'` / `'YZ'`) or an explicit plane\n   * frame (A3, 2026-09-28): `{ origin, normal, xAxis? }` — places the solved\n   * contours on an arbitrary plane in one step (the sketchOnPlane hand-off;\n   * no post-hoc `cad.place` needed).\n   */\n  plane?: string | { origin: [number, number, number]; normal: [number, number, number]; xAxis?: [number, number, number] }\n  /**\n   * Fixed external geometry the constraints may reference (IRON RULE patch,\n   * 2026-10-04): each entry is the converter-resolved polyline of one external\n   * geoId (geoId <= -3), pinned as fixed solver points so external refs\n   * resolve STATICALLY — a ref with no matching entry here is an unresolvable\n   * constraint, not a run-time guess.\n   */\n  external?: ExternalFixedSeg[]\n}\n\n/**\n * Validate `cad.sketch` parameters: **exactly one** of `shapes` / `geoms` must be a\n * non-empty array, `constraints` (when present) an array, `plane` a named plane or\n * an explicit frame.\n *\n * @param params - the raw sketch operation parameters.\n */\nexport function assertSketchParams(params: Record<string, unknown>): void {\n  const hasShapes = params.shapes !== undefined\n  const hasGeoms = params.geoms !== undefined\n  if (hasShapes && hasGeoms) {\n    throw new Error(\n      'E_SKETCHC_BOTH_ENTRIES: sketch takes either `shapes` (semantic primitives) or `geoms` (expanded geometry), not both',\n    )\n  }\n  const entry = hasShapes ? params.shapes : params.geoms\n  if (!Array.isArray(entry) || entry.length === 0) {\n    throw new Error('E_SKETCHC_NO_GEOMS: sketch requires at least one geometry')\n  }\n  if (params.constraints !== undefined && !Array.isArray(params.constraints)) {\n    throw new Error('E_SKETCHC_BAD_CONSTRAINTS: constraints must be an array')\n  }\n  if (params.plane !== undefined && typeof params.plane !== 'string' &&\n      (typeof params.plane !== 'object' || params.plane === null ||\n        !Array.isArray((params.plane as { origin?: unknown }).origin) ||\n        !Array.isArray((params.plane as { normal?: unknown }).normal))) {\n    throw new Error('E_SKETCHC_BAD_PLANE: plane must be a named plane string or an explicit frame { origin, normal, xAxis? }')\n  }\n}\n\nasync function resolveSolver(): Promise<SketchSolver> {\n  return initSketchSolver()\n}\n\n/**\n * Sketch (semantic shapes / geometry + constraints) → solve → face / outer wire.\n *\n * 两条入口（二选一）：\n * - `shapes`：语义图元（矩形/圆/……/画笔图元/close）→ 库面 `expandShapes` 展开成\n *   canonical 几何 + 形状自带约束，再与调用方给的 `constraints` 合并求解；\n * - `geoms`：直接给展开后的 canonical 几何（存量语句形态）。\n *\n * Permanently brep-only (D5, 2026-09-27): the mesh path reports\n * `E_MESH_UNSUPPORTED`. Sketch APIs never get a mesh path — industry\n * precedent (CadQuery, FreeCAD) solves sketches onto exact BREP edges.\n *\n * @group 创建\n * @inputs 0\n * @async true\n * @qual ok\n * @name sketch\n * @returns Shape 平面几何（求解后构面）；`as:'wire'` 时返回外环 1D 曲线。\n * @param params.shapes - 语义图元清单（与 geoms 二选一）。type:SketchShape[] required:false\n * @param params.geoms - 展开后的草图几何（线段/圆/圆弧，与 shapes 二选一）。type:SketchGeom[] required:false\n * @param params.constraints - 草图约束（可空；追加在形状自带约束之后）。type:SketchConstraint[] required:false\n * @param params.as - 产物形态：'face'（默认）构面；'wire' 只交外环 wire。type:'face'|'wire' required:false\n * @param params.plane - 放置目标命名平面（默认 'XY'；如 'XZ' / 'YZ'）。type:string required:false\n * @example\n * const plate = cad.sketch({\n *   plane: 'XY',\n *   shapes: [\n *     { kind: 'rect', w: 100, d: 60, tag: 'g0' },\n *     { kind: 'circle', r: 10, cx: 30, cy: 20, tag: 'hole', mode: 's' },\n *   ],\n *   constraints: [{ kind: 'length', of: { tag: 'g0.0' }, value: 100 }],\n * })\n * @example\n * const f = cad.sketch({\n *   geoms: [{ tag:'bottom', kind:'line', x1:0, y1:0, x2:80, y2:3 }],\n *   constraints: [{ kind:'horizontal', of: { tag:'bottom' } }, { kind:'length', of: { tag:'bottom' }, value: 80 }],\n * })\n */\nexport const sketch = defineOp({\n  name: SKETCH_OP_NAME,\n  async brep(params: Record<string, unknown>): Promise<Shape> {\n    assertSketchParams(params)\n    const solver = await resolveSolver()\n    const p = params as unknown as SketchParams\n    // Unit boundary: script-face angles arrive in degrees (angle base unit);\n    // library internals work in radians. Mutates the caller's arrays — safe\n    // because params are per-execution, never retained by the host.\n    anglesToRadians(\n      p.shapes as Array<Record<string, unknown>> | undefined,\n      p.geoms as Array<Record<string, unknown>> | undefined,\n      p.constraints as Array<Record<string, unknown>> | undefined,\n    )\n    const expansion = p.shapes ? expandShapes(p.shapes) : undefined\n    const geoms = expansion ? expansion.geoms : p.geoms!\n    const constraints = [...(expansion ? expansion.constraints : []), ...(p.constraints ?? [])]\n    return sketchFaces(geoms, constraints, {\n      solver,\n      as: p.as,\n      plane: p.plane,\n      external: p.external,\n      expectHoles: (expansion?.subtractRanges.length ?? 0) > 0,\n      onDiagnostic: (outcome) => {\n        if (outcome.status !== 'solved') diagnosticSink?.(outcome)\n      },\n    })\n  },\n  naming: { kind: 'construct', newFaces: { via: 'explicit', vocab: [] } } as Provenance,\n  spec: sketchDimSpec(),\n})"]}

package/dist/sketch/planegcs-backend.d.ts

@@ -0,0 +1,69 @@
+/**
+ * M3.2/M3.3/M3.4 — planegcs WASM backend for the SketchSolver interface.
+ *
+ * M3.3: geometry → GCS primitives, including the implicit fixed RtPnt/HAxis/
+ * VAxis (geoId -1/-2, plan §5.4). External geometry (geoId <= -3) is rejected
+ * upstream (D4: whole sketch downgrades to L2).
+ * M3.4: constraints → GCS primitives for the P0 set (plan §7 M3.4).
+ * M3.5 helper: solved params are pulled back and geometry rebuilt, so the
+ * caller can compare against on-disk coordinates (D2).
+ */
+import { GcsWrapper } from '@salusoft89/planegcs';
+import { type Result } from '../api/result.js';
+import type { FcstdSketchGeom, FcstdSketchCon } from './fcstd-types.js';
+import type { FcstdSolveOutcome, SketchSolver } from './solver.js';
+/** Options for instantiating the planegcs WASM solver. */
+export interface PlanegcsSolverOptions {
+    /** Absolute filesystem path or fetchable URL of `planegcs.wasm`; the module reads the bytes itself. */
+    wasmPath?: string;
+    /** Raw wasm bytes, for hosts that already hold the binary. */
+    wasmBytes?: Uint8Array | ArrayBuffer;
+    /**
+     * Code-package path that only the **platform's own wasm loader** can turn into
+     * a module (WeChat mini program: `WXWebAssembly.instantiate(path, imports)`).
+     *
+     * Unlike `wasmPath`, faijs never fetches this path — the host must have
+     * installed an adapter routing `WebAssembly.instantiate` to the platform
+     * loader, which is what actually compiles those bytes.
+     */
+    wasmLoaderPath?: string;
+}
+/**
+ * Instantiate the planegcs WASM solver.
+ *
+ * The host declares the wasm source; exactly one of the three options must be
+ * given — the choice is a static fact about the host, never a runtime fallback:
+ * - `wasmPath`: Node / browser hosts where the module can read a path or fetch a URL;
+ * - `wasmBytes`: hosts that already hold the binary;
+ * - `wasmLoaderPath`: platforms that can only instantiate from a code-package
+ *   path (WeChat mini program) — see the option's own docs.
+ *
+ * @param options - the single wasm source for this host.
+ * @returns a `SketchSolver` backed by the planegcs WASM module.
+ * @throws when no source, or more than one source, is supplied.
+ */
+export declare function createPlanegcsSolver(options: PlanegcsSolverOptions): Promise<SketchSolver>;
+/**
+ * planegcs WASM implementation of the `SketchSolver` interface (M3.2–M3.4):
+ * pushes geometry/constraints into the GCS, solves, and pulls the solved
+ * parameters back into `FcstdSketchGeom` values.
+ */
+export declare class PlanegcsSolver implements SketchSolver {
+    private wrapper;
+    constructor(wrapper: GcsWrapper);
+    solve(geoms: FcstdSketchGeom[], constraints: FcstdSketchCon[], external?: import('./solver.js').ExternalFixedSeg[]): Promise<Result<FcstdSolveOutcome, never>>;
+    /**
+     * Remaining degrees of freedom after a successful solve (-1 if unavailable).
+     *
+     * @returns the DoF count, or -1 if the backend does not report it.
+     */
+    getDof(): number;
+    private constraintToPrimitives;
+    private pullBack;
+    /** Read a point's solved coordinates from the sketch index.
+     * apply_solution() already pulled every primitive's solved values back into
+     * sketch_index (gcs_wrapper.js:104-108), so get_primitive is authoritative. */
+    private readPoint;
+    private readCircleRadius;
+}
+//# sourceMappingURL=planegcs-backend.d.ts.map

package/dist/sketch/planegcs-backend.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"planegcs-backend.d.ts","sourceRoot":"","sources":["../../src/sketch/planegcs-backend.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AACH,OAAO,EAAE,UAAU,EAAmC,MAAM,sBAAsB,CAAC;AACnF,OAAO,EAAM,KAAK,MAAM,EAAE,MAAM,eAAe,CAAC;AAChD,OAAO,KAAK,EAAE,eAAe,EAAE,cAAc,EAAE,MAAM,kBAAkB,CAAC;AAExE,OAAO,KAAK,EAAE,iBAAiB,EAAE,YAAY,EAAE,MAAM,aAAa,CAAC;AAEnE,0DAA0D;AAC1D,MAAM,WAAW,qBAAqB;IACpC,uGAAuG;IACvG,QAAQ,CAAC,EAAE,MAAM,CAAA;IACjB,8DAA8D;IAC9D,SAAS,CAAC,EAAE,UAAU,GAAG,WAAW,CAAA;IACpC;;;;;;;OAOG;IACH,cAAc,CAAC,EAAE,MAAM,CAAA;CACxB;AAyBD;;;;;;;;;;;;;GAaG;AACH,wBAAsB,oBAAoB,CAAC,OAAO,EAAE,qBAAqB,GAAG,OAAO,CAAC,YAAY,CAAC,CAyBhG;AAkBD;;;;GAIG;AACH,qBAAa,cAAe,YAAW,YAAY;IACrC,OAAO,CAAC,OAAO;gBAAP,OAAO,EAAE,UAAU;IAEjC,KAAK,CACT,KAAK,EAAE,eAAe,EAAE,EACxB,WAAW,EAAE,cAAc,EAAE,EAC7B,QAAQ,CAAC,EAAE,OAAO,aAAa,EAAE,gBAAgB,EAAE,GAClD,OAAO,CAAC,MAAM,CAAC,iBAAiB,EAAE,KAAK,CAAC,CAAC;IAkS5C;;;;OAIG;IACH,MAAM,IAAI,MAAM;IAShB,OAAO,CAAC,sBAAsB;IA4T9B,OAAO,CAAC,QAAQ;IAkFhB;;mFAE+E;IAC/E,OAAO,CAAC,SAAS;IAMjB,OAAO,CAAC,gBAAgB;CAIzB"}