@faicad/faijs 0.13.0

package/dist/api/copy.d.ts

@@ -0,0 +1,39 @@
+/**
+ * stdlib copy — 深拷贝几何（方案 B：独立新对象，源不变）
+ *
+ *
+ * copy 是"共享读取"（克隆出新对象，源不变），与 drill/transform 的"独占改写"本质不同：
+ * - **copy 不消费其源**（从消费方排除，与 group/assembly 同级）
+ * - copy 输出是独立新对象 → 归"新名"类（allocate-id.ts 不保名）
+ * - **源显示**（part0=box; part1=copy(part0) → 画布显示 box 和副本两份）
+ *
+ * 双链路：
+ * - mesh 路径：深拷贝 positions/indices 到新数组
+ * - BREP 路径：kernel.copy(inputSolid) → solidToShape → fromBrep 登记
+ */
+import type { Shape } from '../mesh/types.js';
+/**
+ * `cad.copy(input)` → 深拷贝 Shape。
+ *
+ * 函数体 keep 声明（keep-syntax 设计 §2.5）：copy 保留其源（可见）——
+ * keep(input) 使源变量保持终端（画布显示 box 和副本两份）。
+ *
+ * mesh 路径：positions/indices 复制到新数组（改副本不影响源）。
+ * BREP 路径：kernel.copy 产出独立 ShapeHandle。
+ */
+/**
+ * 深拷贝几何为独立新对象（源不变，源与副本都显示）。
+ * @group 特征
+ * @inputs 1
+ * @async false
+ * @qual ok
+ * @name copy
+ * @param input - 源几何。type:Shape required:true
+ * @returns Shape 源几何的深拷贝。copy 不消费其源（画布显示 box 和副本两份），改副本不影响源。
+ * @example
+ * const part1 = cad.copy(part0)
+  */
+export declare const copy: ((input: Shape) => Promise<Shape>) & {
+    __faijs__dualOp?: import("../define-op.js").DualOpMeta;
+};
+//# sourceMappingURL=copy.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"copy.d.ts","sourceRoot":"","sources":["../../src/api/copy.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AAEH,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,eAAe,CAAA;AAmC1C;;;;;;;;GAQG;AACH;;;;;;;;;;;IAWI;AACJ,eAAO,MAAM,IAAI;;CAef,CAAA"}

package/dist/api/copy.js

@@ -0,0 +1,81 @@
+/**
+ * stdlib copy — 深拷贝几何（方案 B：独立新对象，源不变）
+ *
+ *
+ * copy 是"共享读取"（克隆出新对象，源不变），与 drill/transform 的"独占改写"本质不同：
+ * - **copy 不消费其源**（从消费方排除，与 group/assembly 同级）
+ * - copy 输出是独立新对象 → 归"新名"类（allocate-id.ts 不保名）
+ * - **源显示**（part0=box; part1=copy(part0) → 画布显示 box 和副本两份）
+ *
+ * 双链路：
+ * - mesh 路径：深拷贝 positions/indices 到新数组
+ * - BREP 路径：kernel.copy(inputSolid) → solidToShape → fromBrep 登记
+ */
+import { solidToShape } from '../brep/brep-ops.js';
+import { identityEvolution, identityHashEvolution } from '../brep/face-evolution.js';
+import { getBackends, keep } from '../runtime-state.js';
+import { fromBrep, brepOf, getSlot } from '../shape.js';
+import { propagateAllOrigins } from '../topology/naming/roles.js';
+import { defineOp } from '../sdk.js';
+/** BREP 路径：kernel.copy 深拷贝实体 + 恒等面演化 + 恒等 roleTable 传播 + fromBrep 一次登记。 */
+function copyBrep(input) {
+    const kernel = getBackends().kernel.brep;
+    if (!kernel)
+        throw new Error('[stdlib/copy] no OCCT kernel');
+    const inputSolid = brepOf(input);
+    if (!inputSolid)
+        throw new Error('[stdlib/copy] input is not BREP');
+    const copiedSolid = kernel.copy(inputSolid);
+    // §2.4/§3.3：copy 面 1:1 保留——hash 恒等传播 roleTable（所有 origin）
+    const inputTable = getSlot(input)?.roleTable;
+    let roleTable;
+    if (inputTable && inputTable.size > 0) {
+        roleTable = propagateAllOrigins(inputTable, identityHashEvolution(kernel, inputSolid, copiedSolid));
+    }
+    return fromBrep(solidToShape(kernel, copiedSolid), {
+        solid: copiedSolid,
+        // copy 不改变拓扑，面 ordinal 不变
+        faceEvolution: identityEvolution(kernel, copiedSolid),
+        roleTable,
+    });
+}
+/**
+ * `cad.copy(input)` → 深拷贝 Shape。
+ *
+ * 函数体 keep 声明（keep-syntax 设计 §2.5）：copy 保留其源（可见）——
+ * keep(input) 使源变量保持终端（画布显示 box 和副本两份）。
+ *
+ * mesh 路径：positions/indices 复制到新数组（改副本不影响源）。
+ * BREP 路径：kernel.copy 产出独立 ShapeHandle。
+ */
+/**
+ * 深拷贝几何为独立新对象（源不变，源与副本都显示）。
+ * @group 特征
+ * @inputs 1
+ * @async false
+ * @qual ok
+ * @name copy
+ * @param input - 源几何。type:Shape required:true
+ * @returns Shape 源几何的深拷贝。copy 不消费其源（画布显示 box 和副本两份），改副本不影响源。
+ * @example
+ * const part1 = cad.copy(part0)
+  */
+export const copy = defineOp({
+    mesh: (input) => {
+        if (!input)
+            throw new Error('[stdlib/copy] no input geometry');
+        keep(input);
+        // mesh 路径：深拷贝到新 TypedArray（改副本不影响源）
+        return {
+            positions: new Float32Array(input.positions),
+            indices: new Uint32Array(input.indices),
+        };
+    },
+    brep: (input) => {
+        if (!input)
+            throw new Error('[stdlib/copy] no input geometry');
+        keep(input);
+        return copyBrep(input);
+    },
+});
+//# sourceMappingURL=copy.js.map

package/dist/api/copy.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"copy.js","sourceRoot":"","sources":["../../src/api/copy.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AAGH,OAAO,EAAE,YAAY,EAAE,MAAM,kBAAkB,CAAA;AAC/C,OAAO,EAAE,iBAAiB,EAAE,qBAAqB,EAAE,MAAM,wBAAwB,CAAA;AACjF,OAAO,EAAE,WAAW,EAAE,IAAI,EAAE,MAAM,kBAAkB,CAAA;AACpD,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,UAAU,CAAA;AACpD,OAAO,EAAE,mBAAmB,EAAE,MAAM,0BAA0B,CAAA;AAE9D,OAAO,EAAE,QAAQ,EAAE,MAAM,QAAQ,CAAA;AAIjC,2EAA2E;AAC3E,SAAS,QAAQ,CAAC,KAAY;IAC5B,MAAM,MAAM,GAAG,WAAW,EAAE,CAAC,MAAM,CAAC,IAA4B,CAAA;IAChE,IAAI,CAAC,MAAM;QAAE,MAAM,IAAI,KAAK,CAAC,8BAA8B,CAAC,CAAA;IAC5D,MAAM,UAAU,GAAG,MAAM,CAAC,KAAK,CAA2B,CAAA;IAC1D,IAAI,CAAC,UAAU;QAAE,MAAM,IAAI,KAAK,CAAC,iCAAiC,CAAC,CAAA;IAEnE,MAAM,WAAW,GAAG,MAAM,CAAC,IAAI,CAAC,UAAU,CAAC,CAAA;IAE3C,0DAA0D;IAC1D,MAAM,UAAU,GAAG,OAAO,CAAC,KAAK,CAAC,EAAE,SAAkC,CAAA;IACrE,IAAI,SAAgC,CAAA;IACpC,IAAI,UAAU,IAAI,UAAU,CAAC,IAAI,GAAG,CAAC,EAAE,CAAC;QACtC,SAAS,GAAG,mBAAmB,CAAC,UAAU,EAAE,qBAAqB,CAAC,MAAM,EAAE,UAAU,EAAE,WAAW,CAAC,CAAC,CAAA;IACrG,CAAC;IAED,OAAO,QAAQ,CAAC,YAAY,CAAC,MAAM,EAAE,WAAW,CAAC,EAAE;QACjD,KAAK,EAAE,WAAW;QAClB,0BAA0B;QAC1B,aAAa,EAAE,iBAAiB,CAAC,MAAM,EAAE,WAAW,CAAC;QACrD,SAAS;KACV,CAAC,CAAA;AACJ,CAAC;AAED;;;;;;;;GAQG;AACH;;;;;;;;;;;IAWI;AACJ,MAAM,CAAC,MAAM,IAAI,GAAG,QAAQ,CAAC;IAC3B,IAAI,EAAE,CAAC,KAAY,EAAE,EAAE;QACrB,IAAI,CAAC,KAAK;YAAE,MAAM,IAAI,KAAK,CAAC,iCAAiC,CAAC,CAAA;QAC9D,IAAI,CAAC,KAAK,CAAC,CAAA;QACX,oCAAoC;QACpC,OAAO;YACL,SAAS,EAAE,IAAI,YAAY,CAAC,KAAK,CAAC,SAAS,CAAC;YAC5C,OAAO,EAAE,IAAI,WAAW,CAAC,KAAK,CAAC,OAAO,CAAC;SACxC,CAAA;IACH,CAAC;IACD,IAAI,EAAE,CAAC,KAAY,EAAE,EAAE;QACrB,IAAI,CAAC,KAAK;YAAE,MAAM,IAAI,KAAK,CAAC,iCAAiC,CAAC,CAAA;QAC9D,IAAI,CAAC,KAAK,CAAC,CAAA;QACX,OAAO,QAAQ,CAAC,KAAK,CAAC,CAAA;IACxB,CAAC;CACF,CAAC,CAAA","sourcesContent":["/**\n * stdlib copy — 深拷贝几何（方案 B：独立新对象，源不变）\n *\n *\n * copy 是\"共享读取\"（克隆出新对象，源不变），与 drill/transform 的\"独占改写\"本质不同：\n * - **copy 不消费其源**（从消费方排除，与 group/assembly 同级）\n * - copy 输出是独立新对象 → 归\"新名\"类（allocate-id.ts 不保名）\n * - **源显示**（part0=box; part1=copy(part0) → 画布显示 box 和副本两份）\n *\n * 双链路：\n * - mesh 路径：深拷贝 positions/indices 到新数组\n * - BREP 路径：kernel.copy(inputSolid) → solidToShape → fromBrep 登记\n */\n\nimport type { Shape } from '../mesh/types'\nimport { solidToShape } from '../brep/brep-ops'\nimport { identityEvolution, identityHashEvolution } from '../brep/face-evolution'\nimport { getBackends, keep } from '../runtime-state'\nimport { fromBrep, brepOf, getSlot } from '../shape'\nimport { propagateAllOrigins } from '../topology/naming/roles'\nimport type { RoleTable } from '../topology/naming/types'\nimport { defineOp } from '../sdk'\nimport type { BrepHandle } from '../brep/engine/types'\nimport type { BrepEngineApi } from '../brep/engine/primitives'\n\n/** BREP 路径：kernel.copy 深拷贝实体 + 恒等面演化 + 恒等 roleTable 传播 + fromBrep 一次登记。 */\nfunction copyBrep(input: Shape): Shape {\n  const kernel = getBackends().kernel.brep as BrepEngineApi | null\n  if (!kernel) throw new Error('[stdlib/copy] no OCCT kernel')\n  const inputSolid = brepOf(input) as BrepHandle | undefined\n  if (!inputSolid) throw new Error('[stdlib/copy] input is not BREP')\n\n  const copiedSolid = kernel.copy(inputSolid)\n\n  // §2.4/§3.3：copy 面 1:1 保留——hash 恒等传播 roleTable（所有 origin）\n  const inputTable = getSlot(input)?.roleTable as RoleTable | undefined\n  let roleTable: RoleTable | undefined\n  if (inputTable && inputTable.size > 0) {\n    roleTable = propagateAllOrigins(inputTable, identityHashEvolution(kernel, inputSolid, copiedSolid))\n  }\n\n  return fromBrep(solidToShape(kernel, copiedSolid), {\n    solid: copiedSolid,\n    // copy 不改变拓扑，面 ordinal 不变\n    faceEvolution: identityEvolution(kernel, copiedSolid),\n    roleTable,\n  })\n}\n\n/**\n * `cad.copy(input)` → 深拷贝 Shape。\n *\n * 函数体 keep 声明（keep-syntax 设计 §2.5）：copy 保留其源（可见）——\n * keep(input) 使源变量保持终端（画布显示 box 和副本两份）。\n *\n * mesh 路径：positions/indices 复制到新数组（改副本不影响源）。\n * BREP 路径：kernel.copy 产出独立 ShapeHandle。\n */\n/**\n * 深拷贝几何为独立新对象（源不变，源与副本都显示）。\n * @group 特征\n * @inputs 1\n * @async false\n * @qual ok\n * @name copy\n * @param input - 源几何。type:Shape required:true\n * @returns Shape 源几何的深拷贝。copy 不消费其源（画布显示 box 和副本两份），改副本不影响源。\n * @example\n * const part1 = cad.copy(part0)\n  */\nexport const copy = defineOp({\n  mesh: (input: Shape) => {\n    if (!input) throw new Error('[stdlib/copy] no input geometry')\n    keep(input)\n    // mesh 路径：深拷贝到新 TypedArray（改副本不影响源）\n    return {\n      positions: new Float32Array(input.positions),\n      indices: new Uint32Array(input.indices),\n    }\n  },\n  brep: (input: Shape) => {\n    if (!input) throw new Error('[stdlib/copy] no input geometry')\n    keep(input)\n    return copyBrep(input)\n  },\n})\n"]}

package/dist/api/edge-ref.d.ts

@@ -0,0 +1,42 @@
+/**
+ * stdlib edge-ref — 边引用查询：把「边序号」解析成 `EdgeTopoRef`（1 起）
+ *
+ * fillet / chamfer 的选边参数是 `EdgeTopoRef`（相邻两面的 role 对，见
+ * `topology/naming`）；而外部格式（FCStd / STEP 编辑器 / 上游特征文件）通常只给
+ * 「第 N 条边」。本模块是两者之间的桥：在内核现场枚举里取第 N 条边，再由输入
+ * Shape 的命名槽（RoleTable + subShapeHashes）反查它两邻面的 `{origin, role}`，
+ * 合成可直接喂给 `cad.fillet` / `cad.chamfer` 的 `EdgeTopoRef`。
+ *
+ * 序号语义（GOTCHA）：faijs 的 `getSubShapes(solid,'edge')` 与 `wireframe()` 同用
+ * `TopExp::MapShapes` + `NCollection_IndexedMap`（`occt-kernel/topologyExt.ts` 已
+ * 记档），故第 N 条边 == FreeCAD 的 `EdgeN`（`fcstd/external-geo.test.ts` 实测
+ * `wireframe.edgeGroups[k] == FreeCAD "Edge(k+1)"`）。这是 FCStd 移植选边的锚点。
+ *
+ * 与 `faceNormal`（`api/geom.ts`）的差异：`faceNormal` 的 `ordinal` 是 0 起
+ * （直接下标 `faces[ordinal]`），而本函数是 1 起——与命名层 `TopoRef` 序号
+ * （`ordinal` 1 起，见 `topology/naming/types.ts`）及 FreeCAD `EdgeN` 一致。
+ *
+ * 纯查询：同步、无副作用、不改 Shape；定不了案一律抛 `TopoRefError`（三态错误码），
+ * 绝不静默拿序号硬取。
+ */
+import type { Shape } from '../mesh/types.js';
+import type { EdgeTopoRef } from '../topology/naming/index.js';
+/**
+ * 查询几何体第 N 条边的 `EdgeTopoRef`，供 `cad.fillet` / `cad.chamfer` 的 `edges` 使用：
+ * `cad.fillet(base, { edges: [cad.edgeRef(base, 17)], radius: 2 })`。
+ *
+ * 定不了案（无 BREP / 序号越界 / 邻面不足两面 / 邻面无 role 血统）抛 `TopoRefError`。
+ * @group 查询
+ * @inputs 1
+ * @async false
+ * @qual ok
+ * @name edgeRef
+ * @returns EdgeTopoRef 该边的拓扑引用（相邻两面 role 对 + length/midpoint hint）。
+ * @param of - 目标几何（BREP 实体所在的 Shape）。type:Shape required:true
+ * @param edgeOrdinal - 边序号（1 起；等于 FreeCAD 的 `EdgeN`）。type:number required:true
+ * @note 序号 1 起，与命名层 `TopoRef.ordinal` 及 FreeCAD `EdgeN` 同序（`getSubShapes(solid,'edge')` 用 TopExp::MapShapes + IndexedMap 枚举）。
+ * @example
+ * const part1 = cad.fillet(part0, { edges: [cad.edgeRef(part0, 1)], radius: 2 })
+ */
+export declare function edgeRef(of: Shape, edgeOrdinal: number): EdgeTopoRef;
+//# sourceMappingURL=edge-ref.d.ts.map

package/dist/api/edge-ref.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"edge-ref.d.ts","sourceRoot":"","sources":["../../src/api/edge-ref.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;GAoBG;AAEH,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,eAAe,CAAA;AAM1C,OAAO,KAAK,EAAE,WAAW,EAAiB,MAAM,oBAAoB,CAAA;AAGpE;;;;;;;;;;;;;;;;GAgBG;AACH,wBAAgB,OAAO,CAAC,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE,MAAM,GAAG,WAAW,CAsDnE"}

package/dist/api/edge-ref.js

@@ -0,0 +1,89 @@
+/**
+ * stdlib edge-ref — 边引用查询：把「边序号」解析成 `EdgeTopoRef`（1 起）
+ *
+ * fillet / chamfer 的选边参数是 `EdgeTopoRef`（相邻两面的 role 对，见
+ * `topology/naming`）；而外部格式（FCStd / STEP 编辑器 / 上游特征文件）通常只给
+ * 「第 N 条边」。本模块是两者之间的桥：在内核现场枚举里取第 N 条边，再由输入
+ * Shape 的命名槽（RoleTable + subShapeHashes）反查它两邻面的 `{origin, role}`，
+ * 合成可直接喂给 `cad.fillet` / `cad.chamfer` 的 `EdgeTopoRef`。
+ *
+ * 序号语义（GOTCHA）：faijs 的 `getSubShapes(solid,'edge')` 与 `wireframe()` 同用
+ * `TopExp::MapShapes` + `NCollection_IndexedMap`（`occt-kernel/topologyExt.ts` 已
+ * 记档），故第 N 条边 == FreeCAD 的 `EdgeN`（`fcstd/external-geo.test.ts` 实测
+ * `wireframe.edgeGroups[k] == FreeCAD "Edge(k+1)"`）。这是 FCStd 移植选边的锚点。
+ *
+ * 与 `faceNormal`（`api/geom.ts`）的差异：`faceNormal` 的 `ordinal` 是 0 起
+ * （直接下标 `faces[ordinal]`），而本函数是 1 起——与命名层 `TopoRef` 序号
+ * （`ordinal` 1 起，见 `topology/naming/types.ts`）及 FreeCAD `EdgeN` 一致。
+ *
+ * 纯查询：同步、无副作用、不改 Shape；定不了案一律抛 `TopoRefError`（三态错误码），
+ * 绝不静默拿序号硬取。
+ */
+import { getBackends } from '../runtime-state.js';
+import { brepOf } from '../shape.js';
+import { captureEdgeHint, findOriginRole, TopoRefError } from '../topology/naming/index.js';
+import { buildEdgeResolutionContext } from './topo-resolve.js';
+/**
+ * 查询几何体第 N 条边的 `EdgeTopoRef`，供 `cad.fillet` / `cad.chamfer` 的 `edges` 使用：
+ * `cad.fillet(base, { edges: [cad.edgeRef(base, 17)], radius: 2 })`。
+ *
+ * 定不了案（无 BREP / 序号越界 / 邻面不足两面 / 邻面无 role 血统）抛 `TopoRefError`。
+ * @group 查询
+ * @inputs 1
+ * @async false
+ * @qual ok
+ * @name edgeRef
+ * @returns EdgeTopoRef 该边的拓扑引用（相邻两面 role 对 + length/midpoint hint）。
+ * @param of - 目标几何（BREP 实体所在的 Shape）。type:Shape required:true
+ * @param edgeOrdinal - 边序号（1 起；等于 FreeCAD 的 `EdgeN`）。type:number required:true
+ * @note 序号 1 起，与命名层 `TopoRef.ordinal` 及 FreeCAD `EdgeN` 同序（`getSubShapes(solid,'edge')` 用 TopExp::MapShapes + IndexedMap 枚举）。
+ * @example
+ * const part1 = cad.fillet(part0, { edges: [cad.edgeRef(part0, 1)], radius: 2 })
+ */
+export function edgeRef(of, edgeOrdinal) {
+    if (!Number.isInteger(edgeOrdinal) || edgeOrdinal < 1) {
+        throw new TopoRefError('E_TOPO_NOT_FOUND', 'edge', `edgeRef: edgeOrdinal must be an integer >= 1 (got ${edgeOrdinal})`);
+    }
+    const kernel = getBackends().kernel.brep;
+    if (!kernel)
+        throw new Error('[edgeRef] no BREP kernel (edge references are BREP-only)');
+    if (!brepOf(of))
+        throw new Error('[edgeRef] E_EDGE_REF_NO_BREP: input shape has no BREP solid');
+    const ctx = buildEdgeResolutionContext(kernel, of);
+    if (!ctx)
+        throw new TopoRefError('E_TOPO_NOT_FOUND', 'edge', 'edgeRef: input has no BREP naming context');
+    const edge = ctx.edges?.find((e) => e.ordinal === edgeOrdinal);
+    if (!edge || edge.handle === undefined) {
+        throw new TopoRefError('E_TOPO_NOT_FOUND', 'edge', `edgeRef: edge ordinal ${edgeOrdinal} out of range [1, ${ctx.edges?.length ?? 0}]`);
+    }
+    const handle = edge.handle;
+    // 该边的相邻面（现场：逐面枚举其边，与 handle 同体者即邻面）——不依赖
+    // ctx.edgeFaceAdjacency 的数组下标对齐（那里按 liveEdges 过滤后建表）。
+    const faceOrdinals = [];
+    for (const f of ctx.faces) {
+        if (f.handle === undefined)
+            continue;
+        if (kernel.getSubShapes(f.handle, 'edge').some((eh) => kernel.isSame(eh, handle))) {
+            faceOrdinals.push(f.ordinal);
+        }
+    }
+    if (faceOrdinals.length < 2) {
+        throw new TopoRefError('E_TOPO_NOT_FOUND', 'edge', `edgeRef: edge ${edgeOrdinal} has ${faceOrdinals.length} adjacent face(s); an EdgeTopoRef needs a two-face pair`);
+    }
+    const table = ctx.roleTable;
+    if (!table) {
+        throw new TopoRefError('E_TOPO_NOT_FOUND', 'edge', 'edgeRef: input shape has no role table (nameless shape)');
+    }
+    const ordinalToHash = ctx.faces.map((f) => f.hash ?? 0);
+    const quals = [];
+    for (const fo of faceOrdinals.slice(0, 2)) {
+        const found = findOriginRole(table, ordinalToHash, fo);
+        if (!found) {
+            throw new TopoRefError('E_TOPO_NOT_FOUND', 'edge', `edgeRef: adjacent face ordinal ${fo} has no role lineage`);
+        }
+        quals.push({ origin: found.origin, role: found.role });
+    }
+    const [qa, qb] = quals;
+    return { kind: 'edge', faces: [qa, qb], hint: captureEdgeHint(kernel, handle) };
+}
+//# sourceMappingURL=edge-ref.js.map

package/dist/api/edge-ref.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"edge-ref.js","sourceRoot":"","sources":["../../src/api/edge-ref.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;GAoBG;AAGH,OAAO,EAAE,WAAW,EAAE,MAAM,kBAAkB,CAAA;AAC9C,OAAO,EAAE,MAAM,EAAE,MAAM,UAAU,CAAA;AAGjC,OAAO,EAAE,eAAe,EAAE,cAAc,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAA;AAElF,OAAO,EAAE,0BAA0B,EAAE,MAAM,gBAAgB,CAAA;AAE3D;;;;;;;;;;;;;;;;GAgBG;AACH,MAAM,UAAU,OAAO,CAAC,EAAS,EAAE,WAAmB;IACpD,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,WAAW,CAAC,IAAI,WAAW,GAAG,CAAC,EAAE,CAAC;QACtD,MAAM,IAAI,YAAY,CAAC,kBAAkB,EAAE,MAAM,EAAE,qDAAqD,WAAW,GAAG,CAAC,CAAA;IACzH,CAAC;IACD,MAAM,MAAM,GAAG,WAAW,EAAE,CAAC,MAAM,CAAC,IAA4B,CAAA;IAChE,IAAI,CAAC,MAAM;QAAE,MAAM,IAAI,KAAK,CAAC,0DAA0D,CAAC,CAAA;IACxF,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,6DAA6D,CAAC,CAAA;IAE/F,MAAM,GAAG,GAAG,0BAA0B,CAAC,MAAM,EAAE,EAAY,CAAC,CAAA;IAC5D,IAAI,CAAC,GAAG;QAAE,MAAM,IAAI,YAAY,CAAC,kBAAkB,EAAE,MAAM,EAAE,2CAA2C,CAAC,CAAA;IAEzG,MAAM,IAAI,GAAG,GAAG,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,KAAK,WAAW,CAAC,CAAA;IAC9D,IAAI,CAAC,IAAI,IAAI,IAAI,CAAC,MAAM,KAAK,SAAS,EAAE,CAAC;QACvC,MAAM,IAAI,YAAY,CACpB,kBAAkB,EAClB,MAAM,EACN,yBAAyB,WAAW,qBAAqB,GAAG,CAAC,KAAK,EAAE,MAAM,IAAI,CAAC,GAAG,CACnF,CAAA;IACH,CAAC;IACD,MAAM,MAAM,GAAG,IAAI,CAAC,MAAM,CAAA;IAE1B,yCAAyC;IACzC,sDAAsD;IACtD,MAAM,YAAY,GAAa,EAAE,CAAA;IACjC,KAAK,MAAM,CAAC,IAAI,GAAG,CAAC,KAAK,EAAE,CAAC;QAC1B,IAAI,CAAC,CAAC,MAAM,KAAK,SAAS;YAAE,SAAQ;QACpC,IAAI,MAAM,CAAC,YAAY,CAAC,CAAC,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,EAAE,MAAM,CAAC,CAAC,EAAE,CAAC;YAClF,YAAY,CAAC,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC,CAAA;QAC9B,CAAC;IACH,CAAC;IACD,IAAI,YAAY,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC5B,MAAM,IAAI,YAAY,CACpB,kBAAkB,EAClB,MAAM,EACN,iBAAiB,WAAW,QAAQ,YAAY,CAAC,MAAM,yDAAyD,CACjH,CAAA;IACH,CAAC;IAED,MAAM,KAAK,GAAG,GAAG,CAAC,SAAS,CAAA;IAC3B,IAAI,CAAC,KAAK,EAAE,CAAC;QACX,MAAM,IAAI,YAAY,CAAC,kBAAkB,EAAE,MAAM,EAAE,yDAAyD,CAAC,CAAA;IAC/G,CAAC;IACD,MAAM,aAAa,GAAG,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC,CAAA;IACvD,MAAM,KAAK,GAAoB,EAAE,CAAA;IACjC,KAAK,MAAM,EAAE,IAAI,YAAY,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC;QAC1C,MAAM,KAAK,GAAG,cAAc,CAAC,KAAK,EAAE,aAAa,EAAE,EAAE,CAAC,CAAA;QACtD,IAAI,CAAC,KAAK,EAAE,CAAC;YACX,MAAM,IAAI,YAAY,CAAC,kBAAkB,EAAE,MAAM,EAAE,kCAAkC,EAAE,sBAAsB,CAAC,CAAA;QAChH,CAAC;QACD,KAAK,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,KAAK,CAAC,MAAM,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,CAAC,CAAA;IACxD,CAAC;IAED,MAAM,CAAC,EAAE,EAAE,EAAE,CAAC,GAAG,KAAuC,CAAA;IACxD,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,IAAI,EAAE,eAAe,CAAC,MAAM,EAAE,MAAoB,CAAC,EAAE,CAAA;AAC/F,CAAC","sourcesContent":["/**\n * stdlib edge-ref — 边引用查询：把「边序号」解析成 `EdgeTopoRef`（1 起）\n *\n * fillet / chamfer 的选边参数是 `EdgeTopoRef`（相邻两面的 role 对，见\n * `topology/naming`）；而外部格式（FCStd / STEP 编辑器 / 上游特征文件）通常只给\n * 「第 N 条边」。本模块是两者之间的桥：在内核现场枚举里取第 N 条边，再由输入\n * Shape 的命名槽（RoleTable + subShapeHashes）反查它两邻面的 `{origin, role}`，\n * 合成可直接喂给 `cad.fillet` / `cad.chamfer` 的 `EdgeTopoRef`。\n *\n * 序号语义（GOTCHA）：faijs 的 `getSubShapes(solid,'edge')` 与 `wireframe()` 同用\n * `TopExp::MapShapes` + `NCollection_IndexedMap`（`occt-kernel/topologyExt.ts` 已\n * 记档），故第 N 条边 == FreeCAD 的 `EdgeN`（`fcstd/external-geo.test.ts` 实测\n * `wireframe.edgeGroups[k] == FreeCAD \"Edge(k+1)\"`）。这是 FCStd 移植选边的锚点。\n *\n * 与 `faceNormal`（`api/geom.ts`）的差异：`faceNormal` 的 `ordinal` 是 0 起\n * （直接下标 `faces[ordinal]`），而本函数是 1 起——与命名层 `TopoRef` 序号\n * （`ordinal` 1 起，见 `topology/naming/types.ts`）及 FreeCAD `EdgeN` 一致。\n *\n * 纯查询：同步、无副作用、不改 Shape；定不了案一律抛 `TopoRefError`（三态错误码），\n * 绝不静默拿序号硬取。\n */\n\nimport type { Shape } from '../mesh/types'\nimport { getBackends } from '../runtime-state'\nimport { brepOf } from '../shape'\nimport type { BrepHandle } from '../brep/engine/types'\nimport type { BrepEngineApi } from '../brep/engine/primitives'\nimport { captureEdgeHint, findOriginRole, TopoRefError } from '../topology/naming'\nimport type { EdgeTopoRef, RoleQualifier } from '../topology/naming'\nimport { buildEdgeResolutionContext } from './topo-resolve'\n\n/**\n * 查询几何体第 N 条边的 `EdgeTopoRef`，供 `cad.fillet` / `cad.chamfer` 的 `edges` 使用：\n * `cad.fillet(base, { edges: [cad.edgeRef(base, 17)], radius: 2 })`。\n *\n * 定不了案（无 BREP / 序号越界 / 邻面不足两面 / 邻面无 role 血统）抛 `TopoRefError`。\n * @group 查询\n * @inputs 1\n * @async false\n * @qual ok\n * @name edgeRef\n * @returns EdgeTopoRef 该边的拓扑引用（相邻两面 role 对 + length/midpoint hint）。\n * @param of - 目标几何（BREP 实体所在的 Shape）。type:Shape required:true\n * @param edgeOrdinal - 边序号（1 起；等于 FreeCAD 的 `EdgeN`）。type:number required:true\n * @note 序号 1 起，与命名层 `TopoRef.ordinal` 及 FreeCAD `EdgeN` 同序（`getSubShapes(solid,'edge')` 用 TopExp::MapShapes + IndexedMap 枚举）。\n * @example\n * const part1 = cad.fillet(part0, { edges: [cad.edgeRef(part0, 1)], radius: 2 })\n */\nexport function edgeRef(of: Shape, edgeOrdinal: number): EdgeTopoRef {\n  if (!Number.isInteger(edgeOrdinal) || edgeOrdinal < 1) {\n    throw new TopoRefError('E_TOPO_NOT_FOUND', 'edge', `edgeRef: edgeOrdinal must be an integer >= 1 (got ${edgeOrdinal})`)\n  }\n  const kernel = getBackends().kernel.brep as BrepEngineApi | null\n  if (!kernel) throw new Error('[edgeRef] no BREP kernel (edge references are BREP-only)')\n  if (!brepOf(of)) throw new Error('[edgeRef] E_EDGE_REF_NO_BREP: input shape has no BREP solid')\n\n  const ctx = buildEdgeResolutionContext(kernel, of as object)\n  if (!ctx) throw new TopoRefError('E_TOPO_NOT_FOUND', 'edge', 'edgeRef: input has no BREP naming context')\n\n  const edge = ctx.edges?.find((e) => e.ordinal === edgeOrdinal)\n  if (!edge || edge.handle === undefined) {\n    throw new TopoRefError(\n      'E_TOPO_NOT_FOUND',\n      'edge',\n      `edgeRef: edge ordinal ${edgeOrdinal} out of range [1, ${ctx.edges?.length ?? 0}]`,\n    )\n  }\n  const handle = edge.handle\n\n  // 该边的相邻面（现场：逐面枚举其边，与 handle 同体者即邻面）——不依赖\n  // ctx.edgeFaceAdjacency 的数组下标对齐（那里按 liveEdges 过滤后建表）。\n  const faceOrdinals: number[] = []\n  for (const f of ctx.faces) {\n    if (f.handle === undefined) continue\n    if (kernel.getSubShapes(f.handle, 'edge').some((eh) => kernel.isSame(eh, handle))) {\n      faceOrdinals.push(f.ordinal)\n    }\n  }\n  if (faceOrdinals.length < 2) {\n    throw new TopoRefError(\n      'E_TOPO_NOT_FOUND',\n      'edge',\n      `edgeRef: edge ${edgeOrdinal} has ${faceOrdinals.length} adjacent face(s); an EdgeTopoRef needs a two-face pair`,\n    )\n  }\n\n  const table = ctx.roleTable\n  if (!table) {\n    throw new TopoRefError('E_TOPO_NOT_FOUND', 'edge', 'edgeRef: input shape has no role table (nameless shape)')\n  }\n  const ordinalToHash = ctx.faces.map((f) => f.hash ?? 0)\n  const quals: RoleQualifier[] = []\n  for (const fo of faceOrdinals.slice(0, 2)) {\n    const found = findOriginRole(table, ordinalToHash, fo)\n    if (!found) {\n      throw new TopoRefError('E_TOPO_NOT_FOUND', 'edge', `edgeRef: adjacent face ordinal ${fo} has no role lineage`)\n    }\n    quals.push({ origin: found.origin, role: found.role })\n  }\n\n  const [qa, qb] = quals as [RoleQualifier, RoleQualifier]\n  return { kind: 'edge', faces: [qa, qb], hint: captureEdgeHint(kernel, handle as BrepHandle) }\n}\n"]}

package/dist/api/engrave.d.ts

@@ -0,0 +1,39 @@
+/**
+ * stdlib engrave — 雕刻库函数
+ *
+ *
+ * dispatchPath 静态判定 brep/mesh。
+ * BREP 路径：textToSolid/svgToSolid + boolean（cut/fuse）。
+ */
+import type { Shape } from '../mesh/types.js';
+/**
+ * Validate engrave parameters: at least one of `text` or `svg` must be
+ * provided, and `depth` (if provided) must be a positive number.
+ * @param params - the raw engrave operation parameters.
+ */
+export declare function assertEngraveParams(params: Record<string, unknown>): void;
+/**
+ * 在几何表面雕刻文字或 SVG（文字分支与 logo 分支都可用）。
+ * @group 特征
+ * @inputs 1
+ * @async true
+ * @qual ok
+ * @name engrave
+ * @returns Shape 雕刻后的几何。
+ * @param input - 目标几何。type:Shape required:true
+ * @param params.mode - 雕刻方式：concave 凹陷（减法）/ convex 凸出（加法）。type:'concave' | 'convex' 默认 'concave'
+ * @param params.depth - 深度 / 凸出高度（mm）。type:number 默认 0
+ * @param params.text - 文字内容（与 svg 二选一）。type:string
+ * @param params.textSize - 字号（mm）。type:number 默认 10
+ * @param params.svg - SVG 资产引用（与 text 二选一；经 cad.asset 解析）。type:string
+ * @param params.svgSize - SVG 长边目标尺寸。type:number
+ * @param params.faceCenter - 面位置（绝对坐标）。type:[x,y,z] 默认 [0,0,0]
+ * @param params.faceNormal - 面法向。type:[x,y,z] 默认 [0,0,1]
+ * @note 早期 logo 分支用 `svgText`（整份 XML 拷贝 + `svgSize` 文本导出丢失，往返失真）；现已改为 `svg` 资产引用，`engravingType` 冗余键已移除。faceCenter/faceNormal 目前是绝对坐标快照。
+ * @example
+ * const p = await cad.engrave(part0, { mode: 'concave', depth: 2, text: 'Hello', textSize: 10, faceCenter: [0, 0, 0], faceNormal: [0, 0, -1] })
+  */
+export declare const engrave: ((input: Shape, params: Record<string, unknown>) => Promise<Shape>) & {
+    __faijs__dualOp?: import("../define-op.js").DualOpMeta;
+};
+//# sourceMappingURL=engrave.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"engrave.d.ts","sourceRoot":"","sources":["../../src/api/engrave.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAEH,OAAO,KAAK,EAAE,KAAK,EAAQ,MAAM,eAAe,CAAA;AAmBhD;;;;GAIG;AACH,wBAAgB,mBAAmB,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG,IAAI,CASzE;AAsID;;;;;;;;;;;;;;;;;;;;IAoBI;AACJ,eAAO,MAAM,OAAO;;CA6BlB,CAAA"}

package/dist/api/engrave.js

@@ -0,0 +1,215 @@
+/**
+ * stdlib engrave — 雕刻库函数
+ *
+ *
+ * dispatchPath 静态判定 brep/mesh。
+ * BREP 路径：textToSolid/svgToSolid + boolean（cut/fuse）。
+ */
+import { cad } from '../mesh/index.js';
+import { parseSvgNaturalSize } from '../primitives/parse-svg-size.js';
+import { textToSolid } from '../brep/text/text-to-solid.js';
+import { svgToSolid } from '../brep/svg/svg-to-solid.js';
+import { ensureDefaultFont } from '../brep/text/fontRegistry.js';
+import { solidToShape } from '../brep/brep-ops.js';
+import { getSolidBoundingBox } from '../brep/brep-utils.js';
+import { resolveSvgArg } from './internal/svg-asset-resolver.js';
+import { getBackends } from '../runtime-state.js';
+import { fromBrep, brepOf } from '../shape.js';
+import { defineOp } from '../sdk.js';
+import { assertPositiveNumber } from './assert.js';
+// ── per-op 参数自校验（Phase 2.2；stdlib 被直接 import 时的防御层） ──
+/**
+ * Validate engrave parameters: at least one of `text` or `svg` must be
+ * provided, and `depth` (if provided) must be a positive number.
+ * @param params - the raw engrave operation parameters.
+ */
+export function assertEngraveParams(params) {
+    const hasText = params.text !== undefined && params.text !== null && params.text !== '';
+    const hasSvg = params.svg !== undefined && params.svg !== null;
+    if (!hasText && !hasSvg) {
+        throw new Error('[stdlib] engrave requires either "text" or "svg"');
+    }
+    if (params.depth !== undefined && params.depth !== null) {
+        assertPositiveNumber(params.depth, 'engrave.depth');
+    }
+}
+/** 世界坐标 → BREP solid 局部坐标。 */
+function worldToLocalPosition(worldPos, partTransform) {
+    const offset = partTransform?.position;
+    if (!offset)
+        return worldPos;
+    return [
+        worldPos[0] - offset[0],
+        worldPos[1] - offset[1],
+        worldPos[2] - offset[2],
+    ];
+}
+/** 计算将 +Z 轴对齐到目标法向量的 3x4 仿射变换矩阵（仅旋转，无平移，Rodrigues 公式）。 */
+function alignZToNormal(normal) {
+    const [nx, ny, nz] = normal;
+    const len = Math.sqrt(nx * nx + ny * ny + nz * nz);
+    if (len < 1e-10) {
+        return [1, 0, 0, 0, 0, 1, 0, 0, 0, 0, 1, 0];
+    }
+    const ux = nx / len, uy = ny / len, uz = nz / len;
+    if (Math.abs(ux) < 1e-10 && Math.abs(uy) < 1e-10) {
+        if (uz > 0)
+            return [1, 0, 0, 0, 0, 1, 0, 0, 0, 0, 1, 0];
+        return [1, 0, 0, 0, 0, -1, 0, 0, 0, 0, -1, 0];
+    }
+    const s = Math.sqrt(ux * ux + uy * uy);
+    const c = uz;
+    const t = 1 - c;
+    const ax = -uy / s, ay = ux / s;
+    return [
+        c + ax * ax * t, ax * ay * t, ay * s, 0,
+        ax * ay * t, c + ay * ay * t, -ax * s, 0,
+        -ay * s, ax * s, c, 0,
+    ];
+}
+/** 将 solid 居中到原点（基于包围盒中心，与 mesh 路径语义一致）。 */
+function centerSolidAtOrigin(kernel, solid) {
+    const bb = getSolidBoundingBox(kernel, solid);
+    const cx = (bb.min[0] + bb.max[0]) / 2;
+    const cy = (bb.min[1] + bb.max[1]) / 2;
+    const cz = (bb.min[2] + bb.max[2]) / 2;
+    const centered = kernel.translate(solid, -cx, -cy, -cz);
+    kernel.release(solid);
+    return centered;
+}
+/** BREP 路径：textToSolid/svgToSolid + boolean（cut/fuse）。 */
+async function engraveBrepPath(input, params, svgText) {
+    const kernel = getBackends().kernel.brep;
+    if (!kernel)
+        throw new Error('[stdlib/engrave] no OCCT kernel');
+    const inputSolid = brepOf(input);
+    if (!inputSolid)
+        throw new Error('[stdlib/engrave] input is not BREP');
+    const depth = params.depth;
+    const mode = params.mode ?? 'concave';
+    const text = params.text;
+    // 1. 创建装饰 solid（文字或 SVG），depth 与 mesh 路径一致
+    let decorationSolid;
+    if (text) {
+        await ensureDefaultFont();
+        const textSize = params.textSize ?? 10;
+        decorationSolid = textToSolid(kernel, text, { fontSize: textSize, depth });
+    }
+    else if (svgText) {
+        decorationSolid = svgToSolid(kernel, svgText, {
+            depth,
+            targetLongSide: params.svgSize ?? 20,
+        });
+    }
+    else {
+        throw new Error('[stdlib/engrave] neither text nor svg provided');
+    }
+    // 2. 居中到原点
+    decorationSolid = centerSolidAtOrigin(kernel, decorationSolid);
+    // 3. 旋转 +Z 对齐面法向
+    const worldFaceNormal = params.faceNormal ?? [0, 0, 1];
+    const rotMatrix = alignZToNormal(worldFaceNormal);
+    const rotated = kernel.transform(decorationSolid, rotMatrix);
+    kernel.release(decorationSolid);
+    // 4. 沿法向偏移 + 平移到面中心（凸 offset=+depth/2，凹 offset=-depth/2；加 0.01 避免共面）
+    const worldFaceCenter = params.faceCenter ?? [0, 0, 0];
+    const localFaceCenter = worldToLocalPosition(worldFaceCenter, getBackends().config.partTransform);
+    const offset = mode === 'convex' ? depth / 2 : -depth / 2;
+    const epsilon = 0.01;
+    const tx = localFaceCenter[0] + worldFaceNormal[0] * (offset + epsilon);
+    const ty = localFaceCenter[1] + worldFaceNormal[1] * (offset + epsilon);
+    const tz = localFaceCenter[2] + worldFaceNormal[2] * (offset + epsilon);
+    const positioned = kernel.translate(rotated, tx, ty, tz);
+    kernel.release(rotated);
+    // 5. 布尔运算（凸=fuse，凹=cut）
+    const isRaised = mode === 'convex';
+    let result;
+    if (isRaised) {
+        result = kernel.fuse(inputSolid, positioned);
+    }
+    else {
+        result = kernel.cut(inputSolid, positioned);
+    }
+    kernel.release(positioned);
+    // 5b. cut 可能分裂成多个 solid（compound），用 fuseAll 合并回单一 solid
+    try {
+        const subSolids = kernel.getSubShapes(result, 'solid');
+        if (subSolids.length > 1) {
+            const fused = kernel.fuseAll(subSolids);
+            for (const s of subSolids) {
+                try {
+                    kernel.release(s);
+                }
+                catch { /* 已释放 */ }
+            }
+            try {
+                kernel.release(result);
+            }
+            catch { /* 已释放 */ }
+            result = fused;
+        }
+    }
+    catch {
+        // getSubShapes 失败说明结果不是 compound，无需处理
+    }
+    return fromBrep(solidToShape(kernel, result), { solid: result });
+}
+/** 解析 SVG 资产引用（AssetRef → SVG 文本），两条路径共享；无 svg 返回 undefined。 */
+async function resolveEngraveSvg(params) {
+    return params.svg !== undefined && params.svg !== null
+        ? await resolveSvgArg(params.svg, { assets: getBackends().assets })
+        : undefined;
+}
+/**
+ * 在几何表面雕刻文字或 SVG（文字分支与 logo 分支都可用）。
+ * @group 特征
+ * @inputs 1
+ * @async true
+ * @qual ok
+ * @name engrave
+ * @returns Shape 雕刻后的几何。
+ * @param input - 目标几何。type:Shape required:true
+ * @param params.mode - 雕刻方式：concave 凹陷（减法）/ convex 凸出（加法）。type:'concave' | 'convex' 默认 'concave'
+ * @param params.depth - 深度 / 凸出高度（mm）。type:number 默认 0
+ * @param params.text - 文字内容（与 svg 二选一）。type:string
+ * @param params.textSize - 字号（mm）。type:number 默认 10
+ * @param params.svg - SVG 资产引用（与 text 二选一；经 cad.asset 解析）。type:string
+ * @param params.svgSize - SVG 长边目标尺寸。type:number
+ * @param params.faceCenter - 面位置（绝对坐标）。type:[x,y,z] 默认 [0,0,0]
+ * @param params.faceNormal - 面法向。type:[x,y,z] 默认 [0,0,1]
+ * @note 早期 logo 分支用 `svgText`（整份 XML 拷贝 + `svgSize` 文本导出丢失，往返失真）；现已改为 `svg` 资产引用，`engravingType` 冗余键已移除。faceCenter/faceNormal 目前是绝对坐标快照。
+ * @example
+ * const p = await cad.engrave(part0, { mode: 'concave', depth: 2, text: 'Hello', textSize: 10, faceCenter: [0, 0, 0], faceNormal: [0, 0, -1] })
+  */
+export const engrave = defineOp({
+    mesh: async (input, params) => {
+        if (!input)
+            throw new Error('[stdlib/engrave] no input geometry');
+        assertEngraveParams(params);
+        const svgText = await resolveEngraveSvg(params);
+        // mesh 路径
+        const faceCenter = params.faceCenter ?? [0, 0, 0];
+        const faceNormal = params.faceNormal ?? [0, 0, 1];
+        const { naturalWidth, naturalHeight } = svgText ? parseSvgNaturalSize(svgText) : { naturalWidth: 0, naturalHeight: 0 };
+        const hasText = !!params.text;
+        return cad.engrave(input, {
+            mode: params.mode ?? 'concave',
+            depth: params.depth,
+            face: { center: faceCenter, normal: faceNormal },
+            text: hasText ? params.text : undefined,
+            textSize: params.textSize,
+            svg: svgText,
+            svgNaturalWidth: naturalWidth,
+            svgNaturalHeight: naturalHeight,
+            svgSize: params.svgSize,
+        });
+    },
+    brep: async (input, params) => {
+        if (!input)
+            throw new Error('[stdlib/engrave] no input geometry');
+        assertEngraveParams(params);
+        const svgText = await resolveEngraveSvg(params);
+        return engraveBrepPath(input, params, svgText);
+    },
+});
+//# sourceMappingURL=engrave.js.map

package/dist/api/engrave.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"engrave.js","sourceRoot":"","sources":["../../src/api/engrave.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAMH,OAAO,EAAE,GAAG,EAAE,MAAM,SAAS,CAAA;AAC7B,OAAO,EAAE,mBAAmB,EAAE,MAAM,8BAA8B,CAAA;AAClE,OAAO,EAAE,WAAW,EAAE,MAAM,4BAA4B,CAAA;AACxD,OAAO,EAAE,UAAU,EAAE,MAAM,0BAA0B,CAAA;AACrD,OAAO,EAAE,iBAAiB,EAAE,MAAM,2BAA2B,CAAA;AAC7D,OAAO,EAAE,YAAY,EAAE,MAAM,kBAAkB,CAAA;AAC/C,OAAO,EAAE,mBAAmB,EAAE,MAAM,oBAAoB,CAAA;AACxD,OAAO,EAAE,aAAa,EAAE,MAAM,+BAA+B,CAAA;AAC7D,OAAO,EAAE,WAAW,EAAE,MAAM,kBAAkB,CAAA;AAC9C,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,MAAM,UAAU,CAAA;AAC3C,OAAO,EAAE,QAAQ,EAAE,MAAM,QAAQ,CAAA;AACjC,OAAO,EAAE,oBAAoB,EAAE,MAAM,UAAU,CAAA;AAE/C,wDAAwD;AAExD;;;;GAIG;AACH,MAAM,UAAU,mBAAmB,CAAC,MAA+B;IACjE,MAAM,OAAO,GAAG,MAAM,CAAC,IAAI,KAAK,SAAS,IAAI,MAAM,CAAC,IAAI,KAAK,IAAI,IAAI,MAAM,CAAC,IAAI,KAAK,EAAE,CAAA;IACvF,MAAM,MAAM,GAAG,MAAM,CAAC,GAAG,KAAK,SAAS,IAAI,MAAM,CAAC,GAAG,KAAK,IAAI,CAAA;IAC9D,IAAI,CAAC,OAAO,IAAI,CAAC,MAAM,EAAE,CAAC;QACxB,MAAM,IAAI,KAAK,CAAC,kDAAkD,CAAC,CAAA;IACrE,CAAC;IACD,IAAI,MAAM,CAAC,KAAK,KAAK,SAAS,IAAI,MAAM,CAAC,KAAK,KAAK,IAAI,EAAE,CAAC;QACxD,oBAAoB,CAAC,MAAM,CAAC,KAAK,EAAE,eAAe,CAAC,CAAA;IACrD,CAAC;AACH,CAAC;AAED,8BAA8B;AAC9B,SAAS,oBAAoB,CAC3B,QAAc,EACd,aAAkE;IAElE,MAAM,MAAM,GAAG,aAAa,EAAE,QAAQ,CAAA;IACtC,IAAI,CAAC,MAAM;QAAE,OAAO,QAAQ,CAAA;IAC5B,OAAO;QACL,QAAQ,CAAC,CAAC,CAAC,GAAG,MAAM,CAAC,CAAC,CAAC;QACvB,QAAQ,CAAC,CAAC,CAAC,GAAG,MAAM,CAAC,CAAC,CAAC;QACvB,QAAQ,CAAC,CAAC,CAAC,GAAG,MAAM,CAAC,CAAC,CAAC;KACxB,CAAA;AACH,CAAC;AAED,0DAA0D;AAC1D,SAAS,cAAc,CAAC,MAAY;IAClC,MAAM,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,GAAG,MAAM,CAAA;IAC3B,MAAM,GAAG,GAAG,IAAI,CAAC,IAAI,CAAC,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,CAAA;IAClD,IAAI,GAAG,GAAG,KAAK,EAAE,CAAC;QAChB,OAAO,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAA;IAC7C,CAAC;IACD,MAAM,EAAE,GAAG,EAAE,GAAG,GAAG,EAAE,EAAE,GAAG,EAAE,GAAG,GAAG,EAAE,EAAE,GAAG,EAAE,GAAG,GAAG,CAAA;IAEjD,IAAI,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,IAAI,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,EAAE,CAAC;QACjD,IAAI,EAAE,GAAG,CAAC;YAAE,OAAO,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAA;QACvD,OAAO,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAA;IAC/C,CAAC;IAED,MAAM,CAAC,GAAG,IAAI,CAAC,IAAI,CAAC,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,CAAA;IACtC,MAAM,CAAC,GAAG,EAAE,CAAA;IACZ,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,CAAA;IACf,MAAM,EAAE,GAAG,CAAC,EAAE,GAAG,CAAC,EAAE,EAAE,GAAG,EAAE,GAAG,CAAC,CAAA;IAE/B,OAAO;QACL,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,EAAG,EAAE,GAAG,EAAE,GAAG,CAAC,EAAK,EAAE,GAAG,CAAC,EAAG,CAAC;QAC5C,EAAE,GAAG,EAAE,GAAG,CAAC,EAAO,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,EAAE,CAAC,EAAE,GAAG,CAAC,EAAE,CAAC;QAC7C,CAAC,EAAE,GAAG,CAAC,EAAW,EAAE,GAAG,CAAC,EAAW,CAAC,EAAQ,CAAC;KAC9C,CAAA;AACH,CAAC;AAED,4CAA4C;AAC5C,SAAS,mBAAmB,CAAC,MAAqB,EAAE,KAAiB;IACnE,MAAM,EAAE,GAAG,mBAAmB,CAAC,MAAM,EAAE,KAAK,CAAC,CAAA;IAC7C,MAAM,EAAE,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAA;IACtC,MAAM,EAAE,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAA;IACtC,MAAM,EAAE,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAA;IACtC,MAAM,QAAQ,GAAG,MAAM,CAAC,SAAS,CAAC,KAAK,EAAE,CAAC,EAAE,EAAE,CAAC,EAAE,EAAE,CAAC,EAAE,CAAC,CAAA;IACvD,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,CAAA;IACrB,OAAO,QAAQ,CAAA;AACjB,CAAC;AAED,0DAA0D;AAC1D,KAAK,UAAU,eAAe,CAAC,KAAY,EAAE,MAA+B,EAAE,OAAgB;IAC5F,MAAM,MAAM,GAAG,WAAW,EAAE,CAAC,MAAM,CAAC,IAA4B,CAAA;IAChE,IAAI,CAAC,MAAM;QAAE,MAAM,IAAI,KAAK,CAAC,iCAAiC,CAAC,CAAA;IAC/D,MAAM,UAAU,GAAG,MAAM,CAAC,KAAK,CAA2B,CAAA;IAC1D,IAAI,CAAC,UAAU;QAAE,MAAM,IAAI,KAAK,CAAC,oCAAoC,CAAC,CAAA;IAEtE,MAAM,KAAK,GAAG,MAAM,CAAC,KAAe,CAAA;IACpC,MAAM,IAAI,GAAI,MAAM,CAAC,IAAyC,IAAI,SAAS,CAAA;IAC3E,MAAM,IAAI,GAAG,MAAM,CAAC,IAA0B,CAAA;IAE9C,2CAA2C;IAC3C,IAAI,eAA2B,CAAA;IAC/B,IAAI,IAAI,EAAE,CAAC;QACT,MAAM,iBAAiB,EAAE,CAAA;QACzB,MAAM,QAAQ,GAAI,MAAM,CAAC,QAAmB,IAAI,EAAE,CAAA;QAClD,eAAe,GAAG,WAAW,CAAC,MAAM,EAAE,IAAI,EAAE,EAAE,QAAQ,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,CAAA;IAC5E,CAAC;SAAM,IAAI,OAAO,EAAE,CAAC;QACnB,eAAe,GAAG,UAAU,CAAC,MAAM,EAAE,OAAO,EAAE;YAC5C,KAAK;YACL,cAAc,EAAG,MAAM,CAAC,OAAkB,IAAI,EAAE;SACjD,CAAC,CAAA;IACJ,CAAC;SAAM,CAAC;QACN,MAAM,IAAI,KAAK,CAAC,gDAAgD,CAAC,CAAA;IACnE,CAAC;IAED,WAAW;IACX,eAAe,GAAG,mBAAmB,CAAC,MAAM,EAAE,eAAe,CAAC,CAAA;IAE9D,iBAAiB;IACjB,MAAM,eAAe,GAAU,MAAM,CAAC,UAAmB,IAAI,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAA;IACtE,MAAM,SAAS,GAAG,cAAc,CAAC,eAAe,CAAC,CAAA;IACjD,MAAM,OAAO,GAAG,MAAM,CAAC,SAAS,CAAC,eAAe,EAAE,SAAS,CAAC,CAAA;IAC5D,MAAM,CAAC,OAAO,CAAC,eAAe,CAAC,CAAA;IAE/B,qEAAqE;IACrE,MAAM,eAAe,GAAU,MAAM,CAAC,UAAmB,IAAI,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAA;IACtE,MAAM,eAAe,GAAG,oBAAoB,CAAC,eAAe,EAAE,WAAW,EAAE,CAAC,MAAM,CAAC,aAAa,CAAC,CAAA;IACjG,MAAM,MAAM,GAAG,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,GAAG,CAAC,CAAA;IACzD,MAAM,OAAO,GAAG,IAAI,CAAA;IACpB,MAAM,EAAE,GAAG,eAAe,CAAC,CAAC,CAAC,GAAG,eAAe,CAAC,CAAC,CAAC,GAAG,CAAC,MAAM,GAAG,OAAO,CAAC,CAAA;IACvE,MAAM,EAAE,GAAG,eAAe,CAAC,CAAC,CAAC,GAAG,eAAe,CAAC,CAAC,CAAC,GAAG,CAAC,MAAM,GAAG,OAAO,CAAC,CAAA;IACvE,MAAM,EAAE,GAAG,eAAe,CAAC,CAAC,CAAC,GAAG,eAAe,CAAC,CAAC,CAAC,GAAG,CAAC,MAAM,GAAG,OAAO,CAAC,CAAA;IACvE,MAAM,UAAU,GAAG,MAAM,CAAC,SAAS,CAAC,OAAO,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,CAAA;IACxD,MAAM,CAAC,OAAO,CAAC,OAAO,CAAC,CAAA;IAEvB,wBAAwB;IACxB,MAAM,QAAQ,GAAG,IAAI,KAAK,QAAQ,CAAA;IAClC,IAAI,MAAkB,CAAA;IACtB,IAAI,QAAQ,EAAE,CAAC;QACb,MAAM,GAAG,MAAM,CAAC,IAAI,CAAC,UAAU,EAAE,UAAU,CAAC,CAAA;IAC9C,CAAC;SAAM,CAAC;QACN,MAAM,GAAG,MAAM,CAAC,GAAG,CAAC,UAAU,EAAE,UAAU,CAAC,CAAA;IAC7C,CAAC;IACD,MAAM,CAAC,OAAO,CAAC,UAAU,CAAC,CAAA;IAE1B,wDAAwD;IACxD,IAAI,CAAC;QACH,MAAM,SAAS,GAAG,MAAM,CAAC,YAAY,CAAC,MAAM,EAAE,OAAO,CAAC,CAAA;QACtD,IAAI,SAAS,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACzB,MAAM,KAAK,GAAG,MAAM,CAAC,OAAO,CAAC,SAAS,CAAC,CAAA;YACvC,KAAK,MAAM,CAAC,IAAI,SAAS,EAAE,CAAC;gBAC1B,IAAI,CAAC;oBAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,CAAA;gBAAC,CAAC;gBAAC,MAAM,CAAC,CAAC,SAAS,CAAC,CAAC;YAC/C,CAAC;YACD,IAAI,CAAC;gBAAC,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,CAAA;YAAC,CAAC;YAAC,MAAM,CAAC,CAAC,SAAS,CAAC,CAAC;YAClD,MAAM,GAAG,KAAK,CAAA;QAChB,CAAC;IACH,CAAC;IAAC,MAAM,CAAC;QACP,sCAAsC;IACxC,CAAC;IAED,OAAO,QAAQ,CAAC,YAAY,CAAC,MAAM,EAAE,MAAM,CAAC,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC,CAAA;AAClE,CAAC;AAED,gEAAgE;AAChE,KAAK,UAAU,iBAAiB,CAAC,MAA+B;IAC9D,OAAO,MAAM,CAAC,GAAG,KAAK,SAAS,IAAI,MAAM,CAAC,GAAG,KAAK,IAAI;QACpD,CAAC,CAAC,MAAM,aAAa,CAAC,MAAM,CAAC,GAAG,EAAE,EAAE,MAAM,EAAE,WAAW,EAAE,CAAC,MAAmC,EAAE,CAAC;QAChG,CAAC,CAAC,SAAS,CAAA;AACf,CAAC;AAED;;;;;;;;;;;;;;;;;;;;IAoBI;AACJ,MAAM,CAAC,MAAM,OAAO,GAAG,QAAQ,CAAC;IAC9B,IAAI,EAAE,KAAK,EAAE,KAAY,EAAE,MAA+B,EAAE,EAAE;QAC5D,IAAI,CAAC,KAAK;YAAE,MAAM,IAAI,KAAK,CAAC,oCAAoC,CAAC,CAAA;QACjE,mBAAmB,CAAC,MAAM,CAAC,CAAA;QAC3B,MAAM,OAAO,GAAG,MAAM,iBAAiB,CAAC,MAAM,CAAC,CAAA;QAC/C,UAAU;QACV,MAAM,UAAU,GAAU,MAAM,CAAC,UAAmB,IAAI,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAA;QACjE,MAAM,UAAU,GAAU,MAAM,CAAC,UAAmB,IAAI,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAA;QACjE,MAAM,EAAE,YAAY,EAAE,aAAa,EAAE,GAAG,OAAO,CAAC,CAAC,CAAC,mBAAmB,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,EAAE,YAAY,EAAE,CAAC,EAAE,aAAa,EAAE,CAAC,EAAE,CAAA;QACtH,MAAM,OAAO,GAAG,CAAC,CAAE,MAAM,CAAC,IAA2B,CAAA;QAErD,OAAO,GAAG,CAAC,OAAO,CAAC,KAAK,EAAE;YACxB,IAAI,EAAG,MAAM,CAAC,IAAyC,IAAI,SAAS;YACpE,KAAK,EAAE,MAAM,CAAC,KAAe;YAC7B,IAAI,EAAE,EAAE,MAAM,EAAE,UAAU,EAAE,MAAM,EAAE,UAAU,EAAE;YAChD,IAAI,EAAE,OAAO,CAAC,CAAC,CAAE,MAAM,CAAC,IAAe,CAAC,CAAC,CAAC,SAAS;YACnD,QAAQ,EAAE,MAAM,CAAC,QAA8B;YAC/C,GAAG,EAAE,OAAO;YACZ,eAAe,EAAE,YAAY;YAC7B,gBAAgB,EAAE,aAAa;YAC/B,OAAO,EAAE,MAAM,CAAC,OAA6B;SAC9C,CAAC,CAAA;IACJ,CAAC;IACD,IAAI,EAAE,KAAK,EAAE,KAAY,EAAE,MAA+B,EAAE,EAAE;QAC5D,IAAI,CAAC,KAAK;YAAE,MAAM,IAAI,KAAK,CAAC,oCAAoC,CAAC,CAAA;QACjE,mBAAmB,CAAC,MAAM,CAAC,CAAA;QAC3B,MAAM,OAAO,GAAG,MAAM,iBAAiB,CAAC,MAAM,CAAC,CAAA;QAC/C,OAAO,eAAe,CAAC,KAAK,EAAE,MAAM,EAAE,OAAO,CAAC,CAAA;IAChD,CAAC;CACF,CAAC,CAAA","sourcesContent":["/**\n * stdlib engrave — 雕刻库函数\n *\n *\n * dispatchPath 静态判定 brep/mesh。\n * BREP 路径：textToSolid/svgToSolid + boolean（cut/fuse）。\n */\n\nimport type { Shape, Vec3 } from '../mesh/types'\nimport type { BrepHandle } from '../brep/engine/types'\nimport type { BrepEngineApi } from '../brep/engine/primitives'\nimport type { AssetResolver } from '../cad-runtime/ports'\nimport { cad } from '../mesh'\nimport { parseSvgNaturalSize } from '../primitives/parse-svg-size'\nimport { textToSolid } from '../brep/text/text-to-solid'\nimport { svgToSolid } from '../brep/svg/svg-to-solid'\nimport { ensureDefaultFont } from '../brep/text/fontRegistry'\nimport { solidToShape } from '../brep/brep-ops'\nimport { getSolidBoundingBox } from '../brep/brep-utils'\nimport { resolveSvgArg } from './internal/svg-asset-resolver'\nimport { getBackends } from '../runtime-state'\nimport { fromBrep, brepOf } from '../shape'\nimport { defineOp } from '../sdk'\nimport { assertPositiveNumber } from './assert'\n\n// ── per-op 参数自校验（Phase 2.2；stdlib 被直接 import 时的防御层） ──\n\n/**\n * Validate engrave parameters: at least one of `text` or `svg` must be\n * provided, and `depth` (if provided) must be a positive number.\n * @param params - the raw engrave operation parameters.\n */\nexport function assertEngraveParams(params: Record<string, unknown>): void {\n  const hasText = params.text !== undefined && params.text !== null && params.text !== ''\n  const hasSvg = params.svg !== undefined && params.svg !== null\n  if (!hasText && !hasSvg) {\n    throw new Error('[stdlib] engrave requires either \"text\" or \"svg\"')\n  }\n  if (params.depth !== undefined && params.depth !== null) {\n    assertPositiveNumber(params.depth, 'engrave.depth')\n  }\n}\n\n/** 世界坐标 → BREP solid 局部坐标。 */\nfunction worldToLocalPosition(\n  worldPos: Vec3,\n  partTransform: { position?: [number, number, number] } | undefined,\n): Vec3 {\n  const offset = partTransform?.position\n  if (!offset) return worldPos\n  return [\n    worldPos[0] - offset[0],\n    worldPos[1] - offset[1],\n    worldPos[2] - offset[2],\n  ]\n}\n\n/** 计算将 +Z 轴对齐到目标法向量的 3x4 仿射变换矩阵（仅旋转，无平移，Rodrigues 公式）。 */\nfunction alignZToNormal(normal: Vec3): number[] {\n  const [nx, ny, nz] = normal\n  const len = Math.sqrt(nx * nx + ny * ny + nz * nz)\n  if (len < 1e-10) {\n    return [1, 0, 0, 0, 0, 1, 0, 0, 0, 0, 1, 0]\n  }\n  const ux = nx / len, uy = ny / len, uz = nz / len\n\n  if (Math.abs(ux) < 1e-10 && Math.abs(uy) < 1e-10) {\n    if (uz > 0) return [1, 0, 0, 0, 0, 1, 0, 0, 0, 0, 1, 0]\n    return [1, 0, 0, 0, 0, -1, 0, 0, 0, 0, -1, 0]\n  }\n\n  const s = Math.sqrt(ux * ux + uy * uy)\n  const c = uz\n  const t = 1 - c\n  const ax = -uy / s, ay = ux / s\n\n  return [\n    c + ax * ax * t,  ax * ay * t,    ay * s,  0,\n    ax * ay * t,      c + ay * ay * t, -ax * s, 0,\n    -ay * s,          ax * s,          c,       0,\n  ]\n}\n\n/** 将 solid 居中到原点（基于包围盒中心，与 mesh 路径语义一致）。 */\nfunction centerSolidAtOrigin(kernel: BrepEngineApi, solid: BrepHandle): BrepHandle {\n  const bb = getSolidBoundingBox(kernel, solid)\n  const cx = (bb.min[0] + bb.max[0]) / 2\n  const cy = (bb.min[1] + bb.max[1]) / 2\n  const cz = (bb.min[2] + bb.max[2]) / 2\n  const centered = kernel.translate(solid, -cx, -cy, -cz)\n  kernel.release(solid)\n  return centered\n}\n\n/** BREP 路径：textToSolid/svgToSolid + boolean（cut/fuse）。 */\nasync function engraveBrepPath(input: Shape, params: Record<string, unknown>, svgText?: string): Promise<Shape> {\n  const kernel = getBackends().kernel.brep as BrepEngineApi | null\n  if (!kernel) throw new Error('[stdlib/engrave] no OCCT kernel')\n  const inputSolid = brepOf(input) as BrepHandle | undefined\n  if (!inputSolid) throw new Error('[stdlib/engrave] input is not BREP')\n\n  const depth = params.depth as number\n  const mode = (params.mode as 'convex' | 'concave' | undefined) ?? 'concave'\n  const text = params.text as string | undefined\n\n  // 1. 创建装饰 solid（文字或 SVG），depth 与 mesh 路径一致\n  let decorationSolid: BrepHandle\n  if (text) {\n    await ensureDefaultFont()\n    const textSize = (params.textSize as number) ?? 10\n    decorationSolid = textToSolid(kernel, text, { fontSize: textSize, depth })\n  } else if (svgText) {\n    decorationSolid = svgToSolid(kernel, svgText, {\n      depth,\n      targetLongSide: (params.svgSize as number) ?? 20,\n    })\n  } else {\n    throw new Error('[stdlib/engrave] neither text nor svg provided')\n  }\n\n  // 2. 居中到原点\n  decorationSolid = centerSolidAtOrigin(kernel, decorationSolid)\n\n  // 3. 旋转 +Z 对齐面法向\n  const worldFaceNormal: Vec3 = (params.faceNormal as Vec3) ?? [0, 0, 1]\n  const rotMatrix = alignZToNormal(worldFaceNormal)\n  const rotated = kernel.transform(decorationSolid, rotMatrix)\n  kernel.release(decorationSolid)\n\n  // 4. 沿法向偏移 + 平移到面中心（凸 offset=+depth/2，凹 offset=-depth/2；加 0.01 避免共面）\n  const worldFaceCenter: Vec3 = (params.faceCenter as Vec3) ?? [0, 0, 0]\n  const localFaceCenter = worldToLocalPosition(worldFaceCenter, getBackends().config.partTransform)\n  const offset = mode === 'convex' ? depth / 2 : -depth / 2\n  const epsilon = 0.01\n  const tx = localFaceCenter[0] + worldFaceNormal[0] * (offset + epsilon)\n  const ty = localFaceCenter[1] + worldFaceNormal[1] * (offset + epsilon)\n  const tz = localFaceCenter[2] + worldFaceNormal[2] * (offset + epsilon)\n  const positioned = kernel.translate(rotated, tx, ty, tz)\n  kernel.release(rotated)\n\n  // 5. 布尔运算（凸=fuse，凹=cut）\n  const isRaised = mode === 'convex'\n  let result: BrepHandle\n  if (isRaised) {\n    result = kernel.fuse(inputSolid, positioned)\n  } else {\n    result = kernel.cut(inputSolid, positioned)\n  }\n  kernel.release(positioned)\n\n  // 5b. cut 可能分裂成多个 solid（compound），用 fuseAll 合并回单一 solid\n  try {\n    const subSolids = kernel.getSubShapes(result, 'solid')\n    if (subSolids.length > 1) {\n      const fused = kernel.fuseAll(subSolids)\n      for (const s of subSolids) {\n        try { kernel.release(s) } catch { /* 已释放 */ }\n      }\n      try { kernel.release(result) } catch { /* 已释放 */ }\n      result = fused\n    }\n  } catch {\n    // getSubShapes 失败说明结果不是 compound，无需处理\n  }\n\n  return fromBrep(solidToShape(kernel, result), { solid: result })\n}\n\n/** 解析 SVG 资产引用（AssetRef → SVG 文本），两条路径共享；无 svg 返回 undefined。 */\nasync function resolveEngraveSvg(params: Record<string, unknown>): Promise<string | undefined> {\n  return params.svg !== undefined && params.svg !== null\n    ? await resolveSvgArg(params.svg, { assets: getBackends().assets as AssetResolver | undefined })\n    : undefined\n}\n\n/**\n * 在几何表面雕刻文字或 SVG（文字分支与 logo 分支都可用）。\n * @group 特征\n * @inputs 1\n * @async true\n * @qual ok\n * @name engrave\n * @returns Shape 雕刻后的几何。\n * @param input - 目标几何。type:Shape required:true\n * @param params.mode - 雕刻方式：concave 凹陷（减法）/ convex 凸出（加法）。type:'concave' | 'convex' 默认 'concave'\n * @param params.depth - 深度 / 凸出高度（mm）。type:number 默认 0\n * @param params.text - 文字内容（与 svg 二选一）。type:string\n * @param params.textSize - 字号（mm）。type:number 默认 10\n * @param params.svg - SVG 资产引用（与 text 二选一；经 cad.asset 解析）。type:string\n * @param params.svgSize - SVG 长边目标尺寸。type:number\n * @param params.faceCenter - 面位置（绝对坐标）。type:[x,y,z] 默认 [0,0,0]\n * @param params.faceNormal - 面法向。type:[x,y,z] 默认 [0,0,1]\n * @note 早期 logo 分支用 `svgText`（整份 XML 拷贝 + `svgSize` 文本导出丢失，往返失真）；现已改为 `svg` 资产引用，`engravingType` 冗余键已移除。faceCenter/faceNormal 目前是绝对坐标快照。\n * @example\n * const p = await cad.engrave(part0, { mode: 'concave', depth: 2, text: 'Hello', textSize: 10, faceCenter: [0, 0, 0], faceNormal: [0, 0, -1] })\n  */\nexport const engrave = defineOp({\n  mesh: async (input: Shape, params: Record<string, unknown>) => {\n    if (!input) throw new Error('[stdlib/engrave] no input geometry')\n    assertEngraveParams(params)\n    const svgText = await resolveEngraveSvg(params)\n    // mesh 路径\n    const faceCenter: Vec3 = (params.faceCenter as Vec3) ?? [0, 0, 0]\n    const faceNormal: Vec3 = (params.faceNormal as Vec3) ?? [0, 0, 1]\n    const { naturalWidth, naturalHeight } = svgText ? parseSvgNaturalSize(svgText) : { naturalWidth: 0, naturalHeight: 0 }\n    const hasText = !!(params.text as string | undefined)\n\n    return cad.engrave(input, {\n      mode: (params.mode as 'convex' | 'concave' | undefined) ?? 'concave',\n      depth: params.depth as number,\n      face: { center: faceCenter, normal: faceNormal },\n      text: hasText ? (params.text as string) : undefined,\n      textSize: params.textSize as number | undefined,\n      svg: svgText,\n      svgNaturalWidth: naturalWidth,\n      svgNaturalHeight: naturalHeight,\n      svgSize: params.svgSize as number | undefined,\n    })\n  },\n  brep: async (input: Shape, params: Record<string, unknown>) => {\n    if (!input) throw new Error('[stdlib/engrave] no input geometry')\n    assertEngraveParams(params)\n    const svgText = await resolveEngraveSvg(params)\n    return engraveBrepPath(input, params, svgText)\n  },\n})\n"]}