@faicad/faijs 0.17.0 → 0.18.2

package/dist/api/chamfer.js

@@ -1,18 +1,22 @@
 /**
  * stdlib chamfer — chamfer 倒角库函数（BREP-only，directEdit 能力）
  *
- * 平台分层（narrowing plan Phase 5，D11）：**平台 op（occt）**——`equal` 类型走
- * `chamferWithRoleTable`（→ face-evolution.ts 的 `chamferWithHistory`，occt-only，
- * D3 原生面），故整个 chamfer op 声明 `engines: ['occt']`；distanceAngle /
- * twoDistances 分支的 `chamferDistAngle` 是 L1 方法（brepkit 可跑），但 op 的
- * 引擎身份按最弱环节声明（D11：平台 op 非目标引擎下执行前报错）。
+ * 平台分层（2026-09-26 B 批降级）：**中立 op**（不再声明 `engines:['occt']`）。
+ * equal 分支按引擎能力**静态定轨**（与 intersect 同构，读 `dispatchPath` 同源的能力集）：
+ *   - occt（声明 `chamferWithHistory`）→ `chamferWithRoleTable`（→ face-evolution.ts 的
+ *     occt 原生 `chamferWithHistory`，D3 面演化 + roleTable 传播）——历史路径，不回退；
+ *   - brepkit（无 chamferWithHistory，但裸 `kernel.chamfer` 是真实现）→ L1 裸
+ *     `kernel.chamfer(solid, edges, width)`：几何正确，**无面演化、无 roleTable 传播**
+ *     （如实降级，不伪造恒等映射）。
+ * distanceAngle / twoDistances 分支本就走 L1 `kernel.chamferDistAngle`（brepkit 真实现，
+ * 度→弧度方言在 brepkitKernel 内消化）；occt 上仍挂 identityEvolution + 原 roleTable
+ * （既有行为，零回退），brepkit 上同样不伪造演化。
  *
  * 与 drill/engrave 的差异：没有 mesh 实现（defineOp({ brep })），输入非 BREP
- * 时由 dispatchPath 抛 E_MESH_UNSUPPORTED；mode='brep' 且引擎缺 directEdit 能力
- * → E_BREP_UNSUPPORTED（backend-dispatch.ts 单点判定）。
+ * 时由 dispatchPath 抛 E_MESH_UNSUPPORTED。
  *
  * 类型：
- * - equal（对称）：kernel.chamfer(solid, edges, width)
+ * - equal（对称）：occt→chamferWithHistory；brepkit→kernel.chamfer(solid, edges, width)
  * - distanceAngle：kernel.chamferDistAngle(solid, edges, width, angle)
  * - twoDistances（双距）：逐边按 §3.5 换算（width1,width2 + β → dF, θ），
  *     per-edge 调 kernel.chamferDistAngle；凹棱（β ≥ 180°）→ E_CHAMFER_REFLEX_EDGE。
@@ -20,7 +24,8 @@
 import { solidToShape } from '../brep/brep-ops.js';
 import { chamferWithRoleTable, identityEvolution } from '../brep/face-evolution.js';
 import { getBrepApi } from '../brep/handle-bridge.js';
-import { getCurrentStmt } from '../runtime-state.js';
+import { getBackends, getCurrentStmt } from '../runtime-state.js';
+import { engineCapabilitySet } from '../cad-runtime/backend-dispatch.js';
 import { fromBrep, brepOf, inputRoleTable } from '../shape.js';
 import { defineOp } from '../sdk.js';
 import { resolveTopoRef, facesForQualifier, TopoRefError } from '../topology/naming/index.js';
@@ -181,29 +186,55 @@ function chamferBrep(input, params) {
     // 输入 roleTable + outStmt（与 boolean.ts / fillet.ts 同构）。Phase 1.6：origin=StmtId。
     const inputTable = inputRoleTable(input);
     const outStmt = String(getCurrentStmt()?.id ?? '');
+    // 静态定轨：当前引擎是否声明 chamferWithHistory 面演化核函数（读与 dispatchPath
+    // 同源的能力集，非运行时探测）。occt 声明 → equal 走 chamferWithRoleTable 历史路径；
+    // brepkit 未声明（裸 kernel.chamfer 真实现但无 *WithHistory）→ L1 裸调用，
+    // 不伪造面演化/roleTable（与 intersect 降级同构）。
+    const useHistory = engineCapabilitySet(getBackends().config.brepCapabilities).has('chamferWithHistory');
     let resultSolid;
     let faceEvolution;
     let roleTable;
     switch (type) {
         case 'equal': {
-            // P5：改走 chamferWithHistory + roleTable 传播（§3.2 末段）
             const edgeHandles = edges.map((e) => resolveEdge(ctx, e).handle);
-            const r = chamferWithRoleTable(kernel, solid, edgeHandles, params.width, inputTable ?? new Map(), outStmt);
-            resultSolid = r.result;
-            faceEvolution = r.faceEvolution;
-            roleTable = r.roleTable;
+            if (useHistory) {
+                // occt 历史路径（P5：chamferWithHistory + roleTable 传播，§3.2 末段）
+                const r = chamferWithRoleTable(kernel, solid, edgeHandles, params.width, inputTable ?? new Map(), outStmt);
+                resultSolid = r.result;
+                faceEvolution = r.faceEvolution;
+                roleTable = r.roleTable;
+            }
+            else {
+                // brepkit 裸降级：kernel.chamfer(solid, edges, width)——几何正确，无面演化。
+                resultSolid = kernel.chamfer(solid, edgeHandles, params.width);
+                faceEvolution = undefined;
+                roleTable = undefined;
+            }
             break;
         }
         case 'distanceAngle':
             resultSolid = kernel.chamferDistAngle(solid, edges.map((e) => resolveEdge(ctx, e).handle), params.width, params.angle);
-            // chamferDistAngle 无 WithHistory 版本——用恒等面演化 + 原表
-            faceEvolution = identityEvolution(kernel, resultSolid);
-            roleTable = inputTable;
+            if (useHistory) {
+                // occt：chamferDistAngle 无 WithHistory 版本——用恒等面演化 + 原表（既有行为）。
+                faceEvolution = identityEvolution(kernel, resultSolid);
+                roleTable = inputTable;
+            }
+            else {
+                // brepkit：不伪造演化/roleTable。
+                faceEvolution = undefined;
+                roleTable = undefined;
+            }
             break;
         case 'twoDistances':
             resultSolid = chamferTwoDistances(kernel, edges, ctx, solid, params.width1, params.width2);
-            faceEvolution = identityEvolution(kernel, resultSolid);
-            roleTable = inputTable;
+            if (useHistory) {
+                faceEvolution = identityEvolution(kernel, resultSolid);
+                roleTable = inputTable;
+            }
+            else {
+                faceEvolution = undefined;
+                roleTable = undefined;
+            }
             break;
         default:
             throw new Error('E_CHAMFER_BAD_TYPE');
@@ -230,10 +261,8 @@ function chamferBrep(input, params) {
  * const p = await cad.chamfer(part0, { edges: [{ kind:'edge', faces:[{ origin:'box', role:'box:top' }, { origin:'box', role:'box:front' }], hint:{ kind:'edge' } }], type:'equal', width:1 })
  */
 export const chamfer = defineOp({
-    // 平台 op（D11）：equal 路径依赖 occt-only chamferWithHistory（face-evolution.ts，
-    // D3）→ engines 声明；brepkit 无 chamfer 能力，
-    // 平台身份判定在执行前报错，替代旧的能力名拦截。
-    engines: ['occt'],
+    // 中立 op（2026-09-26 B 批）：不再声明 engines——equal 路径按引擎能力静态分派
+    // （occt→chamferWithHistory 历史路径；brepkit→裸 kernel.chamfer 无演化降级）。
     brep(input, params) {
         assertChamferParams(params);
         return chamferBrep(input, params);

package/dist/api/chamfer.js.map

@@ -1 +1 @@
-{"version":3,"file":"chamfer.js","sourceRoot":"","sources":["../../src/api/chamfer.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;GAkBG;AAGH,OAAO,EAAE,YAAY,EAAE,MAAM,kBAAkB,CAAA;AAC/C,OAAO,EAAE,oBAAoB,EAAE,iBAAiB,EAAE,MAAM,wBAAwB,CAAA;AAChF,OAAO,EAAE,UAAU,EAAE,MAAM,uBAAuB,CAAA;AAClD,OAAO,EAAE,cAAc,EAAE,MAAM,kBAAkB,CAAA;AACjD,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,cAAc,EAAE,MAAM,UAAU,CAAA;AAC3D,OAAO,EAAE,QAAQ,EAAE,MAAM,QAAQ,CAAA;AAIjC,OAAO,EAAE,cAAc,EAAE,iBAAiB,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAA;AAEpF,OAAO,EAAE,0BAA0B,EAAE,yBAAyB,EAAE,MAAM,gBAAgB,CAAA;AACtF,OAAO,EAAE,mBAAmB,EAAE,+BAA+B,EAAE,yBAAyB,EAAE,MAAM,gBAAgB,CAAA;AAEhH,sCAAsC;AAEtC;;;;GAIG;AACH,MAAM,UAAU,mBAAmB,CAAC,MAA+B;IACjE,MAAM,KAAK,GAAG,MAAM,CAAC,KAAK,CAAA;IAC1B,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAChD,MAAM,IAAI,KAAK,CAAC,wDAAwD,CAAC,CAAA;IAC3E,CAAC;IACD,KAAK,MAAM,CAAC,IAAI,KAAK,EAAE,CAAC;QACtB,IAAI,CAAC,CAAC,IAAI,OAAO,CAAC,KAAK,QAAQ,IAAK,CAAwB,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;YAC7E,MAAM,IAAI,KAAK,CAAC,kFAAkF,CAAC,CAAA;QACrG,CAAC;QACD,MAAM,KAAK,GAAI,CAAyB,CAAC,KAAK,CAAA;QAC9C,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YAChD,MAAM,IAAI,KAAK,CAAC,kFAAkF,CAAC,CAAA;QACrG,CAAC;IACH,CAAC;IACD,MAAM,IAAI,GAAG,MAAM,CAAC,IAAI,CAAA;IACxB,IAAI,IAAI,KAAK,OAAO,IAAI,IAAI,KAAK,cAAc,IAAI,IAAI,KAAK,eAAe,EAAE,CAAC;QAC5E,MAAM,IAAI,KAAK,CAAC,uEAAuE,CAAC,CAAA;IAC1F,CAAC;IACD,IAAI,IAAI,KAAK,OAAO,IAAI,IAAI,KAAK,eAAe,EAAE,CAAC;QACjD,MAAM,KAAK,GAAG,MAAM,CAAC,KAAK,CAAA;QAC1B,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,KAAK,IAAI,CAAC,EAAE,CAAC;YACvE,MAAM,IAAI,KAAK,CAAC,8DAA8D,CAAC,CAAA;QACjF,CAAC;QACD,IAAI,IAAI,KAAK,eAAe,EAAE,CAAC;YAC7B,MAAM,KAAK,GAAG,MAAM,CAAC,KAAK,CAAA;YAC1B,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,KAAK,IAAI,CAAC,IAAI,KAAK,IAAI,EAAE,EAAE,CAAC;gBACtF,MAAM,IAAI,KAAK,CAAC,+DAA+D,CAAC,CAAA;YAClF,CAAC;QACH,CAAC;IACH,CAAC;SAAM,CAAC;QACN,MAAM,EAAE,GAAG,MAAM,CAAC,MAAM,CAAA;QACxB,MAAM,EAAE,GAAG,MAAM,CAAC,MAAM,CAAA;QACxB,IAAI,OAAO,EAAE,KAAK,QAAQ,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,EAAE,CAAC,IAAI,EAAE,IAAI,CAAC,EAAE,CAAC;YAC9D,MAAM,IAAI,KAAK,CAAC,+DAA+D,CAAC,CAAA;QAClF,CAAC;QACD,IAAI,OAAO,EAAE,KAAK,QAAQ,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,EAAE,CAAC,IAAI,EAAE,IAAI,CAAC,EAAE,CAAC;YAC9D,MAAM,IAAI,KAAK,CAAC,+DAA+D,CAAC,CAAA;QAClF,CAAC;IACH,CAAC;AACH,CAAC;AAED,kBAAkB;AAElB,qCAAqC;AACrC,SAAS,aAAa,CAAC,MAAqB,EAAE,IAAgB;IAC5D,MAAM,EAAE,GAAG,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAA;IAChC,MAAM,CAAC,GAAG,MAAM,CAAC,aAAa,CAAC,IAAI,EAAE,CAAC,EAAE,CAAC,IAAI,GAAG,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC,IAAI,GAAG,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAA;IACtF,OAAO,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAA;AACxB,CAAC;AAED,SAAS,IAAI,CAAC,CAAoB,EAAE,CAAoB;IACtD,OAAO,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAA;AAChD,CAAC;AAED,SAAS,QAAQ,CAAC,GAAW;IAC3B,OAAO,CAAC,GAAG,GAAG,GAAG,CAAC,GAAG,IAAI,CAAC,EAAE,CAAA;AAC9B,CAAC;AAED;uEACuE;AACvE,SAAS,YAAY,CAAC,MAAqB,EAAE,WAAyB,EAAE,IAAgB;IACtF,KAAK,IAAI,EAAE,GAAG,CAAC,EAAE,EAAE,GAAG,WAAW,CAAC,MAAM,EAAE,EAAE,EAAE,EAAE,CAAC;QAC/C,KAAK,MAAM,EAAE,IAAI,MAAM,CAAC,YAAY,CAAC,WAAW,CAAC,EAAE,CAAC,EAAE,MAAM,CAAC,EAAE,CAAC;YAC9D,IAAI,MAAM,CAAC,MAAM,CAAC,EAAE,EAAE,IAAI,CAAC;gBAAE,OAAO,EAAE,CAAA;QACxC,CAAC;IACH,CAAC;IACD,OAAO,IAAI,CAAA;AACb,CAAC;AAED,0CAA0C;AAC1C,SAAS,mBAAmB,CAAC,MAAqB,EAAE,GAAsB,EAAE,CAAS,EAAE,CAAS;IAC9F,MAAM,EAAE,GAAG,GAAG,CAAC,KAAK,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,MAAM,CAAA;IACnC,MAAM,EAAE,GAAG,GAAG,CAAC,KAAK,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,MAAM,CAAA;IACnC,IAAI,EAAE,KAAK,SAAS,IAAI,EAAE,KAAK,SAAS,EAAE,CAAC;QACzC,MAAM,IAAI,YAAY,CAAC,kBAAkB,EAAE,MAAM,EAAE,0BAA0B,CAAC,IAAI,CAAC,qBAAqB,CAAC,CAAA;IAC3G,CAAC;IACD,MAAM,KAAK,GAAG,mBAAmB,CAAC,IAAI,CAAC,aAAa,CAAC,MAAM,EAAE,EAAE,CAAC,EAAE,aAAa,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,CAAC,CAAA;IAC7F,OAAO,+BAA+B,CAAC,KAAK,CAAC,CAAA;AAC/C,CAAC;AAED;;;;;;;;;;;;GAYG;AACH,MAAM,UAAU,aAAa,CAC3B,MAAqB,EACrB,GAAsB,EACtB,WAAmB,EACnB,WAAmB,EACnB,UAAkB,EAClB,MAAc,EACd,MAAc;IAEd,MAAM,OAAO,GAAG,mBAAmB,CAAC,MAAM,EAAE,GAAG,EAAE,WAAW,EAAE,WAAW,CAAC,CAAA;IAC1E,iEAAiE;IACjE,IAAI,EAAU,CAAA;IACd,IAAI,EAAU,CAAA;IACd,IAAI,UAAU,KAAK,WAAW,EAAE,CAAC;QAC/B,EAAE,GAAG,MAAM,CAAA;QACX,EAAE,GAAG,MAAM,CAAA;IACb,CAAC;SAAM,IAAI,UAAU,KAAK,WAAW,EAAE,CAAC;QACtC,EAAE,GAAG,MAAM,CAAA;QACX,EAAE,GAAG,MAAM,CAAA;IACb,CAAC;SAAM,CAAC;QACN,MAAM,IAAI,KAAK,CAAC,oDAAoD,UAAU,YAAY,WAAW,KAAK,WAAW,GAAG,CAAC,CAAA;IAC3H,CAAC;IACD,MAAM,QAAQ,GAAG,yBAAyB,CAAC,EAAE,EAAE,EAAE,EAAE,OAAO,CAAC,CAAA;IAC3D,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,QAAQ,EAAE,QAAQ,CAAC,QAAQ,CAAC,EAAE,CAAA;AACvD,CAAC;AAED,gEAAgE;AAChE,SAAS,WAAW,CAAC,GAAsB,EAAE,GAAgB;IAC3D,MAAM,CAAC,GAAG,cAAc,CAAC,GAAG,EAAE,GAAG,CAAC,CAAA;IAClC,IAAI,CAAC,CAAC,MAAM,KAAK,SAAS,EAAE,CAAC;QAC3B,MAAM,IAAI,YAAY,CAAC,kBAAkB,EAAE,MAAM,EAAE,0CAA0C,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,IAAI,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC,CAAA;IACzI,CAAC;IACD,OAAO,EAAE,OAAO,EAAE,CAAC,CAAC,OAAO,EAAE,MAAM,EAAE,CAAC,CAAC,MAAoB,EAAE,CAAA;AAC/D,CAAC;AAED,yDAAyD;AACzD,SAAS,mBAAmB,CAC1B,MAAqB,EACrB,KAAoB,EACpB,QAA2B,EAC3B,KAAiB,EACjB,MAAc,EACd,MAAc;IAEd,IAAI,WAAW,GAAG,KAAK,CAAA;IACvB,KAAK,MAAM,GAAG,IAAI,KAAK,EAAE,CAAC;QACxB,MAAM,GAAG,GAAG,WAAW,KAAK,KAAK,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,yBAAyB,CAAC,MAAM,EAAE,WAAW,EAAE,QAAQ,CAAC,SAAS,CAAC,CAAA;QACjH,MAAM,MAAM,GAAG,WAAW,CAAC,GAAG,EAAE,GAAG,CAAC,CAAA;QACpC,MAAM,KAAK,GAAG,WAAW,KAAK,KAAK,CAAC,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,KAAK,CAAA;QAChE,MAAM,GAAG,GAAG,YAAY,CAAC,MAAM,EAAE,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAmB,EAAE,CAAC,CAAC,KAAK,SAAS,CAAC,EAAE,MAAM,CAAC,MAAM,CAAC,CAAA;QAC3H,IAAI,GAAG,KAAK,IAAI,EAAE,CAAC;YACjB,MAAM,IAAI,KAAK,CAAC,8DAA8D,CAAC,CAAA;QACjF,CAAC;QACD,MAAM,CAAC,GAAG,iBAAiB,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAA;QACjD,MAAM,CAAC,GAAG,iBAAiB,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAA;QACjD,MAAM,UAAU,GAAG,GAAG,GAAG,CAAC,CAAA;QAC1B,MAAM,CAAC,GAAG,aAAa,CAAC,MAAM,EAAE,GAAG,EAAE,CAAC,EAAE,OAAO,IAAI,CAAC,CAAC,EAAE,CAAC,EAAE,OAAO,IAAI,CAAC,CAAC,EAAE,UAAU,EAAE,MAAM,EAAE,MAAM,CAAC,CAAA;QACpG,WAAW,GAAG,MAAM,CAAC,gBAAgB,CAAC,WAAW,EAAE,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,QAAQ,EAAE,CAAC,CAAC,QAAQ,CAAC,CAAA;IAC7F,CAAC;IACD,OAAO,WAAW,CAAA;AACpB,CAAC;AAED,gCAAgC;AAChC,SAAS,WAAW,CAAC,KAAY,EAAE,MAA+B;IAChE,wEAAwE;IACxE,MAAM,MAAM,GAAG,UAAU,EAAE,CAAA;IAC3B,MAAM,KAAK,GAAG,MAAM,CAAC,KAAK,CAA2B,CAAA;IACrD,IAAI,CAAC,KAAK;QAAE,MAAM,IAAI,KAAK,CAAC,uDAAuD,CAAC,CAAA;IAEpF,MAAM,KAAK,GAAI,MAAM,CAAC,KAA8C,IAAI,EAAE,CAAA;IAC1E,MAAM,IAAI,GAAG,MAAM,CAAC,IAAc,CAAA;IAClC,MAAM,GAAG,GAAG,0BAA0B,CAAC,MAAM,EAAE,KAAe,CAAC,CAAA;IAC/D,IAAI,CAAC,GAAG;QAAE,MAAM,IAAI,YAAY,CAAC,kBAAkB,EAAE,MAAM,EAAE,kCAAkC,CAAC,CAAA;IAEhG,+EAA+E;IAC/E,MAAM,UAAU,GAAG,cAAc,CAAC,KAAK,CAA8C,CAAA;IACrF,MAAM,OAAO,GAAG,MAAM,CAAC,cAAc,EAAE,EAAE,EAAE,IAAI,EAAE,CAAC,CAAA;IAElD,IAAI,WAAuB,CAAA;IAC3B,IAAI,aAAgD,CAAA;IACpD,IAAI,SAAoD,CAAA;IAExD,QAAQ,IAAI,EAAE,CAAC;QACb,KAAK,OAAO,CAAC,CAAC,CAAC;YACb,mDAAmD;YACnD,MAAM,WAAW,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,WAAW,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,CAAA;YAChE,MAAM,CAAC,GAAG,oBAAoB,CAC5B,MAAM,EACN,KAAK,EACL,WAAW,EACX,MAAM,CAAC,KAAe,EACtB,UAAU,IAAI,IAAI,GAAG,EAAE,EACvB,OAAO,CACR,CAAA;YACD,WAAW,GAAG,CAAC,CAAC,MAAM,CAAA;YACtB,aAAa,GAAG,CAAC,CAAC,aAAa,CAAA;YAC/B,SAAS,GAAG,CAAC,CAAC,SAAS,CAAA;YACvB,MAAK;QACP,CAAC;QACD,KAAK,eAAe;YAClB,WAAW,GAAG,MAAM,CAAC,gBAAgB,CAAC,KAAK,EAAE,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,WAAW,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC,KAAe,EAAE,MAAM,CAAC,KAAe,CAAC,CAAA;YAC1I,iDAAiD;YACjD,aAAa,GAAG,iBAAiB,CAAC,MAAM,EAAE,WAAW,CAAC,CAAA;YACtD,SAAS,GAAG,UAAU,CAAA;YACtB,MAAK;QACP,KAAK,cAAc;YACjB,WAAW,GAAG,mBAAmB,CAAC,MAAM,EAAE,KAAK,EAAE,GAAG,EAAE,KAAK,EAAE,MAAM,CAAC,MAAgB,EAAE,MAAM,CAAC,MAAgB,CAAC,CAAA;YAC9G,aAAa,GAAG,iBAAiB,CAAC,MAAM,EAAE,WAAW,CAAC,CAAA;YACtD,SAAS,GAAG,UAAU,CAAA;YACtB,MAAK;QACP;YACE,MAAM,IAAI,KAAK,CAAC,oBAAoB,CAAC,CAAA;IACzC,CAAC;IAED,OAAO,QAAQ,CACb,YAAY,CAAC,MAAM,EAAE,WAAW,CAAC,EACjC,aAAa,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,WAAW,EAAE,aAAa,EAAE,SAAS,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,WAAW,EAAE,SAAS,EAAE,CACrG,CAAA;AACH,CAAC;AAED;;;;;;;;;;;;;;;;;;GAkBG;AACH,MAAM,CAAC,MAAM,OAAO,GAAG,QAAQ,CAAC;IAC9B,wEAAwE;IACxE,wCAAwC;IACxC,0BAA0B;IAC1B,OAAO,EAAE,CAAC,MAAM,CAAC;IACjB,IAAI,CAAC,KAAY,EAAE,MAA+B;QAChD,mBAAmB,CAAC,MAAM,CAAC,CAAA;QAC3B,OAAO,WAAW,CAAC,KAAK,EAAE,MAAM,CAAC,CAAA;IACnC,CAAC;IACD,MAAM,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,QAAQ,EAAE,EAAE,GAAG,EAAE,aAAa,EAAE,EAAgB;CAC3E,CAAC,CAAA","sourcesContent":["/**\n * stdlib chamfer — chamfer 倒角库函数（BREP-only，directEdit 能力）\n *\n * 平台分层（narrowing plan Phase 5，D11）：**平台 op（occt）**——`equal` 类型走\n * `chamferWithRoleTable`（→ face-evolution.ts 的 `chamferWithHistory`，occt-only，\n * D3 原生面），故整个 chamfer op 声明 `engines: ['occt']`；distanceAngle /\n * twoDistances 分支的 `chamferDistAngle` 是 L1 方法（brepkit 可跑），但 op 的\n * 引擎身份按最弱环节声明（D11：平台 op 非目标引擎下执行前报错）。\n *\n * 与 drill/engrave 的差异：没有 mesh 实现（defineOp({ brep })），输入非 BREP\n * 时由 dispatchPath 抛 E_MESH_UNSUPPORTED；mode='brep' 且引擎缺 directEdit 能力\n * → E_BREP_UNSUPPORTED（backend-dispatch.ts 单点判定）。\n *\n * 类型：\n * - equal（对称）：kernel.chamfer(solid, edges, width)\n * - distanceAngle：kernel.chamferDistAngle(solid, edges, width, angle)\n * - twoDistances（双距）：逐边按 §3.5 换算（width1,width2 + β → dF, θ），\n *     per-edge 调 kernel.chamferDistAngle；凹棱（β ≥ 180°）→ E_CHAMFER_REFLEX_EDGE。\n */\n\nimport type { Shape } from '../mesh/types'\nimport { solidToShape } from '../brep/brep-ops'\nimport { chamferWithRoleTable, identityEvolution } from '../brep/face-evolution'\nimport { getBrepApi } from '../brep/handle-bridge'\nimport { getCurrentStmt } from '../runtime-state'\nimport { fromBrep, brepOf, inputRoleTable } from '../shape'\nimport { defineOp } from '../sdk'\nimport type { BrepEngineApi } from '../brep/engine/primitives'\nimport type { BrepHandle } from '../brep/engine/types'\nimport type { EdgeTopoRef, ResolutionContext } from '../topology/naming'\nimport { resolveTopoRef, facesForQualifier, TopoRefError } from '../topology/naming'\nimport type { Provenance } from '../topology/naming/lineage'\nimport { buildEdgeResolutionContext, buildEdgeContextFromSolid } from './topo-resolve'\nimport { angleBetweenNormals, materialDihedralFromNormalAngle, chamferAngleFromDistances } from './chamfer-math'\n\n// ── 参数自校验（stdlib 被直接 import 时的防御层）──\n\n/**\n * Validate chamfer parameters: `edges` must be a non-empty array of EdgeTopoRef,\n * each with kind key \"edge\" and a two-entry faces pair.\n * @param params the raw chamfer operation parameters.\n */\nexport function assertChamferParams(params: Record<string, unknown>): void {\n  const edges = params.edges\n  if (!Array.isArray(edges) || edges.length === 0) {\n    throw new Error('E_CHAMFER_NO_EDGES: chamfer requires at least one edge')\n  }\n  for (const e of edges) {\n    if (!e || typeof e !== 'object' || (e as { kind?: unknown }).kind !== 'edge') {\n      throw new Error('E_CHAMFER_BAD_EDGE_REF: every edge entry must be an EdgeTopoRef with kind:\"edge\"')\n    }\n    const faces = (e as { faces?: unknown }).faces\n    if (!Array.isArray(faces) || faces.length !== 2) {\n      throw new Error('E_CHAMFER_BAD_EDGE_REF: EdgeTopoRef.faces must be a two-entry RoleQualifier pair')\n    }\n  }\n  const type = params.type\n  if (type !== 'equal' && type !== 'twoDistances' && type !== 'distanceAngle') {\n    throw new Error('E_CHAMFER_BAD_TYPE: type must be equal | twoDistances | distanceAngle')\n  }\n  if (type === 'equal' || type === 'distanceAngle') {\n    const width = params.width\n    if (typeof width !== 'number' || !Number.isFinite(width) || width <= 0) {\n      throw new Error('E_CHAMFER_BAD_WIDTH: chamfer.width must be a positive number')\n    }\n    if (type === 'distanceAngle') {\n      const angle = params.angle\n      if (typeof angle !== 'number' || !Number.isFinite(angle) || angle <= 0 || angle >= 90) {\n        throw new Error('E_CHAMFER_BAD_ANGLE: chamfer.angle must be in (0, 90) degrees')\n      }\n    }\n  } else {\n    const w1 = params.width1\n    const w2 = params.width2\n    if (typeof w1 !== 'number' || !Number.isFinite(w1) || w1 <= 0) {\n      throw new Error('E_CHAMFER_BAD_WIDTH: chamfer.width1 must be a positive number')\n    }\n    if (typeof w2 !== 'number' || !Number.isFinite(w2) || w2 <= 0) {\n      throw new Error('E_CHAMFER_BAD_WIDTH: chamfer.width2 must be a positive number')\n    }\n  }\n}\n\n// ── §3.5 几何换算 ──\n\n/** 面中心外法向（与 captureFaceHint 同口径）。 */\nfunction faceMidNormal(kernel: BrepEngineApi, face: BrepHandle): [number, number, number] {\n  const uv = kernel.uvBounds(face)\n  const n = kernel.surfaceNormal(face, (uv.uMin + uv.uMax) / 2, (uv.vMin + uv.vMax) / 2)\n  return [n.x, n.y, n.z]\n}\n\nfunction dot3(a: readonly number[], b: readonly number[]): number {\n  return a[0] * b[0] + a[1] * b[1] + a[2] * b[2]\n}\n\nfunction radToDeg(rad: number): number {\n  return (rad * 180) / Math.PI\n}\n\n/** 复刻 occt-wasm 的双层枚举（config.rs:517-527）：返回内核选用的参考面在\n *  `faceHandles`（getSubShapes(solid,'face')）数组中的下标（0 起）；找不到 → null。 */\nfunction refFaceIndex(kernel: BrepEngineApi, faceHandles: BrepHandle[], edge: BrepHandle): number | null {\n  for (let fi = 0; fi < faceHandles.length; fi++) {\n    for (const fe of kernel.getSubShapes(faceHandles[fi], 'edge')) {\n      if (kernel.isSame(fe, edge)) return fi\n    }\n  }\n  return null\n}\n\n/** 两邻面 outer-normal 夹角 → β（材料侧二面角，弧度）。 */\nfunction materialDihedralRad(kernel: BrepEngineApi, ctx: ResolutionContext, a: number, b: number): number {\n  const ha = ctx.faces[a - 1]?.handle\n  const hb = ctx.faces[b - 1]?.handle\n  if (ha === undefined || hb === undefined) {\n    throw new TopoRefError('E_TOPO_NOT_FOUND', 'edge', `chamfer: adjacent face ${a}/${b} has no live handle`)\n  }\n  const gamma = angleBetweenNormals(dot3(faceMidNormal(kernel, ha), faceMidNormal(kernel, hb)))\n  return materialDihedralFromNormalAngle(gamma)\n}\n\n/**\n * twoDistances 单边换算：width1/width2 + β（§3.5）→ (dF, θ) 供一次 chamferDistAngle。\n * 参考面由内核自选（refOrdinal 的面）；width1 对应 faces[0] 侧、width2 对应 faces[1] 侧。\n *\n * @param kernel        the OCCT kernel.\n * @param ctx           the edge resolution context (faces with live handles).\n * @param refAOrdinal   resolved ordinal of `EdgeTopoRef.faces[0]` (1-based).\n * @param refBOrdinal   resolved ordinal of `EdgeTopoRef.faces[1]` (1-based).\n * @param refOrdinal    the kernel reference face ordinal (1-based; the F in §3.5).\n * @param width1        the `width1` argument.\n * @param width2        the `width2` argument.\n * @returns { dF, angleDeg } for a single `kernel.chamferDistAngle` call.\n */\nexport function twoDistParams(\n  kernel: BrepEngineApi,\n  ctx: ResolutionContext,\n  refAOrdinal: number,\n  refBOrdinal: number,\n  refOrdinal: number,\n  width1: number,\n  width2: number,\n): { distance: number; angleDeg: number } {\n  const betaRad = materialDihedralRad(kernel, ctx, refAOrdinal, refBOrdinal)\n  // dF/dO：§3.5 —— 内核参考面 == faces[0] → width1，== faces[1] → width2。\n  let dF: number\n  let dO: number\n  if (refOrdinal === refAOrdinal) {\n    dF = width1\n    dO = width2\n  } else if (refOrdinal === refBOrdinal) {\n    dF = width2\n    dO = width1\n  } else {\n    throw new Error(`E_CHAMFER_EDGE_MISMATCH: kernel ref face ordinal ${refOrdinal} not in [${refAOrdinal}, ${refBOrdinal}]`)\n  }\n  const angleRad = chamferAngleFromDistances(dF, dO, betaRad)\n  return { distance: dF, angleDeg: radToDeg(angleRad) }\n}\n\n/** 解析一条 EdgeTopoRef → (ordinal, handle)；失败抛命名层 TopoRefError。 */\nfunction resolveEdge(ctx: ResolutionContext, ref: EdgeTopoRef): { ordinal: number; handle: BrepHandle } {\n  const r = resolveTopoRef(ref, ctx)\n  if (r.handle === undefined) {\n    throw new TopoRefError('E_TOPO_NOT_FOUND', 'edge', `chamfer: edge resolved without handle (${ref.faces[0].role}/${ref.faces[1].role})`)\n  }\n  return { ordinal: r.ordinal, handle: r.handle as BrepHandle }\n}\n\n/** twoDistances 逐边构建（§3.6 V1）：每条边一次 chamferDistAngle。 */\nfunction chamferTwoDistances(\n  kernel: BrepEngineApi,\n  edges: EdgeTopoRef[],\n  startCtx: ResolutionContext,\n  solid: BrepHandle,\n  width1: number,\n  width2: number,\n): BrepHandle {\n  let resultSolid = solid\n  for (const ref of edges) {\n    const ctx = resultSolid === solid ? startCtx : buildEdgeContextFromSolid(kernel, resultSolid, startCtx.roleTable)\n    const entity = resolveEdge(ctx, ref)\n    const faces = resultSolid === solid ? startCtx.faces : ctx.faces\n    const idx = refFaceIndex(kernel, faces.map((f) => f.handle).filter((h): h is BrepHandle => h !== undefined), entity.handle)\n    if (idx === null) {\n      throw new Error('E_CHAMFER_EDGE_MISMATCH: kernel cannot locate ref face (bug)')\n    }\n    const a = facesForQualifier(ref.faces[0], ctx)[0]\n    const b = facesForQualifier(ref.faces[1], ctx)[0]\n    const refOrdinal = idx + 1\n    const p = twoDistParams(kernel, ctx, a?.ordinal ?? -1, b?.ordinal ?? -1, refOrdinal, width1, width2)\n    resultSolid = kernel.chamferDistAngle(resultSolid, [entity.handle], p.distance, p.angleDeg)\n  }\n  return resultSolid\n}\n\n/** BREP-only 主入口（§3.6 flow）。 */\nfunction chamferBrep(input: Shape, params: Record<string, unknown>): Shape {\n  // L1 面：chamferDistAngle/枚举/命名（D12）。equal 分支经 face-evolution 走 occt 平台面。\n  const kernel = getBrepApi()\n  const solid = brepOf(input) as BrepHandle | undefined\n  if (!solid) throw new Error('[stdlib/chamfer] E_CHAMFER_NO_BREP: input is not BREP')\n\n  const edges = (params.edges as unknown as EdgeTopoRef[] | undefined) ?? []\n  const type = params.type as string\n  const ctx = buildEdgeResolutionContext(kernel, input as object)\n  if (!ctx) throw new TopoRefError('E_TOPO_NOT_FOUND', 'edge', 'input has no edge naming context')\n\n  // 输入 roleTable + outStmt（与 boolean.ts / fillet.ts 同构）。Phase 1.6：origin=StmtId。\n  const inputTable = inputRoleTable(input) as ReadonlyMap<unknown, unknown> | undefined\n  const outStmt = String(getCurrentStmt()?.id ?? '')\n\n  let resultSolid: BrepHandle\n  let faceEvolution: Map<number, number[]> | undefined\n  let roleTable: ReadonlyMap<unknown, unknown> | undefined\n\n  switch (type) {\n    case 'equal': {\n      // P5：改走 chamferWithHistory + roleTable 传播（§3.2 末段）\n      const edgeHandles = edges.map((e) => resolveEdge(ctx, e).handle)\n      const r = chamferWithRoleTable(\n        kernel,\n        solid,\n        edgeHandles,\n        params.width as number,\n        inputTable ?? new Map(),\n        outStmt,\n      )\n      resultSolid = r.result\n      faceEvolution = r.faceEvolution\n      roleTable = r.roleTable\n      break\n    }\n    case 'distanceAngle':\n      resultSolid = kernel.chamferDistAngle(solid, edges.map((e) => resolveEdge(ctx, e).handle), params.width as number, params.angle as number)\n      // chamferDistAngle 无 WithHistory 版本——用恒等面演化 + 原表\n      faceEvolution = identityEvolution(kernel, resultSolid)\n      roleTable = inputTable\n      break\n    case 'twoDistances':\n      resultSolid = chamferTwoDistances(kernel, edges, ctx, solid, params.width1 as number, params.width2 as number)\n      faceEvolution = identityEvolution(kernel, resultSolid)\n      roleTable = inputTable\n      break\n    default:\n      throw new Error('E_CHAMFER_BAD_TYPE')\n  }\n\n  return fromBrep(\n    solidToShape(kernel, resultSolid),\n    faceEvolution ? { solid: resultSolid, faceEvolution, roleTable } : { solid: resultSolid, roleTable },\n  )\n}\n\n/**\n * 在几何体上倒角（等距 / 双距 / 距角）。仅 BREP 可用。\n * @group 特征\n * @inputs 1\n * @async true\n * @qual ok\n * @name chamfer\n * @note 倒角是 BREP-only：非 BREP 输入抛 E_MESH_UNSUPPORTED。参考面由内核自选，`width1` 沿 faces[0] 侧、`width2` 沿 faces[1] 侧。\n * @returns Shape 倒角后的几何。\n * @param input - 目标几何。type:Shape required:true\n * @param params.edges - 参与倒角的边（EdgeTopoRef[]，条目为相邻两面的 role 线路）。type:EdgeTopoRef[] required:true\n * @param params.type - 倒角类型（equal | twoDistances | distanceAngle）。type:string required:true\n * @param params.width - type=equal: 倒角宽度（mm）。type:number 默认 1\n * @param params.width1 - type=twoDistances: 沿 faces[0] 侧距离（mm）。type:number\n * @param params.width2 - type=twoDistances: 沿 faces[1] 侧距离（mm）。type:number\n * @param params.angle - type=distanceAngle: 与参考面夹角（度，(0,90)）。type:number\n * @example\n * const p = await cad.chamfer(part0, { edges: [{ kind:'edge', faces:[{ origin:'box', role:'box:top' }, { origin:'box', role:'box:front' }], hint:{ kind:'edge' } }], type:'equal', width:1 })\n */\nexport const chamfer = defineOp({\n  // 平台 op（D11）：equal 路径依赖 occt-only chamferWithHistory（face-evolution.ts，\n  // D3）→ engines 声明；brepkit 无 chamfer 能力，\n  // 平台身份判定在执行前报错，替代旧的能力名拦截。\n  engines: ['occt'],\n  brep(input: Shape, params: Record<string, unknown>) {\n    assertChamferParams(params)\n    return chamferBrep(input, params)\n  },\n  naming: { kind: 'kernel', newFaces: { via: 'byAdjacency' } } as Provenance,\n})\n"]}
+{"version":3,"file":"chamfer.js","sourceRoot":"","sources":["../../src/api/chamfer.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;GAsBG;AAGH,OAAO,EAAE,YAAY,EAAE,MAAM,kBAAkB,CAAA;AAC/C,OAAO,EAAE,oBAAoB,EAAE,iBAAiB,EAAE,MAAM,wBAAwB,CAAA;AAChF,OAAO,EAAE,UAAU,EAAE,MAAM,uBAAuB,CAAA;AAClD,OAAO,EAAE,WAAW,EAAE,cAAc,EAAE,MAAM,kBAAkB,CAAA;AAC9D,OAAO,EAAE,mBAAmB,EAAE,MAAM,iCAAiC,CAAA;AACrE,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,cAAc,EAAE,MAAM,UAAU,CAAA;AAC3D,OAAO,EAAE,QAAQ,EAAE,MAAM,QAAQ,CAAA;AAIjC,OAAO,EAAE,cAAc,EAAE,iBAAiB,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAA;AAEpF,OAAO,EAAE,0BAA0B,EAAE,yBAAyB,EAAE,MAAM,gBAAgB,CAAA;AACtF,OAAO,EAAE,mBAAmB,EAAE,+BAA+B,EAAE,yBAAyB,EAAE,MAAM,gBAAgB,CAAA;AAEhH,sCAAsC;AAEtC;;;;GAIG;AACH,MAAM,UAAU,mBAAmB,CAAC,MAA+B;IACjE,MAAM,KAAK,GAAG,MAAM,CAAC,KAAK,CAAA;IAC1B,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAChD,MAAM,IAAI,KAAK,CAAC,wDAAwD,CAAC,CAAA;IAC3E,CAAC;IACD,KAAK,MAAM,CAAC,IAAI,KAAK,EAAE,CAAC;QACtB,IAAI,CAAC,CAAC,IAAI,OAAO,CAAC,KAAK,QAAQ,IAAK,CAAwB,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;YAC7E,MAAM,IAAI,KAAK,CAAC,kFAAkF,CAAC,CAAA;QACrG,CAAC;QACD,MAAM,KAAK,GAAI,CAAyB,CAAC,KAAK,CAAA;QAC9C,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YAChD,MAAM,IAAI,KAAK,CAAC,kFAAkF,CAAC,CAAA;QACrG,CAAC;IACH,CAAC;IACD,MAAM,IAAI,GAAG,MAAM,CAAC,IAAI,CAAA;IACxB,IAAI,IAAI,KAAK,OAAO,IAAI,IAAI,KAAK,cAAc,IAAI,IAAI,KAAK,eAAe,EAAE,CAAC;QAC5E,MAAM,IAAI,KAAK,CAAC,uEAAuE,CAAC,CAAA;IAC1F,CAAC;IACD,IAAI,IAAI,KAAK,OAAO,IAAI,IAAI,KAAK,eAAe,EAAE,CAAC;QACjD,MAAM,KAAK,GAAG,MAAM,CAAC,KAAK,CAAA;QAC1B,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,KAAK,IAAI,CAAC,EAAE,CAAC;YACvE,MAAM,IAAI,KAAK,CAAC,8DAA8D,CAAC,CAAA;QACjF,CAAC;QACD,IAAI,IAAI,KAAK,eAAe,EAAE,CAAC;YAC7B,MAAM,KAAK,GAAG,MAAM,CAAC,KAAK,CAAA;YAC1B,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,KAAK,IAAI,CAAC,IAAI,KAAK,IAAI,EAAE,EAAE,CAAC;gBACtF,MAAM,IAAI,KAAK,CAAC,+DAA+D,CAAC,CAAA;YAClF,CAAC;QACH,CAAC;IACH,CAAC;SAAM,CAAC;QACN,MAAM,EAAE,GAAG,MAAM,CAAC,MAAM,CAAA;QACxB,MAAM,EAAE,GAAG,MAAM,CAAC,MAAM,CAAA;QACxB,IAAI,OAAO,EAAE,KAAK,QAAQ,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,EAAE,CAAC,IAAI,EAAE,IAAI,CAAC,EAAE,CAAC;YAC9D,MAAM,IAAI,KAAK,CAAC,+DAA+D,CAAC,CAAA;QAClF,CAAC;QACD,IAAI,OAAO,EAAE,KAAK,QAAQ,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,EAAE,CAAC,IAAI,EAAE,IAAI,CAAC,EAAE,CAAC;YAC9D,MAAM,IAAI,KAAK,CAAC,+DAA+D,CAAC,CAAA;QAClF,CAAC;IACH,CAAC;AACH,CAAC;AAED,kBAAkB;AAElB,qCAAqC;AACrC,SAAS,aAAa,CAAC,MAAqB,EAAE,IAAgB;IAC5D,MAAM,EAAE,GAAG,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAA;IAChC,MAAM,CAAC,GAAG,MAAM,CAAC,aAAa,CAAC,IAAI,EAAE,CAAC,EAAE,CAAC,IAAI,GAAG,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC,IAAI,GAAG,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAA;IACtF,OAAO,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAA;AACxB,CAAC;AAED,SAAS,IAAI,CAAC,CAAoB,EAAE,CAAoB;IACtD,OAAO,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAA;AAChD,CAAC;AAED,SAAS,QAAQ,CAAC,GAAW;IAC3B,OAAO,CAAC,GAAG,GAAG,GAAG,CAAC,GAAG,IAAI,CAAC,EAAE,CAAA;AAC9B,CAAC;AAED;uEACuE;AACvE,SAAS,YAAY,CAAC,MAAqB,EAAE,WAAyB,EAAE,IAAgB;IACtF,KAAK,IAAI,EAAE,GAAG,CAAC,EAAE,EAAE,GAAG,WAAW,CAAC,MAAM,EAAE,EAAE,EAAE,EAAE,CAAC;QAC/C,KAAK,MAAM,EAAE,IAAI,MAAM,CAAC,YAAY,CAAC,WAAW,CAAC,EAAE,CAAC,EAAE,MAAM,CAAC,EAAE,CAAC;YAC9D,IAAI,MAAM,CAAC,MAAM,CAAC,EAAE,EAAE,IAAI,CAAC;gBAAE,OAAO,EAAE,CAAA;QACxC,CAAC;IACH,CAAC;IACD,OAAO,IAAI,CAAA;AACb,CAAC;AAED,0CAA0C;AAC1C,SAAS,mBAAmB,CAAC,MAAqB,EAAE,GAAsB,EAAE,CAAS,EAAE,CAAS;IAC9F,MAAM,EAAE,GAAG,GAAG,CAAC,KAAK,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,MAAM,CAAA;IACnC,MAAM,EAAE,GAAG,GAAG,CAAC,KAAK,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,MAAM,CAAA;IACnC,IAAI,EAAE,KAAK,SAAS,IAAI,EAAE,KAAK,SAAS,EAAE,CAAC;QACzC,MAAM,IAAI,YAAY,CAAC,kBAAkB,EAAE,MAAM,EAAE,0BAA0B,CAAC,IAAI,CAAC,qBAAqB,CAAC,CAAA;IAC3G,CAAC;IACD,MAAM,KAAK,GAAG,mBAAmB,CAAC,IAAI,CAAC,aAAa,CAAC,MAAM,EAAE,EAAE,CAAC,EAAE,aAAa,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,CAAC,CAAA;IAC7F,OAAO,+BAA+B,CAAC,KAAK,CAAC,CAAA;AAC/C,CAAC;AAED;;;;;;;;;;;;GAYG;AACH,MAAM,UAAU,aAAa,CAC3B,MAAqB,EACrB,GAAsB,EACtB,WAAmB,EACnB,WAAmB,EACnB,UAAkB,EAClB,MAAc,EACd,MAAc;IAEd,MAAM,OAAO,GAAG,mBAAmB,CAAC,MAAM,EAAE,GAAG,EAAE,WAAW,EAAE,WAAW,CAAC,CAAA;IAC1E,iEAAiE;IACjE,IAAI,EAAU,CAAA;IACd,IAAI,EAAU,CAAA;IACd,IAAI,UAAU,KAAK,WAAW,EAAE,CAAC;QAC/B,EAAE,GAAG,MAAM,CAAA;QACX,EAAE,GAAG,MAAM,CAAA;IACb,CAAC;SAAM,IAAI,UAAU,KAAK,WAAW,EAAE,CAAC;QACtC,EAAE,GAAG,MAAM,CAAA;QACX,EAAE,GAAG,MAAM,CAAA;IACb,CAAC;SAAM,CAAC;QACN,MAAM,IAAI,KAAK,CAAC,oDAAoD,UAAU,YAAY,WAAW,KAAK,WAAW,GAAG,CAAC,CAAA;IAC3H,CAAC;IACD,MAAM,QAAQ,GAAG,yBAAyB,CAAC,EAAE,EAAE,EAAE,EAAE,OAAO,CAAC,CAAA;IAC3D,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,QAAQ,EAAE,QAAQ,CAAC,QAAQ,CAAC,EAAE,CAAA;AACvD,CAAC;AAED,gEAAgE;AAChE,SAAS,WAAW,CAAC,GAAsB,EAAE,GAAgB;IAC3D,MAAM,CAAC,GAAG,cAAc,CAAC,GAAG,EAAE,GAAG,CAAC,CAAA;IAClC,IAAI,CAAC,CAAC,MAAM,KAAK,SAAS,EAAE,CAAC;QAC3B,MAAM,IAAI,YAAY,CAAC,kBAAkB,EAAE,MAAM,EAAE,0CAA0C,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,IAAI,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC,CAAA;IACzI,CAAC;IACD,OAAO,EAAE,OAAO,EAAE,CAAC,CAAC,OAAO,EAAE,MAAM,EAAE,CAAC,CAAC,MAAoB,EAAE,CAAA;AAC/D,CAAC;AAED,yDAAyD;AACzD,SAAS,mBAAmB,CAC1B,MAAqB,EACrB,KAAoB,EACpB,QAA2B,EAC3B,KAAiB,EACjB,MAAc,EACd,MAAc;IAEd,IAAI,WAAW,GAAG,KAAK,CAAA;IACvB,KAAK,MAAM,GAAG,IAAI,KAAK,EAAE,CAAC;QACxB,MAAM,GAAG,GAAG,WAAW,KAAK,KAAK,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,yBAAyB,CAAC,MAAM,EAAE,WAAW,EAAE,QAAQ,CAAC,SAAS,CAAC,CAAA;QACjH,MAAM,MAAM,GAAG,WAAW,CAAC,GAAG,EAAE,GAAG,CAAC,CAAA;QACpC,MAAM,KAAK,GAAG,WAAW,KAAK,KAAK,CAAC,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,KAAK,CAAA;QAChE,MAAM,GAAG,GAAG,YAAY,CAAC,MAAM,EAAE,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAmB,EAAE,CAAC,CAAC,KAAK,SAAS,CAAC,EAAE,MAAM,CAAC,MAAM,CAAC,CAAA;QAC3H,IAAI,GAAG,KAAK,IAAI,EAAE,CAAC;YACjB,MAAM,IAAI,KAAK,CAAC,8DAA8D,CAAC,CAAA;QACjF,CAAC;QACD,MAAM,CAAC,GAAG,iBAAiB,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAA;QACjD,MAAM,CAAC,GAAG,iBAAiB,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAA;QACjD,MAAM,UAAU,GAAG,GAAG,GAAG,CAAC,CAAA;QAC1B,MAAM,CAAC,GAAG,aAAa,CAAC,MAAM,EAAE,GAAG,EAAE,CAAC,EAAE,OAAO,IAAI,CAAC,CAAC,EAAE,CAAC,EAAE,OAAO,IAAI,CAAC,CAAC,EAAE,UAAU,EAAE,MAAM,EAAE,MAAM,CAAC,CAAA;QACpG,WAAW,GAAG,MAAM,CAAC,gBAAgB,CAAC,WAAW,EAAE,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,QAAQ,EAAE,CAAC,CAAC,QAAQ,CAAC,CAAA;IAC7F,CAAC;IACD,OAAO,WAAW,CAAA;AACpB,CAAC;AAED,gCAAgC;AAChC,SAAS,WAAW,CAAC,KAAY,EAAE,MAA+B;IAChE,wEAAwE;IACxE,MAAM,MAAM,GAAG,UAAU,EAAE,CAAA;IAC3B,MAAM,KAAK,GAAG,MAAM,CAAC,KAAK,CAA2B,CAAA;IACrD,IAAI,CAAC,KAAK;QAAE,MAAM,IAAI,KAAK,CAAC,uDAAuD,CAAC,CAAA;IAEpF,MAAM,KAAK,GAAI,MAAM,CAAC,KAA8C,IAAI,EAAE,CAAA;IAC1E,MAAM,IAAI,GAAG,MAAM,CAAC,IAAc,CAAA;IAClC,MAAM,GAAG,GAAG,0BAA0B,CAAC,MAAM,EAAE,KAAe,CAAC,CAAA;IAC/D,IAAI,CAAC,GAAG;QAAE,MAAM,IAAI,YAAY,CAAC,kBAAkB,EAAE,MAAM,EAAE,kCAAkC,CAAC,CAAA;IAEhG,+EAA+E;IAC/E,MAAM,UAAU,GAAG,cAAc,CAAC,KAAK,CAA8C,CAAA;IACrF,MAAM,OAAO,GAAG,MAAM,CAAC,cAAc,EAAE,EAAE,EAAE,IAAI,EAAE,CAAC,CAAA;IAElD,0DAA0D;IAC1D,8DAA8D;IAC9D,4DAA4D;IAC5D,sCAAsC;IACtC,MAAM,UAAU,GAAG,mBAAmB,CAAC,WAAW,EAAE,CAAC,MAAM,CAAC,gBAAgB,CAAC,CAAC,GAAG,CAAC,oBAAoB,CAAC,CAAA;IAEvG,IAAI,WAAuB,CAAA;IAC3B,IAAI,aAAgD,CAAA;IACpD,IAAI,SAAoD,CAAA;IAExD,QAAQ,IAAI,EAAE,CAAC;QACb,KAAK,OAAO,CAAC,CAAC,CAAC;YACb,MAAM,WAAW,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,WAAW,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,CAAA;YAChE,IAAI,UAAU,EAAE,CAAC;gBACf,0DAA0D;gBAC1D,MAAM,CAAC,GAAG,oBAAoB,CAC5B,MAAM,EACN,KAAK,EACL,WAAW,EACX,MAAM,CAAC,KAAe,EACtB,UAAU,IAAI,IAAI,GAAG,EAAE,EACvB,OAAO,CACR,CAAA;gBACD,WAAW,GAAG,CAAC,CAAC,MAAM,CAAA;gBACtB,aAAa,GAAG,CAAC,CAAC,aAAa,CAAA;gBAC/B,SAAS,GAAG,CAAC,CAAC,SAAS,CAAA;YACzB,CAAC;iBAAM,CAAC;gBACN,8DAA8D;gBAC9D,WAAW,GAAG,MAAM,CAAC,OAAO,CAAC,KAAK,EAAE,WAAW,EAAE,MAAM,CAAC,KAAe,CAAC,CAAA;gBACxE,aAAa,GAAG,SAAS,CAAA;gBACzB,SAAS,GAAG,SAAS,CAAA;YACvB,CAAC;YACD,MAAK;QACP,CAAC;QACD,KAAK,eAAe;YAClB,WAAW,GAAG,MAAM,CAAC,gBAAgB,CAAC,KAAK,EAAE,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,WAAW,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC,KAAe,EAAE,MAAM,CAAC,KAAe,CAAC,CAAA;YAC1I,IAAI,UAAU,EAAE,CAAC;gBACf,6DAA6D;gBAC7D,aAAa,GAAG,iBAAiB,CAAC,MAAM,EAAE,WAAW,CAAC,CAAA;gBACtD,SAAS,GAAG,UAAU,CAAA;YACxB,CAAC;iBAAM,CAAC;gBACN,2BAA2B;gBAC3B,aAAa,GAAG,SAAS,CAAA;gBACzB,SAAS,GAAG,SAAS,CAAA;YACvB,CAAC;YACD,MAAK;QACP,KAAK,cAAc;YACjB,WAAW,GAAG,mBAAmB,CAAC,MAAM,EAAE,KAAK,EAAE,GAAG,EAAE,KAAK,EAAE,MAAM,CAAC,MAAgB,EAAE,MAAM,CAAC,MAAgB,CAAC,CAAA;YAC9G,IAAI,UAAU,EAAE,CAAC;gBACf,aAAa,GAAG,iBAAiB,CAAC,MAAM,EAAE,WAAW,CAAC,CAAA;gBACtD,SAAS,GAAG,UAAU,CAAA;YACxB,CAAC;iBAAM,CAAC;gBACN,aAAa,GAAG,SAAS,CAAA;gBACzB,SAAS,GAAG,SAAS,CAAA;YACvB,CAAC;YACD,MAAK;QACP;YACE,MAAM,IAAI,KAAK,CAAC,oBAAoB,CAAC,CAAA;IACzC,CAAC;IAED,OAAO,QAAQ,CACb,YAAY,CAAC,MAAM,EAAE,WAAW,CAAC,EACjC,aAAa,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,WAAW,EAAE,aAAa,EAAE,SAAS,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,WAAW,EAAE,SAAS,EAAE,CACrG,CAAA;AACH,CAAC;AAED;;;;;;;;;;;;;;;;;;GAkBG;AACH,MAAM,CAAC,MAAM,OAAO,GAAG,QAAQ,CAAC;IAC9B,wDAAwD;IACxD,iEAAiE;IACjE,IAAI,CAAC,KAAY,EAAE,MAA+B;QAChD,mBAAmB,CAAC,MAAM,CAAC,CAAA;QAC3B,OAAO,WAAW,CAAC,KAAK,EAAE,MAAM,CAAC,CAAA;IACnC,CAAC;IACD,MAAM,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,QAAQ,EAAE,EAAE,GAAG,EAAE,aAAa,EAAE,EAAgB;CAC3E,CAAC,CAAA","sourcesContent":["/**\n * stdlib chamfer — chamfer 倒角库函数（BREP-only，directEdit 能力）\n *\n * 平台分层（2026-09-26 B 批降级）：**中立 op**（不再声明 `engines:['occt']`）。\n * equal 分支按引擎能力**静态定轨**（与 intersect 同构，读 `dispatchPath` 同源的能力集）：\n *   - occt（声明 `chamferWithHistory`）→ `chamferWithRoleTable`（→ face-evolution.ts 的\n *     occt 原生 `chamferWithHistory`，D3 面演化 + roleTable 传播）——历史路径，不回退；\n *   - brepkit（无 chamferWithHistory，但裸 `kernel.chamfer` 是真实现）→ L1 裸\n *     `kernel.chamfer(solid, edges, width)`：几何正确，**无面演化、无 roleTable 传播**\n *     （如实降级，不伪造恒等映射）。\n * distanceAngle / twoDistances 分支本就走 L1 `kernel.chamferDistAngle`（brepkit 真实现，\n * 度→弧度方言在 brepkitKernel 内消化）；occt 上仍挂 identityEvolution + 原 roleTable\n * （既有行为，零回退），brepkit 上同样不伪造演化。\n *\n * 与 drill/engrave 的差异：没有 mesh 实现（defineOp({ brep })），输入非 BREP\n * 时由 dispatchPath 抛 E_MESH_UNSUPPORTED。\n *\n * 类型：\n * - equal（对称）：occt→chamferWithHistory；brepkit→kernel.chamfer(solid, edges, width)\n * - distanceAngle：kernel.chamferDistAngle(solid, edges, width, angle)\n * - twoDistances（双距）：逐边按 §3.5 换算（width1,width2 + β → dF, θ），\n *     per-edge 调 kernel.chamferDistAngle；凹棱（β ≥ 180°）→ E_CHAMFER_REFLEX_EDGE。\n */\n\nimport type { Shape } from '../mesh/types'\nimport { solidToShape } from '../brep/brep-ops'\nimport { chamferWithRoleTable, identityEvolution } from '../brep/face-evolution'\nimport { getBrepApi } from '../brep/handle-bridge'\nimport { getBackends, getCurrentStmt } from '../runtime-state'\nimport { engineCapabilitySet } from '../cad-runtime/backend-dispatch'\nimport { fromBrep, brepOf, inputRoleTable } from '../shape'\nimport { defineOp } from '../sdk'\nimport type { BrepEngineApi } from '../brep/engine/primitives'\nimport type { BrepHandle } from '../brep/engine/types'\nimport type { EdgeTopoRef, ResolutionContext } from '../topology/naming'\nimport { resolveTopoRef, facesForQualifier, TopoRefError } from '../topology/naming'\nimport type { Provenance } from '../topology/naming/lineage'\nimport { buildEdgeResolutionContext, buildEdgeContextFromSolid } from './topo-resolve'\nimport { angleBetweenNormals, materialDihedralFromNormalAngle, chamferAngleFromDistances } from './chamfer-math'\n\n// ── 参数自校验（stdlib 被直接 import 时的防御层）──\n\n/**\n * Validate chamfer parameters: `edges` must be a non-empty array of EdgeTopoRef,\n * each with kind key \"edge\" and a two-entry faces pair.\n * @param params the raw chamfer operation parameters.\n */\nexport function assertChamferParams(params: Record<string, unknown>): void {\n  const edges = params.edges\n  if (!Array.isArray(edges) || edges.length === 0) {\n    throw new Error('E_CHAMFER_NO_EDGES: chamfer requires at least one edge')\n  }\n  for (const e of edges) {\n    if (!e || typeof e !== 'object' || (e as { kind?: unknown }).kind !== 'edge') {\n      throw new Error('E_CHAMFER_BAD_EDGE_REF: every edge entry must be an EdgeTopoRef with kind:\"edge\"')\n    }\n    const faces = (e as { faces?: unknown }).faces\n    if (!Array.isArray(faces) || faces.length !== 2) {\n      throw new Error('E_CHAMFER_BAD_EDGE_REF: EdgeTopoRef.faces must be a two-entry RoleQualifier pair')\n    }\n  }\n  const type = params.type\n  if (type !== 'equal' && type !== 'twoDistances' && type !== 'distanceAngle') {\n    throw new Error('E_CHAMFER_BAD_TYPE: type must be equal | twoDistances | distanceAngle')\n  }\n  if (type === 'equal' || type === 'distanceAngle') {\n    const width = params.width\n    if (typeof width !== 'number' || !Number.isFinite(width) || width <= 0) {\n      throw new Error('E_CHAMFER_BAD_WIDTH: chamfer.width must be a positive number')\n    }\n    if (type === 'distanceAngle') {\n      const angle = params.angle\n      if (typeof angle !== 'number' || !Number.isFinite(angle) || angle <= 0 || angle >= 90) {\n        throw new Error('E_CHAMFER_BAD_ANGLE: chamfer.angle must be in (0, 90) degrees')\n      }\n    }\n  } else {\n    const w1 = params.width1\n    const w2 = params.width2\n    if (typeof w1 !== 'number' || !Number.isFinite(w1) || w1 <= 0) {\n      throw new Error('E_CHAMFER_BAD_WIDTH: chamfer.width1 must be a positive number')\n    }\n    if (typeof w2 !== 'number' || !Number.isFinite(w2) || w2 <= 0) {\n      throw new Error('E_CHAMFER_BAD_WIDTH: chamfer.width2 must be a positive number')\n    }\n  }\n}\n\n// ── §3.5 几何换算 ──\n\n/** 面中心外法向（与 captureFaceHint 同口径）。 */\nfunction faceMidNormal(kernel: BrepEngineApi, face: BrepHandle): [number, number, number] {\n  const uv = kernel.uvBounds(face)\n  const n = kernel.surfaceNormal(face, (uv.uMin + uv.uMax) / 2, (uv.vMin + uv.vMax) / 2)\n  return [n.x, n.y, n.z]\n}\n\nfunction dot3(a: readonly number[], b: readonly number[]): number {\n  return a[0] * b[0] + a[1] * b[1] + a[2] * b[2]\n}\n\nfunction radToDeg(rad: number): number {\n  return (rad * 180) / Math.PI\n}\n\n/** 复刻 occt-wasm 的双层枚举（config.rs:517-527）：返回内核选用的参考面在\n *  `faceHandles`（getSubShapes(solid,'face')）数组中的下标（0 起）；找不到 → null。 */\nfunction refFaceIndex(kernel: BrepEngineApi, faceHandles: BrepHandle[], edge: BrepHandle): number | null {\n  for (let fi = 0; fi < faceHandles.length; fi++) {\n    for (const fe of kernel.getSubShapes(faceHandles[fi], 'edge')) {\n      if (kernel.isSame(fe, edge)) return fi\n    }\n  }\n  return null\n}\n\n/** 两邻面 outer-normal 夹角 → β（材料侧二面角，弧度）。 */\nfunction materialDihedralRad(kernel: BrepEngineApi, ctx: ResolutionContext, a: number, b: number): number {\n  const ha = ctx.faces[a - 1]?.handle\n  const hb = ctx.faces[b - 1]?.handle\n  if (ha === undefined || hb === undefined) {\n    throw new TopoRefError('E_TOPO_NOT_FOUND', 'edge', `chamfer: adjacent face ${a}/${b} has no live handle`)\n  }\n  const gamma = angleBetweenNormals(dot3(faceMidNormal(kernel, ha), faceMidNormal(kernel, hb)))\n  return materialDihedralFromNormalAngle(gamma)\n}\n\n/**\n * twoDistances 单边换算：width1/width2 + β（§3.5）→ (dF, θ) 供一次 chamferDistAngle。\n * 参考面由内核自选（refOrdinal 的面）；width1 对应 faces[0] 侧、width2 对应 faces[1] 侧。\n *\n * @param kernel        the OCCT kernel.\n * @param ctx           the edge resolution context (faces with live handles).\n * @param refAOrdinal   resolved ordinal of `EdgeTopoRef.faces[0]` (1-based).\n * @param refBOrdinal   resolved ordinal of `EdgeTopoRef.faces[1]` (1-based).\n * @param refOrdinal    the kernel reference face ordinal (1-based; the F in §3.5).\n * @param width1        the `width1` argument.\n * @param width2        the `width2` argument.\n * @returns { dF, angleDeg } for a single `kernel.chamferDistAngle` call.\n */\nexport function twoDistParams(\n  kernel: BrepEngineApi,\n  ctx: ResolutionContext,\n  refAOrdinal: number,\n  refBOrdinal: number,\n  refOrdinal: number,\n  width1: number,\n  width2: number,\n): { distance: number; angleDeg: number } {\n  const betaRad = materialDihedralRad(kernel, ctx, refAOrdinal, refBOrdinal)\n  // dF/dO：§3.5 —— 内核参考面 == faces[0] → width1，== faces[1] → width2。\n  let dF: number\n  let dO: number\n  if (refOrdinal === refAOrdinal) {\n    dF = width1\n    dO = width2\n  } else if (refOrdinal === refBOrdinal) {\n    dF = width2\n    dO = width1\n  } else {\n    throw new Error(`E_CHAMFER_EDGE_MISMATCH: kernel ref face ordinal ${refOrdinal} not in [${refAOrdinal}, ${refBOrdinal}]`)\n  }\n  const angleRad = chamferAngleFromDistances(dF, dO, betaRad)\n  return { distance: dF, angleDeg: radToDeg(angleRad) }\n}\n\n/** 解析一条 EdgeTopoRef → (ordinal, handle)；失败抛命名层 TopoRefError。 */\nfunction resolveEdge(ctx: ResolutionContext, ref: EdgeTopoRef): { ordinal: number; handle: BrepHandle } {\n  const r = resolveTopoRef(ref, ctx)\n  if (r.handle === undefined) {\n    throw new TopoRefError('E_TOPO_NOT_FOUND', 'edge', `chamfer: edge resolved without handle (${ref.faces[0].role}/${ref.faces[1].role})`)\n  }\n  return { ordinal: r.ordinal, handle: r.handle as BrepHandle }\n}\n\n/** twoDistances 逐边构建（§3.6 V1）：每条边一次 chamferDistAngle。 */\nfunction chamferTwoDistances(\n  kernel: BrepEngineApi,\n  edges: EdgeTopoRef[],\n  startCtx: ResolutionContext,\n  solid: BrepHandle,\n  width1: number,\n  width2: number,\n): BrepHandle {\n  let resultSolid = solid\n  for (const ref of edges) {\n    const ctx = resultSolid === solid ? startCtx : buildEdgeContextFromSolid(kernel, resultSolid, startCtx.roleTable)\n    const entity = resolveEdge(ctx, ref)\n    const faces = resultSolid === solid ? startCtx.faces : ctx.faces\n    const idx = refFaceIndex(kernel, faces.map((f) => f.handle).filter((h): h is BrepHandle => h !== undefined), entity.handle)\n    if (idx === null) {\n      throw new Error('E_CHAMFER_EDGE_MISMATCH: kernel cannot locate ref face (bug)')\n    }\n    const a = facesForQualifier(ref.faces[0], ctx)[0]\n    const b = facesForQualifier(ref.faces[1], ctx)[0]\n    const refOrdinal = idx + 1\n    const p = twoDistParams(kernel, ctx, a?.ordinal ?? -1, b?.ordinal ?? -1, refOrdinal, width1, width2)\n    resultSolid = kernel.chamferDistAngle(resultSolid, [entity.handle], p.distance, p.angleDeg)\n  }\n  return resultSolid\n}\n\n/** BREP-only 主入口（§3.6 flow）。 */\nfunction chamferBrep(input: Shape, params: Record<string, unknown>): Shape {\n  // L1 面：chamferDistAngle/枚举/命名（D12）。equal 分支经 face-evolution 走 occt 平台面。\n  const kernel = getBrepApi()\n  const solid = brepOf(input) as BrepHandle | undefined\n  if (!solid) throw new Error('[stdlib/chamfer] E_CHAMFER_NO_BREP: input is not BREP')\n\n  const edges = (params.edges as unknown as EdgeTopoRef[] | undefined) ?? []\n  const type = params.type as string\n  const ctx = buildEdgeResolutionContext(kernel, input as object)\n  if (!ctx) throw new TopoRefError('E_TOPO_NOT_FOUND', 'edge', 'input has no edge naming context')\n\n  // 输入 roleTable + outStmt（与 boolean.ts / fillet.ts 同构）。Phase 1.6：origin=StmtId。\n  const inputTable = inputRoleTable(input) as ReadonlyMap<unknown, unknown> | undefined\n  const outStmt = String(getCurrentStmt()?.id ?? '')\n\n  // 静态定轨：当前引擎是否声明 chamferWithHistory 面演化核函数（读与 dispatchPath\n  // 同源的能力集，非运行时探测）。occt 声明 → equal 走 chamferWithRoleTable 历史路径；\n  // brepkit 未声明（裸 kernel.chamfer 真实现但无 *WithHistory）→ L1 裸调用，\n  // 不伪造面演化/roleTable（与 intersect 降级同构）。\n  const useHistory = engineCapabilitySet(getBackends().config.brepCapabilities).has('chamferWithHistory')\n\n  let resultSolid: BrepHandle\n  let faceEvolution: Map<number, number[]> | undefined\n  let roleTable: ReadonlyMap<unknown, unknown> | undefined\n\n  switch (type) {\n    case 'equal': {\n      const edgeHandles = edges.map((e) => resolveEdge(ctx, e).handle)\n      if (useHistory) {\n        // occt 历史路径（P5：chamferWithHistory + roleTable 传播，§3.2 末段）\n        const r = chamferWithRoleTable(\n          kernel,\n          solid,\n          edgeHandles,\n          params.width as number,\n          inputTable ?? new Map(),\n          outStmt,\n        )\n        resultSolid = r.result\n        faceEvolution = r.faceEvolution\n        roleTable = r.roleTable\n      } else {\n        // brepkit 裸降级：kernel.chamfer(solid, edges, width)——几何正确，无面演化。\n        resultSolid = kernel.chamfer(solid, edgeHandles, params.width as number)\n        faceEvolution = undefined\n        roleTable = undefined\n      }\n      break\n    }\n    case 'distanceAngle':\n      resultSolid = kernel.chamferDistAngle(solid, edges.map((e) => resolveEdge(ctx, e).handle), params.width as number, params.angle as number)\n      if (useHistory) {\n        // occt：chamferDistAngle 无 WithHistory 版本——用恒等面演化 + 原表（既有行为）。\n        faceEvolution = identityEvolution(kernel, resultSolid)\n        roleTable = inputTable\n      } else {\n        // brepkit：不伪造演化/roleTable。\n        faceEvolution = undefined\n        roleTable = undefined\n      }\n      break\n    case 'twoDistances':\n      resultSolid = chamferTwoDistances(kernel, edges, ctx, solid, params.width1 as number, params.width2 as number)\n      if (useHistory) {\n        faceEvolution = identityEvolution(kernel, resultSolid)\n        roleTable = inputTable\n      } else {\n        faceEvolution = undefined\n        roleTable = undefined\n      }\n      break\n    default:\n      throw new Error('E_CHAMFER_BAD_TYPE')\n  }\n\n  return fromBrep(\n    solidToShape(kernel, resultSolid),\n    faceEvolution ? { solid: resultSolid, faceEvolution, roleTable } : { solid: resultSolid, roleTable },\n  )\n}\n\n/**\n * 在几何体上倒角（等距 / 双距 / 距角）。仅 BREP 可用。\n * @group 特征\n * @inputs 1\n * @async true\n * @qual ok\n * @name chamfer\n * @note 倒角是 BREP-only：非 BREP 输入抛 E_MESH_UNSUPPORTED。参考面由内核自选，`width1` 沿 faces[0] 侧、`width2` 沿 faces[1] 侧。\n * @returns Shape 倒角后的几何。\n * @param input - 目标几何。type:Shape required:true\n * @param params.edges - 参与倒角的边（EdgeTopoRef[]，条目为相邻两面的 role 线路）。type:EdgeTopoRef[] required:true\n * @param params.type - 倒角类型（equal | twoDistances | distanceAngle）。type:string required:true\n * @param params.width - type=equal: 倒角宽度（mm）。type:number 默认 1\n * @param params.width1 - type=twoDistances: 沿 faces[0] 侧距离（mm）。type:number\n * @param params.width2 - type=twoDistances: 沿 faces[1] 侧距离（mm）。type:number\n * @param params.angle - type=distanceAngle: 与参考面夹角（度，(0,90)）。type:number\n * @example\n * const p = await cad.chamfer(part0, { edges: [{ kind:'edge', faces:[{ origin:'box', role:'box:top' }, { origin:'box', role:'box:front' }], hint:{ kind:'edge' } }], type:'equal', width:1 })\n */\nexport const chamfer = defineOp({\n  // 中立 op（2026-09-26 B 批）：不再声明 engines——equal 路径按引擎能力静态分派\n  // （occt→chamferWithHistory 历史路径；brepkit→裸 kernel.chamfer 无演化降级）。\n  brep(input: Shape, params: Record<string, unknown>) {\n    assertChamferParams(params)\n    return chamferBrep(input, params)\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;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;;CAqDlB,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;AA2IrD,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;;CAoElB,CAAA"}

package/dist/api/extrude.js

@@ -26,7 +26,7 @@ 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 { getCurrentStmt } from '../runtime-state.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';
@@ -39,28 +39,35 @@ import { TopoRefError } from '../topology/naming/index.js';
  * extrude 的 construct 词汇表（计划 §4.4）：`cap:bottom` / `cap:top` / `wall:<i>`。
  *
  * 判定口径：
- * - 拉伸方向取自一对平面端面法向的**带符号差**（两法向指向相反）——不依赖脚本
- *   怎么写方向，现场几何是唯一真值；
+ * - 拉伸方向**优先由 op 给出**（`hintAxis`），但必须由现场几何裁定：只有当至少
+ *   两张面的法向与该方向 |cos| ≈ 1 时才采信，否则回退到纯几何判定（A2，见下）；
  * - 面法向与拉伸轴 |cos| ≈ 1 → 端面：中心沿轴分量小者 `cap:bottom`、大者 `cap:top`；
  * - 面法向与拉伸轴 |cos| ≈ 0 → 侧面 `wall:<i>`，i = 该面在侧面枚举中的相对序
  *   （OCCT prism 的侧面顺序 = profile wire 的边序——makeWire 按构造顺序收边，
  *   prism 不重排；G3-L1 改参重放依赖该稳定性）；
- * - 非平面/无法向的面不进表：缺身份是显式状态（naming 行 role=null），不伪造。
+ * - 侧面含**非平面**（profile 里的弧段扫出圆柱面）同样进表：圆柱面 uv 中点法向
+ *   是径向，与拉伸轴垂直，判定与平面侧面同式。
  *
  * @param kernel - the OCCT kernel.
  * @param solid - the extruded solid.
+ * @param hintAxis - 拉伸方向（op 已知；仅作候选，由现场几何确认）。
  * @returns role（线格式串）→ hash 子表。
  */
-function extrudeConstructRoles(kernel, solid) {
+function extrudeConstructRoles(kernel, solid, hintAxis) {
     const roles = new Map();
     const faceHandles = kernel.getSubShapes(solid, 'face');
     try {
         const hashes = kernel.subShapeHashes(solid, 'face', 2147483647);
-        // 每面的法向（仅平面；侧面可能是圆柱/其它——wall 只挂平面侧面的前提是
-        // 直拉伸，斜面/圆柱侧面留待 3.1 的完整枚举器）
+        // A2 (2026-09-26, Beds.FCStd): 侧面可能是**圆柱面**——profile 含弧段时，该弧
+        // 沿拉伸方向扫出的就是一个圆柱侧面。旧实现只在 `surfaceType === 'plane'` 时
+        // 取法向，于是圆柱侧面 normals[i] === undefined：既拿不到 `wall:<i>`，还让
+        // `wallIdx` 跳过它们 —— wall 序号因此不再是 profile 边序（违反 role-name.ts
+        // 的契约「wall:3 = 由 profile 第 3 条边扫出」）。实测 Beds part28（轮廓含 4
+        // 段弧）10 面只覆盖 6 个（缺序号 2/4/6/8），下游 fillet 的 `cad.edgeRef`
+        // 遂抛 `edgeRef: adjacent face ordinal 2 has no role lineage`。
+        // 圆柱面 uv 中点的法向是径向、与拉伸轴垂直（|cos| ≈ 0），可直接用于侧面判定。
+        const planar = faceHandles.map((f) => kernel.surfaceType(f) === 'plane');
         const normals = faceHandles.map((f) => {
-            if (kernel.surfaceType(f) !== 'plane')
-                return undefined;
             const uv = kernel.uvBounds(f);
             const n = kernel.surfaceNormal(f, (uv.uMin + uv.uMax) / 2, (uv.vMin + uv.vMax) / 2);
             return [n.x, n.y, n.z];
@@ -69,13 +76,40 @@ function extrudeConstructRoles(kernel, solid) {
             const c = kernel.surfaceCenterOfMass(f);
             return [c.x, c.y, c.z];
         });
-        // 拉伸轴：找一对 |cos| ≈ 1 的反平行平面法向 → 带符号单位方向
+        // 拉伸轴：op 已知的拉伸方向优先（须由现场几何确认），否则找一对
+        // |cos| ≈ 1 的反平行平面法向 → 带符号单位方向。
+        //
+        // A2 (2026-09-26, Beds.FCStd part28): 纯几何判定取「第一对反平行的平面法向」，
+        // 但方形类轮廓的**一对对侧平面侧壁同样反平行**——Beds 的柱子于是把 X 向侧壁
+        // 判成端盖、把真正的 Z 向端盖当成 wall，4 个圆柱侧面彻底无名（10 面只覆盖 6，
+        // 缺序号 2/4/6/8），下游 fillet 的 `cad.edgeRef` 抛
+        // `edgeRef: adjacent face ordinal 2 has no role lineage`。方向由 op 给出、
+        // 由几何裁定（至少两张面法向与该方向 |cos| ≈ 1 才采信），两者缺一不可。
         let axis;
+        const hintLen = hintAxis ? Math.hypot(hintAxis[0], hintAxis[1], hintAxis[2]) : 0;
+        if (hintAxis && hintLen > 1e-9) {
+            const d = [
+                hintAxis[0] / hintLen, hintAxis[1] / hintLen, hintAxis[2] / hintLen,
+            ];
+            const aligned = normals.filter((n) => {
+                const len = Math.hypot(n[0], n[1], n[2]);
+                if (len < 1e-9)
+                    return false;
+                return Math.abs((n[0] * d[0] + n[1] * d[1] + n[2] * d[2]) / len) > 0.999;
+            });
+            if (aligned.length >= 2)
+                axis = d;
+        }
         for (let i = 0; i < normals.length && !axis; i++) {
+            // 端面必须是一对反平行的**平面**法向（棱柱的端盖恒为平面）。
+            if (!planar[i])
+                continue;
             const a = normals[i];
             if (!a)
                 continue;
             for (let j = i + 1; j < normals.length; j++) {
+                if (!planar[j])
+                    continue;
                 const b = normals[j];
                 if (!b)
                     continue;
@@ -97,6 +131,8 @@ function extrudeConstructRoles(kernel, solid) {
             // 端面：沿轴投影最小者 = cap:bottom，最大者 = cap:top
             const capCandidates = [];
             for (let i = 0; i < normals.length; i++) {
+                if (!planar[i])
+                    continue;
                 const n = normals[i];
                 if (!n)
                     continue;
@@ -118,7 +154,8 @@ function extrudeConstructRoles(kernel, solid) {
                 if (hashes[top.idx] !== undefined)
                     roles.set(formatRoleName(semantic('top')), [hashes[top.idx]]);
             }
-            // 侧面：|cos| ≈ 0，按枚举序编号（= profile 边序）
+            // 侧面：|cos| ≈ 0，按枚举序编号（= profile 边序）。平面/圆柱侧面一律进表
+            // （A2）——跳过圆柱侧面会让 wall 序号脱离 profile 边序。
             let wallIdx = 0;
             for (let i = 0; i < normals.length; i++) {
                 const n = normals[i];
@@ -396,6 +433,9 @@ export const extrude = defineOp({
         }
         const o = normalizeExtrudeOptions(params);
         assertExtrudeOptions(o);
+        // A2: 拉伸方向同时是链根建表的候选轴（extrudeConstructRoles 的 hintAxis），
+        // 两条路径（定长 / up-to）都要用，故提到分支之前。
+        const normal = new THREE.Vector3(...(o.normal ?? [0, 0, 1])).normalize();
         if (o.upTo !== undefined) {
             const kernel = getBrepApi();
             const inputSolid = brepOf(input);
@@ -409,14 +449,28 @@ export const extrude = defineOp({
             const origin = String(getCurrentStmt()?.id ?? '');
             return fromBrep(solidToShape(kernel, clipped), {
                 solid: clipped,
-                roleTable: new Map([[origin, extrudeConstructRoles(kernel, clipped)]]),
+                roleTable: new Map([[origin, extrudeConstructRoles(kernel, clipped, normal.toArray())]]),
             });
         }
         // 长度形态：委托生成投影（生成投影自带借入 / Result 翻转 / 收养）
-        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 语义）。
         // E3-b（2026-09-23，同 revolve 修法）：不能对投影产物再走一次 fromBrep——
         // 同语句 registeredStmtId 去重会吞掉第二次登记（part 键保持空表，下游
@@ -431,7 +485,7 @@ export const extrude = defineOp({
         const solid = kernel ? brepOf(result) : undefined;
         if (kernel && solid) {
             const origin = String(getCurrentStmt()?.id ?? '');
-            const table = new Map([[origin, extrudeConstructRoles(kernel, solid)]]);
+            const table = new Map([[origin, extrudeConstructRoles(kernel, solid, normal.toArray())]]);
             const part = getCurrentStmt()?.outputs?.[0];
             runtimeLineage.recordOutput(origin, table, solid, part);
         }