@faicad/faijs 0.16.1 → 0.18.0

package/dist/api/compound-geom.js

@@ -17,6 +17,7 @@
  */
 import { isCompoundLike, brepOf, fromBrep } from '../shape.js';
 import { getBackends, BrepUnsupportedError } from '../runtime-state.js';
+import { getBrepApi } from '../brep/handle-bridge.js';
 import { solidToShape } from '../brep/brep-ops.js';
 /** 把任意成员（Shape 或结构 compound）展平为若干子 mesh。 */
 function collectSubMeshes(s) {
@@ -65,8 +66,13 @@ export function mergeMeshes(members) {
  */
 export function compound(params) {
     const members = params.members ?? [];
-    const { config, kernel: kernels } = getBackends();
-    const kernel = kernels.brep;
+    const { config } = getBackends();
+    // D12 中立取核；引擎未初始化（纯 mesh 场景）→ null 容忍走 mesh 路径。
+    let kernel = null;
+    try {
+        kernel = getBrepApi();
+    }
+    catch { /* no engine -> mesh path */ }
     // 结构 compound 是结构壳（无 OCCT 句柄）：不在 BREP 链上 → 视为无句柄成员。
     const handles = members.map((m) => (isCompoundLike(m) ? undefined : brepOf(m)));
     const allBrep = !!kernel && handles.every((h) => h !== undefined);

package/dist/api/compound-geom.js.map

@@ -1 +1 @@
-{"version":3,"file":"compound-geom.js","sourceRoot":"","sources":["../../src/api/compound-geom.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;GAgBG;AAGH,OAAO,EAAE,cAAc,EAAE,MAAM,EAAE,QAAQ,EAAsB,MAAM,UAAU,CAAA;AAC/E,OAAO,EAAE,WAAW,EAAE,oBAAoB,EAAE,MAAM,kBAAkB,CAAA;AACpE,OAAO,EAAE,YAAY,EAAE,MAAM,kBAAkB,CAAA;AAI/C,4CAA4C;AAC5C,SAAS,gBAAgB,CAAC,CAAwB;IAChD,IAAI,cAAc,CAAC,CAAC,CAAC,EAAE,CAAC;QACtB,MAAM,GAAG,GAAY,EAAE,CAAA;QACvB,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,QAAQ;YAAE,GAAG,CAAC,IAAI,CAAC,GAAG,gBAAgB,CAAC,CAAC,CAAC,CAAC,CAAA;QAC5D,OAAO,GAAG,CAAA;IACZ,CAAC;IACD,IAAI,CAAC,CAAC,SAAS,IAAI,CAAC,CAAC,OAAO;QAAE,OAAO,CAAC,CAAC,CAAC,CAAA;IACxC,OAAO,EAAE,CAAA;AACX,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,WAAW,CAAC,OAAqC;IAC/D,MAAM,SAAS,GAAa,EAAE,CAAA;IAC9B,MAAM,OAAO,GAAa,EAAE,CAAA;IAC5B,KAAK,MAAM,CAAC,IAAI,OAAO,EAAE,CAAC;QACxB,KAAK,MAAM,GAAG,IAAI,gBAAgB,CAAC,CAAC,CAAC,EAAE,CAAC;YACtC,MAAM,IAAI,GAAG,SAAS,CAAC,MAAM,GAAG,CAAC,CAAA;YACjC,SAAS,CAAC,IAAI,CAAC,GAAG,GAAG,CAAC,SAAS,CAAC,CAAA;YAChC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,GAAG,CAAC,OAAO,CAAC,MAAM,EAAE,CAAC,EAAE;gBAAE,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,CAAA;QAClF,CAAC;IACH,CAAC;IACD,OAAO,EAAE,SAAS,EAAE,IAAI,YAAY,CAAC,SAAS,CAAC,EAAE,OAAO,EAAE,IAAI,WAAW,CAAC,OAAO,CAAC,EAAE,CAAA;AACtF,CAAC;AAED;;;;;;;;;;;;;GAaG;AACH,MAAM,UAAU,QAAQ,CAAC,MAAiE;IACxF,MAAM,OAAO,GAAG,MAAM,CAAC,OAAO,IAAI,EAAE,CAAA;IACpC,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,OAAO,EAAE,GAAG,WAAW,EAAE,CAAA;IACjD,MAAM,MAAM,GAAG,OAAO,CAAC,IAA4B,CAAA;IAEnD,oDAAoD;IACpD,MAAM,OAAO,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,cAAc,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAA;IAC/E,MAAM,OAAO,GAAG,CAAC,CAAC,MAAM,IAAI,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,SAAS,CAAC,CAAA;IAEjE,IAAI,MAAM,CAAC,IAAI,KAAK,MAAM,IAAI,CAAC,OAAO,EAAE,CAAC;QACvC,MAAM,IAAI,oBAAoB,CAC5B,oEAAoE,CACrE,CAAA;IACH,CAAC;IAED,oCAAoC;IACpC,IAAI,OAAO,IAAI,MAAM,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;QACtC,MAAM,cAAc,GAAG,MAAO,CAAC,YAAY,CAAC,OAAuB,CAAC,CAAA;QACpE,MAAM,IAAI,GAAG,YAAY,CAAC,MAAO,EAAE,cAAc,CAAC,CAAA;QAClD,OAAO,QAAQ,CAAC,IAAI,EAAE,EAAE,KAAK,EAAE,cAAc,EAAE,CAAC,CAAA;IAClD,CAAC;IAED,oBAAoB;IACpB,OAAO,WAAW,CAAC,OAAO,CAAC,CAAA;AAC7B,CAAC","sourcesContent":["/**\n * stdlib compound — 平台几何复合体 op（H11 / 方案 §4.2）\n *\n *\n * 与编辑器 `cad.group`（`api/compound.ts`）的区别：\n * - `group` 是 ../3d_editor 的「结构分组」op：产出 `{kind:'compound', children}`\n *   结构壳（无 OCCT 句柄），意义是层级/画布结构，不可变换、不可导出为实体。\n * - 本 op 是 faijs **平台**几何 op：把多个成员聚成一个**几何复合体**\n *   （OCCT `TopoDS_Compound`，持句柄），可被放置、导出、作为后续 op 的输入。\n *\n * 路径：\n * - brep 路径：`kernel.makeCompound(handles)`（收任意 BrepHandle，含非实体）\n *   → `solidToShape` 三角化 → `fromBrep` 登记句柄。\n * - mesh 路径：合并成员 mesh（结构 compound 子节点展平；纯线框无面成员不贡献网格）。\n *\n * 成员不 keep：复合体是单一几何输出，成员作为子形被吸入，不单独作为终端显示。\n */\n\nimport type { Shape } from '../mesh/types'\nimport { isCompoundLike, brepOf, fromBrep, type CompoundShape } from '../shape'\nimport { getBackends, BrepUnsupportedError } from '../runtime-state'\nimport { solidToShape } from '../brep/brep-ops'\nimport type { BrepEngineApi } from '../brep/engine/primitives'\nimport type { BrepHandle } from '../brep/engine/types'\n\n/** 把任意成员（Shape 或结构 compound）展平为若干子 mesh。 */\nfunction collectSubMeshes(s: Shape | CompoundShape): Shape[] {\n  if (isCompoundLike(s)) {\n    const out: Shape[] = []\n    for (const c of s.children) out.push(...collectSubMeshes(c))\n    return out\n  }\n  if (s.positions && s.indices) return [s]\n  return []\n}\n\n/**\n * mesh 路径：合并成员 mesh（展平结构 compound 子节点）。\n *\n * @param members - 待合并的成员（结构 compound 递归展平）。\n * @returns 合并后的单一 mesh Shape。\n */\nexport function mergeMeshes(members: Array<Shape | CompoundShape>): Shape {\n  const positions: number[] = []\n  const indices: number[] = []\n  for (const m of members) {\n    for (const sub of collectSubMeshes(m)) {\n      const base = positions.length / 3\n      positions.push(...sub.positions)\n      for (let i = 0; i < sub.indices.length; i++) indices.push(sub.indices[i] + base)\n    }\n  }\n  return { positions: new Float32Array(positions), indices: new Uint32Array(indices) }\n}\n\n/**\n * `cad.compound({ members, name? })` → 几何复合体 Shape（持 OCCT 句柄）。\n *\n * @group 结构\n * @inputs 1\n * @qual ok\n * @name compound\n * @param params.members - 成员数组（Shape 或结构 compound；编译产物 ctx.<var> 引用）。type:Shape[]\n * @param params.name - 可选名称。type:string\n * @note 成员经 `params.members` 传入，不是位置参数。与编辑器 `cad.group` 的区别：本 op 产出**几何**复合体（持 OCCT 句柄，可放置/导出），`group` 是结构壳（无句柄）。平台侧不要用 `group`。\n * @returns Shape 几何复合体（brep 路径持句柄，可变换/可导出）。\n * @example\n * const c = cad.compound({ members: [part0, part1] })\n */\nexport function compound(params: { members?: Array<Shape | CompoundShape>; name?: string }): Shape {\n  const members = params.members ?? []\n  const { config, kernel: kernels } = getBackends()\n  const kernel = kernels.brep as BrepEngineApi | null\n\n  // 结构 compound 是结构壳（无 OCCT 句柄）：不在 BREP 链上 → 视为无句柄成员。\n  const handles = members.map((m) => (isCompoundLike(m) ? undefined : brepOf(m)))\n  const allBrep = !!kernel && handles.every((h) => h !== undefined)\n\n  if (config.mode === 'brep' && !allBrep) {\n    throw new BrepUnsupportedError(\n      'E_BREP_UNSUPPORTED: compound members are not all on the BREP chain',\n    )\n  }\n\n  // brep 路径：合并为 TopoDS_Compound 并登记句柄\n  if (allBrep && config.mode !== 'mesh') {\n    const compoundHandle = kernel!.makeCompound(handles as BrepHandle[])\n    const mesh = solidToShape(kernel!, compoundHandle)\n    return fromBrep(mesh, { solid: compoundHandle })\n  }\n\n  // mesh 路径：合并成员 mesh\n  return mergeMeshes(members)\n}\n"]}
+{"version":3,"file":"compound-geom.js","sourceRoot":"","sources":["../../src/api/compound-geom.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;GAgBG;AAGH,OAAO,EAAE,cAAc,EAAE,MAAM,EAAE,QAAQ,EAAsB,MAAM,UAAU,CAAA;AAC/E,OAAO,EAAE,WAAW,EAAE,oBAAoB,EAAE,MAAM,kBAAkB,CAAA;AACpE,OAAO,EAAE,UAAU,EAAE,MAAM,uBAAuB,CAAA;AAClD,OAAO,EAAE,YAAY,EAAE,MAAM,kBAAkB,CAAA;AAI/C,4CAA4C;AAC5C,SAAS,gBAAgB,CAAC,CAAwB;IAChD,IAAI,cAAc,CAAC,CAAC,CAAC,EAAE,CAAC;QACtB,MAAM,GAAG,GAAY,EAAE,CAAA;QACvB,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,QAAQ;YAAE,GAAG,CAAC,IAAI,CAAC,GAAG,gBAAgB,CAAC,CAAC,CAAC,CAAC,CAAA;QAC5D,OAAO,GAAG,CAAA;IACZ,CAAC;IACD,IAAI,CAAC,CAAC,SAAS,IAAI,CAAC,CAAC,OAAO;QAAE,OAAO,CAAC,CAAC,CAAC,CAAA;IACxC,OAAO,EAAE,CAAA;AACX,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,WAAW,CAAC,OAAqC;IAC/D,MAAM,SAAS,GAAa,EAAE,CAAA;IAC9B,MAAM,OAAO,GAAa,EAAE,CAAA;IAC5B,KAAK,MAAM,CAAC,IAAI,OAAO,EAAE,CAAC;QACxB,KAAK,MAAM,GAAG,IAAI,gBAAgB,CAAC,CAAC,CAAC,EAAE,CAAC;YACtC,MAAM,IAAI,GAAG,SAAS,CAAC,MAAM,GAAG,CAAC,CAAA;YACjC,SAAS,CAAC,IAAI,CAAC,GAAG,GAAG,CAAC,SAAS,CAAC,CAAA;YAChC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,GAAG,CAAC,OAAO,CAAC,MAAM,EAAE,CAAC,EAAE;gBAAE,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,CAAA;QAClF,CAAC;IACH,CAAC;IACD,OAAO,EAAE,SAAS,EAAE,IAAI,YAAY,CAAC,SAAS,CAAC,EAAE,OAAO,EAAE,IAAI,WAAW,CAAC,OAAO,CAAC,EAAE,CAAA;AACtF,CAAC;AAED;;;;;;;;;;;;;GAaG;AACH,MAAM,UAAU,QAAQ,CAAC,MAAiE;IACxF,MAAM,OAAO,GAAG,MAAM,CAAC,OAAO,IAAI,EAAE,CAAA;IACpC,MAAM,EAAE,MAAM,EAAE,GAAG,WAAW,EAAE,CAAA;IAChC,gDAAgD;IAChD,IAAI,MAAM,GAAyB,IAAI,CAAA;IACvC,IAAI,CAAC;QAAC,MAAM,GAAG,UAAU,EAAE,CAAA;IAAC,CAAC;IAAC,MAAM,CAAC,CAAC,4BAA4B,CAAC,CAAC;IAEpE,oDAAoD;IACpD,MAAM,OAAO,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,cAAc,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAA;IAC/E,MAAM,OAAO,GAAG,CAAC,CAAC,MAAM,IAAI,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,SAAS,CAAC,CAAA;IAEjE,IAAI,MAAM,CAAC,IAAI,KAAK,MAAM,IAAI,CAAC,OAAO,EAAE,CAAC;QACvC,MAAM,IAAI,oBAAoB,CAC5B,oEAAoE,CACrE,CAAA;IACH,CAAC;IAED,oCAAoC;IACpC,IAAI,OAAO,IAAI,MAAM,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;QACtC,MAAM,cAAc,GAAG,MAAO,CAAC,YAAY,CAAC,OAAuB,CAAC,CAAA;QACpE,MAAM,IAAI,GAAG,YAAY,CAAC,MAAO,EAAE,cAAc,CAAC,CAAA;QAClD,OAAO,QAAQ,CAAC,IAAI,EAAE,EAAE,KAAK,EAAE,cAAc,EAAE,CAAC,CAAA;IAClD,CAAC;IAED,oBAAoB;IACpB,OAAO,WAAW,CAAC,OAAO,CAAC,CAAA;AAC7B,CAAC","sourcesContent":["/**\n * stdlib compound — 平台几何复合体 op（H11 / 方案 §4.2）\n *\n *\n * 与编辑器 `cad.group`（`api/compound.ts`）的区别：\n * - `group` 是 ../3d_editor 的「结构分组」op：产出 `{kind:'compound', children}`\n *   结构壳（无 OCCT 句柄），意义是层级/画布结构，不可变换、不可导出为实体。\n * - 本 op 是 faijs **平台**几何 op：把多个成员聚成一个**几何复合体**\n *   （OCCT `TopoDS_Compound`，持句柄），可被放置、导出、作为后续 op 的输入。\n *\n * 路径：\n * - brep 路径：`kernel.makeCompound(handles)`（收任意 BrepHandle，含非实体）\n *   → `solidToShape` 三角化 → `fromBrep` 登记句柄。\n * - mesh 路径：合并成员 mesh（结构 compound 子节点展平；纯线框无面成员不贡献网格）。\n *\n * 成员不 keep：复合体是单一几何输出，成员作为子形被吸入，不单独作为终端显示。\n */\n\nimport type { Shape } from '../mesh/types'\nimport { isCompoundLike, brepOf, fromBrep, type CompoundShape } from '../shape'\nimport { getBackends, BrepUnsupportedError } from '../runtime-state'\nimport { getBrepApi } from '../brep/handle-bridge'\nimport { solidToShape } from '../brep/brep-ops'\nimport type { BrepEngineApi } from '../brep/engine/primitives'\nimport type { BrepHandle } from '../brep/engine/types'\n\n/** 把任意成员（Shape 或结构 compound）展平为若干子 mesh。 */\nfunction collectSubMeshes(s: Shape | CompoundShape): Shape[] {\n  if (isCompoundLike(s)) {\n    const out: Shape[] = []\n    for (const c of s.children) out.push(...collectSubMeshes(c))\n    return out\n  }\n  if (s.positions && s.indices) return [s]\n  return []\n}\n\n/**\n * mesh 路径：合并成员 mesh（展平结构 compound 子节点）。\n *\n * @param members - 待合并的成员（结构 compound 递归展平）。\n * @returns 合并后的单一 mesh Shape。\n */\nexport function mergeMeshes(members: Array<Shape | CompoundShape>): Shape {\n  const positions: number[] = []\n  const indices: number[] = []\n  for (const m of members) {\n    for (const sub of collectSubMeshes(m)) {\n      const base = positions.length / 3\n      positions.push(...sub.positions)\n      for (let i = 0; i < sub.indices.length; i++) indices.push(sub.indices[i] + base)\n    }\n  }\n  return { positions: new Float32Array(positions), indices: new Uint32Array(indices) }\n}\n\n/**\n * `cad.compound({ members, name? })` → 几何复合体 Shape（持 OCCT 句柄）。\n *\n * @group 结构\n * @inputs 1\n * @qual ok\n * @name compound\n * @param params.members - 成员数组（Shape 或结构 compound；编译产物 ctx.<var> 引用）。type:Shape[]\n * @param params.name - 可选名称。type:string\n * @note 成员经 `params.members` 传入，不是位置参数。与编辑器 `cad.group` 的区别：本 op 产出**几何**复合体（持 OCCT 句柄，可放置/导出），`group` 是结构壳（无句柄）。平台侧不要用 `group`。\n * @returns Shape 几何复合体（brep 路径持句柄，可变换/可导出）。\n * @example\n * const c = cad.compound({ members: [part0, part1] })\n */\nexport function compound(params: { members?: Array<Shape | CompoundShape>; name?: string }): Shape {\n  const members = params.members ?? []\n  const { config } = getBackends()\n  // D12 中立取核；引擎未初始化（纯 mesh 场景）→ null 容忍走 mesh 路径。\n  let kernel: BrepEngineApi | null = null\n  try { kernel = getBrepApi() } catch { /* no engine -> mesh path */ }\n\n  // 结构 compound 是结构壳（无 OCCT 句柄）：不在 BREP 链上 → 视为无句柄成员。\n  const handles = members.map((m) => (isCompoundLike(m) ? undefined : brepOf(m)))\n  const allBrep = !!kernel && handles.every((h) => h !== undefined)\n\n  if (config.mode === 'brep' && !allBrep) {\n    throw new BrepUnsupportedError(\n      'E_BREP_UNSUPPORTED: compound members are not all on the BREP chain',\n    )\n  }\n\n  // brep 路径：合并为 TopoDS_Compound 并登记句柄\n  if (allBrep && config.mode !== 'mesh') {\n    const compoundHandle = kernel!.makeCompound(handles as BrepHandle[])\n    const mesh = solidToShape(kernel!, compoundHandle)\n    return fromBrep(mesh, { solid: compoundHandle })\n  }\n\n  // mesh 路径：合并成员 mesh\n  return mergeMeshes(members)\n}\n"]}

package/dist/api/draft.d.ts

@@ -0,0 +1,69 @@
+/**
+ * stdlib draft — 拔模：对选定面施加拔模斜度（手写**平台** op，Phase 5）
+ *
+ * `engines: ['occt']` —— 但**不是平台依赖**（实现只经 L1 契约面 `getBrepApi()`，
+ * 见下选面口径），而是**实证收窄**：brepkit 的 L1 `draft` 实测产出错误几何，
+ * 必须让静态门在执行前拒绝（红线：BREP 链可用性执行前静态判定，不允许
+ * 「门说能、内核说不能」；也不允许静默产出错几何）。
+ *
+ * 实证（同脚本、box(20,20,10)、angleDeg=3，两引擎同一次运行）：
+ * - occt：4 个侧面（faceRef ordinal 1–4）**都给一致 delta = −52.4078**
+ *   —— 对称输入 ⇒ 对称输出，几何自洽；⊥ pull 的端面由内核报 KERNEL_ERROR。
+ * - brepkit：ordinal 1–5 给 +60.29 / 0 / 0 / +17.47 / 0 —— **对称性被破坏**
+ *   （对称 box 上对单个侧面拔模，四个侧面不可能给出不同结果），其中三个是
+ *   **静默无操作**（体积与 bbox 均不变），而 ⊥ pull 的端面反而把 x/y 凸包各撑大
+ *   0.524（= 10·tan 3°）。序号错配不能解释：破坏对称性与序号无关。
+ *
+ * 选面口径（设计原则 4）：`faces: FaceTopoRef[]`（`cad.faceRef` 产物）。
+ * `neutral` 用 `{point, normal}` 平面参数——不给 face 引用（方案 §7 建议 2）。
+ *
+ * 回归守卫：`api/feature-family.test.ts` 的「brepkit 下 draft 静态拒绝」用例。
+ */
+import type { Shape } from '../mesh/types.js';
+import type { FaceTopoRef } from '../topology/naming/index.js';
+type Vec3 = [number, number, number];
+/** `cad.draft` 参数。 */
+export interface DraftParams {
+    /** 拔模面（FaceTopoRef[]，`cad.faceRef` 产物）。 */
+    faces: FaceTopoRef[];
+    /** 拔模角（度）。 */
+    angleDeg: number;
+    /** 拔模方向（默认 +Z）。 */
+    pull?: Vec3;
+    /**
+     * 中性平面：**只有点的语义**（内核把该点所在高度视为 0° 基准；省略取原点）。
+     * `normal` 无任何内核消费者（occt-wasm 原生 `draft` 无 neutral 形参，brepkit
+     * 只收点），传了会显式报 `E_DRAFT_NEUTRAL_NORMAL_UNUSED`。
+     */
+    neutral?: {
+        point: Vec3;
+        normal?: Vec3;
+    };
+}
+/**
+ * 拔模：对选定面施加拔模斜度（铸造/注塑出模角）。
+ * @group 特征
+ * @inputs 1
+ * @async true
+ * @qual ok
+ * @name draft
+ * @note **occt-only**（`engines: ['occt']`；实证收窄，非平台依赖——见文件头实证：
+ *       brepkit 破坏对称性且部分 ordinal 静默无操作）。`neutral`（中性点）**只支持
+ *       原点**：occt-wasm 原生 `draft(shape, face, angleRad, direction)` 没有 neutral
+ *       形参，传非原点中性点会显式报错（不静默产出错几何）；brepkit 已被静态拒绝，
+ *       故非原点 `neutral` 当前**没有任何可用引擎**——需要该语义时请改用
+ *       `pull` + 面上一点建模。仅 BREP 可用（mesh 输入执行前报错）。
+ * @returns Shape 拔模后的几何。
+ * @param input - 目标几何。type:Shape required:true
+ * @param params.faces - 拔模面（FaceTopoRef[]，cad.faceRef 产物）。type:FaceTopoRef[] required:true
+ * @param params.angleDeg - 拔模角（度，≠0）。type:number required:true
+ * @param params.pull - 拔模方向（默认 +Z）。type:Vec3 required:false
+ * @param params.neutral - 中性面**点**（{point}；normal 无消费者）。type:{point:Vec3,normal?:Vec3} required:false
+ * @example
+ * const d = await cad.draft(part0, { faces: [cad.faceRef(part0, 3)], angleDeg: 3 })
+ */
+export declare const draft: ((input: Shape, params: DraftParams) => Promise<Shape>) & {
+    __faijs__dualOp?: import("../define-op.js").DualOpMeta;
+};
+export {};
+//# sourceMappingURL=draft.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"draft.d.ts","sourceRoot":"","sources":["../../src/api/draft.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;GAoBG;AAEH,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,eAAe,CAAA;AAM1C,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,oBAAoB,CAAA;AAKrD,KAAK,IAAI,GAAG,CAAC,MAAM,EAAE,MAAM,EAAE,MAAM,CAAC,CAAA;AAEpC,sBAAsB;AACtB,MAAM,WAAW,WAAW;IAC1B,2CAA2C;IAC3C,KAAK,EAAE,WAAW,EAAE,CAAA;IACpB,cAAc;IACd,QAAQ,EAAE,MAAM,CAAA;IAChB,mBAAmB;IACnB,IAAI,CAAC,EAAE,IAAI,CAAA;IACX;;;;OAIG;IACH,OAAO,CAAC,EAAE;QAAE,KAAK,EAAE,IAAI,CAAC;QAAC,MAAM,CAAC,EAAE,IAAI,CAAA;KAAE,CAAA;CACzC;AAwDD;;;;;;;;;;;;;;;;;;;;;GAqBG;AACH,eAAO,MAAM,KAAK;;CAUhB,CAAA"}

package/dist/api/draft.js

@@ -0,0 +1,109 @@
+/**
+ * stdlib draft — 拔模：对选定面施加拔模斜度（手写**平台** op，Phase 5）
+ *
+ * `engines: ['occt']` —— 但**不是平台依赖**（实现只经 L1 契约面 `getBrepApi()`，
+ * 见下选面口径），而是**实证收窄**：brepkit 的 L1 `draft` 实测产出错误几何，
+ * 必须让静态门在执行前拒绝（红线：BREP 链可用性执行前静态判定，不允许
+ * 「门说能、内核说不能」；也不允许静默产出错几何）。
+ *
+ * 实证（同脚本、box(20,20,10)、angleDeg=3，两引擎同一次运行）：
+ * - occt：4 个侧面（faceRef ordinal 1–4）**都给一致 delta = −52.4078**
+ *   —— 对称输入 ⇒ 对称输出，几何自洽；⊥ pull 的端面由内核报 KERNEL_ERROR。
+ * - brepkit：ordinal 1–5 给 +60.29 / 0 / 0 / +17.47 / 0 —— **对称性被破坏**
+ *   （对称 box 上对单个侧面拔模，四个侧面不可能给出不同结果），其中三个是
+ *   **静默无操作**（体积与 bbox 均不变），而 ⊥ pull 的端面反而把 x/y 凸包各撑大
+ *   0.524（= 10·tan 3°）。序号错配不能解释：破坏对称性与序号无关。
+ *
+ * 选面口径（设计原则 4）：`faces: FaceTopoRef[]`（`cad.faceRef` 产物）。
+ * `neutral` 用 `{point, normal}` 平面参数——不给 face 引用（方案 §7 建议 2）。
+ *
+ * 回归守卫：`api/feature-family.test.ts` 的「brepkit 下 draft 静态拒绝」用例。
+ */
+import { solidToShape } from '../brep/brep-ops.js';
+import { getBrepApi } from '../brep/handle-bridge.js';
+import { brepOf, fromBrep } from '../shape.js';
+import { defineOp } from '../sdk.js';
+import { resolveTopoRef, TopoRefError } from '../topology/naming/index.js';
+import { buildEdgeResolutionContext } from './topo-resolve.js';
+/** BREP 路径：解析面引用 → L1 draft → 收养。 */
+function draftBrep(input, params) {
+    const { faces, angleDeg } = params ?? {};
+    if (!Array.isArray(faces) || faces.length === 0) {
+        throw new Error('E_DRAFT_NO_FACES: draft requires at least one FaceTopoRef in faces');
+    }
+    if (typeof angleDeg !== 'number' || !Number.isFinite(angleDeg) || angleDeg === 0) {
+        throw new Error('E_DRAFT_BAD_ANGLE: draft.angleDeg must be a non-zero number (degrees)');
+    }
+    const kernel = getBrepApi();
+    const solid = brepOf(input);
+    if (!solid)
+        throw new Error('E_DRAFT_NO_BREP: draft input is not BREP');
+    const ctx = buildEdgeResolutionContext(kernel, input);
+    if (!ctx)
+        throw new TopoRefError('E_TOPO_NOT_FOUND', 'face', 'draft: input has no BREP naming context');
+    const faceHandles = faces.map((ref) => {
+        if (!ref || ref.kind !== 'face') {
+            throw new Error('E_DRAFT_BAD_FACE_REF: every faces entry must be a FaceTopoRef (cad.faceRef)');
+        }
+        const r = resolveTopoRef(ref, ctx);
+        if (r.handle === undefined) {
+            throw new TopoRefError('E_TOPO_NOT_FOUND', 'face', `draft: face resolved without handle (${ref.origin}/${ref.role})`);
+        }
+        return r.handle;
+    });
+    // GOTCHA-1（Phase 5 实测）：L1 的向量形参是 `BrepVec3 = {x,y,z}` **对象**，不是元组。
+    // 传 `[0,0,1]` 会被内核读成零向量 ⇒ occt 抛空文案 KERNEL_ERROR、brepkit 抛
+    // "cannot normalize zero vector"，两边都不可用。必须显式转对象（同 pattern.ts:41）。
+    const [px, py, pz] = params.pull ?? [0, 0, 1];
+    const pullVec = { x: px, y: py, z: pz };
+    // 中性面缺省：中性点取原点（内核语义为「该点处角度为 0」）。
+    const nPoint = params.neutral?.point;
+    const neutralVec = nPoint
+        ? { x: nPoint[0], y: nPoint[1], z: nPoint[2] }
+        : { x: 0, y: 0, z: 0 };
+    // GOTCHA-2（Phase 5 实测）：L1 draft 的 neutral 只有**点**语义（occt-wasm 原生
+    // `draft(shape, face, angleRad, direction)` 根本没有 neutral 形参，brepkit 也只收
+    // 点：brepkitKernel.ts:669-676）。故 `neutral.normal` 无任何消费者——按项目约定
+    // （occt-primitives.ts interpolatePoints「拒绝而非静默产出错几何」）显式报错，
+    // 不静默丢弃。
+    if (params.neutral?.normal) {
+        throw new Error('E_DRAFT_NEUTRAL_NORMAL_UNUSED: L1 draft takes a neutral POINT only (no plane normal) — ' +
+            'drop neutral.normal, or model the plane via pull + a point on it');
+    }
+    const result = kernel.draft(solid, faceHandles, pullVec, neutralVec, angleDeg);
+    return fromBrep(solidToShape(kernel, result), { solid: result });
+}
+/**
+ * 拔模：对选定面施加拔模斜度（铸造/注塑出模角）。
+ * @group 特征
+ * @inputs 1
+ * @async true
+ * @qual ok
+ * @name draft
+ * @note **occt-only**（`engines: ['occt']`；实证收窄，非平台依赖——见文件头实证：
+ *       brepkit 破坏对称性且部分 ordinal 静默无操作）。`neutral`（中性点）**只支持
+ *       原点**：occt-wasm 原生 `draft(shape, face, angleRad, direction)` 没有 neutral
+ *       形参，传非原点中性点会显式报错（不静默产出错几何）；brepkit 已被静态拒绝，
+ *       故非原点 `neutral` 当前**没有任何可用引擎**——需要该语义时请改用
+ *       `pull` + 面上一点建模。仅 BREP 可用（mesh 输入执行前报错）。
+ * @returns Shape 拔模后的几何。
+ * @param input - 目标几何。type:Shape required:true
+ * @param params.faces - 拔模面（FaceTopoRef[]，cad.faceRef 产物）。type:FaceTopoRef[] required:true
+ * @param params.angleDeg - 拔模角（度，≠0）。type:number required:true
+ * @param params.pull - 拔模方向（默认 +Z）。type:Vec3 required:false
+ * @param params.neutral - 中性面**点**（{point}；normal 无消费者）。type:{point:Vec3,normal?:Vec3} required:false
+ * @example
+ * const d = await cad.draft(part0, { faces: [cad.faceRef(part0, 3)], angleDeg: 3 })
+ */
+export const draft = defineOp({
+    capabilities: ['directEdit'],
+    // 实证收窄（2026-09-24）：brepkit 的 L1 draft 产出错误几何（破坏对称性 / 静默无操作），
+    // 声明 occt 白名单让静态门在执行前拒绝 —— 与 capabilities 并存合法（两条正交轴，
+    // engines 先判、能力门在引擎匹配后再求交）。
+    engines: ['occt'],
+    brep(input, params) {
+        return draftBrep(input, params);
+    },
+    naming: { kind: 'kernel', newFaces: { via: 'byAdjacency' } },
+});
+//# sourceMappingURL=draft.js.map

package/dist/api/draft.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"draft.js","sourceRoot":"","sources":["../../src/api/draft.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;GAoBG;AAIH,OAAO,EAAE,YAAY,EAAE,MAAM,kBAAkB,CAAA;AAC/C,OAAO,EAAE,UAAU,EAAE,MAAM,uBAAuB,CAAA;AAClD,OAAO,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,UAAU,CAAA;AAC3C,OAAO,EAAE,QAAQ,EAAE,MAAM,QAAQ,CAAA;AAEjC,OAAO,EAAE,cAAc,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAA;AAEjE,OAAO,EAAE,0BAA0B,EAAE,MAAM,gBAAgB,CAAA;AAoB3D,qCAAqC;AACrC,SAAS,SAAS,CAAC,KAAY,EAAE,MAAmB;IAClD,MAAM,EAAE,KAAK,EAAE,QAAQ,EAAE,GAAG,MAAM,IAAK,EAAkB,CAAA;IACzD,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAChD,MAAM,IAAI,KAAK,CAAC,oEAAoE,CAAC,CAAA;IACvF,CAAC;IACD,IAAI,OAAO,QAAQ,KAAK,QAAQ,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,QAAQ,CAAC,IAAI,QAAQ,KAAK,CAAC,EAAE,CAAC;QACjF,MAAM,IAAI,KAAK,CAAC,uEAAuE,CAAC,CAAA;IAC1F,CAAC;IACD,MAAM,MAAM,GAAG,UAAU,EAAE,CAAA;IAC3B,MAAM,KAAK,GAAG,MAAM,CAAC,KAAK,CAA2B,CAAA;IACrD,IAAI,CAAC,KAAK;QAAE,MAAM,IAAI,KAAK,CAAC,0CAA0C,CAAC,CAAA;IAEvE,MAAM,GAAG,GAAG,0BAA0B,CAAC,MAAM,EAAE,KAAe,CAAC,CAAA;IAC/D,IAAI,CAAC,GAAG;QAAE,MAAM,IAAI,YAAY,CAAC,kBAAkB,EAAE,MAAM,EAAE,yCAAyC,CAAC,CAAA;IACvG,MAAM,WAAW,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE;QACpC,IAAI,CAAC,GAAG,IAAK,GAA0B,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;YACxD,MAAM,IAAI,KAAK,CAAC,6EAA6E,CAAC,CAAA;QAChG,CAAC;QACD,MAAM,CAAC,GAAG,cAAc,CAAC,GAAG,EAAE,GAAG,CAAC,CAAA;QAClC,IAAI,CAAC,CAAC,MAAM,KAAK,SAAS,EAAE,CAAC;YAC3B,MAAM,IAAI,YAAY,CAAC,kBAAkB,EAAE,MAAM,EAAE,wCAAwC,GAAG,CAAC,MAAM,IAAI,GAAG,CAAC,IAAI,GAAG,CAAC,CAAA;QACvH,CAAC;QACD,OAAO,CAAC,CAAC,MAAoB,CAAA;IAC/B,CAAC,CAAC,CAAA;IAEF,mEAAmE;IACnE,2DAA2D;IAC3D,kEAAkE;IAClE,MAAM,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,GAAG,MAAM,CAAC,IAAI,IAAI,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAA;IAC7C,MAAM,OAAO,GAAa,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,EAAE,EAAE,CAAA;IAEjD,iCAAiC;IACjC,MAAM,MAAM,GAAG,MAAM,CAAC,OAAO,EAAE,KAAK,CAAA;IACpC,MAAM,UAAU,GAAa,MAAM;QACjC,CAAC,CAAC,EAAE,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC,EAAE;QAC9C,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAA;IAExB,iEAAiE;IACjE,wEAAwE;IACxE,+DAA+D;IAC/D,2DAA2D;IAC3D,SAAS;IACT,IAAI,MAAM,CAAC,OAAO,EAAE,MAAM,EAAE,CAAC;QAC3B,MAAM,IAAI,KAAK,CACb,yFAAyF;YACvF,kEAAkE,CACrE,CAAA;IACH,CAAC;IAED,MAAM,MAAM,GAAG,MAAM,CAAC,KAAK,CAAC,KAAK,EAAE,WAAW,EAAE,OAAO,EAAE,UAAU,EAAE,QAAQ,CAAC,CAAA;IAC9E,OAAO,QAAQ,CAAC,YAAY,CAAC,MAAM,EAAE,MAAM,CAAC,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC,CAAA;AAClE,CAAC;AAED;;;;;;;;;;;;;;;;;;;;;GAqBG;AACH,MAAM,CAAC,MAAM,KAAK,GAAG,QAAQ,CAAC;IAC5B,YAAY,EAAE,CAAC,YAAY,CAAC;IAC5B,6DAA6D;IAC7D,sDAAsD;IACtD,4BAA4B;IAC5B,OAAO,EAAE,CAAC,MAAM,CAAC;IACjB,IAAI,CAAC,KAAY,EAAE,MAAmB;QACpC,OAAO,SAAS,CAAC,KAAK,EAAE,MAAM,CAAC,CAAA;IACjC,CAAC;IACD,MAAM,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,QAAQ,EAAE,EAAE,GAAG,EAAE,aAAa,EAAE,EAAgB;CAC3E,CAAC,CAAA","sourcesContent":["/**\n * stdlib draft — 拔模：对选定面施加拔模斜度（手写**平台** op，Phase 5）\n *\n * `engines: ['occt']` —— 但**不是平台依赖**（实现只经 L1 契约面 `getBrepApi()`，\n * 见下选面口径），而是**实证收窄**：brepkit 的 L1 `draft` 实测产出错误几何，\n * 必须让静态门在执行前拒绝（红线：BREP 链可用性执行前静态判定，不允许\n * 「门说能、内核说不能」；也不允许静默产出错几何）。\n *\n * 实证（同脚本、box(20,20,10)、angleDeg=3，两引擎同一次运行）：\n * - occt：4 个侧面（faceRef ordinal 1–4）**都给一致 delta = −52.4078**\n *   —— 对称输入 ⇒ 对称输出，几何自洽；⊥ pull 的端面由内核报 KERNEL_ERROR。\n * - brepkit：ordinal 1–5 给 +60.29 / 0 / 0 / +17.47 / 0 —— **对称性被破坏**\n *   （对称 box 上对单个侧面拔模，四个侧面不可能给出不同结果），其中三个是\n *   **静默无操作**（体积与 bbox 均不变），而 ⊥ pull 的端面反而把 x/y 凸包各撑大\n *   0.524（= 10·tan 3°）。序号错配不能解释：破坏对称性与序号无关。\n *\n * 选面口径（设计原则 4）：`faces: FaceTopoRef[]`（`cad.faceRef` 产物）。\n * `neutral` 用 `{point, normal}` 平面参数——不给 face 引用（方案 §7 建议 2）。\n *\n * 回归守卫：`api/feature-family.test.ts` 的「brepkit 下 draft 静态拒绝」用例。\n */\n\nimport type { Shape } from '../mesh/types'\nimport type { BrepHandle, BrepVec3 } from '../brep/engine/types'\nimport { solidToShape } from '../brep/brep-ops'\nimport { getBrepApi } from '../brep/handle-bridge'\nimport { brepOf, fromBrep } from '../shape'\nimport { defineOp } from '../sdk'\nimport type { FaceTopoRef } from '../topology/naming'\nimport { resolveTopoRef, TopoRefError } from '../topology/naming'\nimport type { Provenance } from '../topology/naming/lineage'\nimport { buildEdgeResolutionContext } from './topo-resolve'\n\ntype Vec3 = [number, number, number]\n\n/** `cad.draft` 参数。 */\nexport interface DraftParams {\n  /** 拔模面（FaceTopoRef[]，`cad.faceRef` 产物）。 */\n  faces: FaceTopoRef[]\n  /** 拔模角（度）。 */\n  angleDeg: number\n  /** 拔模方向（默认 +Z）。 */\n  pull?: Vec3\n  /**\n   * 中性平面：**只有点的语义**（内核把该点所在高度视为 0° 基准；省略取原点）。\n   * `normal` 无任何内核消费者（occt-wasm 原生 `draft` 无 neutral 形参，brepkit\n   * 只收点），传了会显式报 `E_DRAFT_NEUTRAL_NORMAL_UNUSED`。\n   */\n  neutral?: { point: Vec3; normal?: Vec3 }\n}\n\n/** BREP 路径：解析面引用 → L1 draft → 收养。 */\nfunction draftBrep(input: Shape, params: DraftParams): Shape {\n  const { faces, angleDeg } = params ?? ({} as DraftParams)\n  if (!Array.isArray(faces) || faces.length === 0) {\n    throw new Error('E_DRAFT_NO_FACES: draft requires at least one FaceTopoRef in faces')\n  }\n  if (typeof angleDeg !== 'number' || !Number.isFinite(angleDeg) || angleDeg === 0) {\n    throw new Error('E_DRAFT_BAD_ANGLE: draft.angleDeg must be a non-zero number (degrees)')\n  }\n  const kernel = getBrepApi()\n  const solid = brepOf(input) as BrepHandle | undefined\n  if (!solid) throw new Error('E_DRAFT_NO_BREP: draft input is not BREP')\n\n  const ctx = buildEdgeResolutionContext(kernel, input as object)\n  if (!ctx) throw new TopoRefError('E_TOPO_NOT_FOUND', 'face', 'draft: input has no BREP naming context')\n  const faceHandles = faces.map((ref) => {\n    if (!ref || (ref as { kind?: unknown }).kind !== 'face') {\n      throw new Error('E_DRAFT_BAD_FACE_REF: every faces entry must be a FaceTopoRef (cad.faceRef)')\n    }\n    const r = resolveTopoRef(ref, ctx)\n    if (r.handle === undefined) {\n      throw new TopoRefError('E_TOPO_NOT_FOUND', 'face', `draft: face resolved without handle (${ref.origin}/${ref.role})`)\n    }\n    return r.handle as BrepHandle\n  })\n\n  // GOTCHA-1（Phase 5 实测）：L1 的向量形参是 `BrepVec3 = {x,y,z}` **对象**，不是元组。\n  // 传 `[0,0,1]` 会被内核读成零向量 ⇒ occt 抛空文案 KERNEL_ERROR、brepkit 抛\n  // \"cannot normalize zero vector\"，两边都不可用。必须显式转对象（同 pattern.ts:41）。\n  const [px, py, pz] = params.pull ?? [0, 0, 1]\n  const pullVec: BrepVec3 = { x: px, y: py, z: pz }\n\n  // 中性面缺省：中性点取原点（内核语义为「该点处角度为 0」）。\n  const nPoint = params.neutral?.point\n  const neutralVec: BrepVec3 = nPoint\n    ? { x: nPoint[0], y: nPoint[1], z: nPoint[2] }\n    : { x: 0, y: 0, z: 0 }\n\n  // GOTCHA-2（Phase 5 实测）：L1 draft 的 neutral 只有**点**语义（occt-wasm 原生\n  // `draft(shape, face, angleRad, direction)` 根本没有 neutral 形参，brepkit 也只收\n  // 点：brepkitKernel.ts:669-676）。故 `neutral.normal` 无任何消费者——按项目约定\n  // （occt-primitives.ts interpolatePoints「拒绝而非静默产出错几何」）显式报错，\n  // 不静默丢弃。\n  if (params.neutral?.normal) {\n    throw new Error(\n      'E_DRAFT_NEUTRAL_NORMAL_UNUSED: L1 draft takes a neutral POINT only (no plane normal) — ' +\n        'drop neutral.normal, or model the plane via pull + a point on it',\n    )\n  }\n\n  const result = kernel.draft(solid, faceHandles, pullVec, neutralVec, angleDeg)\n  return fromBrep(solidToShape(kernel, result), { solid: result })\n}\n\n/**\n * 拔模：对选定面施加拔模斜度（铸造/注塑出模角）。\n * @group 特征\n * @inputs 1\n * @async true\n * @qual ok\n * @name draft\n * @note **occt-only**（`engines: ['occt']`；实证收窄，非平台依赖——见文件头实证：\n *       brepkit 破坏对称性且部分 ordinal 静默无操作）。`neutral`（中性点）**只支持\n *       原点**：occt-wasm 原生 `draft(shape, face, angleRad, direction)` 没有 neutral\n *       形参，传非原点中性点会显式报错（不静默产出错几何）；brepkit 已被静态拒绝，\n *       故非原点 `neutral` 当前**没有任何可用引擎**——需要该语义时请改用\n *       `pull` + 面上一点建模。仅 BREP 可用（mesh 输入执行前报错）。\n * @returns Shape 拔模后的几何。\n * @param input - 目标几何。type:Shape required:true\n * @param params.faces - 拔模面（FaceTopoRef[]，cad.faceRef 产物）。type:FaceTopoRef[] required:true\n * @param params.angleDeg - 拔模角（度，≠0）。type:number required:true\n * @param params.pull - 拔模方向（默认 +Z）。type:Vec3 required:false\n * @param params.neutral - 中性面**点**（{point}；normal 无消费者）。type:{point:Vec3,normal?:Vec3} required:false\n * @example\n * const d = await cad.draft(part0, { faces: [cad.faceRef(part0, 3)], angleDeg: 3 })\n */\nexport const draft = defineOp({\n  capabilities: ['directEdit'],\n  // 实证收窄（2026-09-24）：brepkit 的 L1 draft 产出错误几何（破坏对称性 / 静默无操作），\n  // 声明 occt 白名单让静态门在执行前拒绝 —— 与 capabilities 并存合法（两条正交轴，\n  // engines 先判、能力门在引擎匹配后再求交）。\n  engines: ['occt'],\n  brep(input: Shape, params: DraftParams) {\n    return draftBrep(input, params)\n  },\n  naming: { kind: 'kernel', newFaces: { via: 'byAdjacency' } } as Provenance,\n})\n"]}

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

@@ -1 +1 @@
-{"version":3,"file":"edge-ref.d.ts","sourceRoot":"","sources":["../../src/api/edge-ref.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;GAqBG;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,CA2DnE"}
+{"version":3,"file":"edge-ref.d.ts","sourceRoot":"","sources":["../../src/api/edge-ref.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;GAqBG;AAEH,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,eAAe,CAAA;AAK1C,OAAO,KAAK,EAAE,WAAW,EAAiB,MAAM,oBAAoB,CAAA;AAGpE;;;;;;;;;;;;;;;;GAgBG;AACH,wBAAgB,OAAO,CAAC,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE,MAAM,GAAG,WAAW,CA2DnE"}

package/dist/api/edge-ref.js

@@ -20,7 +20,7 @@
  * 纯查询：同步、无副作用、不改 Shape；定不了案一律抛 `TopoRefError`（三态错误码），
  * 绝不静默拿序号硬取。
  */
-import { getBackends } from '../runtime-state.js';
+import { getBrepApi } from '../brep/handle-bridge.js';
 import { brepOf } from '../shape.js';
 import { captureEdgeHint, findOriginRole, TopoRefError } from '../topology/naming/index.js';
 import { buildEdgeResolutionContext } from './topo-resolve.js';
@@ -45,7 +45,7 @@ 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;
+    const kernel = getBrepApi();
     // Phase 1.9（D6/§3）：mesh 路径不支持拓扑引用——静态判定、显式抛错，不静默降级
     if (!kernel) {
         throw new TopoRefError('E_TOPO_MESH_UNSUPPORTED', 'edge', 'edgeRef: topology references are BREP-only (mesh path unsupported)');

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

@@ -1 +1 @@
-{"version":3,"file":"edge-ref.js","sourceRoot":"","sources":["../../src/api/edge-ref.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;GAqBG;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,mDAAmD;IACnD,IAAI,CAAC,MAAM,EAAE,CAAC;QACZ,MAAM,IAAI,YAAY,CAAC,yBAAyB,EAAE,MAAM,EAAE,oEAAoE,CAAC,CAAA;IACjI,CAAC;IACD,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC,EAAE,CAAC;QAChB,MAAM,IAAI,YAAY,CAAC,yBAAyB,EAAE,MAAM,EAAE,qFAAqF,CAAC,CAAA;IAClJ,CAAC;IAED,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-port/test/FreeCAD 的\n * external-geo corpus 测试实测 `wireframe.edgeGroups[k] == FreeCAD \"Edge(k+1)\"`；\n * 2026-09-20 随语料依赖测试迁至 fcstd-port）。这是 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  // Phase 1.9（D6/§3）：mesh 路径不支持拓扑引用——静态判定、显式抛错，不静默降级\n  if (!kernel) {\n    throw new TopoRefError('E_TOPO_MESH_UNSUPPORTED', 'edge', 'edgeRef: topology references are BREP-only (mesh path unsupported)')\n  }\n  if (!brepOf(of)) {\n    throw new TopoRefError('E_TOPO_MESH_UNSUPPORTED', 'edge', 'edgeRef: input shape has no BREP solid (mesh shapes do not carry topology identity)')\n  }\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"]}
+{"version":3,"file":"edge-ref.js","sourceRoot":"","sources":["../../src/api/edge-ref.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;GAqBG;AAGH,OAAO,EAAE,UAAU,EAAE,MAAM,uBAAuB,CAAA;AAClD,OAAO,EAAE,MAAM,EAAE,MAAM,UAAU,CAAA;AAEjC,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,UAAU,EAAE,CAAA;IAC3B,mDAAmD;IACnD,IAAI,CAAC,MAAM,EAAE,CAAC;QACZ,MAAM,IAAI,YAAY,CAAC,yBAAyB,EAAE,MAAM,EAAE,oEAAoE,CAAC,CAAA;IACjI,CAAC;IACD,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC,EAAE,CAAC;QAChB,MAAM,IAAI,YAAY,CAAC,yBAAyB,EAAE,MAAM,EAAE,qFAAqF,CAAC,CAAA;IAClJ,CAAC;IAED,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-port/test/FreeCAD 的\n * external-geo corpus 测试实测 `wireframe.edgeGroups[k] == FreeCAD \"Edge(k+1)\"`；\n * 2026-09-20 随语料依赖测试迁至 fcstd-port）。这是 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 { getBrepApi } from '../brep/handle-bridge'\nimport { brepOf } from '../shape'\nimport type { BrepHandle } from '../brep/engine/types'\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 = getBrepApi()\n  // Phase 1.9（D6/§3）：mesh 路径不支持拓扑引用——静态判定、显式抛错，不静默降级\n  if (!kernel) {\n    throw new TopoRefError('E_TOPO_MESH_UNSUPPORTED', 'edge', 'edgeRef: topology references are BREP-only (mesh path unsupported)')\n  }\n  if (!brepOf(of)) {\n    throw new TopoRefError('E_TOPO_MESH_UNSUPPORTED', 'edge', 'edgeRef: input shape has no BREP solid (mesh shapes do not carry topology identity)')\n  }\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.map

@@ -1 +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;AAoBhD;;;;GAIG;AACH,wBAAgB,mBAAmB,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG,IAAI,CASzE;AAsID;;;;;;;;;;;;;;;;;;;;IAoBI;AACJ,eAAO,MAAM,OAAO;;CA8BlB,CAAA"}
+{"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;AAqBhD;;;;GAIG;AACH,wBAAgB,mBAAmB,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG,IAAI,CASzE;AAqID;;;;;;;;;;;;;;;;;;;;IAoBI;AACJ,eAAO,MAAM,OAAO;;CA8BlB,CAAA"}

package/dist/api/engrave.js

@@ -14,6 +14,7 @@ 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 { getBrepApi } from '../brep/handle-bridge.js';
 import { fromBrep, brepOf } from '../shape.js';
 import { defineOp } from '../sdk.js';
 import { assertPositiveNumber } from './assert.js';
@@ -79,9 +80,7 @@ function centerSolidAtOrigin(kernel, solid) {
 }
 /** 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 kernel = getBrepApi();
     const inputSolid = brepOf(input);
     if (!inputSolid)
         throw new Error('[stdlib/engrave] input is not BREP');

package/dist/api/engrave.js.map

@@ -1 +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;AAEjC,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;IACD,MAAM,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,QAAQ,EAAE,EAAE,GAAG,EAAE,aAAa,EAAE,EAAgB;CAC3E,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 type { Provenance } from '../topology/naming/lineage'\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  naming: { kind: 'kernel', newFaces: { via: 'byAdjacency' } } as Provenance,\n})\n"]}
+{"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,UAAU,EAAE,MAAM,uBAAuB,CAAA;AAClD,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,MAAM,UAAU,CAAA;AAC3C,OAAO,EAAE,QAAQ,EAAE,MAAM,QAAQ,CAAA;AAEjC,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,UAAU,EAAE,CAAA;IAC3B,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;IACD,MAAM,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,QAAQ,EAAE,EAAE,GAAG,EAAE,aAAa,EAAE,EAAgB;CAC3E,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 { getBrepApi } from '../brep/handle-bridge'\nimport { fromBrep, brepOf } from '../shape'\nimport { defineOp } from '../sdk'\nimport type { Provenance } from '../topology/naming/lineage'\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 = getBrepApi()\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  naming: { kind: 'kernel', newFaces: { via: 'byAdjacency' } } as Provenance,\n})\n"]}

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

@@ -1 +1 @@
-{"version":3,"file":"extrude.d.ts","sourceRoot":"","sources":["../../src/api/extrude.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;GAuBG;AAYH,OAAO,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,eAAe,CAAA;AAGhD,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,oBAAoB,CAAA;AAsGrD,kDAAkD;AAClD,MAAM,WAAW,aAAa;IAC5B,+BAA+B;IAC/B,KAAK,EAAE,IAAI,CAAA;IACX,gDAAgD;IAChD,MAAM,EAAE,IAAI,CAAA;CACb;AAED,6DAA6D;AAC7D,MAAM,MAAM,WAAW,GAAG,WAAW,GAAG,MAAM,GAAG,OAAO,GAAG;IAAE,KAAK,EAAE,aAAa,CAAA;CAAE,CAAA;AAEnF,0EAA0E;AAC1E,MAAM,WAAW,cAAc;IAC7B,+BAA+B;IAC/B,MAAM,CAAC,EAAE,MAAM,CAAA;IACf,6BAA6B;IAC7B,MAAM,CAAC,EAAE,IAAI,CAAA;IACb,uDAAuD;IACvD,IAAI,CAAC,EAAE,SAAS,GAAG,UAAU,CAAA;IAC7B,kCAAkC;IAClC,IAAI,CAAC,EAAE,WAAW,CAAA;IAClB,gDAAgD;IAChD,WAAW,CAAC,EAAE,KAAK,CAAA;IACnB,2BAA2B;IAC3B,MAAM,CAAC,EAAE,MAAM,CAAA;CAChB;AA2OD;;;;;;;;;;;;;;;;;;;;;;;;GAwBG;AACH,eAAO,MAAM,OAAO;;CAwClB,CAAA"}
+{"version":3,"file":"extrude.d.ts","sourceRoot":"","sources":["../../src/api/extrude.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;GAuBG;AAcH,OAAO,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,eAAe,CAAA;AAGhD,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,oBAAoB,CAAA;AAsGrD,kDAAkD;AAClD,MAAM,WAAW,aAAa;IAC5B,+BAA+B;IAC/B,KAAK,EAAE,IAAI,CAAA;IACX,gDAAgD;IAChD,MAAM,EAAE,IAAI,CAAA;CACb;AAED,6DAA6D;AAC7D,MAAM,MAAM,WAAW,GAAG,WAAW,GAAG,MAAM,GAAG,OAAO,GAAG;IAAE,KAAK,EAAE,aAAa,CAAA;CAAE,CAAA;AAEnF,0EAA0E;AAC1E,MAAM,WAAW,cAAc;IAC7B,+BAA+B;IAC/B,MAAM,CAAC,EAAE,MAAM,CAAA;IACf,6BAA6B;IAC7B,MAAM,CAAC,EAAE,IAAI,CAAA;IACb,uDAAuD;IACvD,IAAI,CAAC,EAAE,SAAS,GAAG,UAAU,CAAA;IAC7B,kCAAkC;IAClC,IAAI,CAAC,EAAE,WAAW,CAAA;IAClB,gDAAgD;IAChD,WAAW,CAAC,EAAE,KAAK,CAAA;IACnB,2BAA2B;IAC3B,MAAM,CAAC,EAAE,MAAM,CAAA;CAChB;AA2OD;;;;;;;;;;;;;;;;;;;;;;;;GAwBG;AACH,eAAO,MAAM,OAAO;;CAkElB,CAAA"}

package/dist/api/extrude.js

@@ -26,8 +26,10 @@ import { extrude as projectedExtrude } from './generated/operations.js';
 import * as THREE from 'three';
 import { solidToShape, matrixToArray } from '../brep/brep-ops.js';
 import { getSolidBoundingBox } from '../brep/brep-utils.js';
-import { getBackends, getCurrentStmt } from '../runtime-state.js';
-import { fromBrep, brepOf } from '../shape.js';
+import { getCurrentStmt, getBackends } from '../runtime-state.js';
+import { getBrepApi } from '../brep/handle-bridge.js';
+import { fromBrep, brepOf, isCurveShape } from '../shape.js';
+import { runtimeLineage } from '../topology/naming/lineage.js';
 import { formatRoleName, semantic, wall } from '../topology/naming/role-name.js';
 import { defineOp } from '../sdk.js';
 import { assertPositiveNumber } from './assert.js';
@@ -64,7 +66,7 @@ function extrudeConstructRoles(kernel, solid) {
             return [n.x, n.y, n.z];
         });
         const centers = faceHandles.map((f) => {
-            const c = kernel.getSurfaceCenterOfMass(f);
+            const c = kernel.surfaceCenterOfMass(f);
             return [c.x, c.y, c.z];
         });
         // 拉伸轴：找一对 |cos| ≈ 1 的反平行平面法向 → 带符号单位方向
@@ -387,17 +389,23 @@ export const extrude = defineOp({
     brep: async (input, params) => {
         if (!input)
             throw new Error('[stdlib/extrude] no input geometry');
+        // Phase 3 执行前预检：1D 曲线（wire / helix / sketch as:'wire'）不是面，不得落进
+        // 内核深层才报「操作失败」——维度不符在调用内核前明确拒绝（1D 判别位 kind='curve'）。
+        if (isCurveShape(input)) {
+            throw new Error('E_EXTRUDE_NEEDS_FACE: extrude requires a 2D face input, got a 1D curve (kind="curve")');
+        }
         const o = normalizeExtrudeOptions(params);
         assertExtrudeOptions(o);
         if (o.upTo !== undefined) {
-            const kernel = getBackends().kernel.brep;
-            if (!kernel)
-                throw new Error('[stdlib/extrude] no OCCT kernel');
+            const kernel = getBrepApi();
             const inputSolid = brepOf(input);
             if (!inputSolid)
                 throw new Error('[stdlib/extrude] input is not BREP');
             const clipped = extrudeUpToSolid(kernel, inputSolid, o);
-            // 3.2: inlined registerExtrudeRoles — origin = StmtId, roles from construct enumerator
+            // E3-b（2026-09-23，同 revolve 修法）：不能对投影产物再走一次 fromBrep——
+            // 同语句 registeredStmtId 去重会吞掉第二次登记（part 键保持空表，下游
+            // fillet/chamfer 的 edgeRef 报 nameless shape）。upTo 路径不经过投影/
+            // adoptOut，fromBrep 只在此走一次，roleTable 直挂 + solid 句柄登记。
             const origin = String(getCurrentStmt()?.id ?? '');
             return fromBrep(solidToShape(kernel, clipped), {
                 solid: clipped,
@@ -408,17 +416,39 @@ export const extrude = defineOp({
         const normal = new THREE.Vector3(...(o.normal ?? [0, 0, 1])).normalize();
         const sign = o.mode === 'backward' ? -1 : 1;
         const v = [normal.x * o.length * sign, normal.y * o.length * sign, normal.z * o.length * sign];
-        const result = (await projectedExtrude(input, v));
+        let result;
+        // GOTCHA：projectedExtrude 是 occt-gated 的 compat op（vendored brepjs 借入），
+        // 在 brepkit 引擎下执行前即抛 E_BREP_UNSUPPORTED。brepkit 有原生 L1 extrude
+        // （face→solid），直接走 kernel.extrude——与 revolve.ts 同路径（不经过 vendored 借入）。
+        // occt 路径保持 projectedExtrude 不变，不回退既有几何/命名行为。
+        if (getBackends().config.brepEngineId === 'brepkit') {
+            const kernel = getBrepApi();
+            const faceHandle = brepOf(input);
+            if (!faceHandle)
+                throw new Error('[stdlib/extrude] brepkit path: input is not BREP');
+            const solid = kernel.extrude(faceHandle, v[0], v[1], v[2]);
+            result = fromBrep(solidToShape(kernel, solid), { solid });
+        }
+        else {
+            result = (await projectedExtrude(input, v));
+        }
         // E3 后续：委托路径同样要建链根表（投影只给几何，命名是 faijs 语义）。
-        // 3.2: inlined registerExtrudeRoles — origin = StmtId, roles from construct enumerator
-        const kernel = getBackends().kernel.brep;
+        // E3-b（2026-09-23，同 revolve 修法）：不能对投影产物再走一次 fromBrep——
+        // 同语句 registeredStmtId 去重会吞掉第二次登记（part 键保持空表，下游
+        // fillet/chamfer 的 edgeRef 报 `input shape has no role table`）。改经
+        // runtimeLineage.recordOutput 落语句键表 + part 键权威位。
+        // D12（2026-09-24）：取内核走 getBrepApi；引擎未初始化 → 跳过建表（纯 mesh 结果）。
+        let kernel = null;
+        try {
+            kernel = getBrepApi();
+        }
+        catch { /* no engine -> skip role table */ }
         const solid = kernel ? brepOf(result) : undefined;
         if (kernel && solid) {
             const origin = String(getCurrentStmt()?.id ?? '');
-            return fromBrep(solidToShape(kernel, solid), {
-                solid,
-                roleTable: new Map([[origin, extrudeConstructRoles(kernel, solid)]]),
-            });
+            const table = new Map([[origin, extrudeConstructRoles(kernel, solid)]]);
+            const part = getCurrentStmt()?.outputs?.[0];
+            runtimeLineage.recordOutput(origin, table, solid, part);
         }
         return result;
     },