@faicad/faijs 0.13.2 → 0.16.0

package/dist/brep/face-evolution.d.ts

@@ -72,8 +72,11 @@ export interface HashEvolution {
  * hash→hash[] 的 1→多映射，直接按同一格式解出 hash 键版本，不需要
  * getSubShapes 逐句柄 hashCode，也不分配任何句柄。
  *
- * generated 刻意不进 role 传播（§1.3 事实：occt 系 generated hash 指向中间形、
- * 对布尔实测 0 个存活），生成面改由 DerivedFaceTopoRef 以 lineage 命名。
+ * generated 刻意不进 role 传播。**实测依据（2026-09-22，`brep/engine/phase0-kernel-probes.test.ts`）**：
+ * `generated` 与 `modified` **同构分段、键集相同**，其值是各输入面派生出的**中间形**——
+ * `cut` 实测 12 个 hash、结果里 **0 个存活**（`fillet`/`fuse` 里整个桶为空）。
+ * ⇒ 新造面**不能**由 `generated` 定位，只能由"三类命运"的补集判定
+ * （既不在输入 hash 集合、也不在任何 `modified` 输出里），再交 `construct`/派生词汇命名。
  *
  * @param evo - the BrepEvolutionData (from a *WithHistory API).
  * @returns the hash-keyed evolution.
@@ -97,10 +100,24 @@ export declare function splitHashEvolutionByOrigin(evo: BrepEvolutionData, hashe
     b: HashEvolution;
 };
 /**
- * 构造 hash 键恒等演化（§2.4：变换类 translate/rotate/scale/copy 用）。
+ * 构造 hash 键恒等演化：输入第 i 面 hash → 输出第 i 面 hash（按枚举序号对齐）。
  *
- * 刚体变换/深拷贝不改变面数量与顺序：输入第 i 面 hash → 输出第 i 面 hash，
- * 用 subShapeHashes 两端对齐合成 hash 恒等（避免调用 *WithHistory 的签名兼容问题）。
+ * ⚠️ **Phase 0.3 后本函数只用于「内核无 `*WithHistory` 可表达」的 4 个 op**：
+ *
+ * | op | 为什么不能走权威映射 |
+ * |---|---|
+ * | `rotate_euler` | 任意欧拉角 + pivot；内核只有**单轴** `rotateWithHistory` |
+ * | `scale3d` | 非等比；`generalTransform` 无历史（`scaleWithHistory` 只收均匀 factor） |
+ * | `copy` | 深拷贝；内核无 `copyWithHistory` |
+ * | `place` | 任意矩阵 `located`；内核无对应历史 API |
+ *
+ * `translate` / `scale`（均匀）已改走权威映射（`translateWithHashEvolution` /
+ * `scaleWithHashEvolution`），不再经过本函数。
+ *
+ * ⚠️ **本函数的正确性依赖一个曾经未被验证的假设**：刚体变换/深拷贝保持 OCCT 的
+ * 面枚举序号。该假设现由 `brep/face-evolution.ordering.test.ts` 实测钉住。
+ * 若该测试变红 ⇒ 本函数在这 4 个 op 上会产出**错误的身份映射**，
+ * 必须为它们找别的权威来源，**不是**调松测试。
  *
  * @param kernel       - the OCCT kernel.
  * @param inputShape   - the input shape.
@@ -108,6 +125,40 @@ export declare function splitHashEvolutionByOrigin(evo: BrepEvolutionData, hashe
  * @returns the hash identity evolution (modified: in[i] → [out[i]]).
  */
 export declare function identityHashEvolution(kernel: BrepEngineApi, inputShape: BrepHandle, resultShape: BrepHandle): HashEvolution;
+/**
+ * 平移 + **权威**面演化（Phase 0.3）：走内核 `translateWithHistory`。
+ *
+ * 与 `identityHashEvolution` 的区别：这里的 `inHash → outHash[]` 是 OCCT 自己给的，
+ * **不依赖**"枚举序号在变换后保持"这个此前从未验证的假设（分析文档 §7 第 6 项）。
+ * 实测（`brep/engine/evolution-bindings.test.ts`）：刚体变换的权威映射为
+ * 1:1 全覆盖（`coveredInputs === 面数`、`deleted` 空、`generated` 空）。
+ *
+ * @param kernel - the OCCT kernel.
+ * @param shape  - the input shape.
+ * @param d      - the translation vector as [dx, dy, dz].
+ * @returns the translated handle plus the authority hash evolution.
+ */
+export declare function translateWithHashEvolution(kernel: BrepEngineApi, shape: BrepHandle, d: readonly [number, number, number]): {
+    result: BrepHandle;
+    evolution: HashEvolution;
+};
+/**
+ * 均匀缩放 + **权威**面演化（Phase 0.3）：走内核 `scaleWithHistory`。
+ *
+ * ⚠️ **仅均匀缩放**。非均匀缩放内核无 `*WithHistory`（`generalTransform` 无历史），
+ * 故 `scale3d` 无法走本函数——它退回 `identityHashEvolution`，其"面序保持"假设
+ * 由 `brep/face-evolution.ordering.test.ts` 钉住。
+ *
+ * @param kernel - the OCCT kernel.
+ * @param shape  - the input shape.
+ * @param center - the fixed point of the scaling (not scaled).
+ * @param factor - the uniform scale factor.
+ * @returns the scaled handle plus the authority hash evolution.
+ */
+export declare function scaleWithHashEvolution(kernel: BrepEngineApi, shape: BrepHandle, center: readonly [number, number, number], factor: number): {
+    result: BrepHandle;
+    evolution: HashEvolution;
+};
 /**
  * 双输入布尔 + roleTable 合流组合封装（§3.4，stdlib boolean 链式调用用）。
  *
@@ -117,7 +168,8 @@ export declare function identityHashEvolution(kernel: BrepEngineApi, inputShape:
  * - roleTable：A/B 两侧 role 表各自传播后合并（进 roleTableCache，服务命名）
  *
  * 缝面（generated）刻意不进 role 传播（§1.3/R2：generated hash 指向中间形、
- * 实测 0 存活），以本次语句 LHS 为 outPart 新 origin 的位置名由调用方决定。
+ * 实测 0 存活）。新 origin 一律是**本次语句的 StmtId**（Phase 1.6：不再用 LHS
+ * 变量名——PartName 会被改名/复用，StmtId 全局唯一）。
  *
  * @param kernel  - the OCCT kernel.
  * @param op      - the boolean operation ('fuse' | 'cut' | 'intersect').
@@ -125,10 +177,10 @@ export declare function identityHashEvolution(kernel: BrepEngineApi, inputShape:
  * @param b       - the tool shape.
  * @param tableA  - the target's role table.
  * @param tableB  - the tool's role table.
- * @param outPart - the boolean statement's LHS variable name (new origin for seam faces).
+ * @param outStmt - the boolean statement's StmtId (串形；新 origin for seam faces).
  * @returns the result handle, ordinal evolution and merged role table.
  */
-export declare function booleanWithRoleTable(kernel: BrepEngineApi, op: 'fuse' | 'cut' | 'intersect', a: BrepHandle, b: BrepHandle, tableA: ReadonlyMap<unknown, unknown>, tableB: ReadonlyMap<unknown, unknown>, outPart: string): {
+export declare function booleanWithRoleTable(kernel: BrepEngineApi, op: 'fuse' | 'cut' | 'intersect', a: BrepHandle, b: BrepHandle, tableA: ReadonlyMap<unknown, unknown>, tableB: ReadonlyMap<unknown, unknown>, outStmt: string): {
     result: BrepHandle;
     faceEvolution: FaceEvolution;
     roleTable: ReadonlyMap<unknown, unknown>;
@@ -241,4 +293,22 @@ export declare function chamferWithRoleTable(kernel: BrepEngineApi, solid: BrepH
     faceEvolution: FaceEvolution;
     roleTable: ReadonlyMap<unknown, unknown>;
 };
+/**
+ * 钻孔 roleTable 传播：底孔（圆柱 cut）产生的新造面 = 孔壁，挂**消费它的那条语句**
+ * 的 origin（§7.1：drill 的工具体是 op 内部临时件，无其他用户可见坐标可继承）。
+ * 角色形态 `hole:<j>`（j = 新造面枚举序）。沿用 `directEditWithRoleTable` 的
+ * 三类命运判定（原样幸存 / 改型幸存 / 新造），新造面才派生命名。
+ *
+ * @param kernel         - the OCCT kernel.
+ * @param solid          - the input solid (the drilled part).
+ * @param toolSolid      - the drill-bit tool solid (caller-built; released by caller).
+ * @param inputRoleTable - the input's role table.
+ * @param outStmt        - the drilling statement's StmtId (origin for new faces).
+ * @returns the result handle, ordinal evolution and role table with `hole:<j>`.
+ */
+export declare function drillBrepWithRoleTable(kernel: BrepEngineApi, solid: BrepHandle, toolSolid: BrepHandle, inputRoleTable: ReadonlyMap<unknown, unknown>, outStmt: string): {
+    result: BrepHandle;
+    faceEvolution: FaceEvolution;
+    roleTable: ReadonlyMap<unknown, unknown>;
+};
 //# sourceMappingURL=face-evolution.d.ts.map

package/dist/brep/face-evolution.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"face-evolution.d.ts","sourceRoot":"","sources":["../../src/brep/face-evolution.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AAEH,OAAO,KAAK,EAAE,UAAU,EAAE,iBAAiB,EAAE,MAAM,gBAAgB,CAAA;AACnE,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,qBAAqB,CAAA;AAExD,wDAAwD;AACxD,eAAO,MAAM,gBAAgB,aAAa,CAAA;AAE1C;;;;;;GAMG;AACH,MAAM,MAAM,aAAa,GAAG,GAAG,CAAC,MAAM,EAAE,MAAM,EAAE,CAAC,CAAA;AAEjD;;;;;GAKG;AACH,wBAAgB,aAAa,CAAC,MAAM,EAAE,aAAa,EAAE,KAAK,EAAE,UAAU,GAAG,MAAM,EAAE,CAEhF;AAED;;;;;;;;;GASG;AACH,wBAAgB,kBAAkB,CAChC,MAAM,EAAE,aAAa,EACrB,MAAM,EAAE,UAAU,EAClB,MAAM,EAAE,UAAU,GACjB,MAAM,EAAE,CAIV;AAED;;;;;;;;;;GAUG;AACH,wBAAgB,eAAe,CAC7B,MAAM,EAAE,aAAa,EACrB,GAAG,EAAE,iBAAiB,EACtB,UAAU,EAAE,UAAU,EACtB,WAAW,EAAE,UAAU,GACtB,aAAa,CAqCf;AAGD;;;;;GAKG;AACH,MAAM,WAAW,aAAa;IAC5B,wCAAwC;IACxC,QAAQ,CAAC,QAAQ,EAAE,WAAW,CAAC,MAAM,EAAE,SAAS,MAAM,EAAE,CAAC,CAAA;IACzD,uBAAuB;IACvB,QAAQ,CAAC,OAAO,EAAE,WAAW,CAAC,MAAM,CAAC,CAAA;CACtC;AAED;;;;;;;;;;;;GAYG;AACH,wBAAgB,mBAAmB,CAAC,GAAG,EAAE,iBAAiB,GAAG,aAAa,CAezE;AAED;;;;;;;;;;;;GAYG;AACH,wBAAgB,0BAA0B,CACxC,GAAG,EAAE,iBAAiB,EACtB,OAAO,EAAE,SAAS,MAAM,EAAE,EAC1B,OAAO,EAAE,SAAS,MAAM,EAAE,GACzB;IAAE,CAAC,EAAE,aAAa,CAAC;IAAC,CAAC,EAAE,aAAa,CAAA;CAAE,CAoBxC;AAED;;;;;;;;;;GAUG;AACH,wBAAgB,qBAAqB,CACnC,MAAM,EAAE,aAAa,EACrB,UAAU,EAAE,UAAU,EACtB,WAAW,EAAE,UAAU,GACtB,aAAa,CASf;AAED;;;;;;;;;;;;;;;;;;;GAmBG;AACH,wBAAgB,oBAAoB,CAClC,MAAM,EAAE,aAAa,EACrB,EAAE,EAAE,MAAM,GAAG,KAAK,GAAG,WAAW,EAChC,CAAC,EAAE,UAAU,EACb,CAAC,EAAE,UAAU,EACb,MAAM,EAAE,WAAW,CAAC,OAAO,EAAE,OAAO,CAAC,EACrC,MAAM,EAAE,WAAW,CAAC,OAAO,EAAE,OAAO,CAAC,EACrC,OAAO,EAAE,MAAM,GACd;IAAE,MAAM,EAAE,UAAU,CAAC;IAAC,aAAa,EAAE,aAAa,CAAC;IAAC,SAAS,EAAE,WAAW,CAAC,OAAO,EAAE,OAAO,CAAC,CAAA;CAAE,CAgBhG;AAqDD;;;;;;GAMG;AACH,wBAAgB,aAAa,CAC3B,MAAM,EAAE,aAAa,EACrB,GAAG,EAAE,iBAAiB,EACtB,UAAU,EAAE,UAAU,GACrB,MAAM,EAAE,CAeV;AAID;;;;;;;GAOG;AACH,wBAAgB,kBAAkB,CAChC,MAAM,EAAE,aAAa,EACrB,CAAC,EAAE,UAAU,EACb,CAAC,EAAE,UAAU,GACZ;IAAE,MAAM,EAAE,UAAU,CAAC;IAAC,aAAa,EAAE,aAAa,CAAA;CAAE,CAKtD;AAED;;;;;;GAMG;AACH,wBAAgB,mBAAmB,CACjC,MAAM,EAAE,aAAa,EACrB,CAAC,EAAE,UAAU,EACb,CAAC,EAAE,UAAU,GACZ;IAAE,MAAM,EAAE,UAAU,CAAC;IAAC,aAAa,EAAE,aAAa,CAAA;CAAE,CAKtD;AAED;;;;;;GAMG;AACH,wBAAgB,wBAAwB,CACtC,MAAM,EAAE,aAAa,EACrB,CAAC,EAAE,UAAU,EACb,CAAC,EAAE,UAAU,GACZ;IAAE,MAAM,EAAE,UAAU,CAAC;IAAC,aAAa,EAAE,aAAa,CAAA;CAAE,CAKtD;AAID;;;;;;;;;GASG;AACH,wBAAgB,iBAAiB,CAC/B,MAAM,EAAE,aAAa,EACrB,KAAK,EAAE,UAAU,GAChB,aAAa,CAOf;AAID;;;;;;;;;;;;;;;;;GAiBG;AACH,wBAAgB,uBAAuB,CACrC,MAAM,EAAE,aAAa,EACrB,EAAE,EAAE,QAAQ,GAAG,SAAS,EACxB,KAAK,EAAE,UAAU,EACjB,WAAW,EAAE,UAAU,EAAE,EACzB,MAAM,EAAE,MAAM,EACd,cAAc,EAAE,WAAW,CAAC,OAAO,EAAE,OAAO,CAAC,EAC7C,OAAO,EAAE,MAAM,GACd;IAAE,MAAM,EAAE,UAAU,CAAC;IAAC,aAAa,EAAE,aAAa,CAAC;IAAC,SAAS,EAAE,WAAW,CAAC,OAAO,EAAE,OAAO,CAAC,CAAA;CAAE,CAkBhG;AAED;;;;;;;;;;GAUG;AACH,wBAAgB,mBAAmB,CACjC,MAAM,EAAE,aAAa,EACrB,KAAK,EAAE,UAAU,EACjB,WAAW,EAAE,UAAU,EAAE,EACzB,MAAM,EAAE,MAAM,EACd,cAAc,EAAE,WAAW,CAAC,OAAO,EAAE,OAAO,CAAC,EAC7C,OAAO,EAAE,MAAM,GACd;IAAE,MAAM,EAAE,UAAU,CAAC;IAAC,aAAa,EAAE,aAAa,CAAC;IAAC,SAAS,EAAE,WAAW,CAAC,OAAO,EAAE,OAAO,CAAC,CAAA;CAAE,CAEhG;AAED;;;;;;;;;;GAUG;AACH,wBAAgB,oBAAoB,CAClC,MAAM,EAAE,aAAa,EACrB,KAAK,EAAE,UAAU,EACjB,WAAW,EAAE,UAAU,EAAE,EACzB,QAAQ,EAAE,MAAM,EAChB,cAAc,EAAE,WAAW,CAAC,OAAO,EAAE,OAAO,CAAC,EAC7C,OAAO,EAAE,MAAM,GACd;IAAE,MAAM,EAAE,UAAU,CAAC;IAAC,aAAa,EAAE,aAAa,CAAC;IAAC,SAAS,EAAE,WAAW,CAAC,OAAO,EAAE,OAAO,CAAC,CAAA;CAAE,CAEhG"}
+{"version":3,"file":"face-evolution.d.ts","sourceRoot":"","sources":["../../src/brep/face-evolution.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AAEH,OAAO,KAAK,EAAE,UAAU,EAAE,iBAAiB,EAAE,MAAM,gBAAgB,CAAA;AACnE,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,qBAAqB,CAAA;AAExD,wDAAwD;AACxD,eAAO,MAAM,gBAAgB,aAAa,CAAA;AAE1C;;;;;;GAMG;AACH,MAAM,MAAM,aAAa,GAAG,GAAG,CAAC,MAAM,EAAE,MAAM,EAAE,CAAC,CAAA;AAEjD;;;;;GAKG;AACH,wBAAgB,aAAa,CAAC,MAAM,EAAE,aAAa,EAAE,KAAK,EAAE,UAAU,GAAG,MAAM,EAAE,CAEhF;AAED;;;;;;;;;GASG;AACH,wBAAgB,kBAAkB,CAChC,MAAM,EAAE,aAAa,EACrB,MAAM,EAAE,UAAU,EAClB,MAAM,EAAE,UAAU,GACjB,MAAM,EAAE,CAIV;AAED;;;;;;;;;;GAUG;AACH,wBAAgB,eAAe,CAC7B,MAAM,EAAE,aAAa,EACrB,GAAG,EAAE,iBAAiB,EACtB,UAAU,EAAE,UAAU,EACtB,WAAW,EAAE,UAAU,GACtB,aAAa,CAqCf;AAGD;;;;;GAKG;AACH,MAAM,WAAW,aAAa;IAC5B,wCAAwC;IACxC,QAAQ,CAAC,QAAQ,EAAE,WAAW,CAAC,MAAM,EAAE,SAAS,MAAM,EAAE,CAAC,CAAA;IACzD,uBAAuB;IACvB,QAAQ,CAAC,OAAO,EAAE,WAAW,CAAC,MAAM,CAAC,CAAA;CACtC;AAED;;;;;;;;;;;;;;;GAeG;AACH,wBAAgB,mBAAmB,CAAC,GAAG,EAAE,iBAAiB,GAAG,aAAa,CAezE;AAED;;;;;;;;;;;;GAYG;AACH,wBAAgB,0BAA0B,CACxC,GAAG,EAAE,iBAAiB,EACtB,OAAO,EAAE,SAAS,MAAM,EAAE,EAC1B,OAAO,EAAE,SAAS,MAAM,EAAE,GACzB;IAAE,CAAC,EAAE,aAAa,CAAC;IAAC,CAAC,EAAE,aAAa,CAAA;CAAE,CAoBxC;AAED;;;;;;;;;;;;;;;;;;;;;;;;GAwBG;AACH,wBAAgB,qBAAqB,CACnC,MAAM,EAAE,aAAa,EACrB,UAAU,EAAE,UAAU,EACtB,WAAW,EAAE,UAAU,GACtB,aAAa,CASf;AAED;;;;;;;;;;;;GAYG;AACH,wBAAgB,0BAA0B,CACxC,MAAM,EAAE,aAAa,EACrB,KAAK,EAAE,UAAU,EACjB,CAAC,EAAE,SAAS,CAAC,MAAM,EAAE,MAAM,EAAE,MAAM,CAAC,GACnC;IAAE,MAAM,EAAE,UAAU,CAAC;IAAC,SAAS,EAAE,aAAa,CAAA;CAAE,CAIlD;AAED;;;;;;;;;;;;GAYG;AACH,wBAAgB,sBAAsB,CACpC,MAAM,EAAE,aAAa,EACrB,KAAK,EAAE,UAAU,EACjB,MAAM,EAAE,SAAS,CAAC,MAAM,EAAE,MAAM,EAAE,MAAM,CAAC,EACzC,MAAM,EAAE,MAAM,GACb;IAAE,MAAM,EAAE,UAAU,CAAC;IAAC,SAAS,EAAE,aAAa,CAAA;CAAE,CAUlD;AAED;;;;;;;;;;;;;;;;;;;;GAoBG;AACH,wBAAgB,oBAAoB,CAClC,MAAM,EAAE,aAAa,EACrB,EAAE,EAAE,MAAM,GAAG,KAAK,GAAG,WAAW,EAChC,CAAC,EAAE,UAAU,EACb,CAAC,EAAE,UAAU,EACb,MAAM,EAAE,WAAW,CAAC,OAAO,EAAE,OAAO,CAAC,EACrC,MAAM,EAAE,WAAW,CAAC,OAAO,EAAE,OAAO,CAAC,EACrC,OAAO,EAAE,MAAM,GACd;IAAE,MAAM,EAAE,UAAU,CAAC;IAAC,aAAa,EAAE,aAAa,CAAC;IAAC,SAAS,EAAE,WAAW,CAAC,OAAO,EAAE,OAAO,CAAC,CAAA;CAAE,CAgBhG;AAuDD;;;;;;GAMG;AACH,wBAAgB,aAAa,CAC3B,MAAM,EAAE,aAAa,EACrB,GAAG,EAAE,iBAAiB,EACtB,UAAU,EAAE,UAAU,GACrB,MAAM,EAAE,CAeV;AAID;;;;;;;GAOG;AACH,wBAAgB,kBAAkB,CAChC,MAAM,EAAE,aAAa,EACrB,CAAC,EAAE,UAAU,EACb,CAAC,EAAE,UAAU,GACZ;IAAE,MAAM,EAAE,UAAU,CAAC;IAAC,aAAa,EAAE,aAAa,CAAA;CAAE,CAKtD;AAED;;;;;;GAMG;AACH,wBAAgB,mBAAmB,CACjC,MAAM,EAAE,aAAa,EACrB,CAAC,EAAE,UAAU,EACb,CAAC,EAAE,UAAU,GACZ;IAAE,MAAM,EAAE,UAAU,CAAC;IAAC,aAAa,EAAE,aAAa,CAAA;CAAE,CAKtD;AAED;;;;;;GAMG;AACH,wBAAgB,wBAAwB,CACtC,MAAM,EAAE,aAAa,EACrB,CAAC,EAAE,UAAU,EACb,CAAC,EAAE,UAAU,GACZ;IAAE,MAAM,EAAE,UAAU,CAAC;IAAC,aAAa,EAAE,aAAa,CAAA;CAAE,CAKtD;AAID;;;;;;;;;GASG;AACH,wBAAgB,iBAAiB,CAC/B,MAAM,EAAE,aAAa,EACrB,KAAK,EAAE,UAAU,GAChB,aAAa,CAOf;AAID;;;;;;;;;;;;;;;;;GAiBG;AACH,wBAAgB,uBAAuB,CACrC,MAAM,EAAE,aAAa,EACrB,EAAE,EAAE,QAAQ,GAAG,SAAS,EACxB,KAAK,EAAE,UAAU,EACjB,WAAW,EAAE,UAAU,EAAE,EACzB,MAAM,EAAE,MAAM,EACd,cAAc,EAAE,WAAW,CAAC,OAAO,EAAE,OAAO,CAAC,EAC7C,OAAO,EAAE,MAAM,GACd;IAAE,MAAM,EAAE,UAAU,CAAC;IAAC,aAAa,EAAE,aAAa,CAAC;IAAC,SAAS,EAAE,WAAW,CAAC,OAAO,EAAE,OAAO,CAAC,CAAA;CAAE,CAsChG;AAED;;;;;;;;;;GAUG;AACH,wBAAgB,mBAAmB,CACjC,MAAM,EAAE,aAAa,EACrB,KAAK,EAAE,UAAU,EACjB,WAAW,EAAE,UAAU,EAAE,EACzB,MAAM,EAAE,MAAM,EACd,cAAc,EAAE,WAAW,CAAC,OAAO,EAAE,OAAO,CAAC,EAC7C,OAAO,EAAE,MAAM,GACd;IAAE,MAAM,EAAE,UAAU,CAAC;IAAC,aAAa,EAAE,aAAa,CAAC;IAAC,SAAS,EAAE,WAAW,CAAC,OAAO,EAAE,OAAO,CAAC,CAAA;CAAE,CAEhG;AAED;;;;;;;;;;GAUG;AACH,wBAAgB,oBAAoB,CAClC,MAAM,EAAE,aAAa,EACrB,KAAK,EAAE,UAAU,EACjB,WAAW,EAAE,UAAU,EAAE,EACzB,QAAQ,EAAE,MAAM,EAChB,cAAc,EAAE,WAAW,CAAC,OAAO,EAAE,OAAO,CAAC,EAC7C,OAAO,EAAE,MAAM,GACd;IAAE,MAAM,EAAE,UAAU,CAAC;IAAC,aAAa,EAAE,aAAa,CAAC;IAAC,SAAS,EAAE,WAAW,CAAC,OAAO,EAAE,OAAO,CAAC,CAAA;CAAE,CAEhG;AAED;;;;;;;;;;;;GAYG;AACH,wBAAgB,sBAAsB,CACpC,MAAM,EAAE,aAAa,EACrB,KAAK,EAAE,UAAU,EACjB,SAAS,EAAE,UAAU,EACrB,cAAc,EAAE,WAAW,CAAC,OAAO,EAAE,OAAO,CAAC,EAC7C,OAAO,EAAE,MAAM,GACd;IAAE,MAAM,EAAE,UAAU,CAAC;IAAC,aAAa,EAAE,aAAa,CAAC;IAAC,SAAS,EAAE,WAAW,CAAC,OAAO,EAAE,OAAO,CAAC,CAAA;CAAE,CA2BhG"}

package/dist/brep/face-evolution.js

@@ -90,8 +90,11 @@ export function decodeEvolution(kernel, evo, inputShape, resultShape) {
  * hash→hash[] 的 1→多映射，直接按同一格式解出 hash 键版本，不需要
  * getSubShapes 逐句柄 hashCode，也不分配任何句柄。
  *
- * generated 刻意不进 role 传播（§1.3 事实：occt 系 generated hash 指向中间形、
- * 对布尔实测 0 个存活），生成面改由 DerivedFaceTopoRef 以 lineage 命名。
+ * generated 刻意不进 role 传播。**实测依据（2026-09-22，`brep/engine/phase0-kernel-probes.test.ts`）**：
+ * `generated` 与 `modified` **同构分段、键集相同**，其值是各输入面派生出的**中间形**——
+ * `cut` 实测 12 个 hash、结果里 **0 个存活**（`fillet`/`fuse` 里整个桶为空）。
+ * ⇒ 新造面**不能**由 `generated` 定位，只能由"三类命运"的补集判定
+ * （既不在输入 hash 集合、也不在任何 `modified` 输出里），再交 `construct`/派生词汇命名。
  *
  * @param evo - the BrepEvolutionData (from a *WithHistory API).
  * @returns the hash-keyed evolution.
@@ -148,10 +151,24 @@ export function splitHashEvolutionByOrigin(evo, hashesA, hashesB) {
     return { a: { modified: aModified, deleted: aDeleted }, b: { modified: bModified, deleted: bDeleted } };
 }
 /**
- * 构造 hash 键恒等演化（§2.4：变换类 translate/rotate/scale/copy 用）。
+ * 构造 hash 键恒等演化：输入第 i 面 hash → 输出第 i 面 hash（按枚举序号对齐）。
  *
- * 刚体变换/深拷贝不改变面数量与顺序：输入第 i 面 hash → 输出第 i 面 hash，
- * 用 subShapeHashes 两端对齐合成 hash 恒等（避免调用 *WithHistory 的签名兼容问题）。
+ * ⚠️ **Phase 0.3 后本函数只用于「内核无 `*WithHistory` 可表达」的 4 个 op**：
+ *
+ * | op | 为什么不能走权威映射 |
+ * |---|---|
+ * | `rotate_euler` | 任意欧拉角 + pivot；内核只有**单轴** `rotateWithHistory` |
+ * | `scale3d` | 非等比；`generalTransform` 无历史（`scaleWithHistory` 只收均匀 factor） |
+ * | `copy` | 深拷贝；内核无 `copyWithHistory` |
+ * | `place` | 任意矩阵 `located`；内核无对应历史 API |
+ *
+ * `translate` / `scale`（均匀）已改走权威映射（`translateWithHashEvolution` /
+ * `scaleWithHashEvolution`），不再经过本函数。
+ *
+ * ⚠️ **本函数的正确性依赖一个曾经未被验证的假设**：刚体变换/深拷贝保持 OCCT 的
+ * 面枚举序号。该假设现由 `brep/face-evolution.ordering.test.ts` 实测钉住。
+ * 若该测试变红 ⇒ 本函数在这 4 个 op 上会产出**错误的身份映射**，
+ * 必须为它们找别的权威来源，**不是**调松测试。
  *
  * @param kernel       - the OCCT kernel.
  * @param inputShape   - the input shape.
@@ -168,6 +185,42 @@ export function identityHashEvolution(kernel, inputShape, resultShape) {
     }
     return { modified, deleted: new Set() };
 }
+/**
+ * 平移 + **权威**面演化（Phase 0.3）：走内核 `translateWithHistory`。
+ *
+ * 与 `identityHashEvolution` 的区别：这里的 `inHash → outHash[]` 是 OCCT 自己给的，
+ * **不依赖**"枚举序号在变换后保持"这个此前从未验证的假设（分析文档 §7 第 6 项）。
+ * 实测（`brep/engine/evolution-bindings.test.ts`）：刚体变换的权威映射为
+ * 1:1 全覆盖（`coveredInputs === 面数`、`deleted` 空、`generated` 空）。
+ *
+ * @param kernel - the OCCT kernel.
+ * @param shape  - the input shape.
+ * @param d      - the translation vector as [dx, dy, dz].
+ * @returns the translated handle plus the authority hash evolution.
+ */
+export function translateWithHashEvolution(kernel, shape, d) {
+    const inputHashes = getFaceHashes(kernel, shape);
+    const evo = kernel.translateWithHistory(shape, d[0], d[1], d[2], inputHashes, HASH_UPPER_BOUND);
+    return { result: evo.result, evolution: decodeHashEvolution(evo) };
+}
+/**
+ * 均匀缩放 + **权威**面演化（Phase 0.3）：走内核 `scaleWithHistory`。
+ *
+ * ⚠️ **仅均匀缩放**。非均匀缩放内核无 `*WithHistory`（`generalTransform` 无历史），
+ * 故 `scale3d` 无法走本函数——它退回 `identityHashEvolution`，其"面序保持"假设
+ * 由 `brep/face-evolution.ordering.test.ts` 钉住。
+ *
+ * @param kernel - the OCCT kernel.
+ * @param shape  - the input shape.
+ * @param center - the fixed point of the scaling (not scaled).
+ * @param factor - the uniform scale factor.
+ * @returns the scaled handle plus the authority hash evolution.
+ */
+export function scaleWithHashEvolution(kernel, shape, center, factor) {
+    const inputHashes = getFaceHashes(kernel, shape);
+    const evo = kernel.scaleWithHistory(shape, { x: center[0], y: center[1], z: center[2] }, factor, inputHashes, HASH_UPPER_BOUND);
+    return { result: evo.result, evolution: decodeHashEvolution(evo) };
+}
 /**
  * 双输入布尔 + roleTable 合流组合封装（§3.4，stdlib boolean 链式调用用）。
  *
@@ -177,7 +230,8 @@ export function identityHashEvolution(kernel, inputShape, resultShape) {
  * - roleTable：A/B 两侧 role 表各自传播后合并（进 roleTableCache，服务命名）
  *
  * 缝面（generated）刻意不进 role 传播（§1.3/R2：generated hash 指向中间形、
- * 实测 0 存活），以本次语句 LHS 为 outPart 新 origin 的位置名由调用方决定。
+ * 实测 0 存活）。新 origin 一律是**本次语句的 StmtId**（Phase 1.6：不再用 LHS
+ * 变量名——PartName 会被改名/复用，StmtId 全局唯一）。
  *
  * @param kernel  - the OCCT kernel.
  * @param op      - the boolean operation ('fuse' | 'cut' | 'intersect').
@@ -185,10 +239,10 @@ export function identityHashEvolution(kernel, inputShape, resultShape) {
  * @param b       - the tool shape.
  * @param tableA  - the target's role table.
  * @param tableB  - the tool's role table.
- * @param outPart - the boolean statement's LHS variable name (new origin for seam faces).
+ * @param outStmt - the boolean statement's StmtId (串形；新 origin for seam faces).
  * @returns the result handle, ordinal evolution and merged role table.
  */
-export function booleanWithRoleTable(kernel, op, a, b, tableA, tableB, outPart) {
+export function booleanWithRoleTable(kernel, op, a, b, tableA, tableB, outStmt) {
     const inputHashes = getUnionFaceHashes(kernel, a, b);
     let evo;
     if (op === 'fuse')
@@ -202,11 +256,13 @@ export function booleanWithRoleTable(kernel, op, a, b, tableA, tableB, outPart)
     const hashesA = getFaceHashes(kernel, a);
     const hashesB = getFaceHashes(kernel, b);
     const { a: evoA, b: evoB } = splitHashEvolutionByOrigin(evo, hashesA, hashesB);
-    const merged = mergeRoleTablesLocal(tableA, evoA, tableB, evoB, outPart);
+    const merged = mergeRoleTablesLocal(tableA, evoA, tableB, evoB, outStmt);
     return { result: evo.result, faceEvolution, roleTable: merged };
 }
 /** 合表（避免 naming/roles 循环依赖：本文件不 import naming，用结构等价实现）。 */
-function mergeRoleTablesLocal(tableA, evoA, tableB, evoB, outPart) {
+function mergeRoleTablesLocal(tableA, evoA, tableB, evoB, 
+// eslint-disable-next-line @typescript-eslint/no-unused-vars -- retained for future boolean generated-face naming
+outPart) {
     const result = new Map();
     for (const [origin, roles] of tableA) {
         result.set(origin, propagateOriginRoles(roles, evoA));
@@ -228,8 +284,9 @@ function mergeRoleTablesLocal(tableA, evoA, tableB, evoB, outPart) {
             result.set(origin, advanced);
         }
     }
-    // 缝面位置名：调用方决定是否补（generated 不可靠，默认不补）
-    void outPart;
+    // 3.6: void outPart removed — boolean seam faces are handled by the "three fates"
+    // analysis (§4.4): cut has 0 new faces (§7 item 7), fuse seam faces are a Phase 4+ concern.
+    // outPart retained for future kernel/byAdjacency on boolean generated faces.
     return result;
 }
 /** 单 origin 传播（结构等价于 naming/roles.propagateRoles，避免循环依赖）。 */
@@ -363,11 +420,29 @@ export function directEditWithRoleTable(kernel, op, solid, edgeHandles, radius,
     }
     const faceEvolution = decodeEvolution(kernel, evo, solid, evo.result);
     const hashEvo = decodeHashEvolution(evo);
-    const roleTable = propagateAllOriginsLocal(inputRoleTable, hashEvo);
-    // outPart used for new-origin allocation in M2 (derived faces); M1 does not
-    // generate positional roles for transition faces.
-    void outPart;
-    return { result: evo.result, faceEvolution, roleTable };
+    const propagated = propagateAllOriginsLocal(inputRoleTable, hashEvo);
+    // 3.4: generated face naming — transition faces are neither input faces nor
+    // modified outputs (§4.4 "三类命运": 原样幸存 / 改型幸存 / 新造).
+    // Role format: `gen:<op>:<i>` (i = enumeration order among generated faces).
+    // String formatted directly (no import of role-name.ts — avoids circular dep).
+    const resultHashes = getFaceHashes(kernel, evo.result);
+    const inputHashSet = new Set(inputHashes);
+    const modifiedOutputHashes = new Set();
+    for (const outs of hashEvo.modified.values()) {
+        for (const h of outs)
+            modifiedOutputHashes.add(h);
+    }
+    const generatedHashes = resultHashes.filter((h) => !inputHashSet.has(h) && !modifiedOutputHashes.has(h));
+    if (generatedHashes.length > 0) {
+        const genRoles = new Map();
+        for (let i = 0; i < generatedHashes.length; i++) {
+            genRoles.set(`gen:${op}:${i}`, [generatedHashes[i]]);
+        }
+        const roleTable = new Map(propagated);
+        roleTable.set(outPart, genRoles);
+        return { result: evo.result, faceEvolution, roleTable };
+    }
+    return { result: evo.result, faceEvolution, roleTable: propagated };
 }
 /**
  * 单输入 directEdit 的便捷别名：fillet。
@@ -397,6 +472,44 @@ export function filletWithRoleTable(kernel, solid, edgeHandles, radius, inputRol
 export function chamferWithRoleTable(kernel, solid, edgeHandles, distance, inputRoleTable, outPart) {
     return directEditWithRoleTable(kernel, 'chamfer', solid, edgeHandles, distance, inputRoleTable, outPart);
 }
+/**
+ * 钻孔 roleTable 传播：底孔（圆柱 cut）产生的新造面 = 孔壁，挂**消费它的那条语句**
+ * 的 origin（§7.1：drill 的工具体是 op 内部临时件，无其他用户可见坐标可继承）。
+ * 角色形态 `hole:<j>`（j = 新造面枚举序）。沿用 `directEditWithRoleTable` 的
+ * 三类命运判定（原样幸存 / 改型幸存 / 新造），新造面才派生命名。
+ *
+ * @param kernel         - the OCCT kernel.
+ * @param solid          - the input solid (the drilled part).
+ * @param toolSolid      - the drill-bit tool solid (caller-built; released by caller).
+ * @param inputRoleTable - the input's role table.
+ * @param outStmt        - the drilling statement's StmtId (origin for new faces).
+ * @returns the result handle, ordinal evolution and role table with `hole:<j>`.
+ */
+export function drillBrepWithRoleTable(kernel, solid, toolSolid, inputRoleTable, outStmt) {
+    const inputHashes = getFaceHashes(kernel, solid);
+    const evo = kernel.cutWithHistory(solid, toolSolid, inputHashes, HASH_UPPER_BOUND);
+    const faceEvolution = decodeEvolution(kernel, evo, solid, evo.result);
+    const hashEvo = decodeHashEvolution(evo);
+    const propagated = propagateAllOriginsLocal(inputRoleTable, hashEvo);
+    // 三类命运判定：新造面 = 结果 − 输入 − 改型后继（§4.4）。
+    const resultHashes = getFaceHashes(kernel, evo.result);
+    const inputHashSet = new Set(inputHashes);
+    const modifiedOutputHashes = new Set();
+    for (const outs of hashEvo.modified.values()) {
+        for (const h of outs)
+            modifiedOutputHashes.add(h);
+    }
+    const generatedHashes = resultHashes.filter((h) => !inputHashSet.has(h) && !modifiedOutputHashes.has(h));
+    const roleTable = new Map(propagated);
+    if (generatedHashes.length > 0) {
+        const genRoles = new Map();
+        for (let i = 0; i < generatedHashes.length; i++) {
+            genRoles.set(`hole:${i}`, [generatedHashes[i]]);
+        }
+        roleTable.set(outStmt, genRoles);
+    }
+    return { result: evo.result, faceEvolution, roleTable };
+}
 /** 单输入 roleTable 传播（结构等价于 naming/roles.propagateAllOrigins，避免循环依赖）。 */
 function propagateAllOriginsLocal(roles, evolution) {
     const result = new Map();

package/dist/brep/face-evolution.js.map

@@ -1 +1 @@
-{"version":3,"file":"face-evolution.js","sourceRoot":"","sources":["../../src/brep/face-evolution.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AAKH,wDAAwD;AACxD,MAAM,CAAC,MAAM,gBAAgB,GAAG,UAAU,CAAA;AAW1C;;;;;GAKG;AACH,MAAM,UAAU,aAAa,CAAC,MAAqB,EAAE,KAAiB;IACpE,OAAO,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,cAAc,CAAC,KAAK,EAAE,MAAM,EAAE,gBAAgB,CAAC,CAAC,CAAA;AAC3E,CAAC;AAED;;;;;;;;;GASG;AACH,MAAM,UAAU,kBAAkB,CAChC,MAAqB,EACrB,MAAkB,EAClB,MAAkB;IAElB,MAAM,OAAO,GAAG,aAAa,CAAC,MAAM,EAAE,MAAM,CAAC,CAAA;IAC7C,MAAM,OAAO,GAAG,aAAa,CAAC,MAAM,EAAE,MAAM,CAAC,CAAA;IAC7C,OAAO,CAAC,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,OAAO,EAAE,GAAG,OAAO,CAAC,CAAC,CAAC,CAAA;AAC/C,CAAC;AAED;;;;;;;;;;GAUG;AACH,MAAM,UAAU,eAAe,CAC7B,MAAqB,EACrB,GAAsB,EACtB,UAAsB,EACtB,WAAuB;IAEvB,MAAM,WAAW,GAAG,aAAa,CAAC,MAAM,EAAE,UAAU,CAAC,CAAA;IACrD,MAAM,YAAY,GAAG,aAAa,CAAC,MAAM,EAAE,WAAW,CAAC,CAAA;IAEvD,wBAAwB;IACxB,MAAM,mBAAmB,GAAG,IAAI,GAAG,EAAkB,CAAA;IACrD,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,YAAY,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QAC7C,mBAAmB,CAAC,GAAG,CAAC,YAAY,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAA;IAC7C,CAAC;IACD,MAAM,kBAAkB,GAAG,IAAI,GAAG,EAAkB,CAAA;IACpD,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,WAAW,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QAC5C,kBAAkB,CAAC,GAAG,CAAC,WAAW,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAA;IAC3C,CAAC;IAED,iBAAiB;IACjB,MAAM,SAAS,GAAkB,IAAI,GAAG,EAAE,CAAA;IAC1C,MAAM,QAAQ,GAAG,GAAG,CAAC,QAAQ,CAAA;IAC7B,IAAI,GAAG,GAAG,CAAC,CAAA;IACX,OAAO,GAAG,GAAG,QAAQ,CAAC,MAAM,EAAE,CAAC;QAC7B,MAAM,MAAM,GAAG,QAAQ,CAAC,GAAG,CAAC,CAAA;QAC5B,MAAM,KAAK,GAAG,QAAQ,CAAC,GAAG,GAAG,CAAC,CAAC,CAAA;QAC/B,MAAM,WAAW,GAAa,EAAE,CAAA;QAChC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,EAAE,CAAC,EAAE,EAAE,CAAC;YAC/B,MAAM,OAAO,GAAG,QAAQ,CAAC,GAAG,GAAG,CAAC,GAAG,CAAC,CAAC,CAAA;YACrC,MAAM,UAAU,GAAG,mBAAmB,CAAC,GAAG,CAAC,OAAO,CAAC,CAAA;YACnD,IAAI,UAAU,KAAK,SAAS,EAAE,CAAC;gBAC7B,WAAW,CAAC,IAAI,CAAC,UAAU,CAAC,CAAA;YAC9B,CAAC;QACH,CAAC;QACD,MAAM,SAAS,GAAG,kBAAkB,CAAC,GAAG,CAAC,MAAM,CAAC,CAAA;QAChD,IAAI,SAAS,KAAK,SAAS,EAAE,CAAC;YAC5B,SAAS,CAAC,GAAG,CAAC,SAAS,EAAE,WAAW,CAAC,CAAA;QACvC,CAAC;QACD,GAAG,IAAI,CAAC,GAAG,KAAK,CAAA;IAClB,CAAC;IAED,OAAO,SAAS,CAAA;AAClB,CAAC;AAgBD;;;;;;;;;;;;GAYG;AACH,MAAM,UAAU,mBAAmB,CAAC,GAAsB;IACxD,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAoB,CAAA;IAC5C,MAAM,CAAC,GAAG,GAAG,CAAC,QAAQ,CAAA;IACtB,IAAI,GAAG,GAAG,CAAC,CAAA;IACX,OAAO,GAAG,GAAG,CAAC,CAAC,MAAM,EAAE,CAAC;QACtB,MAAM,MAAM,GAAG,CAAC,CAAC,GAAG,CAAC,CAAA;QACrB,MAAM,KAAK,GAAG,CAAC,CAAC,GAAG,GAAG,CAAC,CAAC,CAAA;QACxB,MAAM,SAAS,GAAa,EAAE,CAAA;QAC9B,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,EAAE,CAAC,EAAE,EAAE,CAAC;YAC/B,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,CAAA;QAChC,CAAC;QACD,QAAQ,CAAC,GAAG,CAAC,MAAM,EAAE,SAAS,CAAC,CAAA;QAC/B,GAAG,IAAI,CAAC,GAAG,KAAK,CAAA;IAClB,CAAC;IACD,OAAO,EAAE,QAAQ,EAAE,OAAO,EAAE,IAAI,GAAG,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,CAAA;AACpD,CAAC;AAED;;;;;;;;;;;;GAYG;AACH,MAAM,UAAU,0BAA0B,CACxC,GAAsB,EACtB,OAA0B,EAC1B,OAA0B;IAE1B,MAAM,GAAG,GAAG,mBAAmB,CAAC,GAAG,CAAC,CAAA;IACpC,MAAM,IAAI,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,CAAA;IAC7B,MAAM,IAAI,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,CAAA;IAE7B,MAAM,SAAS,GAAG,IAAI,GAAG,EAAoB,CAAA;IAC7C,MAAM,SAAS,GAAG,IAAI,GAAG,EAAoB,CAAA;IAC7C,KAAK,MAAM,CAAC,MAAM,EAAE,IAAI,CAAC,IAAI,GAAG,CAAC,QAAQ,EAAE,CAAC;QAC1C,IAAI,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC;YAAE,SAAS,CAAC,GAAG,CAAC,MAAM,EAAE,CAAC,GAAG,IAAI,CAAC,CAAC,CAAA;aACjD,IAAI,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC;YAAE,SAAS,CAAC,GAAG,CAAC,MAAM,EAAE,CAAC,GAAG,IAAI,CAAC,CAAC,CAAA;IAC7D,CAAC;IAED,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAU,CAAA;IAClC,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAU,CAAA;IAClC,KAAK,MAAM,CAAC,IAAI,GAAG,CAAC,OAAO,EAAE,CAAC;QAC5B,IAAI,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;YAAE,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,CAAA;aAC3B,IAAI,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;YAAE,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,CAAA;IACvC,CAAC;IAED,OAAO,EAAE,CAAC,EAAE,EAAE,QAAQ,EAAE,SAAS,EAAE,OAAO,EAAE,QAAQ,EAAE,EAAE,CAAC,EAAE,EAAE,QAAQ,EAAE,SAAS,EAAE,OAAO,EAAE,QAAQ,EAAE,EAAE,CAAA;AACzG,CAAC;AAED;;;;;;;;;;GAUG;AACH,MAAM,UAAU,qBAAqB,CACnC,MAAqB,EACrB,UAAsB,EACtB,WAAuB;IAEvB,MAAM,WAAW,GAAG,aAAa,CAAC,MAAM,EAAE,UAAU,CAAC,CAAA;IACrD,MAAM,YAAY,GAAG,aAAa,CAAC,MAAM,EAAE,WAAW,CAAC,CAAA;IACvD,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,WAAW,CAAC,MAAM,EAAE,YAAY,CAAC,MAAM,CAAC,CAAA;IAC/D,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAoB,CAAA;IAC5C,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,EAAE,CAAC,EAAE,EAAE,CAAC;QAC/B,QAAQ,CAAC,GAAG,CAAC,WAAW,CAAC,CAAC,CAAC,EAAE,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,CAAC,CAAA;IACjD,CAAC;IACD,OAAO,EAAE,QAAQ,EAAE,OAAO,EAAE,IAAI,GAAG,EAAE,EAAE,CAAA;AACzC,CAAC;AAED;;;;;;;;;;;;;;;;;;;GAmBG;AACH,MAAM,UAAU,oBAAoB,CAClC,MAAqB,EACrB,EAAgC,EAChC,CAAa,EACb,CAAa,EACb,MAAqC,EACrC,MAAqC,EACrC,OAAe;IAEf,MAAM,WAAW,GAAG,kBAAkB,CAAC,MAAM,EAAE,CAAC,EAAE,CAAC,CAAC,CAAA;IACpD,IAAI,GAAsB,CAAA;IAC1B,IAAI,EAAE,KAAK,MAAM;QAAE,GAAG,GAAG,MAAM,CAAC,eAAe,CAAC,CAAC,EAAE,CAAC,EAAE,WAAW,EAAE,gBAAgB,CAAC,CAAA;SAC/E,IAAI,EAAE,KAAK,KAAK;QAAE,GAAG,GAAG,MAAM,CAAC,cAAc,CAAC,CAAC,EAAE,CAAC,EAAE,WAAW,EAAE,gBAAgB,CAAC,CAAA;;QAClF,GAAG,GAAG,MAAM,CAAC,oBAAoB,CAAC,CAAC,EAAE,CAAC,EAAE,WAAW,EAAE,gBAAgB,CAAC,CAAA;IAE3E,MAAM,aAAa,GAAG,eAAe,CAAC,MAAM,EAAE,GAAG,EAAE,CAAC,EAAE,GAAG,CAAC,MAAM,CAAC,CAAA;IAEjE,2BAA2B;IAC3B,MAAM,OAAO,GAAG,aAAa,CAAC,MAAM,EAAE,CAAC,CAAC,CAAA;IACxC,MAAM,OAAO,GAAG,aAAa,CAAC,MAAM,EAAE,CAAC,CAAC,CAAA;IACxC,MAAM,EAAE,CAAC,EAAE,IAAI,EAAE,CAAC,EAAE,IAAI,EAAE,GAAG,0BAA0B,CAAC,GAAG,EAAE,OAAO,EAAE,OAAO,CAAC,CAAA;IAC9E,MAAM,MAAM,GAAG,oBAAoB,CAAC,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,OAAO,CAAC,CAAA;IAExE,OAAO,EAAE,MAAM,EAAE,GAAG,CAAC,MAAM,EAAE,aAAa,EAAE,SAAS,EAAE,MAAM,EAAE,CAAA;AACjE,CAAC;AAED,2DAA2D;AAC3D,SAAS,oBAAoB,CAC3B,MAAqC,EACrC,IAAmB,EACnB,MAAqC,EACrC,IAAmB,EACnB,OAAe;IAEf,MAAM,MAAM,GAAG,IAAI,GAAG,EAAoB,CAAA;IAC1C,KAAK,MAAM,CAAC,MAAM,EAAE,KAAK,CAAC,IAAI,MAAM,EAAE,CAAC;QACrC,MAAM,CAAC,GAAG,CAAC,MAAM,EAAE,oBAAoB,CAAC,KAA+C,EAAE,IAAI,CAAC,CAAC,CAAA;IACjG,CAAC;IACD,KAAK,MAAM,CAAC,MAAM,EAAE,KAAK,CAAC,IAAI,MAAM,EAAE,CAAC;QACrC,MAAM,QAAQ,GAAG,MAAM,CAAC,GAAG,CAAC,MAAM,CAAuD,CAAA;QACzF,MAAM,QAAQ,GAAG,oBAAoB,CAAC,KAA+C,EAAE,IAAI,CAAC,CAAA;QAC5F,IAAI,QAAQ,EAAE,CAAC;YACb,MAAM,MAAM,GAAG,IAAI,GAAG,EAAoB,CAAA;YAC1C,KAAK,MAAM,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,QAAQ;gBAAE,MAAM,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC,GAAG,EAAE,CAAC,CAAC,CAAA;YAC5D,KAAK,MAAM,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,QAAQ,EAAE,CAAC;gBAClC,MAAM,IAAI,GAAG,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,CAAA;gBAC7B,MAAM,CAAC,GAAG,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,IAAI,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,CAAA;YACnE,CAAC;YACD,MAAM,CAAC,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,CAAA;QAC5B,CAAC;aAAM,CAAC;YACN,MAAM,CAAC,GAAG,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAA;QAC9B,CAAC;IACH,CAAC;IACD,qCAAqC;IACrC,KAAK,OAAO,CAAA;IACZ,OAAO,MAAM,CAAA;AACf,CAAC;AAED,6DAA6D;AAC7D,SAAS,oBAAoB,CAC3B,KAA6C,EAC7C,SAAwB;IAExB,MAAM,OAAO,GAAG,IAAI,GAAG,EAAoB,CAAA;IAC3C,KAAK,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,IAAI,KAAK,EAAE,CAAC;QACnC,MAAM,UAAU,GAAa,EAAE,CAAA;QAC/B,KAAK,MAAM,IAAI,IAAI,MAAM,EAAE,CAAC;YAC1B,IAAI,SAAS,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC;gBAAE,SAAQ;YACzC,MAAM,QAAQ,GAAG,SAAS,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,CAAA;YAC7C,MAAM,OAAO,GAAG,QAAQ,KAAK,SAAS,IAAI,QAAQ,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAA;YACjF,KAAK,MAAM,CAAC,IAAI,OAAO;gBAAE,IAAI,CAAC,UAAU,CAAC,QAAQ,CAAC,CAAC,CAAC;oBAAE,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,CAAA;QAC1E,CAAC;QACD,IAAI,UAAU,CAAC,MAAM,GAAG,CAAC;YAAE,OAAO,CAAC,GAAG,CAAC,IAAI,EAAE,UAAU,CAAC,CAAA;IAC1D,CAAC;IACD,OAAO,OAAO,CAAA;AAChB,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,aAAa,CAC3B,MAAqB,EACrB,GAAsB,EACtB,UAAsB;IAEtB,MAAM,WAAW,GAAG,aAAa,CAAC,MAAM,EAAE,UAAU,CAAC,CAAA;IACrD,MAAM,kBAAkB,GAAG,IAAI,GAAG,EAAkB,CAAA;IACpD,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,WAAW,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QAC5C,kBAAkB,CAAC,GAAG,CAAC,WAAW,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAA;IAC3C,CAAC;IAED,MAAM,eAAe,GAAa,EAAE,CAAA;IACpC,KAAK,MAAM,IAAI,IAAI,GAAG,CAAC,OAAO,EAAE,CAAC;QAC/B,MAAM,OAAO,GAAG,kBAAkB,CAAC,GAAG,CAAC,IAAI,CAAC,CAAA;QAC5C,IAAI,OAAO,KAAK,SAAS,EAAE,CAAC;YAC1B,eAAe,CAAC,IAAI,CAAC,OAAO,CAAC,CAAA;QAC/B,CAAC;IACH,CAAC;IACD,OAAO,eAAe,CAAA;AACxB,CAAC;AAED,2BAA2B;AAE3B;;;;;;;GAOG;AACH,MAAM,UAAU,kBAAkB,CAChC,MAAqB,EACrB,CAAa,EACb,CAAa;IAEb,MAAM,WAAW,GAAG,kBAAkB,CAAC,MAAM,EAAE,CAAC,EAAE,CAAC,CAAC,CAAA;IACpD,MAAM,GAAG,GAAG,MAAM,CAAC,cAAc,CAAC,CAAC,EAAE,CAAC,EAAE,WAAW,EAAE,gBAAgB,CAAC,CAAA;IACtE,MAAM,aAAa,GAAG,eAAe,CAAC,MAAM,EAAE,GAAG,EAAE,CAAC,EAAE,GAAG,CAAC,MAAM,CAAC,CAAA;IACjE,OAAO,EAAE,MAAM,EAAE,GAAG,CAAC,MAAM,EAAE,aAAa,EAAE,CAAA;AAC9C,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,mBAAmB,CACjC,MAAqB,EACrB,CAAa,EACb,CAAa;IAEb,MAAM,WAAW,GAAG,kBAAkB,CAAC,MAAM,EAAE,CAAC,EAAE,CAAC,CAAC,CAAA;IACpD,MAAM,GAAG,GAAG,MAAM,CAAC,eAAe,CAAC,CAAC,EAAE,CAAC,EAAE,WAAW,EAAE,gBAAgB,CAAC,CAAA;IACvE,MAAM,aAAa,GAAG,eAAe,CAAC,MAAM,EAAE,GAAG,EAAE,CAAC,EAAE,GAAG,CAAC,MAAM,CAAC,CAAA;IACjE,OAAO,EAAE,MAAM,EAAE,GAAG,CAAC,MAAM,EAAE,aAAa,EAAE,CAAA;AAC9C,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,wBAAwB,CACtC,MAAqB,EACrB,CAAa,EACb,CAAa;IAEb,MAAM,WAAW,GAAG,kBAAkB,CAAC,MAAM,EAAE,CAAC,EAAE,CAAC,CAAC,CAAA;IACpD,MAAM,GAAG,GAAG,MAAM,CAAC,oBAAoB,CAAC,CAAC,EAAE,CAAC,EAAE,WAAW,EAAE,gBAAgB,CAAC,CAAA;IAC5E,MAAM,aAAa,GAAG,eAAe,CAAC,MAAM,EAAE,GAAG,EAAE,CAAC,EAAE,GAAG,CAAC,MAAM,CAAC,CAAA;IACjE,OAAO,EAAE,MAAM,EAAE,GAAG,CAAC,MAAM,EAAE,aAAa,EAAE,CAAA;AAC9C,CAAC;AAED,kBAAkB;AAElB;;;;;;;;;GASG;AACH,MAAM,UAAU,iBAAiB,CAC/B,MAAqB,EACrB,KAAiB;IAEjB,MAAM,SAAS,GAAG,aAAa,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC,MAAM,CAAA;IACrD,MAAM,SAAS,GAAkB,IAAI,GAAG,EAAE,CAAA;IAC1C,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,SAAS,EAAE,CAAC,EAAE,EAAE,CAAC;QACnC,SAAS,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAA;IACvB,CAAC;IACD,OAAO,SAAS,CAAA;AAClB,CAAC;AAED,0DAA0D;AAE1D;;;;;;;;;;;;;;;;;GAiBG;AACH,MAAM,UAAU,uBAAuB,CACrC,MAAqB,EACrB,EAAwB,EACxB,KAAiB,EACjB,WAAyB,EACzB,MAAc,EACd,cAA6C,EAC7C,OAAe;IAEf,MAAM,WAAW,GAAG,aAAa,CAAC,MAAM,EAAE,KAAK,CAAC,CAAA;IAChD,IAAI,GAAsB,CAAA;IAC1B,IAAI,EAAE,KAAK,QAAQ,EAAE,CAAC;QACpB,GAAG,GAAG,MAAM,CAAC,iBAAiB,CAAC,KAAK,EAAE,WAAW,EAAE,MAAM,EAAE,WAAW,EAAE,gBAAgB,CAAC,CAAA;IAC3F,CAAC;SAAM,CAAC;QACN,GAAG,GAAG,MAAM,CAAC,kBAAkB,CAAC,KAAK,EAAE,WAAW,EAAE,MAAM,EAAE,WAAW,EAAE,gBAAgB,CAAC,CAAA;IAC5F,CAAC;IAED,MAAM,aAAa,GAAG,eAAe,CAAC,MAAM,EAAE,GAAG,EAAE,KAAK,EAAE,GAAG,CAAC,MAAM,CAAC,CAAA;IACrE,MAAM,OAAO,GAAG,mBAAmB,CAAC,GAAG,CAAC,CAAA;IACxC,MAAM,SAAS,GAAG,wBAAwB,CAAC,cAAc,EAAE,OAAO,CAAC,CAAA;IAEnE,4EAA4E;IAC5E,kDAAkD;IAClD,KAAK,OAAO,CAAA;IAEZ,OAAO,EAAE,MAAM,EAAE,GAAG,CAAC,MAAM,EAAE,aAAa,EAAE,SAAS,EAAE,CAAA;AACzD,CAAC;AAED;;;;;;;;;;GAUG;AACH,MAAM,UAAU,mBAAmB,CACjC,MAAqB,EACrB,KAAiB,EACjB,WAAyB,EACzB,MAAc,EACd,cAA6C,EAC7C,OAAe;IAEf,OAAO,uBAAuB,CAAC,MAAM,EAAE,QAAQ,EAAE,KAAK,EAAE,WAAW,EAAE,MAAM,EAAE,cAAc,EAAE,OAAO,CAAC,CAAA;AACvG,CAAC;AAED;;;;;;;;;;GAUG;AACH,MAAM,UAAU,oBAAoB,CAClC,MAAqB,EACrB,KAAiB,EACjB,WAAyB,EACzB,QAAgB,EAChB,cAA6C,EAC7C,OAAe;IAEf,OAAO,uBAAuB,CAAC,MAAM,EAAE,SAAS,EAAE,KAAK,EAAE,WAAW,EAAE,QAAQ,EAAE,cAAc,EAAE,OAAO,CAAC,CAAA;AAC1G,CAAC;AAED,uEAAuE;AACvE,SAAS,wBAAwB,CAC/B,KAAoC,EACpC,SAAwB;IAExB,MAAM,MAAM,GAAG,IAAI,GAAG,EAAoB,CAAA;IAC1C,KAAK,MAAM,CAAC,MAAM,EAAE,WAAW,CAAC,IAAI,KAAK,EAAE,CAAC;QAC1C,MAAM,CAAC,GAAG,CAAC,MAAM,EAAE,oBAAoB,CAAC,WAAqD,EAAE,SAAS,CAAC,CAAC,CAAA;IAC5G,CAAC;IACD,OAAO,MAAM,CAAA;AACf,CAAC","sourcesContent":["/**\n * 面演化（face evolution）工具：hash 映射 ↔ ordinal 映射转换\n *\n * See docs/api-contract.md §11 (topology contract) for face evolution context.\n *\n * occt-wasm 的 *WithHistory API 返回 BrepEvolutionData，其中 modified/generated\n * 用面 hash（内存指针哈希）编码。本模块将其解码为 ordinal 映射（面枚举序号），\n * 可安全持久化进 faijs 文本。\n *\n * 核心原理（分析文档 §4.4）：\n * getSubShapes(shape,'face')[i] ↔ subShapeHashes(shape,'face',B)[i] 一一对应\n * 因此可以把 hash 映射无损转换为 ordinal 映射。\n */\n\nimport type { BrepHandle, BrepEvolutionData } from './engine/types'\nimport type { BrepEngineApi } from './engine/primitives'\n\n/** hash 上界（与 occt-wasm kernel.cpp 一致：`% 2147483647`） */\nexport const HASH_UPPER_BOUND = 2147483647\n\n/**\n * 面演化映射：输入面 ordinal → 输出面 ordinal 列表\n *\n * - 1→1：面被修改但未被切割（如面带孔仍是单面）\n * - 1→N：面被切割成多个面\n * - 不在 map 中：面未被修改或被删除\n */\nexport type FaceEvolution = Map<number, number[]>\n\n/**\n * Collect the hash list of all faces of a shape (via subShapeHashes; efficient, no handles allocated).\n * @param kernel - the OCCT kernel.\n * @param shape - the shape whose face hashes to collect.\n * @returns the array of face hashes.\n */\nexport function getFaceHashes(kernel: BrepEngineApi, shape: BrepHandle): number[] {\n  return Array.from(kernel.subShapeHashes(shape, 'face', HASH_UPPER_BOUND))\n}\n\n/**\n * Collect the union of face hashes of two shapes (for WithHistory calls of binary boolean operations).\n *\n * Analysis doc §4.2: fuse/cut/intersect must pass subShapeHashes(A) ∪ subShapeHashes(B)\n * to track both inputs' face evolution.\n * @param kernel - the OCCT kernel.\n * @param shapeA - the first input shape.\n * @param shapeB - the second input shape.\n * @returns the union of the two shapes' face hashes.\n */\nexport function getUnionFaceHashes(\n  kernel: BrepEngineApi,\n  shapeA: BrepHandle,\n  shapeB: BrepHandle,\n): number[] {\n  const hashesA = getFaceHashes(kernel, shapeA)\n  const hashesB = getFaceHashes(kernel, shapeB)\n  return [...new Set([...hashesA, ...hashesB])]\n}\n\n/**\n * 解码 BrepEvolutionData 的 modified 数组为 ordinal 映射。\n *\n * modified 分段编码格式：[inputHash, count, outHash1, outHash2, ...] × N\n *\n * @param kernel      the OCCT kernel.\n * @param evo         the BrepEvolutionData (from a *WithHistory API).\n * @param inputShape  the input shape (for the input face hash → ordinal mapping).\n * @param resultShape the result shape (for the output face hash → ordinal mapping).\n * @returns the FaceEvolution: inOrdinal → outOrdinal[].\n */\nexport function decodeEvolution(\n  kernel: BrepEngineApi,\n  evo: BrepEvolutionData,\n  inputShape: BrepHandle,\n  resultShape: BrepHandle,\n): FaceEvolution {\n  const inputHashes = getFaceHashes(kernel, inputShape)\n  const resultHashes = getFaceHashes(kernel, resultShape)\n\n  // 构建 hash → ordinal 查找表\n  const resultHashToOrdinal = new Map<number, number>()\n  for (let i = 0; i < resultHashes.length; i++) {\n    resultHashToOrdinal.set(resultHashes[i], i)\n  }\n  const inputHashToOrdinal = new Map<number, number>()\n  for (let i = 0; i < inputHashes.length; i++) {\n    inputHashToOrdinal.set(inputHashes[i], i)\n  }\n\n  // 解码 modified 数组\n  const evolution: FaceEvolution = new Map()\n  const modified = evo.modified\n  let idx = 0\n  while (idx < modified.length) {\n    const inHash = modified[idx]\n    const count = modified[idx + 1]\n    const outOrdinals: number[] = []\n    for (let j = 0; j < count; j++) {\n      const outHash = modified[idx + 2 + j]\n      const outOrdinal = resultHashToOrdinal.get(outHash)\n      if (outOrdinal !== undefined) {\n        outOrdinals.push(outOrdinal)\n      }\n    }\n    const inOrdinal = inputHashToOrdinal.get(inHash)\n    if (inOrdinal !== undefined) {\n      evolution.set(inOrdinal, outOrdinals)\n    }\n    idx += 2 + count\n  }\n\n  return evolution\n}\n\n\n/**\n * Hash 键面演化：输入面 hash → 输出面 hash 列表（1→多分裂时多个）。\n *\n * 与序号键 FaceEvolution 并列、同源（同一次 *WithHistory 打包结果解出），\n * 一个供 role 传播（hash 键）、一个供选择器/文本（序号键），零额外 wasm 调用。\n */\nexport interface HashEvolution {\n  /** 输入面 hash → 输出面 hash 列表（1→多分裂时多个）。 */\n  readonly modified: ReadonlyMap<number, readonly number[]>\n  /** 输入面中已不存在的面 hash。 */\n  readonly deleted: ReadonlySet<number>\n}\n\n/**\n * 把 BrepEvolutionData 解码为 hash 键演化（§2.4）。\n *\n * modified 分段编码格式：[inHash, count, outHash1, ...] × N —— 本身就是\n * hash→hash[] 的 1→多映射，直接按同一格式解出 hash 键版本，不需要\n * getSubShapes 逐句柄 hashCode，也不分配任何句柄。\n *\n * generated 刻意不进 role 传播（§1.3 事实：occt 系 generated hash 指向中间形、\n * 对布尔实测 0 个存活），生成面改由 DerivedFaceTopoRef 以 lineage 命名。\n *\n * @param evo - the BrepEvolutionData (from a *WithHistory API).\n * @returns the hash-keyed evolution.\n */\nexport function decodeHashEvolution(evo: BrepEvolutionData): HashEvolution {\n  const modified = new Map<number, number[]>()\n  const m = evo.modified\n  let idx = 0\n  while (idx < m.length) {\n    const inHash = m[idx]\n    const count = m[idx + 1]\n    const outHashes: number[] = []\n    for (let j = 0; j < count; j++) {\n      outHashes.push(m[idx + 2 + j])\n    }\n    modified.set(inHash, outHashes)\n    idx += 2 + count\n  }\n  return { modified, deleted: new Set(evo.deleted) }\n}\n\n/**\n * 把一次双输入布尔（cut/fuse/intersect）的打包演化按「inHash 属于 A 还是 B」\n * 拆成 A、B 两张 hash 演化（§3.4 布尔合流，faijs 对 brepjs 的必要扩展）。\n *\n * 现有 *WithHistoryBrep 包装只用 getUnionFaceHashes 传入 A∪B 两边 hash、且只对\n * 基体 a 解码序号演化。本函数对同一份 evo 零额外内核调用：用 subShapeHashes(a)\n * / subShapeHashes(b) 两个集合判定每个 inHash 的归属，各自传播各自的 role 表。\n *\n * @param evo     - the BrepEvolutionData (from a binary boolean *WithHistory API).\n * @param hashesA - the face hashes of input A (target), via subShapeHashes.\n * @param hashesB - the face hashes of input B (tool), via subShapeHashes.\n * @returns the A/B split hash evolutions (faces from neither input are dropped).\n */\nexport function splitHashEvolutionByOrigin(\n  evo: BrepEvolutionData,\n  hashesA: readonly number[],\n  hashesB: readonly number[],\n): { a: HashEvolution; b: HashEvolution } {\n  const raw = decodeHashEvolution(evo)\n  const setA = new Set(hashesA)\n  const setB = new Set(hashesB)\n\n  const aModified = new Map<number, number[]>()\n  const bModified = new Map<number, number[]>()\n  for (const [inHash, outs] of raw.modified) {\n    if (setA.has(inHash)) aModified.set(inHash, [...outs])\n    else if (setB.has(inHash)) bModified.set(inHash, [...outs])\n  }\n\n  const aDeleted = new Set<number>()\n  const bDeleted = new Set<number>()\n  for (const h of raw.deleted) {\n    if (setA.has(h)) aDeleted.add(h)\n    else if (setB.has(h)) bDeleted.add(h)\n  }\n\n  return { a: { modified: aModified, deleted: aDeleted }, b: { modified: bModified, deleted: bDeleted } }\n}\n\n/**\n * 构造 hash 键恒等演化（§2.4：变换类 translate/rotate/scale/copy 用）。\n *\n * 刚体变换/深拷贝不改变面数量与顺序：输入第 i 面 hash → 输出第 i 面 hash，\n * 用 subShapeHashes 两端对齐合成 hash 恒等（避免调用 *WithHistory 的签名兼容问题）。\n *\n * @param kernel       - the OCCT kernel.\n * @param inputShape   - the input shape.\n * @param resultShape  - the transformed/copied output shape.\n * @returns the hash identity evolution (modified: in[i] → [out[i]]).\n */\nexport function identityHashEvolution(\n  kernel: BrepEngineApi,\n  inputShape: BrepHandle,\n  resultShape: BrepHandle,\n): HashEvolution {\n  const inputHashes = getFaceHashes(kernel, inputShape)\n  const resultHashes = getFaceHashes(kernel, resultShape)\n  const count = Math.min(inputHashes.length, resultHashes.length)\n  const modified = new Map<number, number[]>()\n  for (let i = 0; i < count; i++) {\n    modified.set(inputHashes[i], [resultHashes[i]])\n  }\n  return { modified, deleted: new Set() }\n}\n\n/**\n * 双输入布尔 + roleTable 合流组合封装（§3.4，stdlib boolean 链式调用用）。\n *\n * 一次 *WithHistory 内核调用同时产出：\n * - result：结果实体\n * - faceEvolution：序号键演化（进 faceEvolutionCache，服务选择器/可视化）\n * - roleTable：A/B 两侧 role 表各自传播后合并（进 roleTableCache，服务命名）\n *\n * 缝面（generated）刻意不进 role 传播（§1.3/R2：generated hash 指向中间形、\n * 实测 0 存活），以本次语句 LHS 为 outPart 新 origin 的位置名由调用方决定。\n *\n * @param kernel  - the OCCT kernel.\n * @param op      - the boolean operation ('fuse' | 'cut' | 'intersect').\n * @param a       - the target shape.\n * @param b       - the tool shape.\n * @param tableA  - the target's role table.\n * @param tableB  - the tool's role table.\n * @param outPart - the boolean statement's LHS variable name (new origin for seam faces).\n * @returns the result handle, ordinal evolution and merged role table.\n */\nexport function booleanWithRoleTable(\n  kernel: BrepEngineApi,\n  op: 'fuse' | 'cut' | 'intersect',\n  a: BrepHandle,\n  b: BrepHandle,\n  tableA: ReadonlyMap<unknown, unknown>,\n  tableB: ReadonlyMap<unknown, unknown>,\n  outPart: string,\n): { result: BrepHandle; faceEvolution: FaceEvolution; roleTable: ReadonlyMap<unknown, unknown> } {\n  const inputHashes = getUnionFaceHashes(kernel, a, b)\n  let evo: BrepEvolutionData\n  if (op === 'fuse') evo = kernel.fuseWithHistory(a, b, inputHashes, HASH_UPPER_BOUND)\n  else if (op === 'cut') evo = kernel.cutWithHistory(a, b, inputHashes, HASH_UPPER_BOUND)\n  else evo = kernel.intersectWithHistory(a, b, inputHashes, HASH_UPPER_BOUND)\n\n  const faceEvolution = decodeEvolution(kernel, evo, a, evo.result)\n\n  // A/B 拆流 → 各自传播 → 合表（§3.4）\n  const hashesA = getFaceHashes(kernel, a)\n  const hashesB = getFaceHashes(kernel, b)\n  const { a: evoA, b: evoB } = splitHashEvolutionByOrigin(evo, hashesA, hashesB)\n  const merged = mergeRoleTablesLocal(tableA, evoA, tableB, evoB, outPart)\n\n  return { result: evo.result, faceEvolution, roleTable: merged }\n}\n\n/** 合表（避免 naming/roles 循环依赖：本文件不 import naming，用结构等价实现）。 */\nfunction mergeRoleTablesLocal(\n  tableA: ReadonlyMap<unknown, unknown>,\n  evoA: HashEvolution,\n  tableB: ReadonlyMap<unknown, unknown>,\n  evoB: HashEvolution,\n  outPart: string,\n): ReadonlyMap<unknown, unknown> {\n  const result = new Map<unknown, unknown>()\n  for (const [origin, roles] of tableA) {\n    result.set(origin, propagateOriginRoles(roles as ReadonlyMap<string, readonly number[]>, evoA))\n  }\n  for (const [origin, roles] of tableB) {\n    const existing = result.get(origin) as ReadonlyMap<string, readonly number[]> | undefined\n    const advanced = propagateOriginRoles(roles as ReadonlyMap<string, readonly number[]>, evoB)\n    if (existing) {\n      const merged = new Map<string, number[]>()\n      for (const [role, hs] of existing) merged.set(role, [...hs])\n      for (const [role, hs] of advanced) {\n        const prev = merged.get(role)\n        merged.set(role, prev ? [...new Set([...prev, ...hs])] : [...hs])\n      }\n      result.set(origin, merged)\n    } else {\n      result.set(origin, advanced)\n    }\n  }\n  // 缝面位置名：调用方决定是否补（generated 不可靠，默认不补）\n  void outPart\n  return result\n}\n\n/** 单 origin 传播（结构等价于 naming/roles.propagateRoles，避免循环依赖）。 */\nfunction propagateOriginRoles(\n  roles: ReadonlyMap<string, readonly number[]>,\n  evolution: HashEvolution,\n): ReadonlyMap<string, readonly number[]> {\n  const updated = new Map<string, number[]>()\n  for (const [role, hashes] of roles) {\n    const successors: number[] = []\n    for (const hash of hashes) {\n      if (evolution.deleted.has(hash)) continue\n      const modified = evolution.modified.get(hash)\n      const targets = modified !== undefined && modified.length > 0 ? modified : [hash]\n      for (const h of targets) if (!successors.includes(h)) successors.push(h)\n    }\n    if (successors.length > 0) updated.set(role, successors)\n  }\n  return updated\n}\n\n/**\n * Decode a BrepEvolutionData deleted array into the ordinal list of deleted faces.\n * @param kernel     - the OCCT kernel.\n * @param evo        - the BrepEvolutionData (from a *WithHistory API).\n * @param inputShape - the input shape (for the hash → ordinal mapping).\n * @returns the array of deleted face ordinals.\n */\nexport function decodeDeleted(\n  kernel: BrepEngineApi,\n  evo: BrepEvolutionData,\n  inputShape: BrepHandle,\n): number[] {\n  const inputHashes = getFaceHashes(kernel, inputShape)\n  const inputHashToOrdinal = new Map<number, number>()\n  for (let i = 0; i < inputHashes.length; i++) {\n    inputHashToOrdinal.set(inputHashes[i], i)\n  }\n\n  const deletedOrdinals: number[] = []\n  for (const hash of evo.deleted) {\n    const ordinal = inputHashToOrdinal.get(hash)\n    if (ordinal !== undefined) {\n      deletedOrdinals.push(ordinal)\n    }\n  }\n  return deletedOrdinals\n}\n\n// ─── WithHistory 封装函数 ───\n\n/**\n * cutWithHistory 封装：执行切割并返回结果 + 面演化映射。\n *\n * @param kernel OCCT 内核\n * @param a 基体\n * @param b 工具（从基体中减去）\n * @returns { result: 结果 BrepHandle, faceEvolution: 面演化映射 }\n */\nexport function cutWithHistoryBrep(\n  kernel: BrepEngineApi,\n  a: BrepHandle,\n  b: BrepHandle,\n): { result: BrepHandle; faceEvolution: FaceEvolution } {\n  const inputHashes = getUnionFaceHashes(kernel, a, b)\n  const evo = kernel.cutWithHistory(a, b, inputHashes, HASH_UPPER_BOUND)\n  const faceEvolution = decodeEvolution(kernel, evo, a, evo.result)\n  return { result: evo.result, faceEvolution }\n}\n\n/**\n * fuseWithHistory wrapper: performs the fuse and returns the result plus the face evolution mapping.\n * @param kernel - the OCCT kernel.\n * @param a - the base shape.\n * @param b - the tool shape to fuse into the base.\n * @returns the result BrepHandle plus the face evolution mapping.\n */\nexport function fuseWithHistoryBrep(\n  kernel: BrepEngineApi,\n  a: BrepHandle,\n  b: BrepHandle,\n): { result: BrepHandle; faceEvolution: FaceEvolution } {\n  const inputHashes = getUnionFaceHashes(kernel, a, b)\n  const evo = kernel.fuseWithHistory(a, b, inputHashes, HASH_UPPER_BOUND)\n  const faceEvolution = decodeEvolution(kernel, evo, a, evo.result)\n  return { result: evo.result, faceEvolution }\n}\n\n/**\n * intersectWithHistory wrapper: performs the intersection and returns the result plus the face evolution mapping.\n * @param kernel - the OCCT kernel.\n * @param a - the first input shape.\n * @param b - the second input shape.\n * @returns the result BrepHandle plus the face evolution mapping.\n */\nexport function intersectWithHistoryBrep(\n  kernel: BrepEngineApi,\n  a: BrepHandle,\n  b: BrepHandle,\n): { result: BrepHandle; faceEvolution: FaceEvolution } {\n  const inputHashes = getUnionFaceHashes(kernel, a, b)\n  const evo = kernel.intersectWithHistory(a, b, inputHashes, HASH_UPPER_BOUND)\n  const faceEvolution = decodeEvolution(kernel, evo, a, evo.result)\n  return { result: evo.result, faceEvolution }\n}\n\n// ─── 变换操作面演化 ───\n\n/**\n * 构造恒等面演化映射（用于 translate/rotate/scale 等不改变拓扑的操作）。\n *\n * 变换操作不改变面的数量和顺序，每个面 ordinal i → [i]。\n * 避免调用 *WithHistory API（rotate/scale 的 WithHistory 签名与现有 Euler/Vec3 参数不兼容）。\n *\n * @param kernel OCCT 内核\n * @param shape 输入形状（用于获取面数量）\n * @returns 恒等 FaceEvolution\n */\nexport function identityEvolution(\n  kernel: BrepEngineApi,\n  shape: BrepHandle,\n): FaceEvolution {\n  const faceCount = getFaceHashes(kernel, shape).length\n  const evolution: FaceEvolution = new Map()\n  for (let i = 0; i < faceCount; i++) {\n    evolution.set(i, [i])\n  }\n  return evolution\n}\n\n// ─── directEdit WithHistory 封装（fillet / chamfer：单输入） ───\n\n/**\n * 单输入 directEdit（fillet/chamfer）+ roleTable 传播封装。\n *\n * 与 `booleanWithRoleTable`（双输入）对应：单输入只有一张输入 role 表，\n * 一次 `*WithHistory` 内核调用产出结果 + 面演化，沿 hash 演化推进所有 origin。\n *\n * generated 刻意不进 role 传播（§1.3 事实：generated hash 指向中间形，\n * 实测 0 存活），过渡面的命名由 DerivedFaceTopoRef 在 M2 处理。\n *\n * @param kernel          - the OCCT kernel.\n * @param op              - the directEdit operation ('fillet' | 'chamfer').\n * @param solid          - the input solid (single input, unlike boolean's a/b).\n * @param edgeHandles     - the resolved Edge handles to fillet/chamfer.\n * @param radius          - the fillet radius or chamfer distance (uniform only).\n * @param inputRoleTable  - the input's role table.\n * @param outPart         - the statement's LHS variable name (for new origin allocation).\n * @returns the result handle, ordinal evolution and propagated role table.\n */\nexport function directEditWithRoleTable(\n  kernel: BrepEngineApi,\n  op: 'fillet' | 'chamfer',\n  solid: BrepHandle,\n  edgeHandles: BrepHandle[],\n  radius: number,\n  inputRoleTable: ReadonlyMap<unknown, unknown>,\n  outPart: string,\n): { result: BrepHandle; faceEvolution: FaceEvolution; roleTable: ReadonlyMap<unknown, unknown> } {\n  const inputHashes = getFaceHashes(kernel, solid)\n  let evo: BrepEvolutionData\n  if (op === 'fillet') {\n    evo = kernel.filletWithHistory(solid, edgeHandles, radius, inputHashes, HASH_UPPER_BOUND)\n  } else {\n    evo = kernel.chamferWithHistory(solid, edgeHandles, radius, inputHashes, HASH_UPPER_BOUND)\n  }\n\n  const faceEvolution = decodeEvolution(kernel, evo, solid, evo.result)\n  const hashEvo = decodeHashEvolution(evo)\n  const roleTable = propagateAllOriginsLocal(inputRoleTable, hashEvo)\n\n  // outPart used for new-origin allocation in M2 (derived faces); M1 does not\n  // generate positional roles for transition faces.\n  void outPart\n\n  return { result: evo.result, faceEvolution, roleTable }\n}\n\n/**\n * 单输入 directEdit 的便捷别名：fillet。\n *\n * @param kernel          - the OCCT kernel.\n * @param solid          - the input solid.\n * @param edgeHandles     - the resolved Edge handles.\n * @param radius          - the fillet radius (uniform).\n * @param inputRoleTable  - the input's role table.\n * @param outPart         - the statement's LHS variable name.\n * @returns the result handle, ordinal evolution and propagated role table.\n */\nexport function filletWithRoleTable(\n  kernel: BrepEngineApi,\n  solid: BrepHandle,\n  edgeHandles: BrepHandle[],\n  radius: number,\n  inputRoleTable: ReadonlyMap<unknown, unknown>,\n  outPart: string,\n): { result: BrepHandle; faceEvolution: FaceEvolution; roleTable: ReadonlyMap<unknown, unknown> } {\n  return directEditWithRoleTable(kernel, 'fillet', solid, edgeHandles, radius, inputRoleTable, outPart)\n}\n\n/**\n * 单输入 directEdit 的便捷别名：chamfer。\n *\n * @param kernel          - the OCCT kernel.\n * @param solid          - the input solid.\n * @param edgeHandles     - the resolved Edge handles.\n * @param distance        - the chamfer distance (uniform).\n * @param inputRoleTable  - the input's role table.\n * @param outPart         - the statement's LHS variable name.\n * @returns the result handle, ordinal evolution and propagated role table.\n */\nexport function chamferWithRoleTable(\n  kernel: BrepEngineApi,\n  solid: BrepHandle,\n  edgeHandles: BrepHandle[],\n  distance: number,\n  inputRoleTable: ReadonlyMap<unknown, unknown>,\n  outPart: string,\n): { result: BrepHandle; faceEvolution: FaceEvolution; roleTable: ReadonlyMap<unknown, unknown> } {\n  return directEditWithRoleTable(kernel, 'chamfer', solid, edgeHandles, distance, inputRoleTable, outPart)\n}\n\n/** 单输入 roleTable 传播（结构等价于 naming/roles.propagateAllOrigins，避免循环依赖）。 */\nfunction propagateAllOriginsLocal(\n  roles: ReadonlyMap<unknown, unknown>,\n  evolution: HashEvolution,\n): ReadonlyMap<unknown, unknown> {\n  const result = new Map<unknown, unknown>()\n  for (const [origin, originRoles] of roles) {\n    result.set(origin, propagateOriginRoles(originRoles as ReadonlyMap<string, readonly number[]>, evolution))\n  }\n  return result\n}\n"]}
+{"version":3,"file":"face-evolution.js","sourceRoot":"","sources":["../../src/brep/face-evolution.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AAKH,wDAAwD;AACxD,MAAM,CAAC,MAAM,gBAAgB,GAAG,UAAU,CAAA;AAW1C;;;;;GAKG;AACH,MAAM,UAAU,aAAa,CAAC,MAAqB,EAAE,KAAiB;IACpE,OAAO,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,cAAc,CAAC,KAAK,EAAE,MAAM,EAAE,gBAAgB,CAAC,CAAC,CAAA;AAC3E,CAAC;AAED;;;;;;;;;GASG;AACH,MAAM,UAAU,kBAAkB,CAChC,MAAqB,EACrB,MAAkB,EAClB,MAAkB;IAElB,MAAM,OAAO,GAAG,aAAa,CAAC,MAAM,EAAE,MAAM,CAAC,CAAA;IAC7C,MAAM,OAAO,GAAG,aAAa,CAAC,MAAM,EAAE,MAAM,CAAC,CAAA;IAC7C,OAAO,CAAC,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,OAAO,EAAE,GAAG,OAAO,CAAC,CAAC,CAAC,CAAA;AAC/C,CAAC;AAED;;;;;;;;;;GAUG;AACH,MAAM,UAAU,eAAe,CAC7B,MAAqB,EACrB,GAAsB,EACtB,UAAsB,EACtB,WAAuB;IAEvB,MAAM,WAAW,GAAG,aAAa,CAAC,MAAM,EAAE,UAAU,CAAC,CAAA;IACrD,MAAM,YAAY,GAAG,aAAa,CAAC,MAAM,EAAE,WAAW,CAAC,CAAA;IAEvD,wBAAwB;IACxB,MAAM,mBAAmB,GAAG,IAAI,GAAG,EAAkB,CAAA;IACrD,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,YAAY,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QAC7C,mBAAmB,CAAC,GAAG,CAAC,YAAY,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAA;IAC7C,CAAC;IACD,MAAM,kBAAkB,GAAG,IAAI,GAAG,EAAkB,CAAA;IACpD,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,WAAW,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QAC5C,kBAAkB,CAAC,GAAG,CAAC,WAAW,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAA;IAC3C,CAAC;IAED,iBAAiB;IACjB,MAAM,SAAS,GAAkB,IAAI,GAAG,EAAE,CAAA;IAC1C,MAAM,QAAQ,GAAG,GAAG,CAAC,QAAQ,CAAA;IAC7B,IAAI,GAAG,GAAG,CAAC,CAAA;IACX,OAAO,GAAG,GAAG,QAAQ,CAAC,MAAM,EAAE,CAAC;QAC7B,MAAM,MAAM,GAAG,QAAQ,CAAC,GAAG,CAAC,CAAA;QAC5B,MAAM,KAAK,GAAG,QAAQ,CAAC,GAAG,GAAG,CAAC,CAAC,CAAA;QAC/B,MAAM,WAAW,GAAa,EAAE,CAAA;QAChC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,EAAE,CAAC,EAAE,EAAE,CAAC;YAC/B,MAAM,OAAO,GAAG,QAAQ,CAAC,GAAG,GAAG,CAAC,GAAG,CAAC,CAAC,CAAA;YACrC,MAAM,UAAU,GAAG,mBAAmB,CAAC,GAAG,CAAC,OAAO,CAAC,CAAA;YACnD,IAAI,UAAU,KAAK,SAAS,EAAE,CAAC;gBAC7B,WAAW,CAAC,IAAI,CAAC,UAAU,CAAC,CAAA;YAC9B,CAAC;QACH,CAAC;QACD,MAAM,SAAS,GAAG,kBAAkB,CAAC,GAAG,CAAC,MAAM,CAAC,CAAA;QAChD,IAAI,SAAS,KAAK,SAAS,EAAE,CAAC;YAC5B,SAAS,CAAC,GAAG,CAAC,SAAS,EAAE,WAAW,CAAC,CAAA;QACvC,CAAC;QACD,GAAG,IAAI,CAAC,GAAG,KAAK,CAAA;IAClB,CAAC;IAED,OAAO,SAAS,CAAA;AAClB,CAAC;AAgBD;;;;;;;;;;;;;;;GAeG;AACH,MAAM,UAAU,mBAAmB,CAAC,GAAsB;IACxD,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAoB,CAAA;IAC5C,MAAM,CAAC,GAAG,GAAG,CAAC,QAAQ,CAAA;IACtB,IAAI,GAAG,GAAG,CAAC,CAAA;IACX,OAAO,GAAG,GAAG,CAAC,CAAC,MAAM,EAAE,CAAC;QACtB,MAAM,MAAM,GAAG,CAAC,CAAC,GAAG,CAAC,CAAA;QACrB,MAAM,KAAK,GAAG,CAAC,CAAC,GAAG,GAAG,CAAC,CAAC,CAAA;QACxB,MAAM,SAAS,GAAa,EAAE,CAAA;QAC9B,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,EAAE,CAAC,EAAE,EAAE,CAAC;YAC/B,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,CAAA;QAChC,CAAC;QACD,QAAQ,CAAC,GAAG,CAAC,MAAM,EAAE,SAAS,CAAC,CAAA;QAC/B,GAAG,IAAI,CAAC,GAAG,KAAK,CAAA;IAClB,CAAC;IACD,OAAO,EAAE,QAAQ,EAAE,OAAO,EAAE,IAAI,GAAG,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,CAAA;AACpD,CAAC;AAED;;;;;;;;;;;;GAYG;AACH,MAAM,UAAU,0BAA0B,CACxC,GAAsB,EACtB,OAA0B,EAC1B,OAA0B;IAE1B,MAAM,GAAG,GAAG,mBAAmB,CAAC,GAAG,CAAC,CAAA;IACpC,MAAM,IAAI,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,CAAA;IAC7B,MAAM,IAAI,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,CAAA;IAE7B,MAAM,SAAS,GAAG,IAAI,GAAG,EAAoB,CAAA;IAC7C,MAAM,SAAS,GAAG,IAAI,GAAG,EAAoB,CAAA;IAC7C,KAAK,MAAM,CAAC,MAAM,EAAE,IAAI,CAAC,IAAI,GAAG,CAAC,QAAQ,EAAE,CAAC;QAC1C,IAAI,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC;YAAE,SAAS,CAAC,GAAG,CAAC,MAAM,EAAE,CAAC,GAAG,IAAI,CAAC,CAAC,CAAA;aACjD,IAAI,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC;YAAE,SAAS,CAAC,GAAG,CAAC,MAAM,EAAE,CAAC,GAAG,IAAI,CAAC,CAAC,CAAA;IAC7D,CAAC;IAED,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAU,CAAA;IAClC,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAU,CAAA;IAClC,KAAK,MAAM,CAAC,IAAI,GAAG,CAAC,OAAO,EAAE,CAAC;QAC5B,IAAI,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;YAAE,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,CAAA;aAC3B,IAAI,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;YAAE,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,CAAA;IACvC,CAAC;IAED,OAAO,EAAE,CAAC,EAAE,EAAE,QAAQ,EAAE,SAAS,EAAE,OAAO,EAAE,QAAQ,EAAE,EAAE,CAAC,EAAE,EAAE,QAAQ,EAAE,SAAS,EAAE,OAAO,EAAE,QAAQ,EAAE,EAAE,CAAA;AACzG,CAAC;AAED;;;;;;;;;;;;;;;;;;;;;;;;GAwBG;AACH,MAAM,UAAU,qBAAqB,CACnC,MAAqB,EACrB,UAAsB,EACtB,WAAuB;IAEvB,MAAM,WAAW,GAAG,aAAa,CAAC,MAAM,EAAE,UAAU,CAAC,CAAA;IACrD,MAAM,YAAY,GAAG,aAAa,CAAC,MAAM,EAAE,WAAW,CAAC,CAAA;IACvD,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,WAAW,CAAC,MAAM,EAAE,YAAY,CAAC,MAAM,CAAC,CAAA;IAC/D,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAoB,CAAA;IAC5C,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,EAAE,CAAC,EAAE,EAAE,CAAC;QAC/B,QAAQ,CAAC,GAAG,CAAC,WAAW,CAAC,CAAC,CAAC,EAAE,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,CAAC,CAAA;IACjD,CAAC;IACD,OAAO,EAAE,QAAQ,EAAE,OAAO,EAAE,IAAI,GAAG,EAAE,EAAE,CAAA;AACzC,CAAC;AAED;;;;;;;;;;;;GAYG;AACH,MAAM,UAAU,0BAA0B,CACxC,MAAqB,EACrB,KAAiB,EACjB,CAAoC;IAEpC,MAAM,WAAW,GAAG,aAAa,CAAC,MAAM,EAAE,KAAK,CAAC,CAAA;IAChD,MAAM,GAAG,GAAG,MAAM,CAAC,oBAAoB,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,WAAW,EAAE,gBAAgB,CAAC,CAAA;IAC/F,OAAO,EAAE,MAAM,EAAE,GAAG,CAAC,MAAM,EAAE,SAAS,EAAE,mBAAmB,CAAC,GAAG,CAAC,EAAE,CAAA;AACpE,CAAC;AAED;;;;;;;;;;;;GAYG;AACH,MAAM,UAAU,sBAAsB,CACpC,MAAqB,EACrB,KAAiB,EACjB,MAAyC,EACzC,MAAc;IAEd,MAAM,WAAW,GAAG,aAAa,CAAC,MAAM,EAAE,KAAK,CAAC,CAAA;IAChD,MAAM,GAAG,GAAG,MAAM,CAAC,gBAAgB,CACjC,KAAK,EACL,EAAE,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC,EAAE,EAC5C,MAAM,EACN,WAAW,EACX,gBAAgB,CACjB,CAAA;IACD,OAAO,EAAE,MAAM,EAAE,GAAG,CAAC,MAAM,EAAE,SAAS,EAAE,mBAAmB,CAAC,GAAG,CAAC,EAAE,CAAA;AACpE,CAAC;AAED;;;;;;;;;;;;;;;;;;;;GAoBG;AACH,MAAM,UAAU,oBAAoB,CAClC,MAAqB,EACrB,EAAgC,EAChC,CAAa,EACb,CAAa,EACb,MAAqC,EACrC,MAAqC,EACrC,OAAe;IAEf,MAAM,WAAW,GAAG,kBAAkB,CAAC,MAAM,EAAE,CAAC,EAAE,CAAC,CAAC,CAAA;IACpD,IAAI,GAAsB,CAAA;IAC1B,IAAI,EAAE,KAAK,MAAM;QAAE,GAAG,GAAG,MAAM,CAAC,eAAe,CAAC,CAAC,EAAE,CAAC,EAAE,WAAW,EAAE,gBAAgB,CAAC,CAAA;SAC/E,IAAI,EAAE,KAAK,KAAK;QAAE,GAAG,GAAG,MAAM,CAAC,cAAc,CAAC,CAAC,EAAE,CAAC,EAAE,WAAW,EAAE,gBAAgB,CAAC,CAAA;;QAClF,GAAG,GAAG,MAAM,CAAC,oBAAoB,CAAC,CAAC,EAAE,CAAC,EAAE,WAAW,EAAE,gBAAgB,CAAC,CAAA;IAE3E,MAAM,aAAa,GAAG,eAAe,CAAC,MAAM,EAAE,GAAG,EAAE,CAAC,EAAE,GAAG,CAAC,MAAM,CAAC,CAAA;IAEjE,2BAA2B;IAC3B,MAAM,OAAO,GAAG,aAAa,CAAC,MAAM,EAAE,CAAC,CAAC,CAAA;IACxC,MAAM,OAAO,GAAG,aAAa,CAAC,MAAM,EAAE,CAAC,CAAC,CAAA;IACxC,MAAM,EAAE,CAAC,EAAE,IAAI,EAAE,CAAC,EAAE,IAAI,EAAE,GAAG,0BAA0B,CAAC,GAAG,EAAE,OAAO,EAAE,OAAO,CAAC,CAAA;IAC9E,MAAM,MAAM,GAAG,oBAAoB,CAAC,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,OAAO,CAAC,CAAA;IAExE,OAAO,EAAE,MAAM,EAAE,GAAG,CAAC,MAAM,EAAE,aAAa,EAAE,SAAS,EAAE,MAAM,EAAE,CAAA;AACjE,CAAC;AAED,2DAA2D;AAC3D,SAAS,oBAAoB,CAC3B,MAAqC,EACrC,IAAmB,EACnB,MAAqC,EACrC,IAAmB;AACnB,kHAAkH;AAClH,OAAe;IAEf,MAAM,MAAM,GAAG,IAAI,GAAG,EAAoB,CAAA;IAC1C,KAAK,MAAM,CAAC,MAAM,EAAE,KAAK,CAAC,IAAI,MAAM,EAAE,CAAC;QACrC,MAAM,CAAC,GAAG,CAAC,MAAM,EAAE,oBAAoB,CAAC,KAA+C,EAAE,IAAI,CAAC,CAAC,CAAA;IACjG,CAAC;IACD,KAAK,MAAM,CAAC,MAAM,EAAE,KAAK,CAAC,IAAI,MAAM,EAAE,CAAC;QACrC,MAAM,QAAQ,GAAG,MAAM,CAAC,GAAG,CAAC,MAAM,CAAuD,CAAA;QACzF,MAAM,QAAQ,GAAG,oBAAoB,CAAC,KAA+C,EAAE,IAAI,CAAC,CAAA;QAC5F,IAAI,QAAQ,EAAE,CAAC;YACb,MAAM,MAAM,GAAG,IAAI,GAAG,EAAoB,CAAA;YAC1C,KAAK,MAAM,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,QAAQ;gBAAE,MAAM,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC,GAAG,EAAE,CAAC,CAAC,CAAA;YAC5D,KAAK,MAAM,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,QAAQ,EAAE,CAAC;gBAClC,MAAM,IAAI,GAAG,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,CAAA;gBAC7B,MAAM,CAAC,GAAG,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,IAAI,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,CAAA;YACnE,CAAC;YACD,MAAM,CAAC,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,CAAA;QAC5B,CAAC;aAAM,CAAC;YACN,MAAM,CAAC,GAAG,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAA;QAC9B,CAAC;IACH,CAAC;IACD,kFAAkF;IAClF,4FAA4F;IAC5F,6EAA6E;IAC7E,OAAO,MAAM,CAAA;AACf,CAAC;AAED,6DAA6D;AAC7D,SAAS,oBAAoB,CAC3B,KAA6C,EAC7C,SAAwB;IAExB,MAAM,OAAO,GAAG,IAAI,GAAG,EAAoB,CAAA;IAC3C,KAAK,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,IAAI,KAAK,EAAE,CAAC;QACnC,MAAM,UAAU,GAAa,EAAE,CAAA;QAC/B,KAAK,MAAM,IAAI,IAAI,MAAM,EAAE,CAAC;YAC1B,IAAI,SAAS,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC;gBAAE,SAAQ;YACzC,MAAM,QAAQ,GAAG,SAAS,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,CAAA;YAC7C,MAAM,OAAO,GAAG,QAAQ,KAAK,SAAS,IAAI,QAAQ,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAA;YACjF,KAAK,MAAM,CAAC,IAAI,OAAO;gBAAE,IAAI,CAAC,UAAU,CAAC,QAAQ,CAAC,CAAC,CAAC;oBAAE,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,CAAA;QAC1E,CAAC;QACD,IAAI,UAAU,CAAC,MAAM,GAAG,CAAC;YAAE,OAAO,CAAC,GAAG,CAAC,IAAI,EAAE,UAAU,CAAC,CAAA;IAC1D,CAAC;IACD,OAAO,OAAO,CAAA;AAChB,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,aAAa,CAC3B,MAAqB,EACrB,GAAsB,EACtB,UAAsB;IAEtB,MAAM,WAAW,GAAG,aAAa,CAAC,MAAM,EAAE,UAAU,CAAC,CAAA;IACrD,MAAM,kBAAkB,GAAG,IAAI,GAAG,EAAkB,CAAA;IACpD,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,WAAW,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QAC5C,kBAAkB,CAAC,GAAG,CAAC,WAAW,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAA;IAC3C,CAAC;IAED,MAAM,eAAe,GAAa,EAAE,CAAA;IACpC,KAAK,MAAM,IAAI,IAAI,GAAG,CAAC,OAAO,EAAE,CAAC;QAC/B,MAAM,OAAO,GAAG,kBAAkB,CAAC,GAAG,CAAC,IAAI,CAAC,CAAA;QAC5C,IAAI,OAAO,KAAK,SAAS,EAAE,CAAC;YAC1B,eAAe,CAAC,IAAI,CAAC,OAAO,CAAC,CAAA;QAC/B,CAAC;IACH,CAAC;IACD,OAAO,eAAe,CAAA;AACxB,CAAC;AAED,2BAA2B;AAE3B;;;;;;;GAOG;AACH,MAAM,UAAU,kBAAkB,CAChC,MAAqB,EACrB,CAAa,EACb,CAAa;IAEb,MAAM,WAAW,GAAG,kBAAkB,CAAC,MAAM,EAAE,CAAC,EAAE,CAAC,CAAC,CAAA;IACpD,MAAM,GAAG,GAAG,MAAM,CAAC,cAAc,CAAC,CAAC,EAAE,CAAC,EAAE,WAAW,EAAE,gBAAgB,CAAC,CAAA;IACtE,MAAM,aAAa,GAAG,eAAe,CAAC,MAAM,EAAE,GAAG,EAAE,CAAC,EAAE,GAAG,CAAC,MAAM,CAAC,CAAA;IACjE,OAAO,EAAE,MAAM,EAAE,GAAG,CAAC,MAAM,EAAE,aAAa,EAAE,CAAA;AAC9C,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,mBAAmB,CACjC,MAAqB,EACrB,CAAa,EACb,CAAa;IAEb,MAAM,WAAW,GAAG,kBAAkB,CAAC,MAAM,EAAE,CAAC,EAAE,CAAC,CAAC,CAAA;IACpD,MAAM,GAAG,GAAG,MAAM,CAAC,eAAe,CAAC,CAAC,EAAE,CAAC,EAAE,WAAW,EAAE,gBAAgB,CAAC,CAAA;IACvE,MAAM,aAAa,GAAG,eAAe,CAAC,MAAM,EAAE,GAAG,EAAE,CAAC,EAAE,GAAG,CAAC,MAAM,CAAC,CAAA;IACjE,OAAO,EAAE,MAAM,EAAE,GAAG,CAAC,MAAM,EAAE,aAAa,EAAE,CAAA;AAC9C,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,wBAAwB,CACtC,MAAqB,EACrB,CAAa,EACb,CAAa;IAEb,MAAM,WAAW,GAAG,kBAAkB,CAAC,MAAM,EAAE,CAAC,EAAE,CAAC,CAAC,CAAA;IACpD,MAAM,GAAG,GAAG,MAAM,CAAC,oBAAoB,CAAC,CAAC,EAAE,CAAC,EAAE,WAAW,EAAE,gBAAgB,CAAC,CAAA;IAC5E,MAAM,aAAa,GAAG,eAAe,CAAC,MAAM,EAAE,GAAG,EAAE,CAAC,EAAE,GAAG,CAAC,MAAM,CAAC,CAAA;IACjE,OAAO,EAAE,MAAM,EAAE,GAAG,CAAC,MAAM,EAAE,aAAa,EAAE,CAAA;AAC9C,CAAC;AAED,kBAAkB;AAElB;;;;;;;;;GASG;AACH,MAAM,UAAU,iBAAiB,CAC/B,MAAqB,EACrB,KAAiB;IAEjB,MAAM,SAAS,GAAG,aAAa,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC,MAAM,CAAA;IACrD,MAAM,SAAS,GAAkB,IAAI,GAAG,EAAE,CAAA;IAC1C,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,SAAS,EAAE,CAAC,EAAE,EAAE,CAAC;QACnC,SAAS,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAA;IACvB,CAAC;IACD,OAAO,SAAS,CAAA;AAClB,CAAC;AAED,0DAA0D;AAE1D;;;;;;;;;;;;;;;;;GAiBG;AACH,MAAM,UAAU,uBAAuB,CACrC,MAAqB,EACrB,EAAwB,EACxB,KAAiB,EACjB,WAAyB,EACzB,MAAc,EACd,cAA6C,EAC7C,OAAe;IAEf,MAAM,WAAW,GAAG,aAAa,CAAC,MAAM,EAAE,KAAK,CAAC,CAAA;IAChD,IAAI,GAAsB,CAAA;IAC1B,IAAI,EAAE,KAAK,QAAQ,EAAE,CAAC;QACpB,GAAG,GAAG,MAAM,CAAC,iBAAiB,CAAC,KAAK,EAAE,WAAW,EAAE,MAAM,EAAE,WAAW,EAAE,gBAAgB,CAAC,CAAA;IAC3F,CAAC;SAAM,CAAC;QACN,GAAG,GAAG,MAAM,CAAC,kBAAkB,CAAC,KAAK,EAAE,WAAW,EAAE,MAAM,EAAE,WAAW,EAAE,gBAAgB,CAAC,CAAA;IAC5F,CAAC;IAED,MAAM,aAAa,GAAG,eAAe,CAAC,MAAM,EAAE,GAAG,EAAE,KAAK,EAAE,GAAG,CAAC,MAAM,CAAC,CAAA;IACrE,MAAM,OAAO,GAAG,mBAAmB,CAAC,GAAG,CAAC,CAAA;IACxC,MAAM,UAAU,GAAG,wBAAwB,CAAC,cAAc,EAAE,OAAO,CAAC,CAAA;IAEpE,4EAA4E;IAC5E,oDAAoD;IACpD,6EAA6E;IAC7E,+EAA+E;IAC/E,MAAM,YAAY,GAAG,aAAa,CAAC,MAAM,EAAE,GAAG,CAAC,MAAM,CAAC,CAAA;IACtD,MAAM,YAAY,GAAG,IAAI,GAAG,CAAC,WAAW,CAAC,CAAA;IACzC,MAAM,oBAAoB,GAAG,IAAI,GAAG,EAAU,CAAA;IAC9C,KAAK,MAAM,IAAI,IAAI,OAAO,CAAC,QAAQ,CAAC,MAAM,EAAE,EAAE,CAAC;QAC7C,KAAK,MAAM,CAAC,IAAI,IAAI;YAAE,oBAAoB,CAAC,GAAG,CAAC,CAAC,CAAC,CAAA;IACnD,CAAC;IACD,MAAM,eAAe,GAAG,YAAY,CAAC,MAAM,CACzC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,oBAAoB,CAAC,GAAG,CAAC,CAAC,CAAC,CAC5D,CAAA;IAED,IAAI,eAAe,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC/B,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAoB,CAAA;QAC5C,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,eAAe,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;YAChD,QAAQ,CAAC,GAAG,CAAC,OAAO,EAAE,IAAI,CAAC,EAAE,EAAE,CAAC,eAAe,CAAC,CAAC,CAAE,CAAC,CAAC,CAAA;QACvD,CAAC;QACD,MAAM,SAAS,GAAG,IAAI,GAAG,CAAC,UAAU,CAAC,CAAA;QACrC,SAAS,CAAC,GAAG,CAAC,OAAO,EAAE,QAAQ,CAAC,CAAA;QAChC,OAAO,EAAE,MAAM,EAAE,GAAG,CAAC,MAAM,EAAE,aAAa,EAAE,SAAS,EAAE,CAAA;IACzD,CAAC;IAED,OAAO,EAAE,MAAM,EAAE,GAAG,CAAC,MAAM,EAAE,aAAa,EAAE,SAAS,EAAE,UAAU,EAAE,CAAA;AACrE,CAAC;AAED;;;;;;;;;;GAUG;AACH,MAAM,UAAU,mBAAmB,CACjC,MAAqB,EACrB,KAAiB,EACjB,WAAyB,EACzB,MAAc,EACd,cAA6C,EAC7C,OAAe;IAEf,OAAO,uBAAuB,CAAC,MAAM,EAAE,QAAQ,EAAE,KAAK,EAAE,WAAW,EAAE,MAAM,EAAE,cAAc,EAAE,OAAO,CAAC,CAAA;AACvG,CAAC;AAED;;;;;;;;;;GAUG;AACH,MAAM,UAAU,oBAAoB,CAClC,MAAqB,EACrB,KAAiB,EACjB,WAAyB,EACzB,QAAgB,EAChB,cAA6C,EAC7C,OAAe;IAEf,OAAO,uBAAuB,CAAC,MAAM,EAAE,SAAS,EAAE,KAAK,EAAE,WAAW,EAAE,QAAQ,EAAE,cAAc,EAAE,OAAO,CAAC,CAAA;AAC1G,CAAC;AAED;;;;;;;;;;;;GAYG;AACH,MAAM,UAAU,sBAAsB,CACpC,MAAqB,EACrB,KAAiB,EACjB,SAAqB,EACrB,cAA6C,EAC7C,OAAe;IAEf,MAAM,WAAW,GAAG,aAAa,CAAC,MAAM,EAAE,KAAK,CAAC,CAAA;IAChD,MAAM,GAAG,GAAG,MAAM,CAAC,cAAc,CAAC,KAAK,EAAE,SAAS,EAAE,WAAW,EAAE,gBAAgB,CAAC,CAAA;IAClF,MAAM,aAAa,GAAG,eAAe,CAAC,MAAM,EAAE,GAAG,EAAE,KAAK,EAAE,GAAG,CAAC,MAAM,CAAC,CAAA;IACrE,MAAM,OAAO,GAAG,mBAAmB,CAAC,GAAG,CAAC,CAAA;IACxC,MAAM,UAAU,GAAG,wBAAwB,CAAC,cAAc,EAAE,OAAO,CAAC,CAAA;IAEpE,qCAAqC;IACrC,MAAM,YAAY,GAAG,aAAa,CAAC,MAAM,EAAE,GAAG,CAAC,MAAM,CAAC,CAAA;IACtD,MAAM,YAAY,GAAG,IAAI,GAAG,CAAC,WAAW,CAAC,CAAA;IACzC,MAAM,oBAAoB,GAAG,IAAI,GAAG,EAAU,CAAA;IAC9C,KAAK,MAAM,IAAI,IAAI,OAAO,CAAC,QAAQ,CAAC,MAAM,EAAE,EAAE,CAAC;QAC7C,KAAK,MAAM,CAAC,IAAI,IAAI;YAAE,oBAAoB,CAAC,GAAG,CAAC,CAAC,CAAC,CAAA;IACnD,CAAC;IACD,MAAM,eAAe,GAAG,YAAY,CAAC,MAAM,CACzC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,oBAAoB,CAAC,GAAG,CAAC,CAAC,CAAC,CAC5D,CAAA;IAED,MAAM,SAAS,GAAG,IAAI,GAAG,CAAC,UAAU,CAAC,CAAA;IACrC,IAAI,eAAe,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC/B,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAoB,CAAA;QAC5C,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,eAAe,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;YAChD,QAAQ,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,EAAE,CAAC,eAAe,CAAC,CAAC,CAAE,CAAC,CAAC,CAAA;QAClD,CAAC;QACD,SAAS,CAAC,GAAG,CAAC,OAAO,EAAE,QAAQ,CAAC,CAAA;IAClC,CAAC;IACD,OAAO,EAAE,MAAM,EAAE,GAAG,CAAC,MAAM,EAAE,aAAa,EAAE,SAAS,EAAE,CAAA;AACzD,CAAC;AAED,uEAAuE;AACvE,SAAS,wBAAwB,CAC/B,KAAoC,EACpC,SAAwB;IAExB,MAAM,MAAM,GAAG,IAAI,GAAG,EAAoB,CAAA;IAC1C,KAAK,MAAM,CAAC,MAAM,EAAE,WAAW,CAAC,IAAI,KAAK,EAAE,CAAC;QAC1C,MAAM,CAAC,GAAG,CAAC,MAAM,EAAE,oBAAoB,CAAC,WAAqD,EAAE,SAAS,CAAC,CAAC,CAAA;IAC5G,CAAC;IACD,OAAO,MAAM,CAAA;AACf,CAAC","sourcesContent":["/**\n * 面演化（face evolution）工具：hash 映射 ↔ ordinal 映射转换\n *\n * See docs/api-contract.md §11 (topology contract) for face evolution context.\n *\n * occt-wasm 的 *WithHistory API 返回 BrepEvolutionData，其中 modified/generated\n * 用面 hash（内存指针哈希）编码。本模块将其解码为 ordinal 映射（面枚举序号），\n * 可安全持久化进 faijs 文本。\n *\n * 核心原理（分析文档 §4.4）：\n * getSubShapes(shape,'face')[i] ↔ subShapeHashes(shape,'face',B)[i] 一一对应\n * 因此可以把 hash 映射无损转换为 ordinal 映射。\n */\n\nimport type { BrepHandle, BrepEvolutionData } from './engine/types'\nimport type { BrepEngineApi } from './engine/primitives'\n\n/** hash 上界（与 occt-wasm kernel.cpp 一致：`% 2147483647`） */\nexport const HASH_UPPER_BOUND = 2147483647\n\n/**\n * 面演化映射：输入面 ordinal → 输出面 ordinal 列表\n *\n * - 1→1：面被修改但未被切割（如面带孔仍是单面）\n * - 1→N：面被切割成多个面\n * - 不在 map 中：面未被修改或被删除\n */\nexport type FaceEvolution = Map<number, number[]>\n\n/**\n * Collect the hash list of all faces of a shape (via subShapeHashes; efficient, no handles allocated).\n * @param kernel - the OCCT kernel.\n * @param shape - the shape whose face hashes to collect.\n * @returns the array of face hashes.\n */\nexport function getFaceHashes(kernel: BrepEngineApi, shape: BrepHandle): number[] {\n  return Array.from(kernel.subShapeHashes(shape, 'face', HASH_UPPER_BOUND))\n}\n\n/**\n * Collect the union of face hashes of two shapes (for WithHistory calls of binary boolean operations).\n *\n * Analysis doc §4.2: fuse/cut/intersect must pass subShapeHashes(A) ∪ subShapeHashes(B)\n * to track both inputs' face evolution.\n * @param kernel - the OCCT kernel.\n * @param shapeA - the first input shape.\n * @param shapeB - the second input shape.\n * @returns the union of the two shapes' face hashes.\n */\nexport function getUnionFaceHashes(\n  kernel: BrepEngineApi,\n  shapeA: BrepHandle,\n  shapeB: BrepHandle,\n): number[] {\n  const hashesA = getFaceHashes(kernel, shapeA)\n  const hashesB = getFaceHashes(kernel, shapeB)\n  return [...new Set([...hashesA, ...hashesB])]\n}\n\n/**\n * 解码 BrepEvolutionData 的 modified 数组为 ordinal 映射。\n *\n * modified 分段编码格式：[inputHash, count, outHash1, outHash2, ...] × N\n *\n * @param kernel      the OCCT kernel.\n * @param evo         the BrepEvolutionData (from a *WithHistory API).\n * @param inputShape  the input shape (for the input face hash → ordinal mapping).\n * @param resultShape the result shape (for the output face hash → ordinal mapping).\n * @returns the FaceEvolution: inOrdinal → outOrdinal[].\n */\nexport function decodeEvolution(\n  kernel: BrepEngineApi,\n  evo: BrepEvolutionData,\n  inputShape: BrepHandle,\n  resultShape: BrepHandle,\n): FaceEvolution {\n  const inputHashes = getFaceHashes(kernel, inputShape)\n  const resultHashes = getFaceHashes(kernel, resultShape)\n\n  // 构建 hash → ordinal 查找表\n  const resultHashToOrdinal = new Map<number, number>()\n  for (let i = 0; i < resultHashes.length; i++) {\n    resultHashToOrdinal.set(resultHashes[i], i)\n  }\n  const inputHashToOrdinal = new Map<number, number>()\n  for (let i = 0; i < inputHashes.length; i++) {\n    inputHashToOrdinal.set(inputHashes[i], i)\n  }\n\n  // 解码 modified 数组\n  const evolution: FaceEvolution = new Map()\n  const modified = evo.modified\n  let idx = 0\n  while (idx < modified.length) {\n    const inHash = modified[idx]\n    const count = modified[idx + 1]\n    const outOrdinals: number[] = []\n    for (let j = 0; j < count; j++) {\n      const outHash = modified[idx + 2 + j]\n      const outOrdinal = resultHashToOrdinal.get(outHash)\n      if (outOrdinal !== undefined) {\n        outOrdinals.push(outOrdinal)\n      }\n    }\n    const inOrdinal = inputHashToOrdinal.get(inHash)\n    if (inOrdinal !== undefined) {\n      evolution.set(inOrdinal, outOrdinals)\n    }\n    idx += 2 + count\n  }\n\n  return evolution\n}\n\n\n/**\n * Hash 键面演化：输入面 hash → 输出面 hash 列表（1→多分裂时多个）。\n *\n * 与序号键 FaceEvolution 并列、同源（同一次 *WithHistory 打包结果解出），\n * 一个供 role 传播（hash 键）、一个供选择器/文本（序号键），零额外 wasm 调用。\n */\nexport interface HashEvolution {\n  /** 输入面 hash → 输出面 hash 列表（1→多分裂时多个）。 */\n  readonly modified: ReadonlyMap<number, readonly number[]>\n  /** 输入面中已不存在的面 hash。 */\n  readonly deleted: ReadonlySet<number>\n}\n\n/**\n * 把 BrepEvolutionData 解码为 hash 键演化（§2.4）。\n *\n * modified 分段编码格式：[inHash, count, outHash1, ...] × N —— 本身就是\n * hash→hash[] 的 1→多映射，直接按同一格式解出 hash 键版本，不需要\n * getSubShapes 逐句柄 hashCode，也不分配任何句柄。\n *\n * generated 刻意不进 role 传播。**实测依据（2026-09-22，`brep/engine/phase0-kernel-probes.test.ts`）**：\n * `generated` 与 `modified` **同构分段、键集相同**，其值是各输入面派生出的**中间形**——\n * `cut` 实测 12 个 hash、结果里 **0 个存活**（`fillet`/`fuse` 里整个桶为空）。\n * ⇒ 新造面**不能**由 `generated` 定位，只能由\"三类命运\"的补集判定\n * （既不在输入 hash 集合、也不在任何 `modified` 输出里），再交 `construct`/派生词汇命名。\n *\n * @param evo - the BrepEvolutionData (from a *WithHistory API).\n * @returns the hash-keyed evolution.\n */\nexport function decodeHashEvolution(evo: BrepEvolutionData): HashEvolution {\n  const modified = new Map<number, number[]>()\n  const m = evo.modified\n  let idx = 0\n  while (idx < m.length) {\n    const inHash = m[idx]\n    const count = m[idx + 1]\n    const outHashes: number[] = []\n    for (let j = 0; j < count; j++) {\n      outHashes.push(m[idx + 2 + j])\n    }\n    modified.set(inHash, outHashes)\n    idx += 2 + count\n  }\n  return { modified, deleted: new Set(evo.deleted) }\n}\n\n/**\n * 把一次双输入布尔（cut/fuse/intersect）的打包演化按「inHash 属于 A 还是 B」\n * 拆成 A、B 两张 hash 演化（§3.4 布尔合流，faijs 对 brepjs 的必要扩展）。\n *\n * 现有 *WithHistoryBrep 包装只用 getUnionFaceHashes 传入 A∪B 两边 hash、且只对\n * 基体 a 解码序号演化。本函数对同一份 evo 零额外内核调用：用 subShapeHashes(a)\n * / subShapeHashes(b) 两个集合判定每个 inHash 的归属，各自传播各自的 role 表。\n *\n * @param evo     - the BrepEvolutionData (from a binary boolean *WithHistory API).\n * @param hashesA - the face hashes of input A (target), via subShapeHashes.\n * @param hashesB - the face hashes of input B (tool), via subShapeHashes.\n * @returns the A/B split hash evolutions (faces from neither input are dropped).\n */\nexport function splitHashEvolutionByOrigin(\n  evo: BrepEvolutionData,\n  hashesA: readonly number[],\n  hashesB: readonly number[],\n): { a: HashEvolution; b: HashEvolution } {\n  const raw = decodeHashEvolution(evo)\n  const setA = new Set(hashesA)\n  const setB = new Set(hashesB)\n\n  const aModified = new Map<number, number[]>()\n  const bModified = new Map<number, number[]>()\n  for (const [inHash, outs] of raw.modified) {\n    if (setA.has(inHash)) aModified.set(inHash, [...outs])\n    else if (setB.has(inHash)) bModified.set(inHash, [...outs])\n  }\n\n  const aDeleted = new Set<number>()\n  const bDeleted = new Set<number>()\n  for (const h of raw.deleted) {\n    if (setA.has(h)) aDeleted.add(h)\n    else if (setB.has(h)) bDeleted.add(h)\n  }\n\n  return { a: { modified: aModified, deleted: aDeleted }, b: { modified: bModified, deleted: bDeleted } }\n}\n\n/**\n * 构造 hash 键恒等演化：输入第 i 面 hash → 输出第 i 面 hash（按枚举序号对齐）。\n *\n * ⚠️ **Phase 0.3 后本函数只用于「内核无 `*WithHistory` 可表达」的 4 个 op**：\n *\n * | op | 为什么不能走权威映射 |\n * |---|---|\n * | `rotate_euler` | 任意欧拉角 + pivot；内核只有**单轴** `rotateWithHistory` |\n * | `scale3d` | 非等比；`generalTransform` 无历史（`scaleWithHistory` 只收均匀 factor） |\n * | `copy` | 深拷贝；内核无 `copyWithHistory` |\n * | `place` | 任意矩阵 `located`；内核无对应历史 API |\n *\n * `translate` / `scale`（均匀）已改走权威映射（`translateWithHashEvolution` /\n * `scaleWithHashEvolution`），不再经过本函数。\n *\n * ⚠️ **本函数的正确性依赖一个曾经未被验证的假设**：刚体变换/深拷贝保持 OCCT 的\n * 面枚举序号。该假设现由 `brep/face-evolution.ordering.test.ts` 实测钉住。\n * 若该测试变红 ⇒ 本函数在这 4 个 op 上会产出**错误的身份映射**，\n * 必须为它们找别的权威来源，**不是**调松测试。\n *\n * @param kernel       - the OCCT kernel.\n * @param inputShape   - the input shape.\n * @param resultShape  - the transformed/copied output shape.\n * @returns the hash identity evolution (modified: in[i] → [out[i]]).\n */\nexport function identityHashEvolution(\n  kernel: BrepEngineApi,\n  inputShape: BrepHandle,\n  resultShape: BrepHandle,\n): HashEvolution {\n  const inputHashes = getFaceHashes(kernel, inputShape)\n  const resultHashes = getFaceHashes(kernel, resultShape)\n  const count = Math.min(inputHashes.length, resultHashes.length)\n  const modified = new Map<number, number[]>()\n  for (let i = 0; i < count; i++) {\n    modified.set(inputHashes[i], [resultHashes[i]])\n  }\n  return { modified, deleted: new Set() }\n}\n\n/**\n * 平移 + **权威**面演化（Phase 0.3）：走内核 `translateWithHistory`。\n *\n * 与 `identityHashEvolution` 的区别：这里的 `inHash → outHash[]` 是 OCCT 自己给的，\n * **不依赖**\"枚举序号在变换后保持\"这个此前从未验证的假设（分析文档 §7 第 6 项）。\n * 实测（`brep/engine/evolution-bindings.test.ts`）：刚体变换的权威映射为\n * 1:1 全覆盖（`coveredInputs === 面数`、`deleted` 空、`generated` 空）。\n *\n * @param kernel - the OCCT kernel.\n * @param shape  - the input shape.\n * @param d      - the translation vector as [dx, dy, dz].\n * @returns the translated handle plus the authority hash evolution.\n */\nexport function translateWithHashEvolution(\n  kernel: BrepEngineApi,\n  shape: BrepHandle,\n  d: readonly [number, number, number],\n): { result: BrepHandle; evolution: HashEvolution } {\n  const inputHashes = getFaceHashes(kernel, shape)\n  const evo = kernel.translateWithHistory(shape, d[0], d[1], d[2], inputHashes, HASH_UPPER_BOUND)\n  return { result: evo.result, evolution: decodeHashEvolution(evo) }\n}\n\n/**\n * 均匀缩放 + **权威**面演化（Phase 0.3）：走内核 `scaleWithHistory`。\n *\n * ⚠️ **仅均匀缩放**。非均匀缩放内核无 `*WithHistory`（`generalTransform` 无历史），\n * 故 `scale3d` 无法走本函数——它退回 `identityHashEvolution`，其\"面序保持\"假设\n * 由 `brep/face-evolution.ordering.test.ts` 钉住。\n *\n * @param kernel - the OCCT kernel.\n * @param shape  - the input shape.\n * @param center - the fixed point of the scaling (not scaled).\n * @param factor - the uniform scale factor.\n * @returns the scaled handle plus the authority hash evolution.\n */\nexport function scaleWithHashEvolution(\n  kernel: BrepEngineApi,\n  shape: BrepHandle,\n  center: readonly [number, number, number],\n  factor: number,\n): { result: BrepHandle; evolution: HashEvolution } {\n  const inputHashes = getFaceHashes(kernel, shape)\n  const evo = kernel.scaleWithHistory(\n    shape,\n    { x: center[0], y: center[1], z: center[2] },\n    factor,\n    inputHashes,\n    HASH_UPPER_BOUND,\n  )\n  return { result: evo.result, evolution: decodeHashEvolution(evo) }\n}\n\n/**\n * 双输入布尔 + roleTable 合流组合封装（§3.4，stdlib boolean 链式调用用）。\n *\n * 一次 *WithHistory 内核调用同时产出：\n * - result：结果实体\n * - faceEvolution：序号键演化（进 faceEvolutionCache，服务选择器/可视化）\n * - roleTable：A/B 两侧 role 表各自传播后合并（进 roleTableCache，服务命名）\n *\n * 缝面（generated）刻意不进 role 传播（§1.3/R2：generated hash 指向中间形、\n * 实测 0 存活）。新 origin 一律是**本次语句的 StmtId**（Phase 1.6：不再用 LHS\n * 变量名——PartName 会被改名/复用，StmtId 全局唯一）。\n *\n * @param kernel  - the OCCT kernel.\n * @param op      - the boolean operation ('fuse' | 'cut' | 'intersect').\n * @param a       - the target shape.\n * @param b       - the tool shape.\n * @param tableA  - the target's role table.\n * @param tableB  - the tool's role table.\n * @param outStmt - the boolean statement's StmtId (串形；新 origin for seam faces).\n * @returns the result handle, ordinal evolution and merged role table.\n */\nexport function booleanWithRoleTable(\n  kernel: BrepEngineApi,\n  op: 'fuse' | 'cut' | 'intersect',\n  a: BrepHandle,\n  b: BrepHandle,\n  tableA: ReadonlyMap<unknown, unknown>,\n  tableB: ReadonlyMap<unknown, unknown>,\n  outStmt: string,\n): { result: BrepHandle; faceEvolution: FaceEvolution; roleTable: ReadonlyMap<unknown, unknown> } {\n  const inputHashes = getUnionFaceHashes(kernel, a, b)\n  let evo: BrepEvolutionData\n  if (op === 'fuse') evo = kernel.fuseWithHistory(a, b, inputHashes, HASH_UPPER_BOUND)\n  else if (op === 'cut') evo = kernel.cutWithHistory(a, b, inputHashes, HASH_UPPER_BOUND)\n  else evo = kernel.intersectWithHistory(a, b, inputHashes, HASH_UPPER_BOUND)\n\n  const faceEvolution = decodeEvolution(kernel, evo, a, evo.result)\n\n  // A/B 拆流 → 各自传播 → 合表（§3.4）\n  const hashesA = getFaceHashes(kernel, a)\n  const hashesB = getFaceHashes(kernel, b)\n  const { a: evoA, b: evoB } = splitHashEvolutionByOrigin(evo, hashesA, hashesB)\n  const merged = mergeRoleTablesLocal(tableA, evoA, tableB, evoB, outStmt)\n\n  return { result: evo.result, faceEvolution, roleTable: merged }\n}\n\n/** 合表（避免 naming/roles 循环依赖：本文件不 import naming，用结构等价实现）。 */\nfunction mergeRoleTablesLocal(\n  tableA: ReadonlyMap<unknown, unknown>,\n  evoA: HashEvolution,\n  tableB: ReadonlyMap<unknown, unknown>,\n  evoB: HashEvolution,\n  // eslint-disable-next-line @typescript-eslint/no-unused-vars -- retained for future boolean generated-face naming\n  outPart: string,\n): ReadonlyMap<unknown, unknown> {\n  const result = new Map<unknown, unknown>()\n  for (const [origin, roles] of tableA) {\n    result.set(origin, propagateOriginRoles(roles as ReadonlyMap<string, readonly number[]>, evoA))\n  }\n  for (const [origin, roles] of tableB) {\n    const existing = result.get(origin) as ReadonlyMap<string, readonly number[]> | undefined\n    const advanced = propagateOriginRoles(roles as ReadonlyMap<string, readonly number[]>, evoB)\n    if (existing) {\n      const merged = new Map<string, number[]>()\n      for (const [role, hs] of existing) merged.set(role, [...hs])\n      for (const [role, hs] of advanced) {\n        const prev = merged.get(role)\n        merged.set(role, prev ? [...new Set([...prev, ...hs])] : [...hs])\n      }\n      result.set(origin, merged)\n    } else {\n      result.set(origin, advanced)\n    }\n  }\n  // 3.6: void outPart removed — boolean seam faces are handled by the \"three fates\"\n  // analysis (§4.4): cut has 0 new faces (§7 item 7), fuse seam faces are a Phase 4+ concern.\n  // outPart retained for future kernel/byAdjacency on boolean generated faces.\n  return result\n}\n\n/** 单 origin 传播（结构等价于 naming/roles.propagateRoles，避免循环依赖）。 */\nfunction propagateOriginRoles(\n  roles: ReadonlyMap<string, readonly number[]>,\n  evolution: HashEvolution,\n): ReadonlyMap<string, readonly number[]> {\n  const updated = new Map<string, number[]>()\n  for (const [role, hashes] of roles) {\n    const successors: number[] = []\n    for (const hash of hashes) {\n      if (evolution.deleted.has(hash)) continue\n      const modified = evolution.modified.get(hash)\n      const targets = modified !== undefined && modified.length > 0 ? modified : [hash]\n      for (const h of targets) if (!successors.includes(h)) successors.push(h)\n    }\n    if (successors.length > 0) updated.set(role, successors)\n  }\n  return updated\n}\n\n/**\n * Decode a BrepEvolutionData deleted array into the ordinal list of deleted faces.\n * @param kernel     - the OCCT kernel.\n * @param evo        - the BrepEvolutionData (from a *WithHistory API).\n * @param inputShape - the input shape (for the hash → ordinal mapping).\n * @returns the array of deleted face ordinals.\n */\nexport function decodeDeleted(\n  kernel: BrepEngineApi,\n  evo: BrepEvolutionData,\n  inputShape: BrepHandle,\n): number[] {\n  const inputHashes = getFaceHashes(kernel, inputShape)\n  const inputHashToOrdinal = new Map<number, number>()\n  for (let i = 0; i < inputHashes.length; i++) {\n    inputHashToOrdinal.set(inputHashes[i], i)\n  }\n\n  const deletedOrdinals: number[] = []\n  for (const hash of evo.deleted) {\n    const ordinal = inputHashToOrdinal.get(hash)\n    if (ordinal !== undefined) {\n      deletedOrdinals.push(ordinal)\n    }\n  }\n  return deletedOrdinals\n}\n\n// ─── WithHistory 封装函数 ───\n\n/**\n * cutWithHistory 封装：执行切割并返回结果 + 面演化映射。\n *\n * @param kernel OCCT 内核\n * @param a 基体\n * @param b 工具（从基体中减去）\n * @returns { result: 结果 BrepHandle, faceEvolution: 面演化映射 }\n */\nexport function cutWithHistoryBrep(\n  kernel: BrepEngineApi,\n  a: BrepHandle,\n  b: BrepHandle,\n): { result: BrepHandle; faceEvolution: FaceEvolution } {\n  const inputHashes = getUnionFaceHashes(kernel, a, b)\n  const evo = kernel.cutWithHistory(a, b, inputHashes, HASH_UPPER_BOUND)\n  const faceEvolution = decodeEvolution(kernel, evo, a, evo.result)\n  return { result: evo.result, faceEvolution }\n}\n\n/**\n * fuseWithHistory wrapper: performs the fuse and returns the result plus the face evolution mapping.\n * @param kernel - the OCCT kernel.\n * @param a - the base shape.\n * @param b - the tool shape to fuse into the base.\n * @returns the result BrepHandle plus the face evolution mapping.\n */\nexport function fuseWithHistoryBrep(\n  kernel: BrepEngineApi,\n  a: BrepHandle,\n  b: BrepHandle,\n): { result: BrepHandle; faceEvolution: FaceEvolution } {\n  const inputHashes = getUnionFaceHashes(kernel, a, b)\n  const evo = kernel.fuseWithHistory(a, b, inputHashes, HASH_UPPER_BOUND)\n  const faceEvolution = decodeEvolution(kernel, evo, a, evo.result)\n  return { result: evo.result, faceEvolution }\n}\n\n/**\n * intersectWithHistory wrapper: performs the intersection and returns the result plus the face evolution mapping.\n * @param kernel - the OCCT kernel.\n * @param a - the first input shape.\n * @param b - the second input shape.\n * @returns the result BrepHandle plus the face evolution mapping.\n */\nexport function intersectWithHistoryBrep(\n  kernel: BrepEngineApi,\n  a: BrepHandle,\n  b: BrepHandle,\n): { result: BrepHandle; faceEvolution: FaceEvolution } {\n  const inputHashes = getUnionFaceHashes(kernel, a, b)\n  const evo = kernel.intersectWithHistory(a, b, inputHashes, HASH_UPPER_BOUND)\n  const faceEvolution = decodeEvolution(kernel, evo, a, evo.result)\n  return { result: evo.result, faceEvolution }\n}\n\n// ─── 变换操作面演化 ───\n\n/**\n * 构造恒等面演化映射（用于 translate/rotate/scale 等不改变拓扑的操作）。\n *\n * 变换操作不改变面的数量和顺序，每个面 ordinal i → [i]。\n * 避免调用 *WithHistory API（rotate/scale 的 WithHistory 签名与现有 Euler/Vec3 参数不兼容）。\n *\n * @param kernel OCCT 内核\n * @param shape 输入形状（用于获取面数量）\n * @returns 恒等 FaceEvolution\n */\nexport function identityEvolution(\n  kernel: BrepEngineApi,\n  shape: BrepHandle,\n): FaceEvolution {\n  const faceCount = getFaceHashes(kernel, shape).length\n  const evolution: FaceEvolution = new Map()\n  for (let i = 0; i < faceCount; i++) {\n    evolution.set(i, [i])\n  }\n  return evolution\n}\n\n// ─── directEdit WithHistory 封装（fillet / chamfer：单输入） ───\n\n/**\n * 单输入 directEdit（fillet/chamfer）+ roleTable 传播封装。\n *\n * 与 `booleanWithRoleTable`（双输入）对应：单输入只有一张输入 role 表，\n * 一次 `*WithHistory` 内核调用产出结果 + 面演化，沿 hash 演化推进所有 origin。\n *\n * generated 刻意不进 role 传播（§1.3 事实：generated hash 指向中间形，\n * 实测 0 存活），过渡面的命名由 DerivedFaceTopoRef 在 M2 处理。\n *\n * @param kernel          - the OCCT kernel.\n * @param op              - the directEdit operation ('fillet' | 'chamfer').\n * @param solid          - the input solid (single input, unlike boolean's a/b).\n * @param edgeHandles     - the resolved Edge handles to fillet/chamfer.\n * @param radius          - the fillet radius or chamfer distance (uniform only).\n * @param inputRoleTable  - the input's role table.\n * @param outPart         - the statement's LHS variable name (for new origin allocation).\n * @returns the result handle, ordinal evolution and propagated role table.\n */\nexport function directEditWithRoleTable(\n  kernel: BrepEngineApi,\n  op: 'fillet' | 'chamfer',\n  solid: BrepHandle,\n  edgeHandles: BrepHandle[],\n  radius: number,\n  inputRoleTable: ReadonlyMap<unknown, unknown>,\n  outPart: string,\n): { result: BrepHandle; faceEvolution: FaceEvolution; roleTable: ReadonlyMap<unknown, unknown> } {\n  const inputHashes = getFaceHashes(kernel, solid)\n  let evo: BrepEvolutionData\n  if (op === 'fillet') {\n    evo = kernel.filletWithHistory(solid, edgeHandles, radius, inputHashes, HASH_UPPER_BOUND)\n  } else {\n    evo = kernel.chamferWithHistory(solid, edgeHandles, radius, inputHashes, HASH_UPPER_BOUND)\n  }\n\n  const faceEvolution = decodeEvolution(kernel, evo, solid, evo.result)\n  const hashEvo = decodeHashEvolution(evo)\n  const propagated = propagateAllOriginsLocal(inputRoleTable, hashEvo)\n\n  // 3.4: generated face naming — transition faces are neither input faces nor\n  // modified outputs (§4.4 \"三类命运\": 原样幸存 / 改型幸存 / 新造).\n  // Role format: `gen:<op>:<i>` (i = enumeration order among generated faces).\n  // String formatted directly (no import of role-name.ts — avoids circular dep).\n  const resultHashes = getFaceHashes(kernel, evo.result)\n  const inputHashSet = new Set(inputHashes)\n  const modifiedOutputHashes = new Set<number>()\n  for (const outs of hashEvo.modified.values()) {\n    for (const h of outs) modifiedOutputHashes.add(h)\n  }\n  const generatedHashes = resultHashes.filter(\n    (h) => !inputHashSet.has(h) && !modifiedOutputHashes.has(h),\n  )\n\n  if (generatedHashes.length > 0) {\n    const genRoles = new Map<string, number[]>()\n    for (let i = 0; i < generatedHashes.length; i++) {\n      genRoles.set(`gen:${op}:${i}`, [generatedHashes[i]!])\n    }\n    const roleTable = new Map(propagated)\n    roleTable.set(outPart, genRoles)\n    return { result: evo.result, faceEvolution, roleTable }\n  }\n\n  return { result: evo.result, faceEvolution, roleTable: propagated }\n}\n\n/**\n * 单输入 directEdit 的便捷别名：fillet。\n *\n * @param kernel          - the OCCT kernel.\n * @param solid          - the input solid.\n * @param edgeHandles     - the resolved Edge handles.\n * @param radius          - the fillet radius (uniform).\n * @param inputRoleTable  - the input's role table.\n * @param outPart         - the statement's LHS variable name.\n * @returns the result handle, ordinal evolution and propagated role table.\n */\nexport function filletWithRoleTable(\n  kernel: BrepEngineApi,\n  solid: BrepHandle,\n  edgeHandles: BrepHandle[],\n  radius: number,\n  inputRoleTable: ReadonlyMap<unknown, unknown>,\n  outPart: string,\n): { result: BrepHandle; faceEvolution: FaceEvolution; roleTable: ReadonlyMap<unknown, unknown> } {\n  return directEditWithRoleTable(kernel, 'fillet', solid, edgeHandles, radius, inputRoleTable, outPart)\n}\n\n/**\n * 单输入 directEdit 的便捷别名：chamfer。\n *\n * @param kernel          - the OCCT kernel.\n * @param solid          - the input solid.\n * @param edgeHandles     - the resolved Edge handles.\n * @param distance        - the chamfer distance (uniform).\n * @param inputRoleTable  - the input's role table.\n * @param outPart         - the statement's LHS variable name.\n * @returns the result handle, ordinal evolution and propagated role table.\n */\nexport function chamferWithRoleTable(\n  kernel: BrepEngineApi,\n  solid: BrepHandle,\n  edgeHandles: BrepHandle[],\n  distance: number,\n  inputRoleTable: ReadonlyMap<unknown, unknown>,\n  outPart: string,\n): { result: BrepHandle; faceEvolution: FaceEvolution; roleTable: ReadonlyMap<unknown, unknown> } {\n  return directEditWithRoleTable(kernel, 'chamfer', solid, edgeHandles, distance, inputRoleTable, outPart)\n}\n\n/**\n * 钻孔 roleTable 传播：底孔（圆柱 cut）产生的新造面 = 孔壁，挂**消费它的那条语句**\n * 的 origin（§7.1：drill 的工具体是 op 内部临时件，无其他用户可见坐标可继承）。\n * 角色形态 `hole:<j>`（j = 新造面枚举序）。沿用 `directEditWithRoleTable` 的\n * 三类命运判定（原样幸存 / 改型幸存 / 新造），新造面才派生命名。\n *\n * @param kernel         - the OCCT kernel.\n * @param solid          - the input solid (the drilled part).\n * @param toolSolid      - the drill-bit tool solid (caller-built; released by caller).\n * @param inputRoleTable - the input's role table.\n * @param outStmt        - the drilling statement's StmtId (origin for new faces).\n * @returns the result handle, ordinal evolution and role table with `hole:<j>`.\n */\nexport function drillBrepWithRoleTable(\n  kernel: BrepEngineApi,\n  solid: BrepHandle,\n  toolSolid: BrepHandle,\n  inputRoleTable: ReadonlyMap<unknown, unknown>,\n  outStmt: string,\n): { result: BrepHandle; faceEvolution: FaceEvolution; roleTable: ReadonlyMap<unknown, unknown> } {\n  const inputHashes = getFaceHashes(kernel, solid)\n  const evo = kernel.cutWithHistory(solid, toolSolid, inputHashes, HASH_UPPER_BOUND)\n  const faceEvolution = decodeEvolution(kernel, evo, solid, evo.result)\n  const hashEvo = decodeHashEvolution(evo)\n  const propagated = propagateAllOriginsLocal(inputRoleTable, hashEvo)\n\n  // 三类命运判定：新造面 = 结果 − 输入 − 改型后继（§4.4）。\n  const resultHashes = getFaceHashes(kernel, evo.result)\n  const inputHashSet = new Set(inputHashes)\n  const modifiedOutputHashes = new Set<number>()\n  for (const outs of hashEvo.modified.values()) {\n    for (const h of outs) modifiedOutputHashes.add(h)\n  }\n  const generatedHashes = resultHashes.filter(\n    (h) => !inputHashSet.has(h) && !modifiedOutputHashes.has(h),\n  )\n\n  const roleTable = new Map(propagated)\n  if (generatedHashes.length > 0) {\n    const genRoles = new Map<string, number[]>()\n    for (let i = 0; i < generatedHashes.length; i++) {\n      genRoles.set(`hole:${i}`, [generatedHashes[i]!])\n    }\n    roleTable.set(outStmt, genRoles)\n  }\n  return { result: evo.result, faceEvolution, roleTable }\n}\n\n/** 单输入 roleTable 传播（结构等价于 naming/roles.propagateAllOrigins，避免循环依赖）。 */\nfunction propagateAllOriginsLocal(\n  roles: ReadonlyMap<unknown, unknown>,\n  evolution: HashEvolution,\n): ReadonlyMap<unknown, unknown> {\n  const result = new Map<unknown, unknown>()\n  for (const [origin, originRoles] of roles) {\n    result.set(origin, propagateOriginRoles(originRoles as ReadonlyMap<string, readonly number[]>, evolution))\n  }\n  return result\n}\n"]}

package/dist/brepkit-kernel/brepkitKernel.d.ts

@@ -1,7 +1,7 @@
 /**
  * brepkit-kernel/brepkitKernel — brepkit 内核 → faijs BrepEngineApi 适配器（v1 白名单）
  *
- * 设计要点（对应 3d_editor/docs/plans/2026-09-18-weapp-voice-ai-modeling-design.md §5）：
+ * 设计要点（对应 3d_editor 项目的 weapp-voice-ai-modeling 设计计划 §5）：
  * - 句柄：brepkit u32 句柄与 faijs BrepHandle(number) 同构，直通零转换；
  * - 拓扑红线：meshShape 用 tessellateSolidGrouped 输出 faceGroups，与三角化几何同源；
  * - 面溯源：布尔/倒角走 *WithEvolution，映射为 BrepEvolutionData（hash 编码）；

package/dist/brepkit-kernel/brepkitKernel.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"brepkitKernel.d.ts","sourceRoot":"","sources":["../../src/brepkit-kernel/brepkitKernel.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AAGH,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,2BAA2B,CAAA;AAkI9D,oDAAoD;AACpD,KAAK,mBAAmB,GAAG,aAAa,GAAG;IAAE,oBAAoB,IAAI,MAAM,CAAA;CAAE,CAAA;AAE7E;;;;;GAKG;AACH,wBAAsB,uBAAuB,IAAI,OAAO,CAAC,mBAAmB,CAAC,CAgX5E;AAwCD,8BAA8B;AAC9B,wBAAgB,cAAc,IAAI,IAAI,CAKrC;AAED,2EAA2E;AAC3E,MAAM,MAAM,iBAAiB,GAAG,OAAO,CAAC,UAAU,CAAC,OAAO,uBAAuB,CAAC,CAAC,CAAA"}
+{"version":3,"file":"brepkitKernel.d.ts","sourceRoot":"","sources":["../../src/brepkit-kernel/brepkitKernel.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AAGH,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,2BAA2B,CAAA;AAkI9D,oDAAoD;AACpD,KAAK,mBAAmB,GAAG,aAAa,GAAG;IAAE,oBAAoB,IAAI,MAAM,CAAA;CAAE,CAAA;AAE7E;;;;;GAKG;AACH,wBAAsB,uBAAuB,IAAI,OAAO,CAAC,mBAAmB,CAAC,CAwc5E;AA0DD,8BAA8B;AAC9B,wBAAgB,cAAc,IAAI,IAAI,CAKrC;AAED,2EAA2E;AAC3E,MAAM,MAAM,iBAAiB,GAAG,OAAO,CAAC,UAAU,CAAC,OAAO,uBAAuB,CAAC,CAAC,CAAA"}