@faicad/faijs 0.29.5 → 0.30.9

package/dist/api/brep-operations/healingFns.js

@@ -0,0 +1,294 @@
+/**
+ * Self-hosted compat-op implementations — shape healing family
+ * (core-decouple Phase 3, §5.4).
+ *
+ * @platform occt
+ *
+ * Brep-shaped implementations for `heal`, `healSolid`, `fixShape`, `autoHeal`,
+ * `fixSelfIntersection`, `simplify`. Semantics mirror brepjs
+ * `topology/healingFns.ts` / `topology/shapeFns.ts` (error codes preserved),
+ * with the brepjs object model (castResultShape / cache invalidation) dropped:
+ * occt-wasm handles only. Platform-native methods (`healFace`, `healWire`,
+ * `simplify`, `fixSelfIntersection`) go through `getOcctKernel()` (D3).
+ */
+import { getBrepApi } from '../../brep/handle-bridge.js';
+import { getOcctKernel } from '../../occt-kernel/occtKernel.js';
+import { ok, err } from '../../result/result.js';
+import { kernelError, validationError } from '../../result/errors.js';
+import { resolveArgs } from '../internal/dual-form-args.js';
+import { brepHandleOf } from './brepHelpers.js';
+const HEAL_PARAMS = { name: 'heal', params: ['shape'], formClass: 'A' };
+const HEAL_SOLID_PARAMS = { name: 'healSolid', params: ['solid'], formClass: 'A' };
+const FIX_SHAPE_PARAMS = { name: 'fixShape', params: ['shape'], formClass: 'A' };
+const AUTO_HEAL_PARAMS = { name: 'autoHeal', params: ['shape', 'options'], formClass: 'A' };
+const FIX_SELF_INTERSECTION_PARAMS = {
+    name: 'fixSelfIntersection',
+    params: ['shape'],
+    formClass: 'A',
+};
+const SIMPLIFY_PARAMS = { name: 'simplify', params: ['shape'], formClass: 'A' };
+// ---------------------------------------------------------------------------
+// heal (type-dispatching)
+// ---------------------------------------------------------------------------
+/** Heal a solid (`ShapeFix_Solid`); error codes match brepjs `healSolid`.
+ *
+ * @param args - Resolved arguments (solid shape).
+ * @returns The healed solid as a `BrepHandle`.
+ */
+export function healSolidBrep(...args) {
+    const [solid] = resolveArgs(args, HEAL_SOLID_PARAMS);
+    const kernel = getBrepApi();
+    const h = brepHandleOf(solid);
+    if (!kernel.isSolid(h))
+        return err(validationError('NOT_A_SOLID', 'Input shape is not a solid'));
+    const alreadyValid = kernel.isValid(h);
+    try {
+        const result = kernel.healSolid(h);
+        if (result == null || result === h) {
+            if (alreadyValid)
+                return ok(h);
+            return err(kernelError('HEAL_NO_EFFECT', 'Solid healing had no effect — shape is still invalid'));
+        }
+        if (!kernel.isSolid(result))
+            return err(kernelError('HEAL_RESULT_NOT_SOLID', 'Healed result is not a solid'));
+        if (!kernel.isValid(result)) {
+            return err(kernelError('HEAL_SOLID_INCOMPLETE', 'Healed result is still invalid after ShapeFix_Solid'));
+        }
+        return ok(result);
+    }
+    catch (e) {
+        return err(kernelError('HEAL_SOLID_FAILED', 'Solid healing failed', e));
+    }
+}
+/** Heal a face (`ShapeFix_Face`, occt platform method). */
+function healFaceBrep(handle) {
+    try {
+        const result = getOcctKernel().healFace(handle, 1e-6);
+        if (getOcctKernel().getShapeType(result) !== 'face') {
+            return err(kernelError('HEAL_RESULT_NOT_FACE', 'Healed result is not a face'));
+        }
+        return ok(result);
+    }
+    catch (e) {
+        return err(kernelError('HEAL_FACE_FAILED', 'Face healing failed', e));
+    }
+}
+/** Heal a wire (`ShapeFix_Wire`, occt platform method). */
+function healWireBrep(handle) {
+    try {
+        const result = getOcctKernel().healWire(handle, 1e-6);
+        if (getOcctKernel().getShapeType(result) !== 'wire') {
+            return err(kernelError('HEAL_RESULT_NOT_WIRE', 'Healed result is not a wire'));
+        }
+        return ok(result);
+    }
+    catch (e) {
+        return err(kernelError('HEAL_WIRE_FAILED', 'Wire healing failed', e));
+    }
+}
+/**
+ * Dispatch healing by shape type (solid/face/wire); other types pass through
+ * unchanged (brepjs `heal`).
+ *
+ * @param args - Resolved arguments (shape).
+ * @returns The healed shape as a `BrepHandle`.
+ */
+export function healBrep(...args) {
+    const [shape] = resolveArgs(args, HEAL_PARAMS);
+    const h = brepHandleOf(shape);
+    const type = getOcctKernel().getShapeType(h);
+    if (type === 'solid')
+        return healSolidBrep(shape);
+    if (type === 'face')
+        return healFaceBrep(h);
+    if (type === 'wire')
+        return healWireBrep(h);
+    return ok(h);
+}
+// ---------------------------------------------------------------------------
+// fixShape / fixSelfIntersection / simplify
+// ---------------------------------------------------------------------------
+/** General-purpose repair (`ShapeFix_Shape`).
+ *
+ * @param args - Resolved arguments (shape).
+ * @returns The repaired shape as a `BrepHandle`.
+ */
+export function fixShapeBrep(...args) {
+    const [shape] = resolveArgs(args, FIX_SHAPE_PARAMS);
+    const kernel = getBrepApi();
+    try {
+        return ok(kernel.fixShape(brepHandleOf(shape)));
+    }
+    catch (e) {
+        return err(kernelError('FIX_SHAPE_FAILED', 'ShapeFix_Shape failed', e));
+    }
+}
+/** Fix wire self-intersection (occt platform method).
+ *
+ * @param args - Resolved arguments (wire shape).
+ * @returns The fixed wire as a `BrepHandle`.
+ */
+export function fixSelfIntersectionBrep(...args) {
+    const [shape] = resolveArgs(args, FIX_SELF_INTERSECTION_PARAMS);
+    try {
+        const result = getOcctKernel().healWire(brepHandleOf(shape), 1e-6);
+        if (getOcctKernel().getShapeType(result) !== 'wire') {
+            return err(kernelError('FIX_SELF_INTERSECTION_FAILED', 'Result is not a wire'));
+        }
+        return ok(result);
+    }
+    catch (e) {
+        return err(kernelError('FIX_SELF_INTERSECTION_FAILED', 'Failed to fix wire self-intersection', e));
+    }
+}
+/** Simplify a shape (occt platform method).
+ *
+ * @param args - Resolved arguments (shape).
+ * @returns The simplified shape as a `BrepHandle`.
+ */
+export function simplifyBrep(...args) {
+    const [shape] = resolveArgs(args, SIMPLIFY_PARAMS);
+    try {
+        return ok(getOcctKernel().simplify(brepHandleOf(shape)));
+    }
+    catch (e) {
+        return err(kernelError('SIMPLIFY_FAILED', 'Kernel simplify failed', e));
+    }
+}
+/** Shape-kind check on a raw handle (occt `shapeType`). */
+function kindOf(h) {
+    return getOcctKernel().getShapeType(h);
+}
+/**
+ * Auto-heal pipeline (brepjs `autoHeal`): short-circuit on valid, optional
+ * sew / wire self-intersection pass, shape-level heal, sub-shape delta report.
+ *
+ * The returned record carries the healed shape as a raw BREP handle; the
+ * projection wraps it via `fromHandle` so callers receive a faijs Shape.
+ *
+ * @param args - Resolved arguments (shape, auto-heal options).
+ * @returns The healed shape with a diagnostic healing report.
+ */
+export function autoHealBrep(...args) {
+    const [shape, options] = resolveArgs(args, AUTO_HEAL_PARAMS);
+    const opts = (options ?? {});
+    const fixWires = opts.fixWires !== false;
+    const fixFaces = opts.fixFaces !== false;
+    const fixSolids = opts.fixSolids !== false;
+    const fixSelfIntersectionOpt = opts.fixSelfIntersection === true;
+    const sewTolerance = opts.sewTolerance;
+    const steps = [];
+    const diagnostics = [];
+    const kernel = getBrepApi();
+    const input = brepHandleOf(shape);
+    const valid = kernel.isValid(input);
+    if (valid) {
+        return ok({
+            shape: input,
+            report: {
+                isValid: true,
+                alreadyValid: true,
+                wiresHealed: 0,
+                facesHealed: 0,
+                solidHealed: false,
+                steps: ['Shape already valid'],
+                diagnostics: [{ name: 'validation', attempted: true, succeeded: true }],
+            },
+        });
+    }
+    steps.push('Shape invalid — applying shape-level healing');
+    const wiresBefore = kernel.getSubShapes(input, 'wire').length;
+    const facesBefore = kernel.getSubShapes(input, 'face').length;
+    let current = input;
+    let solidHealed = false;
+    const setCurrent = (next) => {
+        const prev = current;
+        current = next;
+        if (prev !== input && prev !== next)
+            kernel.release(prev);
+    };
+    if (sewTolerance !== undefined) {
+        try {
+            setCurrent(kernel.sew([current], sewTolerance));
+            steps.push(`Applied sewing with tolerance ${sewTolerance}`);
+            diagnostics.push({ name: 'sew', attempted: true, succeeded: true, detail: `tolerance=${sewTolerance}` });
+        }
+        catch (e) {
+            const detail = e instanceof Error ? e.message : String(e);
+            steps.push(`Sewing failed: ${detail}`);
+            diagnostics.push({ name: 'sew', attempted: true, succeeded: false, detail });
+        }
+    }
+    if (fixSelfIntersectionOpt && fixWires) {
+        const wires = kernel.getSubShapes(current, 'wire');
+        let fixCount = 0;
+        for (const wire of wires) {
+            try {
+                getOcctKernel().healWire(wire, 1e-6);
+                fixCount++;
+            }
+            catch {
+                // Ignore individual wire failures
+            }
+        }
+        steps.push(`Self-intersection fix: ${fixCount}/${wires.length} wires`);
+        diagnostics.push({
+            name: 'fixSelfIntersection',
+            attempted: true,
+            succeeded: fixCount > 0,
+            detail: `${fixCount}/${wires.length} wires fixed`,
+        });
+    }
+    const kind = kindOf(current);
+    const shouldHealShape = (kind === 'solid' && fixSolids) || (kind === 'face' && fixFaces) || (kind === 'wire' && fixWires);
+    if (shouldHealShape) {
+        const healResult = kind === 'solid' ? healSolidBrep(current) : kind === 'face' ? healFaceBrep(current) : healWireBrep(current);
+        if (healResult.ok) {
+            setCurrent(healResult.value);
+            if (kind === 'solid') {
+                solidHealed = true;
+                steps.push('Applied ShapeFix_Solid');
+                diagnostics.push({ name: 'healSolid', attempted: true, succeeded: true });
+            }
+            else if (kind === 'face') {
+                steps.push('Applied ShapeFix_Face');
+                diagnostics.push({ name: 'healFace', attempted: true, succeeded: true });
+            }
+            else {
+                steps.push('Applied ShapeFix_Wire');
+                diagnostics.push({ name: 'healWire', attempted: true, succeeded: true });
+            }
+        }
+        else {
+            steps.push('Shape-level healing failed');
+            diagnostics.push({ name: 'healShape', attempted: true, succeeded: false });
+        }
+    }
+    else {
+        diagnostics.push({ name: 'healShape', attempted: false, succeeded: false, detail: 'skipped by options' });
+    }
+    const wiresAfter = kernel.getSubShapes(current, 'wire').length;
+    const facesAfter = kernel.getSubShapes(current, 'face').length;
+    const wiresHealed = Math.abs(wiresAfter - wiresBefore);
+    const facesHealed = Math.abs(facesAfter - facesBefore);
+    if (wiresHealed > 0)
+        steps.push(`Wire count changed by ${wiresHealed}`);
+    if (facesHealed > 0)
+        steps.push(`Face count changed by ${facesHealed}`);
+    const finalValid = kernel.isValid(current);
+    steps.push(finalValid ? 'Final validation: valid' : 'Final validation: still invalid');
+    diagnostics.push({ name: 'finalValidation', attempted: true, succeeded: finalValid });
+    return ok({
+        shape: current,
+        report: {
+            isValid: finalValid,
+            alreadyValid: false,
+            wiresHealed,
+            facesHealed,
+            solidHealed,
+            steps,
+            diagnostics,
+        },
+    });
+}
+//# sourceMappingURL=healingFns.js.map

package/dist/api/brep-operations/healingFns.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"healingFns.js","sourceRoot":"","sources":["../../../src/api/brep-operations/healingFns.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AAGH,OAAO,EAAE,UAAU,EAAE,MAAM,0BAA0B,CAAA;AACrD,OAAO,EAAE,aAAa,EAAE,MAAM,8BAA8B,CAAA;AAC5D,OAAO,EAAE,EAAE,EAAE,GAAG,EAAe,MAAM,qBAAqB,CAAA;AAC1D,OAAO,EAAE,WAAW,EAAE,eAAe,EAAE,MAAM,qBAAqB,CAAA;AAElE,OAAO,EAAE,WAAW,EAAE,MAAM,4BAA4B,CAAA;AACxD,OAAO,EAAE,YAAY,EAAE,MAAM,eAAe,CAAA;AAE5C,MAAM,WAAW,GAAG,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,CAAC,OAAO,CAAC,EAAE,SAAS,EAAE,GAAgB,EAAE,CAAA;AACpF,MAAM,iBAAiB,GAAG,EAAE,IAAI,EAAE,WAAW,EAAE,MAAM,EAAE,CAAC,OAAO,CAAC,EAAE,SAAS,EAAE,GAAgB,EAAE,CAAA;AAC/F,MAAM,gBAAgB,GAAG,EAAE,IAAI,EAAE,UAAU,EAAE,MAAM,EAAE,CAAC,OAAO,CAAC,EAAE,SAAS,EAAE,GAAgB,EAAE,CAAA;AAC7F,MAAM,gBAAgB,GAAG,EAAE,IAAI,EAAE,UAAU,EAAE,MAAM,EAAE,CAAC,OAAO,EAAE,SAAS,CAAC,EAAE,SAAS,EAAE,GAAgB,EAAE,CAAA;AACxG,MAAM,4BAA4B,GAAG;IACnC,IAAI,EAAE,qBAAqB;IAC3B,MAAM,EAAE,CAAC,OAAO,CAAC;IACjB,SAAS,EAAE,GAAgB;CAC5B,CAAA;AACD,MAAM,eAAe,GAAG,EAAE,IAAI,EAAE,UAAU,EAAE,MAAM,EAAE,CAAC,OAAO,CAAC,EAAE,SAAS,EAAE,GAAgB,EAAE,CAAA;AAE5F,8EAA8E;AAC9E,0BAA0B;AAC1B,8EAA8E;AAE9E;;;;GAIG;AACH,MAAM,UAAU,aAAa,CAAC,GAAG,IAAe;IAC9C,MAAM,CAAC,KAAK,CAAC,GAAG,WAAW,CAAC,IAAI,EAAE,iBAAiB,CAAC,CAAA;IACpD,MAAM,MAAM,GAAG,UAAU,EAAE,CAAA;IAC3B,MAAM,CAAC,GAAG,YAAY,CAAC,KAAK,CAAC,CAAA;IAC7B,IAAI,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC;QAAE,OAAO,GAAG,CAAC,eAAe,CAAC,aAAa,EAAE,4BAA4B,CAAC,CAAC,CAAA;IAChG,MAAM,YAAY,GAAG,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,CAAA;IACtC,IAAI,CAAC;QACH,MAAM,MAAM,GAAG,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC,CAAA;QAClC,IAAI,MAAM,IAAI,IAAI,IAAI,MAAM,KAAK,CAAC,EAAE,CAAC;YACnC,IAAI,YAAY;gBAAE,OAAO,EAAE,CAAC,CAAC,CAAC,CAAA;YAC9B,OAAO,GAAG,CAAC,WAAW,CAAC,gBAAgB,EAAE,sDAAsD,CAAC,CAAC,CAAA;QACnG,CAAC;QACD,IAAI,CAAC,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC;YAAE,OAAO,GAAG,CAAC,WAAW,CAAC,uBAAuB,EAAE,8BAA8B,CAAC,CAAC,CAAA;QAC7G,IAAI,CAAC,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,CAAC;YAC5B,OAAO,GAAG,CAAC,WAAW,CAAC,uBAAuB,EAAE,qDAAqD,CAAC,CAAC,CAAA;QACzG,CAAC;QACD,OAAO,EAAE,CAAC,MAAM,CAAC,CAAA;IACnB,CAAC;IAAC,OAAO,CAAC,EAAE,CAAC;QACX,OAAO,GAAG,CAAC,WAAW,CAAC,mBAAmB,EAAE,sBAAsB,EAAE,CAAC,CAAC,CAAC,CAAA;IACzE,CAAC;AACH,CAAC;AAED,2DAA2D;AAC3D,SAAS,YAAY,CAAC,MAAkB;IACtC,IAAI,CAAC;QACH,MAAM,MAAM,GAAG,aAAa,EAAE,CAAC,QAAQ,CAAC,MAAe,EAAE,IAAI,CAAC,CAAA;QAC9D,IAAI,aAAa,EAAE,CAAC,YAAY,CAAC,MAAe,CAAC,KAAK,MAAM,EAAE,CAAC;YAC7D,OAAO,GAAG,CAAC,WAAW,CAAC,sBAAsB,EAAE,6BAA6B,CAAC,CAAC,CAAA;QAChF,CAAC;QACD,OAAO,EAAE,CAAC,MAA6B,CAAC,CAAA;IAC1C,CAAC;IAAC,OAAO,CAAC,EAAE,CAAC;QACX,OAAO,GAAG,CAAC,WAAW,CAAC,kBAAkB,EAAE,qBAAqB,EAAE,CAAC,CAAC,CAAC,CAAA;IACvE,CAAC;AACH,CAAC;AAED,2DAA2D;AAC3D,SAAS,YAAY,CAAC,MAAkB;IACtC,IAAI,CAAC;QACH,MAAM,MAAM,GAAG,aAAa,EAAE,CAAC,QAAQ,CAAC,MAAe,EAAE,IAAI,CAAC,CAAA;QAC9D,IAAI,aAAa,EAAE,CAAC,YAAY,CAAC,MAAe,CAAC,KAAK,MAAM,EAAE,CAAC;YAC7D,OAAO,GAAG,CAAC,WAAW,CAAC,sBAAsB,EAAE,6BAA6B,CAAC,CAAC,CAAA;QAChF,CAAC;QACD,OAAO,EAAE,CAAC,MAA6B,CAAC,CAAA;IAC1C,CAAC;IAAC,OAAO,CAAC,EAAE,CAAC;QACX,OAAO,GAAG,CAAC,WAAW,CAAC,kBAAkB,EAAE,qBAAqB,EAAE,CAAC,CAAC,CAAC,CAAA;IACvE,CAAC;AACH,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,QAAQ,CAAC,GAAG,IAAe;IACzC,MAAM,CAAC,KAAK,CAAC,GAAG,WAAW,CAAC,IAAI,EAAE,WAAW,CAAC,CAAA;IAC9C,MAAM,CAAC,GAAG,YAAY,CAAC,KAAK,CAAC,CAAA;IAC7B,MAAM,IAAI,GAAG,aAAa,EAAE,CAAC,YAAY,CAAC,CAAU,CAAC,CAAA;IACrD,IAAI,IAAI,KAAK,OAAO;QAAE,OAAO,aAAa,CAAC,KAAK,CAAC,CAAA;IACjD,IAAI,IAAI,KAAK,MAAM;QAAE,OAAO,YAAY,CAAC,CAAC,CAAC,CAAA;IAC3C,IAAI,IAAI,KAAK,MAAM;QAAE,OAAO,YAAY,CAAC,CAAC,CAAC,CAAA;IAC3C,OAAO,EAAE,CAAC,CAAC,CAAC,CAAA;AACd,CAAC;AAED,8EAA8E;AAC9E,4CAA4C;AAC5C,8EAA8E;AAE9E;;;;GAIG;AACH,MAAM,UAAU,YAAY,CAAC,GAAG,IAAe;IAC7C,MAAM,CAAC,KAAK,CAAC,GAAG,WAAW,CAAC,IAAI,EAAE,gBAAgB,CAAC,CAAA;IACnD,MAAM,MAAM,GAAG,UAAU,EAAE,CAAA;IAC3B,IAAI,CAAC;QACH,OAAO,EAAE,CAAC,MAAM,CAAC,QAAQ,CAAC,YAAY,CAAC,KAAK,CAAC,CAAC,CAAC,CAAA;IACjD,CAAC;IAAC,OAAO,CAAC,EAAE,CAAC;QACX,OAAO,GAAG,CAAC,WAAW,CAAC,kBAAkB,EAAE,uBAAuB,EAAE,CAAC,CAAC,CAAC,CAAA;IACzE,CAAC;AACH,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,uBAAuB,CAAC,GAAG,IAAe;IACxD,MAAM,CAAC,KAAK,CAAC,GAAG,WAAW,CAAC,IAAI,EAAE,4BAA4B,CAAC,CAAA;IAC/D,IAAI,CAAC;QACH,MAAM,MAAM,GAAG,aAAa,EAAE,CAAC,QAAQ,CAAC,YAAY,CAAC,KAAK,CAAU,EAAE,IAAI,CAAC,CAAA;QAC3E,IAAI,aAAa,EAAE,CAAC,YAAY,CAAC,MAAe,CAAC,KAAK,MAAM,EAAE,CAAC;YAC7D,OAAO,GAAG,CAAC,WAAW,CAAC,8BAA8B,EAAE,sBAAsB,CAAC,CAAC,CAAA;QACjF,CAAC;QACD,OAAO,EAAE,CAAC,MAA6B,CAAC,CAAA;IAC1C,CAAC;IAAC,OAAO,CAAC,EAAE,CAAC;QACX,OAAO,GAAG,CAAC,WAAW,CAAC,8BAA8B,EAAE,sCAAsC,EAAE,CAAC,CAAC,CAAC,CAAA;IACpG,CAAC;AACH,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,YAAY,CAAC,GAAG,IAAe;IAC7C,MAAM,CAAC,KAAK,CAAC,GAAG,WAAW,CAAC,IAAI,EAAE,eAAe,CAAC,CAAA;IAClD,IAAI,CAAC;QACH,OAAO,EAAE,CAAC,aAAa,EAAE,CAAC,QAAQ,CAAC,YAAY,CAAC,KAAK,CAAU,CAAwB,CAAC,CAAA;IAC1F,CAAC;IAAC,OAAO,CAAC,EAAE,CAAC;QACX,OAAO,GAAG,CAAC,WAAW,CAAC,iBAAiB,EAAE,wBAAwB,EAAE,CAAC,CAAC,CAAC,CAAA;IACzE,CAAC;AACH,CAAC;AA+BD,2DAA2D;AAC3D,SAAS,MAAM,CAAC,CAAa;IAC3B,OAAO,aAAa,EAAE,CAAC,YAAY,CAAC,CAAU,CAAC,CAAA;AACjD,CAAC;AAED;;;;;;;;;GASG;AACH,MAAM,UAAU,YAAY,CAAC,GAAG,IAAe;IAC7C,MAAM,CAAC,KAAK,EAAE,OAAO,CAAC,GAAG,WAAW,CAAC,IAAI,EAAE,gBAAgB,CAAC,CAAA;IAC5D,MAAM,IAAI,GAAG,CAAC,OAAO,IAAI,EAAE,CAAoB,CAAA;IAC/C,MAAM,QAAQ,GAAG,IAAI,CAAC,QAAQ,KAAK,KAAK,CAAA;IACxC,MAAM,QAAQ,GAAG,IAAI,CAAC,QAAQ,KAAK,KAAK,CAAA;IACxC,MAAM,SAAS,GAAG,IAAI,CAAC,SAAS,KAAK,KAAK,CAAA;IAC1C,MAAM,sBAAsB,GAAG,IAAI,CAAC,mBAAmB,KAAK,IAAI,CAAA;IAChE,MAAM,YAAY,GAAG,IAAI,CAAC,YAAY,CAAA;IAEtC,MAAM,KAAK,GAAa,EAAE,CAAA;IAC1B,MAAM,WAAW,GAA4B,EAAE,CAAA;IAC/C,MAAM,MAAM,GAAG,UAAU,EAAE,CAAA;IAC3B,MAAM,KAAK,GAAG,YAAY,CAAC,KAAK,CAAC,CAAA;IAEjC,MAAM,KAAK,GAAG,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,CAAA;IACnC,IAAI,KAAK,EAAE,CAAC;QACV,OAAO,EAAE,CAAC;YACR,KAAK,EAAE,KAAK;YACZ,MAAM,EAAE;gBACN,OAAO,EAAE,IAAI;gBACb,YAAY,EAAE,IAAI;gBAClB,WAAW,EAAE,CAAC;gBACd,WAAW,EAAE,CAAC;gBACd,WAAW,EAAE,KAAK;gBAClB,KAAK,EAAE,CAAC,qBAAqB,CAAC;gBAC9B,WAAW,EAAE,CAAC,EAAE,IAAI,EAAE,YAAY,EAAE,SAAS,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC;aACxE;SACF,CAAC,CAAA;IACJ,CAAC;IAED,KAAK,CAAC,IAAI,CAAC,8CAA8C,CAAC,CAAA;IAE1D,MAAM,WAAW,GAAG,MAAM,CAAC,YAAY,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC,MAAM,CAAA;IAC7D,MAAM,WAAW,GAAG,MAAM,CAAC,YAAY,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC,MAAM,CAAA;IAE7D,IAAI,OAAO,GAAG,KAAK,CAAA;IACnB,IAAI,WAAW,GAAG,KAAK,CAAA;IACvB,MAAM,UAAU,GAAG,CAAC,IAAgB,EAAQ,EAAE;QAC5C,MAAM,IAAI,GAAG,OAAO,CAAA;QACpB,OAAO,GAAG,IAAI,CAAA;QACd,IAAI,IAAI,KAAK,KAAK,IAAI,IAAI,KAAK,IAAI;YAAE,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,CAAA;IAC3D,CAAC,CAAA;IAED,IAAI,YAAY,KAAK,SAAS,EAAE,CAAC;QAC/B,IAAI,CAAC;YACH,UAAU,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,OAAO,CAAC,EAAE,YAAY,CAAC,CAAC,CAAA;YAC/C,KAAK,CAAC,IAAI,CAAC,iCAAiC,YAAY,EAAE,CAAC,CAAA;YAC3D,WAAW,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,SAAS,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,MAAM,EAAE,aAAa,YAAY,EAAE,EAAE,CAAC,CAAA;QAC1G,CAAC;QAAC,OAAO,CAAC,EAAE,CAAC;YACX,MAAM,MAAM,GAAG,CAAC,YAAY,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAA;YACzD,KAAK,CAAC,IAAI,CAAC,kBAAkB,MAAM,EAAE,CAAC,CAAA;YACtC,WAAW,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,SAAS,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC,CAAA;QAC9E,CAAC;IACH,CAAC;IAED,IAAI,sBAAsB,IAAI,QAAQ,EAAE,CAAC;QACvC,MAAM,KAAK,GAAG,MAAM,CAAC,YAAY,CAAC,OAAO,EAAE,MAAM,CAAC,CAAA;QAClD,IAAI,QAAQ,GAAG,CAAC,CAAA;QAChB,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;YACzB,IAAI,CAAC;gBACH,aAAa,EAAE,CAAC,QAAQ,CAAC,IAAa,EAAE,IAAI,CAAC,CAAA;gBAC7C,QAAQ,EAAE,CAAA;YACZ,CAAC;YAAC,MAAM,CAAC;gBACP,kCAAkC;YACpC,CAAC;QACH,CAAC;QACD,KAAK,CAAC,IAAI,CAAC,0BAA0B,QAAQ,IAAI,KAAK,CAAC,MAAM,QAAQ,CAAC,CAAA;QACtE,WAAW,CAAC,IAAI,CAAC;YACf,IAAI,EAAE,qBAAqB;YAC3B,SAAS,EAAE,IAAI;YACf,SAAS,EAAE,QAAQ,GAAG,CAAC;YACvB,MAAM,EAAE,GAAG,QAAQ,IAAI,KAAK,CAAC,MAAM,cAAc;SAClD,CAAC,CAAA;IACJ,CAAC;IAED,MAAM,IAAI,GAAG,MAAM,CAAC,OAAO,CAAC,CAAA;IAC5B,MAAM,eAAe,GACnB,CAAC,IAAI,KAAK,OAAO,IAAI,SAAS,CAAC,IAAI,CAAC,IAAI,KAAK,MAAM,IAAI,QAAQ,CAAC,IAAI,CAAC,IAAI,KAAK,MAAM,IAAI,QAAQ,CAAC,CAAA;IAEnG,IAAI,eAAe,EAAE,CAAC;QACpB,MAAM,UAAU,GAAG,IAAI,KAAK,OAAO,CAAC,CAAC,CAAC,aAAa,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC,CAAC,YAAY,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,YAAY,CAAC,OAAO,CAAC,CAAA;QAC9H,IAAI,UAAU,CAAC,EAAE,EAAE,CAAC;YAClB,UAAU,CAAC,UAAU,CAAC,KAAK,CAAC,CAAA;YAC5B,IAAI,IAAI,KAAK,OAAO,EAAE,CAAC;gBACrB,WAAW,GAAG,IAAI,CAAA;gBAClB,KAAK,CAAC,IAAI,CAAC,wBAAwB,CAAC,CAAA;gBACpC,WAAW,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,WAAW,EAAE,SAAS,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAA;YAC3E,CAAC;iBAAM,IAAI,IAAI,KAAK,MAAM,EAAE,CAAC;gBAC3B,KAAK,CAAC,IAAI,CAAC,uBAAuB,CAAC,CAAA;gBACnC,WAAW,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,SAAS,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAA;YAC1E,CAAC;iBAAM,CAAC;gBACN,KAAK,CAAC,IAAI,CAAC,uBAAuB,CAAC,CAAA;gBACnC,WAAW,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,SAAS,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAA;YAC1E,CAAC;QACH,CAAC;aAAM,CAAC;YACN,KAAK,CAAC,IAAI,CAAC,4BAA4B,CAAC,CAAA;YACxC,WAAW,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,WAAW,EAAE,SAAS,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,CAAC,CAAA;QAC5E,CAAC;IACH,CAAC;SAAM,CAAC;QACN,WAAW,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,WAAW,EAAE,SAAS,EAAE,KAAK,EAAE,SAAS,EAAE,KAAK,EAAE,MAAM,EAAE,oBAAoB,EAAE,CAAC,CAAA;IAC3G,CAAC;IAED,MAAM,UAAU,GAAG,MAAM,CAAC,YAAY,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC,MAAM,CAAA;IAC9D,MAAM,UAAU,GAAG,MAAM,CAAC,YAAY,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC,MAAM,CAAA;IAC9D,MAAM,WAAW,GAAG,IAAI,CAAC,GAAG,CAAC,UAAU,GAAG,WAAW,CAAC,CAAA;IACtD,MAAM,WAAW,GAAG,IAAI,CAAC,GAAG,CAAC,UAAU,GAAG,WAAW,CAAC,CAAA;IAEtD,IAAI,WAAW,GAAG,CAAC;QAAE,KAAK,CAAC,IAAI,CAAC,yBAAyB,WAAW,EAAE,CAAC,CAAA;IACvE,IAAI,WAAW,GAAG,CAAC;QAAE,KAAK,CAAC,IAAI,CAAC,yBAAyB,WAAW,EAAE,CAAC,CAAA;IAEvE,MAAM,UAAU,GAAG,MAAM,CAAC,OAAO,CAAC,OAAO,CAAC,CAAA;IAC1C,KAAK,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,yBAAyB,CAAC,CAAC,CAAC,iCAAiC,CAAC,CAAA;IACtF,WAAW,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,iBAAiB,EAAE,SAAS,EAAE,IAAI,EAAE,SAAS,EAAE,UAAU,EAAE,CAAC,CAAA;IAErF,OAAO,EAAE,CAAC;QACR,KAAK,EAAE,OAAO;QACd,MAAM,EAAE;YACN,OAAO,EAAE,UAAU;YACnB,YAAY,EAAE,KAAK;YACnB,WAAW;YACX,WAAW;YACX,WAAW;YACX,KAAK;YACL,WAAW;SACZ;KACF,CAAC,CAAA;AACJ,CAAC","sourcesContent":["/**\n * Self-hosted compat-op implementations — shape healing family\n * (core-decouple Phase 3, §5.4).\n *\n * @platform occt\n *\n * Brep-shaped implementations for `heal`, `healSolid`, `fixShape`, `autoHeal`,\n * `fixSelfIntersection`, `simplify`. Semantics mirror brepjs\n * `topology/healingFns.ts` / `topology/shapeFns.ts` (error codes preserved),\n * with the brepjs object model (castResultShape / cache invalidation) dropped:\n * occt-wasm handles only. Platform-native methods (`healFace`, `healWire`,\n * `simplify`, `fixSelfIntersection`) go through `getOcctKernel()` (D3).\n */\n\nimport type { BrepHandle } from '../../brep/engine/types'\nimport { getBrepApi } from '../../brep/handle-bridge'\nimport { getOcctKernel } from '../../occt-kernel/occtKernel'\nimport { ok, err, type Result } from '../../result/result'\nimport { kernelError, validationError } from '../../result/errors'\nimport type { FormClass } from '../internal/dual-form-args'\nimport { resolveArgs } from '../internal/dual-form-args'\nimport { brepHandleOf } from './brepHelpers'\n\nconst HEAL_PARAMS = { name: 'heal', params: ['shape'], formClass: 'A' as FormClass }\nconst HEAL_SOLID_PARAMS = { name: 'healSolid', params: ['solid'], formClass: 'A' as FormClass }\nconst FIX_SHAPE_PARAMS = { name: 'fixShape', params: ['shape'], formClass: 'A' as FormClass }\nconst AUTO_HEAL_PARAMS = { name: 'autoHeal', params: ['shape', 'options'], formClass: 'A' as FormClass }\nconst FIX_SELF_INTERSECTION_PARAMS = {\n  name: 'fixSelfIntersection',\n  params: ['shape'],\n  formClass: 'A' as FormClass,\n}\nconst SIMPLIFY_PARAMS = { name: 'simplify', params: ['shape'], formClass: 'A' as FormClass }\n\n// ---------------------------------------------------------------------------\n// heal (type-dispatching)\n// ---------------------------------------------------------------------------\n\n/** Heal a solid (`ShapeFix_Solid`); error codes match brepjs `healSolid`.\n *\n * @param args - Resolved arguments (solid shape).\n * @returns The healed solid as a `BrepHandle`.\n */\nexport function healSolidBrep(...args: unknown[]): Result<BrepHandle> {\n  const [solid] = resolveArgs(args, HEAL_SOLID_PARAMS)\n  const kernel = getBrepApi()\n  const h = brepHandleOf(solid)\n  if (!kernel.isSolid(h)) return err(validationError('NOT_A_SOLID', 'Input shape is not a solid'))\n  const alreadyValid = kernel.isValid(h)\n  try {\n    const result = kernel.healSolid(h)\n    if (result == null || result === h) {\n      if (alreadyValid) return ok(h)\n      return err(kernelError('HEAL_NO_EFFECT', 'Solid healing had no effect — shape is still invalid'))\n    }\n    if (!kernel.isSolid(result)) return err(kernelError('HEAL_RESULT_NOT_SOLID', 'Healed result is not a solid'))\n    if (!kernel.isValid(result)) {\n      return err(kernelError('HEAL_SOLID_INCOMPLETE', 'Healed result is still invalid after ShapeFix_Solid'))\n    }\n    return ok(result)\n  } catch (e) {\n    return err(kernelError('HEAL_SOLID_FAILED', 'Solid healing failed', e))\n  }\n}\n\n/** Heal a face (`ShapeFix_Face`, occt platform method). */\nfunction healFaceBrep(handle: BrepHandle): Result<BrepHandle> {\n  try {\n    const result = getOcctKernel().healFace(handle as never, 1e-6)\n    if (getOcctKernel().getShapeType(result as never) !== 'face') {\n      return err(kernelError('HEAL_RESULT_NOT_FACE', 'Healed result is not a face'))\n    }\n    return ok(result as never as BrepHandle)\n  } catch (e) {\n    return err(kernelError('HEAL_FACE_FAILED', 'Face healing failed', e))\n  }\n}\n\n/** Heal a wire (`ShapeFix_Wire`, occt platform method). */\nfunction healWireBrep(handle: BrepHandle): Result<BrepHandle> {\n  try {\n    const result = getOcctKernel().healWire(handle as never, 1e-6)\n    if (getOcctKernel().getShapeType(result as never) !== 'wire') {\n      return err(kernelError('HEAL_RESULT_NOT_WIRE', 'Healed result is not a wire'))\n    }\n    return ok(result as never as BrepHandle)\n  } catch (e) {\n    return err(kernelError('HEAL_WIRE_FAILED', 'Wire healing failed', e))\n  }\n}\n\n/**\n * Dispatch healing by shape type (solid/face/wire); other types pass through\n * unchanged (brepjs `heal`).\n *\n * @param args - Resolved arguments (shape).\n * @returns The healed shape as a `BrepHandle`.\n */\nexport function healBrep(...args: unknown[]): Result<BrepHandle> {\n  const [shape] = resolveArgs(args, HEAL_PARAMS)\n  const h = brepHandleOf(shape)\n  const type = getOcctKernel().getShapeType(h as never)\n  if (type === 'solid') return healSolidBrep(shape)\n  if (type === 'face') return healFaceBrep(h)\n  if (type === 'wire') return healWireBrep(h)\n  return ok(h)\n}\n\n// ---------------------------------------------------------------------------\n// fixShape / fixSelfIntersection / simplify\n// ---------------------------------------------------------------------------\n\n/** General-purpose repair (`ShapeFix_Shape`).\n *\n * @param args - Resolved arguments (shape).\n * @returns The repaired shape as a `BrepHandle`.\n */\nexport function fixShapeBrep(...args: unknown[]): Result<BrepHandle> {\n  const [shape] = resolveArgs(args, FIX_SHAPE_PARAMS)\n  const kernel = getBrepApi()\n  try {\n    return ok(kernel.fixShape(brepHandleOf(shape)))\n  } catch (e) {\n    return err(kernelError('FIX_SHAPE_FAILED', 'ShapeFix_Shape failed', e))\n  }\n}\n\n/** Fix wire self-intersection (occt platform method).\n *\n * @param args - Resolved arguments (wire shape).\n * @returns The fixed wire as a `BrepHandle`.\n */\nexport function fixSelfIntersectionBrep(...args: unknown[]): Result<BrepHandle> {\n  const [shape] = resolveArgs(args, FIX_SELF_INTERSECTION_PARAMS)\n  try {\n    const result = getOcctKernel().healWire(brepHandleOf(shape) as never, 1e-6)\n    if (getOcctKernel().getShapeType(result as never) !== 'wire') {\n      return err(kernelError('FIX_SELF_INTERSECTION_FAILED', 'Result is not a wire'))\n    }\n    return ok(result as never as BrepHandle)\n  } catch (e) {\n    return err(kernelError('FIX_SELF_INTERSECTION_FAILED', 'Failed to fix wire self-intersection', e))\n  }\n}\n\n/** Simplify a shape (occt platform method).\n *\n * @param args - Resolved arguments (shape).\n * @returns The simplified shape as a `BrepHandle`.\n */\nexport function simplifyBrep(...args: unknown[]): Result<BrepHandle> {\n  const [shape] = resolveArgs(args, SIMPLIFY_PARAMS)\n  try {\n    return ok(getOcctKernel().simplify(brepHandleOf(shape) as never) as never as BrepHandle)\n  } catch (e) {\n    return err(kernelError('SIMPLIFY_FAILED', 'Kernel simplify failed', e))\n  }\n}\n\n// ---------------------------------------------------------------------------\n// autoHeal pipeline\n// ---------------------------------------------------------------------------\n\ninterface HealingStepDiagnostic {\n  readonly name: string\n  readonly attempted: boolean\n  readonly succeeded: boolean\n  readonly detail?: string\n}\n\ninterface AutoHealOptions {\n  fixWires?: boolean\n  fixFaces?: boolean\n  fixSolids?: boolean\n  sewTolerance?: number\n  fixSelfIntersection?: boolean\n}\n\ninterface HealingReport {\n  readonly isValid: boolean\n  readonly alreadyValid: boolean\n  readonly wiresHealed: number\n  readonly facesHealed: number\n  readonly solidHealed: boolean\n  readonly steps: ReadonlyArray<string>\n  readonly diagnostics: ReadonlyArray<HealingStepDiagnostic>\n}\n\n/** Shape-kind check on a raw handle (occt `shapeType`). */\nfunction kindOf(h: BrepHandle): string {\n  return getOcctKernel().getShapeType(h as never)\n}\n\n/**\n * Auto-heal pipeline (brepjs `autoHeal`): short-circuit on valid, optional\n * sew / wire self-intersection pass, shape-level heal, sub-shape delta report.\n *\n * The returned record carries the healed shape as a raw BREP handle; the\n * projection wraps it via `fromHandle` so callers receive a faijs Shape.\n *\n * @param args - Resolved arguments (shape, auto-heal options).\n * @returns The healed shape with a diagnostic healing report.\n */\nexport function autoHealBrep(...args: unknown[]): Result<{ shape: BrepHandle; report: HealingReport }> {\n  const [shape, options] = resolveArgs(args, AUTO_HEAL_PARAMS)\n  const opts = (options ?? {}) as AutoHealOptions\n  const fixWires = opts.fixWires !== false\n  const fixFaces = opts.fixFaces !== false\n  const fixSolids = opts.fixSolids !== false\n  const fixSelfIntersectionOpt = opts.fixSelfIntersection === true\n  const sewTolerance = opts.sewTolerance\n\n  const steps: string[] = []\n  const diagnostics: HealingStepDiagnostic[] = []\n  const kernel = getBrepApi()\n  const input = brepHandleOf(shape)\n\n  const valid = kernel.isValid(input)\n  if (valid) {\n    return ok({\n      shape: input,\n      report: {\n        isValid: true,\n        alreadyValid: true,\n        wiresHealed: 0,\n        facesHealed: 0,\n        solidHealed: false,\n        steps: ['Shape already valid'],\n        diagnostics: [{ name: 'validation', attempted: true, succeeded: true }],\n      },\n    })\n  }\n\n  steps.push('Shape invalid — applying shape-level healing')\n\n  const wiresBefore = kernel.getSubShapes(input, 'wire').length\n  const facesBefore = kernel.getSubShapes(input, 'face').length\n\n  let current = input\n  let solidHealed = false\n  const setCurrent = (next: BrepHandle): void => {\n    const prev = current\n    current = next\n    if (prev !== input && prev !== next) kernel.release(prev)\n  }\n\n  if (sewTolerance !== undefined) {\n    try {\n      setCurrent(kernel.sew([current], sewTolerance))\n      steps.push(`Applied sewing with tolerance ${sewTolerance}`)\n      diagnostics.push({ name: 'sew', attempted: true, succeeded: true, detail: `tolerance=${sewTolerance}` })\n    } catch (e) {\n      const detail = e instanceof Error ? e.message : String(e)\n      steps.push(`Sewing failed: ${detail}`)\n      diagnostics.push({ name: 'sew', attempted: true, succeeded: false, detail })\n    }\n  }\n\n  if (fixSelfIntersectionOpt && fixWires) {\n    const wires = kernel.getSubShapes(current, 'wire')\n    let fixCount = 0\n    for (const wire of wires) {\n      try {\n        getOcctKernel().healWire(wire as never, 1e-6)\n        fixCount++\n      } catch {\n        // Ignore individual wire failures\n      }\n    }\n    steps.push(`Self-intersection fix: ${fixCount}/${wires.length} wires`)\n    diagnostics.push({\n      name: 'fixSelfIntersection',\n      attempted: true,\n      succeeded: fixCount > 0,\n      detail: `${fixCount}/${wires.length} wires fixed`,\n    })\n  }\n\n  const kind = kindOf(current)\n  const shouldHealShape =\n    (kind === 'solid' && fixSolids) || (kind === 'face' && fixFaces) || (kind === 'wire' && fixWires)\n\n  if (shouldHealShape) {\n    const healResult = kind === 'solid' ? healSolidBrep(current) : kind === 'face' ? healFaceBrep(current) : healWireBrep(current)\n    if (healResult.ok) {\n      setCurrent(healResult.value)\n      if (kind === 'solid') {\n        solidHealed = true\n        steps.push('Applied ShapeFix_Solid')\n        diagnostics.push({ name: 'healSolid', attempted: true, succeeded: true })\n      } else if (kind === 'face') {\n        steps.push('Applied ShapeFix_Face')\n        diagnostics.push({ name: 'healFace', attempted: true, succeeded: true })\n      } else {\n        steps.push('Applied ShapeFix_Wire')\n        diagnostics.push({ name: 'healWire', attempted: true, succeeded: true })\n      }\n    } else {\n      steps.push('Shape-level healing failed')\n      diagnostics.push({ name: 'healShape', attempted: true, succeeded: false })\n    }\n  } else {\n    diagnostics.push({ name: 'healShape', attempted: false, succeeded: false, detail: 'skipped by options' })\n  }\n\n  const wiresAfter = kernel.getSubShapes(current, 'wire').length\n  const facesAfter = kernel.getSubShapes(current, 'face').length\n  const wiresHealed = Math.abs(wiresAfter - wiresBefore)\n  const facesHealed = Math.abs(facesAfter - facesBefore)\n\n  if (wiresHealed > 0) steps.push(`Wire count changed by ${wiresHealed}`)\n  if (facesHealed > 0) steps.push(`Face count changed by ${facesHealed}`)\n\n  const finalValid = kernel.isValid(current)\n  steps.push(finalValid ? 'Final validation: valid' : 'Final validation: still invalid')\n  diagnostics.push({ name: 'finalValidation', attempted: true, succeeded: finalValid })\n\n  return ok({\n    shape: current,\n    report: {\n      isValid: finalValid,\n      alreadyValid: false,\n      wiresHealed,\n      facesHealed,\n      solidHealed,\n      steps,\n      diagnostics,\n    },\n  })\n}\n"]}

package/dist/api/brep-operations/hullFns.d.ts

@@ -0,0 +1,20 @@
+/**
+ * Self-hosted compat-op implementation — convexHull
+ * (core-decouple Phase 3, §5.4).
+ *
+ * @platform occt
+ *
+ * Semantics mirror brepjs `operations/convexHullFns.ts` (HULL_EMPTY_INPUT /
+ * HULL_NOT_3D / HULL_DEGENERATE guards) on the L1 `hullFromPoints` (core's own
+ * hull closure, §5.1) with tolerance 0.1 (brepjs default).
+ */
+import type { BrepHandle } from '../../brep/engine/types.js';
+import { type Result } from '../../result/result.js';
+/**
+ * Compute the convex hull of a point set.
+ *
+ * @param args - Resolved arguments (point list).
+ * @returns The hull solid as a `BrepHandle`.
+ */
+export declare function convexHullBrep(...args: unknown[]): Result<BrepHandle>;
+//# sourceMappingURL=hullFns.d.ts.map

package/dist/api/brep-operations/hullFns.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"hullFns.d.ts","sourceRoot":"","sources":["../../../src/api/brep-operations/hullFns.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AAEH,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,yBAAyB,CAAA;AAEzD,OAAO,EAAW,KAAK,MAAM,EAAE,MAAM,qBAAqB,CAAA;AAQ1D;;;;;GAKG;AACH,wBAAgB,cAAc,CAAC,GAAG,IAAI,EAAE,OAAO,EAAE,GAAG,MAAM,CAAC,UAAU,CAAC,CA6BrE"}

package/dist/api/brep-operations/hullFns.js

@@ -0,0 +1,46 @@
+/**
+ * Self-hosted compat-op implementation — convexHull
+ * (core-decouple Phase 3, §5.4).
+ *
+ * @platform occt
+ *
+ * Semantics mirror brepjs `operations/convexHullFns.ts` (HULL_EMPTY_INPUT /
+ * HULL_NOT_3D / HULL_DEGENERATE guards) on the L1 `hullFromPoints` (core's own
+ * hull closure, §5.1) with tolerance 0.1 (brepjs default).
+ */
+import { getBrepApi } from '../../brep/handle-bridge.js';
+import { ok, err } from '../../result/result.js';
+import { kernelError, validationError } from '../../result/errors.js';
+import { resolveArgs } from '../internal/dual-form-args.js';
+const CONVEX_HULL_PARAMS = { name: 'convexHull', params: ['points'], formClass: 'A' };
+/**
+ * Compute the convex hull of a point set.
+ *
+ * @param args - Resolved arguments (point list).
+ * @returns The hull solid as a `BrepHandle`.
+ */
+export function convexHullBrep(...args) {
+    const [pointsRaw] = resolveArgs(args, CONVEX_HULL_PARAMS);
+    const kernel = getBrepApi();
+    const points = (pointsRaw ?? []);
+    if (points.length < 4) {
+        return err(validationError('HULL_EMPTY_INPUT', `convexHull: at least 4 points required, got ${points.length}`));
+    }
+    try {
+        const objPoints = points.map((p) => ({ x: p[0], y: p[1], z: p[2] }));
+        const h = kernel.hullFromPoints(objPoints, 0.1);
+        if (!kernel.isSolid(h)) {
+            kernel.release(h);
+            return err(kernelError('HULL_NOT_3D', 'convexHull result is not a solid; points may be coplanar'));
+        }
+        return ok(h);
+    }
+    catch (e) {
+        const raw = e instanceof Error ? e.message : String(e);
+        if (raw.includes('coplanar') || raw.includes('fewer than') || raw.includes('degenerate')) {
+            return err(kernelError('HULL_DEGENERATE', `convexHull degenerate: ${raw}`, e));
+        }
+        return err(kernelError('HULL_FAILED', `convexHull failed: ${raw}`, e));
+    }
+}
+//# sourceMappingURL=hullFns.js.map

package/dist/api/brep-operations/hullFns.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"hullFns.js","sourceRoot":"","sources":["../../../src/api/brep-operations/hullFns.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AAGH,OAAO,EAAE,UAAU,EAAE,MAAM,0BAA0B,CAAA;AACrD,OAAO,EAAE,EAAE,EAAE,GAAG,EAAe,MAAM,qBAAqB,CAAA;AAC1D,OAAO,EAAE,WAAW,EAAE,eAAe,EAAE,MAAM,qBAAqB,CAAA;AAElE,OAAO,EAAE,WAAW,EAAE,MAAM,4BAA4B,CAAA;AAGxD,MAAM,kBAAkB,GAAG,EAAE,IAAI,EAAE,YAAY,EAAE,MAAM,EAAE,CAAC,QAAQ,CAAC,EAAE,SAAS,EAAE,GAAgB,EAAE,CAAA;AAElG;;;;;GAKG;AACH,MAAM,UAAU,cAAc,CAAC,GAAG,IAAe;IAC/C,MAAM,CAAC,SAAS,CAAC,GAAG,WAAW,CAAC,IAAI,EAAE,kBAAkB,CAAC,CAAA;IACzD,MAAM,MAAM,GAAG,UAAU,EAAE,CAAA;IAC3B,MAAM,MAAM,GAAG,CAAC,SAAS,IAAI,EAAE,CAAW,CAAA;IAE1C,IAAI,MAAM,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACtB,OAAO,GAAG,CACR,eAAe,CACb,kBAAkB,EAClB,+CAA+C,MAAM,CAAC,MAAM,EAAE,CAC/D,CACF,CAAA;IACH,CAAC;IAED,IAAI,CAAC;QACH,MAAM,SAAS,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAA;QACpE,MAAM,CAAC,GAAG,MAAM,CAAC,cAAc,CAAC,SAAS,EAAE,GAAG,CAAC,CAAA;QAC/C,IAAI,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC;YACvB,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,CAAA;YACjB,OAAO,GAAG,CAAC,WAAW,CAAC,aAAa,EAAE,0DAA0D,CAAC,CAAC,CAAA;QACpG,CAAC;QACD,OAAO,EAAE,CAAC,CAAC,CAAC,CAAA;IACd,CAAC;IAAC,OAAO,CAAC,EAAE,CAAC;QACX,MAAM,GAAG,GAAG,CAAC,YAAY,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAA;QACtD,IAAI,GAAG,CAAC,QAAQ,CAAC,UAAU,CAAC,IAAI,GAAG,CAAC,QAAQ,CAAC,YAAY,CAAC,IAAI,GAAG,CAAC,QAAQ,CAAC,YAAY,CAAC,EAAE,CAAC;YACzF,OAAO,GAAG,CAAC,WAAW,CAAC,iBAAiB,EAAE,0BAA0B,GAAG,EAAE,EAAE,CAAC,CAAC,CAAC,CAAA;QAChF,CAAC;QACD,OAAO,GAAG,CAAC,WAAW,CAAC,aAAa,EAAE,sBAAsB,GAAG,EAAE,EAAE,CAAC,CAAC,CAAC,CAAA;IACxE,CAAC;AACH,CAAC","sourcesContent":["/**\n * Self-hosted compat-op implementation — convexHull\n * (core-decouple Phase 3, §5.4).\n *\n * @platform occt\n *\n * Semantics mirror brepjs `operations/convexHullFns.ts` (HULL_EMPTY_INPUT /\n * HULL_NOT_3D / HULL_DEGENERATE guards) on the L1 `hullFromPoints` (core's own\n * hull closure, §5.1) with tolerance 0.1 (brepjs default).\n */\n\nimport type { BrepHandle } from '../../brep/engine/types'\nimport { getBrepApi } from '../../brep/handle-bridge'\nimport { ok, err, type Result } from '../../result/result'\nimport { kernelError, validationError } from '../../result/errors'\nimport type { FormClass } from '../internal/dual-form-args'\nimport { resolveArgs } from '../internal/dual-form-args'\nimport type { Vec3 } from '../geom-types/types'\n\nconst CONVEX_HULL_PARAMS = { name: 'convexHull', params: ['points'], formClass: 'A' as FormClass }\n\n/**\n * Compute the convex hull of a point set.\n *\n * @param args - Resolved arguments (point list).\n * @returns The hull solid as a `BrepHandle`.\n */\nexport function convexHullBrep(...args: unknown[]): Result<BrepHandle> {\n  const [pointsRaw] = resolveArgs(args, CONVEX_HULL_PARAMS)\n  const kernel = getBrepApi()\n  const points = (pointsRaw ?? []) as Vec3[]\n\n  if (points.length < 4) {\n    return err(\n      validationError(\n        'HULL_EMPTY_INPUT',\n        `convexHull: at least 4 points required, got ${points.length}`,\n      ),\n    )\n  }\n\n  try {\n    const objPoints = points.map((p) => ({ x: p[0], y: p[1], z: p[2] }))\n    const h = kernel.hullFromPoints(objPoints, 0.1)\n    if (!kernel.isSolid(h)) {\n      kernel.release(h)\n      return err(kernelError('HULL_NOT_3D', 'convexHull result is not a solid; points may be coplanar'))\n    }\n    return ok(h)\n  } catch (e) {\n    const raw = e instanceof Error ? e.message : String(e)\n    if (raw.includes('coplanar') || raw.includes('fewer than') || raw.includes('degenerate')) {\n      return err(kernelError('HULL_DEGENERATE', `convexHull degenerate: ${raw}`, e))\n    }\n    return err(kernelError('HULL_FAILED', `convexHull failed: ${raw}`, e))\n  }\n}\n"]}

package/dist/api/brep-operations/joinery-brep.d.ts

@@ -0,0 +1,172 @@
+/**
+ * BREP 榫卯结构操作 — 用 OCCT 精确实体复刻 mesh 路径的榫卯布尔序列
+ *
+ * See docs/api-contract.md §8 (dual-path geometry contract) and §10.5 (split).
+ *
+ * 与 mesh 路径（joinery-shapes.ts + csg-worker.ts）对照：
+ * - mesh 路径：buildWedgeGeometry/buildDowelGeometry/buildStraightTenonGeometry → Manifold CSG
+ * - BREP 路径：buildWedgeSolid/buildDowelSolid/buildTenonSolid → OCCT fuse/cut/common
+ *
+ * 坐标框架与 mesh 路径完全一致：
+ * - normal: 切割平面法线（单位向量，指向上方）
+ * - widthDir: 挤出方向（单位向量）
+ * - depthDir = normalize(cross(normal, widthDir))
+ * - planeCenter: 切割平面中心
+ *
+ * 所有函数都是纯函数，输入输出均为 OCCT BrepHandle，调用方负责句柄生命周期。
+ */
+import type { BrepHandle } from '../../brep/engine/types.js';
+import type { BrepEngineApi } from '../../brep/engine/primitives.js';
+import type { Vec3 } from '../../mesh/types.js';
+/** 榫卯操作的坐标框架（与 joinery-shapes.ts 一致） */
+export interface JoineryBasis {
+    /** 切割平面法线（单位向量） */
+    normal: Vec3;
+    /** 宽度/挤出方向（单位向量） */
+    widthDir: Vec3;
+    /** 深度方向 = normalize(cross(normal, widthDir)) */
+    depthDir: Vec3;
+    /** 切割平面中心 */
+    planeCenter: Vec3;
+    /** 平面原点偏移 = dot(normal, planeCenter) */
+    planeDistance: number;
+}
+/**
+ * 梯形棱柱（燕尾楔）— BREP 等价物。
+ *
+ * 复刻 joinery-shapes.ts buildWedgeGeometry 的 8 顶点拓扑：
+ * - 梯形截面在 normal-depthDir 平面
+ * - 底边（宽）在 planeCenter - normal*depth
+ * - 顶边（窄）在 planeCenter
+ * - 沿 widthDir 拉伸 extrudeLength，居中于 planeCenter
+ *
+ * 用 kernel.makeLineEdge + makeWire + makeFace + extrude 构造实体，
+ * 然后用 transform 对齐到世界坐标系。
+ * @param kernel - the BREP engine API.
+ * @param basis - the joinery coordinate frame (normal/widthDir/depthDir/planeCenter).
+ * @param depth - the wedge depth along the normal direction.
+ * @param width - the wedge bottom width.
+ * @param angleDeg - the dovetail flap angle in degrees.
+ * @param extrudeLength - the extrusion length along the width direction.
+ * @returns the constructed wedge solid handle.
+ */
+export declare function buildWedgeSolid(kernel: BrepEngineApi, basis: JoineryBasis, depth: number, width: number, angleDeg: number, extrudeLength: number): BrepHandle;
+/**
+ * 圆柱（定位销）— BREP 等价物。
+ *
+ * 复刻 joinery-shapes.ts buildDowelGeometry：
+ * - 圆截面在 widthDir-depthDir 平面，中心在 centroid
+ * - 从切割平面向下延伸 height（沿 -normal）
+ *
+ * 用 kernel.makeCylinder + transform 对齐方向。
+ * @param kernel - the BREP engine API.
+ * @param centroid - the centroid where the dowel is placed.
+ * @param basis - the joinery coordinate frame.
+ * @param diameter - the dowel diameter.
+ * @param height - the dowel height along the normal direction.
+ * @returns the constructed dowel solid handle.
+ */
+export declare function buildDowelSolid(kernel: BrepEngineApi, centroid: Vec3, basis: JoineryBasis, diameter: number, height: number): BrepHandle;
+/**
+ * 长方体（直榫）— BREP 等价物。
+ *
+ * 复刻 joinery-shapes.ts buildStraightTenonGeometry：
+ * - 方截面在 widthDir-depthDir 平面，中心在 centroid
+ * - 从切割平面向下延伸 height（沿 -normal）
+ *
+ * 用 kernel.makeBoxFromCorners + transform 对齐方向。
+ * @param kernel - the BREP engine API.
+ * @param centroid - the centroid where the tenon is placed.
+ * @param basis - the joinery coordinate frame.
+ * @param sideLength - the tenon square side length.
+ * @param height - the tenon height along the normal direction.
+ * @returns the constructed tenon solid handle.
+ */
+export declare function buildTenonSolid(kernel: BrepEngineApi, centroid: Vec3, basis: JoineryBasis, sideLength: number, height: number): BrepHandle;
+/** 截面分量信息 */
+export interface CrossSectionComponent {
+    /** 分量质心 */
+    centroid: Vec3;
+    /** 分量面积（近似，用于排序） */
+    area: number;
+}
+/**
+ * 检测上部实体在切割平面上的截面连通分量。
+ *
+ * BREP 等价物：将 upper solid 三角化后，用与 mesh 路径 detectCapComponents
+ * 完全相同的算法（找帽面三角形 → union-find）检测连通分量。
+ *
+ * 与 csg-worker.ts detectCapComponents + computeCrossSectionCentroid 一致。
+ * @param kernel - the BREP engine API.
+ * @param upper - the upper solid whose cross section is analyzed.
+ * @param basis - the joinery coordinate frame.
+ * @returns the detected cross-section components (centroid + area).
+ */
+export declare function detectCrossSectionComponents(kernel: BrepEngineApi, upper: BrepHandle, basis: JoineryBasis): CrossSectionComponent[];
+/** dovetail 布尔分割的结果 */
+export interface DovetailSplitBrepResult {
+    /** 上部 + 楔（法线正方向半部分加燕尾榫） */
+    front: BrepHandle;
+    /** 下部 - 凹腔（法线负方向半部分减燕尾槽） */
+    back: BrepHandle;
+}
+/** dowel/tenon 布尔分割的结果 */
+export interface DowelOrTenonSplitBrepResult {
+    /** 上部 + 销/榫（法线正方向半部分加圆柱/方柱） */
+    front: BrepHandle;
+    /** 下部 - 孔（法线负方向半部分减圆柱/方柱） */
+    back: BrepHandle;
+}
+/** groove 参数 */
+export interface GrooveParams {
+    depth: number;
+    depthTolerance: number;
+    width: number;
+    widthTolerance: number;
+    flapsAngle: number;
+}
+/**
+ * Dovetail（燕尾）布尔分割 — BREP 等价物。
+ *
+ * 1:1 复刻 csg-worker.ts dovetailBooleanSplit：
+ * 1. splitBrep → upper + lower
+ * 2. 计算 crossSectionWidth（bbox 投影近似）
+ * 3. buildWedgeSolid（overhang=20）→ common(wedge, lower) 裁剪贴合
+ * 4. fuse(upper, wedgeTrimmed) → upper'
+ * 5. buildWedgeSolid（公差）→ cut(lower, wedgeTol) → lower'
+ * @param kernel - the BREP engine API.
+ * @param original - the original solid to split.
+ * @param basis - the joinery coordinate frame.
+ * @param groove - the dovetail groove parameters.
+ * @returns the split result with front (upper + wedge) and back (lower - cavity) handles.
+ */
+export declare function dovetailBooleanSplitBrep(kernel: BrepEngineApi, original: BrepHandle, basis: JoineryBasis, groove: GrooveParams): DovetailSplitBrepResult;
+/** dowel/tenon 参数 */
+export interface DowelOrTenonParams {
+    /** 直径（dowel）或边长（tenon） */
+    size: number;
+    /** 尺寸公差 */
+    sizeTolerance: number;
+    /** 高度 */
+    height: number;
+    /** 高度公差 */
+    heightTolerance: number;
+}
+/**
+ * Dowel（定位销）/ Tenon（直榫）布尔分割 — BREP 等价物。
+ *
+ * 1:1 复刻 csg-worker.ts dowelOrTenonBooleanSplit：
+ * 1. splitBrep → upper + lower
+ * 2. detectCrossSectionComponents → 截面质心列表
+ * 3. 对每个质心：buildShapeSolid → fuse(upper, shape) → upper'
+ * 4. 对每个质心：buildShapeSolid（公差）→ cut(lower, shapeTol) → lower'
+ * @param kernel - the BREP engine API.
+ * @param original - the original solid to split.
+ * @param basis - the joinery coordinate frame.
+ * @param shape - whether to build a dowel or a tenon.
+ * @param params - the dowel/tenon size and tolerance parameters.
+ * @param selectedSections - optional indices of cross-section components to place shapes on.
+ * @returns the split result with front (upper + shape) and back (lower - hole) handles.
+ */
+export declare function dowelOrTenonBooleanSplitBrep(kernel: BrepEngineApi, original: BrepHandle, basis: JoineryBasis, shape: 'dowel' | 'tenon', params: DowelOrTenonParams, selectedSections?: number[] | null): DowelOrTenonSplitBrepResult;
+//# sourceMappingURL=joinery-brep.d.ts.map

package/dist/api/brep-operations/joinery-brep.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"joinery-brep.d.ts","sourceRoot":"","sources":["../../../src/api/brep-operations/joinery-brep.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;GAgBG;AAGH,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,yBAAyB,CAAA;AACzD,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,8BAA8B,CAAA;AACjE,OAAO,KAAK,EAAE,IAAI,EAAE,MAAM,kBAAkB,CAAA;AAQ5C,wCAAwC;AACxC,MAAM,WAAW,YAAY;IAC3B,mBAAmB;IACnB,MAAM,EAAE,IAAI,CAAA;IACZ,oBAAoB;IACpB,QAAQ,EAAE,IAAI,CAAA;IACd,gDAAgD;IAChD,QAAQ,EAAE,IAAI,CAAA;IACd,aAAa;IACb,WAAW,EAAE,IAAI,CAAA;IACjB,wCAAwC;IACxC,aAAa,EAAE,MAAM,CAAA;CACtB;AAsND;;;;;;;;;;;;;;;;;;GAkBG;AACH,wBAAgB,eAAe,CAC7B,MAAM,EAAE,aAAa,EACrB,KAAK,EAAE,YAAY,EACnB,KAAK,EAAE,MAAM,EACb,KAAK,EAAE,MAAM,EACb,QAAQ,EAAE,MAAM,EAChB,aAAa,EAAE,MAAM,GACpB,UAAU,CAwCZ;AAED;;;;;;;;;;;;;;GAcG;AACH,wBAAgB,eAAe,CAC7B,MAAM,EAAE,aAAa,EACrB,QAAQ,EAAE,IAAI,EACd,KAAK,EAAE,YAAY,EACnB,QAAQ,EAAE,MAAM,EAChB,MAAM,EAAE,MAAM,GACb,UAAU,CAsBZ;AAED;;;;;;;;;;;;;;GAcG;AACH,wBAAgB,eAAe,CAC7B,MAAM,EAAE,aAAa,EACrB,QAAQ,EAAE,IAAI,EACd,KAAK,EAAE,YAAY,EACnB,UAAU,EAAE,MAAM,EAClB,MAAM,EAAE,MAAM,GACb,UAAU,CAgBZ;AAID,aAAa;AACb,MAAM,WAAW,qBAAqB;IACpC,WAAW;IACX,QAAQ,EAAE,IAAI,CAAA;IACd,oBAAoB;IACpB,IAAI,EAAE,MAAM,CAAA;CACb;AAED;;;;;;;;;;;GAWG;AACH,wBAAgB,4BAA4B,CAC1C,MAAM,EAAE,aAAa,EACrB,KAAK,EAAE,UAAU,EACjB,KAAK,EAAE,YAAY,GAClB,qBAAqB,EAAE,CAgBzB;AAID,uBAAuB;AACvB,MAAM,WAAW,uBAAuB;IACtC,2BAA2B;IAC3B,KAAK,EAAE,UAAU,CAAA;IACjB,4BAA4B;IAC5B,IAAI,EAAE,UAAU,CAAA;CACjB;AAED,0BAA0B;AAC1B,MAAM,WAAW,2BAA2B;IAC1C,+BAA+B;IAC/B,KAAK,EAAE,UAAU,CAAA;IACjB,6BAA6B;IAC7B,IAAI,EAAE,UAAU,CAAA;CACjB;AAED,gBAAgB;AAChB,MAAM,WAAW,YAAY;IAC3B,KAAK,EAAE,MAAM,CAAA;IACb,cAAc,EAAE,MAAM,CAAA;IACtB,KAAK,EAAE,MAAM,CAAA;IACb,cAAc,EAAE,MAAM,CAAA;IACtB,UAAU,EAAE,MAAM,CAAA;CACnB;AAED;;;;;;;;;;;;;;GAcG;AACH,wBAAgB,wBAAwB,CACtC,MAAM,EAAE,aAAa,EACrB,QAAQ,EAAE,UAAU,EACpB,KAAK,EAAE,YAAY,EACnB,MAAM,EAAE,YAAY,GACnB,uBAAuB,CAoDzB;AAED,qBAAqB;AACrB,MAAM,WAAW,kBAAkB;IACjC,0BAA0B;IAC1B,IAAI,EAAE,MAAM,CAAA;IACZ,WAAW;IACX,aAAa,EAAE,MAAM,CAAA;IACrB,SAAS;IACT,MAAM,EAAE,MAAM,CAAA;IACd,WAAW;IACX,eAAe,EAAE,MAAM,CAAA;CACxB;AAED;;;;;;;;;;;;;;;GAeG;AACH,wBAAgB,4BAA4B,CAC1C,MAAM,EAAE,aAAa,EACrB,QAAQ,EAAE,UAAU,EACpB,KAAK,EAAE,YAAY,EACnB,KAAK,EAAE,OAAO,GAAG,OAAO,EACxB,MAAM,EAAE,kBAAkB,EAC1B,gBAAgB,CAAC,EAAE,MAAM,EAAE,GAAG,IAAI,GACjC,2BAA2B,CAsE7B"}