@faicad/faijs 0.33.2 → 0.35.2

package/dist/sketch/solver.d.ts

@@ -0,0 +1,63 @@
+/**
+ * M3.2 — SketchSolver interface (D5) with the planegcs WASM backend.
+ *
+ * faijs depends only on this interface; the WASM implementation is swappable
+ * (前文 B R2/R3). Input: parsed sketch geometry + constraints (M3.1 types).
+ * Output: solved geometry or a structured failure — the caller (M3.5) decides
+ * between solution and initial-value fallback (D2).
+ */
+import type { Result } from '../api/result.js';
+import type { FcstdSketchGeom, FcstdSketchCon } from './fcstd-types.js';
+/**
+ * Result of one solver run: the solved geometry plus convergence status and
+ * diagnostics for the caller's L0/L1/L2 decision (D2).
+ */
+export interface FcstdSolveOutcome {
+    /** geometry after solve, same order/index as input */
+    geoms: FcstdSketchGeom[];
+    /** true when the solver reports Success with no conflicts */
+    converged: boolean;
+    /** diagnostics when not converged */
+    reason?: 'conflicting' | 'redundant' | 'failed' | 'unsupported-constraint';
+    /** constraint indices the solver flagged */
+    problemConstraints: number[];
+    /** constraint indices dropped because their GCS shape could not be pushed */
+    droppedConstraints: number[];
+}
+/**
+ * One pre-projected external geometry segment passed to the solver as fixed
+ * (immutable) geometry.
+ */
+export interface ExternalFixedSeg {
+    /** negative geoId in link order: -3, -4, ... (GeoEnum.RefExt downward) */
+    geoId: number;
+    /** the projected sketch-local 2D polyline (immutable to the solver) */
+    polyline: [number, number][];
+}
+/**
+ * Solver abstraction (D5): faijs depends only on this interface; the WASM
+ * implementation is swappable.
+ */
+export interface SketchSolver {
+    /**
+     * Solve constraints against the given geometry. The input geometry's stored
+     * coordinates are used as the initial guess (D2 — they are FreeCAD's last
+     * solution and the ideal starting point).
+     *
+     * `external` carries pre-projected fixed geometry (M6.3): immutable 2D
+     * polylines that constraints may reference by negative geoId. When a
+     * constraint references an external geoId not present here, the solver
+     * drops that constraint (recorded in droppedConstraints).
+     */
+    solve(geoms: FcstdSketchGeom[], constraints: FcstdSketchCon[], external?: ExternalFixedSeg[]): Promise<Result<FcstdSolveOutcome, never>>;
+}
+/** Constraint types the planegcs backend can express (P0 set, plan §7 M3.4). */
+export declare const SUPPORTED_CONSTRAINT_TYPES: Set<number>;
+/**
+ * Check whether every constraint in a sketch is expressible by the backend.
+ *
+ * @param constraints - the parsed sketch constraints.
+ * @returns true when every constraint's type is in SUPPORTED_CONSTRAINT_TYPES.
+ */
+export declare function allConstraintsSupported(constraints: FcstdSketchCon[]): boolean;
+//# sourceMappingURL=solver.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"solver.d.ts","sourceRoot":"","sources":["../../src/sketch/solver.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AACH,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,eAAe,CAAC;AAC5C,OAAO,KAAK,EAAE,eAAe,EAAE,cAAc,EAAE,MAAM,kBAAkB,CAAC;AAExE;;;GAGG;AACH,MAAM,WAAW,iBAAiB;IAChC,sDAAsD;IACtD,KAAK,EAAE,eAAe,EAAE,CAAC;IACzB,6DAA6D;IAC7D,SAAS,EAAE,OAAO,CAAC;IACnB,qCAAqC;IACrC,MAAM,CAAC,EAAE,aAAa,GAAG,WAAW,GAAG,QAAQ,GAAG,wBAAwB,CAAC;IAC3E,4CAA4C;IAC5C,kBAAkB,EAAE,MAAM,EAAE,CAAC;IAC7B,6EAA6E;IAC7E,kBAAkB,EAAE,MAAM,EAAE,CAAC;CAC9B;AAED;;;GAGG;AACH,MAAM,WAAW,gBAAgB;IAC/B,0EAA0E;IAC1E,KAAK,EAAE,MAAM,CAAC;IACd,uEAAuE;IACvE,QAAQ,EAAE,CAAC,MAAM,EAAE,MAAM,CAAC,EAAE,CAAC;CAC9B;AAED;;;GAGG;AACH,MAAM,WAAW,YAAY;IAC3B;;;;;;;;;OASG;IACH,KAAK,CACH,KAAK,EAAE,eAAe,EAAE,EACxB,WAAW,EAAE,cAAc,EAAE,EAC7B,QAAQ,CAAC,EAAE,gBAAgB,EAAE,GAC5B,OAAO,CAAC,MAAM,CAAC,iBAAiB,EAAE,KAAK,CAAC,CAAC,CAAC;CAC9C;AAED,gFAAgF;AAChF,eAAO,MAAM,0BAA0B,aAgBrC,CAAC;AAEH;;;;;GAKG;AACH,wBAAgB,uBAAuB,CAAC,WAAW,EAAE,cAAc,EAAE,GAAG,OAAO,CAE9E"}

package/dist/sketch/solver.js

@@ -0,0 +1,28 @@
+/** Constraint types the planegcs backend can express (P0 set, plan §7 M3.4). */
+export const SUPPORTED_CONSTRAINT_TYPES = new Set([
+    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
+    18, // Diameter
+]);
+/**
+ * Check whether every constraint in a sketch is expressible by the backend.
+ *
+ * @param constraints - the parsed sketch constraints.
+ * @returns true when every constraint's type is in SUPPORTED_CONSTRAINT_TYPES.
+ */
+export function allConstraintsSupported(constraints) {
+    return constraints.every((c) => SUPPORTED_CONSTRAINT_TYPES.has(c.type));
+}
+//# sourceMappingURL=solver.js.map

package/dist/sketch/solver.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"solver.js","sourceRoot":"","sources":["../../src/sketch/solver.ts"],"names":[],"mappings":"AA6DA,gFAAgF;AAChF,MAAM,CAAC,MAAM,0BAA0B,GAAG,IAAI,GAAG,CAAS;IACxD,CAAC,EAAE,aAAa;IAChB,CAAC,EAAE,aAAa;IAChB,CAAC,EAAE,WAAW;IACd,CAAC,EAAE,WAAW;IACd,CAAC,EAAE,UAAU;IACb,CAAC,EAAE,WAAW;IACd,CAAC,EAAE,YAAY;IACf,CAAC,EAAE,YAAY;IACf,CAAC,EAAE,QAAQ;IACX,EAAE,EAAE,gBAAgB;IACpB,EAAE,EAAE,SAAS;IACb,EAAE,EAAE,QAAQ;IACZ,EAAE,EAAE,gBAAgB;IACpB,EAAE,EAAE,YAAY;IAChB,EAAE,EAAE,WAAW;CAChB,CAAC,CAAC;AAEH;;;;;GAKG;AACH,MAAM,UAAU,uBAAuB,CAAC,WAA6B;IACnE,OAAO,WAAW,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,0BAA0B,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;AAC1E,CAAC","sourcesContent":["/**\n * M3.2 — SketchSolver interface (D5) with the planegcs WASM backend.\n *\n * faijs depends only on this interface; the WASM implementation is swappable\n * (前文 B R2/R3). Input: parsed sketch geometry + constraints (M3.1 types).\n * Output: solved geometry or a structured failure — the caller (M3.5) decides\n * between solution and initial-value fallback (D2).\n */\nimport type { Result } from '../api/result';\nimport type { FcstdSketchGeom, FcstdSketchCon } from './fcstd-types.js';\n\n/**\n * Result of one solver run: the solved geometry plus convergence status and\n * diagnostics for the caller's L0/L1/L2 decision (D2).\n */\nexport interface FcstdSolveOutcome {\n  /** geometry after solve, same order/index as input */\n  geoms: FcstdSketchGeom[];\n  /** true when the solver reports Success with no conflicts */\n  converged: boolean;\n  /** diagnostics when not converged */\n  reason?: 'conflicting' | 'redundant' | 'failed' | 'unsupported-constraint';\n  /** constraint indices the solver flagged */\n  problemConstraints: number[];\n  /** constraint indices dropped because their GCS shape could not be pushed */\n  droppedConstraints: number[];\n}\n\n/**\n * One pre-projected external geometry segment passed to the solver as fixed\n * (immutable) geometry.\n */\nexport interface ExternalFixedSeg {\n  /** negative geoId in link order: -3, -4, ... (GeoEnum.RefExt downward) */\n  geoId: number;\n  /** the projected sketch-local 2D polyline (immutable to the solver) */\n  polyline: [number, number][];\n}\n\n/**\n * Solver abstraction (D5): faijs depends only on this interface; the WASM\n * implementation is swappable.\n */\nexport interface SketchSolver {\n  /**\n   * Solve constraints against the given geometry. The input geometry's stored\n   * coordinates are used as the initial guess (D2 — they are FreeCAD's last\n   * solution and the ideal starting point).\n   *\n   * `external` carries pre-projected fixed geometry (M6.3): immutable 2D\n   * polylines that constraints may reference by negative geoId. When a\n   * constraint references an external geoId not present here, the solver\n   * drops that constraint (recorded in droppedConstraints).\n   */\n  solve(\n    geoms: FcstdSketchGeom[],\n    constraints: FcstdSketchCon[],\n    external?: ExternalFixedSeg[],\n  ): Promise<Result<FcstdSolveOutcome, never>>;\n}\n\n/** Constraint types the planegcs backend can express (P0 set, plan §7 M3.4). */\nexport const SUPPORTED_CONSTRAINT_TYPES = new Set<number>([\n  1, // Coincident\n  2, // Horizontal\n  3, // Vertical\n  4, // Parallel\n  5, // Tangent\n  6, // Distance\n  7, // DistanceX\n  8, // DistanceY\n  9, // Angle\n  10, // Perpendicular\n  11, // Radius\n  12, // Equal\n  13, // PointOnObject\n  14, // Symmetric\n  18, // Diameter\n]);\n\n/**\n * Check whether every constraint in a sketch is expressible by the backend.\n *\n * @param constraints - the parsed sketch constraints.\n * @returns true when every constraint's type is in SUPPORTED_CONSTRAINT_TYPES.\n */\nexport function allConstraintsSupported(constraints: FcstdSketchCon[]): boolean {\n  return constraints.every((c) => SUPPORTED_CONSTRAINT_TYPES.has(c.type));\n}\n"]}

package/dist/sketch/verify.d.ts

@@ -0,0 +1,53 @@
+/**
+ * M3.5 — solved-vs-stored comparison (D2/V2).
+ *
+ * The on-disk coordinates ARE FreeCAD's last solution, so a correct pipeline
+ * re-derives (nearly) the same geometry. maxPointDistance is the V2 metric;
+ * its tolerance T1 is calibrated from the sample-set distribution, not
+ * pre-set (plan §8).
+ */
+import type { FcstdSketchGeom } from './fcstd-types.js';
+import type { FcstdSolveOutcome } from './solver.js';
+/**
+ * P4: exported for testability — anchor points used by maxPointDistance.
+ *
+ * @param g - the sketch geometry element (point/line/circle/arc/ellipse/bspline).
+ * @returns the element's comparison anchor points (center/endpoints as applicable).
+ */
+export declare function anchorPoints(g: FcstdSketchGeom): {
+    x: number;
+    y: number;
+}[];
+/**
+ * Maximum anchor-point distance between two geometry lists (same indexing).
+ *
+ * @param a - first geometry list (e.g. the solver result).
+ * @param b - second geometry list (e.g. the stored geometry).
+ * @returns the maximum Euclidean distance between corresponding anchor points
+ *   (0 when the lists have no comparable points).
+ */
+export declare function maxPointDistance(a: FcstdSketchGeom[], b: FcstdSketchGeom[]): number;
+/**
+ * Three-level downgrade verdict (D3) for one sketch.
+ */
+export interface SketchVerdict {
+    /** solved quality level: L0 = solved & matches, L1 = flagged, L2 = baked */
+    level: 'L0' | 'L1' | 'L2';
+    /** human-readable reason for a non-L0 verdict */
+    reason?: string;
+    /** max anchor distance between re-solved and stored geometry */
+    maxDelta?: number;
+}
+/**
+ * Three-level downgrade (D3). L0 = solved & matches stored (delta <= T1).
+ * L1 = solver result kept but flagged, stored coords used instead.
+ * L2 = baked (unsupported geometry/constraints, external geometry).
+ *
+ * @param outcome - the solver result, or undefined when none was produced.
+ * @param stored - the on-disk (stored) geometry to compare against.
+ * @param t1 - the calibrated distance tolerance for the L0/L1 split.
+ * @param preBlocked - pre-solve downgrade reason; when set the sketch is L2.
+ * @returns the classification verdict for the sketch.
+ */
+export declare function classifySketch(outcome: FcstdSolveOutcome | undefined, stored: FcstdSketchGeom[], t1: number, preBlocked?: string): SketchVerdict;
+//# sourceMappingURL=verify.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"verify.d.ts","sourceRoot":"","sources":["../../src/sketch/verify.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AACH,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,kBAAkB,CAAC;AACxD,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,aAAa,CAAC;AAErD;;;;;GAKG;AACH,wBAAgB,YAAY,CAAC,CAAC,EAAE,eAAe,GAAG;IAAE,CAAC,EAAE,MAAM,CAAC;IAAC,CAAC,EAAE,MAAM,CAAA;CAAE,EAAE,CAgB3E;AAED;;;;;;;GAOG;AACH,wBAAgB,gBAAgB,CAAC,CAAC,EAAE,eAAe,EAAE,EAAE,CAAC,EAAE,eAAe,EAAE,GAAG,MAAM,CAanF;AAED;;GAEG;AACH,MAAM,WAAW,aAAa;IAC5B,4EAA4E;IAC5E,KAAK,EAAE,IAAI,GAAG,IAAI,GAAG,IAAI,CAAC;IAC1B,iDAAiD;IACjD,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,gEAAgE;IAChE,QAAQ,CAAC,EAAE,MAAM,CAAC;CACnB;AAED;;;;;;;;;;GAUG;AACH,wBAAgB,cAAc,CAC5B,OAAO,EAAE,iBAAiB,GAAG,SAAS,EACtC,MAAM,EAAE,eAAe,EAAE,EACzB,EAAE,EAAE,MAAM,EACV,UAAU,CAAC,EAAE,MAAM,GAClB,aAAa,CASf"}

package/dist/sketch/verify.js

@@ -0,0 +1,71 @@
+/**
+ * P4: exported for testability — anchor points used by maxPointDistance.
+ *
+ * @param g - the sketch geometry element (point/line/circle/arc/ellipse/bspline).
+ * @returns the element's comparison anchor points (center/endpoints as applicable).
+ */
+export function anchorPoints(g) {
+    switch (g.kind) {
+        case 'point':
+            return [{ x: g.x, y: g.y }];
+        case 'line':
+            return [{ x: g.x1, y: g.y1 }, { x: g.x2, y: g.y2 }];
+        case 'circle':
+            return [{ x: g.cx, y: g.cy }];
+        case 'arc':
+            return [{ x: g.cx, y: g.cy }, { x: g.x1, y: g.y1 }, { x: g.x2, y: g.y2 }];
+        case 'ellipse':
+            return [{ x: g.cx, y: g.cy }];
+        case 'bspline':
+            // P4: spline anchors are its exact endpoints (poles move with them)
+            return [{ x: g.x1, y: g.y1 }, { x: g.x2, y: g.y2 }];
+    }
+}
+/**
+ * Maximum anchor-point distance between two geometry lists (same indexing).
+ *
+ * @param a - first geometry list (e.g. the solver result).
+ * @param b - second geometry list (e.g. the stored geometry).
+ * @returns the maximum Euclidean distance between corresponding anchor points
+ *   (0 when the lists have no comparable points).
+ */
+export function maxPointDistance(a, b) {
+    let max = 0;
+    const n = Math.min(a.length, b.length);
+    for (let i = 0; i < n; i++) {
+        const pa = anchorPoints(a[i]);
+        const pb = anchorPoints(b[i]);
+        const m = Math.min(pa.length, pb.length);
+        for (let k = 0; k < m; k++) {
+            const d = Math.hypot(pa[k].x - pb[k].x, pa[k].y - pb[k].y);
+            if (Number.isFinite(d) && d > max)
+                max = d;
+        }
+    }
+    return max;
+}
+/**
+ * Three-level downgrade (D3). L0 = solved & matches stored (delta <= T1).
+ * L1 = solver result kept but flagged, stored coords used instead.
+ * L2 = baked (unsupported geometry/constraints, external geometry).
+ *
+ * @param outcome - the solver result, or undefined when none was produced.
+ * @param stored - the on-disk (stored) geometry to compare against.
+ * @param t1 - the calibrated distance tolerance for the L0/L1 split.
+ * @param preBlocked - pre-solve downgrade reason; when set the sketch is L2.
+ * @returns the classification verdict for the sketch.
+ */
+export function classifySketch(outcome, stored, t1, preBlocked) {
+    if (preBlocked)
+        return { level: 'L2', reason: preBlocked };
+    if (!outcome)
+        return { level: 'L2', reason: 'no-solver-result' };
+    if (!outcome.converged) {
+        return { level: 'L1', reason: outcome.reason ?? 'solve-failed' };
+    }
+    const maxDelta = maxPointDistance(outcome.geoms, stored);
+    if (maxDelta <= t1)
+        return { level: 'L0', maxDelta };
+    return { level: 'L1', reason: 'delta-exceeds-t1', maxDelta };
+}
+//# sourceMappingURL=verify.js.map

package/dist/sketch/verify.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"verify.js","sourceRoot":"","sources":["../../src/sketch/verify.ts"],"names":[],"mappings":"AAWA;;;;;GAKG;AACH,MAAM,UAAU,YAAY,CAAC,CAAkB;IAC7C,QAAQ,CAAC,CAAC,IAAI,EAAE,CAAC;QACf,KAAK,OAAO;YACV,OAAO,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;QAC9B,KAAK,MAAM;YACT,OAAO,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;QACtD,KAAK,QAAQ;YACX,OAAO,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;QAChC,KAAK,KAAK;YACR,OAAO,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;QAC5E,KAAK,SAAS;YACZ,OAAO,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;QAChC,KAAK,SAAS;YACZ,oEAAoE;YACpE,OAAO,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;IACxD,CAAC;AACH,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,UAAU,gBAAgB,CAAC,CAAoB,EAAE,CAAoB;IACzE,IAAI,GAAG,GAAG,CAAC,CAAC;IACZ,MAAM,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC;IACvC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;QAC3B,MAAM,EAAE,GAAG,YAAY,CAAC,CAAC,CAAC,CAAC,CAAE,CAAC,CAAC;QAC/B,MAAM,EAAE,GAAG,YAAY,CAAC,CAAC,CAAC,CAAC,CAAE,CAAC,CAAC;QAC/B,MAAM,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,CAAC;QACzC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;YAC3B,MAAM,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,CAAE,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,CAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAE,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,CAAE,CAAC,CAAC,CAAC,CAAC;YAC/D,IAAI,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,GAAG;gBAAE,GAAG,GAAG,CAAC,CAAC;QAC7C,CAAC;IACH,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAcD;;;;;;;;;;GAUG;AACH,MAAM,UAAU,cAAc,CAC5B,OAAsC,EACtC,MAAyB,EACzB,EAAU,EACV,UAAmB;IAEnB,IAAI,UAAU;QAAE,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,EAAE,UAAU,EAAE,CAAC;IAC3D,IAAI,CAAC,OAAO;QAAE,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,EAAE,kBAAkB,EAAE,CAAC;IACjE,IAAI,CAAC,OAAO,CAAC,SAAS,EAAE,CAAC;QACvB,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,EAAE,OAAO,CAAC,MAAM,IAAI,cAAc,EAAE,CAAC;IACnE,CAAC;IACD,MAAM,QAAQ,GAAG,gBAAgB,CAAC,OAAO,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC;IACzD,IAAI,QAAQ,IAAI,EAAE;QAAE,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;IACrD,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,EAAE,kBAAkB,EAAE,QAAQ,EAAE,CAAC;AAC/D,CAAC","sourcesContent":["/**\n * M3.5 — solved-vs-stored comparison (D2/V2).\n *\n * The on-disk coordinates ARE FreeCAD's last solution, so a correct pipeline\n * re-derives (nearly) the same geometry. maxPointDistance is the V2 metric;\n * its tolerance T1 is calibrated from the sample-set distribution, not\n * pre-set (plan §8).\n */\nimport type { FcstdSketchGeom } from './fcstd-types.js';\nimport type { FcstdSolveOutcome } from './solver.js';\n\n/**\n * P4: exported for testability — anchor points used by maxPointDistance.\n *\n * @param g - the sketch geometry element (point/line/circle/arc/ellipse/bspline).\n * @returns the element's comparison anchor points (center/endpoints as applicable).\n */\nexport function anchorPoints(g: FcstdSketchGeom): { x: number; y: number }[] {\n  switch (g.kind) {\n    case 'point':\n      return [{ x: g.x, y: g.y }];\n    case 'line':\n      return [{ x: g.x1, y: g.y1 }, { x: g.x2, y: g.y2 }];\n    case 'circle':\n      return [{ x: g.cx, y: g.cy }];\n    case 'arc':\n      return [{ x: g.cx, y: g.cy }, { x: g.x1, y: g.y1 }, { x: g.x2, y: g.y2 }];\n    case 'ellipse':\n      return [{ x: g.cx, y: g.cy }];\n    case 'bspline':\n      // P4: spline anchors are its exact endpoints (poles move with them)\n      return [{ x: g.x1, y: g.y1 }, { x: g.x2, y: g.y2 }];\n  }\n}\n\n/**\n * Maximum anchor-point distance between two geometry lists (same indexing).\n *\n * @param a - first geometry list (e.g. the solver result).\n * @param b - second geometry list (e.g. the stored geometry).\n * @returns the maximum Euclidean distance between corresponding anchor points\n *   (0 when the lists have no comparable points).\n */\nexport function maxPointDistance(a: FcstdSketchGeom[], b: FcstdSketchGeom[]): number {\n  let max = 0;\n  const n = Math.min(a.length, b.length);\n  for (let i = 0; i < n; i++) {\n    const pa = anchorPoints(a[i]!);\n    const pb = anchorPoints(b[i]!);\n    const m = Math.min(pa.length, pb.length);\n    for (let k = 0; k < m; k++) {\n      const d = Math.hypot(pa[k]!.x - pb[k]!.x, pa[k]!.y - pb[k]!.y);\n      if (Number.isFinite(d) && d > max) max = d;\n    }\n  }\n  return max;\n}\n\n/**\n * Three-level downgrade verdict (D3) for one sketch.\n */\nexport interface SketchVerdict {\n  /** solved quality level: L0 = solved & matches, L1 = flagged, L2 = baked */\n  level: 'L0' | 'L1' | 'L2';\n  /** human-readable reason for a non-L0 verdict */\n  reason?: string;\n  /** max anchor distance between re-solved and stored geometry */\n  maxDelta?: number;\n}\n\n/**\n * Three-level downgrade (D3). L0 = solved & matches stored (delta <= T1).\n * L1 = solver result kept but flagged, stored coords used instead.\n * L2 = baked (unsupported geometry/constraints, external geometry).\n *\n * @param outcome - the solver result, or undefined when none was produced.\n * @param stored - the on-disk (stored) geometry to compare against.\n * @param t1 - the calibrated distance tolerance for the L0/L1 split.\n * @param preBlocked - pre-solve downgrade reason; when set the sketch is L2.\n * @returns the classification verdict for the sketch.\n */\nexport function classifySketch(\n  outcome: FcstdSolveOutcome | undefined,\n  stored: FcstdSketchGeom[],\n  t1: number,\n  preBlocked?: string,\n): SketchVerdict {\n  if (preBlocked) return { level: 'L2', reason: preBlocked };\n  if (!outcome) return { level: 'L2', reason: 'no-solver-result' };\n  if (!outcome.converged) {\n    return { level: 'L1', reason: outcome.reason ?? 'solve-failed' };\n  }\n  const maxDelta = maxPointDistance(outcome.geoms, stored);\n  if (maxDelta <= t1) return { level: 'L0', maxDelta };\n  return { level: 'L1', reason: 'delta-exceeds-t1', maxDelta };\n}\n"]}

package/dist/weapp.d.ts

@@ -15,7 +15,7 @@ export * from './env-agnostic.js';
 export { setBrepkitWasmInitFn, initBrepkitWasm, isBrepkitInitialized } from './brepkit-kernel/brepkitWasm.js';
 export { registerBrepkitBrepEngine, BREPKIT_BREP_ENGINE_ID, ensureBrepkitDefaultEngine } from './brep/engine/adapters/brepkit.js';
 export { registerBrepkitMeshEngine, BREPKIT_MESH_ENGINE_ID, ensureBrepkitMeshBackend } from './brep/engine/adapters/brepkit.js';
-export { registerBrepEngine, hasBrepEngine, getBrepEngine, getActiveBrepEngineId, freezeEngineRegistries, registerMeshEngine, getMeshEngine, getActiveMeshEngineId, isMeshEngineRegistered, getMeshSolidBackend } from './brep/engine/registry.js';
+export { registerBrepEngine, getBrepEngine, getActiveBrepEngine, hasBrepEngine, getActiveBrepEngineId, freezeEngineRegistries, registerMeshEngine, getMeshEngine, getActiveMeshEngine, getActiveMeshEngineId, isMeshEngineRegistered, getMeshSolidBackend } from './brep/engine/registry.js';
 export type { BrepEngine, BrepEngineProvider, MeshEngine } from './brep/engine/registry.js';
 export type { BrepEngineApi } from './brep/engine/primitives.js';
 export { MeshSolidRegistry, normalizeMeshSolid, describeMeshSolid, buildMeshSolidTopology, weldToleranceFor } from './brep/mesh-solid.js';

package/dist/weapp.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"weapp.d.ts","sourceRoot":"","sources":["../src/weapp.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AAIH,cAAc,gBAAgB,CAAA;AAG9B,OAAO,EAAE,oBAAoB,EAAE,eAAe,EAAE,oBAAoB,EAAE,MAAM,8BAA8B,CAAA;AAG1G,OAAO,EAAE,yBAAyB,EAAE,sBAAsB,EAAE,0BAA0B,EAAE,MAAM,gCAAgC,CAAA;AAG9H,OAAO,EAAE,yBAAyB,EAAE,sBAAsB,EAAE,wBAAwB,EAAE,MAAM,gCAAgC,CAAA;AAG5H,OAAO,EAAE,kBAAkB,EAAE,aAAa,EAAE,aAAa,EAAE,qBAAqB,EAAE,sBAAsB,EAAE,kBAAkB,EAAE,aAAa,EAAE,qBAAqB,EAAE,sBAAsB,EAAE,mBAAmB,EAAE,MAAM,wBAAwB,CAAA;AAC/O,YAAY,EAAE,UAAU,EAAE,kBAAkB,EAAE,UAAU,EAAE,MAAM,wBAAwB,CAAA;AACxF,YAAY,EAAE,aAAa,EAAE,MAAM,0BAA0B,CAAA;AAE7D,OAAO,EAAE,iBAAiB,EAAE,kBAAkB,EAAE,iBAAiB,EAAE,sBAAsB,EAAE,gBAAgB,EAAE,MAAM,mBAAmB,CAAA;AACtI,YAAY,EACV,gBAAgB,EAAE,eAAe,EAAE,kBAAkB,EAAE,cAAc,EAAE,yBAAyB,GACjG,MAAM,mBAAmB,CAAA;AAC1B,OAAO,EAAE,wBAAwB,EAAE,MAAM,gCAAgC,CAAA;AAIzE,OAAO,EAAE,aAAa,EAAE,MAAM,uBAAuB,CAAA;AACrD,YAAY,EAAE,UAAU,EAAE,MAAM,uBAAuB,CAAA"}
+{"version":3,"file":"weapp.d.ts","sourceRoot":"","sources":["../src/weapp.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AAIH,cAAc,gBAAgB,CAAA;AAG9B,OAAO,EAAE,oBAAoB,EAAE,eAAe,EAAE,oBAAoB,EAAE,MAAM,8BAA8B,CAAA;AAG1G,OAAO,EAAE,yBAAyB,EAAE,sBAAsB,EAAE,0BAA0B,EAAE,MAAM,gCAAgC,CAAA;AAG9H,OAAO,EAAE,yBAAyB,EAAE,sBAAsB,EAAE,wBAAwB,EAAE,MAAM,gCAAgC,CAAA;AAG5H,OAAO,EAAE,kBAAkB,EAAE,aAAa,EAAE,mBAAmB,EAAE,aAAa,EAAE,qBAAqB,EAAE,sBAAsB,EAAE,kBAAkB,EAAE,aAAa,EAAE,mBAAmB,EAAE,qBAAqB,EAAE,sBAAsB,EAAE,mBAAmB,EAAE,MAAM,wBAAwB,CAAA;AACzR,YAAY,EAAE,UAAU,EAAE,kBAAkB,EAAE,UAAU,EAAE,MAAM,wBAAwB,CAAA;AACxF,YAAY,EAAE,aAAa,EAAE,MAAM,0BAA0B,CAAA;AAE7D,OAAO,EAAE,iBAAiB,EAAE,kBAAkB,EAAE,iBAAiB,EAAE,sBAAsB,EAAE,gBAAgB,EAAE,MAAM,mBAAmB,CAAA;AACtI,YAAY,EACV,gBAAgB,EAAE,eAAe,EAAE,kBAAkB,EAAE,cAAc,EAAE,yBAAyB,GACjG,MAAM,mBAAmB,CAAA;AAC1B,OAAO,EAAE,wBAAwB,EAAE,MAAM,gCAAgC,CAAA;AAIzE,OAAO,EAAE,aAAa,EAAE,MAAM,uBAAuB,CAAA;AACrD,YAAY,EAAE,UAAU,EAAE,MAAM,uBAAuB,CAAA"}

package/dist/weapp.js

@@ -22,7 +22,7 @@ export { registerBrepkitBrepEngine, BREPKIT_BREP_ENGINE_ID, ensureBrepkitDefault
 // `cad.load` 的 STL/3MF 路径就产出「网格实体 + 近似拓扑」。
 export { registerBrepkitMeshEngine, BREPKIT_MESH_ENGINE_ID, ensureBrepkitMeshBackend } from './brep/engine/adapters/brepkit.js';
 // BREP 引擎注册表（环境无关；ensureBrepChain 见已注册引擎即跳过 OCCT）
-export { registerBrepEngine, hasBrepEngine, getBrepEngine, getActiveBrepEngineId, freezeEngineRegistries, registerMeshEngine, getMeshEngine, getActiveMeshEngineId, isMeshEngineRegistered, getMeshSolidBackend } from './brep/engine/registry.js';
+export { registerBrepEngine, getBrepEngine, getActiveBrepEngine, hasBrepEngine, getActiveBrepEngineId, freezeEngineRegistries, registerMeshEngine, getMeshEngine, getActiveMeshEngine, getActiveMeshEngineId, isMeshEngineRegistered, getMeshSolidBackend } from './brep/engine/registry.js';
 // 网格实体（近似拓扑的载体）：端口 + 注册表 + 驱动。
 export { MeshSolidRegistry, normalizeMeshSolid, describeMeshSolid, buildMeshSolidTopology, weldToleranceFor } from './brep/mesh-solid.js';
 export { assertShapeSlotExclusive } from './cad-runtime/backend-dispatch.js';

package/dist/weapp.js.map

@@ -1 +1 @@
-{"version":3,"file":"weapp.js","sourceRoot":"","sources":["../src/weapp.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AAEH,sEAAsE;AACtE,wDAAwD;AACxD,cAAc,gBAAgB,CAAA;AAE9B,8DAA8D;AAC9D,OAAO,EAAE,oBAAoB,EAAE,eAAe,EAAE,oBAAoB,EAAE,MAAM,8BAA8B,CAAA;AAE1G,gDAAgD;AAChD,OAAO,EAAE,yBAAyB,EAAE,sBAAsB,EAAE,0BAA0B,EAAE,MAAM,gCAAgC,CAAA;AAC9H,kDAAkD;AAClD,2CAA2C;AAC3C,OAAO,EAAE,yBAAyB,EAAE,sBAAsB,EAAE,wBAAwB,EAAE,MAAM,gCAAgC,CAAA;AAE5H,kDAAkD;AAClD,OAAO,EAAE,kBAAkB,EAAE,aAAa,EAAE,aAAa,EAAE,qBAAqB,EAAE,sBAAsB,EAAE,kBAAkB,EAAE,aAAa,EAAE,qBAAqB,EAAE,sBAAsB,EAAE,mBAAmB,EAAE,MAAM,wBAAwB,CAAA;AAG/O,+BAA+B;AAC/B,OAAO,EAAE,iBAAiB,EAAE,kBAAkB,EAAE,iBAAiB,EAAE,sBAAsB,EAAE,gBAAgB,EAAE,MAAM,mBAAmB,CAAA;AAItI,OAAO,EAAE,wBAAwB,EAAE,MAAM,gCAAgC,CAAA;AAEzE,2DAA2D;AAC3D,+CAA+C;AAC/C,OAAO,EAAE,aAAa,EAAE,MAAM,uBAAuB,CAAA","sourcesContent":["/**\n * @faicad/faijs-core/weapp — weapp 专用宿主入口\n *\n * 小程序（无 OCCT 环境）宿主的最小导出面：brepkit wasm 装载注入点 + brepkit BREP\n * 引擎注册 + 环境无关执行栈。全部为 re-export，零新实现。\n *\n * 为什么独立成入口：browser umbrella 曾 re-export brepkit 符号，导致 web 端模块图\n * 包含 brepkitWasm.js（其 node 分支 import('brepkit-wasm') 被 vite 静态解析而报错）。\n * 宿主边界必须由静态入口声明，而不是靠构建脚本事后 stub 剔除。\n *\n * 导出面受 entry-boundary.test.ts 白名单守卫约束——新增导出必须同步更新白名单。\n * web/desktop 宿主禁止 import 本入口（brepkit 是 weapp 专属 BREP 引擎）。\n */\n\n// 共享面（env-agnostic：identity + runtime-state + lang/*）——三处 umbrella 统一\n// re-export（§9.1），weapp worker 由此获得 analyzeCode 等语言层符号。\nexport * from './env-agnostic'\n\n// brepkit wasm 装载（weapp 专属注入点；宿主装配期调用一次 setBrepkitWasmInitFn）\nexport { setBrepkitWasmInitFn, initBrepkitWasm, isBrepkitInitialized } from './brepkit-kernel/brepkitWasm'\n\n// brepkit BREP 引擎注册（weapp 只注册 brepkit，不注册 occt）\nexport { registerBrepkitBrepEngine, BREPKIT_BREP_ENGINE_ID, ensureBrepkitDefaultEngine } from './brep/engine/adapters/brepkit'\n// brepkit 网格实体后端（网格语义路径；与 BREP 槽独立注册）。weapp 侧装了它，\n// `cad.load` 的 STL/3MF 路径就产出「网格实体 + 近似拓扑」。\nexport { registerBrepkitMeshEngine, BREPKIT_MESH_ENGINE_ID, ensureBrepkitMeshBackend } from './brep/engine/adapters/brepkit'\n\n// BREP 引擎注册表（环境无关；ensureBrepChain 见已注册引擎即跳过 OCCT）\nexport { registerBrepEngine, hasBrepEngine, getBrepEngine, getActiveBrepEngineId, freezeEngineRegistries, registerMeshEngine, getMeshEngine, getActiveMeshEngineId, isMeshEngineRegistered, getMeshSolidBackend } from './brep/engine/registry'\nexport type { BrepEngine, BrepEngineProvider, MeshEngine } from './brep/engine/registry'\nexport type { BrepEngineApi } from './brep/engine/primitives'\n// 网格实体（近似拓扑的载体）：端口 + 注册表 + 驱动。\nexport { MeshSolidRegistry, normalizeMeshSolid, describeMeshSolid, buildMeshSolidTopology, weldToleranceFor } from './brep/mesh-solid'\nexport type {\n  MeshSolidBackend, MeshSolidResult, MeshSolidKernelOps, MeshSolidInput, MeshSolidNormalizeOptions,\n} from './brep/mesh-solid'\nexport { assertShapeSlotExclusive } from './cad-runtime/backend-dispatch'\n\n// cad-runtime（环境无关执行栈）：createRuntime 为 with-cad 变体（§9.2），与\n// browser/node 入口同口径——自带 cad 命名空间注册，宿主无需手工补注册。\nexport { createRuntime } from './cad-runtime/runtime'\nexport type { CadRuntime } from './cad-runtime/runtime'\n"]}
+{"version":3,"file":"weapp.js","sourceRoot":"","sources":["../src/weapp.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AAEH,sEAAsE;AACtE,wDAAwD;AACxD,cAAc,gBAAgB,CAAA;AAE9B,8DAA8D;AAC9D,OAAO,EAAE,oBAAoB,EAAE,eAAe,EAAE,oBAAoB,EAAE,MAAM,8BAA8B,CAAA;AAE1G,gDAAgD;AAChD,OAAO,EAAE,yBAAyB,EAAE,sBAAsB,EAAE,0BAA0B,EAAE,MAAM,gCAAgC,CAAA;AAC9H,kDAAkD;AAClD,2CAA2C;AAC3C,OAAO,EAAE,yBAAyB,EAAE,sBAAsB,EAAE,wBAAwB,EAAE,MAAM,gCAAgC,CAAA;AAE5H,kDAAkD;AAClD,OAAO,EAAE,kBAAkB,EAAE,aAAa,EAAE,mBAAmB,EAAE,aAAa,EAAE,qBAAqB,EAAE,sBAAsB,EAAE,kBAAkB,EAAE,aAAa,EAAE,mBAAmB,EAAE,qBAAqB,EAAE,sBAAsB,EAAE,mBAAmB,EAAE,MAAM,wBAAwB,CAAA;AAGzR,+BAA+B;AAC/B,OAAO,EAAE,iBAAiB,EAAE,kBAAkB,EAAE,iBAAiB,EAAE,sBAAsB,EAAE,gBAAgB,EAAE,MAAM,mBAAmB,CAAA;AAItI,OAAO,EAAE,wBAAwB,EAAE,MAAM,gCAAgC,CAAA;AAEzE,2DAA2D;AAC3D,+CAA+C;AAC/C,OAAO,EAAE,aAAa,EAAE,MAAM,uBAAuB,CAAA","sourcesContent":["/**\n * @faicad/faijs-core/weapp — weapp 专用宿主入口\n *\n * 小程序（无 OCCT 环境）宿主的最小导出面：brepkit wasm 装载注入点 + brepkit BREP\n * 引擎注册 + 环境无关执行栈。全部为 re-export，零新实现。\n *\n * 为什么独立成入口：browser umbrella 曾 re-export brepkit 符号，导致 web 端模块图\n * 包含 brepkitWasm.js（其 node 分支 import('brepkit-wasm') 被 vite 静态解析而报错）。\n * 宿主边界必须由静态入口声明，而不是靠构建脚本事后 stub 剔除。\n *\n * 导出面受 entry-boundary.test.ts 白名单守卫约束——新增导出必须同步更新白名单。\n * web/desktop 宿主禁止 import 本入口（brepkit 是 weapp 专属 BREP 引擎）。\n */\n\n// 共享面（env-agnostic：identity + runtime-state + lang/*）——三处 umbrella 统一\n// re-export（§9.1），weapp worker 由此获得 analyzeCode 等语言层符号。\nexport * from './env-agnostic'\n\n// brepkit wasm 装载（weapp 专属注入点；宿主装配期调用一次 setBrepkitWasmInitFn）\nexport { setBrepkitWasmInitFn, initBrepkitWasm, isBrepkitInitialized } from './brepkit-kernel/brepkitWasm'\n\n// brepkit BREP 引擎注册（weapp 只注册 brepkit，不注册 occt）\nexport { registerBrepkitBrepEngine, BREPKIT_BREP_ENGINE_ID, ensureBrepkitDefaultEngine } from './brep/engine/adapters/brepkit'\n// brepkit 网格实体后端（网格语义路径；与 BREP 槽独立注册）。weapp 侧装了它，\n// `cad.load` 的 STL/3MF 路径就产出「网格实体 + 近似拓扑」。\nexport { registerBrepkitMeshEngine, BREPKIT_MESH_ENGINE_ID, ensureBrepkitMeshBackend } from './brep/engine/adapters/brepkit'\n\n// BREP 引擎注册表（环境无关；ensureBrepChain 见已注册引擎即跳过 OCCT）\nexport { registerBrepEngine, getBrepEngine, getActiveBrepEngine, hasBrepEngine, getActiveBrepEngineId, freezeEngineRegistries, registerMeshEngine, getMeshEngine, getActiveMeshEngine, getActiveMeshEngineId, isMeshEngineRegistered, getMeshSolidBackend } from './brep/engine/registry'\nexport type { BrepEngine, BrepEngineProvider, MeshEngine } from './brep/engine/registry'\nexport type { BrepEngineApi } from './brep/engine/primitives'\n// 网格实体（近似拓扑的载体）：端口 + 注册表 + 驱动。\nexport { MeshSolidRegistry, normalizeMeshSolid, describeMeshSolid, buildMeshSolidTopology, weldToleranceFor } from './brep/mesh-solid'\nexport type {\n  MeshSolidBackend, MeshSolidResult, MeshSolidKernelOps, MeshSolidInput, MeshSolidNormalizeOptions,\n} from './brep/mesh-solid'\nexport { assertShapeSlotExclusive } from './cad-runtime/backend-dispatch'\n\n// cad-runtime（环境无关执行栈）：createRuntime 为 with-cad 变体（§9.2），与\n// browser/node 入口同口径——自带 cad 命名空间注册，宿主无需手工补注册。\nexport { createRuntime } from './cad-runtime/runtime'\nexport type { CadRuntime } from './cad-runtime/runtime'\n"]}

package/package.json

@@ -1,6 +1,11 @@
 {
   "name": "@faicad/faijs",
-  "version": "0.33.2",
+  "version": "0.35.2",
+  "faijs": {
+    "lib": {
+      "role": "host"
+    }
+  },
   "type": "module",
   "license": "Apache-2.0",
   "repository": {
@@ -22,6 +27,10 @@
       "types": "./dist/api/cadquery-selectors/index.d.ts",
       "default": "./dist/api/cadquery-selectors/index.js"
     },
+    "./api/view": {
+      "types": "./dist/api/view/index.d.ts",
+      "default": "./dist/api/view/index.js"
+    },
     "./api/*": {
       "types": "./dist/api/*.d.ts",
       "default": "./dist/api/*.js"
@@ -86,14 +95,6 @@
       "types": "./dist/mesh/boolean.d.ts",
       "default": "./dist/mesh/boolean.js"
     },
-    "./mesh/decoration-provider": {
-      "types": "./dist/mesh/decoration-provider.d.ts",
-      "default": "./dist/mesh/decoration-provider.js"
-    },
-    "./mesh/engrave": {
-      "types": "./dist/mesh/engrave.d.ts",
-      "default": "./dist/mesh/engrave.js"
-    },
     "./mesh/stl-loader": {
       "types": "./dist/mesh/stl-loader.d.ts",
       "default": "./dist/mesh/stl-loader.js"
@@ -250,6 +251,10 @@
       "types": "./dist/brepkit-kernel/brepkitWasm.d.ts",
       "default": "./dist/brepkit-kernel/brepkitWasm.js"
     },
+    "./brepkit-kernel/brepkitKernel": {
+      "types": "./dist/brepkit-kernel/brepkitKernel.d.ts",
+      "default": "./dist/brepkit-kernel/brepkitKernel.js"
+    },
     "./primitives/brep-primitives": {
       "types": "./dist/primitives/brep-primitives.d.ts",
       "default": "./dist/primitives/brep-primitives.js"
@@ -326,6 +331,10 @@
       "types": "./dist/occt-kernel/occtKernel.d.ts",
       "default": "./dist/occt-kernel/occtKernel.js"
     },
+    "./occt-kernel/occt-primitives": {
+      "types": "./dist/occt-kernel/occt-primitives.d.ts",
+      "default": "./dist/occt-kernel/occt-primitives.js"
+    },
     "./occt-kernel/topologyExt": {
       "types": "./dist/occt-kernel/topologyExt.d.ts",
       "default": "./dist/occt-kernel/topologyExt.js"
@@ -409,6 +418,26 @@
     "./units": {
       "types": "./dist/units.d.ts",
       "default": "./dist/units.js"
+    },
+    "./sketch": {
+      "types": "./dist/sketch/index.d.ts",
+      "default": "./dist/sketch/index.js"
+    },
+    "./sketch/node": {
+      "types": "./dist/sketch/node.d.ts",
+      "default": "./dist/sketch/node.js"
+    },
+    "./extra": {
+      "types": "./dist/extra/index.d.ts",
+      "default": "./dist/extra/index.js"
+    },
+    "./extra/browser": {
+      "types": "./dist/extra/browser.d.ts",
+      "default": "./dist/extra/browser.js"
+    },
+    "./extra/editor-ops": {
+      "types": "./dist/extra/editor-ops.d.ts",
+      "default": "./dist/extra/editor-ops.js"
     }
   },
   "files": [
@@ -420,14 +449,16 @@
     "@xmldom/xmldom": "^0.9.8",
     "acorn": "^8.18.0",
     "fflate": "^0.8.3",
+    "@salusoft89/planegcs": "^1.2.0",
     "manifold-3d": "^3.5.1",
-    "opentype.js": "^1.3.4"
+    "opentype.js": "^1.3.4",
+    "brepkit-wasm": "^4.1.49"
   },
   "peerDependencies": {
     "occt-wasm": "^5.6.0"
   },
   "devDependencies": {
-    "@faicad/brepkit2-wasm": "^2.130.0",
+    "@faicad/brepkit2-wasm": "^2.131.0",
     "@types/three": "^0.184.1",
     "sucrase": "^3.35.1",
     "three-162": "npm:three@^0.162.0",
@@ -438,6 +469,7 @@
     "build": "tsc -p tsconfig.build.json && node ../../scripts/fix-import-extensions.mjs dist",
     "typecheck": "tsc --noEmit",
     "test": "vitest run",
+    "test:install": "vitest run -c vitest.install.config.ts",
     "lint": "eslint src",
     "gen:capability-map": "tsx scripts/gen-capability-map.ts",
     "gen:brepkit-surface": "tsx scripts/gen-brepkit-surface.ts",