@faicad/faijs 0.31.1 → 0.32.2

package/dist/api/sweep.js

@@ -1,27 +1,27 @@
 /**
- * api sweep — 扫掠：截面沿脊柱路径生成扫掠体（手写平台 op，Phase 4 → G5 core 直连）
+ * api sweep — 扫掠（基础）：截面沿脊柱路径生成扫掠体。**两内核都支持**。
  *
- * @platform occt — 实现走 core 自有 `brep-operations/sweepFns.ts#sweepBrep`
- * （occt-wasm simplePipe / sweepPipeShell；engine-method-map 里 `sweep` 为
- * occt-only）⇒ 平台 op：defineOp 声明 `engines: ['occt']`（D11）。
+ * 为什么不是 occt-only（方案 2026-10-10-sweep-loft-dual-engine-plan §3 总览 / §4）：
+ * 基础扫掠（单截面沿路径，无过渡 / 引导线 / 缩放律）两个内核都能做 —— occt 走原生
+ * `sweepPipeShell`（补两个默认开关 false），brepkit 走 `sweep(face, NURBS 路径)`；
+ * 差异（brepkit 只吃 face、路径要 NURBS 四数组）由各自适配器消化，op 层只看到中立名
+ * `BrepEngineApi#sweep`。完整控制面（transition / auxSpine / support / 解析式 law /
+ * orientation）只有 occt 能做，整体归 `cad.sweepAdvanced`（与 `sketchOnFace →
+ * sketchOnSurface` 同构）。
  *
- * 为什么手写而不走生成投影：与 `api/loft.ts` 同因——截面最常见来源是
- * `cad.profile(...)`（产出 **face**），需「面 → 外环」输入适配
- * （`internal/profile-wire.ts` 的唯一步径）。脊柱容忍 face（FCStd 翻译把
- * 脊柱基对象 sketch 整圈外廓当路径）。
+ * occt 侧**不用** `simplePipe`：实测它对 8×8 方截面沿 +Z 扫 50 产出体积 2133.33，
+ * 而 `sweepPipeShell` 为解析值 3200（`test/api/sweep-loft.test.ts` 的真值断言）。
  *
- * core-decouple G5：旧 `sweep`（brepjs）替换为 brep-operations 自有实现直连，
- * 产物经 `fromBrep` 收养（替代 l3-bridge adoptEntity）。
+ * ⚠️ 两内核在非平面路径上的截面参考系算法不同（RMF 细节差异），复杂路径下产物
+ * 可能有细微差别；需要确定性行为用 `cad.sweepAdvanced`（occt）。
  */
 import { defineOp } from '../sdk.js';
 import { getBrepApi } from '../brep/handle-bridge.js';
 import { fromBrep } from '../shape.js';
 import { solidToShape } from '../brep/brep-ops.js';
-import { sweepBrep as coreSweep } from './brep-operations/sweepFns.js';
 import { toProfileWireView } from './internal/profile-wire.js';
-import { unwrapResult } from './internal/result-unwrap.js';
-/** BREP 路径：截面沿脊柱扫掠（wire 视图 → brep-operations 直连 → fromBrep 收养）。 */
-function sweepBrep(profile, spine, opts) {
+/** BREP 路径：截面沿脊柱扫掠（两引擎经 L1 中立名 `BrepEngineApi#sweep` 分派）。 */
+function sweepBrep(profile, spine) {
     if (!profile)
         throw new Error('E_SWEEP_NO_PROFILE: sweep requires a profile (section) shape');
     if (!spine)
@@ -29,12 +29,15 @@ function sweepBrep(profile, spine, opts) {
     // 截面 / 脊柱：wire 直用；面取外环（孔环不参与扫掠）。
     const profileWire = toProfileWireView(profile);
     const spineWire = toProfileWireView(spine);
-    const r = coreSweep(profileWire, spineWire, opts ?? {}, false);
-    const h = unwrapResult(r, 'sweep');
     const kernel = getBrepApi();
     try {
+        const h = kernel.sweep(profileWire.wrapped, spineWire.wrapped);
         return fromBrep(solidToShape(kernel, h), { solid: h });
     }
+    catch (e) {
+        const raw = e instanceof Error ? e.message : String(e);
+        throw new Error(`E_SWEEP_FAILED: sweep failed: ${raw}`, { cause: e });
+    }
     finally {
         // 面→外环产出的 wire 是 arena 新句柄（曲线借用不 release）
         if (!profileWire.borrowed) {
@@ -58,20 +61,14 @@ function sweepBrep(profile, spine, opts) {
  * @async true
  * @qual ok
  * @name sweep
- * @note 平台 op：仅 occt 引擎（BRepOffsetAPI_MakePipeShell / MakePipe）。截面接受
- *       wire 或面（面取其外环）；脊柱必须为 wire。非 occt 引擎执行前报错；
- *       brep_mock 不拦截。`shellMode` 不暴露（元组产物跨不过单产物边界）。
- *       S3 完整控制面（方案 §3.4.3）：给出 `orientation` / `up` / `auxSpine` /
- *       `curvilinearEquivalence` / `guideContact` / `transitionMode`（新名）/
- *       `withContact` / `withCorrection` / `support` / `maxDegree` / `maxSegments` /
- *       `law` / `lawLength` / `lawEndFactor` / `tol3d` / `boundTol` / `tolAngular`
- *       任一，即改走 occt 原生 `sweepFull`（law 驱动扫掠是 twist 类特征的正确路径）。
- *       `sweepFull` 的 options 是 `sweepAdvanced` 的**严格超集**，且含
- *       `sweepOriented` 的全部字段 ⇒ 三者能力并轨，脚本面只需 `sweep` 一个符号。
+ * @note 基础 op：**occt 与 brepkit 两内核都支持**（occt `sweepPipeShell`；brepkit
+ *       `sweep(face, NURBS path)`，路径由适配器从脊柱 wire 拟合）。截面接受 wire
+ *       或面（面取其外环）；脊柱必须为 wire。选项集 = 两内核交集 = **空** ——
+ *       需要 transition / auxSpine / support / law / orientation 等 occt 独有控制面
+ *       时用 `cad.sweepAdvanced`。
  * @returns Shape 扫掠体。
  * @param profile - 截面几何（wire 或面；面取其外环）。type:Shape required:true
  * @param spine - 脊柱路径（wire）。type:Shape required:true
- * @param opts - 扫掠配置（旧字段 + sweepFull 完整控制面）。type:SweepOptions required:false
  * @example
  * const path = cad.wire([[0, 0, 0], [0, 0, 50]])
  * const section = cad.profile({ contours: [{ segments: [
@@ -84,10 +81,10 @@ function sweepBrep(profile, spine, opts) {
  */
 export const sweep = defineOp({
     name: 'sweep',
-    brep(profile, spine, opts) {
-        return sweepBrep(profile, spine, opts);
+    brep(profile, spine) {
+        return sweepBrep(profile, spine);
     },
-    engines: ['occt'],
     naming: { kind: 'unmodeled', reason: 'swept-body face vocabulary not defined' },
+    paramDims: {},
 });
 //# sourceMappingURL=sweep.js.map

package/dist/api/sweep.js.map

@@ -1 +1 @@
-{"version":3,"file":"sweep.js","sourceRoot":"","sources":["../../src/api/sweep.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;GAcG;AAGH,OAAO,EAAE,QAAQ,EAAE,MAAM,QAAQ,CAAA;AAEjC,OAAO,EAAE,UAAU,EAAE,MAAM,uBAAuB,CAAA;AAClD,OAAO,EAAE,QAAQ,EAAE,MAAM,UAAU,CAAA;AACnC,OAAO,EAAE,YAAY,EAAE,MAAM,kBAAkB,CAAA;AAC/C,OAAO,EAAE,SAAS,IAAI,SAAS,EAAE,MAAM,4BAA4B,CAAA;AACnE,OAAO,EAAE,iBAAiB,EAAE,MAAM,yBAAyB,CAAA;AAC3D,OAAO,EAAE,YAAY,EAAE,MAAM,0BAA0B,CAAA;AAyEvD,mEAAmE;AACnE,SAAS,SAAS,CAAC,OAAc,EAAE,KAAY,EAAE,IAAmB;IAClE,IAAI,CAAC,OAAO;QAAE,MAAM,IAAI,KAAK,CAAC,8DAA8D,CAAC,CAAA;IAC7F,IAAI,CAAC,KAAK;QAAE,MAAM,IAAI,KAAK,CAAC,uDAAuD,CAAC,CAAA;IACpF,iCAAiC;IACjC,MAAM,WAAW,GAAG,iBAAiB,CAAC,OAAO,CAAC,CAAA;IAC9C,MAAM,SAAS,GAAG,iBAAiB,CAAC,KAAK,CAAC,CAAA;IAC1C,MAAM,CAAC,GAAG,SAAS,CAAC,WAAW,EAAE,SAAS,EAAE,IAAI,IAAI,EAAE,EAAE,KAAK,CAAC,CAAA;IAC9D,MAAM,CAAC,GAAG,YAAY,CAAC,CAAC,EAAE,OAAO,CAAe,CAAA;IAChD,MAAM,MAAM,GAAG,UAAU,EAAE,CAAA;IAC3B,IAAI,CAAC;QACH,OAAO,QAAQ,CAAC,YAAY,CAAC,MAAM,EAAE,CAAC,CAAC,EAAE,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,CAAA;IACxD,CAAC;YAAS,CAAC;QACT,0CAA0C;QAC1C,IAAI,CAAC,WAAW,CAAC,QAAQ,EAAE,CAAC;YAC1B,IAAI,CAAC;gBAAC,MAAM,CAAC,OAAO,CAAC,WAAW,CAAC,OAAO,CAAC,CAAA;YAAC,CAAC;YAAC,MAAM,CAAC,CAAC,SAAS,CAAC,CAAC;QACjE,CAAC;QACD,IAAI,CAAC,SAAS,CAAC,QAAQ,EAAE,CAAC;YACxB,IAAI,CAAC;gBAAC,MAAM,CAAC,OAAO,CAAC,SAAS,CAAC,OAAO,CAAC,CAAA;YAAC,CAAC;YAAC,MAAM,CAAC,CAAC,SAAS,CAAC,CAAC;QAC/D,CAAC;IACH,CAAC;AACH,CAAC;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA8BG;AACH,MAAM,CAAC,MAAM,KAAK,GAAG,QAAQ,CAAC;IAC5B,IAAI,EAAE,OAAO;IACb,IAAI,CAAC,OAAc,EAAE,KAAY,EAAE,IAAmB;QACpD,OAAO,SAAS,CAAC,OAAO,EAAE,KAAK,EAAE,IAAI,CAAC,CAAA;IACxC,CAAC;IACD,OAAO,EAAE,CAAC,MAAM,CAAC;IACjB,MAAM,EAAE,EAAE,IAAI,EAAE,WAAW,EAAE,MAAM,EAAE,wCAAwC,EAAgB;CAC9F,CAAC,CAAA","sourcesContent":["/**\n * api sweep — 扫掠：截面沿脊柱路径生成扫掠体（手写平台 op，Phase 4 → G5 core 直连）\n *\n * @platform occt — 实现走 core 自有 `brep-operations/sweepFns.ts#sweepBrep`\n * （occt-wasm simplePipe / sweepPipeShell；engine-method-map 里 `sweep` 为\n * occt-only）⇒ 平台 op：defineOp 声明 `engines: ['occt']`（D11）。\n *\n * 为什么手写而不走生成投影：与 `api/loft.ts` 同因——截面最常见来源是\n * `cad.profile(...)`（产出 **face**），需「面 → 外环」输入适配\n * （`internal/profile-wire.ts` 的唯一步径）。脊柱容忍 face（FCStd 翻译把\n * 脊柱基对象 sketch 整圈外廓当路径）。\n *\n * core-decouple G5：旧 `sweep`（brepjs）替换为 brep-operations 自有实现直连，\n * 产物经 `fromBrep` 收养（替代 l3-bridge adoptEntity）。\n */\n\nimport type { Shape } from '../mesh/types'\nimport { defineOp } from '../sdk'\nimport type { Provenance } from '../topology/naming/lineage'\nimport { getBrepApi } from '../brep/handle-bridge'\nimport { fromBrep } from '../shape'\nimport { solidToShape } from '../brep/brep-ops'\nimport { sweepBrep as coreSweep } from './brep-operations/sweepFns'\nimport { toProfileWireView } from './internal/profile-wire'\nimport { unwrapResult } from './internal/result-unwrap'\nimport type { BrepHandle } from '../brep/engine/types'\n\n/** sweep 的截面朝向模式（映射 occt `SweepMode`）。 */\nexport type SweepOrientation = 'fixed' | 'frenet' | 'fixedUp' | 'auxiliary'\n/** sweep 的引导线接触关系（映射 occt `SweepContact`，仅 `orientation:'auxiliary'` 有效）。 */\nexport type SweepGuideContact = 'none' | 'contact' | 'contactOnBorder'\n/** sweep 沿脊柱的缩放律（映射 occt `SweepLaw`；`law ≠ 'none'` 时必须给 `lawLength`）。 */\nexport type SweepLawKind = 'none' | 'linear' | 'sCurve'\n\n/**\n * 扫掠配置。\n *\n * 两条路径（S3，方案 §3.4.3「扩 sweep」）：\n * - **旧路径**（默认）：只给 `frenet` / `mode` / `tolerance` / `transitionMode:'right'` 时，\n *   走 `sweepPipeShell`（`mode:'simple'` → `simplePipe`），行为与 S3 前逐字节一致；\n * - **完整控制面**：给出下列任一 sweepFull 字段时改走 occt 原生 `sweepFull`\n *   （occt-wasm 的 `sweepAdvanced` / `sweepOriented` 是其子集，由同一选项对象承载）。\n */\nexport interface SweepOptions {\n  /** Frenet 参考系（默认 false）。仅旧路径。 */\n  frenet?: boolean\n  /** 扫掠模式：'simple'（MakePipe）或 undefined（PipeShell）。与 sweepFull 字段互斥。 */\n  mode?: 'simple'\n  /**\n   * 转角过渡模式：`'right'`（旧别名，等价于内核缺省 Transformed）或\n   * `'transformed'` / `'rightCorner'` / `'roundCorner'`（后三者走 sweepFull）。\n   */\n  transitionMode?: 'right' | 'transformed' | 'rightCorner' | 'roundCorner'\n  /** 公差等其余旧字段（保留以兼容调用方）。 */\n  tolerance?: number\n\n  // ── sweepFull 控制面（S3）──\n  /** 截面朝向模式（默认内核缺省 Fixed）。 */\n  orientation?: SweepOrientation\n  /** `orientation:'fixedUp'` 的恒定 binormal 方向（默认 +Z）。 */\n  up?: [number, number, number]\n  /** `orientation:'auxiliary'` 的引导线（Shape）。 */\n  auxSpine?: Shape\n  /** `orientation:'auxiliary'`：按弧长而非参数匹配脊柱与引导线（默认 false）。 */\n  curvilinearEquivalence?: boolean\n  /** `orientation:'auxiliary'`：截面与引导线的关系（默认 'none'）。 */\n  guideContact?: SweepGuideContact\n  /**\n   * 扫掠前把截面平移到与 spine 相切（`MakePipeShell::Add` 的 `WithContact`，\n   * 默认 false = 截面停在调用方放置的位置）。\n   */\n  withContact?: boolean\n  /**\n   * 把截面旋转到与 spine 切线正交（`Add` 的 `WithCorrection`，默认 false）。\n   * 直脊柱上是空操作。\n   */\n  withCorrection?: boolean\n  /** 支持面（含 spine 的 shape）；给出后取代 `orientation`。 */\n  support?: Shape\n  /** 逼近面的最大阶数（缺省 = 内核缺省）。 */\n  maxDegree?: number\n  /** 最大段数（缺省 = 内核缺省）。 */\n  maxSegments?: number\n  /** 沿脊柱的缩放律（默认 'none'）。 */\n  law?: SweepLawKind\n  /** law 跨越的参数长度（= 脊柱长度）；`law ≠ 'none'` 时必给。 */\n  lawLength?: number\n  /** law 末端的截面缩放（1 = 不缩放）。 */\n  lawEndFactor?: number\n  /** 3D 逼近公差（绝对量，缺省 = 内核缺省 1e-4）。 */\n  tol3d?: number\n  /** 边界公差（绝对量）。 */\n  boundTol?: number\n  /** 角度公差（弧度）。 */\n  tolAngular?: number\n}\n\n/** BREP 路径：截面沿脊柱扫掠（wire 视图 → brep-operations 直连 → fromBrep 收养）。 */\nfunction sweepBrep(profile: Shape, spine: Shape, opts?: SweepOptions): Shape {\n  if (!profile) throw new Error('E_SWEEP_NO_PROFILE: sweep requires a profile (section) shape')\n  if (!spine) throw new Error('E_SWEEP_NO_SPINE: sweep requires a spine (path) shape')\n  // 截面 / 脊柱：wire 直用；面取外环（孔环不参与扫掠）。\n  const profileWire = toProfileWireView(profile)\n  const spineWire = toProfileWireView(spine)\n  const r = coreSweep(profileWire, spineWire, opts ?? {}, false)\n  const h = unwrapResult(r, 'sweep') as BrepHandle\n  const kernel = getBrepApi()\n  try {\n    return fromBrep(solidToShape(kernel, h), { solid: h })\n  } finally {\n    // 面→外环产出的 wire 是 arena 新句柄（曲线借用不 release）\n    if (!profileWire.borrowed) {\n      try { kernel.release(profileWire.wrapped) } catch { /* 已释放 */ }\n    }\n    if (!spineWire.borrowed) {\n      try { kernel.release(spineWire.wrapped) } catch { /* 已释放 */ }\n    }\n  }\n}\n\n/**\n * 扫掠：截面沿脊柱路径生成扫掠体。\n * @group 特征\n * @inputs 2\n * @async true\n * @qual ok\n * @name sweep\n * @note 平台 op：仅 occt 引擎（BRepOffsetAPI_MakePipeShell / MakePipe）。截面接受\n *       wire 或面（面取其外环）；脊柱必须为 wire。非 occt 引擎执行前报错；\n *       brep_mock 不拦截。`shellMode` 不暴露（元组产物跨不过单产物边界）。\n *       S3 完整控制面（方案 §3.4.3）：给出 `orientation` / `up` / `auxSpine` /\n *       `curvilinearEquivalence` / `guideContact` / `transitionMode`（新名）/\n *       `withContact` / `withCorrection` / `support` / `maxDegree` / `maxSegments` /\n *       `law` / `lawLength` / `lawEndFactor` / `tol3d` / `boundTol` / `tolAngular`\n *       任一，即改走 occt 原生 `sweepFull`（law 驱动扫掠是 twist 类特征的正确路径）。\n *       `sweepFull` 的 options 是 `sweepAdvanced` 的**严格超集**，且含\n *       `sweepOriented` 的全部字段 ⇒ 三者能力并轨，脚本面只需 `sweep` 一个符号。\n * @returns Shape 扫掠体。\n * @param profile - 截面几何（wire 或面；面取其外环）。type:Shape required:true\n * @param spine - 脊柱路径（wire）。type:Shape required:true\n * @param opts - 扫掠配置（旧字段 + sweepFull 完整控制面）。type:SweepOptions required:false\n * @example\n * const path = cad.wire([[0, 0, 0], [0, 0, 50]])\n * const section = cad.profile({ contours: [{ segments: [\n *   { kind: 'line', x1: -4, y1: -4, x2: 4, y2: -4 },\n *   { kind: 'line', x1: 4, y1: -4, x2: 4, y2: 4 },\n *   { kind: 'line', x1: 4, y1: 4, x2: -4, y2: 4 },\n *   { kind: 'line', x1: -4, y1: 4, x2: -4, y2: -4 },\n * ] }] })\n * const body = await cad.sweep(section, path)\n */\nexport const sweep = defineOp({\n  name: 'sweep',\n  brep(profile: Shape, spine: Shape, opts?: SweepOptions) {\n    return sweepBrep(profile, spine, opts)\n  },\n  engines: ['occt'],\n  naming: { kind: 'unmodeled', reason: 'swept-body face vocabulary not defined' } as Provenance,\n})\n"]}
+{"version":3,"file":"sweep.js","sourceRoot":"","sources":["../../src/api/sweep.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;GAgBG;AAGH,OAAO,EAAE,QAAQ,EAAE,MAAM,QAAQ,CAAA;AAEjC,OAAO,EAAE,UAAU,EAAE,MAAM,uBAAuB,CAAA;AAClD,OAAO,EAAE,QAAQ,EAAE,MAAM,UAAU,CAAA;AACnC,OAAO,EAAE,YAAY,EAAE,MAAM,kBAAkB,CAAA;AAC/C,OAAO,EAAE,iBAAiB,EAAE,MAAM,yBAAyB,CAAA;AAE3D,6DAA6D;AAC7D,SAAS,SAAS,CAAC,OAAc,EAAE,KAAY;IAC7C,IAAI,CAAC,OAAO;QAAE,MAAM,IAAI,KAAK,CAAC,8DAA8D,CAAC,CAAA;IAC7F,IAAI,CAAC,KAAK;QAAE,MAAM,IAAI,KAAK,CAAC,uDAAuD,CAAC,CAAA;IACpF,iCAAiC;IACjC,MAAM,WAAW,GAAG,iBAAiB,CAAC,OAAO,CAAC,CAAA;IAC9C,MAAM,SAAS,GAAG,iBAAiB,CAAC,KAAK,CAAC,CAAA;IAC1C,MAAM,MAAM,GAAG,UAAU,EAAE,CAAA;IAC3B,IAAI,CAAC;QACH,MAAM,CAAC,GAAG,MAAM,CAAC,KAAK,CAAC,WAAW,CAAC,OAAO,EAAE,SAAS,CAAC,OAAO,CAAC,CAAA;QAC9D,OAAO,QAAQ,CAAC,YAAY,CAAC,MAAM,EAAE,CAAC,CAAC,EAAE,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,CAAA;IACxD,CAAC;IAAC,OAAO,CAAC,EAAE,CAAC;QACX,MAAM,GAAG,GAAG,CAAC,YAAY,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAA;QACtD,MAAM,IAAI,KAAK,CAAC,iCAAiC,GAAG,EAAE,EAAE,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,CAAA;IACvE,CAAC;YAAS,CAAC;QACT,0CAA0C;QAC1C,IAAI,CAAC,WAAW,CAAC,QAAQ,EAAE,CAAC;YAC1B,IAAI,CAAC;gBAAC,MAAM,CAAC,OAAO,CAAC,WAAW,CAAC,OAAO,CAAC,CAAA;YAAC,CAAC;YAAC,MAAM,CAAC,CAAC,SAAS,CAAC,CAAC;QACjE,CAAC;QACD,IAAI,CAAC,SAAS,CAAC,QAAQ,EAAE,CAAC;YACxB,IAAI,CAAC;gBAAC,MAAM,CAAC,OAAO,CAAC,SAAS,CAAC,OAAO,CAAC,CAAA;YAAC,CAAC;YAAC,MAAM,CAAC,CAAC,SAAS,CAAC,CAAC;QAC/D,CAAC;IACH,CAAC;AACH,CAAC;AAED;;;;;;;;;;;;;;;;;;;;;;;;GAwBG;AACH,MAAM,CAAC,MAAM,KAAK,GAAG,QAAQ,CAAC;IAC5B,IAAI,EAAE,OAAO;IACb,IAAI,CAAC,OAAc,EAAE,KAAY;QAC/B,OAAO,SAAS,CAAC,OAAO,EAAE,KAAK,CAAC,CAAA;IAClC,CAAC;IACD,MAAM,EAAE,EAAE,IAAI,EAAE,WAAW,EAAE,MAAM,EAAE,wCAAwC,EAAgB;IAE7F,SAAS,EAAE,EAAE;CACd,CAAC,CAAA","sourcesContent":["/**\n * api sweep — 扫掠（基础）：截面沿脊柱路径生成扫掠体。**两内核都支持**。\n *\n * 为什么不是 occt-only（方案 2026-10-10-sweep-loft-dual-engine-plan §3 总览 / §4）：\n * 基础扫掠（单截面沿路径，无过渡 / 引导线 / 缩放律）两个内核都能做 —— occt 走原生\n * `sweepPipeShell`（补两个默认开关 false），brepkit 走 `sweep(face, NURBS 路径)`；\n * 差异（brepkit 只吃 face、路径要 NURBS 四数组）由各自适配器消化，op 层只看到中立名\n * `BrepEngineApi#sweep`。完整控制面（transition / auxSpine / support / 解析式 law /\n * orientation）只有 occt 能做，整体归 `cad.sweepAdvanced`（与 `sketchOnFace →\n * sketchOnSurface` 同构）。\n *\n * occt 侧**不用** `simplePipe`：实测它对 8×8 方截面沿 +Z 扫 50 产出体积 2133.33，\n * 而 `sweepPipeShell` 为解析值 3200（`test/api/sweep-loft.test.ts` 的真值断言）。\n *\n * ⚠️ 两内核在非平面路径上的截面参考系算法不同（RMF 细节差异），复杂路径下产物\n * 可能有细微差别；需要确定性行为用 `cad.sweepAdvanced`（occt）。\n */\n\nimport type { Shape } from '../mesh/types'\nimport { defineOp } from '../sdk'\nimport type { Provenance } from '../topology/naming/lineage'\nimport { getBrepApi } from '../brep/handle-bridge'\nimport { fromBrep } from '../shape'\nimport { solidToShape } from '../brep/brep-ops'\nimport { toProfileWireView } from './internal/profile-wire'\n\n/** BREP 路径：截面沿脊柱扫掠（两引擎经 L1 中立名 `BrepEngineApi#sweep` 分派）。 */\nfunction sweepBrep(profile: Shape, spine: Shape): Shape {\n  if (!profile) throw new Error('E_SWEEP_NO_PROFILE: sweep requires a profile (section) shape')\n  if (!spine) throw new Error('E_SWEEP_NO_SPINE: sweep requires a spine (path) shape')\n  // 截面 / 脊柱：wire 直用；面取外环（孔环不参与扫掠）。\n  const profileWire = toProfileWireView(profile)\n  const spineWire = toProfileWireView(spine)\n  const kernel = getBrepApi()\n  try {\n    const h = kernel.sweep(profileWire.wrapped, spineWire.wrapped)\n    return fromBrep(solidToShape(kernel, h), { solid: h })\n  } catch (e) {\n    const raw = e instanceof Error ? e.message : String(e)\n    throw new Error(`E_SWEEP_FAILED: sweep failed: ${raw}`, { cause: e })\n  } finally {\n    // 面→外环产出的 wire 是 arena 新句柄（曲线借用不 release）\n    if (!profileWire.borrowed) {\n      try { kernel.release(profileWire.wrapped) } catch { /* 已释放 */ }\n    }\n    if (!spineWire.borrowed) {\n      try { kernel.release(spineWire.wrapped) } catch { /* 已释放 */ }\n    }\n  }\n}\n\n/**\n * 扫掠：截面沿脊柱路径生成扫掠体。\n * @group 特征\n * @inputs 2\n * @async true\n * @qual ok\n * @name sweep\n * @note 基础 op：**occt 与 brepkit 两内核都支持**（occt `sweepPipeShell`；brepkit\n *       `sweep(face, NURBS path)`，路径由适配器从脊柱 wire 拟合）。截面接受 wire\n *       或面（面取其外环）；脊柱必须为 wire。选项集 = 两内核交集 = **空** ——\n *       需要 transition / auxSpine / support / law / orientation 等 occt 独有控制面\n *       时用 `cad.sweepAdvanced`。\n * @returns Shape 扫掠体。\n * @param profile - 截面几何（wire 或面；面取其外环）。type:Shape required:true\n * @param spine - 脊柱路径（wire）。type:Shape required:true\n * @example\n * const path = cad.wire([[0, 0, 0], [0, 0, 50]])\n * const section = cad.profile({ contours: [{ segments: [\n *   { kind: 'line', x1: -4, y1: -4, x2: 4, y2: -4 },\n *   { kind: 'line', x1: 4, y1: -4, x2: 4, y2: 4 },\n *   { kind: 'line', x1: 4, y1: 4, x2: -4, y2: 4 },\n *   { kind: 'line', x1: -4, y1: 4, x2: -4, y2: -4 },\n * ] }] })\n * const body = await cad.sweep(section, path)\n */\nexport const sweep = defineOp({\n  name: 'sweep',\n  brep(profile: Shape, spine: Shape) {\n    return sweepBrep(profile, spine)\n  },\n  naming: { kind: 'unmodeled', reason: 'swept-body face vocabulary not defined' } as Provenance,\n\n  paramDims: {},\n})\n"]}

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

@@ -1 +1 @@
-{"version":3,"file":"thicken.d.ts","sourceRoot":"","sources":["../../src/api/thicken.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AAEH,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,eAAe,CAAA;AAU1C;;;;;;;;;;;;;;;;;;;;GAoBG;AACH,eAAO,MAAM,OAAO;;CA6BlB,CAAA"}
+{"version":3,"file":"thicken.d.ts","sourceRoot":"","sources":["../../src/api/thicken.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AAEH,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,eAAe,CAAA;AAU1C;;;;;;;;;;;;;;;;;;;;GAoBG;AACH,eAAO,MAAM,OAAO;;CA+BlB,CAAA"}

package/dist/api/thicken.js

@@ -60,5 +60,6 @@ export const thicken = defineOp({
     },
     engines: ['occt'],
     naming: { kind: 'unmodeled', reason: 'thickened-body face vocabulary not defined' },
+    paramDims: {},
 });
 //# sourceMappingURL=thicken.js.map

package/dist/api/thicken.js.map

@@ -1 +1 @@
-{"version":3,"file":"thicken.js","sourceRoot":"","sources":["../../src/api/thicken.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AAGH,OAAO,EAAE,QAAQ,EAAE,MAAM,QAAQ,CAAA;AAEjC,OAAO,EAAE,UAAU,EAAE,MAAM,uBAAuB,CAAA;AAClD,OAAO,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,UAAU,CAAA;AAC3C,OAAO,EAAE,YAAY,EAAE,MAAM,kBAAkB,CAAA;AAC/C,OAAO,EAAE,aAAa,EAAE,MAAM,2BAA2B,CAAA;AACzD,OAAO,EAAE,gBAAgB,EAAE,eAAe,EAAE,aAAa,EAAE,MAAM,wBAAwB,CAAA;AAGzF;;;;;;;;;;;;;;;;;;;;GAoBG;AACH,MAAM,CAAC,MAAM,OAAO,GAAG,QAAQ,CAAC;IAC9B,IAAI,EAAE,SAAS;IACf,IAAI,CAAC,KAAY,EAAE,SAAiB;QAClC,IAAI,CAAC,KAAK;YAAE,MAAM,IAAI,KAAK,CAAC,yDAAyD,CAAC,CAAA;QACtF,IAAI,OAAO,SAAS,KAAK,QAAQ,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,SAAS,CAAC,IAAI,SAAS,KAAK,CAAC,EAAE,CAAC;YACpF,MAAM,IAAI,KAAK,CAAC,sEAAsE,CAAC,CAAA;QACzF,CAAC;QACD,MAAM,MAAM,GAAG,UAAU,EAAE,CAAA;QAC3B,MAAM,MAAM,GAAG,MAAM,CAAC,KAAK,CAA2B,CAAA;QACtD,IAAI,CAAC,MAAM;YAAE,MAAM,IAAI,KAAK,CAAC,6BAA6B,CAAC,CAAA;QAC3D,8DAA8D;QAC9D,gEAAgE;QAChE,mCAAmC;QACnC,MAAM,WAAW,GAAG,aAAa,CAAC,MAAM,EAAE,MAAM,CAAC,CAAA;QACjD,kEAAkE;QAClE,sCAAsC;QACtC,MAAM,GAAG,GAAG,aAAa,EAAE,CAAC,kBAAkB,CAC5C,MAAe,EACf,SAAS,EACT,IAAI,EACJ,WAAW,EACX,gBAAgB,CACe,CAAA;QACjC,MAAM,MAAM,GAAG,GAAG,CAAC,MAAM,CAAA;QACzB,MAAM,aAAa,GAAG,eAAe,CAAC,MAAM,EAAE,GAAG,EAAE,MAAM,EAAE,MAAM,CAAC,CAAA;QAClE,OAAO,QAAQ,CAAC,YAAY,CAAC,MAAM,EAAE,MAAM,CAAC,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,aAAa,EAAE,CAAU,CAAA;IAC1F,CAAC;IACD,OAAO,EAAE,CAAC,MAAM,CAAC;IACjB,MAAM,EAAE,EAAE,IAAI,EAAE,WAAW,EAAE,MAAM,EAAE,4CAA4C,EAAgB;CAClG,CAAC,CAAA","sourcesContent":["/**\n * api thicken — 加厚：把面（或壳）沿法向偏置成等厚实体（手写平台 op，Phase 4 → G5 core 直连）\n *\n * @platform occt — 实现走 occt-wasm 原生 `thicken`（BRepOffsetAPI_MakeThickSolid；\n * engine-method-map 里 `thicken` 为 occt-only）⇒ 平台 op：defineOp 声明\n * `engines: ['occt']`（D11）。\n *\n * core-decouple G5：旧 `thicken`（brepjs modifierFns，thickenWithHistory）\n * 替换为 occt-wasm 原生直连，产物经 `fromBrep` 收养（替代 l3-bridge adoptEntity）。\n */\n\nimport type { Shape } from '../mesh/types'\nimport { defineOp } from '../sdk'\nimport type { Provenance } from '../topology/naming/lineage'\nimport { getBrepApi } from '../brep/handle-bridge'\nimport { brepOf, fromBrep } from '../shape'\nimport { solidToShape } from '../brep/brep-ops'\nimport { getOcctKernel } from '../occt-kernel/occtKernel'\nimport { HASH_UPPER_BOUND, decodeEvolution, getFaceHashes } from '../brep/face-evolution'\nimport type { BrepHandle, BrepEvolutionData } from '../brep/engine/types'\n\n/**\n * 加厚：把面（或壳）沿法向偏置成等厚实体。\n * @group 特征\n * @inputs 1\n * @async true\n * @qual ok\n * @name thicken\n * @note 平台 op：仅 occt 引擎（BRepOffset）。输入为面/壳 Shape（如 cad.profile 产物）；\n *       正厚度沿法向、负厚度反向。非 occt 引擎执行前报错；brep_mock 不拦截。\n * @returns Shape 加厚后的实体。\n * @param input - 面/壳几何（cad.profile 产物等）。type:Shape required:true\n * @param thickness - 厚度（mm，≠0；正沿法向，负反向）。type:number required:true\n * @example\n * const face = cad.profile({ contours: [{ segments: [\n *   { kind: 'line', x1: -10, y1: -10, x2: 10, y2: -10 },\n *   { kind: 'line', x1: 10, y1: -10, x2: 10, y2: 10 },\n *   { kind: 'line', x1: 10, y1: 10, x2: -10, y2: 10 },\n *   { kind: 'line', x1: -10, y1: 10, x2: -10, y2: -10 },\n * ] }] })\n * const solid = await cad.thicken(face, 2)\n */\nexport const thicken = defineOp({\n  name: 'thicken',\n  brep(input: Shape, thickness: number) {\n    if (!input) throw new Error('E_THICKEN_NO_SHAPE: thicken requires a face/shell shape')\n    if (typeof thickness !== 'number' || !Number.isFinite(thickness) || thickness === 0) {\n      throw new Error('E_THICKEN_BAD_THICKNESS: thicken.thickness must be a non-zero number')\n    }\n    const kernel = getBrepApi()\n    const handle = brepOf(input) as BrepHandle | undefined\n    if (!handle) throw new Error('[thicken] input is not BREP')\n    // C5 实现面接入：occt 提供 thickenWithHistory ⇒ 用权威面演化，不用无历史 thicken。\n    // thicken 是 occt-only 平台 op（engines:['occt']），brepkit 在执行前已被拒绝，\n    // 因此不存在「有裸方法却因无 history 而报错」的回退分支。\n    const inputHashes = getFaceHashes(kernel, handle)\n    // wasm EvolutionData.result 是 ShapeHandle 品牌；与 topologyFns.ts 同款，\n    // 在来源处一次性 cast 为引擎中立槽型（运行时同构，句柄不跨引擎）。\n    const evo = getOcctKernel().thickenWithHistory(\n      handle as never,\n      thickness,\n      1e-6,\n      inputHashes,\n      HASH_UPPER_BOUND,\n    ) as unknown as BrepEvolutionData\n    const result = evo.result\n    const faceEvolution = decodeEvolution(kernel, evo, handle, result)\n    return fromBrep(solidToShape(kernel, result), { solid: result, faceEvolution }) as Shape\n  },\n  engines: ['occt'],\n  naming: { kind: 'unmodeled', reason: 'thickened-body face vocabulary not defined' } as Provenance,\n})\n"]}
+{"version":3,"file":"thicken.js","sourceRoot":"","sources":["../../src/api/thicken.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AAGH,OAAO,EAAE,QAAQ,EAAE,MAAM,QAAQ,CAAA;AAEjC,OAAO,EAAE,UAAU,EAAE,MAAM,uBAAuB,CAAA;AAClD,OAAO,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,UAAU,CAAA;AAC3C,OAAO,EAAE,YAAY,EAAE,MAAM,kBAAkB,CAAA;AAC/C,OAAO,EAAE,aAAa,EAAE,MAAM,2BAA2B,CAAA;AACzD,OAAO,EAAE,gBAAgB,EAAE,eAAe,EAAE,aAAa,EAAE,MAAM,wBAAwB,CAAA;AAGzF;;;;;;;;;;;;;;;;;;;;GAoBG;AACH,MAAM,CAAC,MAAM,OAAO,GAAG,QAAQ,CAAC;IAC9B,IAAI,EAAE,SAAS;IACf,IAAI,CAAC,KAAY,EAAE,SAAiB;QAClC,IAAI,CAAC,KAAK;YAAE,MAAM,IAAI,KAAK,CAAC,yDAAyD,CAAC,CAAA;QACtF,IAAI,OAAO,SAAS,KAAK,QAAQ,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,SAAS,CAAC,IAAI,SAAS,KAAK,CAAC,EAAE,CAAC;YACpF,MAAM,IAAI,KAAK,CAAC,sEAAsE,CAAC,CAAA;QACzF,CAAC;QACD,MAAM,MAAM,GAAG,UAAU,EAAE,CAAA;QAC3B,MAAM,MAAM,GAAG,MAAM,CAAC,KAAK,CAA2B,CAAA;QACtD,IAAI,CAAC,MAAM;YAAE,MAAM,IAAI,KAAK,CAAC,6BAA6B,CAAC,CAAA;QAC3D,8DAA8D;QAC9D,gEAAgE;QAChE,mCAAmC;QACnC,MAAM,WAAW,GAAG,aAAa,CAAC,MAAM,EAAE,MAAM,CAAC,CAAA;QACjD,kEAAkE;QAClE,sCAAsC;QACtC,MAAM,GAAG,GAAG,aAAa,EAAE,CAAC,kBAAkB,CAC5C,MAAe,EACf,SAAS,EACT,IAAI,EACJ,WAAW,EACX,gBAAgB,CACe,CAAA;QACjC,MAAM,MAAM,GAAG,GAAG,CAAC,MAAM,CAAA;QACzB,MAAM,aAAa,GAAG,eAAe,CAAC,MAAM,EAAE,GAAG,EAAE,MAAM,EAAE,MAAM,CAAC,CAAA;QAClE,OAAO,QAAQ,CAAC,YAAY,CAAC,MAAM,EAAE,MAAM,CAAC,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,aAAa,EAAE,CAAU,CAAA;IAC1F,CAAC;IACD,OAAO,EAAE,CAAC,MAAM,CAAC;IACjB,MAAM,EAAE,EAAE,IAAI,EAAE,WAAW,EAAE,MAAM,EAAE,4CAA4C,EAAgB;IAEjG,SAAS,EAAE,EAAE;CACd,CAAC,CAAA","sourcesContent":["/**\n * api thicken — 加厚：把面（或壳）沿法向偏置成等厚实体（手写平台 op，Phase 4 → G5 core 直连）\n *\n * @platform occt — 实现走 occt-wasm 原生 `thicken`（BRepOffsetAPI_MakeThickSolid；\n * engine-method-map 里 `thicken` 为 occt-only）⇒ 平台 op：defineOp 声明\n * `engines: ['occt']`（D11）。\n *\n * core-decouple G5：旧 `thicken`（brepjs modifierFns，thickenWithHistory）\n * 替换为 occt-wasm 原生直连，产物经 `fromBrep` 收养（替代 l3-bridge adoptEntity）。\n */\n\nimport type { Shape } from '../mesh/types'\nimport { defineOp } from '../sdk'\nimport type { Provenance } from '../topology/naming/lineage'\nimport { getBrepApi } from '../brep/handle-bridge'\nimport { brepOf, fromBrep } from '../shape'\nimport { solidToShape } from '../brep/brep-ops'\nimport { getOcctKernel } from '../occt-kernel/occtKernel'\nimport { HASH_UPPER_BOUND, decodeEvolution, getFaceHashes } from '../brep/face-evolution'\nimport type { BrepHandle, BrepEvolutionData } from '../brep/engine/types'\n\n/**\n * 加厚：把面（或壳）沿法向偏置成等厚实体。\n * @group 特征\n * @inputs 1\n * @async true\n * @qual ok\n * @name thicken\n * @note 平台 op：仅 occt 引擎（BRepOffset）。输入为面/壳 Shape（如 cad.profile 产物）；\n *       正厚度沿法向、负厚度反向。非 occt 引擎执行前报错；brep_mock 不拦截。\n * @returns Shape 加厚后的实体。\n * @param input - 面/壳几何（cad.profile 产物等）。type:Shape required:true\n * @param thickness - 厚度（mm，≠0；正沿法向，负反向）。type:number required:true\n * @example\n * const face = cad.profile({ contours: [{ segments: [\n *   { kind: 'line', x1: -10, y1: -10, x2: 10, y2: -10 },\n *   { kind: 'line', x1: 10, y1: -10, x2: 10, y2: 10 },\n *   { kind: 'line', x1: 10, y1: 10, x2: -10, y2: 10 },\n *   { kind: 'line', x1: -10, y1: 10, x2: -10, y2: -10 },\n * ] }] })\n * const solid = await cad.thicken(face, 2)\n */\nexport const thicken = defineOp({\n  name: 'thicken',\n  brep(input: Shape, thickness: number) {\n    if (!input) throw new Error('E_THICKEN_NO_SHAPE: thicken requires a face/shell shape')\n    if (typeof thickness !== 'number' || !Number.isFinite(thickness) || thickness === 0) {\n      throw new Error('E_THICKEN_BAD_THICKNESS: thicken.thickness must be a non-zero number')\n    }\n    const kernel = getBrepApi()\n    const handle = brepOf(input) as BrepHandle | undefined\n    if (!handle) throw new Error('[thicken] input is not BREP')\n    // C5 实现面接入：occt 提供 thickenWithHistory ⇒ 用权威面演化，不用无历史 thicken。\n    // thicken 是 occt-only 平台 op（engines:['occt']），brepkit 在执行前已被拒绝，\n    // 因此不存在「有裸方法却因无 history 而报错」的回退分支。\n    const inputHashes = getFaceHashes(kernel, handle)\n    // wasm EvolutionData.result 是 ShapeHandle 品牌；与 topologyFns.ts 同款，\n    // 在来源处一次性 cast 为引擎中立槽型（运行时同构，句柄不跨引擎）。\n    const evo = getOcctKernel().thickenWithHistory(\n      handle as never,\n      thickness,\n      1e-6,\n      inputHashes,\n      HASH_UPPER_BOUND,\n    ) as unknown as BrepEvolutionData\n    const result = evo.result\n    const faceEvolution = decodeEvolution(kernel, evo, handle, result)\n    return fromBrep(solidToShape(kernel, result), { solid: result, faceEvolution }) as Shape\n  },\n  engines: ['occt'],\n  naming: { kind: 'unmodeled', reason: 'thickened-body face vocabulary not defined' } as Provenance,\n\n  paramDims: {},\n})\n"]}

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

@@ -1 +1 @@
-{"version":3,"file":"transform.d.ts","sourceRoot":"","sources":["../../src/api/transform.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;GAuBG;AAEH,OAAO,KAAK,EAAE,KAAK,EAAQ,MAAM,eAAe,CAAA;AAuBhD;;;GAGG;AACH,wBAAgB,qBAAqB,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG,IAAI,CAE3E;AAED;;;;GAIG;AACH,wBAAgB,kBAAkB,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG,IAAI,CAKxE;AAED;;;;;;GAMG;AACH,wBAAgB,iBAAiB,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG,IAAI,CAQvE;AAED;;;;;GAKG;AACH,wBAAgB,mBAAmB,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG,IAAI,CAQzE;AAwJD;;;;;;;;;;;;;IAaI;AACJ,eAAO,MAAM,SAAS;;CAmBpB,CAAA;AAEF;;;;;;;;;;;;;;;GAeG;AACH,eAAO,MAAM,YAAY;;CAkBvB,CAAA;AAEF;;;;;;;;;;;;;;;;GAgBG;AACH,eAAO,MAAM,KAAK;;CAoBhB,CAAA;AAEF;;;;;;;;;;;;;;;;GAgBG;AACH,eAAO,MAAM,OAAO;;CAoBlB,CAAA"}
+{"version":3,"file":"transform.d.ts","sourceRoot":"","sources":["../../src/api/transform.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;GAuBG;AAEH,OAAO,KAAK,EAAE,KAAK,EAAQ,MAAM,eAAe,CAAA;AAuBhD;;;GAGG;AACH,wBAAgB,qBAAqB,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG,IAAI,CAE3E;AAED;;;;GAIG;AACH,wBAAgB,kBAAkB,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG,IAAI,CAKxE;AAED;;;;;;GAMG;AACH,wBAAgB,iBAAiB,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG,IAAI,CAQvE;AAED;;;;;GAKG;AACH,wBAAgB,mBAAmB,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG,IAAI,CAQzE;AAwJD;;;;;;;;;;;;;IAaI;AACJ,eAAO,MAAM,SAAS;;CAmBpB,CAAA;AAEF;;;;;;;;;;;;;;;GAeG;AACH,eAAO,MAAM,YAAY;;CAkBvB,CAAA;AAEF;;;;;;;;;;;;;;;;GAgBG;AACH,eAAO,MAAM,KAAK;;CAsBhB,CAAA;AAEF;;;;;;;;;;;;;;;;GAgBG;AACH,eAAO,MAAM,OAAO;;CAsBlB,CAAA"}

package/dist/api/transform.js

@@ -341,6 +341,7 @@ export const scale = defineOp({
     // （{center}）经 dual-form-args 尾参合并并入。
     slotMap: { keys: ['factor'], shapeArity: 1 },
     naming: { kind: 'kernel', newFaces: { via: 'byAdjacency' } },
+    paramDims: {},
 });
 /**
  * 非等比缩放几何体（faijs 语义，§1.4.4 裁决 2）。factor 定死 vec3 — 等比缩放请用
@@ -382,5 +383,6 @@ export const scale3d = defineOp({
     // 标量 factor（如 `scale(p, 2)`）由 assertScale3dParams 拒绝并提示 `scale`。
     slotMap: { keys: ['factor'], vec3Keys: ['factor'], shapeArity: 1 },
     naming: { kind: 'kernel', newFaces: { via: 'byAdjacency' } },
+    paramDims: {},
 });
 //# sourceMappingURL=transform.js.map

package/dist/api/transform.js.map

@@ -1 +1 @@
-{"version":3,"file":"transform.js","sourceRoot":"","sources":["../../src/api/transform.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;GAuBG;AAGH,mGAAmG;AACnG,OAAO,KAAK,aAAa,MAAM,mBAAmB,CAAA;AAClD,OAAO,EAAE,aAAa,EAAE,UAAU,EAAE,SAAS,EAAE,YAAY,EAAE,MAAM,kBAAkB,CAAA;AACrF,OAAO,EACL,iBAAiB,EACjB,qBAAqB,EACrB,uBAAuB,EACvB,sBAAsB,EACtB,0BAA0B,GAC3B,MAAM,wBAAwB,CAAA;AAE/B,OAAO,EAAE,UAAU,EAAE,MAAM,uBAAuB,CAAA;AAClD,OAAO,EAAE,gBAAgB,EAAE,MAAM,+BAA+B,CAAA;AAChE,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,cAAc,EAAE,YAAY,EAAE,MAAM,UAAU,CAAA;AACzE,OAAO,EAAE,mBAAmB,EAAE,MAAM,0BAA0B,CAAA;AAG9D,OAAO,EAAE,QAAQ,EAAE,MAAM,QAAQ,CAAA;AACjC,OAAO,EAAE,UAAU,EAAE,oBAAoB,EAAE,MAAM,UAAU,CAAA;AAC3D,OAAO,EAAE,mBAAmB,EAAE,gBAAgB,EAAE,MAAM,0BAA0B,CAAA;AAGhF;;;GAGG;AACH,MAAM,UAAU,qBAAqB,CAAC,MAA+B;IACnE,UAAU,CAAC,MAAM,CAAC,MAAM,EAAE,kBAAkB,CAAC,CAAA;AAC/C,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,kBAAkB,CAAC,MAA+B;IAChE,UAAU,CAAC,MAAM,CAAC,MAAM,EAAE,qBAAqB,CAAC,CAAA;IAChD,IAAI,MAAM,CAAC,KAAK,KAAK,SAAS,IAAI,MAAM,CAAC,KAAK,KAAK,IAAI,EAAE,CAAC;QACxD,UAAU,CAAC,MAAM,CAAC,KAAK,EAAE,oBAAoB,CAAC,CAAA;IAChD,CAAC;AACH,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,iBAAiB,CAAC,MAA+B;IAC/D,IAAI,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC;QACjC,MAAM,IAAI,KAAK,CACb,yEAAyE;YACzE,2EAA2E,CAC5E,CAAA;IACH,CAAC;IACD,oBAAoB,CAAC,MAAM,CAAC,MAAM,EAAE,cAAc,CAAC,CAAA;AACrD,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,mBAAmB,CAAC,MAA+B;IACjE,IAAI,OAAO,MAAM,CAAC,MAAM,KAAK,QAAQ,EAAE,CAAC;QACtC,MAAM,IAAI,KAAK,CACb,sEAAsE;YACtE,mDAAmD,CACpD,CAAA;IACH,CAAC;IACD,UAAU,CAAC,MAAM,CAAC,MAAM,EAAE,gBAAgB,CAAC,CAAA;AAC7C,CAAC;AAED;;;;;;;;;;;;;;;GAeG;AACH;;;;;;;GAOG;AACH,SAAS,iBAAiB,CAAC,MAAY;IACrC,IAAI,GAAG,GAAG,CAAC,CAAC,CAAA;IACZ,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;QAC3B,IAAI,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,GAAG,KAAK,EAAE,CAAC;YAChC,IAAI,GAAG,KAAK,CAAC,CAAC;gBAAE,OAAO,CAAC,CAAC,CAAA;YACzB,GAAG,GAAG,CAAC,CAAA;QACT,CAAC;IACH,CAAC;IACD,OAAO,GAAqB,CAAA;AAC9B,CAAC;AAED,SAAS,aAAa,CAAC,EAAU,EAAE,KAAY,EAAE,MAA+B;IAC9E,4EAA4E;IAC5E,MAAM,MAAM,GAAG,UAAU,EAAE,CAAA;IAC3B,MAAM,UAAU,GAAG,MAAM,CAAC,KAAK,CAA2B,CAAA;IAC1D,IAAI,CAAC,UAAU;QAAE,MAAM,IAAI,KAAK,CAAC,mCAAmC,CAAC,CAAA;IAErE,wCAAwC;IACxC,wDAAwD;IACxD,oFAAoF;IACpF,qDAAqD;IACrD,MAAM,mBAAmB,GAAG,gBAAgB,CAAC,sBAAsB,CAAC,CAAA;IACpE,MAAM,eAAe,GAAG,gBAAgB,CAAC,kBAAkB,CAAC,CAAA;IAC5D,MAAM,gBAAgB,GAAG,gBAAgB,CAAC,mBAAmB,CAAC,CAAA;IAE9D,IAAI,WAAuB,CAAA;IAC3B,gDAAgD;IAChD,IAAI,gBAA+B,CAAA;IAEnC,IAAI,EAAE,KAAK,WAAW,EAAE,CAAC;QACvB,IAAI,mBAAmB,EAAE,CAAC;YACxB,uEAAuE;YACvE,MAAM,CAAC,GAAG,0BAA0B,CAAC,MAAM,EAAE,UAAU,EAAE,MAAM,CAAC,MAAc,CAAC,CAAA;YAC/E,WAAW,GAAG,CAAC,CAAC,MAAM,CAAA;YACtB,gBAAgB,GAAG,CAAC,CAAC,SAAS,CAAA;QAChC,CAAC;aAAM,CAAC;YACN,yDAAyD;YACzD,WAAW,GAAG,aAAa,CAAC,MAAM,EAAE,UAAU,EAAE,MAAM,CAAC,MAAc,CAAC,CAAA;YACtE,gBAAgB,GAAG,qBAAqB,CAAC,MAAM,EAAE,UAAU,EAAE,WAAW,CAAC,CAAA;QAC3E,CAAC;IACH,CAAC;SAAM,IAAI,EAAE,KAAK,OAAO,EAAE,CAAC;QAC1B,IAAI,eAAe,EAAE,CAAC;YACpB,yEAAyE;YACzE,MAAM,CAAC,GAAG,sBAAsB,CAC9B,MAAM,EACN,UAAU,EACT,MAAM,CAAC,MAA2B,IAAI,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAChD,MAAM,CAAC,MAAgB,CACxB,CAAA;YACD,WAAW,GAAG,CAAC,CAAC,MAAM,CAAA;YACtB,gBAAgB,GAAG,CAAC,CAAC,SAAS,CAAA;QAChC,CAAC;aAAM,CAAC;YACN,qDAAqD;YACrD,MAAM,MAAM,GAAI,MAAM,CAAC,MAA2B,IAAI,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAA;YAC/D,WAAW,GAAG,SAAS,CAAC,MAAM,EAAE,UAAU,EAAE,MAAM,CAAC,MAAgB,EAAE,MAAM,CAAC,CAAA;YAC5E,gBAAgB,GAAG,qBAAqB,CAAC,MAAM,EAAE,UAAU,EAAE,WAAW,CAAC,CAAA;QAC3E,CAAC;IACH,CAAC;SAAM,IAAI,EAAE,KAAK,cAAc,EAAE,CAAC;QACjC,2CAA2C;QAC3C,8DAA8D;QAC9D,MAAM,MAAM,GAAG,MAAM,CAAC,MAAc,CAAA;QACpC,MAAM,OAAO,GAAG,iBAAiB,CAAC,MAAM,CAAC,CAAA;QACzC,IAAI,gBAAgB,IAAI,OAAO,KAAK,CAAC,CAAC,EAAE,CAAC;YACvC,MAAM,IAAI,GAAS,OAAO,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAA;YACpF,MAAM,KAAK,GAAI,MAAM,CAAC,KAA0B,IAAI,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAA;YAC7D,MAAM,CAAC,GAAG,uBAAuB,CAAC,MAAM,EAAE,UAAU,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,MAAM,CAAC,OAAO,CAAC,GAAG,IAAI,CAAC,EAAE,CAAC,GAAG,GAAG,CAAC,CAAA;YACrG,WAAW,GAAG,CAAC,CAAC,MAAM,CAAA;YACtB,gBAAgB,GAAG,CAAC,CAAC,SAAS,CAAA;QAChC,CAAC;aAAM,CAAC;YACN,WAAW,GAAG,UAAU,CAAC,MAAM,EAAE,UAAU,EAAE,MAAM,EAAE,MAAM,CAAC,KAAyB,CAAC,CAAA;YACtF,gBAAgB,GAAG,qBAAqB,CAAC,MAAM,EAAE,UAAU,EAAE,WAAW,CAAC,CAAA;QAC3E,CAAC;IACH,CAAC;SAAM,CAAC;QACN,uCAAuC;QACvC,+DAA+D;QAC/D,WAAW,GAAG,SAAS,CAAC,MAAM,EAAE,UAAU,EAAE,MAAM,CAAC,MAAuB,EAAE,MAAM,CAAC,MAA0B,CAAC,CAAA;QAC9G,gBAAgB,GAAG,qBAAqB,CAAC,MAAM,EAAE,UAAU,EAAE,WAAW,CAAC,CAAA;IAC3E,CAAC;IAED,gEAAgE;IAChE,MAAM,UAAU,GAAG,cAAc,CAAC,KAAK,CAA0B,CAAA;IACjE,IAAI,SAAgC,CAAA;IACpC,IAAI,UAAU,IAAI,UAAU,CAAC,IAAI,GAAG,CAAC,EAAE,CAAC;QACtC,SAAS,GAAG,mBAAmB,CAAC,UAAU,EAAE,gBAAgB,CAAC,CAAA;IAC/D,CAAC;IAED,OAAO,QAAQ,CAAC,YAAY,CAAC,MAAM,EAAE,WAAW,CAAC,EAAE;QACjD,KAAK,EAAE,WAAW;QAClB,sDAAsD;QACtD,aAAa,EAAE,iBAAiB,CAAC,MAAM,EAAE,WAAW,CAAC;QACrD,SAAS;KACV,CAAC,CAAA;AACJ,CAAC;AAED;;;;;;;;;;;;;;;;GAgBG;AACH,SAAS,kBAAkB,CAAC,EAAU,EAAE,KAAY,EAAE,MAA+B;IACnF,MAAM,KAAK,GAAG,mBAAmB,CAAC,KAAK,EAAE,EAAE,CAAC,CAAA;IAC5C,IAAI,MAAkB,CAAA;IACtB,IAAI,EAAE,KAAK,WAAW,EAAE,CAAC;QACvB,MAAM,GAAG,aAAa,CAAC,KAAK,CAAC,MAAM,EAAE,KAAK,CAAC,KAAK,EAAE,MAAM,CAAC,MAAc,CAAC,CAAA;IAC1E,CAAC;SAAM,IAAI,EAAE,KAAK,cAAc,EAAE,CAAC;QACjC,MAAM,GAAG,UAAU,CAAC,KAAK,CAAC,MAAM,EAAE,KAAK,CAAC,KAAK,EAAE,MAAM,CAAC,MAAc,EAAE,MAAM,CAAC,KAAyB,CAAC,CAAA;IACzG,CAAC;SAAM,IAAI,EAAE,KAAK,OAAO,EAAE,CAAC;QAC1B,MAAM,GAAG,SAAS,CAAC,KAAK,CAAC,MAAM,EAAE,KAAK,CAAC,KAAK,EAAE,MAAM,CAAC,MAAgB,EAAE,MAAM,CAAC,MAA0B,CAAC,CAAA;IAC3G,CAAC;SAAM,CAAC;QACN,MAAM,GAAG,SAAS,CAAC,KAAK,CAAC,MAAM,EAAE,KAAK,CAAC,KAAK,EAAE,MAAM,CAAC,MAAc,EAAE,MAAM,CAAC,MAA0B,CAAC,CAAA;IACzG,CAAC;IACD,OAAO,gBAAgB,CAAC,KAAK,EAAE,MAAM,CAAC,CAAA;AACxC,CAAC;AAED;;;;;;;;;;;;;IAaI;AACJ,MAAM,CAAC,MAAM,SAAS,GAAG,QAAQ,CAAC;IAChC,IAAI,EAAE,WAAW;IACjB,WAAW,EAAE,CAAC,SAAS,CAAC;IACxB,IAAI,EAAE,CAAC,KAAY,EAAE,MAA+B,EAAE,EAAE;QACtD,IAAI,CAAC,KAAK;YAAE,MAAM,IAAI,KAAK,CAAC,mCAAmC,CAAC,CAAA;QAChE,qBAAqB,CAAC,MAAM,CAAC,CAAA;QAC7B,IAAI,YAAY,CAAC,KAAK,CAAC;YAAE,OAAO,kBAAkB,CAAC,WAAW,EAAE,KAAK,EAAE,MAAM,CAAC,CAAA;QAC9E,OAAO,aAAa,CAAC,SAAS,CAAC,KAAK,EAAE,MAAM,CAAC,MAAc,CAAC,CAAA;IAC9D,CAAC;IACD,IAAI,EAAE,CAAC,KAAY,EAAE,MAA+B,EAAE,EAAE;QACtD,IAAI,CAAC,KAAK;YAAE,MAAM,IAAI,KAAK,CAAC,mCAAmC,CAAC,CAAA;QAChE,qBAAqB,CAAC,MAAM,CAAC,CAAA;QAC7B,OAAO,aAAa,CAAC,WAAW,EAAE,KAAK,EAAE,MAAM,CAAC,CAAA;IAClD,CAAC;IACD,2EAA2E;IAC3E,2EAA2E;IAC3E,OAAO,EAAE,EAAE,IAAI,EAAE,CAAC,QAAQ,CAAC,EAAE,QAAQ,EAAE,CAAC,QAAQ,CAAC,EAAE,UAAU,EAAE,CAAC,EAAE;IAClE,SAAS,EAAE,EAAE,MAAM,EAAE,QAAQ,EAAE;IAC/B,MAAM,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,QAAQ,EAAE,EAAE,GAAG,EAAE,aAAa,EAAE,EAAgB;CAC3E,CAAC,CAAA;AAEF;;;;;;;;;;;;;;;GAeG;AACH,MAAM,CAAC,MAAM,YAAY,GAAG,QAAQ,CAAC;IACnC,IAAI,EAAE,cAAc;IACpB,WAAW,EAAE,CAAC,SAAS,CAAC;IACxB,IAAI,EAAE,CAAC,KAAY,EAAE,MAA+B,EAAE,EAAE;QACtD,IAAI,CAAC,KAAK;YAAE,MAAM,IAAI,KAAK,CAAC,sCAAsC,CAAC,CAAA;QACnE,kBAAkB,CAAC,MAAM,CAAC,CAAA;QAC1B,IAAI,YAAY,CAAC,KAAK,CAAC;YAAE,OAAO,kBAAkB,CAAC,cAAc,EAAE,KAAK,EAAE,MAAM,CAAC,CAAA;QACjF,OAAO,aAAa,CAAC,YAAY,CAAC,KAAK,EAAE,MAAM,CAAC,MAAc,EAAE,MAAM,CAAC,KAAyB,CAAC,CAAA;IACnG,CAAC;IACD,IAAI,EAAE,CAAC,KAAY,EAAE,MAA+B,EAAE,EAAE;QACtD,IAAI,CAAC,KAAK;YAAE,MAAM,IAAI,KAAK,CAAC,sCAAsC,CAAC,CAAA;QACnE,kBAAkB,CAAC,MAAM,CAAC,CAAA;QAC1B,OAAO,aAAa,CAAC,cAAc,EAAE,KAAK,EAAE,MAAM,CAAC,CAAA;IACrD,CAAC;IACD,iFAAiF;IACjF,OAAO,EAAE,EAAE,IAAI,EAAE,CAAC,QAAQ,CAAC,EAAE,QAAQ,EAAE,CAAC,QAAQ,CAAC,EAAE,UAAU,EAAE,CAAC,EAAE;IAClE,SAAS,EAAE,EAAE,MAAM,EAAE,OAAO,EAAE,KAAK,EAAE,QAAQ,EAAE;IAC/C,MAAM,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,QAAQ,EAAE,EAAE,GAAG,EAAE,aAAa,EAAE,EAAgB;CAC3E,CAAC,CAAA;AAEF;;;;;;;;;;;;;;;;GAgBG;AACH,MAAM,CAAC,MAAM,KAAK,GAAG,QAAQ,CAAC;IAC5B,IAAI,EAAE,OAAO;IACb,WAAW,EAAE,CAAC,SAAS,CAAC;IACxB,IAAI,EAAE,CAAC,KAAY,EAAE,MAA+B,EAAE,EAAE;QACtD,IAAI,CAAC,KAAK;YAAE,MAAM,IAAI,KAAK,CAAC,+BAA+B,CAAC,CAAA;QAC5D,iBAAiB,CAAC,MAAM,CAAC,CAAA;QACzB,IAAI,YAAY,CAAC,KAAK,CAAC;YAAE,OAAO,kBAAkB,CAAC,OAAO,EAAE,KAAK,EAAE,MAAM,CAAC,CAAA;QAC1E,OAAO,aAAa,CAAC,KAAK,CAAC,KAAK,EAAE,MAAM,CAAC,MAAgB,EAAE,MAAM,CAAC,MAA0B,CAAC,CAAA;IAC/F,CAAC;IACD,IAAI,EAAE,CAAC,KAAY,EAAE,MAA+B,EAAE,EAAE;QACtD,IAAI,CAAC,KAAK;YAAE,MAAM,IAAI,KAAK,CAAC,+BAA+B,CAAC,CAAA;QAC5D,iBAAiB,CAAC,MAAM,CAAC,CAAA;QACzB,OAAO,aAAa,CAAC,OAAO,EAAE,KAAK,EAAE,MAAM,CAAC,CAAA;IAC9C,CAAC;IACD,kDAAkD;IAClD,MAAM,EAAE,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,EAAE,OAAO,EAAE;IAC7C,uEAAuE;IACvE,qCAAqC;IACrC,OAAO,EAAE,EAAE,IAAI,EAAE,CAAC,QAAQ,CAAC,EAAE,UAAU,EAAE,CAAC,EAAE;IAC5C,MAAM,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,QAAQ,EAAE,EAAE,GAAG,EAAE,aAAa,EAAE,EAAgB;CAC3E,CAAC,CAAA;AAEF;;;;;;;;;;;;;;;;GAgBG;AACH,MAAM,CAAC,MAAM,OAAO,GAAG,QAAQ,CAAC;IAC9B,IAAI,EAAE,SAAS;IACf,WAAW,EAAE,CAAC,SAAS,CAAC;IACxB,IAAI,EAAE,CAAC,KAAY,EAAE,MAA+B,EAAE,EAAE;QACtD,IAAI,CAAC,KAAK;YAAE,MAAM,IAAI,KAAK,CAAC,iCAAiC,CAAC,CAAA;QAC9D,mBAAmB,CAAC,MAAM,CAAC,CAAA;QAC3B,IAAI,YAAY,CAAC,KAAK,CAAC;YAAE,OAAO,kBAAkB,CAAC,SAAS,EAAE,KAAK,EAAE,MAAM,CAAC,CAAA;QAC5E,OAAO,aAAa,CAAC,OAAO,CAAC,KAAK,EAAE,MAAM,CAAC,MAAc,EAAE,MAAM,CAAC,MAA0B,CAAC,CAAA;IAC/F,CAAC;IACD,IAAI,EAAE,CAAC,KAAY,EAAE,MAA+B,EAAE,EAAE;QACtD,IAAI,CAAC,KAAK;YAAE,MAAM,IAAI,KAAK,CAAC,iCAAiC,CAAC,CAAA;QAC9D,mBAAmB,CAAC,MAAM,CAAC,CAAA;QAC3B,OAAO,aAAa,CAAC,SAAS,EAAE,KAAK,EAAE,MAAM,CAAC,CAAA;IAChD,CAAC;IACD,kDAAkD;IAClD,MAAM,EAAE,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,OAAO,EAAE;IAC3C,wEAAwE;IACxE,iEAAiE;IACjE,OAAO,EAAE,EAAE,IAAI,EAAE,CAAC,QAAQ,CAAC,EAAE,QAAQ,EAAE,CAAC,QAAQ,CAAC,EAAE,UAAU,EAAE,CAAC,EAAE;IAClE,MAAM,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,QAAQ,EAAE,EAAE,GAAG,EAAE,aAAa,EAAE,EAAgB;CAC3E,CAAC,CAAA","sourcesContent":["/**\n * api transform — 变换对象库函数（translate/rotate_euler/scale/scale3d）\n *\n * 平台分层（narrowing plan Phase 5，D11 + 2026-09-28 D 批降级）：\n * - `translate` / `scale`：**中立 op**（不再声明 `engines:['occt']`）。BREP 路径按引擎\n *   事实**静态定轨**（读 `hasNativeHistory`——引擎身份是唯一判据，非运行时探测）：\n *   - occt（原生有 `translateWithHistory` / `scaleWithHistory`）→ 走 face-evolution.ts 的\n *     `translateWithHashEvolution` / `scaleWithHashEvolution` 权威面演化（历史路径），\n *     产 hash 面映射并传播 roleTable；\n *   - brepkit（无该二核函数，但裸 `kernel.translate` / `kernel.scale` 是真实现）→\n *     L1 `translateBrep` / `scaleBrep`：几何精确，**另加 identityHashEvolution**。\n *     变换不改变面数/顺序，恒等映射真实成立（非伪造）——挂恒等面演化并传播 roleTable，\n *     选面/命名在降级路径不丢（区别于 boolean/chamfer 这种毁面重造、严禁伪造的情形）。\n * - `rotate_euler` / `scale3d`：**中立 op**——内核无单次 WithHistory 可表达\n *   （任意欧拉+pivot / 非等比），走 `rotateBrep` / `scaleBrep` + identity 面演化\n *   （只用 L1，跨引擎一致，不声明 engines）。\n *\n * dispatchPath 静态判定 brep/mesh，\n * BREP 路径用 brepOf(input) 取输入实体、fromBrep 登记输出实体。\n *\n * 网格链（方案 2026-10-01 §4 Phase 4 / B3 批）：`mesh:` 实现分两支——**网格实体**\n * 走网格后端内核变换句柄（保持网格零件身份与近似拓扑），**裸网格**维持既有的顶点\n * 烘焙（manifold 链，无身份可言）。两支靠 `hasMeshSolid` 区分，不靠\"能不能跑\"试错。\n */\n\nimport type { Shape, Vec3 } from '../mesh/types'\n// B3 correction (2026-10-06): no library-face cad aggregate — import the impl from its own module.\nimport * as meshTransform from '../mesh/transform'\nimport { translateBrep, rotateBrep, scaleBrep, solidToShape } from '../brep/brep-ops'\nimport {\n  identityEvolution,\n  identityHashEvolution,\n  rotateWithHashEvolution,\n  scaleWithHashEvolution,\n  translateWithHashEvolution,\n} from '../brep/face-evolution'\nimport type { HashEvolution } from '../brep/face-evolution'\nimport { getBrepApi } from '../brep/handle-bridge'\nimport { hasNativeHistory } from '../brep/engine/native-history'\nimport { fromBrep, brepOf, inputRoleTable, hasMeshSolid } from '../shape'\nimport { propagateAllOrigins } from '../topology/naming/roles'\nimport type { RoleTable } from '../topology/naming/types'\nimport type { Provenance } from '../topology/naming/lineage'\nimport { defineOp } from '../sdk'\nimport { assertVec3, assertPositiveNumber } from './assert'\nimport { meshSolidBasicEntry, meshSolidProduct } from './internal/mesh-solid-op'\nimport type { BrepHandle } from '../brep/engine/types'\n\n/**\n * Validate translate parameters: `offset` must be a vec3.\n * @param params - the raw translate operation parameters.\n */\nexport function assertTranslateParams(params: Record<string, unknown>): void {\n  assertVec3(params.offset, 'translate.offset')\n}\n\n/**\n * Validate rotate_euler parameters: `angles` must be a vec3, and `pivot`\n * (if provided) must also be a vec3.\n * @param params - the raw rotate_euler operation parameters.\n */\nexport function assertRotateParams(params: Record<string, unknown>): void {\n  assertVec3(params.angles, 'rotate_euler.angles')\n  if (params.pivot !== undefined && params.pivot !== null) {\n    assertVec3(params.pivot, 'rotate_euler.pivot')\n  }\n}\n\n/**\n * Validate scale parameters (brepjs contract, §4.6 裁决 2): `factor` must be a\n * positive number (uniform). The non-uniform array form belongs to `scale3d` —\n * any `scale(p, { factor: [x,y,z] })` call throws an explicit `E_ARGS_FORM`\n * error pointing at `scale3d` (error hint ≠ compatibility).\n * @param params - the raw scale operation parameters.\n */\nexport function assertScaleParams(params: Record<string, unknown>): void {\n  if (Array.isArray(params.factor)) {\n    throw new Error(\n      '[faijs/args] scale: E_ARGS_FORM: uniform scaling takes a single number ' +\n      '(scale(p, s, { center? })). Non-uniform scaling uses scale3d(p, [x,y,z]).',\n    )\n  }\n  assertPositiveNumber(params.factor, 'scale.factor')\n}\n\n/**\n * Validate scale3d parameters (P6: factor locked to Vec3): `factor` must be a\n * vec3. The uniform scalar form belongs to `scale` — any `scale3d(p, 2)` call\n * throws an explicit `E_ARGS_FORM` error pointing at `scale` (§4.6 裁决 2).\n * @param params - the raw scale3d operation parameters.\n */\nexport function assertScale3dParams(params: Record<string, unknown>): void {\n  if (typeof params.factor === 'number') {\n    throw new Error(\n      '[faijs/args] scale3d: E_ARGS_FORM: factor must be a vec3 [x, y, z]. ' +\n      'Uniform scaling now uses scale(p, 2) (§4.6 裁决 2).',\n    )\n  }\n  assertVec3(params.factor, 'scale3d.factor')\n}\n\n/**\n * BREP 路径：变换 solid + 面演化 + roleTable 传播 + 三角化 + fromBrep 登记。\n *\n * 静态双轨：\n * - 引擎声明 `translateWithHistory` / `scaleWithHistory`（occt）→ 权威历史路径\n *   （`translateWithHashEvolution` / `scaleWithHashEvolution`），产内核给出的面映射 + roleTable。\n * - 引擎只声明裸方法（brepkit：裸 `translate`/`scale` 是真实现，但无 `*WithHistory`）→\n *   L1 裸调用 + identityHashEvolution。变换是刚体变换、面数/顺序保持不变，恒等映射\n *   **真实成立**（非伪造；由 brep/face-evolution.ordering.test.ts 钉住）——因此 brepkit\n *   降级路径保留恒等面演化与 roleTable 传播，选面/命名不因降级而丢失。\n * `rotate_euler` / `scale3d` 走 `rotateBrep` / `scaleBrep` + identity 面演化（既有语义，跨引擎中性）。\n * @param op - the transform operation name.\n * @param input - the input geometry.\n * @param params - the operation parameters.\n * @returns the transformed Shape.\n */\n/**\n * 返回欧拉角中唯一非零分量的轴索引（0=X / 1=Y / 2=Z）；多轴同时非零或全零返回 -1。\n *\n * 单轴欧拉角可等价映射到内核单轴 `rotateWithHistory`（绕该轴、以 pivot 为轴上一点），\n * 从而拿到内核权威面演化；多轴欧拉角内核无单次 API 可表达，退回 identity。\n * @param angles - the euler angles in degrees (XYZ order).\n * @returns the single non-zero axis index, or -1.\n */\nfunction singleNonZeroAxis(angles: Vec3): 0 | 1 | 2 | -1 {\n  let idx = -1\n  for (let i = 0; i < 3; i++) {\n    if (Math.abs(angles[i]) > 1e-12) {\n      if (idx !== -1) return -1\n      idx = i\n    }\n  }\n  return idx as 0 | 1 | 2 | -1\n}\n\nfunction transformBrep(op: string, input: Shape, params: Record<string, unknown>): Shape {\n  // L1 面：translateBrep/rotateBrep/scaleBrep/identityHashEvolution 只用 L1（D12）。\n  const kernel = getBrepApi()\n  const inputSolid = brepOf(input) as BrepHandle | undefined\n  if (!inputSolid) throw new Error('[api/transform] input is not BREP')\n\n  // 静态双轨（无运行时 try-catch 回退——按引擎事实在执行前定轨）：\n  // - occt（原生有 *WithHistory）→ 权威历史路径（产内核面映射 + roleTable）。\n  // - brepkit（裸 translate/scale 是真实现，无 *WithHistory）→ L1 裸调用 + identityHashEvolution。\n  //   变换不改变面数/顺序，恒等映射真实成立（非伪造），故仍挂恒等面演化与 roleTable 传播。\n  const hasTranslateHistory = hasNativeHistory('translateWithHistory')\n  const hasScaleHistory = hasNativeHistory('scaleWithHistory')\n  const hasRotateHistory = hasNativeHistory('rotateWithHistory')\n\n  let resultSolid: BrepHandle\n  // 面演化（hash 键）：权威路径用内核映射，降级/中立路径用 identity 恒等映射。\n  let historyEvolution: HashEvolution\n\n  if (op === 'translate') {\n    if (hasTranslateHistory) {\n      // 权威映射：内核 translateWithHistory（1:1 全覆盖，实测见 evolution-bindings.test.ts）\n      const r = translateWithHashEvolution(kernel, inputSolid, params.offset as Vec3)\n      resultSolid = r.result\n      historyEvolution = r.evolution\n    } else {\n      // brepkit 降级：L1 裸 translate（几何精确）+ identity（变换保面序，真实正确）。\n      resultSolid = translateBrep(kernel, inputSolid, params.offset as Vec3)\n      historyEvolution = identityHashEvolution(kernel, inputSolid, resultSolid)\n    }\n  } else if (op === 'scale') {\n    if (hasScaleHistory) {\n      // 权威映射：内核 scaleWithHistory（仅均匀 —— assertScaleParams 已保证 factor 是 number）\n      const r = scaleWithHashEvolution(\n        kernel,\n        inputSolid,\n        (params.center as Vec3 | undefined) ?? [0, 0, 0],\n        params.factor as number,\n      )\n      resultSolid = r.result\n      historyEvolution = r.evolution\n    } else {\n      // brepkit 降级：L1 裸 scale（几何精确）+ identity（变换保面序，真实正确）。\n      const center = (params.center as Vec3 | undefined) ?? [0, 0, 0]\n      resultSolid = scaleBrep(kernel, inputSolid, params.factor as number, center)\n      historyEvolution = identityHashEvolution(kernel, inputSolid, resultSolid)\n    }\n  } else if (op === 'rotate_euler') {\n    // 单轴欧拉角可映射到内核单轴 rotateWithHistory → 权威面演化；\n    // 多轴欧拉角内核无对应 API → L1 rotate + identity（ordering.test.ts 钉住）。\n    const angles = params.angles as Vec3\n    const axisIdx = singleNonZeroAxis(angles)\n    if (hasRotateHistory && axisIdx !== -1) {\n      const axis: Vec3 = axisIdx === 0 ? [1, 0, 0] : axisIdx === 1 ? [0, 1, 0] : [0, 0, 1]\n      const pivot = (params.pivot as Vec3 | undefined) ?? [0, 0, 0]\n      const r = rotateWithHashEvolution(kernel, inputSolid, pivot, axis, (angles[axisIdx] * Math.PI) / 180)\n      resultSolid = r.result\n      historyEvolution = r.evolution\n    } else {\n      resultSolid = rotateBrep(kernel, inputSolid, angles, params.pivot as Vec3 | undefined)\n      historyEvolution = identityHashEvolution(kernel, inputSolid, resultSolid)\n    }\n  } else {\n    // scale3d（非等比）：内核无单次 WithHistory 可表达 →\n    // L1 scale + identity 面演化（face-evolution.ordering.test.ts 钉住）。\n    resultSolid = scaleBrep(kernel, inputSolid, params.factor as number | Vec3, params.center as Vec3 | undefined)\n    historyEvolution = identityHashEvolution(kernel, inputSolid, resultSolid)\n  }\n\n  // 变换面 1:1 保留——沿演化传播 roleTable（所有 origin），跨引擎一致（含 brepkit 降级路径）。\n  const inputTable = inputRoleTable(input) as RoleTable | undefined\n  let roleTable: RoleTable | undefined\n  if (inputTable && inputTable.size > 0) {\n    roleTable = propagateAllOrigins(inputTable, historyEvolution)\n  }\n\n  return fromBrep(solidToShape(kernel, resultSolid), {\n    solid: resultSolid,\n    // 变换维护拓扑，面 ordinal 不变 → 挂 identity 面演化（供显示/选面，跨引擎一致）。\n    faceEvolution: identityEvolution(kernel, resultSolid),\n    roleTable,\n  })\n}\n\n/**\n * 网格实体路径：把同一个变换应用到网格实体的**句柄**上（方案 2026-10-01 §4 Phase 4 / B3 批）。\n *\n * 为什么不复用 `cad.translate` 那套顶点烘焙：那套只动 `positions`、不碰身份槽——\n * 对一个网格零件用它，等于把\"网格实体 + 近似拓扑\"静默降级成\"裸网格\"（下游每一个\n * 网格 op 都会因此失去选面/选边的能力）。网格链的正确姿势与 BREP 侧完全一致：\n * **变换句柄**（内核 `translate`/`transform` 带 kind tag 返回新实体），再由\n * `meshSolidProduct` 重新三角化 + 重建近似拓扑。\n *\n * 面演化在这里**如实缺席**：变换按定义 1:1 保面序，但没有 hash 演化可言（近似拓扑\n * 没有内核 hash）——不造恒等映射，也不传播 roleTable（网格链上没有 roleTable）。\n *\n * @param op - the transform operation name.\n * @param input - the mesh-solid input.\n * @param params - the validated operation parameters.\n * @returns the transformed mesh solid as a new mesh part.\n */\nfunction transformMeshSolid(op: string, input: Shape, params: Record<string, unknown>): Shape {\n  const entry = meshSolidBasicEntry(input, op)\n  let result: BrepHandle\n  if (op === 'translate') {\n    result = translateBrep(entry.kernel, entry.solid, params.offset as Vec3)\n  } else if (op === 'rotate_euler') {\n    result = rotateBrep(entry.kernel, entry.solid, params.angles as Vec3, params.pivot as Vec3 | undefined)\n  } else if (op === 'scale') {\n    result = scaleBrep(entry.kernel, entry.solid, params.factor as number, params.center as Vec3 | undefined)\n  } else {\n    result = scaleBrep(entry.kernel, entry.solid, params.factor as Vec3, params.center as Vec3 | undefined)\n  }\n  return meshSolidProduct(entry, result)\n}\n\n/**\n * 平移几何体。\n * @group 变换\n * @inputs 1\n * @async false\n * @qual ok\n * @name translate\n * @deprecated **`../3d_editor` 消费面**（原 `@deprecated` 措辞已于 2026-09-22 校正）：该 op 为编辑器应用提供（承载拖拽与时间线语句），不属 faijs 平台面，但**不是废弃项**——它服务真实负载。**变更其 API 形态必须同步更新 `../3d_editor`**。faijs 平台面不提供等价 op（需要时须按平台需求另行设计，不得直接搬用本 op）。\n * @returns Shape 平移后的几何，装配的相对位置靠成员的变换语句表达。\n * @param input - 目标几何。type:Shape required:true\n * @param params.offset - 平移向量（mm）。type:[x,y,z] required:true\n * @example\n * const p1 = cad.translate(part0, { offset: [10, 0, 0] })\n  */\nexport const translate = defineOp({\n  name: 'translate',\n  meshEngines: ['brepkit'],\n  mesh: (input: Shape, params: Record<string, unknown>) => {\n    if (!input) throw new Error('[api/translate] no input geometry')\n    assertTranslateParams(params)\n    if (hasMeshSolid(input)) return transformMeshSolid('translate', input, params)\n    return meshTransform.translate(input, params.offset as Vec3)\n  },\n  brep: (input: Shape, params: Record<string, unknown>) => {\n    if (!input) throw new Error('[api/translate] no input geometry')\n    assertTranslateParams(params)\n    return transformBrep('translate', input, params)\n  },\n  // D11: `translate(p, 10, 0, 0)` == `translate(p, { offset: [10, 0, 0] })`;\n  // `offset` is a vec3 slot sitting after the single leading Shape argument.\n  slotMap: { keys: ['offset'], vec3Keys: ['offset'], shapeArity: 1 },\n  paramDims: { offset: 'length' },\n  naming: { kind: 'kernel', newFaces: { via: 'byAdjacency' } } as Provenance,\n})\n\n/**\n * 绕轴旋转几何体。angles 为欧拉角（度，XYZ 顺序）。\n * @group 变换\n * @inputs 1\n * @async false\n * @qual ok\n * @name rotate_euler\n * @deprecated **`../3d_editor` 消费面**（原 `@deprecated` 措辞已于 2026-09-22 校正）：该 op 为编辑器应用提供（承载拖拽与时间线语句），不属 faijs 平台面，但**不是废弃项**——它服务真实负载。**变更其 API 形态必须同步更新 `../3d_editor`**。faijs 平台面不提供等价 op（需要时须按平台需求另行设计，不得直接搬用本 op）。\n * @returns Shape 旋转后的几何。\n * @param input - 目标几何。type:Shape required:true\n * @param params.angles - 欧拉角（度，XYZ 顺序）。type:[x,y,z] required:true\n * @param params.pivot - 旋转中心。type:[x,y,z] 默认 原点\n * @example\n * const p2 = cad.rotate_euler(part0, { angles: [0, 0, 45] })\n * const p3 = cad.rotate_euler(part0, { angles: [0, 0, 45], pivot: [0,0,0] })\n */\nexport const rotate_euler = defineOp({\n  name: 'rotate_euler',\n  meshEngines: ['brepkit'],\n  mesh: (input: Shape, params: Record<string, unknown>) => {\n    if (!input) throw new Error('[api/rotate_euler] no input geometry')\n    assertRotateParams(params)\n    if (hasMeshSolid(input)) return transformMeshSolid('rotate_euler', input, params)\n    return meshTransform.rotate_euler(input, params.angles as Vec3, params.pivot as Vec3 | undefined)\n  },\n  brep: (input: Shape, params: Record<string, unknown>) => {\n    if (!input) throw new Error('[api/rotate_euler] no input geometry')\n    assertRotateParams(params)\n    return transformBrep('rotate_euler', input, params)\n  },\n  // D11: `rotate_euler(p, 0, 0, 45)` == `rotate_euler(p, { angles: [0, 0, 45] })`.\n  slotMap: { keys: ['angles'], vec3Keys: ['angles'], shapeArity: 1 },\n  paramDims: { angles: 'angle', pivot: 'length' },\n  naming: { kind: 'kernel', newFaces: { via: 'byAdjacency' } } as Provenance,\n})\n\n/**\n * 等比缩放几何体（brepjs 契约，§4.6 裁决 2）。factor 只收 number；不动点默认\n * 原点（与旧 `scale(shape, factor, { center? })` 一致），`center` 可选。\n * @group 变换\n * @inputs 1\n * @async false\n * @qual ok\n * @name scale\n * @deprecated **`../3d_editor` 消费面**（原 `@deprecated` 措辞已于 2026-09-22 校正）：该 op 为编辑器应用提供（承载拖拽与时间线语句），不属 faijs 平台面，但**不是废弃项**——它服务真实负载。**变更其 API 形态必须同步更新 `../3d_editor`**。faijs 平台面不提供等价 op（需要时须按平台需求另行设计，不得直接搬用本 op）。\n * @returns Shape 缩放后的几何。\n * @param input - 目标几何。type:Shape required:true\n * @param params.factor - 等比缩放系数（> 0）。type:number required:true\n * @param params.center - 缩放不动点（p 保持不动）。type:[x,y,z] 默认 [0,0,0]（原点）\n * @example\n * const p4 = cad.scale(part0, 2)\n * const p5 = cad.scale(part0, { factor: 2, center: [10, 0, 0] })\n */\nexport const scale = defineOp({\n  name: 'scale',\n  meshEngines: ['brepkit'],\n  mesh: (input: Shape, params: Record<string, unknown>) => {\n    if (!input) throw new Error('[api/scale] no input geometry')\n    assertScaleParams(params)\n    if (hasMeshSolid(input)) return transformMeshSolid('scale', input, params)\n    return meshTransform.scale(input, params.factor as number, params.center as Vec3 | undefined)\n  },\n  brep: (input: Shape, params: Record<string, unknown>) => {\n    if (!input) throw new Error('[api/scale] no input geometry')\n    assertScaleParams(params)\n    return transformBrep('scale', input, params)\n  },\n  // L3 schema: factor/center for codegen/UI panels.\n  schema: { factor: 'number', center: 'vec3?' },\n  // D11（§4.6）：`scale(p, 2)` == `scale(p, { factor: 2 })`（标量槽）；尾参 options\n  // （{center}）经 dual-form-args 尾参合并并入。\n  slotMap: { keys: ['factor'], shapeArity: 1 },\n  naming: { kind: 'kernel', newFaces: { via: 'byAdjacency' } } as Provenance,\n})\n\n/**\n * 非等比缩放几何体（faijs 语义，§1.4.4 裁决 2）。factor 定死 vec3 — 等比缩放请用\n * `scale(p, s)`，`scale3d(p, [x,y,z])` 才可非等比。`center` 为不动点（默认原点）。\n * @group 变换\n * @inputs 1\n * @async false\n * @qual ok\n * @name scale3d\n * @deprecated **`../3d_editor` 消费面**（原 `@deprecated` 措辞已于 2026-09-22 校正）：该 op 为编辑器应用提供（承载拖拽与时间线语句），不属 faijs 平台面，但**不是废弃项**——它服务真实负载。**变更其 API 形态必须同步更新 `../3d_editor`**。faijs 平台面不提供等价 op（需要时须按平台需求另行设计，不得直接搬用本 op）。\n * @returns Shape 缩放后的几何。\n * @param input - 目标几何。type:Shape required:true\n * @param params.factor - 三轴缩放系数（均 > 0）。type:[x,y,z] required:true\n * @param params.center - 缩放不动点。type:[x,y,z] 默认 [0,0,0]（原点）\n * @example\n * const p4 = cad.scale3d(part0, { factor: [2, 1, 1] })\n * const p5 = cad.scale3d(part0, [2, 1, 1], { center: [10, 0, 0] })\n */\nexport const scale3d = defineOp({\n  name: 'scale3d',\n  meshEngines: ['brepkit'],\n  mesh: (input: Shape, params: Record<string, unknown>) => {\n    if (!input) throw new Error('[api/scale3d] no input geometry')\n    assertScale3dParams(params)\n    if (hasMeshSolid(input)) return transformMeshSolid('scale3d', input, params)\n    return meshTransform.scale3d(input, params.factor as Vec3, params.center as Vec3 | undefined)\n  },\n  brep: (input: Shape, params: Record<string, unknown>) => {\n    if (!input) throw new Error('[api/scale3d] no input geometry')\n    assertScale3dParams(params)\n    return transformBrep('scale3d', input, params)\n  },\n  // L3 schema: factor/center for codegen/UI panels.\n  schema: { factor: 'vec3', center: 'vec3?' },\n  // D11（裁决 2）：`scale3d(p, [1,2,3])` == `scale3d(p, { factor: [1,2,3] })`；\n  // 标量 factor（如 `scale(p, 2)`）由 assertScale3dParams 拒绝并提示 `scale`。\n  slotMap: { keys: ['factor'], vec3Keys: ['factor'], shapeArity: 1 },\n  naming: { kind: 'kernel', newFaces: { via: 'byAdjacency' } } as Provenance,\n})\n"]}
+{"version":3,"file":"transform.js","sourceRoot":"","sources":["../../src/api/transform.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;GAuBG;AAGH,mGAAmG;AACnG,OAAO,KAAK,aAAa,MAAM,mBAAmB,CAAA;AAClD,OAAO,EAAE,aAAa,EAAE,UAAU,EAAE,SAAS,EAAE,YAAY,EAAE,MAAM,kBAAkB,CAAA;AACrF,OAAO,EACL,iBAAiB,EACjB,qBAAqB,EACrB,uBAAuB,EACvB,sBAAsB,EACtB,0BAA0B,GAC3B,MAAM,wBAAwB,CAAA;AAE/B,OAAO,EAAE,UAAU,EAAE,MAAM,uBAAuB,CAAA;AAClD,OAAO,EAAE,gBAAgB,EAAE,MAAM,+BAA+B,CAAA;AAChE,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,cAAc,EAAE,YAAY,EAAE,MAAM,UAAU,CAAA;AACzE,OAAO,EAAE,mBAAmB,EAAE,MAAM,0BAA0B,CAAA;AAG9D,OAAO,EAAE,QAAQ,EAAE,MAAM,QAAQ,CAAA;AACjC,OAAO,EAAE,UAAU,EAAE,oBAAoB,EAAE,MAAM,UAAU,CAAA;AAC3D,OAAO,EAAE,mBAAmB,EAAE,gBAAgB,EAAE,MAAM,0BAA0B,CAAA;AAGhF;;;GAGG;AACH,MAAM,UAAU,qBAAqB,CAAC,MAA+B;IACnE,UAAU,CAAC,MAAM,CAAC,MAAM,EAAE,kBAAkB,CAAC,CAAA;AAC/C,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,kBAAkB,CAAC,MAA+B;IAChE,UAAU,CAAC,MAAM,CAAC,MAAM,EAAE,qBAAqB,CAAC,CAAA;IAChD,IAAI,MAAM,CAAC,KAAK,KAAK,SAAS,IAAI,MAAM,CAAC,KAAK,KAAK,IAAI,EAAE,CAAC;QACxD,UAAU,CAAC,MAAM,CAAC,KAAK,EAAE,oBAAoB,CAAC,CAAA;IAChD,CAAC;AACH,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,iBAAiB,CAAC,MAA+B;IAC/D,IAAI,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC;QACjC,MAAM,IAAI,KAAK,CACb,yEAAyE;YACzE,2EAA2E,CAC5E,CAAA;IACH,CAAC;IACD,oBAAoB,CAAC,MAAM,CAAC,MAAM,EAAE,cAAc,CAAC,CAAA;AACrD,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,mBAAmB,CAAC,MAA+B;IACjE,IAAI,OAAO,MAAM,CAAC,MAAM,KAAK,QAAQ,EAAE,CAAC;QACtC,MAAM,IAAI,KAAK,CACb,sEAAsE;YACtE,mDAAmD,CACpD,CAAA;IACH,CAAC;IACD,UAAU,CAAC,MAAM,CAAC,MAAM,EAAE,gBAAgB,CAAC,CAAA;AAC7C,CAAC;AAED;;;;;;;;;;;;;;;GAeG;AACH;;;;;;;GAOG;AACH,SAAS,iBAAiB,CAAC,MAAY;IACrC,IAAI,GAAG,GAAG,CAAC,CAAC,CAAA;IACZ,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;QAC3B,IAAI,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,GAAG,KAAK,EAAE,CAAC;YAChC,IAAI,GAAG,KAAK,CAAC,CAAC;gBAAE,OAAO,CAAC,CAAC,CAAA;YACzB,GAAG,GAAG,CAAC,CAAA;QACT,CAAC;IACH,CAAC;IACD,OAAO,GAAqB,CAAA;AAC9B,CAAC;AAED,SAAS,aAAa,CAAC,EAAU,EAAE,KAAY,EAAE,MAA+B;IAC9E,4EAA4E;IAC5E,MAAM,MAAM,GAAG,UAAU,EAAE,CAAA;IAC3B,MAAM,UAAU,GAAG,MAAM,CAAC,KAAK,CAA2B,CAAA;IAC1D,IAAI,CAAC,UAAU;QAAE,MAAM,IAAI,KAAK,CAAC,mCAAmC,CAAC,CAAA;IAErE,wCAAwC;IACxC,wDAAwD;IACxD,oFAAoF;IACpF,qDAAqD;IACrD,MAAM,mBAAmB,GAAG,gBAAgB,CAAC,sBAAsB,CAAC,CAAA;IACpE,MAAM,eAAe,GAAG,gBAAgB,CAAC,kBAAkB,CAAC,CAAA;IAC5D,MAAM,gBAAgB,GAAG,gBAAgB,CAAC,mBAAmB,CAAC,CAAA;IAE9D,IAAI,WAAuB,CAAA;IAC3B,gDAAgD;IAChD,IAAI,gBAA+B,CAAA;IAEnC,IAAI,EAAE,KAAK,WAAW,EAAE,CAAC;QACvB,IAAI,mBAAmB,EAAE,CAAC;YACxB,uEAAuE;YACvE,MAAM,CAAC,GAAG,0BAA0B,CAAC,MAAM,EAAE,UAAU,EAAE,MAAM,CAAC,MAAc,CAAC,CAAA;YAC/E,WAAW,GAAG,CAAC,CAAC,MAAM,CAAA;YACtB,gBAAgB,GAAG,CAAC,CAAC,SAAS,CAAA;QAChC,CAAC;aAAM,CAAC;YACN,yDAAyD;YACzD,WAAW,GAAG,aAAa,CAAC,MAAM,EAAE,UAAU,EAAE,MAAM,CAAC,MAAc,CAAC,CAAA;YACtE,gBAAgB,GAAG,qBAAqB,CAAC,MAAM,EAAE,UAAU,EAAE,WAAW,CAAC,CAAA;QAC3E,CAAC;IACH,CAAC;SAAM,IAAI,EAAE,KAAK,OAAO,EAAE,CAAC;QAC1B,IAAI,eAAe,EAAE,CAAC;YACpB,yEAAyE;YACzE,MAAM,CAAC,GAAG,sBAAsB,CAC9B,MAAM,EACN,UAAU,EACT,MAAM,CAAC,MAA2B,IAAI,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAChD,MAAM,CAAC,MAAgB,CACxB,CAAA;YACD,WAAW,GAAG,CAAC,CAAC,MAAM,CAAA;YACtB,gBAAgB,GAAG,CAAC,CAAC,SAAS,CAAA;QAChC,CAAC;aAAM,CAAC;YACN,qDAAqD;YACrD,MAAM,MAAM,GAAI,MAAM,CAAC,MAA2B,IAAI,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAA;YAC/D,WAAW,GAAG,SAAS,CAAC,MAAM,EAAE,UAAU,EAAE,MAAM,CAAC,MAAgB,EAAE,MAAM,CAAC,CAAA;YAC5E,gBAAgB,GAAG,qBAAqB,CAAC,MAAM,EAAE,UAAU,EAAE,WAAW,CAAC,CAAA;QAC3E,CAAC;IACH,CAAC;SAAM,IAAI,EAAE,KAAK,cAAc,EAAE,CAAC;QACjC,2CAA2C;QAC3C,8DAA8D;QAC9D,MAAM,MAAM,GAAG,MAAM,CAAC,MAAc,CAAA;QACpC,MAAM,OAAO,GAAG,iBAAiB,CAAC,MAAM,CAAC,CAAA;QACzC,IAAI,gBAAgB,IAAI,OAAO,KAAK,CAAC,CAAC,EAAE,CAAC;YACvC,MAAM,IAAI,GAAS,OAAO,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAA;YACpF,MAAM,KAAK,GAAI,MAAM,CAAC,KAA0B,IAAI,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAA;YAC7D,MAAM,CAAC,GAAG,uBAAuB,CAAC,MAAM,EAAE,UAAU,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,MAAM,CAAC,OAAO,CAAC,GAAG,IAAI,CAAC,EAAE,CAAC,GAAG,GAAG,CAAC,CAAA;YACrG,WAAW,GAAG,CAAC,CAAC,MAAM,CAAA;YACtB,gBAAgB,GAAG,CAAC,CAAC,SAAS,CAAA;QAChC,CAAC;aAAM,CAAC;YACN,WAAW,GAAG,UAAU,CAAC,MAAM,EAAE,UAAU,EAAE,MAAM,EAAE,MAAM,CAAC,KAAyB,CAAC,CAAA;YACtF,gBAAgB,GAAG,qBAAqB,CAAC,MAAM,EAAE,UAAU,EAAE,WAAW,CAAC,CAAA;QAC3E,CAAC;IACH,CAAC;SAAM,CAAC;QACN,uCAAuC;QACvC,+DAA+D;QAC/D,WAAW,GAAG,SAAS,CAAC,MAAM,EAAE,UAAU,EAAE,MAAM,CAAC,MAAuB,EAAE,MAAM,CAAC,MAA0B,CAAC,CAAA;QAC9G,gBAAgB,GAAG,qBAAqB,CAAC,MAAM,EAAE,UAAU,EAAE,WAAW,CAAC,CAAA;IAC3E,CAAC;IAED,gEAAgE;IAChE,MAAM,UAAU,GAAG,cAAc,CAAC,KAAK,CAA0B,CAAA;IACjE,IAAI,SAAgC,CAAA;IACpC,IAAI,UAAU,IAAI,UAAU,CAAC,IAAI,GAAG,CAAC,EAAE,CAAC;QACtC,SAAS,GAAG,mBAAmB,CAAC,UAAU,EAAE,gBAAgB,CAAC,CAAA;IAC/D,CAAC;IAED,OAAO,QAAQ,CAAC,YAAY,CAAC,MAAM,EAAE,WAAW,CAAC,EAAE;QACjD,KAAK,EAAE,WAAW;QAClB,sDAAsD;QACtD,aAAa,EAAE,iBAAiB,CAAC,MAAM,EAAE,WAAW,CAAC;QACrD,SAAS;KACV,CAAC,CAAA;AACJ,CAAC;AAED;;;;;;;;;;;;;;;;GAgBG;AACH,SAAS,kBAAkB,CAAC,EAAU,EAAE,KAAY,EAAE,MAA+B;IACnF,MAAM,KAAK,GAAG,mBAAmB,CAAC,KAAK,EAAE,EAAE,CAAC,CAAA;IAC5C,IAAI,MAAkB,CAAA;IACtB,IAAI,EAAE,KAAK,WAAW,EAAE,CAAC;QACvB,MAAM,GAAG,aAAa,CAAC,KAAK,CAAC,MAAM,EAAE,KAAK,CAAC,KAAK,EAAE,MAAM,CAAC,MAAc,CAAC,CAAA;IAC1E,CAAC;SAAM,IAAI,EAAE,KAAK,cAAc,EAAE,CAAC;QACjC,MAAM,GAAG,UAAU,CAAC,KAAK,CAAC,MAAM,EAAE,KAAK,CAAC,KAAK,EAAE,MAAM,CAAC,MAAc,EAAE,MAAM,CAAC,KAAyB,CAAC,CAAA;IACzG,CAAC;SAAM,IAAI,EAAE,KAAK,OAAO,EAAE,CAAC;QAC1B,MAAM,GAAG,SAAS,CAAC,KAAK,CAAC,MAAM,EAAE,KAAK,CAAC,KAAK,EAAE,MAAM,CAAC,MAAgB,EAAE,MAAM,CAAC,MAA0B,CAAC,CAAA;IAC3G,CAAC;SAAM,CAAC;QACN,MAAM,GAAG,SAAS,CAAC,KAAK,CAAC,MAAM,EAAE,KAAK,CAAC,KAAK,EAAE,MAAM,CAAC,MAAc,EAAE,MAAM,CAAC,MAA0B,CAAC,CAAA;IACzG,CAAC;IACD,OAAO,gBAAgB,CAAC,KAAK,EAAE,MAAM,CAAC,CAAA;AACxC,CAAC;AAED;;;;;;;;;;;;;IAaI;AACJ,MAAM,CAAC,MAAM,SAAS,GAAG,QAAQ,CAAC;IAChC,IAAI,EAAE,WAAW;IACjB,WAAW,EAAE,CAAC,SAAS,CAAC;IACxB,IAAI,EAAE,CAAC,KAAY,EAAE,MAA+B,EAAE,EAAE;QACtD,IAAI,CAAC,KAAK;YAAE,MAAM,IAAI,KAAK,CAAC,mCAAmC,CAAC,CAAA;QAChE,qBAAqB,CAAC,MAAM,CAAC,CAAA;QAC7B,IAAI,YAAY,CAAC,KAAK,CAAC;YAAE,OAAO,kBAAkB,CAAC,WAAW,EAAE,KAAK,EAAE,MAAM,CAAC,CAAA;QAC9E,OAAO,aAAa,CAAC,SAAS,CAAC,KAAK,EAAE,MAAM,CAAC,MAAc,CAAC,CAAA;IAC9D,CAAC;IACD,IAAI,EAAE,CAAC,KAAY,EAAE,MAA+B,EAAE,EAAE;QACtD,IAAI,CAAC,KAAK;YAAE,MAAM,IAAI,KAAK,CAAC,mCAAmC,CAAC,CAAA;QAChE,qBAAqB,CAAC,MAAM,CAAC,CAAA;QAC7B,OAAO,aAAa,CAAC,WAAW,EAAE,KAAK,EAAE,MAAM,CAAC,CAAA;IAClD,CAAC;IACD,2EAA2E;IAC3E,2EAA2E;IAC3E,OAAO,EAAE,EAAE,IAAI,EAAE,CAAC,QAAQ,CAAC,EAAE,QAAQ,EAAE,CAAC,QAAQ,CAAC,EAAE,UAAU,EAAE,CAAC,EAAE;IAClE,SAAS,EAAE,EAAE,MAAM,EAAE,QAAQ,EAAE;IAC/B,MAAM,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,QAAQ,EAAE,EAAE,GAAG,EAAE,aAAa,EAAE,EAAgB;CAC3E,CAAC,CAAA;AAEF;;;;;;;;;;;;;;;GAeG;AACH,MAAM,CAAC,MAAM,YAAY,GAAG,QAAQ,CAAC;IACnC,IAAI,EAAE,cAAc;IACpB,WAAW,EAAE,CAAC,SAAS,CAAC;IACxB,IAAI,EAAE,CAAC,KAAY,EAAE,MAA+B,EAAE,EAAE;QACtD,IAAI,CAAC,KAAK;YAAE,MAAM,IAAI,KAAK,CAAC,sCAAsC,CAAC,CAAA;QACnE,kBAAkB,CAAC,MAAM,CAAC,CAAA;QAC1B,IAAI,YAAY,CAAC,KAAK,CAAC;YAAE,OAAO,kBAAkB,CAAC,cAAc,EAAE,KAAK,EAAE,MAAM,CAAC,CAAA;QACjF,OAAO,aAAa,CAAC,YAAY,CAAC,KAAK,EAAE,MAAM,CAAC,MAAc,EAAE,MAAM,CAAC,KAAyB,CAAC,CAAA;IACnG,CAAC;IACD,IAAI,EAAE,CAAC,KAAY,EAAE,MAA+B,EAAE,EAAE;QACtD,IAAI,CAAC,KAAK;YAAE,MAAM,IAAI,KAAK,CAAC,sCAAsC,CAAC,CAAA;QACnE,kBAAkB,CAAC,MAAM,CAAC,CAAA;QAC1B,OAAO,aAAa,CAAC,cAAc,EAAE,KAAK,EAAE,MAAM,CAAC,CAAA;IACrD,CAAC;IACD,iFAAiF;IACjF,OAAO,EAAE,EAAE,IAAI,EAAE,CAAC,QAAQ,CAAC,EAAE,QAAQ,EAAE,CAAC,QAAQ,CAAC,EAAE,UAAU,EAAE,CAAC,EAAE;IAClE,SAAS,EAAE,EAAE,MAAM,EAAE,OAAO,EAAE,KAAK,EAAE,QAAQ,EAAE;IAC/C,MAAM,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,QAAQ,EAAE,EAAE,GAAG,EAAE,aAAa,EAAE,EAAgB;CAC3E,CAAC,CAAA;AAEF;;;;;;;;;;;;;;;;GAgBG;AACH,MAAM,CAAC,MAAM,KAAK,GAAG,QAAQ,CAAC;IAC5B,IAAI,EAAE,OAAO;IACb,WAAW,EAAE,CAAC,SAAS,CAAC;IACxB,IAAI,EAAE,CAAC,KAAY,EAAE,MAA+B,EAAE,EAAE;QACtD,IAAI,CAAC,KAAK;YAAE,MAAM,IAAI,KAAK,CAAC,+BAA+B,CAAC,CAAA;QAC5D,iBAAiB,CAAC,MAAM,CAAC,CAAA;QACzB,IAAI,YAAY,CAAC,KAAK,CAAC;YAAE,OAAO,kBAAkB,CAAC,OAAO,EAAE,KAAK,EAAE,MAAM,CAAC,CAAA;QAC1E,OAAO,aAAa,CAAC,KAAK,CAAC,KAAK,EAAE,MAAM,CAAC,MAAgB,EAAE,MAAM,CAAC,MAA0B,CAAC,CAAA;IAC/F,CAAC;IACD,IAAI,EAAE,CAAC,KAAY,EAAE,MAA+B,EAAE,EAAE;QACtD,IAAI,CAAC,KAAK;YAAE,MAAM,IAAI,KAAK,CAAC,+BAA+B,CAAC,CAAA;QAC5D,iBAAiB,CAAC,MAAM,CAAC,CAAA;QACzB,OAAO,aAAa,CAAC,OAAO,EAAE,KAAK,EAAE,MAAM,CAAC,CAAA;IAC9C,CAAC;IACD,kDAAkD;IAClD,MAAM,EAAE,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,EAAE,OAAO,EAAE;IAC7C,uEAAuE;IACvE,qCAAqC;IACrC,OAAO,EAAE,EAAE,IAAI,EAAE,CAAC,QAAQ,CAAC,EAAE,UAAU,EAAE,CAAC,EAAE;IAC5C,MAAM,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,QAAQ,EAAE,EAAE,GAAG,EAAE,aAAa,EAAE,EAAgB;IAE1E,SAAS,EAAE,EAAE;CACd,CAAC,CAAA;AAEF;;;;;;;;;;;;;;;;GAgBG;AACH,MAAM,CAAC,MAAM,OAAO,GAAG,QAAQ,CAAC;IAC9B,IAAI,EAAE,SAAS;IACf,WAAW,EAAE,CAAC,SAAS,CAAC;IACxB,IAAI,EAAE,CAAC,KAAY,EAAE,MAA+B,EAAE,EAAE;QACtD,IAAI,CAAC,KAAK;YAAE,MAAM,IAAI,KAAK,CAAC,iCAAiC,CAAC,CAAA;QAC9D,mBAAmB,CAAC,MAAM,CAAC,CAAA;QAC3B,IAAI,YAAY,CAAC,KAAK,CAAC;YAAE,OAAO,kBAAkB,CAAC,SAAS,EAAE,KAAK,EAAE,MAAM,CAAC,CAAA;QAC5E,OAAO,aAAa,CAAC,OAAO,CAAC,KAAK,EAAE,MAAM,CAAC,MAAc,EAAE,MAAM,CAAC,MAA0B,CAAC,CAAA;IAC/F,CAAC;IACD,IAAI,EAAE,CAAC,KAAY,EAAE,MAA+B,EAAE,EAAE;QACtD,IAAI,CAAC,KAAK;YAAE,MAAM,IAAI,KAAK,CAAC,iCAAiC,CAAC,CAAA;QAC9D,mBAAmB,CAAC,MAAM,CAAC,CAAA;QAC3B,OAAO,aAAa,CAAC,SAAS,EAAE,KAAK,EAAE,MAAM,CAAC,CAAA;IAChD,CAAC;IACD,kDAAkD;IAClD,MAAM,EAAE,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,OAAO,EAAE;IAC3C,wEAAwE;IACxE,iEAAiE;IACjE,OAAO,EAAE,EAAE,IAAI,EAAE,CAAC,QAAQ,CAAC,EAAE,QAAQ,EAAE,CAAC,QAAQ,CAAC,EAAE,UAAU,EAAE,CAAC,EAAE;IAClE,MAAM,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,QAAQ,EAAE,EAAE,GAAG,EAAE,aAAa,EAAE,EAAgB;IAE1E,SAAS,EAAE,EAAE;CACd,CAAC,CAAA","sourcesContent":["/**\n * api transform — 变换对象库函数（translate/rotate_euler/scale/scale3d）\n *\n * 平台分层（narrowing plan Phase 5，D11 + 2026-09-28 D 批降级）：\n * - `translate` / `scale`：**中立 op**（不再声明 `engines:['occt']`）。BREP 路径按引擎\n *   事实**静态定轨**（读 `hasNativeHistory`——引擎身份是唯一判据，非运行时探测）：\n *   - occt（原生有 `translateWithHistory` / `scaleWithHistory`）→ 走 face-evolution.ts 的\n *     `translateWithHashEvolution` / `scaleWithHashEvolution` 权威面演化（历史路径），\n *     产 hash 面映射并传播 roleTable；\n *   - brepkit（无该二核函数，但裸 `kernel.translate` / `kernel.scale` 是真实现）→\n *     L1 `translateBrep` / `scaleBrep`：几何精确，**另加 identityHashEvolution**。\n *     变换不改变面数/顺序，恒等映射真实成立（非伪造）——挂恒等面演化并传播 roleTable，\n *     选面/命名在降级路径不丢（区别于 boolean/chamfer 这种毁面重造、严禁伪造的情形）。\n * - `rotate_euler` / `scale3d`：**中立 op**——内核无单次 WithHistory 可表达\n *   （任意欧拉+pivot / 非等比），走 `rotateBrep` / `scaleBrep` + identity 面演化\n *   （只用 L1，跨引擎一致，不声明 engines）。\n *\n * dispatchPath 静态判定 brep/mesh，\n * BREP 路径用 brepOf(input) 取输入实体、fromBrep 登记输出实体。\n *\n * 网格链（方案 2026-10-01 §4 Phase 4 / B3 批）：`mesh:` 实现分两支——**网格实体**\n * 走网格后端内核变换句柄（保持网格零件身份与近似拓扑），**裸网格**维持既有的顶点\n * 烘焙（manifold 链，无身份可言）。两支靠 `hasMeshSolid` 区分，不靠\"能不能跑\"试错。\n */\n\nimport type { Shape, Vec3 } from '../mesh/types'\n// B3 correction (2026-10-06): no library-face cad aggregate — import the impl from its own module.\nimport * as meshTransform from '../mesh/transform'\nimport { translateBrep, rotateBrep, scaleBrep, solidToShape } from '../brep/brep-ops'\nimport {\n  identityEvolution,\n  identityHashEvolution,\n  rotateWithHashEvolution,\n  scaleWithHashEvolution,\n  translateWithHashEvolution,\n} from '../brep/face-evolution'\nimport type { HashEvolution } from '../brep/face-evolution'\nimport { getBrepApi } from '../brep/handle-bridge'\nimport { hasNativeHistory } from '../brep/engine/native-history'\nimport { fromBrep, brepOf, inputRoleTable, hasMeshSolid } from '../shape'\nimport { propagateAllOrigins } from '../topology/naming/roles'\nimport type { RoleTable } from '../topology/naming/types'\nimport type { Provenance } from '../topology/naming/lineage'\nimport { defineOp } from '../sdk'\nimport { assertVec3, assertPositiveNumber } from './assert'\nimport { meshSolidBasicEntry, meshSolidProduct } from './internal/mesh-solid-op'\nimport type { BrepHandle } from '../brep/engine/types'\n\n/**\n * Validate translate parameters: `offset` must be a vec3.\n * @param params - the raw translate operation parameters.\n */\nexport function assertTranslateParams(params: Record<string, unknown>): void {\n  assertVec3(params.offset, 'translate.offset')\n}\n\n/**\n * Validate rotate_euler parameters: `angles` must be a vec3, and `pivot`\n * (if provided) must also be a vec3.\n * @param params - the raw rotate_euler operation parameters.\n */\nexport function assertRotateParams(params: Record<string, unknown>): void {\n  assertVec3(params.angles, 'rotate_euler.angles')\n  if (params.pivot !== undefined && params.pivot !== null) {\n    assertVec3(params.pivot, 'rotate_euler.pivot')\n  }\n}\n\n/**\n * Validate scale parameters (brepjs contract, §4.6 裁决 2): `factor` must be a\n * positive number (uniform). The non-uniform array form belongs to `scale3d` —\n * any `scale(p, { factor: [x,y,z] })` call throws an explicit `E_ARGS_FORM`\n * error pointing at `scale3d` (error hint ≠ compatibility).\n * @param params - the raw scale operation parameters.\n */\nexport function assertScaleParams(params: Record<string, unknown>): void {\n  if (Array.isArray(params.factor)) {\n    throw new Error(\n      '[faijs/args] scale: E_ARGS_FORM: uniform scaling takes a single number ' +\n      '(scale(p, s, { center? })). Non-uniform scaling uses scale3d(p, [x,y,z]).',\n    )\n  }\n  assertPositiveNumber(params.factor, 'scale.factor')\n}\n\n/**\n * Validate scale3d parameters (P6: factor locked to Vec3): `factor` must be a\n * vec3. The uniform scalar form belongs to `scale` — any `scale3d(p, 2)` call\n * throws an explicit `E_ARGS_FORM` error pointing at `scale` (§4.6 裁决 2).\n * @param params - the raw scale3d operation parameters.\n */\nexport function assertScale3dParams(params: Record<string, unknown>): void {\n  if (typeof params.factor === 'number') {\n    throw new Error(\n      '[faijs/args] scale3d: E_ARGS_FORM: factor must be a vec3 [x, y, z]. ' +\n      'Uniform scaling now uses scale(p, 2) (§4.6 裁决 2).',\n    )\n  }\n  assertVec3(params.factor, 'scale3d.factor')\n}\n\n/**\n * BREP 路径：变换 solid + 面演化 + roleTable 传播 + 三角化 + fromBrep 登记。\n *\n * 静态双轨：\n * - 引擎声明 `translateWithHistory` / `scaleWithHistory`（occt）→ 权威历史路径\n *   （`translateWithHashEvolution` / `scaleWithHashEvolution`），产内核给出的面映射 + roleTable。\n * - 引擎只声明裸方法（brepkit：裸 `translate`/`scale` 是真实现，但无 `*WithHistory`）→\n *   L1 裸调用 + identityHashEvolution。变换是刚体变换、面数/顺序保持不变，恒等映射\n *   **真实成立**（非伪造；由 brep/face-evolution.ordering.test.ts 钉住）——因此 brepkit\n *   降级路径保留恒等面演化与 roleTable 传播，选面/命名不因降级而丢失。\n * `rotate_euler` / `scale3d` 走 `rotateBrep` / `scaleBrep` + identity 面演化（既有语义，跨引擎中性）。\n * @param op - the transform operation name.\n * @param input - the input geometry.\n * @param params - the operation parameters.\n * @returns the transformed Shape.\n */\n/**\n * 返回欧拉角中唯一非零分量的轴索引（0=X / 1=Y / 2=Z）；多轴同时非零或全零返回 -1。\n *\n * 单轴欧拉角可等价映射到内核单轴 `rotateWithHistory`（绕该轴、以 pivot 为轴上一点），\n * 从而拿到内核权威面演化；多轴欧拉角内核无单次 API 可表达，退回 identity。\n * @param angles - the euler angles in degrees (XYZ order).\n * @returns the single non-zero axis index, or -1.\n */\nfunction singleNonZeroAxis(angles: Vec3): 0 | 1 | 2 | -1 {\n  let idx = -1\n  for (let i = 0; i < 3; i++) {\n    if (Math.abs(angles[i]) > 1e-12) {\n      if (idx !== -1) return -1\n      idx = i\n    }\n  }\n  return idx as 0 | 1 | 2 | -1\n}\n\nfunction transformBrep(op: string, input: Shape, params: Record<string, unknown>): Shape {\n  // L1 面：translateBrep/rotateBrep/scaleBrep/identityHashEvolution 只用 L1（D12）。\n  const kernel = getBrepApi()\n  const inputSolid = brepOf(input) as BrepHandle | undefined\n  if (!inputSolid) throw new Error('[api/transform] input is not BREP')\n\n  // 静态双轨（无运行时 try-catch 回退——按引擎事实在执行前定轨）：\n  // - occt（原生有 *WithHistory）→ 权威历史路径（产内核面映射 + roleTable）。\n  // - brepkit（裸 translate/scale 是真实现，无 *WithHistory）→ L1 裸调用 + identityHashEvolution。\n  //   变换不改变面数/顺序，恒等映射真实成立（非伪造），故仍挂恒等面演化与 roleTable 传播。\n  const hasTranslateHistory = hasNativeHistory('translateWithHistory')\n  const hasScaleHistory = hasNativeHistory('scaleWithHistory')\n  const hasRotateHistory = hasNativeHistory('rotateWithHistory')\n\n  let resultSolid: BrepHandle\n  // 面演化（hash 键）：权威路径用内核映射，降级/中立路径用 identity 恒等映射。\n  let historyEvolution: HashEvolution\n\n  if (op === 'translate') {\n    if (hasTranslateHistory) {\n      // 权威映射：内核 translateWithHistory（1:1 全覆盖，实测见 evolution-bindings.test.ts）\n      const r = translateWithHashEvolution(kernel, inputSolid, params.offset as Vec3)\n      resultSolid = r.result\n      historyEvolution = r.evolution\n    } else {\n      // brepkit 降级：L1 裸 translate（几何精确）+ identity（变换保面序，真实正确）。\n      resultSolid = translateBrep(kernel, inputSolid, params.offset as Vec3)\n      historyEvolution = identityHashEvolution(kernel, inputSolid, resultSolid)\n    }\n  } else if (op === 'scale') {\n    if (hasScaleHistory) {\n      // 权威映射：内核 scaleWithHistory（仅均匀 —— assertScaleParams 已保证 factor 是 number）\n      const r = scaleWithHashEvolution(\n        kernel,\n        inputSolid,\n        (params.center as Vec3 | undefined) ?? [0, 0, 0],\n        params.factor as number,\n      )\n      resultSolid = r.result\n      historyEvolution = r.evolution\n    } else {\n      // brepkit 降级：L1 裸 scale（几何精确）+ identity（变换保面序，真实正确）。\n      const center = (params.center as Vec3 | undefined) ?? [0, 0, 0]\n      resultSolid = scaleBrep(kernel, inputSolid, params.factor as number, center)\n      historyEvolution = identityHashEvolution(kernel, inputSolid, resultSolid)\n    }\n  } else if (op === 'rotate_euler') {\n    // 单轴欧拉角可映射到内核单轴 rotateWithHistory → 权威面演化；\n    // 多轴欧拉角内核无对应 API → L1 rotate + identity（ordering.test.ts 钉住）。\n    const angles = params.angles as Vec3\n    const axisIdx = singleNonZeroAxis(angles)\n    if (hasRotateHistory && axisIdx !== -1) {\n      const axis: Vec3 = axisIdx === 0 ? [1, 0, 0] : axisIdx === 1 ? [0, 1, 0] : [0, 0, 1]\n      const pivot = (params.pivot as Vec3 | undefined) ?? [0, 0, 0]\n      const r = rotateWithHashEvolution(kernel, inputSolid, pivot, axis, (angles[axisIdx] * Math.PI) / 180)\n      resultSolid = r.result\n      historyEvolution = r.evolution\n    } else {\n      resultSolid = rotateBrep(kernel, inputSolid, angles, params.pivot as Vec3 | undefined)\n      historyEvolution = identityHashEvolution(kernel, inputSolid, resultSolid)\n    }\n  } else {\n    // scale3d（非等比）：内核无单次 WithHistory 可表达 →\n    // L1 scale + identity 面演化（face-evolution.ordering.test.ts 钉住）。\n    resultSolid = scaleBrep(kernel, inputSolid, params.factor as number | Vec3, params.center as Vec3 | undefined)\n    historyEvolution = identityHashEvolution(kernel, inputSolid, resultSolid)\n  }\n\n  // 变换面 1:1 保留——沿演化传播 roleTable（所有 origin），跨引擎一致（含 brepkit 降级路径）。\n  const inputTable = inputRoleTable(input) as RoleTable | undefined\n  let roleTable: RoleTable | undefined\n  if (inputTable && inputTable.size > 0) {\n    roleTable = propagateAllOrigins(inputTable, historyEvolution)\n  }\n\n  return fromBrep(solidToShape(kernel, resultSolid), {\n    solid: resultSolid,\n    // 变换维护拓扑，面 ordinal 不变 → 挂 identity 面演化（供显示/选面，跨引擎一致）。\n    faceEvolution: identityEvolution(kernel, resultSolid),\n    roleTable,\n  })\n}\n\n/**\n * 网格实体路径：把同一个变换应用到网格实体的**句柄**上（方案 2026-10-01 §4 Phase 4 / B3 批）。\n *\n * 为什么不复用 `cad.translate` 那套顶点烘焙：那套只动 `positions`、不碰身份槽——\n * 对一个网格零件用它，等于把\"网格实体 + 近似拓扑\"静默降级成\"裸网格\"（下游每一个\n * 网格 op 都会因此失去选面/选边的能力）。网格链的正确姿势与 BREP 侧完全一致：\n * **变换句柄**（内核 `translate`/`transform` 带 kind tag 返回新实体），再由\n * `meshSolidProduct` 重新三角化 + 重建近似拓扑。\n *\n * 面演化在这里**如实缺席**：变换按定义 1:1 保面序，但没有 hash 演化可言（近似拓扑\n * 没有内核 hash）——不造恒等映射，也不传播 roleTable（网格链上没有 roleTable）。\n *\n * @param op - the transform operation name.\n * @param input - the mesh-solid input.\n * @param params - the validated operation parameters.\n * @returns the transformed mesh solid as a new mesh part.\n */\nfunction transformMeshSolid(op: string, input: Shape, params: Record<string, unknown>): Shape {\n  const entry = meshSolidBasicEntry(input, op)\n  let result: BrepHandle\n  if (op === 'translate') {\n    result = translateBrep(entry.kernel, entry.solid, params.offset as Vec3)\n  } else if (op === 'rotate_euler') {\n    result = rotateBrep(entry.kernel, entry.solid, params.angles as Vec3, params.pivot as Vec3 | undefined)\n  } else if (op === 'scale') {\n    result = scaleBrep(entry.kernel, entry.solid, params.factor as number, params.center as Vec3 | undefined)\n  } else {\n    result = scaleBrep(entry.kernel, entry.solid, params.factor as Vec3, params.center as Vec3 | undefined)\n  }\n  return meshSolidProduct(entry, result)\n}\n\n/**\n * 平移几何体。\n * @group 变换\n * @inputs 1\n * @async false\n * @qual ok\n * @name translate\n * @deprecated **`../3d_editor` 消费面**（原 `@deprecated` 措辞已于 2026-09-22 校正）：该 op 为编辑器应用提供（承载拖拽与时间线语句），不属 faijs 平台面，但**不是废弃项**——它服务真实负载。**变更其 API 形态必须同步更新 `../3d_editor`**。faijs 平台面不提供等价 op（需要时须按平台需求另行设计，不得直接搬用本 op）。\n * @returns Shape 平移后的几何，装配的相对位置靠成员的变换语句表达。\n * @param input - 目标几何。type:Shape required:true\n * @param params.offset - 平移向量（mm）。type:[x,y,z] required:true\n * @example\n * const p1 = cad.translate(part0, { offset: [10, 0, 0] })\n  */\nexport const translate = defineOp({\n  name: 'translate',\n  meshEngines: ['brepkit'],\n  mesh: (input: Shape, params: Record<string, unknown>) => {\n    if (!input) throw new Error('[api/translate] no input geometry')\n    assertTranslateParams(params)\n    if (hasMeshSolid(input)) return transformMeshSolid('translate', input, params)\n    return meshTransform.translate(input, params.offset as Vec3)\n  },\n  brep: (input: Shape, params: Record<string, unknown>) => {\n    if (!input) throw new Error('[api/translate] no input geometry')\n    assertTranslateParams(params)\n    return transformBrep('translate', input, params)\n  },\n  // D11: `translate(p, 10, 0, 0)` == `translate(p, { offset: [10, 0, 0] })`;\n  // `offset` is a vec3 slot sitting after the single leading Shape argument.\n  slotMap: { keys: ['offset'], vec3Keys: ['offset'], shapeArity: 1 },\n  paramDims: { offset: 'length' },\n  naming: { kind: 'kernel', newFaces: { via: 'byAdjacency' } } as Provenance,\n})\n\n/**\n * 绕轴旋转几何体。angles 为欧拉角（度，XYZ 顺序）。\n * @group 变换\n * @inputs 1\n * @async false\n * @qual ok\n * @name rotate_euler\n * @deprecated **`../3d_editor` 消费面**（原 `@deprecated` 措辞已于 2026-09-22 校正）：该 op 为编辑器应用提供（承载拖拽与时间线语句），不属 faijs 平台面，但**不是废弃项**——它服务真实负载。**变更其 API 形态必须同步更新 `../3d_editor`**。faijs 平台面不提供等价 op（需要时须按平台需求另行设计，不得直接搬用本 op）。\n * @returns Shape 旋转后的几何。\n * @param input - 目标几何。type:Shape required:true\n * @param params.angles - 欧拉角（度，XYZ 顺序）。type:[x,y,z] required:true\n * @param params.pivot - 旋转中心。type:[x,y,z] 默认 原点\n * @example\n * const p2 = cad.rotate_euler(part0, { angles: [0, 0, 45] })\n * const p3 = cad.rotate_euler(part0, { angles: [0, 0, 45], pivot: [0,0,0] })\n */\nexport const rotate_euler = defineOp({\n  name: 'rotate_euler',\n  meshEngines: ['brepkit'],\n  mesh: (input: Shape, params: Record<string, unknown>) => {\n    if (!input) throw new Error('[api/rotate_euler] no input geometry')\n    assertRotateParams(params)\n    if (hasMeshSolid(input)) return transformMeshSolid('rotate_euler', input, params)\n    return meshTransform.rotate_euler(input, params.angles as Vec3, params.pivot as Vec3 | undefined)\n  },\n  brep: (input: Shape, params: Record<string, unknown>) => {\n    if (!input) throw new Error('[api/rotate_euler] no input geometry')\n    assertRotateParams(params)\n    return transformBrep('rotate_euler', input, params)\n  },\n  // D11: `rotate_euler(p, 0, 0, 45)` == `rotate_euler(p, { angles: [0, 0, 45] })`.\n  slotMap: { keys: ['angles'], vec3Keys: ['angles'], shapeArity: 1 },\n  paramDims: { angles: 'angle', pivot: 'length' },\n  naming: { kind: 'kernel', newFaces: { via: 'byAdjacency' } } as Provenance,\n})\n\n/**\n * 等比缩放几何体（brepjs 契约，§4.6 裁决 2）。factor 只收 number；不动点默认\n * 原点（与旧 `scale(shape, factor, { center? })` 一致），`center` 可选。\n * @group 变换\n * @inputs 1\n * @async false\n * @qual ok\n * @name scale\n * @deprecated **`../3d_editor` 消费面**（原 `@deprecated` 措辞已于 2026-09-22 校正）：该 op 为编辑器应用提供（承载拖拽与时间线语句），不属 faijs 平台面，但**不是废弃项**——它服务真实负载。**变更其 API 形态必须同步更新 `../3d_editor`**。faijs 平台面不提供等价 op（需要时须按平台需求另行设计，不得直接搬用本 op）。\n * @returns Shape 缩放后的几何。\n * @param input - 目标几何。type:Shape required:true\n * @param params.factor - 等比缩放系数（> 0）。type:number required:true\n * @param params.center - 缩放不动点（p 保持不动）。type:[x,y,z] 默认 [0,0,0]（原点）\n * @example\n * const p4 = cad.scale(part0, 2)\n * const p5 = cad.scale(part0, { factor: 2, center: [10, 0, 0] })\n */\nexport const scale = defineOp({\n  name: 'scale',\n  meshEngines: ['brepkit'],\n  mesh: (input: Shape, params: Record<string, unknown>) => {\n    if (!input) throw new Error('[api/scale] no input geometry')\n    assertScaleParams(params)\n    if (hasMeshSolid(input)) return transformMeshSolid('scale', input, params)\n    return meshTransform.scale(input, params.factor as number, params.center as Vec3 | undefined)\n  },\n  brep: (input: Shape, params: Record<string, unknown>) => {\n    if (!input) throw new Error('[api/scale] no input geometry')\n    assertScaleParams(params)\n    return transformBrep('scale', input, params)\n  },\n  // L3 schema: factor/center for codegen/UI panels.\n  schema: { factor: 'number', center: 'vec3?' },\n  // D11（§4.6）：`scale(p, 2)` == `scale(p, { factor: 2 })`（标量槽）；尾参 options\n  // （{center}）经 dual-form-args 尾参合并并入。\n  slotMap: { keys: ['factor'], shapeArity: 1 },\n  naming: { kind: 'kernel', newFaces: { via: 'byAdjacency' } } as Provenance,\n\n  paramDims: {},\n})\n\n/**\n * 非等比缩放几何体（faijs 语义，§1.4.4 裁决 2）。factor 定死 vec3 — 等比缩放请用\n * `scale(p, s)`，`scale3d(p, [x,y,z])` 才可非等比。`center` 为不动点（默认原点）。\n * @group 变换\n * @inputs 1\n * @async false\n * @qual ok\n * @name scale3d\n * @deprecated **`../3d_editor` 消费面**（原 `@deprecated` 措辞已于 2026-09-22 校正）：该 op 为编辑器应用提供（承载拖拽与时间线语句），不属 faijs 平台面，但**不是废弃项**——它服务真实负载。**变更其 API 形态必须同步更新 `../3d_editor`**。faijs 平台面不提供等价 op（需要时须按平台需求另行设计，不得直接搬用本 op）。\n * @returns Shape 缩放后的几何。\n * @param input - 目标几何。type:Shape required:true\n * @param params.factor - 三轴缩放系数（均 > 0）。type:[x,y,z] required:true\n * @param params.center - 缩放不动点。type:[x,y,z] 默认 [0,0,0]（原点）\n * @example\n * const p4 = cad.scale3d(part0, { factor: [2, 1, 1] })\n * const p5 = cad.scale3d(part0, [2, 1, 1], { center: [10, 0, 0] })\n */\nexport const scale3d = defineOp({\n  name: 'scale3d',\n  meshEngines: ['brepkit'],\n  mesh: (input: Shape, params: Record<string, unknown>) => {\n    if (!input) throw new Error('[api/scale3d] no input geometry')\n    assertScale3dParams(params)\n    if (hasMeshSolid(input)) return transformMeshSolid('scale3d', input, params)\n    return meshTransform.scale3d(input, params.factor as Vec3, params.center as Vec3 | undefined)\n  },\n  brep: (input: Shape, params: Record<string, unknown>) => {\n    if (!input) throw new Error('[api/scale3d] no input geometry')\n    assertScale3dParams(params)\n    return transformBrep('scale3d', input, params)\n  },\n  // L3 schema: factor/center for codegen/UI panels.\n  schema: { factor: 'vec3', center: 'vec3?' },\n  // D11（裁决 2）：`scale3d(p, [1,2,3])` == `scale3d(p, { factor: [1,2,3] })`；\n  // 标量 factor（如 `scale(p, 2)`）由 assertScale3dParams 拒绝并提示 `scale`。\n  slotMap: { keys: ['factor'], vec3Keys: ['factor'], shapeArity: 1 },\n  naming: { kind: 'kernel', newFaces: { via: 'byAdjacency' } } as Provenance,\n\n  paramDims: {},\n})\n"]}

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

@@ -1 +1 @@
-{"version":3,"file":"wire.d.ts","sourceRoot":"","sources":["../../src/api/wire.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;GAaG;AAEH,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,eAAe,CAAA;AAS1C,qBAAqB;AACrB,MAAM,MAAM,SAAS,GAAG,CAAC,MAAM,EAAE,MAAM,EAAE,MAAM,CAAC,CAAA;AAEhD,sCAAsC;AACtC,MAAM,WAAW,WAAW;IAC1B,iBAAiB;IACjB,MAAM,CAAC,EAAE,OAAO,CAAA;IAChB,kDAAkD;IAClD,MAAM,CAAC,EAAE,OAAO,CAAA;IAChB,2BAA2B;IAC3B,MAAM,CAAC,EAAE,MAAM,CAAA;CAChB;AAsDD;;;;;;;;;;;;;;GAcG;AACH,eAAO,MAAM,IAAI;;CAQf,CAAA"}
+{"version":3,"file":"wire.d.ts","sourceRoot":"","sources":["../../src/api/wire.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;GAaG;AAEH,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,eAAe,CAAA;AAS1C,qBAAqB;AACrB,MAAM,MAAM,SAAS,GAAG,CAAC,MAAM,EAAE,MAAM,EAAE,MAAM,CAAC,CAAA;AAEhD,sCAAsC;AACtC,MAAM,WAAW,WAAW;IAC1B,iBAAiB;IACjB,MAAM,CAAC,EAAE,OAAO,CAAA;IAChB,kDAAkD;IAClD,MAAM,CAAC,EAAE,OAAO,CAAA;IAChB,2BAA2B;IAC3B,MAAM,CAAC,EAAE,MAAM,CAAA;CAChB;AAsDD;;;;;;;;;;;;;;GAcG;AACH,eAAO,MAAM,IAAI;;CAUf,CAAA"}

package/dist/api/wire.js

@@ -92,5 +92,6 @@ export const wire = defineOp({
         return wireBrep(points, opts);
     },
     naming: { kind: 'unmodeled', reason: 'construct vocabulary pending Phase 3' },
+    paramDims: {},
 });
 //# sourceMappingURL=wire.js.map

package/dist/api/wire.js.map

@@ -1 +1 @@
-{"version":3,"file":"wire.js","sourceRoot":"","sources":["../../src/api/wire.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;GAaG;AAKH,OAAO,EAAE,UAAU,EAAE,MAAM,uBAAuB,CAAA;AAClD,OAAO,EAAE,YAAY,EAAE,MAAM,kBAAkB,CAAA;AAC/C,OAAO,EAAE,KAAK,EAAE,aAAa,EAAE,MAAM,UAAU,CAAA;AAC/C,OAAO,EAAE,QAAQ,EAAE,MAAM,QAAQ,CAAA;AAgBjC,mCAAmC;AACnC,SAAS,eAAe,CAAC,GAAY;IACnC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,GAAG,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC1C,MAAM,IAAI,KAAK,CAAC,wDAAwD,CAAC,CAAA;IAC3E,CAAC;IACD,MAAM,GAAG,GAAe,EAAE,CAAA;IAC1B,KAAK,MAAM,CAAC,IAAI,GAAgB,EAAE,CAAC;QACjC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACtC,MAAM,IAAI,KAAK,CAAC,qDAAqD,CAAC,CAAA;QACxE,CAAC;QACD,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAA;IACjE,CAAC;IACD,OAAO,GAAG,CAAA;AACZ,CAAC;AAED,+DAA+D;AAC/D,SAAS,QAAQ,CAAC,MAAmB,EAAE,IAAkB;IACvD,MAAM,GAAG,GAAG,eAAe,CAAC,MAAM,CAAC,CAAA;IACnC,MAAM,MAAM,GAAG,CAAC,CAAC,CAAC,IAAI,IAAI,IAAI,CAAC,MAAM,CAAC,CAAA;IACtC,MAAM,SAAS,GAAa,EAAE,CAAA;IAC9B,KAAK,MAAM,CAAC,IAAI,GAAG;QAAE,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAA;IAClD,IAAI,MAAM;QAAE,SAAS,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAE,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAE,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAE,CAAC,CAAC,CAAC,CAAA;IAC3D,MAAM,CAAC,GAAG,GAAG,CAAC,MAAM,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAA;IACvC,MAAM,OAAO,GAAa,EAAE,CAAA;IAC5B,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE;QAAE,OAAO,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,CAAA;IACtD,OAAO,KAAK,CAAC,EAAE,SAAS,EAAE,IAAI,YAAY,CAAC,SAAS,CAAC,EAAE,OAAO,EAAE,IAAI,WAAW,CAAC,OAAO,CAAC,EAAE,CAAC,CAAA;AAC7F,CAAC;AAED,2DAA2D;AAC3D,SAAS,QAAQ,CAAC,MAAmB,EAAE,IAAkB;IACvD,MAAM,GAAG,GAAG,eAAe,CAAC,MAAM,CAAC,CAAA;IACnC,MAAM,MAAM,GAAG,CAAC,CAAC,CAAC,IAAI,IAAI,IAAI,CAAC,MAAM,CAAC,CAAA;IACtC,MAAM,MAAM,GAAG,CAAC,CAAC,CAAC,IAAI,IAAI,IAAI,CAAC,MAAM,CAAC,CAAA;IACtC,MAAM,MAAM,GAAkB,UAAU,EAAE,CAAA;IAC1C,IAAI,MAAe,CAAA;IACnB,IAAI,MAAM,IAAI,GAAG,CAAC,MAAM,IAAI,CAAC,EAAE,CAAC;QAC9B,4DAA4D;QAC5D,MAAM,MAAM,GAAG,OAAO,IAAI,EAAE,MAAM,KAAK,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAA;QACjE,MAAM,GAAG,MAAM,CAAC,iBAAiB,CAAC,GAAG,EAAE,MAAM,CAAC,CAAA;IAChD,CAAC;SAAM,CAAC;QACN,MAAM,KAAK,GAAiB,EAAE,CAAA;QAC9B,MAAM,QAAQ,GAAG,MAAM,CAAC,CAAC,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,GAAG,CAAC,MAAM,GAAG,CAAC,CAAA;QACrD,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,QAAQ,EAAE,CAAC,EAAE,EAAE,CAAC;YAClC,MAAM,CAAC,GAAG,GAAG,CAAC,CAAC,CAAE,CAAA;YACjB,MAAM,CAAC,GAAG,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,GAAG,CAAC,MAAM,CAAE,CAAA;YACpC,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,YAAY,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAA;QACvC,CAAC;QACD,MAAM,GAAG,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAA;IACjC,CAAC;IACD,OAAO,aAAa,CAAC,YAAY,CAAC,MAAM,EAAE,MAAoB,CAAC,EAAE,EAAE,KAAK,EAAE,MAAoB,EAAE,CAAC,CAAA;AACnG,CAAC;AAED;;;;;;;;;;;;;;GAcG;AACH,MAAM,CAAC,MAAM,IAAI,GAAG,QAAQ,CAAC;IAC3B,IAAI,CAAC,MAAmB,EAAE,IAAkB;QAC1C,OAAO,QAAQ,CAAC,MAAM,EAAE,IAAI,CAAC,CAAA;IAC/B,CAAC;IACD,IAAI,CAAC,MAAmB,EAAE,IAAkB;QAC1C,OAAO,QAAQ,CAAC,MAAM,EAAE,IAAI,CAAC,CAAA;IAC/B,CAAC;IACD,MAAM,EAAE,EAAE,IAAI,EAAE,WAAW,EAAE,MAAM,EAAE,sCAAsC,EAAgB;CAC5F,CAAC,CAAA","sourcesContent":["/**\n * api wire — 从点列构造 1D 曲线（折线 / 闭合轮廓 / 平滑样条）\n *\n * 用途：脚本面造线能力（G-D 门控层，Phase 3）。下游 sweep / loft / twistExtrude /\n * complexExtrude / roof 等 11 个动作都需要 wire 输入；此前脚本面造不出 wire，这些动作\n * 即使登记也喂不进输入。\n *\n * 设计：\n * - 中立 op（dual-path）：mesh 路径用折线 mesh 包成 `curve(mesh)`；brep 路径用 L1 构造\n *   （makeLineEdge / interpolatePoints + makeWire），经 `fromBrepCurve` 登记 1D 句柄。\n *   两种 mode 下 kind 都取 'curve'，避免随 mode 漂移（§7.1 建议 1 / 附带子项②推荐 (i)）。\n * - 无输入（creator），故 dispatch 走 mesh（mode=mesh）或 brep（mode=brep/auto 有 brep 实现）。\n * - 1D 产物命名取 unmodeled（无面 → 无 roleTable，先例 torus/convexHull）。\n */\n\nimport type { Shape } from '../mesh/types'\nimport type { BrepEngineApi } from '../brep/engine/primitives'\nimport type { BrepHandle, BrepVec3 } from '../brep/engine/types'\nimport { getBrepApi } from '../brep/handle-bridge'\nimport { solidToShape } from '../brep/brep-ops'\nimport { curve, fromBrepCurve } from '../shape'\nimport { defineOp } from '../sdk'\nimport type { Provenance } from '../topology/naming/lineage'\n\n/** 一个 3D 点（点列成员）。 */\nexport type WirePoint = [number, number, number]\n\n/** `cad.wire` 选项：折线 / 闭合轮廓 / 平滑曲线。 */\nexport interface WireOptions {\n  /** 闭合轮廓：首尾相连。 */\n  closed?: boolean\n  /** 平滑曲线：经 interpolatePoints 走 B-样条穿过全部点（默认折线）。 */\n  smooth?: boolean\n  /** smooth 时的样条次数（默认 3）。 */\n  degree?: number\n}\n\n/** 校验并归一化点列（至少 2 点，每点 [x,y,z]）。 */\nfunction normalizePoints(raw: unknown): BrepVec3[] {\n  if (!Array.isArray(raw) || raw.length < 2) {\n    throw new Error('E_WIRE_TOO_FEW_POINTS: wire requires at least 2 points')\n  }\n  const pts: BrepVec3[] = []\n  for (const p of raw as unknown[]) {\n    if (!Array.isArray(p) || p.length < 3) {\n      throw new Error('E_WIRE_BAD_POINT: each wire point must be [x, y, z]')\n    }\n    pts.push({ x: Number(p[0]), y: Number(p[1]), z: Number(p[2]) })\n  }\n  return pts\n}\n\n/** mesh 路径：折线 mesh 载荷（位置 + 线段索引），包成 curve（kind 维持 'curve'）。 */\nfunction wireMesh(points: WirePoint[], opts?: WireOptions): Shape {\n  const pts = normalizePoints(points)\n  const closed = !!(opts && opts.closed)\n  const positions: number[] = []\n  for (const p of pts) positions.push(p.x, p.y, p.z)\n  if (closed) positions.push(pts[0]!.x, pts[0]!.y, pts[0]!.z)\n  const n = pts.length + (closed ? 1 : 0)\n  const indices: number[] = []\n  for (let i = 0; i < n - 1; i++) indices.push(i, i + 1)\n  return curve({ positions: new Float32Array(positions), indices: new Uint32Array(indices) })\n}\n\n/** BREP 路径：点列 → wire（折线或平滑样条），经 fromBrepCurve 登记 1D 句柄。 */\nfunction wireBrep(points: WirePoint[], opts?: WireOptions): Shape {\n  const pts = normalizePoints(points)\n  const closed = !!(opts && opts.closed)\n  const smooth = !!(opts && opts.smooth)\n  const kernel: BrepEngineApi = getBrepApi()\n  let handle: unknown\n  if (smooth && pts.length >= 2) {\n    // 平滑曲线：interpolatePoints 返回穿过全部点的 B-样条（曲线/线柄），直接作为 wire 载荷。\n    const degree = typeof opts?.degree === 'number' ? opts.degree : 3\n    handle = kernel.interpolatePoints(pts, degree)\n  } else {\n    const edges: BrepHandle[] = []\n    const segCount = closed ? pts.length : pts.length - 1\n    for (let i = 0; i < segCount; i++) {\n      const a = pts[i]!\n      const b = pts[(i + 1) % pts.length]!\n      edges.push(kernel.makeLineEdge(a, b))\n    }\n    handle = kernel.makeWire(edges)\n  }\n  return fromBrepCurve(solidToShape(kernel, handle as BrepHandle), { solid: handle as BrepHandle })\n}\n\n/**\n * 从点列构造 1D 曲线（折线 / 闭合轮廓 / 平滑样条）。\n * @group 创建\n * @inputs 0\n * @async false\n * @qual ok\n * @name wire\n * @returns Shape 1D 曲线（kind:'curve'，无三角载荷；显示经 wireframe）。\n * @param points - 有序点列 [[x,y,z], ...]，至少 2 点。type:Vec3[] required:true\n * @param options.closed - 闭合轮廓（首尾相连）。type:boolean required:false\n * @param options.smooth - 平滑曲线（B-样条穿过全部点，默认折线）。type:boolean required:false\n * @param options.degree - smooth 时的样条次数（默认 3）。type:number required:false\n * @example\n * const w = cad.wire([[0,0,0],[10,0,0],[10,10,0]], { closed: true })\n */\nexport const wire = defineOp({\n  mesh(points: WirePoint[], opts?: WireOptions) {\n    return wireMesh(points, opts)\n  },\n  brep(points: WirePoint[], opts?: WireOptions) {\n    return wireBrep(points, opts)\n  },\n  naming: { kind: 'unmodeled', reason: 'construct vocabulary pending Phase 3' } as Provenance,\n})\n"]}
+{"version":3,"file":"wire.js","sourceRoot":"","sources":["../../src/api/wire.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;GAaG;AAKH,OAAO,EAAE,UAAU,EAAE,MAAM,uBAAuB,CAAA;AAClD,OAAO,EAAE,YAAY,EAAE,MAAM,kBAAkB,CAAA;AAC/C,OAAO,EAAE,KAAK,EAAE,aAAa,EAAE,MAAM,UAAU,CAAA;AAC/C,OAAO,EAAE,QAAQ,EAAE,MAAM,QAAQ,CAAA;AAgBjC,mCAAmC;AACnC,SAAS,eAAe,CAAC,GAAY;IACnC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,GAAG,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC1C,MAAM,IAAI,KAAK,CAAC,wDAAwD,CAAC,CAAA;IAC3E,CAAC;IACD,MAAM,GAAG,GAAe,EAAE,CAAA;IAC1B,KAAK,MAAM,CAAC,IAAI,GAAgB,EAAE,CAAC;QACjC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACtC,MAAM,IAAI,KAAK,CAAC,qDAAqD,CAAC,CAAA;QACxE,CAAC;QACD,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAA;IACjE,CAAC;IACD,OAAO,GAAG,CAAA;AACZ,CAAC;AAED,+DAA+D;AAC/D,SAAS,QAAQ,CAAC,MAAmB,EAAE,IAAkB;IACvD,MAAM,GAAG,GAAG,eAAe,CAAC,MAAM,CAAC,CAAA;IACnC,MAAM,MAAM,GAAG,CAAC,CAAC,CAAC,IAAI,IAAI,IAAI,CAAC,MAAM,CAAC,CAAA;IACtC,MAAM,SAAS,GAAa,EAAE,CAAA;IAC9B,KAAK,MAAM,CAAC,IAAI,GAAG;QAAE,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAA;IAClD,IAAI,MAAM;QAAE,SAAS,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAE,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAE,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAE,CAAC,CAAC,CAAC,CAAA;IAC3D,MAAM,CAAC,GAAG,GAAG,CAAC,MAAM,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAA;IACvC,MAAM,OAAO,GAAa,EAAE,CAAA;IAC5B,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE;QAAE,OAAO,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,CAAA;IACtD,OAAO,KAAK,CAAC,EAAE,SAAS,EAAE,IAAI,YAAY,CAAC,SAAS,CAAC,EAAE,OAAO,EAAE,IAAI,WAAW,CAAC,OAAO,CAAC,EAAE,CAAC,CAAA;AAC7F,CAAC;AAED,2DAA2D;AAC3D,SAAS,QAAQ,CAAC,MAAmB,EAAE,IAAkB;IACvD,MAAM,GAAG,GAAG,eAAe,CAAC,MAAM,CAAC,CAAA;IACnC,MAAM,MAAM,GAAG,CAAC,CAAC,CAAC,IAAI,IAAI,IAAI,CAAC,MAAM,CAAC,CAAA;IACtC,MAAM,MAAM,GAAG,CAAC,CAAC,CAAC,IAAI,IAAI,IAAI,CAAC,MAAM,CAAC,CAAA;IACtC,MAAM,MAAM,GAAkB,UAAU,EAAE,CAAA;IAC1C,IAAI,MAAe,CAAA;IACnB,IAAI,MAAM,IAAI,GAAG,CAAC,MAAM,IAAI,CAAC,EAAE,CAAC;QAC9B,4DAA4D;QAC5D,MAAM,MAAM,GAAG,OAAO,IAAI,EAAE,MAAM,KAAK,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAA;QACjE,MAAM,GAAG,MAAM,CAAC,iBAAiB,CAAC,GAAG,EAAE,MAAM,CAAC,CAAA;IAChD,CAAC;SAAM,CAAC;QACN,MAAM,KAAK,GAAiB,EAAE,CAAA;QAC9B,MAAM,QAAQ,GAAG,MAAM,CAAC,CAAC,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,GAAG,CAAC,MAAM,GAAG,CAAC,CAAA;QACrD,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,QAAQ,EAAE,CAAC,EAAE,EAAE,CAAC;YAClC,MAAM,CAAC,GAAG,GAAG,CAAC,CAAC,CAAE,CAAA;YACjB,MAAM,CAAC,GAAG,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,GAAG,CAAC,MAAM,CAAE,CAAA;YACpC,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,YAAY,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAA;QACvC,CAAC;QACD,MAAM,GAAG,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAA;IACjC,CAAC;IACD,OAAO,aAAa,CAAC,YAAY,CAAC,MAAM,EAAE,MAAoB,CAAC,EAAE,EAAE,KAAK,EAAE,MAAoB,EAAE,CAAC,CAAA;AACnG,CAAC;AAED;;;;;;;;;;;;;;GAcG;AACH,MAAM,CAAC,MAAM,IAAI,GAAG,QAAQ,CAAC;IAC3B,IAAI,CAAC,MAAmB,EAAE,IAAkB;QAC1C,OAAO,QAAQ,CAAC,MAAM,EAAE,IAAI,CAAC,CAAA;IAC/B,CAAC;IACD,IAAI,CAAC,MAAmB,EAAE,IAAkB;QAC1C,OAAO,QAAQ,CAAC,MAAM,EAAE,IAAI,CAAC,CAAA;IAC/B,CAAC;IACD,MAAM,EAAE,EAAE,IAAI,EAAE,WAAW,EAAE,MAAM,EAAE,sCAAsC,EAAgB;IAE3F,SAAS,EAAE,EAAE;CACd,CAAC,CAAA","sourcesContent":["/**\n * api wire — 从点列构造 1D 曲线（折线 / 闭合轮廓 / 平滑样条）\n *\n * 用途：脚本面造线能力（G-D 门控层，Phase 3）。下游 sweep / loft / twistExtrude /\n * complexExtrude / roof 等 11 个动作都需要 wire 输入；此前脚本面造不出 wire，这些动作\n * 即使登记也喂不进输入。\n *\n * 设计：\n * - 中立 op（dual-path）：mesh 路径用折线 mesh 包成 `curve(mesh)`；brep 路径用 L1 构造\n *   （makeLineEdge / interpolatePoints + makeWire），经 `fromBrepCurve` 登记 1D 句柄。\n *   两种 mode 下 kind 都取 'curve'，避免随 mode 漂移（§7.1 建议 1 / 附带子项②推荐 (i)）。\n * - 无输入（creator），故 dispatch 走 mesh（mode=mesh）或 brep（mode=brep/auto 有 brep 实现）。\n * - 1D 产物命名取 unmodeled（无面 → 无 roleTable，先例 torus/convexHull）。\n */\n\nimport type { Shape } from '../mesh/types'\nimport type { BrepEngineApi } from '../brep/engine/primitives'\nimport type { BrepHandle, BrepVec3 } from '../brep/engine/types'\nimport { getBrepApi } from '../brep/handle-bridge'\nimport { solidToShape } from '../brep/brep-ops'\nimport { curve, fromBrepCurve } from '../shape'\nimport { defineOp } from '../sdk'\nimport type { Provenance } from '../topology/naming/lineage'\n\n/** 一个 3D 点（点列成员）。 */\nexport type WirePoint = [number, number, number]\n\n/** `cad.wire` 选项：折线 / 闭合轮廓 / 平滑曲线。 */\nexport interface WireOptions {\n  /** 闭合轮廓：首尾相连。 */\n  closed?: boolean\n  /** 平滑曲线：经 interpolatePoints 走 B-样条穿过全部点（默认折线）。 */\n  smooth?: boolean\n  /** smooth 时的样条次数（默认 3）。 */\n  degree?: number\n}\n\n/** 校验并归一化点列（至少 2 点，每点 [x,y,z]）。 */\nfunction normalizePoints(raw: unknown): BrepVec3[] {\n  if (!Array.isArray(raw) || raw.length < 2) {\n    throw new Error('E_WIRE_TOO_FEW_POINTS: wire requires at least 2 points')\n  }\n  const pts: BrepVec3[] = []\n  for (const p of raw as unknown[]) {\n    if (!Array.isArray(p) || p.length < 3) {\n      throw new Error('E_WIRE_BAD_POINT: each wire point must be [x, y, z]')\n    }\n    pts.push({ x: Number(p[0]), y: Number(p[1]), z: Number(p[2]) })\n  }\n  return pts\n}\n\n/** mesh 路径：折线 mesh 载荷（位置 + 线段索引），包成 curve（kind 维持 'curve'）。 */\nfunction wireMesh(points: WirePoint[], opts?: WireOptions): Shape {\n  const pts = normalizePoints(points)\n  const closed = !!(opts && opts.closed)\n  const positions: number[] = []\n  for (const p of pts) positions.push(p.x, p.y, p.z)\n  if (closed) positions.push(pts[0]!.x, pts[0]!.y, pts[0]!.z)\n  const n = pts.length + (closed ? 1 : 0)\n  const indices: number[] = []\n  for (let i = 0; i < n - 1; i++) indices.push(i, i + 1)\n  return curve({ positions: new Float32Array(positions), indices: new Uint32Array(indices) })\n}\n\n/** BREP 路径：点列 → wire（折线或平滑样条），经 fromBrepCurve 登记 1D 句柄。 */\nfunction wireBrep(points: WirePoint[], opts?: WireOptions): Shape {\n  const pts = normalizePoints(points)\n  const closed = !!(opts && opts.closed)\n  const smooth = !!(opts && opts.smooth)\n  const kernel: BrepEngineApi = getBrepApi()\n  let handle: unknown\n  if (smooth && pts.length >= 2) {\n    // 平滑曲线：interpolatePoints 返回穿过全部点的 B-样条（曲线/线柄），直接作为 wire 载荷。\n    const degree = typeof opts?.degree === 'number' ? opts.degree : 3\n    handle = kernel.interpolatePoints(pts, degree)\n  } else {\n    const edges: BrepHandle[] = []\n    const segCount = closed ? pts.length : pts.length - 1\n    for (let i = 0; i < segCount; i++) {\n      const a = pts[i]!\n      const b = pts[(i + 1) % pts.length]!\n      edges.push(kernel.makeLineEdge(a, b))\n    }\n    handle = kernel.makeWire(edges)\n  }\n  return fromBrepCurve(solidToShape(kernel, handle as BrepHandle), { solid: handle as BrepHandle })\n}\n\n/**\n * 从点列构造 1D 曲线（折线 / 闭合轮廓 / 平滑样条）。\n * @group 创建\n * @inputs 0\n * @async false\n * @qual ok\n * @name wire\n * @returns Shape 1D 曲线（kind:'curve'，无三角载荷；显示经 wireframe）。\n * @param points - 有序点列 [[x,y,z], ...]，至少 2 点。type:Vec3[] required:true\n * @param options.closed - 闭合轮廓（首尾相连）。type:boolean required:false\n * @param options.smooth - 平滑曲线（B-样条穿过全部点，默认折线）。type:boolean required:false\n * @param options.degree - smooth 时的样条次数（默认 3）。type:number required:false\n * @example\n * const w = cad.wire([[0,0,0],[10,0,0],[10,10,0]], { closed: true })\n */\nexport const wire = defineOp({\n  mesh(points: WirePoint[], opts?: WireOptions) {\n    return wireMesh(points, opts)\n  },\n  brep(points: WirePoint[], opts?: WireOptions) {\n    return wireBrep(points, opts)\n  },\n  naming: { kind: 'unmodeled', reason: 'construct vocabulary pending Phase 3' } as Provenance,\n\n  paramDims: {},\n})\n"]}

package/dist/boolean/cross-section.d.ts

@@ -14,13 +14,14 @@
  *   - computeSection 直接读 geometry.attributes，不拷贝整份顶点缓冲。
  *   - 输出的 cap 顶点为局部空间，预览期经 matrixWorld 渲染到世界空间。
  */
-import * as THREE from 'three';
+import { Vec3 as Vec3C, Plane } from '../math3d/index.js';
+import type { Shape } from '../mesh/types.js';
 /**
  * A single closed loop (3D, local space, lying on the section plane).
  * `isHole=false` marks the outer boundary, `true` marks a hole.
  */
 export interface SectionRing {
-    points: THREE.Vector3[];
+    points: Vec3C[];
     isHole: boolean;
 }
 /**
@@ -30,9 +31,9 @@ export interface SectionResult {
     /** All stitched loops (already classified by area into isHole). */
     rings: SectionRing[];
     /** 外环列表（3D 点）。 */
-    outers: THREE.Vector3[][];
+    outers: Vec3C[][];
     /** 每个外环对应的孔环列表（与 outers 同序）。 */
-    holesOf: THREE.Vector3[][][];
+    holesOf: Vec3C[][][];
     /** 实际参与求交、跨越/贴合平面的三角形数（诊断用）。 */
     hitTriangleCount: number;
     /** 收集到的交线段数。 */
@@ -44,7 +45,7 @@ export interface SectionResult {
  * @param plane    Local-space cutting plane (THREE.Plane semantics: normal·p + constant = 0).
  * @returns The stitched section rings, outers, holes, and diagnostic counters.
  */
-export declare function computeSection(geometry: THREE.BufferGeometry, plane: THREE.Plane): SectionResult;
+export declare function computeSection(geometry: Shape, plane: Plane): SectionResult;
 /**
  * Build a prism geometry by extruding the section rings along the normal for
  * `length`, starting at `start` (in local space). The output contains the cap
@@ -57,7 +58,7 @@ export declare function computeSection(geometry: THREE.BufferGeometry, plane: TH
  * @param start      Start offset along the normal (centered mode passes offsetBack so the prism spans [offsetBack, offsetFront])
  * @returns Filled position and index buffers describing the extruded prism.
  */
-export declare function buildExtrudedProfile(section: SectionResult, normal: THREE.Vector3, length: number, start?: number): {
+export declare function buildExtrudedProfile(section: SectionResult, normal: Vec3C, length: number, start?: number): {
     positions: Float32Array;
     indices: Uint32Array;
 };

package/dist/boolean/cross-section.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"cross-section.d.ts","sourceRoot":"","sources":["../../src/boolean/cross-section.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;GAeG;AACH,OAAO,KAAK,KAAK,MAAM,OAAO,CAAA;AAE9B;;;GAGG;AACH,MAAM,WAAW,WAAW;IAC1B,MAAM,EAAE,KAAK,CAAC,OAAO,EAAE,CAAA;IACvB,MAAM,EAAE,OAAO,CAAA;CAChB;AAED;;GAEG;AACH,MAAM,WAAW,aAAa;IAC5B,mEAAmE;IACnE,KAAK,EAAE,WAAW,EAAE,CAAA;IACpB,kBAAkB;IAClB,MAAM,EAAE,KAAK,CAAC,OAAO,EAAE,EAAE,CAAA;IACzB,gCAAgC;IAChC,OAAO,EAAE,KAAK,CAAC,OAAO,EAAE,EAAE,EAAE,CAAA;IAC5B,gCAAgC;IAChC,gBAAgB,EAAE,MAAM,CAAA;IACxB,gBAAgB;IAChB,YAAY,EAAE,MAAM,CAAA;CACrB;AAkCD;;;;;GAKG;AACH,wBAAgB,cAAc,CAAC,QAAQ,EAAE,KAAK,CAAC,cAAc,EAAE,KAAK,EAAE,KAAK,CAAC,KAAK,GAAG,aAAa,CAiMhG;AAED;;;;;;;;;;;GAWG;AACH,wBAAgB,oBAAoB,CAClC,OAAO,EAAE,aAAa,EACtB,MAAM,EAAE,KAAK,CAAC,OAAO,EACrB,MAAM,EAAE,MAAM,EACd,KAAK,SAAI,GACR;IAAE,SAAS,EAAE,YAAY,CAAC;IAAC,OAAO,EAAE,WAAW,CAAA;CAAE,CAoDnD"}
+{"version":3,"file":"cross-section.d.ts","sourceRoot":"","sources":["../../src/boolean/cross-section.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;GAeG;AACH,OAAO,EAAE,IAAI,IAAI,KAAK,EAAQ,KAAK,EAAE,MAAM,WAAW,CAAA;AAEtD,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,eAAe,CAAA;AAE1C;;;GAGG;AACH,MAAM,WAAW,WAAW;IAC1B,MAAM,EAAE,KAAK,EAAE,CAAA;IACf,MAAM,EAAE,OAAO,CAAA;CAChB;AAED;;GAEG;AACH,MAAM,WAAW,aAAa;IAC5B,mEAAmE;IACnE,KAAK,EAAE,WAAW,EAAE,CAAA;IACpB,kBAAkB;IAClB,MAAM,EAAE,KAAK,EAAE,EAAE,CAAA;IACjB,gCAAgC;IAChC,OAAO,EAAE,KAAK,EAAE,EAAE,EAAE,CAAA;IACpB,gCAAgC;IAChC,gBAAgB,EAAE,MAAM,CAAA;IACxB,gBAAgB;IAChB,YAAY,EAAE,MAAM,CAAA;CACrB;AAiDD;;;;;GAKG;AACH,wBAAgB,cAAc,CAAC,QAAQ,EAAE,KAAK,EAAE,KAAK,EAAE,KAAK,GAAG,aAAa,CAuL3E;AAED;;;;;;;;;;;GAWG;AACH,wBAAgB,oBAAoB,CAClC,OAAO,EAAE,aAAa,EACtB,MAAM,EAAE,KAAK,EACb,MAAM,EAAE,MAAM,EACd,KAAK,SAAI,GACR;IAAE,SAAS,EAAE,YAAY,CAAC;IAAC,OAAO,EAAE,WAAW,CAAA;CAAE,CAoDnD"}

package/dist/boolean/cross-section.js

@@ -14,20 +14,42 @@
  *   - computeSection 直接读 geometry.attributes，不拷贝整份顶点缓冲。
  *   - 输出的 cap 顶点为局部空间，预览期经 matrixWorld 渲染到世界空间。
  */
-import * as THREE from 'three';
+import { Vec3 as Vec3C, Vec2 } from '../math3d/index.js';
+import earcut from 'earcut';
 const EPS_SURFACE = 1e-6;
 /** 线段端点量化容差（平面 2D 坐标），用于缝合相邻线段。 */
 const STITCH_TOL = 1e-4;
+function triangulateWithEarcut(contour, holes) {
+    const data = [];
+    const holeIndices = [];
+    let vertexCount = 0;
+    for (const p of contour) {
+        data.push(p.x, p.y);
+        vertexCount++;
+    }
+    for (const hole of holes) {
+        holeIndices.push(vertexCount);
+        for (const p of hole) {
+            data.push(p.x, p.y);
+            vertexCount++;
+        }
+    }
+    const flat = earcut(data, holeIndices.length > 0 ? holeIndices : undefined, 2);
+    const tris = [];
+    for (let i = 0; i < flat.length; i += 3)
+        tris.push([flat[i], flat[i + 1], flat[i + 2]]);
+    return tris;
+}
 /** 平面正交基 (u, v)，用于把 3D 截面点投影到 2D 以做缝合/面积/三角化。 */
 function planeBasis(normal) {
     const n = normal.clone().normalize();
-    const t = Math.abs(n.x) < 0.9 ? new THREE.Vector3(1, 0, 0) : new THREE.Vector3(0, 1, 0);
-    const u = new THREE.Vector3().crossVectors(t, n).normalize();
-    const v = new THREE.Vector3().crossVectors(n, u).normalize();
+    const t = Math.abs(n.x) < 0.9 ? new Vec3C(1, 0, 0) : new Vec3C(0, 1, 0);
+    const u = new Vec3C().crossVectors(t, n).normalize();
+    const v = new Vec3C().crossVectors(n, u).normalize();
     return { u, v };
 }
 function project2D(p, u, v) {
-    return new THREE.Vector2(p.dot(u), p.dot(v));
+    return new Vec2(p.dot(u), p.dot(v));
 }
 /**
  * 端点量化到 STITCH_TOL 网格上作为缝合 key。
@@ -43,29 +65,18 @@ function key2D(p) {
  * @returns The stitched section rings, outers, holes, and diagnostic counters.
  */
 export function computeSection(geometry, plane) {
-    const posAttr = geometry.attributes.position;
-    if (!posAttr) {
-        return { rings: [], outers: [], holesOf: [], hitTriangleCount: 0, segmentCount: 0 };
-    }
-    const pos = posAttr.array;
-    const index = geometry.index;
-    const triCount = index ? index.count / 3 : pos.length / 9;
+    const pos = geometry.positions;
+    const index = geometry.indices;
+    const triCount = index.length / 3;
     const refs = [];
-    if (index) {
-        for (let t = 0; t < triCount; t++) {
-            refs.push({ a: index.getX(t * 3), b: index.getX(t * 3 + 1), c: index.getX(t * 3 + 2) });
-        }
-    }
-    else {
-        for (let t = 0; t < triCount; t++) {
-            refs.push({ a: t * 3, b: t * 3 + 1, c: t * 3 + 2 });
-        }
+    for (let t = 0; t < triCount; t++) {
+        refs.push({ a: index[t * 3], b: index[t * 3 + 1], c: index[t * 3 + 2] });
     }
     const at = (i, out) => out.set(pos[i * 3], pos[i * 3 + 1], pos[i * 3 + 2]);
     const n = plane.normal;
-    const va = new THREE.Vector3();
-    const vb = new THREE.Vector3();
-    const vc = new THREE.Vector3();
+    const va = new Vec3C();
+    const vb = new Vec3C();
+    const vc = new Vec3C();
     // 收集交线段（每条 2 个 3D 端点，均在截面上）
     const segments = [];
     let hitTriangleCount = 0;
@@ -84,7 +95,7 @@ export function computeSection(geometry, plane) {
             const pa = ia === r.a ? va : ia === r.b ? vb : vc;
             const pb = ib === r.a ? va : ib === r.b ? vb : vc;
             const t = daa / (daa - dbb);
-            return new THREE.Vector3().lerpVectors(pa, pb, t);
+            return new Vec3C().lerpVectors(pa, pb, t);
         };
         const crossings = [];
         if (onSurf(da) && (above(db) !== above(dc) || below(db) !== below(dc))) {
@@ -204,7 +215,7 @@ export function computeSection(geometry, plane) {
     // 把孔分给包含其重心的外环
     const holesOf = outers.map(() => []);
     const centroid = (loop) => {
-        const c = new THREE.Vector2();
+        const c = new Vec2();
         for (const p of loop)
             c.add(project2D(p, u, v));
         return c.multiplyScalar(1 / Math.max(1, loop.length));
@@ -268,7 +279,7 @@ export function buildExtrudedProfile(section, normal, length, start = 0) {
         }
         const basis = planeBasis(normal);
         const to2D = (p) => project2D(p, basis.u, basis.v);
-        const tris = THREE.ShapeUtils.triangulateShape(outer.map(to2D), holeLoops.map((h) => h.map(to2D)));
+        const tris = triangulateWithEarcut(outer.map(to2D), holeLoops.map((h) => h.map(to2D)));
         if (!tris || tris.length === 0)
             return;
         const base = positions.length / 3;