@faicad/faijs 0.30.9 → 0.31.1

package/dist/api/sweep.d.ts

@@ -51,6 +51,16 @@ export interface SweepOptions {
     curvilinearEquivalence?: boolean;
     /** `orientation:'auxiliary'`：截面与引导线的关系（默认 'none'）。 */
     guideContact?: SweepGuideContact;
+    /**
+     * 扫掠前把截面平移到与 spine 相切（`MakePipeShell::Add` 的 `WithContact`，
+     * 默认 false = 截面停在调用方放置的位置）。
+     */
+    withContact?: boolean;
+    /**
+     * 把截面旋转到与 spine 切线正交（`Add` 的 `WithCorrection`，默认 false）。
+     * 直脊柱上是空操作。
+     */
+    withCorrection?: boolean;
     /** 支持面（含 spine 的 shape）；给出后取代 `orientation`。 */
     support?: Shape;
     /** 逼近面的最大阶数（缺省 = 内核缺省）。 */
@@ -82,9 +92,11 @@ export interface SweepOptions {
  *       brep_mock 不拦截。`shellMode` 不暴露（元组产物跨不过单产物边界）。
  *       S3 完整控制面（方案 §3.4.3）：给出 `orientation` / `up` / `auxSpine` /
  *       `curvilinearEquivalence` / `guideContact` / `transitionMode`（新名）/
- *       `support` / `maxDegree` / `maxSegments` / `law` / `lawLength` /
- *       `lawEndFactor` / `tol3d` / `boundTol` / `tolAngular` 任一，即改走 occt 原生
- *       `sweepFull`（law 驱动扫掠是 twist 类特征的正确路径）。
+ *       `withContact` / `withCorrection` / `support` / `maxDegree` / `maxSegments` /
+ *       `law` / `lawLength` / `lawEndFactor` / `tol3d` / `boundTol` / `tolAngular`
+ *       任一，即改走 occt 原生 `sweepFull`（law 驱动扫掠是 twist 类特征的正确路径）。
+ *       `sweepFull` 的 options 是 `sweepAdvanced` 的**严格超集**，且含
+ *       `sweepOriented` 的全部字段 ⇒ 三者能力并轨，脚本面只需 `sweep` 一个符号。
  * @returns Shape 扫掠体。
  * @param profile - 截面几何（wire 或面；面取其外环）。type:Shape required:true
  * @param spine - 脊柱路径（wire）。type:Shape required:true

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

@@ -1 +1 @@
-{"version":3,"file":"sweep.d.ts","sourceRoot":"","sources":["../../src/api/sweep.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;GAcG;AAEH,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,eAAe,CAAA;AAW1C,0CAA0C;AAC1C,MAAM,MAAM,gBAAgB,GAAG,OAAO,GAAG,QAAQ,GAAG,SAAS,GAAG,WAAW,CAAA;AAC3E,6EAA6E;AAC7E,MAAM,MAAM,iBAAiB,GAAG,MAAM,GAAG,SAAS,GAAG,iBAAiB,CAAA;AACtE,yEAAyE;AACzE,MAAM,MAAM,YAAY,GAAG,MAAM,GAAG,QAAQ,GAAG,QAAQ,CAAA;AAEvD;;;;;;;;GAQG;AACH,MAAM,WAAW,YAAY;IAC3B,iCAAiC;IACjC,MAAM,CAAC,EAAE,OAAO,CAAA;IAChB,sEAAsE;IACtE,IAAI,CAAC,EAAE,QAAQ,CAAA;IACf;;;OAGG;IACH,cAAc,CAAC,EAAE,OAAO,GAAG,aAAa,GAAG,aAAa,GAAG,aAAa,CAAA;IACxE,0BAA0B;IAC1B,SAAS,CAAC,EAAE,MAAM,CAAA;IAGlB,4BAA4B;IAC5B,WAAW,CAAC,EAAE,gBAAgB,CAAA;IAC9B,sDAAsD;IACtD,EAAE,CAAC,EAAE,CAAC,MAAM,EAAE,MAAM,EAAE,MAAM,CAAC,CAAA;IAC7B,6CAA6C;IAC7C,QAAQ,CAAC,EAAE,KAAK,CAAA;IAChB,2DAA2D;IAC3D,sBAAsB,CAAC,EAAE,OAAO,CAAA;IAChC,sDAAsD;IACtD,YAAY,CAAC,EAAE,iBAAiB,CAAA;IAChC,gDAAgD;IAChD,OAAO,CAAC,EAAE,KAAK,CAAA;IACf,2BAA2B;IAC3B,SAAS,CAAC,EAAE,MAAM,CAAA;IAClB,uBAAuB;IACvB,WAAW,CAAC,EAAE,MAAM,CAAA;IACpB,0BAA0B;IAC1B,GAAG,CAAC,EAAE,YAAY,CAAA;IAClB,8CAA8C;IAC9C,SAAS,CAAC,EAAE,MAAM,CAAA;IAClB,4BAA4B;IAC5B,YAAY,CAAC,EAAE,MAAM,CAAA;IACrB,mCAAmC;IACnC,KAAK,CAAC,EAAE,MAAM,CAAA;IACd,iBAAiB;IACjB,QAAQ,CAAC,EAAE,MAAM,CAAA;IACjB,gBAAgB;IAChB,UAAU,CAAC,EAAE,MAAM,CAAA;CACpB;AAyBD;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA4BG;AACH,eAAO,MAAM,KAAK;;CAOhB,CAAA"}
+{"version":3,"file":"sweep.d.ts","sourceRoot":"","sources":["../../src/api/sweep.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;GAcG;AAEH,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,eAAe,CAAA;AAW1C,0CAA0C;AAC1C,MAAM,MAAM,gBAAgB,GAAG,OAAO,GAAG,QAAQ,GAAG,SAAS,GAAG,WAAW,CAAA;AAC3E,6EAA6E;AAC7E,MAAM,MAAM,iBAAiB,GAAG,MAAM,GAAG,SAAS,GAAG,iBAAiB,CAAA;AACtE,yEAAyE;AACzE,MAAM,MAAM,YAAY,GAAG,MAAM,GAAG,QAAQ,GAAG,QAAQ,CAAA;AAEvD;;;;;;;;GAQG;AACH,MAAM,WAAW,YAAY;IAC3B,iCAAiC;IACjC,MAAM,CAAC,EAAE,OAAO,CAAA;IAChB,sEAAsE;IACtE,IAAI,CAAC,EAAE,QAAQ,CAAA;IACf;;;OAGG;IACH,cAAc,CAAC,EAAE,OAAO,GAAG,aAAa,GAAG,aAAa,GAAG,aAAa,CAAA;IACxE,0BAA0B;IAC1B,SAAS,CAAC,EAAE,MAAM,CAAA;IAGlB,4BAA4B;IAC5B,WAAW,CAAC,EAAE,gBAAgB,CAAA;IAC9B,sDAAsD;IACtD,EAAE,CAAC,EAAE,CAAC,MAAM,EAAE,MAAM,EAAE,MAAM,CAAC,CAAA;IAC7B,6CAA6C;IAC7C,QAAQ,CAAC,EAAE,KAAK,CAAA;IAChB,2DAA2D;IAC3D,sBAAsB,CAAC,EAAE,OAAO,CAAA;IAChC,sDAAsD;IACtD,YAAY,CAAC,EAAE,iBAAiB,CAAA;IAChC;;;OAGG;IACH,WAAW,CAAC,EAAE,OAAO,CAAA;IACrB;;;OAGG;IACH,cAAc,CAAC,EAAE,OAAO,CAAA;IACxB,gDAAgD;IAChD,OAAO,CAAC,EAAE,KAAK,CAAA;IACf,2BAA2B;IAC3B,SAAS,CAAC,EAAE,MAAM,CAAA;IAClB,uBAAuB;IACvB,WAAW,CAAC,EAAE,MAAM,CAAA;IACpB,0BAA0B;IAC1B,GAAG,CAAC,EAAE,YAAY,CAAA;IAClB,8CAA8C;IAC9C,SAAS,CAAC,EAAE,MAAM,CAAA;IAClB,4BAA4B;IAC5B,YAAY,CAAC,EAAE,MAAM,CAAA;IACrB,mCAAmC;IACnC,KAAK,CAAC,EAAE,MAAM,CAAA;IACd,iBAAiB;IACjB,QAAQ,CAAC,EAAE,MAAM,CAAA;IACjB,gBAAgB;IAChB,UAAU,CAAC,EAAE,MAAM,CAAA;CACpB;AAyBD;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA8BG;AACH,eAAO,MAAM,KAAK;;CAOhB,CAAA"}

package/dist/api/sweep.js

@@ -63,9 +63,11 @@ function sweepBrep(profile, spine, opts) {
  *       brep_mock 不拦截。`shellMode` 不暴露（元组产物跨不过单产物边界）。
  *       S3 完整控制面（方案 §3.4.3）：给出 `orientation` / `up` / `auxSpine` /
  *       `curvilinearEquivalence` / `guideContact` / `transitionMode`（新名）/
- *       `support` / `maxDegree` / `maxSegments` / `law` / `lawLength` /
- *       `lawEndFactor` / `tol3d` / `boundTol` / `tolAngular` 任一，即改走 occt 原生
- *       `sweepFull`（law 驱动扫掠是 twist 类特征的正确路径）。
+ *       `withContact` / `withCorrection` / `support` / `maxDegree` / `maxSegments` /
+ *       `law` / `lawLength` / `lawEndFactor` / `tol3d` / `boundTol` / `tolAngular`
+ *       任一，即改走 occt 原生 `sweepFull`（law 驱动扫掠是 twist 类特征的正确路径）。
+ *       `sweepFull` 的 options 是 `sweepAdvanced` 的**严格超集**，且含
+ *       `sweepOriented` 的全部字段 ⇒ 三者能力并轨，脚本面只需 `sweep` 一个符号。
  * @returns Shape 扫掠体。
  * @param profile - 截面几何（wire 或面；面取其外环）。type:Shape required:true
  * @param spine - 脊柱路径（wire）。type:Shape required:true

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;AA+DvD,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;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA4BG;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  /** 支持面（含 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 *       `support` / `maxDegree` / `maxSegments` / `law` / `lawLength` /\n *       `lawEndFactor` / `tol3d` / `boundTol` / `tolAngular` 任一，即改走 occt 原生\n *       `sweepFull`（law 驱动扫掠是 twist 类特征的正确路径）。\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;;;;;;;;;;;;;;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"]}

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;AAS1C;;;;;;;;;;;;;;;;;;;;GAoBG;AACH,eAAO,MAAM,OAAO;;CAelB,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;;CA6BlB,CAAA"}

package/dist/api/thicken.js

@@ -13,6 +13,7 @@ import { getBrepApi } from '../brep/handle-bridge.js';
 import { brepOf, fromBrep } from '../shape.js';
 import { solidToShape } from '../brep/brep-ops.js';
 import { getOcctKernel } from '../occt-kernel/occtKernel.js';
+import { HASH_UPPER_BOUND, decodeEvolution, getFaceHashes } from '../brep/face-evolution.js';
 /**
  * 加厚：把面（或壳）沿法向偏置成等厚实体。
  * @group 特征
@@ -46,8 +47,16 @@ export const thicken = defineOp({
         const handle = brepOf(input);
         if (!handle)
             throw new Error('[thicken] input is not BREP');
-        const h = getOcctKernel().thicken(handle, thickness, 1e-6);
-        return fromBrep(solidToShape(kernel, h), { solid: h });
+        // C5 实现面接入：occt 提供 thickenWithHistory ⇒ 用权威面演化，不用无历史 thicken。
+        // thicken 是 occt-only 平台 op（engines:['occt']），brepkit 在执行前已被拒绝，
+        // 因此不存在「有裸方法却因无 history 而报错」的回退分支。
+        const inputHashes = getFaceHashes(kernel, handle);
+        // wasm EvolutionData.result 是 ShapeHandle 品牌；与 topologyFns.ts 同款，
+        // 在来源处一次性 cast 为引擎中立槽型（运行时同构，句柄不跨引擎）。
+        const evo = getOcctKernel().thickenWithHistory(handle, thickness, 1e-6, inputHashes, HASH_UPPER_BOUND);
+        const result = evo.result;
+        const faceEvolution = decodeEvolution(kernel, evo, handle, result);
+        return fromBrep(solidToShape(kernel, result), { solid: result, faceEvolution });
     },
     engines: ['occt'],
     naming: { kind: 'unmodeled', reason: 'thickened-body face vocabulary not defined' },

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;AAGzD;;;;;;;;;;;;;;;;;;;;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,MAAM,CAAC,GAAG,aAAa,EAAE,CAAC,OAAO,CAAC,MAAe,EAAE,SAAS,EAAE,IAAI,CAA0B,CAAA;QAC5F,OAAO,QAAQ,CAAC,YAAY,CAAC,MAAM,EAAE,CAAC,CAAC,EAAE,EAAE,KAAK,EAAE,CAAC,EAAE,CAAU,CAAA;IACjE,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 type { BrepHandle } 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    const h = getOcctKernel().thicken(handle as never, thickness, 1e-6) as unknown as BrepHandle\n    return fromBrep(solidToShape(kernel, h), { solid: h }) 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;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"]}

package/dist/api/transform.d.ts

@@ -3,11 +3,11 @@
  *
  * 平台分层（narrowing plan Phase 5，D11 + 2026-09-28 D 批降级）：
  * - `translate` / `scale`：**中立 op**（不再声明 `engines:['occt']`）。BREP 路径按引擎
- *   能力**静态定轨**（读与 dispatchPath 同源的能力集，非运行时探测）：
- *   - occt（声明 `translateWithHistory` / `scaleWithHistory`）→ 走 face-evolution.ts 的
+ *   事实**静态定轨**（读 `hasNativeHistory`——引擎身份是唯一判据，非运行时探测）：
+ *   - occt（原生有 `translateWithHistory` / `scaleWithHistory`）→ 走 face-evolution.ts 的
  *     `translateWithHashEvolution` / `scaleWithHashEvolution` 权威面演化（历史路径），
  *     产 hash 面映射并传播 roleTable；
- *   - brepkit（未声明该二核函数，但裸 `kernel.translate` / `kernel.scale` 是真实现）→
+ *   - brepkit（无该二核函数，但裸 `kernel.translate` / `kernel.scale` 是真实现）→
  *     L1 `translateBrep` / `scaleBrep`：几何精确，**另加 identityHashEvolution**。
  *     变换不改变面数/顺序，恒等映射真实成立（非伪造）——挂恒等面演化并传播 roleTable，
  *     选面/命名在降级路径不丢（区别于 boolean/chamfer 这种毁面重造、严禁伪造的情形）。

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;AA0HD;;;;;;;;;;;;;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;;CAoBhB,CAAA;AAEF;;;;;;;;;;;;;;;;GAgBG;AACH,eAAO,MAAM,OAAO;;CAoBlB,CAAA"}

package/dist/api/transform.js

@@ -3,11 +3,11 @@
  *
  * 平台分层（narrowing plan Phase 5，D11 + 2026-09-28 D 批降级）：
  * - `translate` / `scale`：**中立 op**（不再声明 `engines:['occt']`）。BREP 路径按引擎
- *   能力**静态定轨**（读与 dispatchPath 同源的能力集，非运行时探测）：
- *   - occt（声明 `translateWithHistory` / `scaleWithHistory`）→ 走 face-evolution.ts 的
+ *   事实**静态定轨**（读 `hasNativeHistory`——引擎身份是唯一判据，非运行时探测）：
+ *   - occt（原生有 `translateWithHistory` / `scaleWithHistory`）→ 走 face-evolution.ts 的
  *     `translateWithHashEvolution` / `scaleWithHashEvolution` 权威面演化（历史路径），
  *     产 hash 面映射并传播 roleTable；
- *   - brepkit（未声明该二核函数，但裸 `kernel.translate` / `kernel.scale` 是真实现）→
+ *   - brepkit（无该二核函数，但裸 `kernel.translate` / `kernel.scale` 是真实现）→
  *     L1 `translateBrep` / `scaleBrep`：几何精确，**另加 identityHashEvolution**。
  *     变换不改变面数/顺序，恒等映射真实成立（非伪造）——挂恒等面演化并传播 roleTable，
  *     选面/命名在降级路径不丢（区别于 boolean/chamfer 这种毁面重造、严禁伪造的情形）。
@@ -25,10 +25,9 @@
 // B3 correction (2026-10-06): no library-face cad aggregate — import the impl from its own module.
 import * as meshTransform from '../mesh/transform.js';
 import { translateBrep, rotateBrep, scaleBrep, solidToShape } from '../brep/brep-ops.js';
-import { identityEvolution, identityHashEvolution, scaleWithHashEvolution, translateWithHashEvolution, } from '../brep/face-evolution.js';
+import { identityEvolution, identityHashEvolution, rotateWithHashEvolution, scaleWithHashEvolution, translateWithHashEvolution, } from '../brep/face-evolution.js';
 import { getBrepApi } from '../brep/handle-bridge.js';
-import { getBackends } from '../runtime-state.js';
-import { engineCapabilitySet } from '../cad-runtime/backend-dispatch.js';
+import { hasNativeHistory } from '../brep/engine/native-history.js';
 import { fromBrep, brepOf, inputRoleTable, hasMeshSolid } from '../shape.js';
 import { propagateAllOrigins } from '../topology/naming/roles.js';
 import { defineOp } from '../sdk.js';
@@ -95,19 +94,38 @@ export function assertScale3dParams(params) {
  * @param params - the operation parameters.
  * @returns the transformed Shape.
  */
+/**
+ * 返回欧拉角中唯一非零分量的轴索引（0=X / 1=Y / 2=Z）；多轴同时非零或全零返回 -1。
+ *
+ * 单轴欧拉角可等价映射到内核单轴 `rotateWithHistory`（绕该轴、以 pivot 为轴上一点），
+ * 从而拿到内核权威面演化；多轴欧拉角内核无单次 API 可表达，退回 identity。
+ * @param angles - the euler angles in degrees (XYZ order).
+ * @returns the single non-zero axis index, or -1.
+ */
+function singleNonZeroAxis(angles) {
+    let idx = -1;
+    for (let i = 0; i < 3; i++) {
+        if (Math.abs(angles[i]) > 1e-12) {
+            if (idx !== -1)
+                return -1;
+            idx = i;
+        }
+    }
+    return idx;
+}
 function transformBrep(op, input, params) {
     // L1 面：translateBrep/rotateBrep/scaleBrep/identityHashEvolution 只用 L1（D12）。
     const kernel = getBrepApi();
     const inputSolid = brepOf(input);
     if (!inputSolid)
         throw new Error('[api/transform] input is not BREP');
-    // 静态双轨（无运行时 try-catch 回退——按引擎**声明**的能力集在执行前定轨）：
-    // - occt（声明 *WithHistory）→ 权威历史路径（产内核面映射 + roleTable）。
+    // 静态双轨（无运行时 try-catch 回退——按引擎事实在执行前定轨）：
+    // - occt（原生有 *WithHistory）→ 权威历史路径（产内核面映射 + roleTable）。
     // - brepkit（裸 translate/scale 是真实现，无 *WithHistory）→ L1 裸调用 + identityHashEvolution。
     //   变换不改变面数/顺序，恒等映射真实成立（非伪造），故仍挂恒等面演化与 roleTable 传播。
-    const caps = engineCapabilitySet(getBackends().config.brepCapabilities);
-    const hasTranslateHistory = caps.has('translateWithHistory');
-    const hasScaleHistory = caps.has('scaleWithHistory');
+    const hasTranslateHistory = hasNativeHistory('translateWithHistory');
+    const hasScaleHistory = hasNativeHistory('scaleWithHistory');
+    const hasRotateHistory = hasNativeHistory('rotateWithHistory');
     let resultSolid;
     // 面演化（hash 键）：权威路径用内核映射，降级/中立路径用 identity 恒等映射。
     let historyEvolution;
@@ -138,15 +156,27 @@ function transformBrep(op, input, params) {
             historyEvolution = identityHashEvolution(kernel, inputSolid, resultSolid);
         }
     }
-    else {
-        // rotate_euler（任意欧拉角+pivot）/ scale3d（非等比）：内核无单次 WithHistory 可表达 →
-        // L1 rotate/scale + identity 面演化（既有语义，face-evolution.ordering.test.ts 钉住）。
-        if (op === 'rotate_euler') {
-            resultSolid = rotateBrep(kernel, inputSolid, params.angles, params.pivot);
+    else if (op === 'rotate_euler') {
+        // 单轴欧拉角可映射到内核单轴 rotateWithHistory → 权威面演化；
+        // 多轴欧拉角内核无对应 API → L1 rotate + identity（ordering.test.ts 钉住）。
+        const angles = params.angles;
+        const axisIdx = singleNonZeroAxis(angles);
+        if (hasRotateHistory && axisIdx !== -1) {
+            const axis = axisIdx === 0 ? [1, 0, 0] : axisIdx === 1 ? [0, 1, 0] : [0, 0, 1];
+            const pivot = params.pivot ?? [0, 0, 0];
+            const r = rotateWithHashEvolution(kernel, inputSolid, pivot, axis, (angles[axisIdx] * Math.PI) / 180);
+            resultSolid = r.result;
+            historyEvolution = r.evolution;
         }
         else {
-            resultSolid = scaleBrep(kernel, inputSolid, params.factor, params.center);
+            resultSolid = rotateBrep(kernel, inputSolid, angles, params.pivot);
+            historyEvolution = identityHashEvolution(kernel, inputSolid, resultSolid);
         }
+    }
+    else {
+        // scale3d（非等比）：内核无单次 WithHistory 可表达 →
+        // L1 scale + identity 面演化（face-evolution.ordering.test.ts 钉住）。
+        resultSolid = scaleBrep(kernel, inputSolid, params.factor, params.center);
         historyEvolution = identityHashEvolution(kernel, inputSolid, resultSolid);
     }
     // 变换面 1:1 保留——沿演化传播 roleTable（所有 origin），跨引擎一致（含 brepkit 降级路径）。

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,sBAAsB,EACtB,0BAA0B,GAC3B,MAAM,wBAAwB,CAAA;AAE/B,OAAO,EAAE,UAAU,EAAE,MAAM,uBAAuB,CAAA;AAClD,OAAO,EAAE,WAAW,EAAE,MAAM,kBAAkB,CAAA;AAC9C,OAAO,EAAE,mBAAmB,EAAE,MAAM,iCAAiC,CAAA;AACrE,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,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,gDAAgD;IAChD,uDAAuD;IACvD,oFAAoF;IACpF,qDAAqD;IACrD,MAAM,IAAI,GAAG,mBAAmB,CAAC,WAAW,EAAE,CAAC,MAAM,CAAC,gBAAgB,CAAC,CAAA;IACvE,MAAM,mBAAmB,GAAG,IAAI,CAAC,GAAG,CAAC,sBAAsB,CAAC,CAAA;IAC5D,MAAM,eAAe,GAAG,IAAI,CAAC,GAAG,CAAC,kBAAkB,CAAC,CAAA;IAEpD,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,CAAC;QACN,kEAAkE;QAClE,2EAA2E;QAC3E,IAAI,EAAE,KAAK,cAAc,EAAE,CAAC;YAC1B,WAAW,GAAG,UAAU,CAAC,MAAM,EAAE,UAAU,EAAE,MAAM,CAAC,MAAc,EAAE,MAAM,CAAC,KAAyB,CAAC,CAAA;QACvG,CAAC;aAAM,CAAC;YACN,WAAW,GAAG,SAAS,CAAC,MAAM,EAAE,UAAU,EAAE,MAAM,CAAC,MAAuB,EAAE,MAAM,CAAC,MAA0B,CAAC,CAAA;QAChH,CAAC;QACD,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 *   能力**静态定轨**（读与 dispatchPath 同源的能力集，非运行时探测）：\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  scaleWithHashEvolution,\n  translateWithHashEvolution,\n} from '../brep/face-evolution'\nimport type { HashEvolution } from '../brep/face-evolution'\nimport { getBrepApi } from '../brep/handle-bridge'\nimport { getBackends } from '../runtime-state'\nimport { engineCapabilitySet } from '../cad-runtime/backend-dispatch'\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 */\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 caps = engineCapabilitySet(getBackends().config.brepCapabilities)\n  const hasTranslateHistory = caps.has('translateWithHistory')\n  const hasScaleHistory = caps.has('scaleWithHistory')\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 {\n    // rotate_euler（任意欧拉角+pivot）/ scale3d（非等比）：内核无单次 WithHistory 可表达 →\n    // L1 rotate/scale + identity 面演化（既有语义，face-evolution.ordering.test.ts 钉住）。\n    if (op === 'rotate_euler') {\n      resultSolid = rotateBrep(kernel, inputSolid, params.angles as Vec3, params.pivot as Vec3 | undefined)\n    } else {\n      resultSolid = scaleBrep(kernel, inputSolid, params.factor as number | Vec3, params.center as Vec3 | undefined)\n    }\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;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"]}

package/dist/boolean/index.d.ts

@@ -0,0 +1,23 @@
+/**
+ * boolean — CSG/boolean auxiliary modules (public API surface).
+ *
+ * This index.ts aggregates the public exports of boolean/ submodules so that
+ * the umbrella entries (index.ts / browser.ts) can `export * from './boolean.js'`
+ * without hand-listing individual symbols.
+ *
+ * Internal-only symbols (SimpleUnionFind, createWedge, createDowel,
+ * computeCrossSectionWidth, etc.) are NOT re-exported here.
+ */
+export { computeSection, buildExtrudedProfile } from './cross-section.js';
+export { manifoldToMeshData, weldPositionsWorker, dovetailBooleanSplit, dowelOrTenonBooleanSplit, chainBoolean, meshToManifold, } from './csg-core.js';
+export { deriveNormals } from './deriveNormals.js';
+export { buildExtrudeParts, makeWorldPlane } from './extrude-helpers.js';
+export type { ExtrudeParts, ExtrudeOffsetMode } from './extrude-helpers.js';
+export { buildWedgeGeometry, buildDowelGeometry, buildStraightTenonGeometry, } from './joinery-shapes.js';
+export type { JoineryMeshData } from './joinery-shapes.js';
+export { setCsgBackend } from './csg-backend.js';
+export { geoToManifoldMesh, manifoldMeshToGeo } from './geo-convert.js';
+export type { ManifoldMeshData, BooleanOperation, DovetailGrooveParams, DowelSplitParams, StraightTenonSplitParams, } from './geo-convert.js';
+export { previewMeshIntersect } from './manifold-preview.js';
+export type { ManifoldMeshData as PreviewManifoldMeshData } from './manifold-preview.js';
+//# sourceMappingURL=index.d.ts.map

package/dist/boolean/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/boolean/index.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AAGH,OAAO,EAAE,cAAc,EAAE,oBAAoB,EAAE,MAAM,iBAAiB,CAAA;AAGtE,OAAO,EACL,kBAAkB,EAClB,mBAAmB,EACnB,oBAAoB,EACpB,wBAAwB,EACxB,YAAY,EACZ,cAAc,GACf,MAAM,YAAY,CAAA;AAGnB,OAAO,EAAE,aAAa,EAAE,MAAM,iBAAiB,CAAA;AAG/C,OAAO,EAAE,iBAAiB,EAAE,cAAc,EAAE,MAAM,mBAAmB,CAAA;AACrE,YAAY,EAAE,YAAY,EAAE,iBAAiB,EAAE,MAAM,mBAAmB,CAAA;AAGxE,OAAO,EACL,kBAAkB,EAClB,kBAAkB,EAClB,0BAA0B,GAC3B,MAAM,kBAAkB,CAAA;AACzB,YAAY,EAAE,eAAe,EAAE,MAAM,kBAAkB,CAAA;AAGvD,OAAO,EAAE,aAAa,EAAE,MAAM,eAAe,CAAA;AAG7C,OAAO,EAAE,iBAAiB,EAAE,iBAAiB,EAAE,MAAM,eAAe,CAAA;AACpE,YAAY,EACV,gBAAgB,EAChB,gBAAgB,EAChB,oBAAoB,EACpB,gBAAgB,EAChB,wBAAwB,GACzB,MAAM,eAAe,CAAA;AAGtB,OAAO,EAAE,oBAAoB,EAAE,MAAM,oBAAoB,CAAA;AACzD,YAAY,EAAE,gBAAgB,IAAI,uBAAuB,EAAE,MAAM,oBAAoB,CAAA"}

package/dist/boolean/index.js

@@ -0,0 +1,27 @@
+/**
+ * boolean — CSG/boolean auxiliary modules (public API surface).
+ *
+ * This index.ts aggregates the public exports of boolean/ submodules so that
+ * the umbrella entries (index.ts / browser.ts) can `export * from './boolean.js'`
+ * without hand-listing individual symbols.
+ *
+ * Internal-only symbols (SimpleUnionFind, createWedge, createDowel,
+ * computeCrossSectionWidth, etc.) are NOT re-exported here.
+ */
+// cross-section
+export { computeSection, buildExtrudedProfile } from './cross-section.js';
+// csg-core
+export { manifoldToMeshData, weldPositionsWorker, dovetailBooleanSplit, dowelOrTenonBooleanSplit, chainBoolean, meshToManifold, } from './csg-core.js';
+// deriveNormals
+export { deriveNormals } from './deriveNormals.js';
+// extrude-helpers
+export { buildExtrudeParts, makeWorldPlane } from './extrude-helpers.js';
+// joinery-shapes
+export { buildWedgeGeometry, buildDowelGeometry, buildStraightTenonGeometry, } from './joinery-shapes.js';
+// csg-backend
+export { setCsgBackend } from './csg-backend.js';
+// geo-convert
+export { geoToManifoldMesh, manifoldMeshToGeo } from './geo-convert.js';
+// manifold-preview (ManifoldMeshData aliased to avoid clash with geo-convert's)
+export { previewMeshIntersect } from './manifold-preview.js';
+//# sourceMappingURL=index.js.map

package/dist/boolean/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/boolean/index.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AAEH,gBAAgB;AAChB,OAAO,EAAE,cAAc,EAAE,oBAAoB,EAAE,MAAM,iBAAiB,CAAA;AAEtE,WAAW;AACX,OAAO,EACL,kBAAkB,EAClB,mBAAmB,EACnB,oBAAoB,EACpB,wBAAwB,EACxB,YAAY,EACZ,cAAc,GACf,MAAM,YAAY,CAAA;AAEnB,gBAAgB;AAChB,OAAO,EAAE,aAAa,EAAE,MAAM,iBAAiB,CAAA;AAE/C,kBAAkB;AAClB,OAAO,EAAE,iBAAiB,EAAE,cAAc,EAAE,MAAM,mBAAmB,CAAA;AAGrE,iBAAiB;AACjB,OAAO,EACL,kBAAkB,EAClB,kBAAkB,EAClB,0BAA0B,GAC3B,MAAM,kBAAkB,CAAA;AAGzB,cAAc;AACd,OAAO,EAAE,aAAa,EAAE,MAAM,eAAe,CAAA;AAE7C,cAAc;AACd,OAAO,EAAE,iBAAiB,EAAE,iBAAiB,EAAE,MAAM,eAAe,CAAA;AASpE,gFAAgF;AAChF,OAAO,EAAE,oBAAoB,EAAE,MAAM,oBAAoB,CAAA","sourcesContent":["/**\r\n * boolean — CSG/boolean auxiliary modules (public API surface).\r\n *\r\n * This index.ts aggregates the public exports of boolean/ submodules so that\r\n * the umbrella entries (index.ts / browser.ts) can `export * from './boolean'`\r\n * without hand-listing individual symbols.\r\n *\r\n * Internal-only symbols (SimpleUnionFind, createWedge, createDowel,\r\n * computeCrossSectionWidth, etc.) are NOT re-exported here.\r\n */\r\n\r\n// cross-section\r\nexport { computeSection, buildExtrudedProfile } from './cross-section'\r\n\r\n// csg-core\r\nexport {\r\n  manifoldToMeshData,\r\n  weldPositionsWorker,\r\n  dovetailBooleanSplit,\r\n  dowelOrTenonBooleanSplit,\r\n  chainBoolean,\r\n  meshToManifold,\r\n} from './csg-core'\r\n\r\n// deriveNormals\r\nexport { deriveNormals } from './deriveNormals'\r\n\r\n// extrude-helpers\r\nexport { buildExtrudeParts, makeWorldPlane } from './extrude-helpers'\r\nexport type { ExtrudeParts, ExtrudeOffsetMode } from './extrude-helpers'\r\n\r\n// joinery-shapes\r\nexport {\r\n  buildWedgeGeometry,\r\n  buildDowelGeometry,\r\n  buildStraightTenonGeometry,\r\n} from './joinery-shapes'\r\nexport type { JoineryMeshData } from './joinery-shapes'\r\n\r\n// csg-backend\r\nexport { setCsgBackend } from './csg-backend'\r\n\r\n// geo-convert\r\nexport { geoToManifoldMesh, manifoldMeshToGeo } from './geo-convert'\r\nexport type {\r\n  ManifoldMeshData,\r\n  BooleanOperation,\r\n  DovetailGrooveParams,\r\n  DowelSplitParams,\r\n  StraightTenonSplitParams,\r\n} from './geo-convert'\r\n\r\n// manifold-preview (ManifoldMeshData aliased to avoid clash with geo-convert's)\r\nexport { previewMeshIntersect } from './manifold-preview'\r\nexport type { ManifoldMeshData as PreviewManifoldMeshData } from './manifold-preview'\r\n"]}

package/dist/brep/brep-chain.d.ts

@@ -11,7 +11,7 @@
  * 生命周期：由 executeScript / executePart 创建，执行结束后释放所有中间句柄。
  * 终端句柄（如果有）由调用方保留用于导出。
  */
-import type { BrepHandle, BrepMeshResult, BrepCapabilities } from './engine/types.js';
+import type { BrepHandle, BrepMeshResult } from './engine/types.js';
 import type { BrepEngineApi } from './engine/primitives.js';
 import type { PartName } from '../identity.js';
 /**
@@ -43,24 +43,6 @@ export interface BrepChainState {
     solidCache: Map<PartName, BrepHandle>;
     /** BREP 引擎实例（mesh 模式为 null —— 等价于「无 BREP 能力」）。 */
     kernel: BrepEngineApi | null;
-    /**
-     * 当前引擎的能力声明（§7.5；mesh 模式无引擎 → undefined）。
-     * 供能力路由静态判定（§8.4）：缺失的能力 → 依赖它的功能静态降级走 mesh。
-     */
-    capabilities?: BrepCapabilities;
-    /**
-     * 零件在世界空间中的平移偏移（来自 mesh.position / partTransforms）。
-     *
-     * BREP solid 在原始局部坐标系中（STEP 文件原始坐标），而用户交互
-     * 产生的 position（如钻孔 clickPosition）是世界坐标。使用此偏移
-     * 将世界坐标转换为局部坐标，确保 BREP 操作在正确的坐标系中执行。
-     *
-     * 由 executePart 从 useEngineStore.partTransforms[scopedId].position 填充。
-     */
-    partTransform?: {
-        position: [number, number, number];
-        scale?: [number, number, number];
-    };
     /**
      * P5-2: 面演化映射缓存（statementId → FaceEvolution）。
      *

package/dist/brep/brep-chain.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"brep-chain.d.ts","sourceRoot":"","sources":["../../src/brep/brep-chain.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AAEH,OAAO,KAAK,EAAE,UAAU,EAAE,cAAc,EAAE,gBAAgB,EAAE,MAAM,gBAAgB,CAAA;AAClF,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,qBAAqB,CAAA;AAGxD,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,aAAa,CAAA;AAW3C;;;;;;;;;GASG;AACH,wBAAgB,WAAW,CACzB,IAAI,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,EAC7B,QAAQ,EAAE,OAAO,GAChB,OAAO,CAcT;AAID;;;;;;;;;;;;GAYG;AACH,MAAM,WAAW,cAAc;IAC7B,yEAAyE;IACzE,UAAU,EAAE,GAAG,CAAC,QAAQ,EAAE,UAAU,CAAC,CAAA;IACrC,kDAAkD;IAClD,MAAM,EAAE,aAAa,GAAG,IAAI,CAAA;IAC5B;;;OAGG;IACH,YAAY,CAAC,EAAE,gBAAgB,CAAA;IAC/B;;;;;;;;OAQG;IACH,aAAa,CAAC,EAAE;QAAE,QAAQ,EAAE,CAAC,MAAM,EAAE,MAAM,EAAE,MAAM,CAAC,CAAC;QAAC,KAAK,CAAC,EAAE,CAAC,MAAM,EAAE,MAAM,EAAE,MAAM,CAAC,CAAA;KAAE,CAAA;IACxF;;;;;;;OAOG;IACH,kBAAkB,CAAC,EAAE,GAAG,CAAC,QAAQ,EAAE,GAAG,CAAC,MAAM,EAAE,MAAM,EAAE,CAAC,CAAC,CAAA;IACzD;;;;;;;OAOG;IACH,cAAc,CAAC,EAAE,GAAG,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAA;IACvC;;;;;;;;OAQG;IACH,cAAc,CAAC,EAAE,GAAG,CAAC,QAAQ,EAAE,cAAc,CAAC,CAAA;CAC/C;AAED;;;GAGG;AACH,wBAAgB,oBAAoB,IAAI,cAAc,CAQrD;AAED;;;;;;GAMG;AACH,wBAAsB,kBAAkB,IAAI,OAAO,CAAC,cAAc,CAAC,CAWlE;AAED;;;;;;;GAOG;AACH,wBAAgB,qBAAqB,CAAC,KAAK,EAAE,cAAc,GAAG,IAAI,CAUjE"}
+{"version":3,"file":"brep-chain.d.ts","sourceRoot":"","sources":["../../src/brep/brep-chain.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AAEH,OAAO,KAAK,EAAE,UAAU,EAAE,cAAc,EAAE,MAAM,gBAAgB,CAAA;AAChE,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,qBAAqB,CAAA;AAGxD,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,aAAa,CAAA;AAW3C;;;;;;;;;GASG;AACH,wBAAgB,WAAW,CACzB,IAAI,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,EAC7B,QAAQ,EAAE,OAAO,GAChB,OAAO,CAcT;AAID;;;;;;;;;;;;GAYG;AACH,MAAM,WAAW,cAAc;IAC7B,yEAAyE;IACzE,UAAU,EAAE,GAAG,CAAC,QAAQ,EAAE,UAAU,CAAC,CAAA;IACrC,kDAAkD;IAClD,MAAM,EAAE,aAAa,GAAG,IAAI,CAAA;IAC5B;;;;;;;OAOG;IACH,kBAAkB,CAAC,EAAE,GAAG,CAAC,QAAQ,EAAE,GAAG,CAAC,MAAM,EAAE,MAAM,EAAE,CAAC,CAAC,CAAA;IACzD;;;;;;;OAOG;IACH,cAAc,CAAC,EAAE,GAAG,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAA;IACvC;;;;;;;;OAQG;IACH,cAAc,CAAC,EAAE,GAAG,CAAC,QAAQ,EAAE,cAAc,CAAC,CAAA;CAC/C;AAED;;;GAGG;AACH,wBAAgB,oBAAoB,IAAI,cAAc,CAQrD;AAED;;;;;;GAMG;AACH,wBAAsB,kBAAkB,IAAI,OAAO,CAAC,cAAc,CAAC,CAUlE;AAED;;;;;;;GAOG;AACH,wBAAgB,qBAAqB,CAAC,KAAK,EAAE,cAAc,GAAG,IAAI,CAUjE"}

package/dist/brep/brep-chain.js

@@ -70,7 +70,6 @@ export async function initBrepChainState() {
     return {
         solidCache: new Map(),
         kernel: engine.primitives,
-        capabilities: engine.capabilities,
         faceEvolutionCache: new Map(),
         roleTableCache: new Map(),
         meshShapeCache: new Map(),