@faicad/faijs 0.16.1 → 0.17.0

package/dist/api/brep-mirror/topologyFns.js

@@ -0,0 +1,273 @@
+/**
+ * Self-hosted compat-op implementations — topology transform family
+ * (core-decouple Phase 3, §5.4).
+ *
+ * @platform occt
+ *
+ * Each export is a "brep-shaped" implementation consumed by the generated
+ * compat-op projection (defineOp + D11 arg normalization). Inputs are the
+ * normalized positional arguments of the op's params table; shapes arrive as
+ * faijs Shapes (or raw handles) and results are returned as BREP handles
+ * (wrapped by `wrapBrepOne` → `fromHandle`).
+ *
+ * Semantics mirror the vendored brepjs fns (`topology/transformFns.ts`,
+ * `topology/shapeFns.ts`) with the brepjs object model (castResultShape,
+ * metadata propagation, evolution tracking) dropped: occt-wasm handles only.
+ */
+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';
+import { brepHandleOf, composeAffine, IDENTITY_3X4, rotationMatrix, translationMatrix } from './brepHelpers.js';
+import { getOcctKernel } from '../../occt-kernel/occtKernel.js';
+const VALIDATION_FAILED = 'VALIDATION_FAILED';
+function parseMatrixInput(input) {
+    if ('linear' in input) {
+        return ok({ linear: input.linear, translation: input.translation });
+    }
+    const [r0, r1, r2, r3] = input;
+    const TOL = 1e-10;
+    if (Math.abs(r3[0]) > TOL || Math.abs(r3[1]) > TOL || Math.abs(r3[2]) > TOL || Math.abs(r3[3] - 1) > TOL) {
+        return err(validationError(VALIDATION_FAILED, `applyMatrix: invalid bottom row [${String(r3[0])}, ${String(r3[1])}, ${String(r3[2])}, ${String(r3[3])}]. Must be [0, 0, 0, 1] for an affine transform.`));
+    }
+    return ok({
+        linear: [r0[0], r0[1], r0[2], r1[0], r1[1], r1[2], r2[0], r2[1], r2[2]],
+        translation: [r0[3], r1[3], r2[3]],
+    });
+}
+function det3x3(m) {
+    return (m[0] * (m[4] * m[8] - m[5] * m[7]) -
+        m[1] * (m[3] * m[8] - m[5] * m[6]) +
+        m[2] * (m[3] * m[7] - m[4] * m[6]));
+}
+// ---------------------------------------------------------------------------
+// applyMatrix
+// ---------------------------------------------------------------------------
+const APPLY_MATRIX_PARAMS = { name: 'applyMatrix', params: ['shape', 'matrix'], formClass: 'A' };
+/**
+ * Apply a 4×4 affine matrix (OpenSCAD `multmatrix` equivalent).
+ *
+ * The vendored fn splits orthogonal (evolution-tracked) and non-orthogonal
+ * (`gp_GTrsf`) paths; the core path uses the single L1 `generalTransform`
+ * (occt-wasm `gp_GTrsf`, geometrically equivalent for both classes) since
+ * `applyMatrix` carries identity naming and needs no face evolution.
+ *
+ * @param args - Resolved arguments (shape, matrix).
+ * @returns The transformed shape as a `BrepHandle`.
+ */
+export function applyMatrixBrep(...args) {
+    const [shape, matrix] = resolveArgs(args, APPLY_MATRIX_PARAMS);
+    const parsed = parseMatrixInput(matrix);
+    if (!parsed.ok)
+        return parsed;
+    const { linear, translation } = parsed.value;
+    if (Math.abs(det3x3(linear)) < 1e-12) {
+        return err(validationError(VALIDATION_FAILED, 'applyMatrix: singular matrix (determinant ≈0). Cannot apply a non-invertible transform.'));
+    }
+    const kernel = getBrepApi();
+    try {
+        const m12 = [
+            linear[0], linear[1], linear[2], translation[0],
+            linear[3], linear[4], linear[5], translation[1],
+            linear[6], linear[7], linear[8], translation[2],
+        ];
+        // GOTCHA (2026-09-25): occt-wasm's `located`/`generalTransform` return
+        // TopLoc/GTrsf-referencing handles whose STEP export crashes
+        // ("memory access out of bounds") — only the affine `transform`
+        // (BRepBuilderAPI_Transform, deep-copy) is STEP-safe. A similar
+        // transform (orthogonal rows, equal lengths) is affine and goes
+        // through `transform`; genuinely non-affine matrices keep the
+        // generalTransform path (no current caller, pre-existing behavior).
+        const lin = linear;
+        const s0 = Math.hypot(lin[0], lin[1], lin[2]);
+        const s1 = Math.hypot(lin[3], lin[4], lin[5]);
+        const s2 = Math.hypot(lin[6], lin[7], lin[8]);
+        const dot01 = Math.abs(lin[0] * lin[3] + lin[1] * lin[4] + lin[2] * lin[5]);
+        const dot02 = Math.abs(lin[0] * lin[6] + lin[1] * lin[7] + lin[2] * lin[8]);
+        const dot12 = Math.abs(lin[3] * lin[6] + lin[4] * lin[7] + lin[5] * lin[8]);
+        const TOL = 1e-9;
+        const similar = s0 > TOL && Math.abs(s1 - s0) < TOL && Math.abs(s2 - s0) < TOL &&
+            dot01 < TOL && dot02 < TOL && dot12 < TOL;
+        return ok(similar ? kernel.transform(brepHandleOf(shape), m12) : kernel.generalTransform(brepHandleOf(shape), m12));
+    }
+    catch (e) {
+        return err(kernelError('APPLY_MATRIX_FAILED', `applyMatrix: kernel transform failed: ${e instanceof Error ? e.message : String(e)}`, e));
+    }
+}
+// ---------------------------------------------------------------------------
+// clone
+// ---------------------------------------------------------------------------
+const CLONE_PARAMS = { name: 'clone', params: ['shape'], formClass: 'A' };
+/**
+ * Deep-copy a shape (`kernel.copyShape`).
+ *
+ * @param args - Resolved arguments (shape).
+ * @returns The cloned shape as a `BrepHandle`.
+ */
+export function cloneBrep(...args) {
+    const [shape] = resolveArgs(args, CLONE_PARAMS);
+    const kernel = getBrepApi();
+    try {
+        return ok(kernel.copyShape(brepHandleOf(shape)));
+    }
+    catch (e) {
+        return err(kernelError('CLONE_FAILED', `clone: kernel copy failed: ${e instanceof Error ? e.message : String(e)}`, e));
+    }
+}
+// ---------------------------------------------------------------------------
+// locate
+// ---------------------------------------------------------------------------
+const LOCATE_PARAMS = { name: 'locate', params: ['shape', 'placement'], formClass: 'A' };
+function opToMatrix(op) {
+    if (op.type === 'translate')
+        return translationMatrix(op.v);
+    const axis = op.axis ?? [0, 0, 1];
+    const center = op.center ?? [0, 0, 0];
+    return rotationMatrix(axis, center, op.angle);
+}
+/**
+ * Placement-only rigid move (translate/rotate) via the kernel's cheap location
+ * re-tag. Ops apply first-to-last (rotate then translate).
+ *
+ * @param args - Resolved arguments (shape, placement).
+ * @returns The relocated shape as a `BrepHandle`.
+ */
+export function locateBrep(...args) {
+    const [shape, placement] = resolveArgs(args, LOCATE_PARAMS);
+    const ops = placement !== null && typeof placement === 'object' && 'type' in placement
+        ? [placement]
+        : placement;
+    const kernel = getBrepApi();
+    try {
+        let acc = [...IDENTITY_3X4];
+        for (const op of ops)
+            acc = composeAffine(acc, opToMatrix(op));
+        return ok(kernel.locate(brepHandleOf(shape), acc));
+    }
+    catch (e) {
+        return err(kernelError('LOCATE_FAILED', `locate: kernel locate failed: ${e instanceof Error ? e.message : String(e)}`, e));
+    }
+}
+// ---------------------------------------------------------------------------
+// mirror
+// ---------------------------------------------------------------------------
+const MIRROR_PARAMS = { name: 'mirror', params: ['shape', 'options'], formClass: 'A' };
+/**
+ * Mirror across a plane defined by `options.at` (origin) and `options.normal`.
+ *
+ * @param args - Resolved arguments (shape, mirror options).
+ * @returns The mirrored shape as a `BrepHandle`.
+ */
+export function mirrorBrep(...args) {
+    const [shape, options] = resolveArgs(args, MIRROR_PARAMS);
+    const opts = (options ?? {});
+    const normal = opts.normal ?? [1, 0, 0];
+    const at = opts.at ?? [0, 0, 0];
+    const kernel = getBrepApi();
+    try {
+        return ok(kernel.mirror(brepHandleOf(shape), { x: at[0], y: at[1], z: at[2] }, { x: normal[0], y: normal[1], z: normal[2] }));
+    }
+    catch (e) {
+        return err(kernelError('MIRROR_FAILED', `mirror: kernel mirror failed: ${e instanceof Error ? e.message : String(e)}`, e));
+    }
+}
+// ---------------------------------------------------------------------------
+// rotate — 绕轴旋转（vendored topology/api.js#rotate + transformFns.ts#rotate）// ---------------------------------------------------------------------------
+const ROTATE_PARAMS = { name: 'rotate', params: ['shape', 'angle', 'options'], formClass: 'A' };
+/**
+ * Rotate the shape around an axis (vendored topology/api.js#rotate + transformFns.ts#rotate).
+ *
+ * @param args - Resolved arguments (shape, angle in degrees, axis options).
+ * @returns The rotated shape as a `BrepHandle`.
+ */
+export function rotateBrep(...args) {
+    const [shape, angle, options] = resolveArgs(args, ROTATE_PARAMS);
+    const s = brepHandleOf(shape);
+    const { at = [0, 0, 0], axis = [0, 0, 1] } = (options ?? {});
+    try {
+        // GOTCHA (2026-09-25): occt-wasm's native `rotate` returns a handle whose
+        // STEP export crashes ("memory access out of bounds") — same family as
+        // located/generalTransform. Rotation is affine, so build the Rodrigues
+        // matrix and go through the STEP-safe `transform` (BRepBuilderAPI_Transform).
+        const [ax, ay, az] = axis;
+        const alen = Math.hypot(ax, ay, az);
+        if (alen < 1e-12) {
+            return err(validationError('INVALID_AXIS', `rotate: axis must be non-zero, got [${ax}, ${ay}, ${az}]`));
+        }
+        const nx = ax / alen, ny = ay / alen, nz = az / alen;
+        const theta = (Number(angle) * Math.PI) / 180;
+        const c = Math.cos(theta), sTheta = Math.sin(theta), t = 1 - c;
+        // R = cI + sK + t·(n⊗n) (Rodrigues)
+        const r00 = t * nx * nx + c, r01 = t * nx * ny - nz * sTheta, r02 = t * nx * nz + ny * sTheta;
+        const r10 = t * nx * ny + nz * sTheta, r11 = t * ny * ny + c, r12 = t * ny * nz - nx * sTheta;
+        const r20 = t * nx * nz - ny * sTheta, r21 = t * ny * nz + nx * sTheta, r22 = t * nz * nz + c;
+        const [px, py, pz] = at;
+        // Pivot-preserving translation: p' = R·(p − at) + at  ⇒  tx = at − R·at
+        const tx = px - (r00 * px + r01 * py + r02 * pz);
+        const ty = py - (r10 * px + r11 * py + r12 * pz);
+        const tz = pz - (r20 * px + r21 * py + r22 * pz);
+        const m12 = [r00, r01, r02, tx, r10, r11, r12, ty, r20, r21, r22, tz];
+        return ok(getOcctKernel().transform(s, m12));
+    }
+    catch (e) {
+        const raw = e instanceof Error ? e.message : String(e);
+        return err(kernelError('ROTATE_FAILED', `Rotate operation failed: ${raw}`, e));
+    }
+}
+// ---------------------------------------------------------------------------
+// shell — 去面掏空（vendored topology/api.js#shell + modifierFns.ts#shell）// ---------------------------------------------------------------------------
+const SHELL_PARAMS = { name: 'shell', params: ['shape', 'faces', 'thickness', 'options'], formClass: 'A' };
+/**
+ * Shell — hollow the shape by removing faces (vendored topology/api.js#shell + modifierFns.ts#shell).
+ *
+ * @param args - Resolved arguments (shape, faces, thickness, options).
+ * @returns The shelled (hollowed) shape as a `BrepHandle`.
+ */
+export function shellBrep(...args) {
+    const [shape, faces, thickness, options] = resolveArgs(args, SHELL_PARAMS);
+    const kernel = getBrepApi();
+    const s = brepHandleOf(shape);
+    const t = Number(thickness);
+    if (t <= 0) {
+        return err(validationError('INVALID_THICKNESS', 'Shell thickness must be positive'));
+    }
+    if (!Array.isArray(faces) || faces.length === 0) {
+        return err(validationError('NO_FACES', 'At least one face must be specified for shell'));
+    }
+    const faceHandles = faces.map((f) => brepHandleOf(f));
+    const tolerance = (options ?? {}).tolerance ?? 1e-3;
+    try {
+        return ok(kernel.shell(s, faceHandles, t, tolerance));
+    }
+    catch (e) {
+        const raw = e instanceof Error ? e.message : String(e);
+        return err(kernelError('SHELL_FAILED', `Shell operation failed: ${raw}`, e));
+    }
+}
+// ---------------------------------------------------------------------------
+// offset — 全表面偏移（vendored topology/api.js#offset + modifierFns.ts#offset）// ---------------------------------------------------------------------------
+const OFFSET_PARAMS = { name: 'offset', params: ['shape', 'distance', 'options'], formClass: 'A' };
+/**
+ * Offset all faces of the shape (vendored topology/api.js#offset + modifierFns.ts#offset).
+ *
+ * @param args - Resolved arguments (shape, distance, options).
+ * @returns The offset shape as a `BrepHandle`.
+ */
+export function offsetBrep(...args) {
+    const [shape, distance, options] = resolveArgs(args, OFFSET_PARAMS);
+    const s = brepHandleOf(shape);
+    const d = Number(distance);
+    if (Math.abs(d) < 1e-10) {
+        return err(validationError('ZERO_OFFSET', 'Offset distance cannot be zero'));
+    }
+    const tolerance = (options ?? {}).tolerance ?? 1e-6;
+    try {
+        const h = getOcctKernel().offset(s, d, tolerance);
+        return ok(h);
+    }
+    catch (e) {
+        const raw = e instanceof Error ? e.message : String(e);
+        return err(kernelError('OFFSET_FAILED', `Offset operation failed: ${raw}`, e));
+    }
+}
+//# sourceMappingURL=topologyFns.js.map

package/dist/api/brep-mirror/topologyFns.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"topologyFns.js","sourceRoot":"","sources":["../../../src/api/brep-mirror/topologyFns.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;GAeG;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;AAExD,OAAO,EAAE,YAAY,EAAE,aAAa,EAAE,YAAY,EAAE,cAAc,EAAE,iBAAiB,EAAE,MAAM,eAAe,CAAA;AAC5G,OAAO,EAAE,aAAa,EAAE,MAAM,8BAA8B,CAAA;AAE5D,MAAM,iBAAiB,GAAG,mBAAmB,CAAA;AAQ7C,SAAS,gBAAgB,CACvB,KAAkB;IAElB,IAAI,QAAQ,IAAI,KAAK,EAAE,CAAC;QACtB,OAAO,EAAE,CAAC,EAAE,MAAM,EAAE,KAAK,CAAC,MAAM,EAAE,WAAW,EAAE,KAAK,CAAC,WAAW,EAAE,CAAC,CAAA;IACrE,CAAC;IACD,MAAM,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,GAAG,KAAK,CAAA;IAC9B,MAAM,GAAG,GAAG,KAAK,CAAA;IACjB,IAAI,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,GAAG,GAAG,IAAI,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,GAAG,GAAG,IAAI,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,GAAG,GAAG,IAAI,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,GAAG,EAAE,CAAC;QACzG,OAAO,GAAG,CACR,eAAe,CACb,iBAAiB,EACjB,oCAAoC,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,KAAK,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,KAAK,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,KAAK,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,kDAAkD,CAC1J,CACF,CAAA;IACH,CAAC;IACD,OAAO,EAAE,CAAC;QACR,MAAM,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC;QACvE,WAAW,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC;KACnC,CAAC,CAAA;AACJ,CAAC;AAED,SAAS,MAAM,CAAC,CAAY;IAC1B,OAAO,CACL,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;QAClC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;QAClC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CACnC,CAAA;AACH,CAAC;AAED,8EAA8E;AAC9E,cAAc;AACd,8EAA8E;AAE9E,MAAM,mBAAmB,GAAG,EAAE,IAAI,EAAE,aAAa,EAAE,MAAM,EAAE,CAAC,OAAO,EAAE,QAAQ,CAAC,EAAE,SAAS,EAAE,GAAgB,EAAE,CAAA;AAE7G;;;;;;;;;;GAUG;AACH,MAAM,UAAU,eAAe,CAAC,GAAG,IAAe;IAChD,MAAM,CAAC,KAAK,EAAE,MAAM,CAAC,GAAG,WAAW,CAAC,IAAI,EAAE,mBAAmB,CAAC,CAAA;IAC9D,MAAM,MAAM,GAAG,gBAAgB,CAAC,MAAqB,CAAC,CAAA;IACtD,IAAI,CAAC,MAAM,CAAC,EAAE;QAAE,OAAO,MAAM,CAAA;IAC7B,MAAM,EAAE,MAAM,EAAE,WAAW,EAAE,GAAG,MAAM,CAAC,KAAK,CAAA;IAC5C,IAAI,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,GAAG,KAAK,EAAE,CAAC;QACrC,OAAO,GAAG,CACR,eAAe,CACb,iBAAiB,EACjB,yFAAyF,CAC1F,CACF,CAAA;IACH,CAAC;IACD,MAAM,MAAM,GAAG,UAAU,EAAE,CAAA;IAC3B,IAAI,CAAC;QACH,MAAM,GAAG,GAAG;YACV,MAAM,CAAC,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC,EAAE,WAAW,CAAC,CAAC,CAAC;YAC/C,MAAM,CAAC,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC,EAAE,WAAW,CAAC,CAAC,CAAC;YAC/C,MAAM,CAAC,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC,EAAE,WAAW,CAAC,CAAC,CAAC;SAChD,CAAA;QACD,uEAAuE;QACvE,6DAA6D;QAC7D,gEAAgE;QAChE,gEAAgE;QAChE,gEAAgE;QAChE,8DAA8D;QAC9D,oEAAoE;QACpE,MAAM,GAAG,GAAG,MAA2F,CAAA;QACvG,MAAM,EAAE,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAA;QAC7C,MAAM,EAAE,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAA;QAC7C,MAAM,EAAE,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAA;QAC7C,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,GAAG,CAAC,CAAC,CAAC,GAAG,GAAG,CAAC,CAAC,CAAC,GAAG,GAAG,CAAC,CAAC,CAAC,GAAG,GAAG,CAAC,CAAC,CAAC,GAAG,GAAG,CAAC,CAAC,CAAC,CAAC,CAAA;QAC3E,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,GAAG,CAAC,CAAC,CAAC,GAAG,GAAG,CAAC,CAAC,CAAC,GAAG,GAAG,CAAC,CAAC,CAAC,GAAG,GAAG,CAAC,CAAC,CAAC,GAAG,GAAG,CAAC,CAAC,CAAC,CAAC,CAAA;QAC3E,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,GAAG,CAAC,CAAC,CAAC,GAAG,GAAG,CAAC,CAAC,CAAC,GAAG,GAAG,CAAC,CAAC,CAAC,GAAG,GAAG,CAAC,CAAC,CAAC,GAAG,GAAG,CAAC,CAAC,CAAC,CAAC,CAAA;QAC3E,MAAM,GAAG,GAAG,IAAI,CAAA;QAChB,MAAM,OAAO,GACX,EAAE,GAAG,GAAG,IAAI,IAAI,CAAC,GAAG,CAAC,EAAE,GAAG,EAAE,CAAC,GAAG,GAAG,IAAI,IAAI,CAAC,GAAG,CAAC,EAAE,GAAG,EAAE,CAAC,GAAG,GAAG;YAC9D,KAAK,GAAG,GAAG,IAAI,KAAK,GAAG,GAAG,IAAI,KAAK,GAAG,GAAG,CAAA;QAC3C,OAAO,EAAE,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,SAAS,CAAC,YAAY,CAAC,KAAK,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,gBAAgB,CAAC,YAAY,CAAC,KAAK,CAAC,EAAE,GAAG,CAAC,CAAC,CAAA;IACrH,CAAC;IAAC,OAAO,CAAC,EAAE,CAAC;QACX,OAAO,GAAG,CACR,WAAW,CACT,qBAAqB,EACrB,yCAAyC,CAAC,YAAY,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EACrF,CAAC,CACF,CACF,CAAA;IACH,CAAC;AACH,CAAC;AAED,8EAA8E;AAC9E,QAAQ;AACR,8EAA8E;AAE9E,MAAM,YAAY,GAAG,EAAE,IAAI,EAAE,OAAO,EAAE,MAAM,EAAE,CAAC,OAAO,CAAC,EAAE,SAAS,EAAE,GAAgB,EAAE,CAAA;AAEtF;;;;;GAKG;AACH,MAAM,UAAU,SAAS,CAAC,GAAG,IAAe;IAC1C,MAAM,CAAC,KAAK,CAAC,GAAG,WAAW,CAAC,IAAI,EAAE,YAAY,CAAC,CAAA;IAC/C,MAAM,MAAM,GAAG,UAAU,EAAE,CAAA;IAC3B,IAAI,CAAC;QACH,OAAO,EAAE,CAAC,MAAM,CAAC,SAAS,CAAC,YAAY,CAAC,KAAK,CAAC,CAAC,CAAC,CAAA;IAClD,CAAC;IAAC,OAAO,CAAC,EAAE,CAAC;QACX,OAAO,GAAG,CACR,WAAW,CACT,cAAc,EACd,8BAA8B,CAAC,YAAY,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAC1E,CAAC,CACF,CACF,CAAA;IACH,CAAC;AACH,CAAC;AAED,8EAA8E;AAC9E,SAAS;AACT,8EAA8E;AAE9E,MAAM,aAAa,GAAG,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,EAAE,CAAC,OAAO,EAAE,WAAW,CAAC,EAAE,SAAS,EAAE,GAAgB,EAAE,CAAA;AAMrG,SAAS,UAAU,CAAC,EAAe;IACjC,IAAI,EAAE,CAAC,IAAI,KAAK,WAAW;QAAE,OAAO,iBAAiB,CAAC,EAAE,CAAC,CAAC,CAAC,CAAA;IAC3D,MAAM,IAAI,GAAG,EAAE,CAAC,IAAI,IAAI,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAA;IACjC,MAAM,MAAM,GAAG,EAAE,CAAC,MAAM,IAAI,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAA;IACrC,OAAO,cAAc,CAAC,IAAY,EAAE,MAAc,EAAE,EAAE,CAAC,KAAK,CAAC,CAAA;AAC/D,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,UAAU,CAAC,GAAG,IAAe;IAC3C,MAAM,CAAC,KAAK,EAAE,SAAS,CAAC,GAAG,WAAW,CAAC,IAAI,EAAE,aAAa,CAAC,CAAA;IAC3D,MAAM,GAAG,GACP,SAAS,KAAK,IAAI,IAAI,OAAO,SAAS,KAAK,QAAQ,IAAI,MAAM,IAAK,SAAoB;QACpF,CAAC,CAAC,CAAC,SAAwB,CAAC;QAC5B,CAAC,CAAE,SAAoC,CAAA;IAC3C,MAAM,MAAM,GAAG,UAAU,EAAE,CAAA;IAC3B,IAAI,CAAC;QACH,IAAI,GAAG,GAAa,CAAC,GAAG,YAAY,CAAC,CAAA;QACrC,KAAK,MAAM,EAAE,IAAI,GAAG;YAAE,GAAG,GAAG,aAAa,CAAC,GAAG,EAAE,UAAU,CAAC,EAAE,CAAC,CAAC,CAAA;QAC9D,OAAO,EAAE,CAAC,MAAM,CAAC,MAAM,CAAC,YAAY,CAAC,KAAK,CAAC,EAAE,GAAG,CAAC,CAAC,CAAA;IACpD,CAAC;IAAC,OAAO,CAAC,EAAE,CAAC;QACX,OAAO,GAAG,CACR,WAAW,CACT,eAAe,EACf,iCAAiC,CAAC,YAAY,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAC7E,CAAC,CACF,CACF,CAAA;IACH,CAAC;AACH,CAAC;AAED,8EAA8E;AAC9E,SAAS;AACT,8EAA8E;AAE9E,MAAM,aAAa,GAAG,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,EAAE,CAAC,OAAO,EAAE,SAAS,CAAC,EAAE,SAAS,EAAE,GAAgB,EAAE,CAAA;AAEnG;;;;;GAKG;AACH,MAAM,UAAU,UAAU,CAAC,GAAG,IAAe;IAC3C,MAAM,CAAC,KAAK,EAAE,OAAO,CAAC,GAAG,WAAW,CAAC,IAAI,EAAE,aAAa,CAAC,CAAA;IACzD,MAAM,IAAI,GAAG,CAAC,OAAO,IAAI,EAAE,CAAiC,CAAA;IAC5D,MAAM,MAAM,GAAG,IAAI,CAAC,MAAM,IAAI,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAA;IACvC,MAAM,EAAE,GAAG,IAAI,CAAC,EAAE,IAAI,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAA;IAC/B,MAAM,MAAM,GAAG,UAAU,EAAE,CAAA;IAC3B,IAAI,CAAC;QACH,OAAO,EAAE,CAAC,MAAM,CAAC,MAAM,CAAC,YAAY,CAAC,KAAK,CAAC,EAAE,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAA;IAC/H,CAAC;IAAC,OAAO,CAAC,EAAE,CAAC;QACX,OAAO,GAAG,CACR,WAAW,CACT,eAAe,EACf,iCAAiC,CAAC,YAAY,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAC7E,CAAC,CACF,CACF,CAAA;IACH,CAAC;AACH,CAAC;AAGD,8EAA8E;AAC9E,wJAAwJ;AAExJ,MAAM,aAAa,GAAG,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,EAAE,CAAC,OAAO,EAAE,OAAO,EAAE,SAAS,CAAC,EAAE,SAAS,EAAE,GAAgB,EAAE,CAAA;AAE5G;;;;;GAKG;AACH,MAAM,UAAU,UAAU,CAAC,GAAG,IAAe;IAC3C,MAAM,CAAC,KAAK,EAAE,KAAK,EAAE,OAAO,CAAC,GAAG,WAAW,CAAC,IAAI,EAAE,aAAa,CAAC,CAAA;IAChE,MAAM,CAAC,GAAG,YAAY,CAAC,KAAK,CAAC,CAAA;IAC7B,MAAM,EAAE,EAAE,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,IAAI,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,GAAG,CAAC,OAAO,IAAI,EAAE,CAA+B,CAAA;IAC1F,IAAI,CAAC;QACH,0EAA0E;QAC1E,uEAAuE;QACvE,uEAAuE;QACvE,8EAA8E;QAC9E,MAAM,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,GAAG,IAAyC,CAAA;QAC9D,MAAM,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,CAAA;QACnC,IAAI,IAAI,GAAG,KAAK,EAAE,CAAC;YACjB,OAAO,GAAG,CAAC,eAAe,CAAC,cAAc,EAAE,uCAAuC,EAAE,KAAK,EAAE,KAAK,EAAE,GAAG,CAAC,CAAC,CAAA;QACzG,CAAC;QACD,MAAM,EAAE,GAAG,EAAE,GAAG,IAAI,EAAE,EAAE,GAAG,EAAE,GAAG,IAAI,EAAE,EAAE,GAAG,EAAE,GAAG,IAAI,CAAA;QACpD,MAAM,KAAK,GAAG,CAAC,MAAM,CAAC,KAAK,CAAC,GAAG,IAAI,CAAC,EAAE,CAAC,GAAG,GAAG,CAAA;QAC7C,MAAM,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,GAAG,CAAC,GAAG,CAAC,CAAA;QAC9D,oCAAoC;QACpC,MAAM,GAAG,GAAG,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,EAAM,GAAG,GAAG,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,MAAM,EAAE,GAAG,GAAG,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,MAAM,CAAA;QACjG,MAAM,GAAG,GAAG,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,MAAM,EAAE,GAAG,GAAG,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,EAAM,GAAG,GAAG,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,MAAM,CAAA;QACjG,MAAM,GAAG,GAAG,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,MAAM,EAAE,GAAG,GAAG,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,MAAM,EAAE,GAAG,GAAG,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,CAAA;QAC7F,MAAM,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,GAAG,EAAuC,CAAA;QAC5D,wEAAwE;QACxE,MAAM,EAAE,GAAG,EAAE,GAAG,CAAC,GAAG,GAAG,EAAE,GAAG,GAAG,GAAG,EAAE,GAAG,GAAG,GAAG,EAAE,CAAC,CAAA;QAChD,MAAM,EAAE,GAAG,EAAE,GAAG,CAAC,GAAG,GAAG,EAAE,GAAG,GAAG,GAAG,EAAE,GAAG,GAAG,GAAG,EAAE,CAAC,CAAA;QAChD,MAAM,EAAE,GAAG,EAAE,GAAG,CAAC,GAAG,GAAG,EAAE,GAAG,GAAG,GAAG,EAAE,GAAG,GAAG,GAAG,EAAE,CAAC,CAAA;QAChD,MAAM,GAAG,GAAG,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,EAAE,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,EAAE,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,EAAE,CAAC,CAAA;QACrE,OAAO,EAAE,CAAC,aAAa,EAAE,CAAC,SAAS,CAAC,CAAU,EAAE,GAAG,CAA0B,CAAC,CAAA;IAChF,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,OAAO,GAAG,CAAC,WAAW,CAAC,eAAe,EAAE,4BAA4B,GAAG,EAAE,EAAE,CAAC,CAAC,CAAC,CAAA;IAChF,CAAC;AACH,CAAC;AAED,8EAA8E;AAC9E,oJAAoJ;AAEpJ,MAAM,YAAY,GAAG,EAAE,IAAI,EAAE,OAAO,EAAE,MAAM,EAAE,CAAC,OAAO,EAAE,OAAO,EAAE,WAAW,EAAE,SAAS,CAAC,EAAE,SAAS,EAAE,GAAgB,EAAE,CAAA;AAEvH;;;;;GAKG;AACH,MAAM,UAAU,SAAS,CAAC,GAAG,IAAe;IAC1C,MAAM,CAAC,KAAK,EAAE,KAAK,EAAE,SAAS,EAAE,OAAO,CAAC,GAAG,WAAW,CAAC,IAAI,EAAE,YAAY,CAAC,CAAA;IAC1E,MAAM,MAAM,GAAG,UAAU,EAAE,CAAA;IAC3B,MAAM,CAAC,GAAG,YAAY,CAAC,KAAK,CAAC,CAAA;IAC7B,MAAM,CAAC,GAAG,MAAM,CAAC,SAAS,CAAC,CAAA;IAC3B,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;QACX,OAAO,GAAG,CAAC,eAAe,CAAC,mBAAmB,EAAE,kCAAkC,CAAC,CAAC,CAAA;IACtF,CAAC;IACD,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAChD,OAAO,GAAG,CAAC,eAAe,CAAC,UAAU,EAAE,+CAA+C,CAAC,CAAC,CAAA;IAC1F,CAAC;IACD,MAAM,WAAW,GAAI,KAAmB,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,CAAA;IACpE,MAAM,SAAS,GAAI,CAAC,OAAO,IAAI,EAAE,CAA4B,CAAC,SAAS,IAAI,IAAI,CAAA;IAC/E,IAAI,CAAC;QACH,OAAO,EAAE,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,EAAE,WAAW,EAAE,CAAC,EAAE,SAAS,CAAC,CAAC,CAAA;IACvD,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,OAAO,GAAG,CAAC,WAAW,CAAC,cAAc,EAAE,2BAA2B,GAAG,EAAE,EAAE,CAAC,CAAC,CAAC,CAAA;IAC9E,CAAC;AACH,CAAC;AAED,8EAA8E;AAC9E,wJAAwJ;AAExJ,MAAM,aAAa,GAAG,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,EAAE,CAAC,OAAO,EAAE,UAAU,EAAE,SAAS,CAAC,EAAE,SAAS,EAAE,GAAgB,EAAE,CAAA;AAE/G;;;;;GAKG;AACH,MAAM,UAAU,UAAU,CAAC,GAAG,IAAe;IAC3C,MAAM,CAAC,KAAK,EAAE,QAAQ,EAAE,OAAO,CAAC,GAAG,WAAW,CAAC,IAAI,EAAE,aAAa,CAAC,CAAA;IACnE,MAAM,CAAC,GAAG,YAAY,CAAC,KAAK,CAAC,CAAA;IAC7B,MAAM,CAAC,GAAG,MAAM,CAAC,QAAQ,CAAC,CAAA;IAC1B,IAAI,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,KAAK,EAAE,CAAC;QACxB,OAAO,GAAG,CAAC,eAAe,CAAC,aAAa,EAAE,gCAAgC,CAAC,CAAC,CAAA;IAC9E,CAAC;IACD,MAAM,SAAS,GAAI,CAAC,OAAO,IAAI,EAAE,CAA4B,CAAC,SAAS,IAAI,IAAI,CAAA;IAC/E,IAAI,CAAC;QACH,MAAM,CAAC,GAAG,aAAa,EAAE,CAAC,MAAM,CAAC,CAAU,EAAE,CAAC,EAAE,SAAS,CAAC,CAAA;QAC1D,OAAO,EAAE,CAAC,CAA0B,CAAC,CAAA;IACvC,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,OAAO,GAAG,CAAC,WAAW,CAAC,eAAe,EAAE,4BAA4B,GAAG,EAAE,EAAE,CAAC,CAAC,CAAC,CAAA;IAChF,CAAC;AACH,CAAC","sourcesContent":["/**\n * Self-hosted compat-op implementations — topology transform family\n * (core-decouple Phase 3, §5.4).\n *\n * @platform occt\n *\n * Each export is a \"brep-shaped\" implementation consumed by the generated\n * compat-op projection (defineOp + D11 arg normalization). Inputs are the\n * normalized positional arguments of the op's params table; shapes arrive as\n * faijs Shapes (or raw handles) and results are returned as BREP handles\n * (wrapped by `wrapBrepOne` → `fromHandle`).\n *\n * Semantics mirror the vendored brepjs fns (`topology/transformFns.ts`,\n * `topology/shapeFns.ts`) with the brepjs object model (castResultShape,\n * metadata propagation, evolution tracking) dropped: occt-wasm handles only.\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 { MatrixInput, Vec3 } from '../brepjs-compat/types'\nimport { brepHandleOf, composeAffine, IDENTITY_3X4, rotationMatrix, translationMatrix } from './brepHelpers'\nimport { getOcctKernel } from '../../occt-kernel/occtKernel'\n\nconst VALIDATION_FAILED = 'VALIDATION_FAILED'\n\n// ---------------------------------------------------------------------------\n// Matrix input parsing (vendored `parseMatrixInput` / `det3x3`)\n// ---------------------------------------------------------------------------\n\ntype Linear3x3 = readonly [number, number, number, number, number, number, number, number, number]\n\nfunction parseMatrixInput(\n  input: MatrixInput,\n): Result<{ linear: Linear3x3; translation: readonly [number, number, number] }> {\n  if ('linear' in input) {\n    return ok({ linear: input.linear, translation: input.translation })\n  }\n  const [r0, r1, r2, r3] = input\n  const TOL = 1e-10\n  if (Math.abs(r3[0]) > TOL || Math.abs(r3[1]) > TOL || Math.abs(r3[2]) > TOL || Math.abs(r3[3] - 1) > TOL) {\n    return err(\n      validationError(\n        VALIDATION_FAILED,\n        `applyMatrix: invalid bottom row [${String(r3[0])}, ${String(r3[1])}, ${String(r3[2])}, ${String(r3[3])}]. Must be [0, 0, 0, 1] for an affine transform.`,\n      ),\n    )\n  }\n  return ok({\n    linear: [r0[0], r0[1], r0[2], r1[0], r1[1], r1[2], r2[0], r2[1], r2[2]],\n    translation: [r0[3], r1[3], r2[3]],\n  })\n}\n\nfunction det3x3(m: Linear3x3): number {\n  return (\n    m[0] * (m[4] * m[8] - m[5] * m[7]) -\n    m[1] * (m[3] * m[8] - m[5] * m[6]) +\n    m[2] * (m[3] * m[7] - m[4] * m[6])\n  )\n}\n\n// ---------------------------------------------------------------------------\n// applyMatrix\n// ---------------------------------------------------------------------------\n\nconst APPLY_MATRIX_PARAMS = { name: 'applyMatrix', params: ['shape', 'matrix'], formClass: 'A' as FormClass }\n\n/**\n * Apply a 4×4 affine matrix (OpenSCAD `multmatrix` equivalent).\n *\n * The vendored fn splits orthogonal (evolution-tracked) and non-orthogonal\n * (`gp_GTrsf`) paths; the core path uses the single L1 `generalTransform`\n * (occt-wasm `gp_GTrsf`, geometrically equivalent for both classes) since\n * `applyMatrix` carries identity naming and needs no face evolution.\n *\n * @param args - Resolved arguments (shape, matrix).\n * @returns The transformed shape as a `BrepHandle`.\n */\nexport function applyMatrixBrep(...args: unknown[]): Result<BrepHandle> {\n  const [shape, matrix] = resolveArgs(args, APPLY_MATRIX_PARAMS)\n  const parsed = parseMatrixInput(matrix as MatrixInput)\n  if (!parsed.ok) return parsed\n  const { linear, translation } = parsed.value\n  if (Math.abs(det3x3(linear)) < 1e-12) {\n    return err(\n      validationError(\n        VALIDATION_FAILED,\n        'applyMatrix: singular matrix (determinant ≈0). Cannot apply a non-invertible transform.',\n      ),\n    )\n  }\n  const kernel = getBrepApi()\n  try {\n    const m12 = [\n      linear[0], linear[1], linear[2], translation[0],\n      linear[3], linear[4], linear[5], translation[1],\n      linear[6], linear[7], linear[8], translation[2],\n    ]\n    // GOTCHA (2026-09-25): occt-wasm's `located`/`generalTransform` return\n    // TopLoc/GTrsf-referencing handles whose STEP export crashes\n    // (\"memory access out of bounds\") — only the affine `transform`\n    // (BRepBuilderAPI_Transform, deep-copy) is STEP-safe. A similar\n    // transform (orthogonal rows, equal lengths) is affine and goes\n    // through `transform`; genuinely non-affine matrices keep the\n    // generalTransform path (no current caller, pre-existing behavior).\n    const lin = linear as readonly [number, number, number, number, number, number, number, number, number]\n    const s0 = Math.hypot(lin[0], lin[1], lin[2])\n    const s1 = Math.hypot(lin[3], lin[4], lin[5])\n    const s2 = Math.hypot(lin[6], lin[7], lin[8])\n    const dot01 = Math.abs(lin[0] * lin[3] + lin[1] * lin[4] + lin[2] * lin[5])\n    const dot02 = Math.abs(lin[0] * lin[6] + lin[1] * lin[7] + lin[2] * lin[8])\n    const dot12 = Math.abs(lin[3] * lin[6] + lin[4] * lin[7] + lin[5] * lin[8])\n    const TOL = 1e-9\n    const similar =\n      s0 > TOL && Math.abs(s1 - s0) < TOL && Math.abs(s2 - s0) < TOL &&\n      dot01 < TOL && dot02 < TOL && dot12 < TOL\n    return ok(similar ? kernel.transform(brepHandleOf(shape), m12) : kernel.generalTransform(brepHandleOf(shape), m12))\n  } catch (e) {\n    return err(\n      kernelError(\n        'APPLY_MATRIX_FAILED',\n        `applyMatrix: kernel transform failed: ${e instanceof Error ? e.message : String(e)}`,\n        e,\n      ),\n    )\n  }\n}\n\n// ---------------------------------------------------------------------------\n// clone\n// ---------------------------------------------------------------------------\n\nconst CLONE_PARAMS = { name: 'clone', params: ['shape'], formClass: 'A' as FormClass }\n\n/**\n * Deep-copy a shape (`kernel.copyShape`).\n *\n * @param args - Resolved arguments (shape).\n * @returns The cloned shape as a `BrepHandle`.\n */\nexport function cloneBrep(...args: unknown[]): Result<BrepHandle> {\n  const [shape] = resolveArgs(args, CLONE_PARAMS)\n  const kernel = getBrepApi()\n  try {\n    return ok(kernel.copyShape(brepHandleOf(shape)))\n  } catch (e) {\n    return err(\n      kernelError(\n        'CLONE_FAILED',\n        `clone: kernel copy failed: ${e instanceof Error ? e.message : String(e)}`,\n        e,\n      ),\n    )\n  }\n}\n\n// ---------------------------------------------------------------------------\n// locate\n// ---------------------------------------------------------------------------\n\nconst LOCATE_PARAMS = { name: 'locate', params: ['shape', 'placement'], formClass: 'A' as FormClass }\n\ntype TransformOp =\n  | { readonly type: 'translate'; readonly v: Vec3 }\n  | { readonly type: 'rotate'; readonly angle: number; readonly axis?: Vec3; readonly center?: Vec3 }\n\nfunction opToMatrix(op: TransformOp): number[] {\n  if (op.type === 'translate') return translationMatrix(op.v)\n  const axis = op.axis ?? [0, 0, 1]\n  const center = op.center ?? [0, 0, 0]\n  return rotationMatrix(axis as Vec3, center as Vec3, op.angle)\n}\n\n/**\n * Placement-only rigid move (translate/rotate) via the kernel's cheap location\n * re-tag. Ops apply first-to-last (rotate then translate).\n *\n * @param args - Resolved arguments (shape, placement).\n * @returns The relocated shape as a `BrepHandle`.\n */\nexport function locateBrep(...args: unknown[]): Result<BrepHandle> {\n  const [shape, placement] = resolveArgs(args, LOCATE_PARAMS)\n  const ops: readonly TransformOp[] =\n    placement !== null && typeof placement === 'object' && 'type' in (placement as object)\n      ? [placement as TransformOp]\n      : (placement as readonly TransformOp[])\n  const kernel = getBrepApi()\n  try {\n    let acc: number[] = [...IDENTITY_3X4]\n    for (const op of ops) acc = composeAffine(acc, opToMatrix(op))\n    return ok(kernel.locate(brepHandleOf(shape), acc))\n  } catch (e) {\n    return err(\n      kernelError(\n        'LOCATE_FAILED',\n        `locate: kernel locate failed: ${e instanceof Error ? e.message : String(e)}`,\n        e,\n      ),\n    )\n  }\n}\n\n// ---------------------------------------------------------------------------\n// mirror\n// ---------------------------------------------------------------------------\n\nconst MIRROR_PARAMS = { name: 'mirror', params: ['shape', 'options'], formClass: 'A' as FormClass }\n\n/**\n * Mirror across a plane defined by `options.at` (origin) and `options.normal`.\n *\n * @param args - Resolved arguments (shape, mirror options).\n * @returns The mirrored shape as a `BrepHandle`.\n */\nexport function mirrorBrep(...args: unknown[]): Result<BrepHandle> {\n  const [shape, options] = resolveArgs(args, MIRROR_PARAMS)\n  const opts = (options ?? {}) as { normal?: Vec3; at?: Vec3 }\n  const normal = opts.normal ?? [1, 0, 0]\n  const at = opts.at ?? [0, 0, 0]\n  const kernel = getBrepApi()\n  try {\n    return ok(kernel.mirror(brepHandleOf(shape), { x: at[0], y: at[1], z: at[2] }, { x: normal[0], y: normal[1], z: normal[2] }))\n  } catch (e) {\n    return err(\n      kernelError(\n        'MIRROR_FAILED',\n        `mirror: kernel mirror failed: ${e instanceof Error ? e.message : String(e)}`,\n        e,\n      ),\n    )\n  }\n}\n\n\n// ---------------------------------------------------------------------------\n// rotate — 绕轴旋转（vendored topology/api.js#rotate + transformFns.ts#rotate）// ---------------------------------------------------------------------------\n\nconst ROTATE_PARAMS = { name: 'rotate', params: ['shape', 'angle', 'options'], formClass: 'A' as FormClass }\n\n/**\n * Rotate the shape around an axis (vendored topology/api.js#rotate + transformFns.ts#rotate).\n *\n * @param args - Resolved arguments (shape, angle in degrees, axis options).\n * @returns The rotated shape as a `BrepHandle`.\n */\nexport function rotateBrep(...args: unknown[]): Result<BrepHandle> {\n  const [shape, angle, options] = resolveArgs(args, ROTATE_PARAMS)\n  const s = brepHandleOf(shape)\n  const { at = [0, 0, 0], axis = [0, 0, 1] } = (options ?? {}) as { at?: Vec3; axis?: Vec3 }\n  try {\n    // GOTCHA (2026-09-25): occt-wasm's native `rotate` returns a handle whose\n    // STEP export crashes (\"memory access out of bounds\") — same family as\n    // located/generalTransform. Rotation is affine, so build the Rodrigues\n    // matrix and go through the STEP-safe `transform` (BRepBuilderAPI_Transform).\n    const [ax, ay, az] = axis as readonly [number, number, number]\n    const alen = Math.hypot(ax, ay, az)\n    if (alen < 1e-12) {\n      return err(validationError('INVALID_AXIS', `rotate: axis must be non-zero, got [${ax}, ${ay}, ${az}]`))\n    }\n    const nx = ax / alen, ny = ay / alen, nz = az / alen\n    const theta = (Number(angle) * Math.PI) / 180\n    const c = Math.cos(theta), sTheta = Math.sin(theta), t = 1 - c\n    // R = cI + sK + t·(n⊗n) (Rodrigues)\n    const r00 = t * nx * nx + c,     r01 = t * nx * ny - nz * sTheta, r02 = t * nx * nz + ny * sTheta\n    const r10 = t * nx * ny + nz * sTheta, r11 = t * ny * ny + c,     r12 = t * ny * nz - nx * sTheta\n    const r20 = t * nx * nz - ny * sTheta, r21 = t * ny * nz + nx * sTheta, r22 = t * nz * nz + c\n    const [px, py, pz] = at as readonly [number, number, number]\n    // Pivot-preserving translation: p' = R·(p − at) + at  ⇒  tx = at − R·at\n    const tx = px - (r00 * px + r01 * py + r02 * pz)\n    const ty = py - (r10 * px + r11 * py + r12 * pz)\n    const tz = pz - (r20 * px + r21 * py + r22 * pz)\n    const m12 = [r00, r01, r02, tx, r10, r11, r12, ty, r20, r21, r22, tz]\n    return ok(getOcctKernel().transform(s as never, m12) as unknown as BrepHandle)\n  } catch (e) {\n    const raw = e instanceof Error ? e.message : String(e)\n    return err(kernelError('ROTATE_FAILED', `Rotate operation failed: ${raw}`, e))\n  }\n}\n\n// ---------------------------------------------------------------------------\n// shell — 去面掏空（vendored topology/api.js#shell + modifierFns.ts#shell）// ---------------------------------------------------------------------------\n\nconst SHELL_PARAMS = { name: 'shell', params: ['shape', 'faces', 'thickness', 'options'], formClass: 'A' as FormClass }\n\n/**\n * Shell — hollow the shape by removing faces (vendored topology/api.js#shell + modifierFns.ts#shell).\n *\n * @param args - Resolved arguments (shape, faces, thickness, options).\n * @returns The shelled (hollowed) shape as a `BrepHandle`.\n */\nexport function shellBrep(...args: unknown[]): Result<BrepHandle> {\n  const [shape, faces, thickness, options] = resolveArgs(args, SHELL_PARAMS)\n  const kernel = getBrepApi()\n  const s = brepHandleOf(shape)\n  const t = Number(thickness)\n  if (t <= 0) {\n    return err(validationError('INVALID_THICKNESS', 'Shell thickness must be positive'))\n  }\n  if (!Array.isArray(faces) || faces.length === 0) {\n    return err(validationError('NO_FACES', 'At least one face must be specified for shell'))\n  }\n  const faceHandles = (faces as unknown[]).map((f) => brepHandleOf(f))\n  const tolerance = ((options ?? {}) as { tolerance?: number }).tolerance ?? 1e-3\n  try {\n    return ok(kernel.shell(s, faceHandles, t, tolerance))\n  } catch (e) {\n    const raw = e instanceof Error ? e.message : String(e)\n    return err(kernelError('SHELL_FAILED', `Shell operation failed: ${raw}`, e))\n  }\n}\n\n// ---------------------------------------------------------------------------\n// offset — 全表面偏移（vendored topology/api.js#offset + modifierFns.ts#offset）// ---------------------------------------------------------------------------\n\nconst OFFSET_PARAMS = { name: 'offset', params: ['shape', 'distance', 'options'], formClass: 'A' as FormClass }\n\n/**\n * Offset all faces of the shape (vendored topology/api.js#offset + modifierFns.ts#offset).\n *\n * @param args - Resolved arguments (shape, distance, options).\n * @returns The offset shape as a `BrepHandle`.\n */\nexport function offsetBrep(...args: unknown[]): Result<BrepHandle> {\n  const [shape, distance, options] = resolveArgs(args, OFFSET_PARAMS)\n  const s = brepHandleOf(shape)\n  const d = Number(distance)\n  if (Math.abs(d) < 1e-10) {\n    return err(validationError('ZERO_OFFSET', 'Offset distance cannot be zero'))\n  }\n  const tolerance = ((options ?? {}) as { tolerance?: number }).tolerance ?? 1e-6\n  try {\n    const h = getOcctKernel().offset(s as never, d, tolerance)\n    return ok(h as unknown as BrepHandle)\n  } catch (e) {\n    const raw = e instanceof Error ? e.message : String(e)\n    return err(kernelError('OFFSET_FAILED', `Offset operation failed: ${raw}`, e))\n  }\n}\n"]}

package/dist/api/brep-topology.d.ts

@@ -0,0 +1,190 @@
+/**
+ * brep-topology — faijs BREP 拓扑查询 / 构造面（core-decouple wrapup §2.2）
+ *
+ * @platform occt — `outerWire` / `normalAt`（带点路径）走 occt 原生面
+ * `getOcctKernel()`（occt-only 能力，未进 L1 中立契约）；其余经 L1
+ * `BrepEngineApi`。sheetmetal 钣金库改写的消费面（原 §5.8）。
+ *
+ * faijs 风格（wrapup §0.1 判据）：全部同步；`Shape` 进、`Shape` 家族
+ * （CurveShape/SolidShape）出——子形状可直接再喂回 faijs op（建模链
+ * `face(...)` → `extrude(...)` 零适配）；曲面类型为内核中立串
+ * （'plane'/'cylinder'/…）；错误用 faijs 第一方 `Result` + `BrepErrorCode`。
+ * **不提供 brepjs 兼容面**（裁决 9：brepjs 兼容层不由本 monorepo 提供），
+ * 不复刻 brepjs 符号名 / 法文枚举 / 包装句柄形态。
+ */
+import type { Shape } from '../mesh/types.js';
+import type { Vec3 } from './brepjs-compat/types.js';
+import type { CurveShape, SolidShape } from '../shape.js';
+import { type Result } from '../result/result.js';
+/**
+ * Get all edges of a shape as faijs curve shapes.
+ *
+ * @param shape - a faijs Shape on the BREP chain.
+ * @returns the edge curve shapes of the shape.
+ */
+export declare function getEdges(shape: Shape): CurveShape[];
+/**
+ * Get all faces of a shape as faijs solid shapes.
+ *
+ * @param shape - a faijs Shape on the BREP chain.
+ * @returns the face shapes of the shape.
+ */
+export declare function getFaces(shape: Shape): SolidShape[];
+/**
+ * Get all solids of a shape as faijs solid shapes.
+ *
+ * Booleans (`cut`/`fuse`) and some sweeps return a compound wrapping the
+ * solid(s); use this to unwrap them without reaching into the kernel.
+ *
+ * @param shape - a faijs Shape on the BREP chain.
+ * @returns the solid shapes of the shape.
+ */
+export declare function getSolids(shape: Shape): SolidShape[];
+/**
+ * Check whether a shape is a solid.
+ *
+ * @param shape - a faijs Shape on the BREP chain.
+ * @returns true when the shape is a solid.
+ */
+export declare function isSolid(shape: Shape): boolean;
+/**
+ * Axis-aligned bounding box of a shape from the BREP kernel.
+ *
+ * 说明：`cad.boundingBox` 只读 mesh 载荷（positions），brep 产物（空载荷）
+ * 会得空盒；本出口直连引擎包围盒，供 sheetmetal 侧组合 `Bounds3D`。
+ *
+ * @param shape - a faijs Shape on the BREP chain.
+ * @returns the bounding box min/max corner points.
+ */
+export declare function bounds3D(shape: Shape): {
+    min: Vec3;
+    max: Vec3;
+};
+/**
+ * Get the geometric surface type of a face (kernel neutral string).
+ *
+ * @param face - a faijs face Shape (from `getFaces`).
+ * @returns ok with the surface type ('plane' / 'cylinder' / 'sphere' / …).
+ */
+export declare function getSurfaceType(face: Shape): Result<string>;
+/**
+ * Get the start point of an edge or wire curve.
+ *
+ * @param shape - an edge/wire faijs Shape.
+ * @returns the curve start point.
+ */
+export declare function curveStartPoint(shape: Shape): Vec3;
+/**
+ * Get the end point of an edge or wire curve.
+ *
+ * @param shape - an edge/wire faijs Shape.
+ * @returns the curve end point.
+ */
+export declare function curveEndPoint(shape: Shape): Vec3;
+/**
+ * Get the center of mass of a face.
+ *
+ * @param face - a faijs face Shape (from `getFaces`).
+ * @returns the face center point.
+ */
+export declare function faceCenter(face: Shape): Vec3;
+/**
+ * Get the surface normal at a point (or at the UV-center when no point given).
+ *
+ * When a 3D point is given, it is projected to UV coordinates via the occt
+ * native `uvFromPoint` (occt-only; falls back to UV origin when the projection
+ * fails).
+ *
+ * @param face - a faijs face Shape (from `getFaces`).
+ * @param locationPoint - optional 3D point on the face.
+ * @returns the surface normal at the location.
+ */
+export declare function normalAt(face: Shape, locationPoint?: Vec3): Vec3;
+/**
+ * Get a point on a face surface at normalized UV coordinates (0-1 range).
+ *
+ * @param face - a faijs face Shape (from `getFaces`).
+ * @param u - normalized U parameter (0-1).
+ * @param v - normalized V parameter (0-1).
+ * @returns the surface point.
+ */
+export declare function pointOnSurface(face: Shape, u: number, v: number): Vec3;
+/**
+ * Get the edges shared by two faces.
+ *
+ * @param a - first faijs face Shape.
+ * @param b - second faijs face Shape.
+ * @returns the shared edge curve shapes.
+ */
+export declare function sharedEdges(a: Shape, b: Shape): CurveShape[];
+/**
+ * Get the outer wire of a face (occt native `BRepTools::OuterWire`).
+ *
+ * @param face - a faijs face Shape.
+ * @returns the outer wire curve shape.
+ */
+export declare function outerWire(face: Shape): CurveShape;
+/**
+ * Create a line edge between two points.
+ *
+ * @param from - start point.
+ * @param to - end point.
+ * @returns the edge curve shape.
+ */
+export declare function line(from: Vec3, to: Vec3): CurveShape;
+/**
+ * Check whether a wire is closed (forms a loop).
+ *
+ * @param wire - a faijs wire Shape.
+ * @returns true when the wire is closed.
+ */
+export declare function isClosedWire(wire: Shape): boolean;
+/**
+ * Assemble edges into a connected wire, open or closed (no closure check).
+ *
+ * Sheetmetal form cuts (louver U-cuts) are deliberately OPEN paths in the
+ * developed plane — the fabricator leaves the hinge side uncut — so the
+ * topology face must be able to produce a non-closed wire. {@link wireLoop}
+ * adds the closure contract on top of this primitive.
+ *
+ * @param edges - ordered edge curve shapes to assemble.
+ * @returns ok with the assembled wire shape, or WIRE_BUILD_FAILED.
+ */
+export declare function assembleWire(edges: Shape[]): Result<CurveShape>;
+/**
+ * Assemble edges into a connected wire, requiring the result to be closed.
+ *
+ * @param edges - ordered edge curve shapes to assemble.
+ * @returns ok with the closed wire shape, or WIRE_BUILD_FAILED /
+ *   WIRE_NOT_CLOSED.
+ */
+export declare function wireLoop(edges: Shape[]): Result<CurveShape>;
+/**
+ * Check whether a wire is planar (all edges lie in a common plane).
+ *
+ * Strategy: try planar face construction; if it succeeds, verify the surface
+ * type. A failure to build the face means the wire is not planar.
+ *
+ * @param wire - a faijs wire Shape.
+ * @returns true when the wire is planar.
+ */
+export declare function isPlanarWire(wire: Shape): boolean;
+/**
+ * Create a planar face from a closed wire, optionally with holes.
+ *
+ * The result is a faijs solid Shape carrying the face BREP handle, ready for
+ * the modeling chain (`extrude` etc.).
+ *
+ * @param w - a closed planar wire Shape.
+ * @param holes - optional hole wire Shapes.
+ * @returns ok with the face shape, or FACE_BUILD_FAILED / FACE_NOT_PLANAR.
+ */
+export declare function face(w: Shape, holes?: Shape[]): Result<SolidShape>;
+/**
+ * Create a polygonal face from three or more coplanar points.
+ *
+ * @param points - three or more coplanar points.
+ * @returns ok with the face shape, or POLYGON_MIN_POINTS / wire / face errors.
+ */
+export declare function polygon(points: Vec3[]): Result<SolidShape>;
+//# sourceMappingURL=brep-topology.d.ts.map

package/dist/api/brep-topology.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"brep-topology.d.ts","sourceRoot":"","sources":["../../src/api/brep-topology.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;GAaG;AAKH,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,eAAe,CAAA;AAC1C,OAAO,KAAK,EAAE,IAAI,EAAE,MAAM,uBAAuB,CAAA;AAEjD,OAAO,KAAK,EAAE,UAAU,EAAE,UAAU,EAAE,MAAM,UAAU,CAAA;AAEtD,OAAO,EAAW,KAAK,MAAM,EAAE,MAAM,kBAAkB,CAAA;AAyBvD;;;;;GAKG;AACH,wBAAgB,QAAQ,CAAC,KAAK,EAAE,KAAK,GAAG,UAAU,EAAE,CAEnD;AAED;;;;;GAKG;AACH,wBAAgB,QAAQ,CAAC,KAAK,EAAE,KAAK,GAAG,UAAU,EAAE,CAEnD;AAED;;;;;;;;GAQG;AACH,wBAAgB,SAAS,CAAC,KAAK,EAAE,KAAK,GAAG,UAAU,EAAE,CAEpD;AAED;;;;;GAKG;AACH,wBAAgB,OAAO,CAAC,KAAK,EAAE,KAAK,GAAG,OAAO,CAE7C;AAED;;;;;;;;GAQG;AACH,wBAAgB,QAAQ,CAAC,KAAK,EAAE,KAAK,GAAG;IAAE,GAAG,EAAE,IAAI,CAAC;IAAC,GAAG,EAAE,IAAI,CAAA;CAAE,CAM/D;AAED;;;;;GAKG;AACH,wBAAgB,cAAc,CAAC,IAAI,EAAE,KAAK,GAAG,MAAM,CAAC,MAAM,CAAC,CAE1D;AAMD;;;;;GAKG;AACH,wBAAgB,eAAe,CAAC,KAAK,EAAE,KAAK,GAAG,IAAI,CAIlD;AAED;;;;;GAKG;AACH,wBAAgB,aAAa,CAAC,KAAK,EAAE,KAAK,GAAG,IAAI,CAIhD;AAED;;;;;GAKG;AACH,wBAAgB,UAAU,CAAC,IAAI,EAAE,KAAK,GAAG,IAAI,CAE5C;AAED;;;;;;;;;;GAUG;AACH,wBAAgB,QAAQ,CAAC,IAAI,EAAE,KAAK,EAAE,aAAa,CAAC,EAAE,IAAI,GAAG,IAAI,CAiBhE;AAED;;;;;;;GAOG;AACH,wBAAgB,cAAc,CAAC,IAAI,EAAE,KAAK,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,MAAM,GAAG,IAAI,CAMtE;AAED;;;;;;GAMG;AACH,wBAAgB,WAAW,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,KAAK,GAAG,UAAU,EAAE,CAE5D;AAED;;;;;GAKG;AACH,wBAAgB,SAAS,CAAC,IAAI,EAAE,KAAK,GAAG,UAAU,CAEjD;AAMD;;;;;;GAMG;AACH,wBAAgB,IAAI,CAAC,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,IAAI,GAAG,UAAU,CAErD;AAED;;;;;GAKG;AACH,wBAAgB,YAAY,CAAC,IAAI,EAAE,KAAK,GAAG,OAAO,CAEjD;AAED;;;;;;;;;;GAUG;AACH,wBAAgB,YAAY,CAAC,KAAK,EAAE,KAAK,EAAE,GAAG,MAAM,CAAC,UAAU,CAAC,CAc/D;AAED;;;;;;GAMG;AACH,wBAAgB,QAAQ,CAAC,KAAK,EAAE,KAAK,EAAE,GAAG,MAAM,CAAC,UAAU,CAAC,CAsB3D;AAED;;;;;;;;GAQG;AACH,wBAAgB,YAAY,CAAC,IAAI,EAAE,KAAK,GAAG,OAAO,CAajD;AAED;;;;;;;;;GASG;AACH,wBAAgB,IAAI,CAAC,CAAC,EAAE,KAAK,EAAE,KAAK,CAAC,EAAE,KAAK,EAAE,GAAG,MAAM,CAAC,UAAU,CAAC,CAkBlE;AAED;;;;;GAKG;AACH,wBAAgB,OAAO,CAAC,MAAM,EAAE,IAAI,EAAE,GAAG,MAAM,CAAC,UAAU,CAAC,CAa1D"}