@faicad/faijs 0.13.0

package/dist/api/brepjs-compat/index.js

@@ -0,0 +1,289 @@
+/**
+ * BREP-TS compatibility surface (P21).
+ *
+ * Projects the vendored BREP TS tree onto four stable groups so library authors
+ * can write `import { box, fuse, Sketcher, ok } from this module` and call it
+ * upstream-style:
+ *
+ *   ① op        — solid primitives + boolean / evolution operations
+ *   ② topology  — sub-shape queries + measurements (plus the Bounds3D type)
+ *   ③ sketching — stateful Sketcher / FaceSketcher DSL + drawing factories
+ *   ④ combinators / types — result, vector, plane, errors, constants, types
+ *
+ * Every symbol is a projection (re-export or a thin dual-form wrapper) from the
+ * ported tree: no reimplementation. The `.js` specifiers are the repo
+ * convention (TypeScript maps `.js` → `.ts`).
+ *
+ * Semantic wraps (P23: both live in `api/internal/compat-projection.ts` so the
+ * generated face and this hand-curated face share one mechanism):
+ * - single-kernel assert: every modeling op asserts a bound BREP kernel first
+ *   (see `assertKernelBound`); `getBackends()` may throw before configuration,
+ *   so it is guarded and falls back to the occt-kernel binding flag.
+ * - dual argument forms: object form normalizes to positional form via the
+ *   shared `resolveArgs` discriminant; object keys outside the declared
+ *   parameter table throw the shared `E_ARGS_FORM` token.
+ * - `box` is the hand-written dual-form sample: positional
+ *   `box(width, depth, height)` and `box({ size })` / `box({ width, depth,
+ *   height })` both forward to the vendored primitive in its native dimension
+ *   order (width = X, depth = Y, height = Z — confirm against
+ *   `primitiveFns#box`), so every accepted form yields identical geometry.
+ */
+import { assertKernelBound, projectBrepOp } from '../internal/compat-projection.js';
+import { isObjectForm } from '../internal/dual-form-args.js';
+/**
+ * Dual-form op wrapper (A-class): asserts the kernel, normalizes object form to
+ * positional form via `resolveArgs`, then delegates to the vendored
+ * implementation.
+ *
+ * P23: delegates to the shared {@link projectBrepOp} so the hand-curated face
+ * and the generated face share one projection mechanism (§4.3.2).
+ */
+function wrapDual(name, params, impl) {
+    return projectBrepOp(name, params, 'A', impl);
+}
+/**
+ * Guard-only wrapper: forwards the arguments unchanged after the kernel assert.
+ * Used for positional-first ops (booleans, evolutions) whose first argument is
+ * a shape, so the object-form discriminant never applies. The exact function
+ * type `F` (including its parameter and Result types) is preserved.
+ */
+function wrapGuarded(name, impl) {
+    const fn = (...args) => {
+        assertKernelBound(name);
+        return impl(...args);
+    };
+    return fn;
+}
+// ─────────────────────────────────────────────────────────────────────────────
+// ① primitives + booleans + evolutions
+// ─────────────────────────────────────────────────────────────────────────────
+import { box as primitiveBox, sphere as primitiveSphere, cylinder as primitiveCylinder, cone as primitiveCone, torus as primitiveTorus, ellipsoid as primitiveEllipsoid, } from '../../vendored/brepjs/topology/primitiveFns.js';
+export function box(...args) {
+    assertKernelBound('box');
+    if (isObjectForm(args)) {
+        const obj = args[0];
+        const keys = Object.keys(obj);
+        const unknownKeys = keys.filter((k) => !['size', 'width', 'depth', 'height'].includes(k));
+        if (unknownKeys.length > 0)
+            throw boxArgError(args);
+        const size = obj.size;
+        if (size !== undefined) {
+            if (typeof size === 'number')
+                return primitiveBox(size, size, size);
+            if (Array.isArray(size) && size.length === 3) {
+                const [w, d, h] = size;
+                return primitiveBox(w, d, h);
+            }
+            throw boxArgError(args);
+        }
+        const width = obj.width;
+        const depth = obj.depth;
+        const height = obj.height;
+        if (typeof width === 'number' && typeof depth === 'number' && typeof height === 'number') {
+            return primitiveBox(width, depth, height);
+        }
+        throw boxArgError(args);
+    }
+    if (args.length === 3 && args.every((a) => typeof a === 'number')) {
+        const [w, d, h] = args;
+        return primitiveBox(w, d, h);
+    }
+    throw boxArgError(args);
+}
+/** Shared E_ARGS_FORM error for {@link box} argument mismatches. */
+function boxArgError(args) {
+    return new Error('[compat:box] E_ARGS_FORM: expected box(width, depth, height), ' +
+        "box({ size: number | [w, d, h] }) or box({ width, depth, height }); got " +
+        args.map((a) => safeJson(a)).join(', '));
+}
+/** JSON stringification that never throws on cyclic or exotic values. */
+function safeJson(v) {
+    try {
+        return JSON.stringify(v) ?? String(v);
+    }
+    catch {
+        return '[unserializable]';
+    }
+}
+/**
+ * Project the vendored `sphere(radius, options?)` verbatim (P25: the raw
+ * morph form is what portable libraries call — upstream brepjs signatures,
+ * no op projection).
+ */
+export { primitiveSphere as sphere };
+/** Project the vendored `cylinder(radius, height, options?)` verbatim. */
+export { primitiveCylinder as cylinder };
+/** Project the vendored `cone(bottomRadius, topRadius, height, options?)`. */
+export const cone = wrapDual('cone', ['bottomRadius', 'topRadius', 'height'], primitiveCone);
+/** Project the vendored `torus(majorRadius, minorRadius, options?)`. */
+export const torus = wrapDual('torus', ['majorRadius', 'minorRadius'], primitiveTorus);
+/** Project the vendored `ellipsoid(rx, ry, rz, options?)`. */
+export const ellipsoid = wrapDual('ellipsoid', ['rx', 'ry', 'rz'], primitiveEllipsoid);
+import { fuse as vendoredFuse, cut as vendoredCut, intersect as vendoredIntersect, fillet as vendoredFillet, chamfer as vendoredChamfer, simplify as vendoredSimplify, } from '../../vendored/brepjs/topology/api.js';
+import { makeCompound as vendoredMakeCompound, makeVertex as vendoredMakeVertex, } from '../../vendored/brepjs/topology/solidBuilders.js';
+import { applyMatrix as vendoredApplyMatrix } from '../../vendored/brepjs/topology/transformFns.js';
+import { makeCircle as vendoredMakeCircle, makeEllipse as vendoredMakeEllipse, makeLine as vendoredMakeLine, makeThreePointArc as vendoredMakeThreePointArc, makeTangentArc as vendoredMakeTangentArc, makeBSplineInterpolation as vendoredMakeBSplineInterpolation, assembleWire as vendoredAssembleWire, } from '../../vendored/brepjs/topology/curveBuilders.js';
+import { curveTangentAt as vendoredCurveTangentAt, curvePointAt as vendoredCurvePointAt, } from '../../vendored/brepjs/topology/curveFns.js';
+import { makeFace as vendoredMakeFace, addHolesInFace as vendoredAddHolesInFace, } from '../../vendored/brepjs/topology/surfaceBuilders.js';
+import { extrude as vendoredExtrude, revolve as vendoredRevolve, loft as vendoredLoft, } from '../../vendored/brepjs/operations/api.js';
+/** Fuse two shapeables into one 3D result. */
+export const fuse = wrapGuarded('fuse', vendoredFuse);
+/** Cut the second shapeable out of the first. */
+export const cut = wrapGuarded('cut', vendoredCut);
+/** Extrude a planar profile along a height or direction vector. */
+export const extrude = wrapGuarded('extrude', vendoredExtrude);
+/** Revolve a planar profile around an axis with optional angle. */
+export const revolve = wrapGuarded('revolve', vendoredRevolve);
+/** Loft through a set of wire profiles. */
+export const loft = wrapGuarded('loft', vendoredLoft);
+/** Intersect two shapeables (common 3D volume). */
+export const intersect = wrapGuarded('intersect', vendoredIntersect);
+/**
+ * Fillet all edges (2-arg form) or selected edges (3-arg form: edge array /
+ * finder) of a valid solid. Selection form:
+ * `fillet(shape, edgeHandles, radius)`.
+ */
+export const fillet = wrapGuarded('fillet', vendoredFillet);
+/**
+ * Chamfer all edges (2-arg form) or selected edges (3-arg form) of a valid
+ * solid. Selection form: `chamfer(shape, edgeHandles, distance)` where
+ * distance is a symmetric length or an asymmetric `[d1, d2]` pair.
+ */
+export const chamfer = wrapGuarded('chamfer', vendoredChamfer);
+/**
+ * Group shapes into a single Compound: `makeCompound(shapeArray)` (the
+ * analogue of CadQuery's multi-solid compounds).
+ */
+export const makeCompound = wrapGuarded('makeCompound', vendoredMakeCompound);
+/** Single vertex at a point: `makeVertex([x, y, z])` (upstream `vertex(x, y, z)`). */
+export const makeVertex = wrapGuarded('makeVertex', vendoredMakeVertex);
+/**
+ * Apply a rigid affine transform to ANY shape — including compounds, which the
+ * faijs `cad.translate` / `cad.rotate_euler` ops reject ("input is not BREP",
+ * they require a solid). Needed by CadQuery's `Shape.moved(*locs)`, which can
+ * move a multi-solid compound as a whole.
+ *
+ * Accepts the `{ linear, translation }` form of `MatrixInput`: `linear` is the
+ * row-major 3x3 rotation, `translation` is applied after it (p -> R·p + t).
+ */
+export const applyMatrix = wrapGuarded('applyMatrix', vendoredApplyMatrix);
+/**
+ * Merge same-domain faces/edges (unifySameDomain) — the analogue of
+ * CadQuery's `clean=True` boolean post-processing.
+ */
+export const simplify = wrapGuarded('simplify', vendoredSimplify);
+// ── 2D profile construction (CadQuery pending-wire parity) ────────────────
+// Circles/lines → edges → wires → (holed) faces. These are the building blocks
+// CadQuery uses for its `pendingWires` stack: an outer wire plus zero or more
+// inner wires becomes ONE face with holes, which is then extruded. Without
+// `makeFace(wire, holes)` a nested `circle(4).circle(2)` would have to be
+// approximated by a boolean difference and would not match upstream topology.
+/** Circular edge: `makeCircle(radius, center?, normal?)` — closed, planar. */
+export const makeCircle = wrapGuarded('makeCircle', vendoredMakeCircle);
+/** Elliptical edge: `makeEllipseEdge(majorRadius, minorRadius, center?, normal?, xDir?)`. Returns a `Result`. */
+export const makeEllipseEdge = wrapGuarded('makeEllipseEdge', vendoredMakeEllipse);
+/** Straight edge from `v1` to `v2`. */
+export const makeLine = wrapGuarded('makeLine', vendoredMakeLine);
+/** Assemble edges/wires into a single connected wire. Returns a `Result`. */
+export const assembleWire = wrapGuarded('assembleWire', vendoredAssembleWire);
+/** Planar face from a closed wire, optionally with hole wires. Returns a `Result`. */
+export const makeFace = wrapGuarded('makeFace', vendoredMakeFace);
+/** Punch hole wires into an existing face. */
+export const addHolesInFace = wrapGuarded('addHolesInFace', vendoredAddHolesInFace);
+/** Circular arc edge through three points (start, mid, end). */
+export const makeThreePointArc = wrapGuarded('makeThreePointArc', vendoredMakeThreePointArc);
+/** Circular arc edge from a start point + start tangent to an end point. */
+export const makeTangentArc = wrapGuarded('makeTangentArc', vendoredMakeTangentArc);
+/** Interpolated cubic B-spline edge through every input point. Returns a `Result`. */
+export const makeBSplineInterpolation = wrapGuarded('makeBSplineInterpolation', vendoredMakeBSplineInterpolation);
+/** Tangent vector of an edge/wire curve at a normalized position (1 = end). */
+export const curveTangentAt = wrapGuarded('curveTangentAt', vendoredCurveTangentAt);
+/** Point on an edge/wire curve at a normalized position. */
+export const curvePointAt = wrapGuarded('curvePointAt', vendoredCurvePointAt);
+// ─────────────────────────────────────────────────────────────────────────────
+// ①b library-building factories (P24, §8.1): spur gears, planetary trains, threads.
+// Both morphs of these factories are brep-only builders gated by the single-kernel
+// assert (wrapGuarded); the kernel is bound at the host boundary (D10).
+// ─────────────────────────────────────────────────────────────────────────────
+import { makeExternalGear as vendoredMakeExternalGear, makeInternalGear as vendoredMakeInternalGear, makePlanetaryGear as vendoredMakePlanetaryGear, } from '../../vendored/brepjs/gear/gearFns.js';
+import { thread as vendoredThread } from '../../vendored/brepjs/operations/threadFns.js';
+/**
+ * Build an external spur gear.
+ * @param params - the external-gear parameters (`teeth`, `moduleSize`, `thickness`, …).
+ * @returns `Ok` with the gear solid + geometry, or `Err` for invalid parameters.
+ */
+export const makeExternalGear = wrapGuarded('makeExternalGear', vendoredMakeExternalGear);
+/**
+ * Build an internal (ring) spur gear.
+ * @param params - the internal-gear parameters, including the optional ring wall thickness.
+ * @returns `Ok` with the gear solid + geometry, or `Err` for invalid parameters.
+ */
+export const makeInternalGear = wrapGuarded('makeInternalGear', vendoredMakeInternalGear);
+/**
+ * Build a planetary gear train (sun + planets + ring).
+ * @param params - the planetary-gear parameters.
+ * @returns `Ok` with the sun/planet/ring solids and mesh diagnostics, or `Err`.
+ */
+export const makePlanetaryGear = wrapGuarded('makePlanetaryGear', vendoredMakePlanetaryGear);
+/**
+ * Build a helical screw-thread ridge.
+ * @param options - the thread profile (`radius`, `pitch`, `height`, …).
+ * @returns `Ok` with the thread-ridge solid, or `Err` for invalid parameters.
+ */
+export const thread = wrapGuarded('thread', vendoredThread);
+// ─────────────────────────────────────────────────────────────────────────────
+// ② sub-shape queries + measurements
+// ─────────────────────────────────────────────────────────────────────────────
+export { getEdges, getFaces, getWires, getVertices, getShells, getSolids, getCompSolids, getBounds, vertexPosition, } from '../../vendored/brepjs/topology/topologyQueryFns.js';
+export { measureVolume, measureArea, measureLength, } from '../../vendored/brepjs/measurement/measureFns.js';
+// ─────────────────────────────────────────────────────────────────────────────
+// ③ sketching DSL + drawing factories
+// ─────────────────────────────────────────────────────────────────────────────
+export { default as Sketcher } from '../../vendored/brepjs/sketching/sketcher.js';
+export { default as FaceSketcher } from '../../vendored/brepjs/sketching/faceSketcher.js';
+export { drawCircle, drawEllipse, drawRoundedRectangle, drawRectangle, drawSingleCircle, drawSingleEllipse, drawPolysides, drawText, } from '../../vendored/brepjs/sketching/drawingFactories.js';
+export { draw } from '../../vendored/brepjs/sketching/drawingPen.js';
+export { makeBaseBox } from '../../vendored/brepjs/sketching/shortcuts.js';
+// ─────────────────────────────────────────────────────────────────────────────
+// ④ combinators / pure helpers / types
+// ─────────────────────────────────────────────────────────────────────────────
+export { ok, err, isOk, isErr, unwrap, unwrapOr, map, andThen, } from '../../vendored/brepjs/core/result.js';
+export { vecAdd, vecSub, vecScale, vecDot, vecCross, vecLength, vecNormalize, } from '../../vendored/brepjs/core/vecOps.js';
+export { createPlane, createNamedPlane, resolvePlane, } from '../../vendored/brepjs/core/planeOps.js';
+export { kernelError, validationError } from '../../vendored/brepjs/core/errors.js';
+export { DEG2RAD, RAD2DEG } from '../../vendored/brepjs/core/constants.js';
+// ─────────────────────────────────────────────────────────────────────────────
+// ⑤ raw 2D-morph + transform + face ports (P25: sheetmetal 单一说明符面)
+//
+// The sheetmetal authoring path consumes the vendored morph semantics exactly
+// (handles in, handles out, `Result` only where the vendored chain returns
+// one). These are projected verbatim from the ported tree — same names, same
+// signatures as upstream brepjs — so portable library sources only change the
+// import specifier line (§8.2).
+// ─────────────────────────────────────────────────────────────────────────────
+import { line as rawLine, wire as rawWire, wireLoop as rawWireLoop, face as rawFace, polygon as rawPolygon, } from '../../vendored/brepjs/topology/primitiveFns.js';
+import { outerWire as rawOuterWire, getSurfaceType as rawSurfaceType, pointOnSurface as rawPointOnSurface, normalAt as rawNormalAt, faceCenter as rawFaceCenter, } from '../../vendored/brepjs/topology/faceFns.js';
+import { sharedEdges as rawSharedEdges } from '../../vendored/brepjs/topology/adjacencyFns.js';
+import { curveStartPoint as rawCurveStartPoint, curveEndPoint as rawCurveEndPoint, } from '../../vendored/brepjs/topology/curveFns.js';
+import { translate as rawTranslate } from '../../vendored/brepjs/topology/transformFns.js';
+import { rotate as rawRotate } from '../../vendored/brepjs/topology/transformFns.js';
+import { isSolid as rawIsSolid } from '../../vendored/brepjs/core/shapeTypes.js';
+import { isPlanarWire as rawIsPlanarWire } from '../../vendored/brepjs/core/validityTypes.js';
+import { isValid as rawIsValid } from '../../vendored/brepjs/topology/healingFns.js';
+export { rawLine as line, rawWire as wire, rawWireLoop as wireLoop, rawFace as face, rawPolygon as polygon, rawOuterWire as outerWire, rawSurfaceType as getSurfaceType, rawPointOnSurface as pointOnSurface, rawNormalAt as normalAt, rawFaceCenter as faceCenter, rawSharedEdges as sharedEdges, rawCurveStartPoint as curveStartPoint, rawCurveEndPoint as curveEndPoint, rawTranslate as translate, rawIsSolid as isSolid, rawIsPlanarWire as isPlanarWire, rawIsValid as isValid, };
+// Upstream brepjs 18's `rotate` takes an axis through an `{ at, axis }` options
+// object; the vendored tree (P5-locked commit) is the four-argument positional
+// form. Export the upstream-aligned wrap so library code written for brepjs
+// rotates with `rotate(shape, angle, { at?, axis? })`.
+/**
+ * Rotate a shape by an angle in degrees around an axis.
+ * @param shape - The shape to rotate.
+ * @param angle - Rotation angle in degrees.
+ * @param options - Axis and pivot (`at`) for the rotation; defaults to the Z
+ * axis through the origin, matching upstream brepjs.
+ * @returns A new rotated shape.
+ */
+export function rotate(shape, angle, options = {}) {
+    return rawRotate(shape, angle, options.at ?? [0, 0, 0], options.axis ?? [0, 0, 1]);
+}
+//# sourceMappingURL=index.js.map

package/dist/api/brepjs-compat/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../src/api/brepjs-compat/index.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA6BG;AAEH,OAAO,EAAE,iBAAiB,EAAE,aAAa,EAAE,MAAM,+BAA+B,CAAA;AAChF,OAAO,EAAE,YAAY,EAAE,MAAM,4BAA4B,CAAA;AAOzD;;;;;;;GAOG;AACH,SAAS,QAAQ,CACf,IAAY,EACZ,MAAgB,EAChB,IAA+B;IAE/B,OAAO,aAAa,CAAC,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,IAAqC,CAAC,CAAA;AAChF,CAAC;AAED;;;;;GAKG;AACH,SAAS,WAAW,CAAI,IAAY,EAAE,IAAO;IAC3C,MAAM,EAAE,GAAoC,CAAC,GAAG,IAAe,EAAE,EAAE;QACjE,iBAAiB,CAAC,IAAI,CAAC,CAAA;QACvB,OAAQ,IAAwC,CAAC,GAAG,IAAI,CAAC,CAAA;IAC3D,CAAC,CAAA;IACD,OAAO,EAAkB,CAAA;AAC3B,CAAC;AAED,gFAAgF;AAChF,uCAAuC;AACvC,gFAAgF;AAEhF,OAAO,EACL,GAAG,IAAI,YAAY,EACnB,MAAM,IAAI,eAAe,EACzB,QAAQ,IAAI,iBAAiB,EAC7B,IAAI,IAAI,aAAa,EACrB,KAAK,IAAI,cAAc,EACvB,SAAS,IAAI,kBAAkB,GAChC,MAAM,gDAAgD,CAAA;AA+BvD,MAAM,UAAU,GAAG,CAAC,GAAG,IAAe;IACpC,iBAAiB,CAAC,KAAK,CAAC,CAAA;IACxB,IAAI,YAAY,CAAC,IAAI,CAAC,EAAE,CAAC;QACvB,MAAM,GAAG,GAAG,IAAI,CAAC,CAAC,CAA4B,CAAA;QAC9C,MAAM,IAAI,GAAG,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAA;QAC7B,MAAM,WAAW,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,EAAE,OAAO,EAAE,OAAO,EAAE,QAAQ,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAA;QACzF,IAAI,WAAW,CAAC,MAAM,GAAG,CAAC;YAAE,MAAM,WAAW,CAAC,IAAI,CAAC,CAAA;QACnD,MAAM,IAAI,GAAG,GAAG,CAAC,IAAI,CAAA;QACrB,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;YACvB,IAAI,OAAO,IAAI,KAAK,QAAQ;gBAAE,OAAO,YAAY,CAAC,IAAI,EAAE,IAAI,EAAE,IAAI,CAAC,CAAA;YACnE,IAAI,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;gBAC7C,MAAM,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,GAAG,IAAgC,CAAA;gBAClD,OAAO,YAAY,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAA;YAC9B,CAAC;YACD,MAAM,WAAW,CAAC,IAAI,CAAC,CAAA;QACzB,CAAC;QACD,MAAM,KAAK,GAAG,GAAG,CAAC,KAAK,CAAA;QACvB,MAAM,KAAK,GAAG,GAAG,CAAC,KAAK,CAAA;QACvB,MAAM,MAAM,GAAG,GAAG,CAAC,MAAM,CAAA;QACzB,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,OAAO,MAAM,KAAK,QAAQ,EAAE,CAAC;YACzF,OAAO,YAAY,CAAC,KAAK,EAAE,KAAK,EAAE,MAAM,CAAC,CAAA;QAC3C,CAAC;QACD,MAAM,WAAW,CAAC,IAAI,CAAC,CAAA;IACzB,CAAC;IACD,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC,IAAI,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,KAAK,QAAQ,CAAC,EAAE,CAAC;QAClE,MAAM,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,GAAG,IAAgC,CAAA;QAClD,OAAO,YAAY,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAA;IAC9B,CAAC;IACD,MAAM,WAAW,CAAC,IAAI,CAAC,CAAA;AACzB,CAAC;AAcD,oEAAoE;AACpE,SAAS,WAAW,CAAC,IAAe;IAClC,OAAO,IAAI,KAAK,CACd,gEAAgE;QAC9D,0EAA0E;QAC1E,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAC1C,CAAA;AACH,CAAC;AAED,yEAAyE;AACzE,SAAS,QAAQ,CAAC,CAAU;IAC1B,IAAI,CAAC;QACH,OAAO,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,MAAM,CAAC,CAAC,CAAC,CAAA;IACvC,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,kBAAkB,CAAA;IAC3B,CAAC;AACH,CAAC;AAED;;;;GAIG;AACH,OAAO,EAAE,eAAe,IAAI,MAAM,EAAE,CAAA;AACpC,0EAA0E;AAC1E,OAAO,EAAE,iBAAiB,IAAI,QAAQ,EAAE,CAAA;AACxC,8EAA8E;AAC9E,MAAM,CAAC,MAAM,IAAI,GAAG,QAAQ,CAC1B,MAAM,EACN,CAAC,cAAc,EAAE,WAAW,EAAE,QAAQ,CAAC,EACvC,aAAyB,CAC1B,CAAA;AACD,wEAAwE;AACxE,MAAM,CAAC,MAAM,KAAK,GAAG,QAAQ,CAAC,OAAO,EAAE,CAAC,aAAa,EAAE,aAAa,CAAC,EAAE,cAA0B,CAAC,CAAA;AAClG,8DAA8D;AAC9D,MAAM,CAAC,MAAM,SAAS,GAAG,QAAQ,CAAC,WAAW,EAAE,CAAC,IAAI,EAAE,IAAI,EAAE,IAAI,CAAC,EAAE,kBAA8B,CAAC,CAAA;AAElG,OAAO,EACL,IAAI,IAAI,YAAY,EACpB,GAAG,IAAI,WAAW,EAClB,SAAS,IAAI,iBAAiB,EAC9B,MAAM,IAAI,cAAc,EACxB,OAAO,IAAI,eAAe,EAC1B,QAAQ,IAAI,gBAAgB,GAC7B,MAAM,uCAAuC,CAAA;AAC9C,OAAO,EACL,YAAY,IAAI,oBAAoB,EACpC,UAAU,IAAI,kBAAkB,GACjC,MAAM,iDAAiD,CAAA;AACxD,OAAO,EAAE,WAAW,IAAI,mBAAmB,EAAE,MAAM,gDAAgD,CAAA;AACnG,OAAO,EACL,UAAU,IAAI,kBAAkB,EAChC,WAAW,IAAI,mBAAmB,EAClC,QAAQ,IAAI,gBAAgB,EAC5B,iBAAiB,IAAI,yBAAyB,EAC9C,cAAc,IAAI,sBAAsB,EACxC,wBAAwB,IAAI,gCAAgC,EAC5D,YAAY,IAAI,oBAAoB,GACrC,MAAM,iDAAiD,CAAA;AACxD,OAAO,EACL,cAAc,IAAI,sBAAsB,EACxC,YAAY,IAAI,oBAAoB,GACrC,MAAM,4CAA4C,CAAA;AACnD,OAAO,EACL,QAAQ,IAAI,gBAAgB,EAC5B,cAAc,IAAI,sBAAsB,GACzC,MAAM,mDAAmD,CAAA;AAC1D,OAAO,EACL,OAAO,IAAI,eAAe,EAC1B,OAAO,IAAI,eAAe,EAC1B,IAAI,IAAI,YAAY,GACrB,MAAM,yCAAyC,CAAA;AAEhD,8CAA8C;AAC9C,MAAM,CAAC,MAAM,IAAI,GAAG,WAAW,CAAC,MAAM,EAAE,YAAY,CAAC,CAAA;AACrD,iDAAiD;AACjD,MAAM,CAAC,MAAM,GAAG,GAAG,WAAW,CAAC,KAAK,EAAE,WAAW,CAAC,CAAA;AAClD,mEAAmE;AACnE,MAAM,CAAC,MAAM,OAAO,GAAG,WAAW,CAAC,SAAS,EAAE,eAAe,CAAC,CAAA;AAC9D,mEAAmE;AACnE,MAAM,CAAC,MAAM,OAAO,GAAG,WAAW,CAAC,SAAS,EAAE,eAAe,CAAC,CAAA;AAC9D,2CAA2C;AAC3C,MAAM,CAAC,MAAM,IAAI,GAAG,WAAW,CAAC,MAAM,EAAE,YAAY,CAAC,CAAA;AAErD,mDAAmD;AACnD,MAAM,CAAC,MAAM,SAAS,GAAG,WAAW,CAAC,WAAW,EAAE,iBAAiB,CAAC,CAAA;AAEpE;;;;GAIG;AACH,MAAM,CAAC,MAAM,MAAM,GAAG,WAAW,CAAC,QAAQ,EAAE,cAAc,CAAC,CAAA;AAE3D;;;;GAIG;AACH,MAAM,CAAC,MAAM,OAAO,GAAG,WAAW,CAAC,SAAS,EAAE,eAAe,CAAC,CAAA;AAE9D;;;GAGG;AACH,MAAM,CAAC,MAAM,YAAY,GAAG,WAAW,CAAC,cAAc,EAAE,oBAAoB,CAAC,CAAA;AAC7E,sFAAsF;AACtF,MAAM,CAAC,MAAM,UAAU,GAAG,WAAW,CAAC,YAAY,EAAE,kBAAkB,CAAC,CAAA;AAEvE;;;;;;;;GAQG;AACH,MAAM,CAAC,MAAM,WAAW,GAAG,WAAW,CAAC,aAAa,EAAE,mBAAmB,CAAC,CAAA;AAE1E;;;GAGG;AACH,MAAM,CAAC,MAAM,QAAQ,GAAG,WAAW,CAAC,UAAU,EAAE,gBAAgB,CAAC,CAAA;AAEjE,6EAA6E;AAC7E,+EAA+E;AAC/E,8EAA8E;AAC9E,2EAA2E;AAC3E,0EAA0E;AAC1E,8EAA8E;AAE9E,8EAA8E;AAC9E,MAAM,CAAC,MAAM,UAAU,GAAG,WAAW,CAAC,YAAY,EAAE,kBAAkB,CAAC,CAAA;AACvE,iHAAiH;AACjH,MAAM,CAAC,MAAM,eAAe,GAAG,WAAW,CAAC,iBAAiB,EAAE,mBAAmB,CAAC,CAAA;AAClF,uCAAuC;AACvC,MAAM,CAAC,MAAM,QAAQ,GAAG,WAAW,CAAC,UAAU,EAAE,gBAAgB,CAAC,CAAA;AACjE,6EAA6E;AAC7E,MAAM,CAAC,MAAM,YAAY,GAAG,WAAW,CAAC,cAAc,EAAE,oBAAoB,CAAC,CAAA;AAC7E,sFAAsF;AACtF,MAAM,CAAC,MAAM,QAAQ,GAAG,WAAW,CAAC,UAAU,EAAE,gBAAgB,CAAC,CAAA;AACjE,8CAA8C;AAC9C,MAAM,CAAC,MAAM,cAAc,GAAG,WAAW,CAAC,gBAAgB,EAAE,sBAAsB,CAAC,CAAA;AACnF,gEAAgE;AAChE,MAAM,CAAC,MAAM,iBAAiB,GAAG,WAAW,CAAC,mBAAmB,EAAE,yBAAyB,CAAC,CAAA;AAC5F,4EAA4E;AAC5E,MAAM,CAAC,MAAM,cAAc,GAAG,WAAW,CAAC,gBAAgB,EAAE,sBAAsB,CAAC,CAAA;AACnF,sFAAsF;AACtF,MAAM,CAAC,MAAM,wBAAwB,GAAG,WAAW,CAAC,0BAA0B,EAAE,gCAAgC,CAAC,CAAA;AACjH,+EAA+E;AAC/E,MAAM,CAAC,MAAM,cAAc,GAAG,WAAW,CAAC,gBAAgB,EAAE,sBAAsB,CAAC,CAAA;AACnF,4DAA4D;AAC5D,MAAM,CAAC,MAAM,YAAY,GAAG,WAAW,CAAC,cAAc,EAAE,oBAAoB,CAAC,CAAA;AAE7E,gFAAgF;AAChF,oFAAoF;AACpF,mFAAmF;AACnF,wEAAwE;AACxE,gFAAgF;AAEhF,OAAO,EACL,gBAAgB,IAAI,wBAAwB,EAC5C,gBAAgB,IAAI,wBAAwB,EAC5C,iBAAiB,IAAI,yBAAyB,GAC/C,MAAM,uCAAuC,CAAA;AAC9C,OAAO,EAAE,MAAM,IAAI,cAAc,EAAE,MAAM,+CAA+C,CAAA;AAExF;;;;GAIG;AACH,MAAM,CAAC,MAAM,gBAAgB,GAAG,WAAW,CAAC,kBAAkB,EAAE,wBAAwB,CAAC,CAAA;AACzF;;;;GAIG;AACH,MAAM,CAAC,MAAM,gBAAgB,GAAG,WAAW,CAAC,kBAAkB,EAAE,wBAAwB,CAAC,CAAA;AACzF;;;;GAIG;AACH,MAAM,CAAC,MAAM,iBAAiB,GAAG,WAAW,CAAC,mBAAmB,EAAE,yBAAyB,CAAC,CAAA;AAC5F;;;;GAIG;AACH,MAAM,CAAC,MAAM,MAAM,GAAG,WAAW,CAAC,QAAQ,EAAE,cAAc,CAAC,CAAA;AAW3D,gFAAgF;AAChF,qCAAqC;AACrC,gFAAgF;AAEhF,OAAO,EACL,QAAQ,EACR,QAAQ,EACR,QAAQ,EACR,WAAW,EACX,SAAS,EACT,SAAS,EACT,aAAa,EACb,SAAS,EACT,cAAc,GACf,MAAM,oDAAoD,CAAA;AAI3D,OAAO,EACL,aAAa,EACb,WAAW,EACX,aAAa,GACd,MAAM,iDAAiD,CAAA;AAExD,gFAAgF;AAChF,sCAAsC;AACtC,gFAAgF;AAEhF,OAAO,EAAE,OAAO,IAAI,QAAQ,EAAE,MAAM,6CAA6C,CAAA;AACjF,OAAO,EAAE,OAAO,IAAI,YAAY,EAAE,MAAM,iDAAiD,CAAA;AAEzF,OAAO,EACL,UAAU,EACV,WAAW,EACX,oBAAoB,EACpB,aAAa,EACb,gBAAgB,EAChB,iBAAiB,EACjB,aAAa,EACb,QAAQ,GACT,MAAM,qDAAqD,CAAA;AAE5D,OAAO,EAAE,IAAI,EAAE,MAAM,+CAA+C,CAAA;AACpE,OAAO,EAAE,WAAW,EAAE,MAAM,8CAA8C,CAAA;AAE1E,gFAAgF;AAChF,uCAAuC;AACvC,gFAAgF;AAEhF,OAAO,EACL,EAAE,EACF,GAAG,EACH,IAAI,EACJ,KAAK,EACL,MAAM,EACN,QAAQ,EACR,GAAG,EACH,OAAO,GACR,MAAM,sCAAsC,CAAA;AAG7C,OAAO,EACL,MAAM,EACN,MAAM,EACN,QAAQ,EACR,MAAM,EACN,QAAQ,EACR,SAAS,EACT,YAAY,GACb,MAAM,sCAAsC,CAAA;AAE7C,OAAO,EACL,WAAW,EACX,gBAAgB,EAChB,YAAY,GACb,MAAM,wCAAwC,CAAA;AAE/C,OAAO,EAAE,WAAW,EAAE,eAAe,EAAE,MAAM,sCAAsC,CAAA;AAGnF,OAAO,EAAE,OAAO,EAAE,OAAO,EAAE,MAAM,yCAAyC,CAAA;AAsB1E,gFAAgF;AAChF,mEAAmE;AACnE,EAAE;AACF,8EAA8E;AAC9E,2EAA2E;AAC3E,6EAA6E;AAC7E,8EAA8E;AAC9E,gCAAgC;AAChC,gFAAgF;AAEhF,OAAO,EACL,IAAI,IAAI,OAAO,EACf,IAAI,IAAI,OAAO,EACf,QAAQ,IAAI,WAAW,EACvB,IAAI,IAAI,OAAO,EACf,OAAO,IAAI,UAAU,GACtB,MAAM,gDAAgD,CAAA;AACvD,OAAO,EACL,SAAS,IAAI,YAAY,EACzB,cAAc,IAAI,cAAc,EAChC,cAAc,IAAI,iBAAiB,EACnC,QAAQ,IAAI,WAAW,EACvB,UAAU,IAAI,aAAa,GAC5B,MAAM,2CAA2C,CAAA;AAClD,OAAO,EAAE,WAAW,IAAI,cAAc,EAAE,MAAM,gDAAgD,CAAA;AAC9F,OAAO,EACL,eAAe,IAAI,kBAAkB,EACrC,aAAa,IAAI,gBAAgB,GAClC,MAAM,4CAA4C,CAAA;AACnD,OAAO,EAAE,SAAS,IAAI,YAAY,EAAE,MAAM,gDAAgD,CAAA;AAC1F,OAAO,EAAE,MAAM,IAAI,SAAS,EAAE,MAAM,gDAAgD,CAAA;AACpF,OAAO,EAAE,OAAO,IAAI,UAAU,EAAE,MAAM,0CAA0C,CAAA;AAChF,OAAO,EAAE,YAAY,IAAI,eAAe,EAAE,MAAM,6CAA6C,CAAA;AAC7F,OAAO,EAAE,OAAO,IAAI,UAAU,EAAE,MAAM,8CAA8C,CAAA;AAIpF,OAAO,EACL,OAAO,IAAI,IAAI,EACf,OAAO,IAAI,IAAI,EACf,WAAW,IAAI,QAAQ,EACvB,OAAO,IAAI,IAAI,EACf,UAAU,IAAI,OAAO,EACrB,YAAY,IAAI,SAAS,EACzB,cAAc,IAAI,cAAc,EAChC,iBAAiB,IAAI,cAAc,EACnC,WAAW,IAAI,QAAQ,EACvB,aAAa,IAAI,UAAU,EAC3B,cAAc,IAAI,WAAW,EAC7B,kBAAkB,IAAI,eAAe,EACrC,gBAAgB,IAAI,aAAa,EACjC,YAAY,IAAI,SAAS,EACzB,UAAU,IAAI,OAAO,EACrB,eAAe,IAAI,YAAY,EAC/B,UAAU,IAAI,OAAO,GACtB,CAAA;AAED,gFAAgF;AAChF,+EAA+E;AAC/E,4EAA4E;AAC5E,uDAAuD;AACvD;;;;;;;GAOG;AACH,MAAM,UAAU,MAAM,CACpB,KAAQ,EACR,KAAa,EACb,UAAsC,EAAE;IAExC,OAAO,SAAS,CAAC,KAAK,EAAE,KAAK,EAAE,OAAO,CAAC,EAAE,IAAI,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,OAAO,CAAC,IAAI,IAAI,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;AACrF,CAAC","sourcesContent":["/**\n * BREP-TS compatibility surface (P21).\n *\n * Projects the vendored BREP TS tree onto four stable groups so library authors\n * can write `import { box, fuse, Sketcher, ok } from this module` and call it\n * upstream-style:\n *\n *   ① op        — solid primitives + boolean / evolution operations\n *   ② topology  — sub-shape queries + measurements (plus the Bounds3D type)\n *   ③ sketching — stateful Sketcher / FaceSketcher DSL + drawing factories\n *   ④ combinators / types — result, vector, plane, errors, constants, types\n *\n * Every symbol is a projection (re-export or a thin dual-form wrapper) from the\n * ported tree: no reimplementation. The `.js` specifiers are the repo\n * convention (TypeScript maps `.js` → `.ts`).\n *\n * Semantic wraps (P23: both live in `api/internal/compat-projection.ts` so the\n * generated face and this hand-curated face share one mechanism):\n * - single-kernel assert: every modeling op asserts a bound BREP kernel first\n *   (see `assertKernelBound`); `getBackends()` may throw before configuration,\n *   so it is guarded and falls back to the occt-kernel binding flag.\n * - dual argument forms: object form normalizes to positional form via the\n *   shared `resolveArgs` discriminant; object keys outside the declared\n *   parameter table throw the shared `E_ARGS_FORM` token.\n * - `box` is the hand-written dual-form sample: positional\n *   `box(width, depth, height)` and `box({ size })` / `box({ width, depth,\n *   height })` both forward to the vendored primitive in its native dimension\n *   order (width = X, depth = Y, height = Z — confirm against\n *   `primitiveFns#box`), so every accepted form yields identical geometry.\n */\n\nimport { assertKernelBound, projectBrepOp } from '../internal/compat-projection'\nimport { isObjectForm } from '../internal/dual-form-args'\n\nimport type { ValidSolid } from '../../vendored/brepjs/core/shapeTypes.js'\n\n/** Signature of a compat op projection (inputs normalized before the call). */\ntype CompatOp = (...args: unknown[]) => unknown\n\n/**\n * Dual-form op wrapper (A-class): asserts the kernel, normalizes object form to\n * positional form via `resolveArgs`, then delegates to the vendored\n * implementation.\n *\n * P23: delegates to the shared {@link projectBrepOp} so the hand-curated face\n * and the generated face share one projection mechanism (§4.3.2).\n */\nfunction wrapDual<R>(\n  name: string,\n  params: string[],\n  impl: (...args: unknown[]) => R\n): CompatOp {\n  return projectBrepOp(name, params, 'A', impl as (...args: never[]) => unknown)\n}\n\n/**\n * Guard-only wrapper: forwards the arguments unchanged after the kernel assert.\n * Used for positional-first ops (booleans, evolutions) whose first argument is\n * a shape, so the object-form discriminant never applies. The exact function\n * type `F` (including its parameter and Result types) is preserved.\n */\nfunction wrapGuarded<F>(name: string, impl: F): F {\n  const fn: (...args: unknown[]) => unknown = (...args: unknown[]) => {\n    assertKernelBound(name)\n    return (impl as (...args: unknown[]) => unknown)(...args)\n  }\n  return fn as unknown as F\n}\n\n// ─────────────────────────────────────────────────────────────────────────────\n// ① primitives + booleans + evolutions\n// ─────────────────────────────────────────────────────────────────────────────\n\nimport {\n  box as primitiveBox,\n  sphere as primitiveSphere,\n  cylinder as primitiveCylinder,\n  cone as primitiveCone,\n  torus as primitiveTorus,\n  ellipsoid as primitiveEllipsoid,\n} from '../../vendored/brepjs/topology/primitiveFns.js'\n\n/**\n * Create a solid box.\n *\n * Positional form `box(width, depth, height)` uses the vendor's native\n * dimension order — X = width, Y = depth,\n * Z = height (the vendored `primitiveFns#box` dimension order; width/height are\n * NOT swapped). See the overload below for the object form.\n *\n * @param width - side length along X.\n * @param depth - side length along Y.\n * @param height - side length along Z.\n * @returns a new valid solid box.\n */\nexport function box(width: number, depth: number, height: number): ValidSolid\n/**\n * Create a solid box from an object form.\n *\n * Accepts `box({ size })` where `size` is a number (cube) or a\n * `[width, depth, height]` triple, or `box({ width, depth, height })`. Every\n * accepted form forwards to `primitiveBox(width, depth, height)`, so equal\n * dimension values always produce identical geometry.\n *\n * @param options - the dimension set: `size` (a cube edge or a triple) or\n * `width`/`depth`/`height` sides.\n * @returns a new valid solid box.\n * @throws An `Error` whose message contains the shared `E_ARGS_FORM` token when\n * no form matches (e.g. `box('x')`, `box()`, or unknown object keys).\n */\nexport function box(options: BoxDimensions): ValidSolid\nexport function box(...args: unknown[]): ValidSolid {\n  assertKernelBound('box')\n  if (isObjectForm(args)) {\n    const obj = args[0] as Record<string, unknown>\n    const keys = Object.keys(obj)\n    const unknownKeys = keys.filter((k) => !['size', 'width', 'depth', 'height'].includes(k))\n    if (unknownKeys.length > 0) throw boxArgError(args)\n    const size = obj.size\n    if (size !== undefined) {\n      if (typeof size === 'number') return primitiveBox(size, size, size)\n      if (Array.isArray(size) && size.length === 3) {\n        const [w, d, h] = size as [number, number, number]\n        return primitiveBox(w, d, h)\n      }\n      throw boxArgError(args)\n    }\n    const width = obj.width\n    const depth = obj.depth\n    const height = obj.height\n    if (typeof width === 'number' && typeof depth === 'number' && typeof height === 'number') {\n      return primitiveBox(width, depth, height)\n    }\n    throw boxArgError(args)\n  }\n  if (args.length === 3 && args.every((a) => typeof a === 'number')) {\n    const [w, d, h] = args as [number, number, number]\n    return primitiveBox(w, d, h)\n  }\n  throw boxArgError(args)\n}\n\n/** Object-form input accepted by {@link box}. */\nexport interface BoxDimensions {\n  /** All three sides as one number (cube) or a `[width, depth, height]` triple. */\n  size?: number | [number, number, number]\n  /** Side length along X. */\n  width?: number\n  /** Side length along Y. */\n  depth?: number\n  /** Side length along Z. */\n  height?: number\n}\n\n/** Shared E_ARGS_FORM error for {@link box} argument mismatches. */\nfunction boxArgError(args: unknown[]): Error {\n  return new Error(\n    '[compat:box] E_ARGS_FORM: expected box(width, depth, height), ' +\n      \"box({ size: number | [w, d, h] }) or box({ width, depth, height }); got \" +\n      args.map((a) => safeJson(a)).join(', ')\n  )\n}\n\n/** JSON stringification that never throws on cyclic or exotic values. */\nfunction safeJson(v: unknown): string {\n  try {\n    return JSON.stringify(v) ?? String(v)\n  } catch {\n    return '[unserializable]'\n  }\n}\n\n/**\n * Project the vendored `sphere(radius, options?)` verbatim (P25: the raw\n * morph form is what portable libraries call — upstream brepjs signatures,\n * no op projection).\n */\nexport { primitiveSphere as sphere }\n/** Project the vendored `cylinder(radius, height, options?)` verbatim. */\nexport { primitiveCylinder as cylinder }\n/** Project the vendored `cone(bottomRadius, topRadius, height, options?)`. */\nexport const cone = wrapDual(\n  'cone',\n  ['bottomRadius', 'topRadius', 'height'],\n  primitiveCone as CompatOp\n)\n/** Project the vendored `torus(majorRadius, minorRadius, options?)`. */\nexport const torus = wrapDual('torus', ['majorRadius', 'minorRadius'], primitiveTorus as CompatOp)\n/** Project the vendored `ellipsoid(rx, ry, rz, options?)`. */\nexport const ellipsoid = wrapDual('ellipsoid', ['rx', 'ry', 'rz'], primitiveEllipsoid as CompatOp)\n\nimport {\n  fuse as vendoredFuse,\n  cut as vendoredCut,\n  intersect as vendoredIntersect,\n  fillet as vendoredFillet,\n  chamfer as vendoredChamfer,\n  simplify as vendoredSimplify,\n} from '../../vendored/brepjs/topology/api.js'\nimport {\n  makeCompound as vendoredMakeCompound,\n  makeVertex as vendoredMakeVertex,\n} from '../../vendored/brepjs/topology/solidBuilders.js'\nimport { applyMatrix as vendoredApplyMatrix } from '../../vendored/brepjs/topology/transformFns.js'\nimport {\n  makeCircle as vendoredMakeCircle,\n  makeEllipse as vendoredMakeEllipse,\n  makeLine as vendoredMakeLine,\n  makeThreePointArc as vendoredMakeThreePointArc,\n  makeTangentArc as vendoredMakeTangentArc,\n  makeBSplineInterpolation as vendoredMakeBSplineInterpolation,\n  assembleWire as vendoredAssembleWire,\n} from '../../vendored/brepjs/topology/curveBuilders.js'\nimport {\n  curveTangentAt as vendoredCurveTangentAt,\n  curvePointAt as vendoredCurvePointAt,\n} from '../../vendored/brepjs/topology/curveFns.js'\nimport {\n  makeFace as vendoredMakeFace,\n  addHolesInFace as vendoredAddHolesInFace,\n} from '../../vendored/brepjs/topology/surfaceBuilders.js'\nimport {\n  extrude as vendoredExtrude,\n  revolve as vendoredRevolve,\n  loft as vendoredLoft,\n} from '../../vendored/brepjs/operations/api.js'\n\n/** Fuse two shapeables into one 3D result. */\nexport const fuse = wrapGuarded('fuse', vendoredFuse)\n/** Cut the second shapeable out of the first. */\nexport const cut = wrapGuarded('cut', vendoredCut)\n/** Extrude a planar profile along a height or direction vector. */\nexport const extrude = wrapGuarded('extrude', vendoredExtrude)\n/** Revolve a planar profile around an axis with optional angle. */\nexport const revolve = wrapGuarded('revolve', vendoredRevolve)\n/** Loft through a set of wire profiles. */\nexport const loft = wrapGuarded('loft', vendoredLoft)\n\n/** Intersect two shapeables (common 3D volume). */\nexport const intersect = wrapGuarded('intersect', vendoredIntersect)\n\n/**\n * Fillet all edges (2-arg form) or selected edges (3-arg form: edge array /\n * finder) of a valid solid. Selection form:\n * `fillet(shape, edgeHandles, radius)`.\n */\nexport const fillet = wrapGuarded('fillet', vendoredFillet)\n\n/**\n * Chamfer all edges (2-arg form) or selected edges (3-arg form) of a valid\n * solid. Selection form: `chamfer(shape, edgeHandles, distance)` where\n * distance is a symmetric length or an asymmetric `[d1, d2]` pair.\n */\nexport const chamfer = wrapGuarded('chamfer', vendoredChamfer)\n\n/**\n * Group shapes into a single Compound: `makeCompound(shapeArray)` (the\n * analogue of CadQuery's multi-solid compounds).\n */\nexport const makeCompound = wrapGuarded('makeCompound', vendoredMakeCompound)\n/** Single vertex at a point: `makeVertex([x, y, z])` (upstream `vertex(x, y, z)`). */\nexport const makeVertex = wrapGuarded('makeVertex', vendoredMakeVertex)\n\n/**\n * Apply a rigid affine transform to ANY shape — including compounds, which the\n * faijs `cad.translate` / `cad.rotate_euler` ops reject (\"input is not BREP\",\n * they require a solid). Needed by CadQuery's `Shape.moved(*locs)`, which can\n * move a multi-solid compound as a whole.\n *\n * Accepts the `{ linear, translation }` form of `MatrixInput`: `linear` is the\n * row-major 3x3 rotation, `translation` is applied after it (p -> R·p + t).\n */\nexport const applyMatrix = wrapGuarded('applyMatrix', vendoredApplyMatrix)\n\n/**\n * Merge same-domain faces/edges (unifySameDomain) — the analogue of\n * CadQuery's `clean=True` boolean post-processing.\n */\nexport const simplify = wrapGuarded('simplify', vendoredSimplify)\n\n// ── 2D profile construction (CadQuery pending-wire parity) ────────────────\n// Circles/lines → edges → wires → (holed) faces. These are the building blocks\n// CadQuery uses for its `pendingWires` stack: an outer wire plus zero or more\n// inner wires becomes ONE face with holes, which is then extruded. Without\n// `makeFace(wire, holes)` a nested `circle(4).circle(2)` would have to be\n// approximated by a boolean difference and would not match upstream topology.\n\n/** Circular edge: `makeCircle(radius, center?, normal?)` — closed, planar. */\nexport const makeCircle = wrapGuarded('makeCircle', vendoredMakeCircle)\n/** Elliptical edge: `makeEllipseEdge(majorRadius, minorRadius, center?, normal?, xDir?)`. Returns a `Result`. */\nexport const makeEllipseEdge = wrapGuarded('makeEllipseEdge', vendoredMakeEllipse)\n/** Straight edge from `v1` to `v2`. */\nexport const makeLine = wrapGuarded('makeLine', vendoredMakeLine)\n/** Assemble edges/wires into a single connected wire. Returns a `Result`. */\nexport const assembleWire = wrapGuarded('assembleWire', vendoredAssembleWire)\n/** Planar face from a closed wire, optionally with hole wires. Returns a `Result`. */\nexport const makeFace = wrapGuarded('makeFace', vendoredMakeFace)\n/** Punch hole wires into an existing face. */\nexport const addHolesInFace = wrapGuarded('addHolesInFace', vendoredAddHolesInFace)\n/** Circular arc edge through three points (start, mid, end). */\nexport const makeThreePointArc = wrapGuarded('makeThreePointArc', vendoredMakeThreePointArc)\n/** Circular arc edge from a start point + start tangent to an end point. */\nexport const makeTangentArc = wrapGuarded('makeTangentArc', vendoredMakeTangentArc)\n/** Interpolated cubic B-spline edge through every input point. Returns a `Result`. */\nexport const makeBSplineInterpolation = wrapGuarded('makeBSplineInterpolation', vendoredMakeBSplineInterpolation)\n/** Tangent vector of an edge/wire curve at a normalized position (1 = end). */\nexport const curveTangentAt = wrapGuarded('curveTangentAt', vendoredCurveTangentAt)\n/** Point on an edge/wire curve at a normalized position. */\nexport const curvePointAt = wrapGuarded('curvePointAt', vendoredCurvePointAt)\n\n// ─────────────────────────────────────────────────────────────────────────────\n// ①b library-building factories (P24, §8.1): spur gears, planetary trains, threads.\n// Both morphs of these factories are brep-only builders gated by the single-kernel\n// assert (wrapGuarded); the kernel is bound at the host boundary (D10).\n// ─────────────────────────────────────────────────────────────────────────────\n\nimport {\n  makeExternalGear as vendoredMakeExternalGear,\n  makeInternalGear as vendoredMakeInternalGear,\n  makePlanetaryGear as vendoredMakePlanetaryGear,\n} from '../../vendored/brepjs/gear/gearFns.js'\nimport { thread as vendoredThread } from '../../vendored/brepjs/operations/threadFns.js'\n\n/**\n * Build an external spur gear.\n * @param params - the external-gear parameters (`teeth`, `moduleSize`, `thickness`, …).\n * @returns `Ok` with the gear solid + geometry, or `Err` for invalid parameters.\n */\nexport const makeExternalGear = wrapGuarded('makeExternalGear', vendoredMakeExternalGear)\n/**\n * Build an internal (ring) spur gear.\n * @param params - the internal-gear parameters, including the optional ring wall thickness.\n * @returns `Ok` with the gear solid + geometry, or `Err` for invalid parameters.\n */\nexport const makeInternalGear = wrapGuarded('makeInternalGear', vendoredMakeInternalGear)\n/**\n * Build a planetary gear train (sun + planets + ring).\n * @param params - the planetary-gear parameters.\n * @returns `Ok` with the sun/planet/ring solids and mesh diagnostics, or `Err`.\n */\nexport const makePlanetaryGear = wrapGuarded('makePlanetaryGear', vendoredMakePlanetaryGear)\n/**\n * Build a helical screw-thread ridge.\n * @param options - the thread profile (`radius`, `pitch`, `height`, …).\n * @returns `Ok` with the thread-ridge solid, or `Err` for invalid parameters.\n */\nexport const thread = wrapGuarded('thread', vendoredThread)\n\nexport type {\n  ExternalGearParams,\n  InternalGearParams,\n  PlanetaryGearParams,\n  GearResult,\n  PlanetaryGearAssembly,\n} from '../../vendored/brepjs/gear/gearFns.js'\nexport type { ThreadOptions } from '../../vendored/brepjs/operations/threadFns.js'\n\n// ─────────────────────────────────────────────────────────────────────────────\n// ② sub-shape queries + measurements\n// ─────────────────────────────────────────────────────────────────────────────\n\nexport {\n  getEdges,\n  getFaces,\n  getWires,\n  getVertices,\n  getShells,\n  getSolids,\n  getCompSolids,\n  getBounds,\n  vertexPosition,\n} from '../../vendored/brepjs/topology/topologyQueryFns.js'\n\nexport type { Bounds3D } from '../../vendored/brepjs/topology/topologyQueryFns.js'\n\nexport {\n  measureVolume,\n  measureArea,\n  measureLength,\n} from '../../vendored/brepjs/measurement/measureFns.js'\n\n// ─────────────────────────────────────────────────────────────────────────────\n// ③ sketching DSL + drawing factories\n// ─────────────────────────────────────────────────────────────────────────────\n\nexport { default as Sketcher } from '../../vendored/brepjs/sketching/sketcher.js'\nexport { default as FaceSketcher } from '../../vendored/brepjs/sketching/faceSketcher.js'\n\nexport {\n  drawCircle,\n  drawEllipse,\n  drawRoundedRectangle,\n  drawRectangle,\n  drawSingleCircle,\n  drawSingleEllipse,\n  drawPolysides,\n  drawText,\n} from '../../vendored/brepjs/sketching/drawingFactories.js'\n\nexport { draw } from '../../vendored/brepjs/sketching/drawingPen.js'\nexport { makeBaseBox } from '../../vendored/brepjs/sketching/shortcuts.js'\n\n// ─────────────────────────────────────────────────────────────────────────────\n// ④ combinators / pure helpers / types\n// ─────────────────────────────────────────────────────────────────────────────\n\nexport {\n  ok,\n  err,\n  isOk,\n  isErr,\n  unwrap,\n  unwrapOr,\n  map,\n  andThen,\n} from '../../vendored/brepjs/core/result.js'\nexport type { Result, Ok, Err } from '../../vendored/brepjs/core/result.js'\n\nexport {\n  vecAdd,\n  vecSub,\n  vecScale,\n  vecDot,\n  vecCross,\n  vecLength,\n  vecNormalize,\n} from '../../vendored/brepjs/core/vecOps.js'\n\nexport {\n  createPlane,\n  createNamedPlane,\n  resolvePlane,\n} from '../../vendored/brepjs/core/planeOps.js'\n\nexport { kernelError, validationError } from '../../vendored/brepjs/core/errors.js'\nexport type { BrepError } from '../../vendored/brepjs/core/errors.js'\n\nexport { DEG2RAD, RAD2DEG } from '../../vendored/brepjs/core/constants.js'\n\nexport type {\n  Vertex,\n  Edge,\n  Wire,\n  Face,\n  Shell,\n  Solid,\n  CompSolid,\n  Shape3D,\n  ValidSolid,\n  ClosedWire,\n  AnyShape,\n} from '../../vendored/brepjs/core/shapeTypes.js'\n\nexport type { GearGeometry } from '../../vendored/brepjs/gear/gearMath.js'\n\nexport type { Plane, PlaneName, PlaneInput } from '../../vendored/brepjs/core/planeTypes.js'\n\nexport type { Vec3, PointInput } from '../../vendored/brepjs/core/types.js'\n\n// ─────────────────────────────────────────────────────────────────────────────\n// ⑤ raw 2D-morph + transform + face ports (P25: sheetmetal 单一说明符面)\n//\n// The sheetmetal authoring path consumes the vendored morph semantics exactly\n// (handles in, handles out, `Result` only where the vendored chain returns\n// one). These are projected verbatim from the ported tree — same names, same\n// signatures as upstream brepjs — so portable library sources only change the\n// import specifier line (§8.2).\n// ─────────────────────────────────────────────────────────────────────────────\n\nimport {\n  line as rawLine,\n  wire as rawWire,\n  wireLoop as rawWireLoop,\n  face as rawFace,\n  polygon as rawPolygon,\n} from '../../vendored/brepjs/topology/primitiveFns.js'\nimport {\n  outerWire as rawOuterWire,\n  getSurfaceType as rawSurfaceType,\n  pointOnSurface as rawPointOnSurface,\n  normalAt as rawNormalAt,\n  faceCenter as rawFaceCenter,\n} from '../../vendored/brepjs/topology/faceFns.js'\nimport { sharedEdges as rawSharedEdges } from '../../vendored/brepjs/topology/adjacencyFns.js'\nimport {\n  curveStartPoint as rawCurveStartPoint,\n  curveEndPoint as rawCurveEndPoint,\n} from '../../vendored/brepjs/topology/curveFns.js'\nimport { translate as rawTranslate } from '../../vendored/brepjs/topology/transformFns.js'\nimport { rotate as rawRotate } from '../../vendored/brepjs/topology/transformFns.js'\nimport { isSolid as rawIsSolid } from '../../vendored/brepjs/core/shapeTypes.js'\nimport { isPlanarWire as rawIsPlanarWire } from '../../vendored/brepjs/core/validityTypes.js'\nimport { isValid as rawIsValid } from '../../vendored/brepjs/topology/healingFns.js'\nimport type { AnyShape } from '../../vendored/brepjs/core/shapeTypes.js'\nimport type { Vec3 } from '../../vendored/brepjs/core/types.js'\n\nexport {\n  rawLine as line,\n  rawWire as wire,\n  rawWireLoop as wireLoop,\n  rawFace as face,\n  rawPolygon as polygon,\n  rawOuterWire as outerWire,\n  rawSurfaceType as getSurfaceType,\n  rawPointOnSurface as pointOnSurface,\n  rawNormalAt as normalAt,\n  rawFaceCenter as faceCenter,\n  rawSharedEdges as sharedEdges,\n  rawCurveStartPoint as curveStartPoint,\n  rawCurveEndPoint as curveEndPoint,\n  rawTranslate as translate,\n  rawIsSolid as isSolid,\n  rawIsPlanarWire as isPlanarWire,\n  rawIsValid as isValid,\n}\n\n// Upstream brepjs 18's `rotate` takes an axis through an `{ at, axis }` options\n// object; the vendored tree (P5-locked commit) is the four-argument positional\n// form. Export the upstream-aligned wrap so library code written for brepjs\n// rotates with `rotate(shape, angle, { at?, axis? })`.\n/**\n * Rotate a shape by an angle in degrees around an axis.\n * @param shape - The shape to rotate.\n * @param angle - Rotation angle in degrees.\n * @param options - Axis and pivot (`at`) for the rotation; defaults to the Z\n * axis through the origin, matching upstream brepjs.\n * @returns A new rotated shape.\n */\nexport function rotate<T extends AnyShape>(\n  shape: T,\n  angle: number,\n  options: { at?: Vec3; axis?: Vec3 } = {}\n): T {\n  return rawRotate(shape, angle, options.at ?? [0, 0, 0], options.axis ?? [0, 0, 1]);\n}"]}

package/dist/api/chamfer-math.d.ts

@@ -0,0 +1,46 @@
+/**
+ * chamfer-math — 倒角纯函数（无 wasm 依赖，T-A1 / §3.5）
+ *
+ * twoDistances 的几何换算：occt-wasm 只暴露 `AddDA(Dis, Ang, E, F)`，双距必须换算
+ * 成「沿参考面距离 + 角度」。换算基于边垂直截面内的三角形关系（§3.5）：
+ *
+ *   材料侧二面角 β（凸棱 β < 180；凹棱 β >= 180 → 不支持，抛 E_CLAMBER_REFLEX）
+ *   参考面 F（内核 TopExp 枚举序第一个含该边的面）上截距 dF，另一面 O 上截距 dO
+ *   倒角面与 F 的夹角 θ。正弦定理：dO/sin θ = dF/sin(β+θ)
+ *   → dO = dF·sin θ / sin(β+θ)；反解 θ = atan2(dO·sin β, dF − dO·cos β)
+ *
+ * 本模块只做纯数值（不碰内核），供 chamferBrep 与 T-A1 复用。
+ */
+/**
+ * 由两相邻面外法向的夹角（γ，弧度）求材料侧二面角 β（弧度）。
+ *
+ * @param normalAngleRad - γ = acos(clamp(n1·n2))，两外法向夹角（弧度）。
+ * @returns 材料侧二面角 β = π − γ（弧度；凸棱时 0 < β < π）。
+ */
+export declare function materialDihedralFromNormalAngle(normalAngleRad: number): number;
+/**
+ * 两向量点积映射到 [0, π] 的夹角（弧度）——对 acos 的 clamp 提出为纯函数。
+ *
+ * @param dotN - n1·n2（未归一）。
+ * @returns 夹角 γ = acos(clamp(dotN, −1, 1))。
+ */
+export declare function angleBetweenNormals(dotN: number): number;
+/**
+ * twoDistances → chamferDistAngle 的换算（θ 反解，§3.5）。
+ *
+ * @param dF - 沿参考面 F 的距离（通过 Edges → kernel选F 后与 width1/width2 对应）。
+ * @param dO - 沿另一面 O 的距离。
+ * @param betaRad - 材料侧二面角 β（弧度）。
+ * @returns 倒角面与 F 的夹角 θ（弧度）；凹棱（β ≥ π − EPS）抛错。
+ */
+export declare function chamferAngleFromDistances(dF: number, dO: number, betaRad: number): number;
+/**
+ * 反向校验：θ 代回前式，必须还原 dO（§3.5 自检表的 dO_check 行）。
+ *
+ * @param dF - 沿参考面的距离。
+ * @param thetaRad - 换算得到的倒角面与 F 的夹角。
+ * @param betaRad - 材料侧二面角。
+ * @returns 校验的 dO = dF·sinθ / sin(β+θ)。
+ */
+export declare function chamferCheckDO(dF: number, thetaRad: number, betaRad: number): number;
+//# sourceMappingURL=chamfer-math.d.ts.map

package/dist/api/chamfer-math.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"chamfer-math.d.ts","sourceRoot":"","sources":["../../src/api/chamfer-math.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AAEH;;;;;GAKG;AACH,wBAAgB,+BAA+B,CAAC,cAAc,EAAE,MAAM,GAAG,MAAM,CAE9E;AAED;;;;;GAKG;AACH,wBAAgB,mBAAmB,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,CAGxD;AAED;;;;;;;GAOG;AACH,wBAAgB,yBAAyB,CAAC,EAAE,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,GAAG,MAAM,CAOzF;AAED;;;;;;;GAOG;AACH,wBAAgB,cAAc,CAAC,EAAE,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,GAAG,MAAM,CAEpF"}

package/dist/api/chamfer-math.js

@@ -0,0 +1,60 @@
+/**
+ * chamfer-math — 倒角纯函数（无 wasm 依赖，T-A1 / §3.5）
+ *
+ * twoDistances 的几何换算：occt-wasm 只暴露 `AddDA(Dis, Ang, E, F)`，双距必须换算
+ * 成「沿参考面距离 + 角度」。换算基于边垂直截面内的三角形关系（§3.5）：
+ *
+ *   材料侧二面角 β（凸棱 β < 180；凹棱 β >= 180 → 不支持，抛 E_CLAMBER_REFLEX）
+ *   参考面 F（内核 TopExp 枚举序第一个含该边的面）上截距 dF，另一面 O 上截距 dO
+ *   倒角面与 F 的夹角 θ。正弦定理：dO/sin θ = dF/sin(β+θ)
+ *   → dO = dF·sin θ / sin(β+θ)；反解 θ = atan2(dO·sin β, dF − dO·cos β)
+ *
+ * 本模块只做纯数值（不碰内核），供 chamferBrep 与 T-A1 复用。
+ */
+/**
+ * 由两相邻面外法向的夹角（γ，弧度）求材料侧二面角 β（弧度）。
+ *
+ * @param normalAngleRad - γ = acos(clamp(n1·n2))，两外法向夹角（弧度）。
+ * @returns 材料侧二面角 β = π − γ（弧度；凸棱时 0 < β < π）。
+ */
+export function materialDihedralFromNormalAngle(normalAngleRad) {
+    return Math.PI - normalAngleRad;
+}
+/**
+ * 两向量点积映射到 [0, π] 的夹角（弧度）——对 acos 的 clamp 提出为纯函数。
+ *
+ * @param dotN - n1·n2（未归一）。
+ * @returns 夹角 γ = acos(clamp(dotN, −1, 1))。
+ */
+export function angleBetweenNormals(dotN) {
+    const c = Math.max(-1, Math.min(1, dotN));
+    return Math.acos(c);
+}
+/**
+ * twoDistances → chamferDistAngle 的换算（θ 反解，§3.5）。
+ *
+ * @param dF - 沿参考面 F 的距离（通过 Edges → kernel选F 后与 width1/width2 对应）。
+ * @param dO - 沿另一面 O 的距离。
+ * @param betaRad - 材料侧二面角 β（弧度）。
+ * @returns 倒角面与 F 的夹角 θ（弧度）；凹棱（β ≥ π − EPS）抛错。
+ */
+export function chamferAngleFromDistances(dF, dO, betaRad) {
+    if (betaRad >= Math.PI - 1e-9) {
+        throw new Error('E_CHAMFER_REFLEX_EDGE: reflex (inner) edges are not supported in V1');
+    }
+    const sinB = Math.sin(betaRad);
+    const cosB = Math.cos(betaRad);
+    return Math.atan2(dO * sinB, dF - dO * cosB);
+}
+/**
+ * 反向校验：θ 代回前式，必须还原 dO（§3.5 自检表的 dO_check 行）。
+ *
+ * @param dF - 沿参考面的距离。
+ * @param thetaRad - 换算得到的倒角面与 F 的夹角。
+ * @param betaRad - 材料侧二面角。
+ * @returns 校验的 dO = dF·sinθ / sin(β+θ)。
+ */
+export function chamferCheckDO(dF, thetaRad, betaRad) {
+    return (dF * Math.sin(thetaRad)) / Math.sin(betaRad + thetaRad);
+}
+//# sourceMappingURL=chamfer-math.js.map

package/dist/api/chamfer-math.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"chamfer-math.js","sourceRoot":"","sources":["../../src/api/chamfer-math.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AAEH;;;;;GAKG;AACH,MAAM,UAAU,+BAA+B,CAAC,cAAsB;IACpE,OAAO,IAAI,CAAC,EAAE,GAAG,cAAc,CAAA;AACjC,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,mBAAmB,CAAC,IAAY;IAC9C,MAAM,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,CAAA;IACzC,OAAO,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAA;AACrB,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,UAAU,yBAAyB,CAAC,EAAU,EAAE,EAAU,EAAE,OAAe;IAC/E,IAAI,OAAO,IAAI,IAAI,CAAC,EAAE,GAAG,IAAI,EAAE,CAAC;QAC9B,MAAM,IAAI,KAAK,CAAC,qEAAqE,CAAC,CAAA;IACxF,CAAC;IACD,MAAM,IAAI,GAAG,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC,CAAA;IAC9B,MAAM,IAAI,GAAG,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC,CAAA;IAC9B,OAAO,IAAI,CAAC,KAAK,CAAC,EAAE,GAAG,IAAI,EAAE,EAAE,GAAG,EAAE,GAAG,IAAI,CAAC,CAAA;AAC9C,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,UAAU,cAAc,CAAC,EAAU,EAAE,QAAgB,EAAE,OAAe;IAC1E,OAAO,CAAC,EAAE,GAAG,IAAI,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,OAAO,GAAG,QAAQ,CAAC,CAAA;AACjE,CAAC","sourcesContent":["/**\n * chamfer-math — 倒角纯函数（无 wasm 依赖，T-A1 / §3.5）\n *\n * twoDistances 的几何换算：occt-wasm 只暴露 `AddDA(Dis, Ang, E, F)`，双距必须换算\n * 成「沿参考面距离 + 角度」。换算基于边垂直截面内的三角形关系（§3.5）：\n *\n *   材料侧二面角 β（凸棱 β < 180；凹棱 β >= 180 → 不支持，抛 E_CLAMBER_REFLEX）\n *   参考面 F（内核 TopExp 枚举序第一个含该边的面）上截距 dF，另一面 O 上截距 dO\n *   倒角面与 F 的夹角 θ。正弦定理：dO/sin θ = dF/sin(β+θ)\n *   → dO = dF·sin θ / sin(β+θ)；反解 θ = atan2(dO·sin β, dF − dO·cos β)\n *\n * 本模块只做纯数值（不碰内核），供 chamferBrep 与 T-A1 复用。\n */\n\n/**\n * 由两相邻面外法向的夹角（γ，弧度）求材料侧二面角 β（弧度）。\n *\n * @param normalAngleRad - γ = acos(clamp(n1·n2))，两外法向夹角（弧度）。\n * @returns 材料侧二面角 β = π − γ（弧度；凸棱时 0 < β < π）。\n */\nexport function materialDihedralFromNormalAngle(normalAngleRad: number): number {\n  return Math.PI - normalAngleRad\n}\n\n/**\n * 两向量点积映射到 [0, π] 的夹角（弧度）——对 acos 的 clamp 提出为纯函数。\n *\n * @param dotN - n1·n2（未归一）。\n * @returns 夹角 γ = acos(clamp(dotN, −1, 1))。\n */\nexport function angleBetweenNormals(dotN: number): number {\n  const c = Math.max(-1, Math.min(1, dotN))\n  return Math.acos(c)\n}\n\n/**\n * twoDistances → chamferDistAngle 的换算（θ 反解，§3.5）。\n *\n * @param dF - 沿参考面 F 的距离（通过 Edges → kernel选F 后与 width1/width2 对应）。\n * @param dO - 沿另一面 O 的距离。\n * @param betaRad - 材料侧二面角 β（弧度）。\n * @returns 倒角面与 F 的夹角 θ（弧度）；凹棱（β ≥ π − EPS）抛错。\n */\nexport function chamferAngleFromDistances(dF: number, dO: number, betaRad: number): number {\n  if (betaRad >= Math.PI - 1e-9) {\n    throw new Error('E_CHAMFER_REFLEX_EDGE: reflex (inner) edges are not supported in V1')\n  }\n  const sinB = Math.sin(betaRad)\n  const cosB = Math.cos(betaRad)\n  return Math.atan2(dO * sinB, dF - dO * cosB)\n}\n\n/**\n * 反向校验：θ 代回前式，必须还原 dO（§3.5 自检表的 dO_check 行）。\n *\n * @param dF - 沿参考面的距离。\n * @param thetaRad - 换算得到的倒角面与 F 的夹角。\n * @param betaRad - 材料侧二面角。\n * @returns 校验的 dO = dF·sinθ / sin(β+θ)。\n */\nexport function chamferCheckDO(dF: number, thetaRad: number, betaRad: number): number {\n  return (dF * Math.sin(thetaRad)) / Math.sin(betaRad + thetaRad)\n}"]}

package/dist/api/chamfer.d.ts

@@ -0,0 +1,63 @@
+/**
+ * stdlib chamfer — chamfer 倒角库函数（BREP-only，directEdit 能力）
+ *
+ *
+ * 与 drill/engrave 的差异：没有 mesh 实现（defineOp({ brep })），输入非 BREP
+ * 时由 dispatchPath 抛 E_MESH_UNSUPPORTED；mode='brep' 且引擎缺 directEdit 能力
+ * → E_BREP_UNSUPPORTED（backend-dispatch.ts 单点判定）。
+ *
+ * 类型：
+ * - equal（对称）：kernel.chamfer(solid, edges, width)
+ * - distanceAngle：kernel.chamferDistAngle(solid, edges, width, angle)
+ * - twoDistances（双距）：逐边按 §3.5 换算（width1,width2 + β → dF, θ），
+ *     per-edge 调 kernel.chamferDistAngle；凹棱（β ≥ 180°）→ E_CHAMFER_REFLEX_EDGE。
+ */
+import type { Shape } from '../mesh/types.js';
+import type { BrepEngineApi } from '../brep/engine/primitives.js';
+import type { ResolutionContext } from '../topology/naming/index.js';
+/**
+ * Validate chamfer parameters: `edges` must be a non-empty array of EdgeTopoRef,
+ * each with kind key "edge" and a two-entry faces pair.
+ * @param params the raw chamfer operation parameters.
+ */
+export declare function assertChamferParams(params: Record<string, unknown>): void;
+/**
+ * twoDistances 单边换算：width1/width2 + β（§3.5）→ (dF, θ) 供一次 chamferDistAngle。
+ * 参考面由内核自选（refOrdinal 的面）；width1 对应 faces[0] 侧、width2 对应 faces[1] 侧。
+ *
+ * @param kernel        the OCCT kernel.
+ * @param ctx           the edge resolution context (faces with live handles).
+ * @param refAOrdinal   resolved ordinal of `EdgeTopoRef.faces[0]` (1-based).
+ * @param refBOrdinal   resolved ordinal of `EdgeTopoRef.faces[1]` (1-based).
+ * @param refOrdinal    the kernel reference face ordinal (1-based; the F in §3.5).
+ * @param width1        the `width1` argument.
+ * @param width2        the `width2` argument.
+ * @returns { dF, angleDeg } for a single `kernel.chamferDistAngle` call.
+ */
+export declare function twoDistParams(kernel: BrepEngineApi, ctx: ResolutionContext, refAOrdinal: number, refBOrdinal: number, refOrdinal: number, width1: number, width2: number): {
+    distance: number;
+    angleDeg: number;
+};
+/**
+ * 在几何体上倒角（等距 / 双距 / 距角）。仅 BREP 可用。
+ * @group 特征
+ * @inputs 1
+ * @async true
+ * @qual ok
+ * @name chamfer
+ * @note 倒角是 BREP-only：非 BREP 输入抛 E_MESH_UNSUPPORTED。参考面由内核自选，`width1` 沿 faces[0] 侧、`width2` 沿 faces[1] 侧。
+ * @returns Shape 倒角后的几何。
+ * @param input - 目标几何。type:Shape required:true
+ * @param params.edges - 参与倒角的边（EdgeTopoRef[]，条目为相邻两面的 role 线路）。type:EdgeTopoRef[] required:true
+ * @param params.type - 倒角类型（equal | twoDistances | distanceAngle）。type:string required:true
+ * @param params.width - type=equal: 倒角宽度（mm）。type:number 默认 1
+ * @param params.width1 - type=twoDistances: 沿 faces[0] 侧距离（mm）。type:number
+ * @param params.width2 - type=twoDistances: 沿 faces[1] 侧距离（mm）。type:number
+ * @param params.angle - type=distanceAngle: 与参考面夹角（度，(0,90)）。type:number
+ * @example
+ * const p = await cad.chamfer(part0, { edges: [{ kind:'edge', faces:[{ origin:'box', role:'box:top' }, { origin:'box', role:'box:front' }], hint:{ kind:'edge' } }], type:'equal', width:1 })
+ */
+export declare const chamfer: ((input: Shape, params: Record<string, unknown>) => Promise<Shape>) & {
+    __faijs__dualOp?: import("../define-op.js").DualOpMeta;
+};
+//# sourceMappingURL=chamfer.d.ts.map

package/dist/api/chamfer.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"chamfer.d.ts","sourceRoot":"","sources":["../../src/api/chamfer.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;GAaG;AAEH,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,eAAe,CAAA;AAM1C,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,2BAA2B,CAAA;AAE9D,OAAO,KAAK,EAAe,iBAAiB,EAAE,MAAM,oBAAoB,CAAA;AAOxE;;;;GAIG;AACH,wBAAgB,mBAAmB,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG,IAAI,CAuCzE;AAyCD;;;;;;;;;;;;GAYG;AACH,wBAAgB,aAAa,CAC3B,MAAM,EAAE,aAAa,EACrB,GAAG,EAAE,iBAAiB,EACtB,WAAW,EAAE,MAAM,EACnB,WAAW,EAAE,MAAM,EACnB,UAAU,EAAE,MAAM,EAClB,MAAM,EAAE,MAAM,EACd,MAAM,EAAE,MAAM,GACb;IAAE,QAAQ,EAAE,MAAM,CAAC;IAAC,QAAQ,EAAE,MAAM,CAAA;CAAE,CAgBxC;AAgGD;;;;;;;;;;;;;;;;;;GAkBG;AACH,eAAO,MAAM,OAAO;;CAMlB,CAAA"}