@faicad/faijs 0.17.0 → 0.18.0

package/dist/api/api-namespace.js

@@ -26,7 +26,7 @@ import { extrude } from './extrude.js';
 import { knurl } from './knurl.js';
 import { sdf } from './sdf.js';
 import { screw } from './screw.js';
-import { sketch } from './sketch.js';
+import { profile } from './profile.js';
 import { wire } from './wire.js';
 import { helix } from './helix.js';
 import { union, subtract, intersect, cut } from './boolean.js';
@@ -75,7 +75,7 @@ export function createApiNamespace() {
     return {
         contractVersion: CONTRACT_VERSION,
         box, sphere, cylinder, cone, wedge,
-        screw, sketch, wire, helix, sdf,
+        screw, profile, wire, helix, sdf,
         // D1 选项 C：四个 transform op 全留核心（translate 小程序端在用，同族不拆散）。
         translate, rotate_euler, scale, scale3d,
         engrave, chamfer, fillet, knurl,

package/dist/api/api-namespace.js.map

@@ -1 +1 @@
-{"version":3,"file":"api-namespace.js","sourceRoot":"","sources":["../../src/api/api-namespace.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;GAmBG;AAEH,OAAO,EAAE,GAAG,EAAE,MAAM,EAAE,QAAQ,EAAE,IAAI,EAAE,KAAK,EAAE,MAAM,cAAc,CAAA;AACjE,OAAO,EAAE,SAAS,EAAE,YAAY,EAAE,KAAK,EAAE,OAAO,EAAE,MAAM,aAAa,CAAA;AACrE,iEAAiE;AACjE,4DAA4D;AAC5D,OAAO,EAAE,OAAO,EAAE,MAAM,WAAW,CAAA;AACnC,OAAO,EAAE,KAAK,EAAE,MAAM,SAAS,CAAA;AAC/B,OAAO,EAAE,GAAG,EAAE,MAAM,OAAO,CAAA;AAC3B,OAAO,EAAE,KAAK,EAAE,MAAM,SAAS,CAAA;AAC/B,OAAO,EAAE,MAAM,EAAE,MAAM,UAAU,CAAA;AACjC,OAAO,EAAE,IAAI,EAAE,MAAM,QAAQ,CAAA;AAC7B,OAAO,EAAE,KAAK,EAAE,MAAM,SAAS,CAAA;AAC/B,OAAO,EAAE,KAAK,EAAE,QAAQ,EAAE,SAAS,EAAE,GAAG,EAAE,MAAM,WAAW,CAAA;AAC3D,OAAO,EAAE,KAAK,EAAE,MAAM,SAAS,CAAA;AAC/B,OAAO,EAAE,KAAK,EAAE,MAAM,SAAS,CAAA;AAC/B,OAAO,EAAE,IAAI,EAAE,MAAM,QAAQ,CAAA;AAC7B,OAAO,EAAE,aAAa,EAAE,MAAM,WAAW,CAAA;AACzC,OAAO,EAAE,eAAe,EAAE,WAAW,EAAE,kBAAkB,EAAE,UAAU,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,aAAa,CAAA;AACzG,OAAO,EAAE,OAAO,EAAE,MAAM,WAAW,CAAA;AACnC,OAAO,EAAE,OAAO,EAAE,MAAM,WAAW,CAAA;AACnC,OAAO,EAAE,MAAM,EAAE,MAAM,UAAU,CAAA;AACjC,OAAO,EAAE,KAAK,EAAE,MAAM,SAAS,CAAA;AAC/B,OAAO,EAAE,KAAK,EAAE,MAAM,SAAS,CAAA;AAC/B,OAAO,EAAE,OAAO,EAAE,MAAM,WAAW,CAAA;AACnC,OAAO,EAAE,SAAS,EAAE,YAAY,EAAE,eAAe,EAAE,GAAG,EAAE,cAAc,EAAE,mBAAmB,EAAE,MAAM,kBAAkB,CAAA;AACrH,OAAO,EAAE,cAAc,EAAE,MAAM,mBAAmB,CAAA;AAClD,OAAO,EAAE,YAAY,EAAE,MAAM,kBAAkB,CAAA;AAC/C,OAAO,EAAE,cAAc,EAAE,MAAM,oBAAoB,CAAA;AACnD,OAAO,EAAE,UAAU,EAAE,UAAU,EAAE,OAAO,EAAE,OAAO,EAAE,MAAM,QAAQ,CAAA;AACjE,OAAO,EAAE,OAAO,EAAE,MAAM,YAAY,CAAA;AACpC,OAAO,EAAE,OAAO,EAAE,MAAM,YAAY,CAAA;AACpC,OAAO,EAAE,eAAe,EAAE,iBAAiB,EAAE,YAAY,EAAE,MAAM,YAAY,CAAA;AAC7E,OAAO,EAAE,KAAK,EAAE,MAAM,SAAS,CAAA;AAC/B,OAAO,EAAE,WAAW,EAAE,MAAM,eAAe,CAAA;AAC3C,OAAO,EAAE,WAAW,EAAE,MAAM,eAAe,CAAA;AAC3C,OAAO,EAAE,QAAQ,IAAI,iBAAiB,EAAE,MAAM,iBAAiB,CAAA;AAC/D,OAAO,EAAE,KAAK,EAAE,MAAM,SAAS,CAAA;AAC/B,OAAO,EAAE,aAAa,EAAE,MAAM,yBAAyB,CAAA;AACvD,OAAO,EAAE,OAAO,EAAE,MAAM,WAAW,CAAA;AACnC,OAAO,EAAE,gBAAgB,EAAE,MAAM,kBAAkB,CAAA;AAGnD;;;;;;;;;;GAUG;AACH,MAAM,UAAU,kBAAkB;IAChC,6EAA6E;IAC7E,0EAA0E;IAC1E,6DAA6D;IAC7D,OAAO;QACL,eAAe,EAAE,gBAAgB;QACjC,GAAG,EAAE,MAAM,EAAE,QAAQ,EAAE,IAAI,EAAE,KAAK;QAClC,KAAK,EAAE,MAAM,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG;QAC/B,wDAAwD;QACxD,SAAS,EAAE,YAAY,EAAE,KAAK,EAAE,OAAO;QACvC,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,KAAK;QAC/B,6DAA6D;QAC7D,KAAK,EAAE,KAAK,EAAE,OAAO,EAAE,cAAc,EAAE,YAAY,EAAE,cAAc;QACnE,SAAS,EAAE,YAAY,EAAE,eAAe,EAAE,GAAG,EAAE,cAAc,EAAE,mBAAmB;QAClF,KAAK,EAAE,QAAQ,EAAE,SAAS;QAC1B,OAAO,EAAE,OAAO;QAChB,6DAA6D;QAC7D,2DAA2D;QAC3D,kDAAkD;QAClD,KAAK,EAAE,IAAI;QACX,UAAU,EAAE,UAAU,EAAE,OAAO,EAAE,OAAO;QACxC,OAAO;QACP,OAAO;QACP,eAAe,EAAE,iBAAiB,EAAE,YAAY;QAChD,KAAK;QACL,0CAA0C;QAC1C,wDAAwD;QACxD,WAAW;QACX,WAAW;QACX,QAAQ,EAAE,iBAAiB;QAC3B,KAAK;QACL,GAAG,aAAa;QAChB,4EAA4E;QAC5E,gFAAgF;QAChF,GAAG;QACH,4EAA4E;QAC5E,8EAA8E;QAC9E,uEAAuE;QACvE,KAAK;QACL,aAAa;QACb,oDAAoD;QACpD,6DAA6D;QAC7D,iEAAiE;QACjE,0CAA0C;QAC1C,eAAe;QACf,WAAW;QACX,kBAAkB;QAClB,UAAU;QACV,MAAM;QACN,KAAK;KACwB,CAAA;AACjC,CAAC","sourcesContent":["/**\n * api-namespace — 把 L3 API 面（api/ 层的 fp操作）装配为 cad 命名空间（统一 ABI，B2 消灭）\n *\n *\n * 库函数签名 = .fai.js 源码形态（无隐式参数）；本文件无任何 per-函数逻辑。\n *\n * 归属（monorepo P5/E-a-1）：本文件随 stdlib 出包，是 faijs 默认标准库\n * （cad 命名空间）的装配点。K5（引擎零函数知识）的准确含义是：parser / compile /\n * runtime 不按函数名分支、不区分函数类别，函数信息统一以 defineOp 元数据（均匀数据）\n * 承载。把 cad 这套库数据内置进引擎，与第三方库走完全相同的 registerLib 路径，\n * 引擎并未对 cad 特判，因此不构成 K5 违反。cad 在 core 的 createRuntime 包装中\n * 被注册为 default 命名空间（见 cad-runtime/createRuntimeWithCad.ts）。\n *\n * D1（2026-09-23 扩展库拆分）：本命名空间只装配**平台面**。编辑器专属 op\n * （`fai_*` / `group` / `assembly` / `copy` / `load`）与两个非基础 three 链的创建 op\n * （`text` / `svgExtrude`）已迁到 `@faicad/faijs-extra`，由宿主经\n * `mergeEditorNamespace()` 合并后注册——键名与拆分前完全一致，存量 `.fai.js` 零迁移。\n * 四个 transform op（translate/rotate_euler/scale/scale3d）按 D1 选项 C 留在此处：\n * `translate` 是通用几何变换，且是小程序端唯一在用的 transform op。\n */\n\nimport { box, sphere, cylinder, cone, wedge } from './primitives'\nimport { translate, rotate_euler, scale, scale3d } from './transform'\n// cad.extrude 是平台手写 op（承载 upTo；长度形态委托 generated/operations 的投影），\n// 见 api/extrude.ts 的分层说明——up-to 不落在 fai_extrude（后者已随扩展库迁出）。\nimport { extrude } from './extrude'\nimport { knurl } from './knurl'\nimport { sdf } from './sdf'\nimport { screw } from './screw'\nimport { sketch } from './sketch'\nimport { wire } from './wire'\nimport { helix } from './helix'\nimport { union, subtract, intersect, cut } from './boolean'\nimport { split } from './split'\nimport { sweep } from './sweep'\nimport { loft } from './loft'\nimport { linearPattern } from './pattern'\nimport { circularPattern, gridPattern, rectangularPattern, mirrorJoin, mirror, clone } from './replicate'\nimport { engrave } from './engrave'\nimport { chamfer } from './chamfer'\nimport { fillet } from './fillet'\nimport { shell } from './shell'\nimport { draft } from './draft'\nimport { thicken } from './thicken'\nimport { defeature, reverseShape, unifySameDomain, sew, sewAndSolidify, removeHolesFromFace } from './feature-repair'\nimport { filletVariable } from './fillet-variable'\nimport { splitByPlane } from './split-by-plane'\nimport { sectionByPlane } from './section-by-plane'\nimport { faceNormal, bboxCenter, bboxMin, bboxMax } from './geom'\nimport { edgeRef } from './edge-ref'\nimport { faceRef } from './face-ref'\nimport { jointTrajectory, inverseKinematics, mechanismDOF } from './assembly'\nimport { asset } from './asset'\nimport { import_brep } from './import-brep'\nimport { import_step } from './import-step'\nimport { compound as geometricCompound } from './compound-geom'\nimport { place } from './place'\nimport { scriptFaceOps } from './generated/script-face'\nimport { revolve } from './revolve'\nimport { CONTRACT_VERSION } from '../runtime-state'\nimport type { StdlibNamespace } from '../runtime-state'\n\n/**\n * Assemble stdlib functions into the cad namespace.\n *\n * P23（§4.2 ②，B1 三源一致）：cad 面 = faijs 特有 dual op（下方字面量）+\n * 生成脚本面 op（`scriptFaceOps`——`api/generated/script-face.ts` 按 arg-spec\n * 的 `scriptFace: true` 条目生成，经 `compatOp(projectBrepOp(…))` 包装的\n * brep-only 语句级 op）。`check()` 符号表（`gen-symbol-table.ts`）与\n * `api/index.ts` 导出面同源于同一份清单。\n *\n * @returns the assembled StdlibNamespace ready for runtime injection.\n */\nexport function createApiNamespace(): StdlibNamespace {\n  // D-4 strict assembly check: the cad namespace now exports dual-op functions\n  // (defineOp), so registerLib requires a matching contractVersion. Cast is\n  // needed because StdlibNamespace is an index-signature type.\n  return {\n    contractVersion: CONTRACT_VERSION,\n    box, sphere, cylinder, cone, wedge,\n    screw, sketch, wire, helix, sdf,\n    // D1 选项 C：四个 transform op 全留核心（translate 小程序端在用，同族不拆散）。\n    translate, rotate_euler, scale, scale3d,\n    engrave, chamfer, fillet, knurl,\n    // Phase 5：按面/边选的特征族 + 修复薄包装（shell/draft 中立；thicken 平台 occt）。\n    shell, draft, thicken, filletVariable, splitByPlane, sectionByPlane,\n    defeature, reverseShape, unifySameDomain, sew, sewAndSolidify, removeHolesFromFace,\n    union, subtract, intersect,\n    extrude, revolve,\n    // Phase 4：手写扫掠 / 放样（平台 op engines:['occt']；截面接受 face → 取外环）。\n    // arg-spec 里 sweep 保留 brep-op（引擎记录）/ loft 为 skip，两者均不投脚本面，\n    // 所以这里不是 override 而是唯一实现（同 extrude / revolve 口径）。\n    sweep, loft,\n    faceNormal, bboxCenter, bboxMin, bboxMax,\n    edgeRef,\n    faceRef,\n    jointTrajectory, inverseKinematics, mechanismDOF,\n    asset,\n    // 平台几何 op（H11，方案 §4）：FCStd 迁移自此不再借用编辑器 op\n    // （group/translate/rotate_euler）；这几个与 ../3d_editor 无关系。\n    import_brep,\n    import_step,\n    compound: geometricCompound,\n    place,\n    ...scriptFaceOps,\n    // Phase 3: override generated cut (compatOp, no roleTable propagation) with\n    // handwritten cut from boolean.ts (does roleTable propagation via booleanBrep).\n    cut,\n    // Phase 3: override generated split / linearPattern (compatOp, no roleTable\n    // propagation) with handwritten versions that build replica[k] / splinter(#j)\n    // role tables (L3 / L4 抗重放词汇). Spread after scriptFaceOps so they win.\n    split,\n    linearPattern,\n    // 覆盖生成版：4 个多副本 pattern 提拔手写（keep + replica[*] 角色表）；\n    // 2 个单副本（mirror/clone）加 keep 薄 override。transformCopy 不再是脚本面\n    // op（arg-spec skip：ComposedTransform 在 .fai.js 不可构造），仅保留 TS 库导出。\n    // Spread after scriptFaceOps so they win.\n    circularPattern,\n    gridPattern,\n    rectangularPattern,\n    mirrorJoin,\n    mirror,\n    clone,\n  } as unknown as StdlibNamespace\n}\n"]}
+{"version":3,"file":"api-namespace.js","sourceRoot":"","sources":["../../src/api/api-namespace.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;GAmBG;AAEH,OAAO,EAAE,GAAG,EAAE,MAAM,EAAE,QAAQ,EAAE,IAAI,EAAE,KAAK,EAAE,MAAM,cAAc,CAAA;AACjE,OAAO,EAAE,SAAS,EAAE,YAAY,EAAE,KAAK,EAAE,OAAO,EAAE,MAAM,aAAa,CAAA;AACrE,iEAAiE;AACjE,4DAA4D;AAC5D,OAAO,EAAE,OAAO,EAAE,MAAM,WAAW,CAAA;AACnC,OAAO,EAAE,KAAK,EAAE,MAAM,SAAS,CAAA;AAC/B,OAAO,EAAE,GAAG,EAAE,MAAM,OAAO,CAAA;AAC3B,OAAO,EAAE,KAAK,EAAE,MAAM,SAAS,CAAA;AAC/B,OAAO,EAAE,OAAO,EAAE,MAAM,WAAW,CAAA;AACnC,OAAO,EAAE,IAAI,EAAE,MAAM,QAAQ,CAAA;AAC7B,OAAO,EAAE,KAAK,EAAE,MAAM,SAAS,CAAA;AAC/B,OAAO,EAAE,KAAK,EAAE,QAAQ,EAAE,SAAS,EAAE,GAAG,EAAE,MAAM,WAAW,CAAA;AAC3D,OAAO,EAAE,KAAK,EAAE,MAAM,SAAS,CAAA;AAC/B,OAAO,EAAE,KAAK,EAAE,MAAM,SAAS,CAAA;AAC/B,OAAO,EAAE,IAAI,EAAE,MAAM,QAAQ,CAAA;AAC7B,OAAO,EAAE,aAAa,EAAE,MAAM,WAAW,CAAA;AACzC,OAAO,EAAE,eAAe,EAAE,WAAW,EAAE,kBAAkB,EAAE,UAAU,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,aAAa,CAAA;AACzG,OAAO,EAAE,OAAO,EAAE,MAAM,WAAW,CAAA;AACnC,OAAO,EAAE,OAAO,EAAE,MAAM,WAAW,CAAA;AACnC,OAAO,EAAE,MAAM,EAAE,MAAM,UAAU,CAAA;AACjC,OAAO,EAAE,KAAK,EAAE,MAAM,SAAS,CAAA;AAC/B,OAAO,EAAE,KAAK,EAAE,MAAM,SAAS,CAAA;AAC/B,OAAO,EAAE,OAAO,EAAE,MAAM,WAAW,CAAA;AACnC,OAAO,EAAE,SAAS,EAAE,YAAY,EAAE,eAAe,EAAE,GAAG,EAAE,cAAc,EAAE,mBAAmB,EAAE,MAAM,kBAAkB,CAAA;AACrH,OAAO,EAAE,cAAc,EAAE,MAAM,mBAAmB,CAAA;AAClD,OAAO,EAAE,YAAY,EAAE,MAAM,kBAAkB,CAAA;AAC/C,OAAO,EAAE,cAAc,EAAE,MAAM,oBAAoB,CAAA;AACnD,OAAO,EAAE,UAAU,EAAE,UAAU,EAAE,OAAO,EAAE,OAAO,EAAE,MAAM,QAAQ,CAAA;AACjE,OAAO,EAAE,OAAO,EAAE,MAAM,YAAY,CAAA;AACpC,OAAO,EAAE,OAAO,EAAE,MAAM,YAAY,CAAA;AACpC,OAAO,EAAE,eAAe,EAAE,iBAAiB,EAAE,YAAY,EAAE,MAAM,YAAY,CAAA;AAC7E,OAAO,EAAE,KAAK,EAAE,MAAM,SAAS,CAAA;AAC/B,OAAO,EAAE,WAAW,EAAE,MAAM,eAAe,CAAA;AAC3C,OAAO,EAAE,WAAW,EAAE,MAAM,eAAe,CAAA;AAC3C,OAAO,EAAE,QAAQ,IAAI,iBAAiB,EAAE,MAAM,iBAAiB,CAAA;AAC/D,OAAO,EAAE,KAAK,EAAE,MAAM,SAAS,CAAA;AAC/B,OAAO,EAAE,aAAa,EAAE,MAAM,yBAAyB,CAAA;AACvD,OAAO,EAAE,OAAO,EAAE,MAAM,WAAW,CAAA;AACnC,OAAO,EAAE,gBAAgB,EAAE,MAAM,kBAAkB,CAAA;AAGnD;;;;;;;;;;GAUG;AACH,MAAM,UAAU,kBAAkB;IAChC,6EAA6E;IAC7E,0EAA0E;IAC1E,6DAA6D;IAC7D,OAAO;QACL,eAAe,EAAE,gBAAgB;QACjC,GAAG,EAAE,MAAM,EAAE,QAAQ,EAAE,IAAI,EAAE,KAAK;QAClC,KAAK,EAAE,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG;QAChC,wDAAwD;QACxD,SAAS,EAAE,YAAY,EAAE,KAAK,EAAE,OAAO;QACvC,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,KAAK;QAC/B,6DAA6D;QAC7D,KAAK,EAAE,KAAK,EAAE,OAAO,EAAE,cAAc,EAAE,YAAY,EAAE,cAAc;QACnE,SAAS,EAAE,YAAY,EAAE,eAAe,EAAE,GAAG,EAAE,cAAc,EAAE,mBAAmB;QAClF,KAAK,EAAE,QAAQ,EAAE,SAAS;QAC1B,OAAO,EAAE,OAAO;QAChB,6DAA6D;QAC7D,2DAA2D;QAC3D,kDAAkD;QAClD,KAAK,EAAE,IAAI;QACX,UAAU,EAAE,UAAU,EAAE,OAAO,EAAE,OAAO;QACxC,OAAO;QACP,OAAO;QACP,eAAe,EAAE,iBAAiB,EAAE,YAAY;QAChD,KAAK;QACL,0CAA0C;QAC1C,wDAAwD;QACxD,WAAW;QACX,WAAW;QACX,QAAQ,EAAE,iBAAiB;QAC3B,KAAK;QACL,GAAG,aAAa;QAChB,4EAA4E;QAC5E,gFAAgF;QAChF,GAAG;QACH,4EAA4E;QAC5E,8EAA8E;QAC9E,uEAAuE;QACvE,KAAK;QACL,aAAa;QACb,oDAAoD;QACpD,6DAA6D;QAC7D,iEAAiE;QACjE,0CAA0C;QAC1C,eAAe;QACf,WAAW;QACX,kBAAkB;QAClB,UAAU;QACV,MAAM;QACN,KAAK;KACwB,CAAA;AACjC,CAAC","sourcesContent":["/**\n * api-namespace — 把 L3 API 面（api/ 层的 fp操作）装配为 cad 命名空间（统一 ABI，B2 消灭）\n *\n *\n * 库函数签名 = .fai.js 源码形态（无隐式参数）；本文件无任何 per-函数逻辑。\n *\n * 归属（monorepo P5/E-a-1）：本文件随 stdlib 出包，是 faijs 默认标准库\n * （cad 命名空间）的装配点。K5（引擎零函数知识）的准确含义是：parser / compile /\n * runtime 不按函数名分支、不区分函数类别，函数信息统一以 defineOp 元数据（均匀数据）\n * 承载。把 cad 这套库数据内置进引擎，与第三方库走完全相同的 registerLib 路径，\n * 引擎并未对 cad 特判，因此不构成 K5 违反。cad 在 core 的 createRuntime 包装中\n * 被注册为 default 命名空间（见 cad-runtime/createRuntimeWithCad.ts）。\n *\n * D1（2026-09-23 扩展库拆分）：本命名空间只装配**平台面**。编辑器专属 op\n * （`fai_*` / `group` / `assembly` / `copy` / `load`）与两个非基础 three 链的创建 op\n * （`text` / `svgExtrude`）已迁到 `@faicad/faijs-extra`，由宿主经\n * `mergeEditorNamespace()` 合并后注册——键名与拆分前完全一致，存量 `.fai.js` 零迁移。\n * 四个 transform op（translate/rotate_euler/scale/scale3d）按 D1 选项 C 留在此处：\n * `translate` 是通用几何变换，且是小程序端唯一在用的 transform op。\n */\n\nimport { box, sphere, cylinder, cone, wedge } from './primitives'\nimport { translate, rotate_euler, scale, scale3d } from './transform'\n// cad.extrude 是平台手写 op（承载 upTo；长度形态委托 generated/operations 的投影），\n// 见 api/extrude.ts 的分层说明——up-to 不落在 fai_extrude（后者已随扩展库迁出）。\nimport { extrude } from './extrude'\nimport { knurl } from './knurl'\nimport { sdf } from './sdf'\nimport { screw } from './screw'\nimport { profile } from './profile'\nimport { wire } from './wire'\nimport { helix } from './helix'\nimport { union, subtract, intersect, cut } from './boolean'\nimport { split } from './split'\nimport { sweep } from './sweep'\nimport { loft } from './loft'\nimport { linearPattern } from './pattern'\nimport { circularPattern, gridPattern, rectangularPattern, mirrorJoin, mirror, clone } from './replicate'\nimport { engrave } from './engrave'\nimport { chamfer } from './chamfer'\nimport { fillet } from './fillet'\nimport { shell } from './shell'\nimport { draft } from './draft'\nimport { thicken } from './thicken'\nimport { defeature, reverseShape, unifySameDomain, sew, sewAndSolidify, removeHolesFromFace } from './feature-repair'\nimport { filletVariable } from './fillet-variable'\nimport { splitByPlane } from './split-by-plane'\nimport { sectionByPlane } from './section-by-plane'\nimport { faceNormal, bboxCenter, bboxMin, bboxMax } from './geom'\nimport { edgeRef } from './edge-ref'\nimport { faceRef } from './face-ref'\nimport { jointTrajectory, inverseKinematics, mechanismDOF } from './assembly'\nimport { asset } from './asset'\nimport { import_brep } from './import-brep'\nimport { import_step } from './import-step'\nimport { compound as geometricCompound } from './compound-geom'\nimport { place } from './place'\nimport { scriptFaceOps } from './generated/script-face'\nimport { revolve } from './revolve'\nimport { CONTRACT_VERSION } from '../runtime-state'\nimport type { StdlibNamespace } from '../runtime-state'\n\n/**\n * Assemble stdlib functions into the cad namespace.\n *\n * P23（§4.2 ②，B1 三源一致）：cad 面 = faijs 特有 dual op（下方字面量）+\n * 生成脚本面 op（`scriptFaceOps`——`api/generated/script-face.ts` 按 arg-spec\n * 的 `scriptFace: true` 条目生成，经 `compatOp(projectBrepOp(…))` 包装的\n * brep-only 语句级 op）。`check()` 符号表（`gen-symbol-table.ts`）与\n * `api/index.ts` 导出面同源于同一份清单。\n *\n * @returns the assembled StdlibNamespace ready for runtime injection.\n */\nexport function createApiNamespace(): StdlibNamespace {\n  // D-4 strict assembly check: the cad namespace now exports dual-op functions\n  // (defineOp), so registerLib requires a matching contractVersion. Cast is\n  // needed because StdlibNamespace is an index-signature type.\n  return {\n    contractVersion: CONTRACT_VERSION,\n    box, sphere, cylinder, cone, wedge,\n    screw, profile, wire, helix, sdf,\n    // D1 选项 C：四个 transform op 全留核心（translate 小程序端在用，同族不拆散）。\n    translate, rotate_euler, scale, scale3d,\n    engrave, chamfer, fillet, knurl,\n    // Phase 5：按面/边选的特征族 + 修复薄包装（shell/draft 中立；thicken 平台 occt）。\n    shell, draft, thicken, filletVariable, splitByPlane, sectionByPlane,\n    defeature, reverseShape, unifySameDomain, sew, sewAndSolidify, removeHolesFromFace,\n    union, subtract, intersect,\n    extrude, revolve,\n    // Phase 4：手写扫掠 / 放样（平台 op engines:['occt']；截面接受 face → 取外环）。\n    // arg-spec 里 sweep 保留 brep-op（引擎记录）/ loft 为 skip，两者均不投脚本面，\n    // 所以这里不是 override 而是唯一实现（同 extrude / revolve 口径）。\n    sweep, loft,\n    faceNormal, bboxCenter, bboxMin, bboxMax,\n    edgeRef,\n    faceRef,\n    jointTrajectory, inverseKinematics, mechanismDOF,\n    asset,\n    // 平台几何 op（H11，方案 §4）：FCStd 迁移自此不再借用编辑器 op\n    // （group/translate/rotate_euler）；这几个与 ../3d_editor 无关系。\n    import_brep,\n    import_step,\n    compound: geometricCompound,\n    place,\n    ...scriptFaceOps,\n    // Phase 3: override generated cut (compatOp, no roleTable propagation) with\n    // handwritten cut from boolean.ts (does roleTable propagation via booleanBrep).\n    cut,\n    // Phase 3: override generated split / linearPattern (compatOp, no roleTable\n    // propagation) with handwritten versions that build replica[k] / splinter(#j)\n    // role tables (L3 / L4 抗重放词汇). Spread after scriptFaceOps so they win.\n    split,\n    linearPattern,\n    // 覆盖生成版：4 个多副本 pattern 提拔手写（keep + replica[*] 角色表）；\n    // 2 个单副本（mirror/clone）加 keep 薄 override。transformCopy 不再是脚本面\n    // op（arg-spec skip：ComposedTransform 在 .fai.js 不可构造），仅保留 TS 库导出。\n    // Spread after scriptFaceOps so they win.\n    circularPattern,\n    gridPattern,\n    rectangularPattern,\n    mirrorJoin,\n    mirror,\n    clone,\n  } as unknown as StdlibNamespace\n}\n"]}

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

@@ -1 +1 @@
-{"version":3,"file":"boolean.d.ts","sourceRoot":"","sources":["../../src/api/boolean.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAEH,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,eAAe,CAAA;AAsH1C;;;;;;;;;;;IAWI;AACJ,eAAO,MAAM,KAAK;;CAehB,CAAA;AAEF;;;;;;;;;;;;;;;IAeI;AACJ,eAAO,MAAM,GAAG;;CAWd,CAAA;AAEF;;;;;;;;;;;IAWI;AACJ,eAAO,MAAM,QAAQ;;CAYnB,CAAA;AAEF;;;;;;;;;;;IAWI;AACJ,eAAO,MAAM,SAAS;;CAepB,CAAA"}
+{"version":3,"file":"boolean.d.ts","sourceRoot":"","sources":["../../src/api/boolean.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAEH,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,eAAe,CAAA;AA+J1C;;;;;;;;;;;IAWI;AACJ,eAAO,MAAM,KAAK;;CAehB,CAAA;AAEF;;;;;;;;;;;;;;;IAeI;AACJ,eAAO,MAAM,GAAG;;CAWd,CAAA;AAEF;;;;;;;;;;;IAWI;AACJ,eAAO,MAAM,QAAQ;;CAYnB,CAAA;AAEF;;;;;;;;;;;IAWI;AACJ,eAAO,MAAM,SAAS;;CAgBpB,CAAA"}

package/dist/api/boolean.js

@@ -10,14 +10,30 @@
 import { cad } from '../mesh/index.js';
 import { solidToShape } from '../brep/brep-ops.js';
 import { booleanWithRoleTable, } from '../brep/face-evolution.js';
-import { getCurrentStmt, keepHidden, nameOf } from '../runtime-state.js';
+import { getCurrentStmt, getBackends, keepHidden, nameOf } from '../runtime-state.js';
 import { getBrepApi } from '../brep/handle-bridge.js';
 import { fromBrep, brepOf, inputRoleTable } from '../shape.js';
 import { reconcileBrepInputs } from './reconcile.js';
 import { OpError } from './internal/result-unwrap.js';
 import { defineOp } from '../sdk.js';
+import { engineCapabilitySet } from '../cad-runtime/backend-dispatch.js';
 // ── 共享内部实现 ──
-/** BREP 路径：fuse/cut/common（*WithHistory 封装，收集面演化 + roleTable 合流 §3.4）。 */
+/**
+ * BREP 路径：fuse/cut/intersect。
+ *
+ * 静态双轨（无运行时 try-catch 回退——按引擎**声明**的能力集在执行前定轨）：
+ * - 引擎声明了对应 `*WithHistory`（occt 三员全有）→ `booleanWithRoleTable`：
+ *   一次内核调用同时产出结果 + 面演化（faceEvolution）+ roleTable 合流（§3.4）。
+ * - 引擎只声明了裸布尔方法（brepkit：声明了 `intersect` 但**没有** `intersectWithHistory`）
+ *   → 走 L1 裸 `kernel[op](a,b)`：几何正确，但**不产生面演化、不传播 roleTable**。
+ *   这是如实降级——绝不用「恒等映射」伪造一张把输入面 hash 指到结果面 hash 的演化表
+ *   （结果实体的面 hash 与输入根本不同，恒等映射是假身份）。
+ *
+ * `intersect` 因此不再声明 `capabilities: ['intersectWithHistory']`（中立 op）：
+ * brepkit 上由本函数静态落到裸 `intersect`；occt 上仍走 `intersectWithHistory`。
+ * fuse/cut 保留各自 `*WithHistory` 能力声明——dispatchPath 的 gate 保证它们到达本函数时
+ * 引擎必已声明对应历史方法，故下方 `useHistory` 对 fuse/cut 恒为 true。
+ */
 function booleanBrep(inputs, operation) {
     const kernel = getBrepApi();
     const inputSolids = inputs.map((s) => brepOf(s));
@@ -36,31 +52,52 @@ function booleanBrep(inputs, operation) {
     let roleTable;
     // 链式布尔：每步 target（累积结果）与下一个 tool 合流
     const op = operation === 'union' ? 'fuse' : operation === 'subtract' ? 'cut' : 'intersect';
+    // 静态定轨：当前引擎是否声明了本 op 的面演化核函数（读的是同一声明源 dispatchPath 用的
+    // 能力集，不是运行时探测）。fuse/cut 因 gate 保证此处恒 true；intersect 在 occt true、
+    // brepkit/mock false（后者走 L1 裸 `kernel[op]`，该方法是 BrepEngineApi 必需成员，必存在）。
+    const historyCap = op === 'fuse' ? 'fuseWithHistory' : op === 'cut' ? 'cutWithHistory' : 'intersectWithHistory';
+    const useHistory = engineCapabilitySet(getBackends().config.brepCapabilities).has(historyCap);
     // 首个输入作为 target 起点
     resultSolid = inputSolids[0];
-    roleTable = inputRoleTable(inputs[0]);
+    roleTable = useHistory
+        ? inputRoleTable(inputs[0])
+        : undefined;
     for (let i = 1; i < inputSolids.length; i++) {
         const prev = resultSolid;
-        const prevTable = roleTable;
-        const toolTable = inputRoleTable(inputs[i]);
-        // Phase 1.6：新 origin = 本次语句的 StmtId（不再是 LHS 变量名——PartName 会被
-        // 改名/复用，StmtId 全局唯一）。
-        const outStmt = String(getCurrentStmt()?.id ?? '');
-        // §3.4：一次内核调用，A/B 拆流各自传播后合表（缝面 origin=本次语句 StmtId）
-        // V-C8：内核裸错误（如 "boolean operation failed"）在此包一层——带上 op 名、
-        // 两个输入的变量名与 cause，满足「显式暴露、不吞细节」。
-        let r;
-        try {
-            r = booleanWithRoleTable(kernel, op, prev, inputSolids[i], prevTable ?? new Map(), toolTable ?? new Map(), outStmt);
+        const tool = inputSolids[i];
+        if (useHistory) {
+            // §3.4：一次内核调用，A/B 拆流各自传播后合表（缝面 origin=本次语句 StmtId）
+            // V-C8：内核裸错误在此包一层——带上 op 名、两个输入的变量名与 cause。
+            const prevTable = roleTable;
+            const toolTable = inputRoleTable(inputs[i]);
+            // Phase 1.6：新 origin = 本次语句的 StmtId。
+            const outStmt = String(getCurrentStmt()?.id ?? '');
+            let r;
+            try {
+                r = booleanWithRoleTable(kernel, op, prev, tool, prevTable ?? new Map(), toolTable ?? new Map(), outStmt);
+            }
+            catch (cause) {
+                const msg = cause instanceof Error ? cause.message : String(cause);
+                throw new OpError(`boolean/${operation}`, 'E_OP_FAILED', `[stdlib/boolean] ${operation}: kernel ${op} failed for inputs ` +
+                    `${nameOf(inputs[0]) ?? 'input[0]'} × ${nameOf(inputs[i]) ?? `input[${i}]`} — ${msg}`, { cause });
+            }
+            resultSolid = r.result;
+            lastEvolution = r.faceEvolution;
+            roleTable = r.roleTable;
         }
-        catch (cause) {
-            const msg = cause instanceof Error ? cause.message : String(cause);
-            throw new OpError(`boolean/${operation}`, 'E_OP_FAILED', `[stdlib/boolean] ${operation}: kernel ${op} failed for inputs ` +
-                `${nameOf(inputs[0]) ?? 'input[0]'} × ${nameOf(inputs[i]) ?? `input[${i}]`} — ${msg}`, { cause });
+        else {
+            // 裸布尔降级路径：几何正确，但无面演化、无 roleTable 传播（如实降级，不伪造映射）。
+            try {
+                resultSolid = kernel[op](prev, tool);
+            }
+            catch (cause) {
+                const msg = cause instanceof Error ? cause.message : String(cause);
+                throw new OpError(`boolean/${operation}`, 'E_OP_FAILED', `[stdlib/boolean] ${operation}: kernel ${op} failed for inputs ` +
+                    `${nameOf(inputs[0]) ?? 'input[0]'} × ${nameOf(inputs[i]) ?? `input[${i}]`} — ${msg}`, { cause });
+            }
+            lastEvolution = undefined;
+            roleTable = undefined;
         }
-        resultSolid = r.result;
-        lastEvolution = r.faceEvolution;
-        roleTable = r.roleTable;
         if (i > 1)
             kernel.release(prev);
     }
@@ -199,11 +236,12 @@ export const intersect = defineOp({
             keepHidden(...shapes);
         return booleanBrep(shapes, 'intersect');
     },
-    // 逐核函数声明（Phase 0.2）：intersect 需要内核的 intersectWithHistory。
-    // ⚠️ 这正是族级布尔 `'evolution'` 会多报能力的活例：brepkit 声明过
-    // `evolution: true` 但**没有** intersectWithHistory → 旧声明下 intersect
-    // 通过静态判定、死在运行时；现在 brepkit 下静态报 lacks capability 'intersectWithHistory'。
-    capabilities: ['intersectWithHistory'],
+    // 不声明 `capabilities: ['intersectWithHistory']`（中立 op）：
+    // brepkit 声明了裸 `intersect` 但没有 `intersectWithHistory`——若硬声明历史能力，
+    // brepkit brep 模式会在执行前静态报 `lacks capability 'intersectWithHistory'`。
+    // 现由 booleanBrep 按引擎声明的能力集静态分派：occt（声明 intersectWithHistory）
+    // 走历史路径保留面演化/naming；brepkit（只声明裸 intersect）走 L1 裸 `kernel.intersect`，
+    // 几何正确但无面演化（如实降级，不伪造恒等映射）。
     naming: { kind: 'kernel', newFaces: { via: 'byAdjacency' } },
 });
 //# sourceMappingURL=boolean.js.map

package/dist/api/boolean.js.map

@@ -1 +1 @@
-{"version":3,"file":"boolean.js","sourceRoot":"","sources":["../../src/api/boolean.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAGH,OAAO,EAAE,GAAG,EAAE,MAAM,SAAS,CAAA;AAC7B,OAAO,EAAE,YAAY,EAAE,MAAM,kBAAkB,CAAA;AAC/C,OAAO,EACL,oBAAoB,GACrB,MAAM,wBAAwB,CAAA;AAC/B,OAAO,EAAE,cAAc,EAAE,UAAU,EAAE,MAAM,EAAE,MAAM,kBAAkB,CAAA;AACrE,OAAO,EAAE,UAAU,EAAE,MAAM,uBAAuB,CAAA;AAClD,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,cAAc,EAAE,MAAM,UAAU,CAAA;AAC3D,OAAO,EAAE,mBAAmB,EAAE,MAAM,aAAa,CAAA;AACjD,OAAO,EAAE,OAAO,EAAE,MAAM,0BAA0B,CAAA;AAClD,OAAO,EAAE,QAAQ,EAAE,MAAM,QAAQ,CAAA;AAMjC,eAAe;AAEf,0EAA0E;AAC1E,SAAS,WAAW,CAAC,MAAe,EAAE,SAA2B;IAC/D,MAAM,MAAM,GAAG,UAAU,EAAE,CAAA;IAE3B,MAAM,WAAW,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,CAAC,CAA2B,CAAC,CAAA;IAC1E,IAAI,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;QAChC,0EAA0E;QAC1E,0EAA0E;QAC1E,uEAAuE;QACvE,MAAM,SAAS,GAAG,MAAM;aACrB,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,SAAS,CAAC,GAAG,CAAC,CAAC;aACxE,MAAM,CAAC,CAAC,CAAC,EAAe,EAAE,CAAC,CAAC,KAAK,SAAS,CAAC,CAAA;QAC9C,MAAM,IAAI,OAAO,CACf,WAAW,SAAS,EAAE,EACtB,oBAAoB,EACpB,oBAAoB,SAAS,sDAAsD;YACnF,kFAAkF,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CACzG,CAAA;IACH,CAAC;IAED,IAAI,WAAuB,CAAA;IAC3B,IAAI,aAAgD,CAAA;IACpD,IAAI,SAAoD,CAAA;IAExD,mCAAmC;IACnC,MAAM,EAAE,GACN,SAAS,KAAK,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,SAAS,KAAK,UAAU,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,WAAW,CAAA;IAEjF,mBAAmB;IACnB,WAAW,GAAG,WAAW,CAAC,CAAC,CAAE,CAAA;IAC7B,SAAS,GAAG,cAAc,CAAC,MAAM,CAAC,CAAC,CAAC,CAA8C,CAAA;IAElF,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,WAAW,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QAC5C,MAAM,IAAI,GAAG,WAAW,CAAA;QACxB,MAAM,SAAS,GAAG,SAAS,CAAA;QAC3B,MAAM,SAAS,GAAG,cAAc,CAAC,MAAM,CAAC,CAAC,CAAC,CAA8C,CAAA;QACxF,6DAA6D;QAC7D,sBAAsB;QACtB,MAAM,OAAO,GAAG,MAAM,CAAC,cAAc,EAAE,EAAE,EAAE,IAAI,EAAE,CAAC,CAAA;QAElD,mDAAmD;QACnD,0DAA0D;QAC1D,iCAAiC;QACjC,IAAI,CAA0C,CAAA;QAC9C,IAAI,CAAC;YACH,CAAC,GAAG,oBAAoB,CACtB,MAAM,EACN,EAAE,EACF,IAAI,EACJ,WAAW,CAAC,CAAC,CAAE,EACf,SAAS,IAAI,IAAI,GAAG,EAAE,EACtB,SAAS,IAAI,IAAI,GAAG,EAAE,EACtB,OAAO,CACR,CAAA;QACH,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YACf,MAAM,GAAG,GAAG,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAA;YAClE,MAAM,IAAI,OAAO,CACf,WAAW,SAAS,EAAE,EACtB,aAAa,EACb,oBAAoB,SAAS,YAAY,EAAE,qBAAqB;gBAChE,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,CAAE,CAAC,IAAI,UAAU,MAAM,MAAM,CAAC,MAAM,CAAC,CAAC,CAAE,CAAC,IAAI,SAAS,CAAC,GAAG,MAAM,GAAG,EAAE,EACvF,EAAE,KAAK,EAAE,CACV,CAAA;QACH,CAAC;QACD,WAAW,GAAG,CAAC,CAAC,MAAM,CAAA;QACtB,aAAa,GAAG,CAAC,CAAC,aAAa,CAAA;QAC/B,SAAS,GAAG,CAAC,CAAC,SAAS,CAAA;QACvB,IAAI,CAAC,GAAG,CAAC;YAAE,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,CAAA;IACjC,CAAC;IAED,OAAO,QAAQ,CACb,YAAY,CAAC,MAAM,EAAE,WAAW,CAAC,EACjC,aAAa,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,WAAW,EAAE,aAAa,EAAE,aAAa,EAAE,SAAS,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,WAAW,EAAE,SAAS,EAAE,CACpH,CAAA;AACH,CAAC;AAED,oCAAoC;AACpC,KAAK,UAAU,WAAW,CAAC,MAAe,EAAE,SAA2B;IACrE,IAAI,MAAM,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACtB,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC;YAAE,OAAO,MAAM,CAAC,CAAC,CAAC,CAAA;QACzC,MAAM,IAAI,KAAK,CAAC,iDAAiD,CAAC,CAAA;IACpE,CAAC;IACD,IAAI,SAAS,KAAK,OAAO;QAAE,OAAO,GAAG,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC,EAAE,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAA;IACrF,IAAI,SAAS,KAAK,UAAU,EAAE,CAAC;QAC7B,IAAI,MAAM,GAAG,MAAM,GAAG,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,CAAA;QACrD,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,MAAM,CAAC,MAAM,EAAE,CAAC,EAAE;YAAE,MAAM,GAAG,MAAM,GAAG,CAAC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,CAAA;QACtF,OAAO,MAAM,CAAA;IACf,CAAC;IACD,IAAI,MAAM,GAAG,MAAM,GAAG,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,CAAA;IACtD,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,MAAM,CAAC,MAAM,EAAE,CAAC,EAAE;QAAE,MAAM,GAAG,MAAM,GAAG,CAAC,SAAS,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,CAAA;IACvF,OAAO,MAAM,CAAA;AACf,CAAC;AAED,oEAAoE;AACpE,gEAAgE;AAChE,sDAAsD;AACtD,wCAAwC;AACxC,iDAAiD;AAEjD;;;;;;;;;;;IAWI;AACJ,MAAM,CAAC,MAAM,KAAK,GAAG,QAAQ,CAAC;IAC5B,IAAI,EAAE,CAAC,GAAG,MAAe,EAAE,EAAE;QAC3B,IAAI,MAAM,CAAC,MAAM,GAAG,CAAC;YAAE,UAAU,CAAC,GAAG,MAAM,CAAC,CAAA;QAC5C,OAAO,WAAW,CAAC,mBAAmB,CAAC,MAAM,CAAC,EAAE,OAAO,CAAC,CAAA;IAC1D,CAAC;IACD,IAAI,EAAE,CAAC,GAAG,MAAe,EAAE,EAAE;QAC3B,IAAI,MAAM,CAAC,MAAM,GAAG,CAAC;YAAE,UAAU,CAAC,GAAG,MAAM,CAAC,CAAA;QAC5C,OAAO,WAAW,CAAC,MAAM,EAAE,OAAO,CAAC,CAAA;IACrC,CAAC;IACD,iDAAiD;IACjD,6DAA6D;IAC7D,gCAAgC;IAChC,YAAY,EAAE,CAAC,iBAAiB,CAAC;IACjC,MAAM,EAAE,EAAE,MAAM,EAAE,QAAQ,EAAE;IAC5B,MAAM,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,QAAQ,EAAE,EAAE,GAAG,EAAE,aAAa,EAAE,EAAgB;CAC3E,CAAC,CAAA;AAEF;;;;;;;;;;;;;;;IAeI;AACJ,MAAM,CAAC,MAAM,GAAG,GAAG,QAAQ,CAAC;IAC1B,IAAI,EAAE,CAAC,IAAW,EAAE,IAAW,EAAE,EAAE;QACjC,UAAU,CAAC,IAAI,EAAE,IAAI,CAAC,CAAA;QACtB,OAAO,WAAW,CAAC,mBAAmB,CAAC,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,EAAE,UAAU,CAAC,CAAA;IACnE,CAAC;IACD,IAAI,EAAE,CAAC,IAAW,EAAE,IAAW,EAAE,EAAE;QACjC,UAAU,CAAC,IAAI,EAAE,IAAI,CAAC,CAAA;QACtB,OAAO,WAAW,CAAC,CAAC,IAAI,EAAE,IAAI,CAAC,EAAE,UAAU,CAAC,CAAA;IAC9C,CAAC;IACD,YAAY,EAAE,CAAC,gBAAgB,CAAC;IAChC,MAAM,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,QAAQ,EAAE,EAAE,GAAG,EAAE,aAAa,EAAE,EAAgB;CAC3E,CAAC,CAAA;AAEF;;;;;;;;;;;IAWI;AACJ,MAAM,CAAC,MAAM,QAAQ,GAAG,QAAQ,CAAC;IAC/B,IAAI,EAAE,CAAC,GAAG,MAAe,EAAE,EAAE;QAC3B,IAAI,MAAM,CAAC,MAAM,GAAG,CAAC;YAAE,UAAU,CAAC,GAAG,MAAM,CAAC,CAAA;QAC5C,OAAO,WAAW,CAAC,mBAAmB,CAAC,MAAM,CAAC,EAAE,UAAU,CAAC,CAAA;IAC7D,CAAC;IACD,IAAI,EAAE,CAAC,GAAG,MAAe,EAAE,EAAE;QAC3B,IAAI,MAAM,CAAC,MAAM,GAAG,CAAC;YAAE,UAAU,CAAC,GAAG,MAAM,CAAC,CAAA;QAC5C,OAAO,WAAW,CAAC,MAAM,EAAE,UAAU,CAAC,CAAA;IACxC,CAAC;IACD,mDAAmD;IACnD,YAAY,EAAE,CAAC,gBAAgB,CAAC;IAChC,MAAM,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,QAAQ,EAAE,EAAE,GAAG,EAAE,aAAa,EAAE,EAAgB;CAC3E,CAAC,CAAA;AAEF;;;;;;;;;;;IAWI;AACJ,MAAM,CAAC,MAAM,SAAS,GAAG,QAAQ,CAAC;IAChC,IAAI,EAAE,CAAC,GAAG,MAAe,EAAE,EAAE;QAC3B,IAAI,MAAM,CAAC,MAAM,GAAG,CAAC;YAAE,UAAU,CAAC,GAAG,MAAM,CAAC,CAAA;QAC5C,OAAO,WAAW,CAAC,mBAAmB,CAAC,MAAM,CAAC,EAAE,WAAW,CAAC,CAAA;IAC9D,CAAC;IACD,IAAI,EAAE,CAAC,GAAG,MAAe,EAAE,EAAE;QAC3B,IAAI,MAAM,CAAC,MAAM,GAAG,CAAC;YAAE,UAAU,CAAC,GAAG,MAAM,CAAC,CAAA;QAC5C,OAAO,WAAW,CAAC,MAAM,EAAE,WAAW,CAAC,CAAA;IACzC,CAAC;IACD,0DAA0D;IAC1D,gDAAgD;IAChD,kEAAkE;IAClE,wEAAwE;IACxE,YAAY,EAAE,CAAC,sBAAsB,CAAC;IACtC,MAAM,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,QAAQ,EAAE,EAAE,GAAG,EAAE,aAAa,EAAE,EAAgB;CAC3E,CAAC,CAAA","sourcesContent":["/**\n * stdlib boolean — 布尔库函数（union/subtract/intersect，多输入）\n *\n *\n * dispatchPath 静态判定 brep/mesh，BREP 路径用 *WithHistory 收集面演化。\n *\n * 阶段 1：拆为三个薄函数 union/subtract/intersect + 兼容 boolean 导出（过渡）。\n * 阶段 3 将删除 boolean 兼容导出。\n */\n\nimport type { Shape } from '../mesh/types'\nimport { cad } from '../mesh'\nimport { solidToShape } from '../brep/brep-ops'\nimport {\n  booleanWithRoleTable,\n} from '../brep/face-evolution'\nimport { getCurrentStmt, keepHidden, nameOf } from '../runtime-state'\nimport { getBrepApi } from '../brep/handle-bridge'\nimport { fromBrep, brepOf, inputRoleTable } from '../shape'\nimport { reconcileBrepInputs } from './reconcile'\nimport { OpError } from './internal/result-unwrap'\nimport { defineOp } from '../sdk'\nimport type { Provenance } from '../topology/naming/lineage'\nimport type { BrepHandle } from '../brep/engine/types'\n\ntype BooleanOperation = 'union' | 'subtract' | 'intersect'\n\n// ── 共享内部实现 ──\n\n/** BREP 路径：fuse/cut/common（*WithHistory 封装，收集面演化 + roleTable 合流 §3.4）。 */\nfunction booleanBrep(inputs: Shape[], operation: BooleanOperation): Shape {\n  const kernel = getBrepApi()\n\n  const inputSolids = inputs.map((s) => brepOf(s) as BrepHandle | undefined)\n  if (inputSolids.some((s) => !s)) {\n    // V-C8 (C6): a non-solid import (wire/face/shell via cad.import_brep) has\n    // no OCCT handle yet — booleans must fail HERE with an explicit, op-named\n    // error, not with OCCT's raw \"boolean operation failed\" (or silently).\n    const offenders = inputs\n      .map((s, i) => (inputSolids[i] ? undefined : nameOf(s) ?? `input[${i}]`))\n      .filter((x): x is string => x !== undefined)\n    throw new OpError(\n      `boolean/${operation}`,\n      'E_BREP_UNSUPPORTED',\n      `[stdlib/boolean] ${operation}: input is not on the BREP chain (no OCCT handle) — ` +\n      `non-solid geometry (wire/face/shell) cannot take part in a boolean. offenders: ${offenders.join(', ')}`,\n    )\n  }\n\n  let resultSolid: BrepHandle\n  let lastEvolution: Map<number, number[]> | undefined\n  let roleTable: ReadonlyMap<unknown, unknown> | undefined\n\n  // 链式布尔：每步 target（累积结果）与下一个 tool 合流\n  const op: 'fuse' | 'cut' | 'intersect' =\n    operation === 'union' ? 'fuse' : operation === 'subtract' ? 'cut' : 'intersect'\n\n  // 首个输入作为 target 起点\n  resultSolid = inputSolids[0]!\n  roleTable = inputRoleTable(inputs[0]) as ReadonlyMap<unknown, unknown> | undefined\n\n  for (let i = 1; i < inputSolids.length; i++) {\n    const prev = resultSolid\n    const prevTable = roleTable\n    const toolTable = inputRoleTable(inputs[i]) as ReadonlyMap<unknown, unknown> | undefined\n    // Phase 1.6：新 origin = 本次语句的 StmtId（不再是 LHS 变量名——PartName 会被\n    // 改名/复用，StmtId 全局唯一）。\n    const outStmt = String(getCurrentStmt()?.id ?? '')\n\n    // §3.4：一次内核调用，A/B 拆流各自传播后合表（缝面 origin=本次语句 StmtId）\n    // V-C8：内核裸错误（如 \"boolean operation failed\"）在此包一层——带上 op 名、\n    // 两个输入的变量名与 cause，满足「显式暴露、不吞细节」。\n    let r: ReturnType<typeof booleanWithRoleTable>\n    try {\n      r = booleanWithRoleTable(\n        kernel,\n        op,\n        prev,\n        inputSolids[i]!,\n        prevTable ?? new Map(),\n        toolTable ?? new Map(),\n        outStmt,\n      )\n    } catch (cause) {\n      const msg = cause instanceof Error ? cause.message : String(cause)\n      throw new OpError(\n        `boolean/${operation}`,\n        'E_OP_FAILED',\n        `[stdlib/boolean] ${operation}: kernel ${op} failed for inputs ` +\n        `${nameOf(inputs[0]!) ?? 'input[0]'} × ${nameOf(inputs[i]!) ?? `input[${i}]`} — ${msg}`,\n        { cause },\n      )\n    }\n    resultSolid = r.result\n    lastEvolution = r.faceEvolution\n    roleTable = r.roleTable\n    if (i > 1) kernel.release(prev)\n  }\n\n  return fromBrep(\n    solidToShape(kernel, resultSolid),\n    lastEvolution ? { solid: resultSolid, faceEvolution: lastEvolution, roleTable } : { solid: resultSolid, roleTable },\n  )\n}\n\n/** mesh 路径：manifold-3d mesh-CSG。 */\nasync function booleanMesh(inputs: Shape[], operation: BooleanOperation): Promise<Shape> {\n  if (inputs.length < 2) {\n    if (inputs.length === 1) return inputs[0]\n    throw new Error('[stdlib/boolean] boolean needs at least 1 input')\n  }\n  if (operation === 'union') return cad.union(inputs[0], inputs[1], ...inputs.slice(2))\n  if (operation === 'subtract') {\n    let result = await cad.subtract(inputs[0], inputs[1])\n    for (let i = 2; i < inputs.length; i++) result = await cad.subtract(result, inputs[i])\n    return result\n  }\n  let result = await cad.intersect(inputs[0], inputs[1])\n  for (let i = 2; i < inputs.length; i++) result = await cad.intersect(result, inputs[i])\n  return result\n}\n\n// ── 三个薄导出（多输入 variadic，defineOp 声明双路径 + 逐核函数 face-evolution 能力） ──\n// 函数体 keep 声明（keep-syntax 设计 §2.5）：union/subtract/intersect 保留其\n// 输入且隐藏（R5：3d_editor 现状）——keepHidden 使源变量保持终端但 canvas\n// 不渲染，只有布尔结果正常显示。混合/断链时刻：BREP 侧输入先归约为合法\n// 2-manifold 网格（reconcileBrepInputs），mesh 侧原样透传。\n\n/**\n * 布尔并集：合并所有输入几何（≥2 个输入）。\n * @group 特征\n * @inputs 2\n * @async true\n * @qual ok\n * @name union\n * @param shapes - 参与运算的几何（变量引用，≥2 个）。type:Shape[] required:true\n * @returns Shape 所有输入的并集。函数名即操作，输入全是变量引用，可用 `cad.union(a, b, c)` 多输入。\n * @example\n * const a = await cad.union(part0, part1)\n  */\nexport const union = defineOp({\n  mesh: (...shapes: Shape[]) => {\n    if (shapes.length > 0) keepHidden(...shapes)\n    return booleanMesh(reconcileBrepInputs(shapes), 'union')\n  },\n  brep: (...shapes: Shape[]) => {\n    if (shapes.length > 0) keepHidden(...shapes)\n    return booleanBrep(shapes, 'union')\n  },\n  // 逐核函数声明（Phase 0.2）：union 需要内核的 fuseWithHistory。\n  // 不再声明族级 'evolution'——族级名会让 brepkit（无 intersectWithHistory）等\n  // 部分实现的内核静默通过静态判定，再死在运行时（红线违规）。\n  capabilities: ['fuseWithHistory'],\n  schema: { shapes: 'Shape*' },\n  naming: { kind: 'kernel', newFaces: { via: 'byAdjacency' } } as Provenance,\n})\n\n/**\n * Boolean cut (subtract): remove `tool` from `base`. Same semantics as\n * {@link subtract} but with the brepjs-compatible `(base, tool, options?)` signature.\n * Overrides the generated projection (compatOp) to do roleTable propagation\n * (Phase 3: L2 requires wall:<i> to survive cut).\n * @group 特征\n * @inputs 2\n * @async true\n * @qual ok\n * @name cut\n * @param base - the target shape. type:Shape required:true\n * @param tool - the shape to subtract. type:Shape required:true\n * @returns Shape base minus tool.\n * @example\n * const b = await cad.cut(part0, part1)\n  */\nexport const cut = defineOp({\n  mesh: (base: Shape, tool: Shape) => {\n    keepHidden(base, tool)\n    return booleanMesh(reconcileBrepInputs([base, tool]), 'subtract')\n  },\n  brep: (base: Shape, tool: Shape) => {\n    keepHidden(base, tool)\n    return booleanBrep([base, tool], 'subtract')\n  },\n  capabilities: ['cutWithHistory'],\n  naming: { kind: 'kernel', newFaces: { via: 'byAdjacency' } } as Provenance,\n})\n\n/**\n * 布尔差集：第一个为主体，减去其余输入。\n * @group 特征\n * @inputs 2\n * @async true\n * @qual ok\n * @name subtract\n * @param shapes - 参与运算的几何（变量引用，第一个为主体）。type:Shape[] required:true\n * @returns Shape part0 减 part1 的差集（第一个为主体）。\n * @example\n * const b = await cad.subtract(part0, part1)\n  */\nexport const subtract = defineOp({\n  mesh: (...shapes: Shape[]) => {\n    if (shapes.length > 0) keepHidden(...shapes)\n    return booleanMesh(reconcileBrepInputs(shapes), 'subtract')\n  },\n  brep: (...shapes: Shape[]) => {\n    if (shapes.length > 0) keepHidden(...shapes)\n    return booleanBrep(shapes, 'subtract')\n  },\n  // 逐核函数声明（Phase 0.2）：subtract 需要内核的 cutWithHistory。\n  capabilities: ['cutWithHistory'],\n  naming: { kind: 'kernel', newFaces: { via: 'byAdjacency' } } as Provenance,\n})\n\n/**\n * 布尔交集：所有输入的重叠部分。\n * @group 特征\n * @inputs 2\n * @async true\n * @qual ok\n * @name intersect\n * @param shapes - 参与运算的几何（变量引用）。type:Shape[] required:true\n * @returns Shape 所有输入的交集。\n * @example\n * const c = await cad.intersect(part0, part1)\n  */\nexport const intersect = defineOp({\n  mesh: (...shapes: Shape[]) => {\n    if (shapes.length > 0) keepHidden(...shapes)\n    return booleanMesh(reconcileBrepInputs(shapes), 'intersect')\n  },\n  brep: (...shapes: Shape[]) => {\n    if (shapes.length > 0) keepHidden(...shapes)\n    return booleanBrep(shapes, 'intersect')\n  },\n  // 逐核函数声明（Phase 0.2）：intersect 需要内核的 intersectWithHistory。\n  // ⚠️ 这正是族级布尔 `'evolution'` 会多报能力的活例：brepkit 声明过\n  // `evolution: true` 但**没有** intersectWithHistory → 旧声明下 intersect\n  // 通过静态判定、死在运行时；现在 brepkit 下静态报 lacks capability 'intersectWithHistory'。\n  capabilities: ['intersectWithHistory'],\n  naming: { kind: 'kernel', newFaces: { via: 'byAdjacency' } } as Provenance,\n})\n"]}
+{"version":3,"file":"boolean.js","sourceRoot":"","sources":["../../src/api/boolean.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAGH,OAAO,EAAE,GAAG,EAAE,MAAM,SAAS,CAAA;AAC7B,OAAO,EAAE,YAAY,EAAE,MAAM,kBAAkB,CAAA;AAC/C,OAAO,EACL,oBAAoB,GACrB,MAAM,wBAAwB,CAAA;AAC/B,OAAO,EAAE,cAAc,EAAE,WAAW,EAAE,UAAU,EAAE,MAAM,EAAE,MAAM,kBAAkB,CAAA;AAClF,OAAO,EAAE,UAAU,EAAE,MAAM,uBAAuB,CAAA;AAClD,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,cAAc,EAAE,MAAM,UAAU,CAAA;AAC3D,OAAO,EAAE,mBAAmB,EAAE,MAAM,aAAa,CAAA;AACjD,OAAO,EAAE,OAAO,EAAE,MAAM,0BAA0B,CAAA;AAClD,OAAO,EAAE,QAAQ,EAAE,MAAM,QAAQ,CAAA;AACjC,OAAO,EAAE,mBAAmB,EAAE,MAAM,iCAAiC,CAAA;AAMrE,eAAe;AAEf;;;;;;;;;;;;;;;GAeG;AACH,SAAS,WAAW,CAAC,MAAe,EAAE,SAA2B;IAC/D,MAAM,MAAM,GAAG,UAAU,EAAE,CAAA;IAE3B,MAAM,WAAW,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,CAAC,CAA2B,CAAC,CAAA;IAC1E,IAAI,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;QAChC,0EAA0E;QAC1E,0EAA0E;QAC1E,uEAAuE;QACvE,MAAM,SAAS,GAAG,MAAM;aACrB,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,SAAS,CAAC,GAAG,CAAC,CAAC;aACxE,MAAM,CAAC,CAAC,CAAC,EAAe,EAAE,CAAC,CAAC,KAAK,SAAS,CAAC,CAAA;QAC9C,MAAM,IAAI,OAAO,CACf,WAAW,SAAS,EAAE,EACtB,oBAAoB,EACpB,oBAAoB,SAAS,sDAAsD;YACnF,kFAAkF,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CACzG,CAAA;IACH,CAAC;IAED,IAAI,WAAuB,CAAA;IAC3B,IAAI,aAAgD,CAAA;IACpD,IAAI,SAAoD,CAAA;IAExD,mCAAmC;IACnC,MAAM,EAAE,GACN,SAAS,KAAK,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,SAAS,KAAK,UAAU,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,WAAW,CAAA;IAEjF,sDAAsD;IACtD,iEAAiE;IACjE,yEAAyE;IACzE,MAAM,UAAU,GAAG,EAAE,KAAK,MAAM,CAAC,CAAC,CAAC,iBAAiB,CAAC,CAAC,CAAC,EAAE,KAAK,KAAK,CAAC,CAAC,CAAC,gBAAgB,CAAC,CAAC,CAAC,sBAAsB,CAAA;IAC/G,MAAM,UAAU,GAAG,mBAAmB,CAAC,WAAW,EAAE,CAAC,MAAM,CAAC,gBAAgB,CAAC,CAAC,GAAG,CAAC,UAAU,CAAC,CAAA;IAE7F,mBAAmB;IACnB,WAAW,GAAG,WAAW,CAAC,CAAC,CAAE,CAAA;IAC7B,SAAS,GAAG,UAAU;QACpB,CAAC,CAAE,cAAc,CAAC,MAAM,CAAC,CAAC,CAAC,CAA+C;QAC1E,CAAC,CAAC,SAAS,CAAA;IAEb,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,WAAW,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QAC5C,MAAM,IAAI,GAAG,WAAW,CAAA;QACxB,MAAM,IAAI,GAAG,WAAW,CAAC,CAAC,CAAE,CAAA;QAE5B,IAAI,UAAU,EAAE,CAAC;YACf,mDAAmD;YACnD,4CAA4C;YAC5C,MAAM,SAAS,GAAG,SAAS,CAAA;YAC3B,MAAM,SAAS,GAAG,cAAc,CAAC,MAAM,CAAC,CAAC,CAAC,CAA8C,CAAA;YACxF,qCAAqC;YACrC,MAAM,OAAO,GAAG,MAAM,CAAC,cAAc,EAAE,EAAE,EAAE,IAAI,EAAE,CAAC,CAAA;YAClD,IAAI,CAA0C,CAAA;YAC9C,IAAI,CAAC;gBACH,CAAC,GAAG,oBAAoB,CACtB,MAAM,EACN,EAAE,EACF,IAAI,EACJ,IAAI,EACJ,SAAS,IAAI,IAAI,GAAG,EAAE,EACtB,SAAS,IAAI,IAAI,GAAG,EAAE,EACtB,OAAO,CACR,CAAA;YACH,CAAC;YAAC,OAAO,KAAK,EAAE,CAAC;gBACf,MAAM,GAAG,GAAG,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAA;gBAClE,MAAM,IAAI,OAAO,CACf,WAAW,SAAS,EAAE,EACtB,aAAa,EACb,oBAAoB,SAAS,YAAY,EAAE,qBAAqB;oBAChE,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,CAAE,CAAC,IAAI,UAAU,MAAM,MAAM,CAAC,MAAM,CAAC,CAAC,CAAE,CAAC,IAAI,SAAS,CAAC,GAAG,MAAM,GAAG,EAAE,EACvF,EAAE,KAAK,EAAE,CACV,CAAA;YACH,CAAC;YACD,WAAW,GAAG,CAAC,CAAC,MAAM,CAAA;YACtB,aAAa,GAAG,CAAC,CAAC,aAAa,CAAA;YAC/B,SAAS,GAAG,CAAC,CAAC,SAAS,CAAA;QACzB,CAAC;aAAM,CAAC;YACN,iDAAiD;YACjD,IAAI,CAAC;gBACH,WAAW,GAAG,MAAM,CAAC,EAAE,CAAC,CAAC,IAAI,EAAE,IAAI,CAAC,CAAA;YACtC,CAAC;YAAC,OAAO,KAAK,EAAE,CAAC;gBACf,MAAM,GAAG,GAAG,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAA;gBAClE,MAAM,IAAI,OAAO,CACf,WAAW,SAAS,EAAE,EACtB,aAAa,EACb,oBAAoB,SAAS,YAAY,EAAE,qBAAqB;oBAChE,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,CAAE,CAAC,IAAI,UAAU,MAAM,MAAM,CAAC,MAAM,CAAC,CAAC,CAAE,CAAC,IAAI,SAAS,CAAC,GAAG,MAAM,GAAG,EAAE,EACvF,EAAE,KAAK,EAAE,CACV,CAAA;YACH,CAAC;YACD,aAAa,GAAG,SAAS,CAAA;YACzB,SAAS,GAAG,SAAS,CAAA;QACvB,CAAC;QACD,IAAI,CAAC,GAAG,CAAC;YAAE,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,CAAA;IACjC,CAAC;IAED,OAAO,QAAQ,CACb,YAAY,CAAC,MAAM,EAAE,WAAW,CAAC,EACjC,aAAa,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,WAAW,EAAE,aAAa,EAAE,aAAa,EAAE,SAAS,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,WAAW,EAAE,SAAS,EAAE,CACpH,CAAA;AACH,CAAC;AAED,oCAAoC;AACpC,KAAK,UAAU,WAAW,CAAC,MAAe,EAAE,SAA2B;IACrE,IAAI,MAAM,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACtB,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC;YAAE,OAAO,MAAM,CAAC,CAAC,CAAC,CAAA;QACzC,MAAM,IAAI,KAAK,CAAC,iDAAiD,CAAC,CAAA;IACpE,CAAC;IACD,IAAI,SAAS,KAAK,OAAO;QAAE,OAAO,GAAG,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC,EAAE,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAA;IACrF,IAAI,SAAS,KAAK,UAAU,EAAE,CAAC;QAC7B,IAAI,MAAM,GAAG,MAAM,GAAG,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,CAAA;QACrD,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,MAAM,CAAC,MAAM,EAAE,CAAC,EAAE;YAAE,MAAM,GAAG,MAAM,GAAG,CAAC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,CAAA;QACtF,OAAO,MAAM,CAAA;IACf,CAAC;IACD,IAAI,MAAM,GAAG,MAAM,GAAG,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,CAAA;IACtD,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,MAAM,CAAC,MAAM,EAAE,CAAC,EAAE;QAAE,MAAM,GAAG,MAAM,GAAG,CAAC,SAAS,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,CAAA;IACvF,OAAO,MAAM,CAAA;AACf,CAAC;AAED,oEAAoE;AACpE,gEAAgE;AAChE,sDAAsD;AACtD,wCAAwC;AACxC,iDAAiD;AAEjD;;;;;;;;;;;IAWI;AACJ,MAAM,CAAC,MAAM,KAAK,GAAG,QAAQ,CAAC;IAC5B,IAAI,EAAE,CAAC,GAAG,MAAe,EAAE,EAAE;QAC3B,IAAI,MAAM,CAAC,MAAM,GAAG,CAAC;YAAE,UAAU,CAAC,GAAG,MAAM,CAAC,CAAA;QAC5C,OAAO,WAAW,CAAC,mBAAmB,CAAC,MAAM,CAAC,EAAE,OAAO,CAAC,CAAA;IAC1D,CAAC;IACD,IAAI,EAAE,CAAC,GAAG,MAAe,EAAE,EAAE;QAC3B,IAAI,MAAM,CAAC,MAAM,GAAG,CAAC;YAAE,UAAU,CAAC,GAAG,MAAM,CAAC,CAAA;QAC5C,OAAO,WAAW,CAAC,MAAM,EAAE,OAAO,CAAC,CAAA;IACrC,CAAC;IACD,iDAAiD;IACjD,6DAA6D;IAC7D,gCAAgC;IAChC,YAAY,EAAE,CAAC,iBAAiB,CAAC;IACjC,MAAM,EAAE,EAAE,MAAM,EAAE,QAAQ,EAAE;IAC5B,MAAM,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,QAAQ,EAAE,EAAE,GAAG,EAAE,aAAa,EAAE,EAAgB;CAC3E,CAAC,CAAA;AAEF;;;;;;;;;;;;;;;IAeI;AACJ,MAAM,CAAC,MAAM,GAAG,GAAG,QAAQ,CAAC;IAC1B,IAAI,EAAE,CAAC,IAAW,EAAE,IAAW,EAAE,EAAE;QACjC,UAAU,CAAC,IAAI,EAAE,IAAI,CAAC,CAAA;QACtB,OAAO,WAAW,CAAC,mBAAmB,CAAC,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,EAAE,UAAU,CAAC,CAAA;IACnE,CAAC;IACD,IAAI,EAAE,CAAC,IAAW,EAAE,IAAW,EAAE,EAAE;QACjC,UAAU,CAAC,IAAI,EAAE,IAAI,CAAC,CAAA;QACtB,OAAO,WAAW,CAAC,CAAC,IAAI,EAAE,IAAI,CAAC,EAAE,UAAU,CAAC,CAAA;IAC9C,CAAC;IACD,YAAY,EAAE,CAAC,gBAAgB,CAAC;IAChC,MAAM,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,QAAQ,EAAE,EAAE,GAAG,EAAE,aAAa,EAAE,EAAgB;CAC3E,CAAC,CAAA;AAEF;;;;;;;;;;;IAWI;AACJ,MAAM,CAAC,MAAM,QAAQ,GAAG,QAAQ,CAAC;IAC/B,IAAI,EAAE,CAAC,GAAG,MAAe,EAAE,EAAE;QAC3B,IAAI,MAAM,CAAC,MAAM,GAAG,CAAC;YAAE,UAAU,CAAC,GAAG,MAAM,CAAC,CAAA;QAC5C,OAAO,WAAW,CAAC,mBAAmB,CAAC,MAAM,CAAC,EAAE,UAAU,CAAC,CAAA;IAC7D,CAAC;IACD,IAAI,EAAE,CAAC,GAAG,MAAe,EAAE,EAAE;QAC3B,IAAI,MAAM,CAAC,MAAM,GAAG,CAAC;YAAE,UAAU,CAAC,GAAG,MAAM,CAAC,CAAA;QAC5C,OAAO,WAAW,CAAC,MAAM,EAAE,UAAU,CAAC,CAAA;IACxC,CAAC;IACD,mDAAmD;IACnD,YAAY,EAAE,CAAC,gBAAgB,CAAC;IAChC,MAAM,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,QAAQ,EAAE,EAAE,GAAG,EAAE,aAAa,EAAE,EAAgB;CAC3E,CAAC,CAAA;AAEF;;;;;;;;;;;IAWI;AACJ,MAAM,CAAC,MAAM,SAAS,GAAG,QAAQ,CAAC;IAChC,IAAI,EAAE,CAAC,GAAG,MAAe,EAAE,EAAE;QAC3B,IAAI,MAAM,CAAC,MAAM,GAAG,CAAC;YAAE,UAAU,CAAC,GAAG,MAAM,CAAC,CAAA;QAC5C,OAAO,WAAW,CAAC,mBAAmB,CAAC,MAAM,CAAC,EAAE,WAAW,CAAC,CAAA;IAC9D,CAAC;IACD,IAAI,EAAE,CAAC,GAAG,MAAe,EAAE,EAAE;QAC3B,IAAI,MAAM,CAAC,MAAM,GAAG,CAAC;YAAE,UAAU,CAAC,GAAG,MAAM,CAAC,CAAA;QAC5C,OAAO,WAAW,CAAC,MAAM,EAAE,WAAW,CAAC,CAAA;IACzC,CAAC;IACD,uDAAuD;IACvD,iEAAiE;IACjE,qEAAqE;IACrE,6DAA6D;IAC7D,sEAAsE;IACtE,2BAA2B;IAC3B,MAAM,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,QAAQ,EAAE,EAAE,GAAG,EAAE,aAAa,EAAE,EAAgB;CAC3E,CAAC,CAAA","sourcesContent":["/**\n * stdlib boolean — 布尔库函数（union/subtract/intersect，多输入）\n *\n *\n * dispatchPath 静态判定 brep/mesh，BREP 路径用 *WithHistory 收集面演化。\n *\n * 阶段 1：拆为三个薄函数 union/subtract/intersect + 兼容 boolean 导出（过渡）。\n * 阶段 3 将删除 boolean 兼容导出。\n */\n\nimport type { Shape } from '../mesh/types'\nimport { cad } from '../mesh'\nimport { solidToShape } from '../brep/brep-ops'\nimport {\n  booleanWithRoleTable,\n} from '../brep/face-evolution'\nimport { getCurrentStmt, getBackends, keepHidden, nameOf } from '../runtime-state'\nimport { getBrepApi } from '../brep/handle-bridge'\nimport { fromBrep, brepOf, inputRoleTable } from '../shape'\nimport { reconcileBrepInputs } from './reconcile'\nimport { OpError } from './internal/result-unwrap'\nimport { defineOp } from '../sdk'\nimport { engineCapabilitySet } from '../cad-runtime/backend-dispatch'\nimport type { Provenance } from '../topology/naming/lineage'\nimport type { BrepHandle } from '../brep/engine/types'\n\ntype BooleanOperation = 'union' | 'subtract' | 'intersect'\n\n// ── 共享内部实现 ──\n\n/**\n * BREP 路径：fuse/cut/intersect。\n *\n * 静态双轨（无运行时 try-catch 回退——按引擎**声明**的能力集在执行前定轨）：\n * - 引擎声明了对应 `*WithHistory`（occt 三员全有）→ `booleanWithRoleTable`：\n *   一次内核调用同时产出结果 + 面演化（faceEvolution）+ roleTable 合流（§3.4）。\n * - 引擎只声明了裸布尔方法（brepkit：声明了 `intersect` 但**没有** `intersectWithHistory`）\n *   → 走 L1 裸 `kernel[op](a,b)`：几何正确，但**不产生面演化、不传播 roleTable**。\n *   这是如实降级——绝不用「恒等映射」伪造一张把输入面 hash 指到结果面 hash 的演化表\n *   （结果实体的面 hash 与输入根本不同，恒等映射是假身份）。\n *\n * `intersect` 因此不再声明 `capabilities: ['intersectWithHistory']`（中立 op）：\n * brepkit 上由本函数静态落到裸 `intersect`；occt 上仍走 `intersectWithHistory`。\n * fuse/cut 保留各自 `*WithHistory` 能力声明——dispatchPath 的 gate 保证它们到达本函数时\n * 引擎必已声明对应历史方法，故下方 `useHistory` 对 fuse/cut 恒为 true。\n */\nfunction booleanBrep(inputs: Shape[], operation: BooleanOperation): Shape {\n  const kernel = getBrepApi()\n\n  const inputSolids = inputs.map((s) => brepOf(s) as BrepHandle | undefined)\n  if (inputSolids.some((s) => !s)) {\n    // V-C8 (C6): a non-solid import (wire/face/shell via cad.import_brep) has\n    // no OCCT handle yet — booleans must fail HERE with an explicit, op-named\n    // error, not with OCCT's raw \"boolean operation failed\" (or silently).\n    const offenders = inputs\n      .map((s, i) => (inputSolids[i] ? undefined : nameOf(s) ?? `input[${i}]`))\n      .filter((x): x is string => x !== undefined)\n    throw new OpError(\n      `boolean/${operation}`,\n      'E_BREP_UNSUPPORTED',\n      `[stdlib/boolean] ${operation}: input is not on the BREP chain (no OCCT handle) — ` +\n      `non-solid geometry (wire/face/shell) cannot take part in a boolean. offenders: ${offenders.join(', ')}`,\n    )\n  }\n\n  let resultSolid: BrepHandle\n  let lastEvolution: Map<number, number[]> | undefined\n  let roleTable: ReadonlyMap<unknown, unknown> | undefined\n\n  // 链式布尔：每步 target（累积结果）与下一个 tool 合流\n  const op: 'fuse' | 'cut' | 'intersect' =\n    operation === 'union' ? 'fuse' : operation === 'subtract' ? 'cut' : 'intersect'\n\n  // 静态定轨：当前引擎是否声明了本 op 的面演化核函数（读的是同一声明源 dispatchPath 用的\n  // 能力集，不是运行时探测）。fuse/cut 因 gate 保证此处恒 true；intersect 在 occt true、\n  // brepkit/mock false（后者走 L1 裸 `kernel[op]`，该方法是 BrepEngineApi 必需成员，必存在）。\n  const historyCap = op === 'fuse' ? 'fuseWithHistory' : op === 'cut' ? 'cutWithHistory' : 'intersectWithHistory'\n  const useHistory = engineCapabilitySet(getBackends().config.brepCapabilities).has(historyCap)\n\n  // 首个输入作为 target 起点\n  resultSolid = inputSolids[0]!\n  roleTable = useHistory\n    ? (inputRoleTable(inputs[0]) as ReadonlyMap<unknown, unknown> | undefined)\n    : undefined\n\n  for (let i = 1; i < inputSolids.length; i++) {\n    const prev = resultSolid\n    const tool = inputSolids[i]!\n\n    if (useHistory) {\n      // §3.4：一次内核调用，A/B 拆流各自传播后合表（缝面 origin=本次语句 StmtId）\n      // V-C8：内核裸错误在此包一层——带上 op 名、两个输入的变量名与 cause。\n      const prevTable = roleTable\n      const toolTable = inputRoleTable(inputs[i]) as ReadonlyMap<unknown, unknown> | undefined\n      // Phase 1.6：新 origin = 本次语句的 StmtId。\n      const outStmt = String(getCurrentStmt()?.id ?? '')\n      let r: ReturnType<typeof booleanWithRoleTable>\n      try {\n        r = booleanWithRoleTable(\n          kernel,\n          op,\n          prev,\n          tool,\n          prevTable ?? new Map(),\n          toolTable ?? new Map(),\n          outStmt,\n        )\n      } catch (cause) {\n        const msg = cause instanceof Error ? cause.message : String(cause)\n        throw new OpError(\n          `boolean/${operation}`,\n          'E_OP_FAILED',\n          `[stdlib/boolean] ${operation}: kernel ${op} failed for inputs ` +\n          `${nameOf(inputs[0]!) ?? 'input[0]'} × ${nameOf(inputs[i]!) ?? `input[${i}]`} — ${msg}`,\n          { cause },\n        )\n      }\n      resultSolid = r.result\n      lastEvolution = r.faceEvolution\n      roleTable = r.roleTable\n    } else {\n      // 裸布尔降级路径：几何正确，但无面演化、无 roleTable 传播（如实降级，不伪造映射）。\n      try {\n        resultSolid = kernel[op](prev, tool)\n      } catch (cause) {\n        const msg = cause instanceof Error ? cause.message : String(cause)\n        throw new OpError(\n          `boolean/${operation}`,\n          'E_OP_FAILED',\n          `[stdlib/boolean] ${operation}: kernel ${op} failed for inputs ` +\n          `${nameOf(inputs[0]!) ?? 'input[0]'} × ${nameOf(inputs[i]!) ?? `input[${i}]`} — ${msg}`,\n          { cause },\n        )\n      }\n      lastEvolution = undefined\n      roleTable = undefined\n    }\n    if (i > 1) kernel.release(prev)\n  }\n\n  return fromBrep(\n    solidToShape(kernel, resultSolid),\n    lastEvolution ? { solid: resultSolid, faceEvolution: lastEvolution, roleTable } : { solid: resultSolid, roleTable },\n  )\n}\n\n/** mesh 路径：manifold-3d mesh-CSG。 */\nasync function booleanMesh(inputs: Shape[], operation: BooleanOperation): Promise<Shape> {\n  if (inputs.length < 2) {\n    if (inputs.length === 1) return inputs[0]\n    throw new Error('[stdlib/boolean] boolean needs at least 1 input')\n  }\n  if (operation === 'union') return cad.union(inputs[0], inputs[1], ...inputs.slice(2))\n  if (operation === 'subtract') {\n    let result = await cad.subtract(inputs[0], inputs[1])\n    for (let i = 2; i < inputs.length; i++) result = await cad.subtract(result, inputs[i])\n    return result\n  }\n  let result = await cad.intersect(inputs[0], inputs[1])\n  for (let i = 2; i < inputs.length; i++) result = await cad.intersect(result, inputs[i])\n  return result\n}\n\n// ── 三个薄导出（多输入 variadic，defineOp 声明双路径 + 逐核函数 face-evolution 能力） ──\n// 函数体 keep 声明（keep-syntax 设计 §2.5）：union/subtract/intersect 保留其\n// 输入且隐藏（R5：3d_editor 现状）——keepHidden 使源变量保持终端但 canvas\n// 不渲染，只有布尔结果正常显示。混合/断链时刻：BREP 侧输入先归约为合法\n// 2-manifold 网格（reconcileBrepInputs），mesh 侧原样透传。\n\n/**\n * 布尔并集：合并所有输入几何（≥2 个输入）。\n * @group 特征\n * @inputs 2\n * @async true\n * @qual ok\n * @name union\n * @param shapes - 参与运算的几何（变量引用，≥2 个）。type:Shape[] required:true\n * @returns Shape 所有输入的并集。函数名即操作，输入全是变量引用，可用 `cad.union(a, b, c)` 多输入。\n * @example\n * const a = await cad.union(part0, part1)\n  */\nexport const union = defineOp({\n  mesh: (...shapes: Shape[]) => {\n    if (shapes.length > 0) keepHidden(...shapes)\n    return booleanMesh(reconcileBrepInputs(shapes), 'union')\n  },\n  brep: (...shapes: Shape[]) => {\n    if (shapes.length > 0) keepHidden(...shapes)\n    return booleanBrep(shapes, 'union')\n  },\n  // 逐核函数声明（Phase 0.2）：union 需要内核的 fuseWithHistory。\n  // 不再声明族级 'evolution'——族级名会让 brepkit（无 intersectWithHistory）等\n  // 部分实现的内核静默通过静态判定，再死在运行时（红线违规）。\n  capabilities: ['fuseWithHistory'],\n  schema: { shapes: 'Shape*' },\n  naming: { kind: 'kernel', newFaces: { via: 'byAdjacency' } } as Provenance,\n})\n\n/**\n * Boolean cut (subtract): remove `tool` from `base`. Same semantics as\n * {@link subtract} but with the brepjs-compatible `(base, tool, options?)` signature.\n * Overrides the generated projection (compatOp) to do roleTable propagation\n * (Phase 3: L2 requires wall:<i> to survive cut).\n * @group 特征\n * @inputs 2\n * @async true\n * @qual ok\n * @name cut\n * @param base - the target shape. type:Shape required:true\n * @param tool - the shape to subtract. type:Shape required:true\n * @returns Shape base minus tool.\n * @example\n * const b = await cad.cut(part0, part1)\n  */\nexport const cut = defineOp({\n  mesh: (base: Shape, tool: Shape) => {\n    keepHidden(base, tool)\n    return booleanMesh(reconcileBrepInputs([base, tool]), 'subtract')\n  },\n  brep: (base: Shape, tool: Shape) => {\n    keepHidden(base, tool)\n    return booleanBrep([base, tool], 'subtract')\n  },\n  capabilities: ['cutWithHistory'],\n  naming: { kind: 'kernel', newFaces: { via: 'byAdjacency' } } as Provenance,\n})\n\n/**\n * 布尔差集：第一个为主体，减去其余输入。\n * @group 特征\n * @inputs 2\n * @async true\n * @qual ok\n * @name subtract\n * @param shapes - 参与运算的几何（变量引用，第一个为主体）。type:Shape[] required:true\n * @returns Shape part0 减 part1 的差集（第一个为主体）。\n * @example\n * const b = await cad.subtract(part0, part1)\n  */\nexport const subtract = defineOp({\n  mesh: (...shapes: Shape[]) => {\n    if (shapes.length > 0) keepHidden(...shapes)\n    return booleanMesh(reconcileBrepInputs(shapes), 'subtract')\n  },\n  brep: (...shapes: Shape[]) => {\n    if (shapes.length > 0) keepHidden(...shapes)\n    return booleanBrep(shapes, 'subtract')\n  },\n  // 逐核函数声明（Phase 0.2）：subtract 需要内核的 cutWithHistory。\n  capabilities: ['cutWithHistory'],\n  naming: { kind: 'kernel', newFaces: { via: 'byAdjacency' } } as Provenance,\n})\n\n/**\n * 布尔交集：所有输入的重叠部分。\n * @group 特征\n * @inputs 2\n * @async true\n * @qual ok\n * @name intersect\n * @param shapes - 参与运算的几何（变量引用）。type:Shape[] required:true\n * @returns Shape 所有输入的交集。\n * @example\n * const c = await cad.intersect(part0, part1)\n  */\nexport const intersect = defineOp({\n  mesh: (...shapes: Shape[]) => {\n    if (shapes.length > 0) keepHidden(...shapes)\n    return booleanMesh(reconcileBrepInputs(shapes), 'intersect')\n  },\n  brep: (...shapes: Shape[]) => {\n    if (shapes.length > 0) keepHidden(...shapes)\n    return booleanBrep(shapes, 'intersect')\n  },\n  // 不声明 `capabilities: ['intersectWithHistory']`（中立 op）：\n  // brepkit 声明了裸 `intersect` 但没有 `intersectWithHistory`——若硬声明历史能力，\n  // brepkit brep 模式会在执行前静态报 `lacks capability 'intersectWithHistory'`。\n  // 现由 booleanBrep 按引擎声明的能力集静态分派：occt（声明 intersectWithHistory）\n  // 走历史路径保留面演化/naming；brepkit（只声明裸 intersect）走 L1 裸 `kernel.intersect`，\n  // 几何正确但无面演化（如实降级，不伪造恒等映射）。\n  naming: { kind: 'kernel', newFaces: { via: 'byAdjacency' } } as Provenance,\n})\n"]}

package/dist/api/brep-mirror/booleanFns.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"booleanFns.d.ts","sourceRoot":"","sources":["../../../src/api/brep-mirror/booleanFns.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AAEH,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,yBAAyB,CAAA;AAGzD,OAAO,EAAW,KAAK,MAAM,EAAE,MAAM,qBAAqB,CAAA;AAU1D;;;;;;;;;;;;GAYG;AACH,wBAAgB,WAAW,CAAC,GAAG,IAAI,EAAE,OAAO,EAAE,GAAG,MAAM,CAAC,UAAU,CAAC,CA4BlE;AASD;;;;GAIG;AACH,wBAAgB,QAAQ,CAAC,GAAG,IAAI,EAAE,OAAO,EAAE,GAAG,MAAM,CAAC,UAAU,CAAC,CAW/D;AAQD;;;;GAIG;AACH,wBAAgB,SAAS,CAAC,GAAG,IAAI,EAAE,OAAO,EAAE,GAAG,MAAM,CAAC,UAAU,CAAC,CAoBhE"}
+{"version":3,"file":"booleanFns.d.ts","sourceRoot":"","sources":["../../../src/api/brep-mirror/booleanFns.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AAEH,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,yBAAyB,CAAA;AAGzD,OAAO,EAAW,KAAK,MAAM,EAAE,MAAM,qBAAqB,CAAA;AAU1D;;;;;;;;;;;;GAYG;AACH,wBAAgB,WAAW,CAAC,GAAG,IAAI,EAAE,OAAO,EAAE,GAAG,MAAM,CAAC,UAAU,CAAC,CAiClE;AASD;;;;GAIG;AACH,wBAAgB,QAAQ,CAAC,GAAG,IAAI,EAAE,OAAO,EAAE,GAAG,MAAM,CAAC,UAAU,CAAC,CAW/D;AAQD;;;;GAIG;AACH,wBAAgB,SAAS,CAAC,GAAG,IAAI,EAAE,OAAO,EAAE,GAAG,MAAM,CAAC,UAAU,CAAC,CAoBhE"}

package/dist/api/brep-mirror/booleanFns.js

@@ -12,7 +12,7 @@
 import { getBrepApi } from '../../brep/handle-bridge.js';
 import { getOcctKernel } from '../../occt-kernel/occtKernel.js';
 import { ok, err } from '../../result/result.js';
-import { kernelError, validationError } from '../../result/errors.js';
+import { kernelError } from '../../result/errors.js';
 import { resolveArgs } from '../internal/dual-form-args.js';
 import { resolvePlane } from '../brepjs-compat/planeOps.js';
 import { brepHandleOf } from './brepHelpers.js';
@@ -34,16 +34,21 @@ export function sectionBrep(...args) {
     const [shape, plane] = resolveArgs(args, SECTION_PARAMS);
     const kernel = getBrepApi();
     const h = brepHandleOf(shape);
-    if (getOcctKernel().isNull(h)) {
-        return err(validationError('NULL_SHAPE_INPUT', 'section: shape is a null shape'));
-    }
+    // NOTE: 2026-09-26 brepkit 降级——移除 getOcctKernel().IsNull 平台耦合。
+    // 空/坏句柄由下游 sectionByPlane 内核抛错并被下方 try/catch 捕获为 SECTION_FAILED
+    // （occt 的 sectionByPlane 对空结果本就返回 []，行为等价；brepkit 对坏句柄抛
+    // "invalid solid handle"，诚实报错而非崩溃）。
     const resolved = resolvePlane(plane);
     if (!resolved.ok)
         return resolved;
     const p = resolved.value;
     try {
-        const edges = kernel.sectionByPlane(h, { x: p.origin[0], y: p.origin[1], z: p.origin[2] }, { x: p.zDir[0], y: p.zDir[1], z: p.zDir[2] });
-        return ok(kernel.makeCompound(edges));
+        const parts = kernel.sectionByPlane(h, { x: p.origin[0], y: p.origin[1], z: p.origin[2] }, { x: p.zDir[0], y: p.zDir[1], z: p.zDir[2] });
+        // 语义差异（如实登记）：occt sectionByPlane 返回 edge/wire 句柄组（1D 剖面线）；
+        // brepkit sectionByPlane 返回 face 句柄组（2D 剖面面）。两侧都包成 compound 产物，
+        // 下游 meshShape/wireframe 已按已知集合分发（brepkit makeCompound 对非 solid 子句柄走
+        // 虚拟 compound 路径）。
+        return ok(kernel.makeCompound(parts));
     }
     catch (e) {
         return err(kernelError('SECTION_FAILED', `Section with plane failed: ${e instanceof Error ? e.message : String(e)}`, e, { operation: 'section' }, 'The cutting plane may not intersect the shape. Verify plane position relative to shape bounds.'));

package/dist/api/brep-mirror/booleanFns.js.map

@@ -1 +1 @@
-{"version":3,"file":"booleanFns.js","sourceRoot":"","sources":["../../../src/api/brep-mirror/booleanFns.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AAGH,OAAO,EAAE,UAAU,EAAE,MAAM,0BAA0B,CAAA;AACrD,OAAO,EAAE,aAAa,EAAE,MAAM,8BAA8B,CAAA;AAC5D,OAAO,EAAE,EAAE,EAAE,GAAG,EAAe,MAAM,qBAAqB,CAAA;AAC1D,OAAO,EAAE,WAAW,EAAE,eAAe,EAAE,MAAM,qBAAqB,CAAA;AAElE,OAAO,EAAE,WAAW,EAAE,MAAM,4BAA4B,CAAA;AAExD,OAAO,EAAE,YAAY,EAAE,MAAM,2BAA2B,CAAA;AACxD,OAAO,EAAE,YAAY,EAAE,MAAM,eAAe,CAAA;AAE5C,MAAM,cAAc,GAAG,EAAE,IAAI,EAAE,SAAS,EAAE,MAAM,EAAE,CAAC,OAAO,EAAE,OAAO,CAAC,EAAE,SAAS,EAAE,GAAgB,EAAE,CAAA;AAEnG;;;;;;;;;;;;GAYG;AACH,MAAM,UAAU,WAAW,CAAC,GAAG,IAAe;IAC5C,MAAM,CAAC,KAAK,EAAE,KAAK,CAAC,GAAG,WAAW,CAAC,IAAI,EAAE,cAAc,CAAC,CAAA;IACxD,MAAM,MAAM,GAAG,UAAU,EAAE,CAAA;IAC3B,MAAM,CAAC,GAAG,YAAY,CAAC,KAAK,CAAC,CAAA;IAC7B,IAAI,aAAa,EAAE,CAAC,MAAM,CAAC,CAAU,CAAC,EAAE,CAAC;QACvC,OAAO,GAAG,CAAC,eAAe,CAAC,kBAAkB,EAAE,gCAAgC,CAAC,CAAC,CAAA;IACnF,CAAC;IACD,MAAM,QAAQ,GAAG,YAAY,CAAC,KAAmB,CAAC,CAAA;IAClD,IAAI,CAAC,QAAQ,CAAC,EAAE;QAAE,OAAO,QAAQ,CAAA;IACjC,MAAM,CAAC,GAAG,QAAQ,CAAC,KAAK,CAAA;IACxB,IAAI,CAAC;QACH,MAAM,KAAK,GAAG,MAAM,CAAC,cAAc,CACjC,CAAC,EACD,EAAE,CAAC,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAClD,EAAE,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAC7C,CAAA;QACD,OAAO,EAAE,CAAC,MAAM,CAAC,YAAY,CAAC,KAAK,CAAC,CAAC,CAAA;IACvC,CAAC;IAAC,OAAO,CAAC,EAAE,CAAC;QACX,OAAO,GAAG,CACR,WAAW,CACT,gBAAgB,EAChB,8BAA8B,CAAC,YAAY,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAC1E,CAAC,EACD,EAAE,SAAS,EAAE,SAAS,EAAE,EACxB,gGAAgG,CACjG,CACF,CAAA;IACH,CAAC;AACH,CAAC;AAGD,8EAA8E;AAC9E,iEAAiE;AACjE,8EAA8E;AAE9E,MAAM,WAAW,GAAG,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,CAAC,GAAG,EAAE,GAAG,EAAE,SAAS,CAAC,EAAE,SAAS,EAAE,GAAgB,EAAE,CAAA;AAEhG;;;;GAIG;AACH,MAAM,UAAU,QAAQ,CAAC,GAAG,IAAe;IACzC,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,WAAW,CAAC,IAAI,EAAE,WAAW,CAAC,CAAA;IAC7C,MAAM,MAAM,GAAG,UAAU,EAAE,CAAA;IAC3B,MAAM,EAAE,GAAG,YAAY,CAAC,CAAC,CAAC,CAAA;IAC1B,MAAM,EAAE,GAAG,YAAY,CAAC,CAAC,CAAC,CAAA;IAC1B,IAAI,CAAC;QACH,OAAO,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,CAAA;IAChC,CAAC;IAAC,OAAO,CAAC,EAAE,CAAC;QACX,MAAM,GAAG,GAAG,CAAC,YAAY,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAA;QACtD,OAAO,GAAG,CAAC,WAAW,CAAC,aAAa,EAAE,gBAAgB,GAAG,EAAE,EAAE,CAAC,CAAC,CAAC,CAAA;IAClE,CAAC;AACH,CAAC;AAED,8EAA8E;AAC9E,yFAAyF;AACzF,8EAA8E;AAE9E,MAAM,YAAY,GAAG,EAAE,IAAI,EAAE,OAAO,EAAE,MAAM,EAAE,CAAC,OAAO,EAAE,OAAO,CAAC,EAAE,SAAS,EAAE,GAAgB,EAAE,CAAA;AAE/F;;;;GAIG;AACH,MAAM,UAAU,SAAS,CAAC,GAAG,IAAe;IAC1C,MAAM,CAAC,KAAK,EAAE,QAAQ,CAAC,GAAG,WAAW,CAAC,IAAI,EAAE,YAAY,CAAC,CAAA;IACzD,MAAM,CAAC,GAAG,YAAY,CAAC,KAAK,CAAC,CAAA;IAC7B,MAAM,KAAK,GAAG,CAAC,QAAQ,IAAI,EAAE,CAAc,CAAA;IAC3C,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,EAAE,CAAC,CAAC,CAAC,CAAA;IACpC,MAAM,WAAW,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,CAAA;IACrD,IAAI,CAAC;QACH,MAAM,MAAM,GAAG,aAAa,EAAE,CAAC,KAAK,CAAC,CAAU,EAAE,WAAoB,CAAC,CAAA;QACtE,OAAO,EAAE,CAAC,MAA+B,CAAC,CAAA;IAC5C,CAAC;IAAC,OAAO,CAAC,EAAE,CAAC;QACX,MAAM,GAAG,GAAG,CAAC,YAAY,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAA;QACtD,OAAO,GAAG,CACR,WAAW,CACT,cAAc,EACd,6BAA6B,KAAK,CAAC,MAAM,aAAa,GAAG,EAAE,EAC3D,CAAC,EACD,EAAE,SAAS,EAAE,OAAO,EAAE,SAAS,EAAE,KAAK,CAAC,MAAM,EAAE,CAChD,CACF,CAAA;IACH,CAAC;AACH,CAAC","sourcesContent":["/**\n * Self-hosted compat-op implementations — boolean / section\n * (core-decouple Phase 3, §5.4).\n *\n * @platform occt\n *\n * Brep-shaped implementation for `section`. Semantics mirror vendored\n * `topology/booleanFns.ts` `section` (NULL_SHAPE_INPUT guard, plane resolution\n * from PlaneInput, kernel section via a planar tool, compound result) using the\n * L1 `sectionByPlane` (occt-wasm `BRepAlgoAPI_Section` + edge/wire downcast).\n */\n\nimport type { BrepHandle } from '../../brep/engine/types'\nimport { getBrepApi } from '../../brep/handle-bridge'\nimport { getOcctKernel } from '../../occt-kernel/occtKernel'\nimport { ok, err, type Result } from '../../result/result'\nimport { kernelError, validationError } from '../../result/errors'\nimport type { FormClass } from '../internal/dual-form-args'\nimport { resolveArgs } from '../internal/dual-form-args'\nimport type { PlaneInput } from '../brepjs-compat/planeTypes'\nimport { resolvePlane } from '../brepjs-compat/planeOps'\nimport { brepHandleOf } from './brepHelpers'\n\nconst SECTION_PARAMS = { name: 'section', params: ['shape', 'plane'], formClass: 'A' as FormClass }\n\n/**\n * Section a shape with a plane (vendored `section(shape, plane, options?)`).\n *\n * The plane is resolved from `PlaneInput` (named plane or explicit Plane); the\n * L1 `sectionByPlane` builds the planar tool, runs `BRepAlgoAPI_Section`, and\n * downcasts the result compound to edge/wire handles, which are re-combined\n * into a compound to match the vendored product shape. `options` (approximation\n * / planeSize) is accepted for signature compatibility; the occt native\n * section uses its default approximation.\n *\n * @param args - Resolved arguments (shape, plane).\n * @returns The section result compound as a `BrepHandle`.\n */\nexport function sectionBrep(...args: unknown[]): Result<BrepHandle> {\n  const [shape, plane] = resolveArgs(args, SECTION_PARAMS)\n  const kernel = getBrepApi()\n  const h = brepHandleOf(shape)\n  if (getOcctKernel().isNull(h as never)) {\n    return err(validationError('NULL_SHAPE_INPUT', 'section: shape is a null shape'))\n  }\n  const resolved = resolvePlane(plane as PlaneInput)\n  if (!resolved.ok) return resolved\n  const p = resolved.value\n  try {\n    const edges = kernel.sectionByPlane(\n      h,\n      { x: p.origin[0], y: p.origin[1], z: p.origin[2] },\n      { x: p.zDir[0], y: p.zDir[1], z: p.zDir[2] },\n    )\n    return ok(kernel.makeCompound(edges))\n  } catch (e) {\n    return err(\n      kernelError(\n        'SECTION_FAILED',\n        `Section with plane failed: ${e instanceof Error ? e.message : String(e)}`,\n        e,\n        { operation: 'section' },\n        'The cutting plane may not intersect the shape. Verify plane position relative to shape bounds.',\n      ),\n    )\n  }\n}\n\n\n// ---------------------------------------------------------------------------\n// fuse — union two shapes (vendored topology/booleanFns.ts#fuse)\n// ---------------------------------------------------------------------------\n\nconst FUSE_PARAMS = { name: 'fuse', params: ['a', 'b', 'options'], formClass: 'A' as FormClass }\n\n/**\n * Fuse (union) two shapes into one.\n * @param args - Resolved arguments (a, b).\n * @returns The fused shape as a `BrepHandle`.\n */\nexport function fuseBrep(...args: unknown[]): Result<BrepHandle> {\n  const [a, b] = resolveArgs(args, FUSE_PARAMS)\n  const kernel = getBrepApi()\n  const ha = brepHandleOf(a)\n  const hb = brepHandleOf(b)\n  try {\n    return ok(kernel.fuse(ha, hb))\n  } catch (e) {\n    const raw = e instanceof Error ? e.message : String(e)\n    return err(kernelError('FUSE_FAILED', `fuse failed: ${raw}`, e))\n  }\n}\n\n// ---------------------------------------------------------------------------\n// split — split a shape with tool(s) (vendored topology/api.ts#split → booleanFns.split)\n// ---------------------------------------------------------------------------\n\nconst SPLIT_PARAMS = { name: 'split', params: ['shape', 'tools'], formClass: 'A' as FormClass }\n\n/**\n * Split a shape with one or more tool shapes.\n * @param args - Resolved arguments (shape, tools).\n * @returns The split result as a `BrepHandle`.\n */\nexport function splitBrep(...args: unknown[]): Result<BrepHandle> {\n  const [shape, toolsRaw] = resolveArgs(args, SPLIT_PARAMS)\n  const h = brepHandleOf(shape)\n  const tools = (toolsRaw ?? []) as unknown[]\n  if (tools.length === 0) return ok(h)\n  const toolHandles = tools.map((t) => brepHandleOf(t))\n  try {\n    const result = getOcctKernel().split(h as never, toolHandles as never)\n    return ok(result as unknown as BrepHandle)\n  } catch (e) {\n    const raw = e instanceof Error ? e.message : String(e)\n    return err(\n      kernelError(\n        'SPLIT_FAILED',\n        `Split operation failed on ${tools.length} tool(s): ${raw}`,\n        e,\n        { operation: 'split', toolCount: tools.length },\n      ),\n    )\n  }\n}\n"]}
+{"version":3,"file":"booleanFns.js","sourceRoot":"","sources":["../../../src/api/brep-mirror/booleanFns.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AAGH,OAAO,EAAE,UAAU,EAAE,MAAM,0BAA0B,CAAA;AACrD,OAAO,EAAE,aAAa,EAAE,MAAM,8BAA8B,CAAA;AAC5D,OAAO,EAAE,EAAE,EAAE,GAAG,EAAe,MAAM,qBAAqB,CAAA;AAC1D,OAAO,EAAE,WAAW,EAAE,MAAM,qBAAqB,CAAA;AAEjD,OAAO,EAAE,WAAW,EAAE,MAAM,4BAA4B,CAAA;AAExD,OAAO,EAAE,YAAY,EAAE,MAAM,2BAA2B,CAAA;AACxD,OAAO,EAAE,YAAY,EAAE,MAAM,eAAe,CAAA;AAE5C,MAAM,cAAc,GAAG,EAAE,IAAI,EAAE,SAAS,EAAE,MAAM,EAAE,CAAC,OAAO,EAAE,OAAO,CAAC,EAAE,SAAS,EAAE,GAAgB,EAAE,CAAA;AAEnG;;;;;;;;;;;;GAYG;AACH,MAAM,UAAU,WAAW,CAAC,GAAG,IAAe;IAC5C,MAAM,CAAC,KAAK,EAAE,KAAK,CAAC,GAAG,WAAW,CAAC,IAAI,EAAE,cAAc,CAAC,CAAA;IACxD,MAAM,MAAM,GAAG,UAAU,EAAE,CAAA;IAC3B,MAAM,CAAC,GAAG,YAAY,CAAC,KAAK,CAAC,CAAA;IAC7B,+DAA+D;IAC/D,gEAAgE;IAChE,wDAAwD;IACxD,oCAAoC;IACpC,MAAM,QAAQ,GAAG,YAAY,CAAC,KAAmB,CAAC,CAAA;IAClD,IAAI,CAAC,QAAQ,CAAC,EAAE;QAAE,OAAO,QAAQ,CAAA;IACjC,MAAM,CAAC,GAAG,QAAQ,CAAC,KAAK,CAAA;IACxB,IAAI,CAAC;QACH,MAAM,KAAK,GAAG,MAAM,CAAC,cAAc,CACjC,CAAC,EACD,EAAE,CAAC,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAClD,EAAE,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAC7C,CAAA;QACD,2DAA2D;QAC3D,gEAAgE;QAChE,qEAAqE;QACrE,mBAAmB;QACnB,OAAO,EAAE,CAAC,MAAM,CAAC,YAAY,CAAC,KAAK,CAAC,CAAC,CAAA;IACvC,CAAC;IAAC,OAAO,CAAC,EAAE,CAAC;QACX,OAAO,GAAG,CACR,WAAW,CACT,gBAAgB,EAChB,8BAA8B,CAAC,YAAY,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAC1E,CAAC,EACD,EAAE,SAAS,EAAE,SAAS,EAAE,EACxB,gGAAgG,CACjG,CACF,CAAA;IACH,CAAC;AACH,CAAC;AAGD,8EAA8E;AAC9E,iEAAiE;AACjE,8EAA8E;AAE9E,MAAM,WAAW,GAAG,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,CAAC,GAAG,EAAE,GAAG,EAAE,SAAS,CAAC,EAAE,SAAS,EAAE,GAAgB,EAAE,CAAA;AAEhG;;;;GAIG;AACH,MAAM,UAAU,QAAQ,CAAC,GAAG,IAAe;IACzC,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,WAAW,CAAC,IAAI,EAAE,WAAW,CAAC,CAAA;IAC7C,MAAM,MAAM,GAAG,UAAU,EAAE,CAAA;IAC3B,MAAM,EAAE,GAAG,YAAY,CAAC,CAAC,CAAC,CAAA;IAC1B,MAAM,EAAE,GAAG,YAAY,CAAC,CAAC,CAAC,CAAA;IAC1B,IAAI,CAAC;QACH,OAAO,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,CAAA;IAChC,CAAC;IAAC,OAAO,CAAC,EAAE,CAAC;QACX,MAAM,GAAG,GAAG,CAAC,YAAY,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAA;QACtD,OAAO,GAAG,CAAC,WAAW,CAAC,aAAa,EAAE,gBAAgB,GAAG,EAAE,EAAE,CAAC,CAAC,CAAC,CAAA;IAClE,CAAC;AACH,CAAC;AAED,8EAA8E;AAC9E,yFAAyF;AACzF,8EAA8E;AAE9E,MAAM,YAAY,GAAG,EAAE,IAAI,EAAE,OAAO,EAAE,MAAM,EAAE,CAAC,OAAO,EAAE,OAAO,CAAC,EAAE,SAAS,EAAE,GAAgB,EAAE,CAAA;AAE/F;;;;GAIG;AACH,MAAM,UAAU,SAAS,CAAC,GAAG,IAAe;IAC1C,MAAM,CAAC,KAAK,EAAE,QAAQ,CAAC,GAAG,WAAW,CAAC,IAAI,EAAE,YAAY,CAAC,CAAA;IACzD,MAAM,CAAC,GAAG,YAAY,CAAC,KAAK,CAAC,CAAA;IAC7B,MAAM,KAAK,GAAG,CAAC,QAAQ,IAAI,EAAE,CAAc,CAAA;IAC3C,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,EAAE,CAAC,CAAC,CAAC,CAAA;IACpC,MAAM,WAAW,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,CAAA;IACrD,IAAI,CAAC;QACH,MAAM,MAAM,GAAG,aAAa,EAAE,CAAC,KAAK,CAAC,CAAU,EAAE,WAAoB,CAAC,CAAA;QACtE,OAAO,EAAE,CAAC,MAA+B,CAAC,CAAA;IAC5C,CAAC;IAAC,OAAO,CAAC,EAAE,CAAC;QACX,MAAM,GAAG,GAAG,CAAC,YAAY,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAA;QACtD,OAAO,GAAG,CACR,WAAW,CACT,cAAc,EACd,6BAA6B,KAAK,CAAC,MAAM,aAAa,GAAG,EAAE,EAC3D,CAAC,EACD,EAAE,SAAS,EAAE,OAAO,EAAE,SAAS,EAAE,KAAK,CAAC,MAAM,EAAE,CAChD,CACF,CAAA;IACH,CAAC;AACH,CAAC","sourcesContent":["/**\n * Self-hosted compat-op implementations — boolean / section\n * (core-decouple Phase 3, §5.4).\n *\n * @platform occt\n *\n * Brep-shaped implementation for `section`. Semantics mirror vendored\n * `topology/booleanFns.ts` `section` (NULL_SHAPE_INPUT guard, plane resolution\n * from PlaneInput, kernel section via a planar tool, compound result) using the\n * L1 `sectionByPlane` (occt-wasm `BRepAlgoAPI_Section` + edge/wire downcast).\n */\n\nimport type { BrepHandle } from '../../brep/engine/types'\nimport { getBrepApi } from '../../brep/handle-bridge'\nimport { getOcctKernel } from '../../occt-kernel/occtKernel'\nimport { ok, err, type Result } from '../../result/result'\nimport { kernelError } from '../../result/errors'\nimport type { FormClass } from '../internal/dual-form-args'\nimport { resolveArgs } from '../internal/dual-form-args'\nimport type { PlaneInput } from '../brepjs-compat/planeTypes'\nimport { resolvePlane } from '../brepjs-compat/planeOps'\nimport { brepHandleOf } from './brepHelpers'\n\nconst SECTION_PARAMS = { name: 'section', params: ['shape', 'plane'], formClass: 'A' as FormClass }\n\n/**\n * Section a shape with a plane (vendored `section(shape, plane, options?)`).\n *\n * The plane is resolved from `PlaneInput` (named plane or explicit Plane); the\n * L1 `sectionByPlane` builds the planar tool, runs `BRepAlgoAPI_Section`, and\n * downcasts the result compound to edge/wire handles, which are re-combined\n * into a compound to match the vendored product shape. `options` (approximation\n * / planeSize) is accepted for signature compatibility; the occt native\n * section uses its default approximation.\n *\n * @param args - Resolved arguments (shape, plane).\n * @returns The section result compound as a `BrepHandle`.\n */\nexport function sectionBrep(...args: unknown[]): Result<BrepHandle> {\n  const [shape, plane] = resolveArgs(args, SECTION_PARAMS)\n  const kernel = getBrepApi()\n  const h = brepHandleOf(shape)\n  // NOTE: 2026-09-26 brepkit 降级——移除 getOcctKernel().IsNull 平台耦合。\n  // 空/坏句柄由下游 sectionByPlane 内核抛错并被下方 try/catch 捕获为 SECTION_FAILED\n  // （occt 的 sectionByPlane 对空结果本就返回 []，行为等价；brepkit 对坏句柄抛\n  // \"invalid solid handle\"，诚实报错而非崩溃）。\n  const resolved = resolvePlane(plane as PlaneInput)\n  if (!resolved.ok) return resolved\n  const p = resolved.value\n  try {\n    const parts = kernel.sectionByPlane(\n      h,\n      { x: p.origin[0], y: p.origin[1], z: p.origin[2] },\n      { x: p.zDir[0], y: p.zDir[1], z: p.zDir[2] },\n    )\n    // 语义差异（如实登记）：occt sectionByPlane 返回 edge/wire 句柄组（1D 剖面线）；\n    // brepkit sectionByPlane 返回 face 句柄组（2D 剖面面）。两侧都包成 compound 产物，\n    // 下游 meshShape/wireframe 已按已知集合分发（brepkit makeCompound 对非 solid 子句柄走\n    // 虚拟 compound 路径）。\n    return ok(kernel.makeCompound(parts))\n  } catch (e) {\n    return err(\n      kernelError(\n        'SECTION_FAILED',\n        `Section with plane failed: ${e instanceof Error ? e.message : String(e)}`,\n        e,\n        { operation: 'section' },\n        'The cutting plane may not intersect the shape. Verify plane position relative to shape bounds.',\n      ),\n    )\n  }\n}\n\n\n// ---------------------------------------------------------------------------\n// fuse — union two shapes (vendored topology/booleanFns.ts#fuse)\n// ---------------------------------------------------------------------------\n\nconst FUSE_PARAMS = { name: 'fuse', params: ['a', 'b', 'options'], formClass: 'A' as FormClass }\n\n/**\n * Fuse (union) two shapes into one.\n * @param args - Resolved arguments (a, b).\n * @returns The fused shape as a `BrepHandle`.\n */\nexport function fuseBrep(...args: unknown[]): Result<BrepHandle> {\n  const [a, b] = resolveArgs(args, FUSE_PARAMS)\n  const kernel = getBrepApi()\n  const ha = brepHandleOf(a)\n  const hb = brepHandleOf(b)\n  try {\n    return ok(kernel.fuse(ha, hb))\n  } catch (e) {\n    const raw = e instanceof Error ? e.message : String(e)\n    return err(kernelError('FUSE_FAILED', `fuse failed: ${raw}`, e))\n  }\n}\n\n// ---------------------------------------------------------------------------\n// split — split a shape with tool(s) (vendored topology/api.ts#split → booleanFns.split)\n// ---------------------------------------------------------------------------\n\nconst SPLIT_PARAMS = { name: 'split', params: ['shape', 'tools'], formClass: 'A' as FormClass }\n\n/**\n * Split a shape with one or more tool shapes.\n * @param args - Resolved arguments (shape, tools).\n * @returns The split result as a `BrepHandle`.\n */\nexport function splitBrep(...args: unknown[]): Result<BrepHandle> {\n  const [shape, toolsRaw] = resolveArgs(args, SPLIT_PARAMS)\n  const h = brepHandleOf(shape)\n  const tools = (toolsRaw ?? []) as unknown[]\n  if (tools.length === 0) return ok(h)\n  const toolHandles = tools.map((t) => brepHandleOf(t))\n  try {\n    const result = getOcctKernel().split(h as never, toolHandles as never)\n    return ok(result as unknown as BrepHandle)\n  } catch (e) {\n    const raw = e instanceof Error ? e.message : String(e)\n    return err(\n      kernelError(\n        'SPLIT_FAILED',\n        `Split operation failed on ${tools.length} tool(s): ${raw}`,\n        e,\n        { operation: 'split', toolCount: tools.length },\n      ),\n    )\n  }\n}\n"]}

package/dist/api/brep-mirror/topologyFns.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"topologyFns.d.ts","sourceRoot":"","sources":["../../../src/api/brep-mirror/topologyFns.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;GAeG;AAEH,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,yBAAyB,CAAA;AAEzD,OAAO,EAAW,KAAK,MAAM,EAAE,MAAM,qBAAqB,CAAA;AAoD1D;;;;;;;;;;GAUG;AACH,wBAAgB,eAAe,CAAC,GAAG,IAAI,EAAE,OAAO,EAAE,GAAG,MAAM,CAAC,UAAU,CAAC,CAgDtE;AAQD;;;;;GAKG;AACH,wBAAgB,SAAS,CAAC,GAAG,IAAI,EAAE,OAAO,EAAE,GAAG,MAAM,CAAC,UAAU,CAAC,CAchE;AAmBD;;;;;;GAMG;AACH,wBAAgB,UAAU,CAAC,GAAG,IAAI,EAAE,OAAO,EAAE,GAAG,MAAM,CAAC,UAAU,CAAC,CAoBjE;AAQD;;;;;GAKG;AACH,wBAAgB,UAAU,CAAC,GAAG,IAAI,EAAE,OAAO,EAAE,GAAG,MAAM,CAAC,UAAU,CAAC,CAiBjE;AAQD;;;;;GAKG;AACH,wBAAgB,UAAU,CAAC,GAAG,IAAI,EAAE,OAAO,EAAE,GAAG,MAAM,CAAC,UAAU,CAAC,CAgCjE;AAOD;;;;;GAKG;AACH,wBAAgB,SAAS,CAAC,GAAG,IAAI,EAAE,OAAO,EAAE,GAAG,MAAM,CAAC,UAAU,CAAC,CAmBhE;AAOD;;;;;GAKG;AACH,wBAAgB,UAAU,CAAC,GAAG,IAAI,EAAE,OAAO,EAAE,GAAG,MAAM,CAAC,UAAU,CAAC,CAejE"}
+{"version":3,"file":"topologyFns.d.ts","sourceRoot":"","sources":["../../../src/api/brep-mirror/topologyFns.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;GAeG;AAEH,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,yBAAyB,CAAA;AAEzD,OAAO,EAAW,KAAK,MAAM,EAAE,MAAM,qBAAqB,CAAA;AAoD1D;;;;;;;;;;GAUG;AACH,wBAAgB,eAAe,CAAC,GAAG,IAAI,EAAE,OAAO,EAAE,GAAG,MAAM,CAAC,UAAU,CAAC,CAgDtE;AAQD;;;;;GAKG;AACH,wBAAgB,SAAS,CAAC,GAAG,IAAI,EAAE,OAAO,EAAE,GAAG,MAAM,CAAC,UAAU,CAAC,CAchE;AAmBD;;;;;;GAMG;AACH,wBAAgB,UAAU,CAAC,GAAG,IAAI,EAAE,OAAO,EAAE,GAAG,MAAM,CAAC,UAAU,CAAC,CAoBjE;AAQD;;;;;GAKG;AACH,wBAAgB,UAAU,CAAC,GAAG,IAAI,EAAE,OAAO,EAAE,GAAG,MAAM,CAAC,UAAU,CAAC,CAiBjE;AAQD;;;;;GAKG;AACH,wBAAgB,UAAU,CAAC,GAAG,IAAI,EAAE,OAAO,EAAE,GAAG,MAAM,CAAC,UAAU,CAAC,CAmCjE;AAOD;;;;;GAKG;AACH,wBAAgB,SAAS,CAAC,GAAG,IAAI,EAAE,OAAO,EAAE,GAAG,MAAM,CAAC,UAAU,CAAC,CAmBhE;AAOD;;;;;GAKG;AACH,wBAAgB,UAAU,CAAC,GAAG,IAAI,EAAE,OAAO,EAAE,GAAG,MAAM,CAAC,UAAU,CAAC,CAejE"}

package/dist/api/brep-mirror/topologyFns.js

@@ -189,6 +189,9 @@ export function rotateBrep(...args) {
         // STEP export crashes ("memory access out of bounds") — same family as
         // located/generalTransform. Rotation is affine, so build the Rodrigues
         // matrix and go through the STEP-safe `transform` (BRepBuilderAPI_Transform).
+        // 2026-09-26: switched from getOcctKernel().transform to the L1 getBrepApi().transform
+        // so the op is engine-neutral (brepkit transform = cloneAndTransform deep-copy,
+        // same STEP-safe semantics) — see brepkit-batchA-fix.
         const [ax, ay, az] = axis;
         const alen = Math.hypot(ax, ay, az);
         if (alen < 1e-12) {
@@ -207,7 +210,7 @@ export function rotateBrep(...args) {
         const ty = py - (r10 * px + r11 * py + r12 * pz);
         const tz = pz - (r20 * px + r21 * py + r22 * pz);
         const m12 = [r00, r01, r02, tx, r10, r11, r12, ty, r20, r21, r22, tz];
-        return ok(getOcctKernel().transform(s, m12));
+        return ok(getBrepApi().transform(s, m12));
     }
     catch (e) {
         const raw = e instanceof Error ? e.message : String(e);

package/dist/api/brep-mirror/topologyFns.js.map

@@ -1 +1 @@
-{"version":3,"file":"topologyFns.js","sourceRoot":"","sources":["../../../src/api/brep-mirror/topologyFns.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;GAeG;AAGH,OAAO,EAAE,UAAU,EAAE,MAAM,0BAA0B,CAAA;AACrD,OAAO,EAAE,EAAE,EAAE,GAAG,EAAe,MAAM,qBAAqB,CAAA;AAC1D,OAAO,EAAE,WAAW,EAAE,eAAe,EAAE,MAAM,qBAAqB,CAAA;AAElE,OAAO,EAAE,WAAW,EAAE,MAAM,4BAA4B,CAAA;AAExD,OAAO,EAAE,YAAY,EAAE,aAAa,EAAE,YAAY,EAAE,cAAc,EAAE,iBAAiB,EAAE,MAAM,eAAe,CAAA;AAC5G,OAAO,EAAE,aAAa,EAAE,MAAM,8BAA8B,CAAA;AAE5D,MAAM,iBAAiB,GAAG,mBAAmB,CAAA;AAQ7C,SAAS,gBAAgB,CACvB,KAAkB;IAElB,IAAI,QAAQ,IAAI,KAAK,EAAE,CAAC;QACtB,OAAO,EAAE,CAAC,EAAE,MAAM,EAAE,KAAK,CAAC,MAAM,EAAE,WAAW,EAAE,KAAK,CAAC,WAAW,EAAE,CAAC,CAAA;IACrE,CAAC;IACD,MAAM,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,GAAG,KAAK,CAAA;IAC9B,MAAM,GAAG,GAAG,KAAK,CAAA;IACjB,IAAI,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,GAAG,GAAG,IAAI,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,GAAG,GAAG,IAAI,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,GAAG,GAAG,IAAI,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,GAAG,EAAE,CAAC;QACzG,OAAO,GAAG,CACR,eAAe,CACb,iBAAiB,EACjB,oCAAoC,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,KAAK,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,KAAK,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,KAAK,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,kDAAkD,CAC1J,CACF,CAAA;IACH,CAAC;IACD,OAAO,EAAE,CAAC;QACR,MAAM,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC;QACvE,WAAW,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC;KACnC,CAAC,CAAA;AACJ,CAAC;AAED,SAAS,MAAM,CAAC,CAAY;IAC1B,OAAO,CACL,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;QAClC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;QAClC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CACnC,CAAA;AACH,CAAC;AAED,8EAA8E;AAC9E,cAAc;AACd,8EAA8E;AAE9E,MAAM,mBAAmB,GAAG,EAAE,IAAI,EAAE,aAAa,EAAE,MAAM,EAAE,CAAC,OAAO,EAAE,QAAQ,CAAC,EAAE,SAAS,EAAE,GAAgB,EAAE,CAAA;AAE7G;;;;;;;;;;GAUG;AACH,MAAM,UAAU,eAAe,CAAC,GAAG,IAAe;IAChD,MAAM,CAAC,KAAK,EAAE,MAAM,CAAC,GAAG,WAAW,CAAC,IAAI,EAAE,mBAAmB,CAAC,CAAA;IAC9D,MAAM,MAAM,GAAG,gBAAgB,CAAC,MAAqB,CAAC,CAAA;IACtD,IAAI,CAAC,MAAM,CAAC,EAAE;QAAE,OAAO,MAAM,CAAA;IAC7B,MAAM,EAAE,MAAM,EAAE,WAAW,EAAE,GAAG,MAAM,CAAC,KAAK,CAAA;IAC5C,IAAI,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,GAAG,KAAK,EAAE,CAAC;QACrC,OAAO,GAAG,CACR,eAAe,CACb,iBAAiB,EACjB,yFAAyF,CAC1F,CACF,CAAA;IACH,CAAC;IACD,MAAM,MAAM,GAAG,UAAU,EAAE,CAAA;IAC3B,IAAI,CAAC;QACH,MAAM,GAAG,GAAG;YACV,MAAM,CAAC,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC,EAAE,WAAW,CAAC,CAAC,CAAC;YAC/C,MAAM,CAAC,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC,EAAE,WAAW,CAAC,CAAC,CAAC;YAC/C,MAAM,CAAC,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC,EAAE,WAAW,CAAC,CAAC,CAAC;SAChD,CAAA;QACD,uEAAuE;QACvE,6DAA6D;QAC7D,gEAAgE;QAChE,gEAAgE;QAChE,gEAAgE;QAChE,8DAA8D;QAC9D,oEAAoE;QACpE,MAAM,GAAG,GAAG,MAA2F,CAAA;QACvG,MAAM,EAAE,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAA;QAC7C,MAAM,EAAE,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAA;QAC7C,MAAM,EAAE,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAA;QAC7C,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,GAAG,CAAC,CAAC,CAAC,GAAG,GAAG,CAAC,CAAC,CAAC,GAAG,GAAG,CAAC,CAAC,CAAC,GAAG,GAAG,CAAC,CAAC,CAAC,GAAG,GAAG,CAAC,CAAC,CAAC,CAAC,CAAA;QAC3E,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,GAAG,CAAC,CAAC,CAAC,GAAG,GAAG,CAAC,CAAC,CAAC,GAAG,GAAG,CAAC,CAAC,CAAC,GAAG,GAAG,CAAC,CAAC,CAAC,GAAG,GAAG,CAAC,CAAC,CAAC,CAAC,CAAA;QAC3E,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,GAAG,CAAC,CAAC,CAAC,GAAG,GAAG,CAAC,CAAC,CAAC,GAAG,GAAG,CAAC,CAAC,CAAC,GAAG,GAAG,CAAC,CAAC,CAAC,GAAG,GAAG,CAAC,CAAC,CAAC,CAAC,CAAA;QAC3E,MAAM,GAAG,GAAG,IAAI,CAAA;QAChB,MAAM,OAAO,GACX,EAAE,GAAG,GAAG,IAAI,IAAI,CAAC,GAAG,CAAC,EAAE,GAAG,EAAE,CAAC,GAAG,GAAG,IAAI,IAAI,CAAC,GAAG,CAAC,EAAE,GAAG,EAAE,CAAC,GAAG,GAAG;YAC9D,KAAK,GAAG,GAAG,IAAI,KAAK,GAAG,GAAG,IAAI,KAAK,GAAG,GAAG,CAAA;QAC3C,OAAO,EAAE,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,SAAS,CAAC,YAAY,CAAC,KAAK,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,gBAAgB,CAAC,YAAY,CAAC,KAAK,CAAC,EAAE,GAAG,CAAC,CAAC,CAAA;IACrH,CAAC;IAAC,OAAO,CAAC,EAAE,CAAC;QACX,OAAO,GAAG,CACR,WAAW,CACT,qBAAqB,EACrB,yCAAyC,CAAC,YAAY,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EACrF,CAAC,CACF,CACF,CAAA;IACH,CAAC;AACH,CAAC;AAED,8EAA8E;AAC9E,QAAQ;AACR,8EAA8E;AAE9E,MAAM,YAAY,GAAG,EAAE,IAAI,EAAE,OAAO,EAAE,MAAM,EAAE,CAAC,OAAO,CAAC,EAAE,SAAS,EAAE,GAAgB,EAAE,CAAA;AAEtF;;;;;GAKG;AACH,MAAM,UAAU,SAAS,CAAC,GAAG,IAAe;IAC1C,MAAM,CAAC,KAAK,CAAC,GAAG,WAAW,CAAC,IAAI,EAAE,YAAY,CAAC,CAAA;IAC/C,MAAM,MAAM,GAAG,UAAU,EAAE,CAAA;IAC3B,IAAI,CAAC;QACH,OAAO,EAAE,CAAC,MAAM,CAAC,SAAS,CAAC,YAAY,CAAC,KAAK,CAAC,CAAC,CAAC,CAAA;IAClD,CAAC;IAAC,OAAO,CAAC,EAAE,CAAC;QACX,OAAO,GAAG,CACR,WAAW,CACT,cAAc,EACd,8BAA8B,CAAC,YAAY,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAC1E,CAAC,CACF,CACF,CAAA;IACH,CAAC;AACH,CAAC;AAED,8EAA8E;AAC9E,SAAS;AACT,8EAA8E;AAE9E,MAAM,aAAa,GAAG,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,EAAE,CAAC,OAAO,EAAE,WAAW,CAAC,EAAE,SAAS,EAAE,GAAgB,EAAE,CAAA;AAMrG,SAAS,UAAU,CAAC,EAAe;IACjC,IAAI,EAAE,CAAC,IAAI,KAAK,WAAW;QAAE,OAAO,iBAAiB,CAAC,EAAE,CAAC,CAAC,CAAC,CAAA;IAC3D,MAAM,IAAI,GAAG,EAAE,CAAC,IAAI,IAAI,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAA;IACjC,MAAM,MAAM,GAAG,EAAE,CAAC,MAAM,IAAI,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAA;IACrC,OAAO,cAAc,CAAC,IAAY,EAAE,MAAc,EAAE,EAAE,CAAC,KAAK,CAAC,CAAA;AAC/D,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,UAAU,CAAC,GAAG,IAAe;IAC3C,MAAM,CAAC,KAAK,EAAE,SAAS,CAAC,GAAG,WAAW,CAAC,IAAI,EAAE,aAAa,CAAC,CAAA;IAC3D,MAAM,GAAG,GACP,SAAS,KAAK,IAAI,IAAI,OAAO,SAAS,KAAK,QAAQ,IAAI,MAAM,IAAK,SAAoB;QACpF,CAAC,CAAC,CAAC,SAAwB,CAAC;QAC5B,CAAC,CAAE,SAAoC,CAAA;IAC3C,MAAM,MAAM,GAAG,UAAU,EAAE,CAAA;IAC3B,IAAI,CAAC;QACH,IAAI,GAAG,GAAa,CAAC,GAAG,YAAY,CAAC,CAAA;QACrC,KAAK,MAAM,EAAE,IAAI,GAAG;YAAE,GAAG,GAAG,aAAa,CAAC,GAAG,EAAE,UAAU,CAAC,EAAE,CAAC,CAAC,CAAA;QAC9D,OAAO,EAAE,CAAC,MAAM,CAAC,MAAM,CAAC,YAAY,CAAC,KAAK,CAAC,EAAE,GAAG,CAAC,CAAC,CAAA;IACpD,CAAC;IAAC,OAAO,CAAC,EAAE,CAAC;QACX,OAAO,GAAG,CACR,WAAW,CACT,eAAe,EACf,iCAAiC,CAAC,YAAY,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAC7E,CAAC,CACF,CACF,CAAA;IACH,CAAC;AACH,CAAC;AAED,8EAA8E;AAC9E,SAAS;AACT,8EAA8E;AAE9E,MAAM,aAAa,GAAG,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,EAAE,CAAC,OAAO,EAAE,SAAS,CAAC,EAAE,SAAS,EAAE,GAAgB,EAAE,CAAA;AAEnG;;;;;GAKG;AACH,MAAM,UAAU,UAAU,CAAC,GAAG,IAAe;IAC3C,MAAM,CAAC,KAAK,EAAE,OAAO,CAAC,GAAG,WAAW,CAAC,IAAI,EAAE,aAAa,CAAC,CAAA;IACzD,MAAM,IAAI,GAAG,CAAC,OAAO,IAAI,EAAE,CAAiC,CAAA;IAC5D,MAAM,MAAM,GAAG,IAAI,CAAC,MAAM,IAAI,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAA;IACvC,MAAM,EAAE,GAAG,IAAI,CAAC,EAAE,IAAI,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAA;IAC/B,MAAM,MAAM,GAAG,UAAU,EAAE,CAAA;IAC3B,IAAI,CAAC;QACH,OAAO,EAAE,CAAC,MAAM,CAAC,MAAM,CAAC,YAAY,CAAC,KAAK,CAAC,EAAE,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAA;IAC/H,CAAC;IAAC,OAAO,CAAC,EAAE,CAAC;QACX,OAAO,GAAG,CACR,WAAW,CACT,eAAe,EACf,iCAAiC,CAAC,YAAY,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAC7E,CAAC,CACF,CACF,CAAA;IACH,CAAC;AACH,CAAC;AAGD,8EAA8E;AAC9E,wJAAwJ;AAExJ,MAAM,aAAa,GAAG,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,EAAE,CAAC,OAAO,EAAE,OAAO,EAAE,SAAS,CAAC,EAAE,SAAS,EAAE,GAAgB,EAAE,CAAA;AAE5G;;;;;GAKG;AACH,MAAM,UAAU,UAAU,CAAC,GAAG,IAAe;IAC3C,MAAM,CAAC,KAAK,EAAE,KAAK,EAAE,OAAO,CAAC,GAAG,WAAW,CAAC,IAAI,EAAE,aAAa,CAAC,CAAA;IAChE,MAAM,CAAC,GAAG,YAAY,CAAC,KAAK,CAAC,CAAA;IAC7B,MAAM,EAAE,EAAE,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,IAAI,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,GAAG,CAAC,OAAO,IAAI,EAAE,CAA+B,CAAA;IAC1F,IAAI,CAAC;QACH,0EAA0E;QAC1E,uEAAuE;QACvE,uEAAuE;QACvE,8EAA8E;QAC9E,MAAM,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,GAAG,IAAyC,CAAA;QAC9D,MAAM,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,CAAA;QACnC,IAAI,IAAI,GAAG,KAAK,EAAE,CAAC;YACjB,OAAO,GAAG,CAAC,eAAe,CAAC,cAAc,EAAE,uCAAuC,EAAE,KAAK,EAAE,KAAK,EAAE,GAAG,CAAC,CAAC,CAAA;QACzG,CAAC;QACD,MAAM,EAAE,GAAG,EAAE,GAAG,IAAI,EAAE,EAAE,GAAG,EAAE,GAAG,IAAI,EAAE,EAAE,GAAG,EAAE,GAAG,IAAI,CAAA;QACpD,MAAM,KAAK,GAAG,CAAC,MAAM,CAAC,KAAK,CAAC,GAAG,IAAI,CAAC,EAAE,CAAC,GAAG,GAAG,CAAA;QAC7C,MAAM,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,GAAG,CAAC,GAAG,CAAC,CAAA;QAC9D,oCAAoC;QACpC,MAAM,GAAG,GAAG,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,EAAM,GAAG,GAAG,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,MAAM,EAAE,GAAG,GAAG,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,MAAM,CAAA;QACjG,MAAM,GAAG,GAAG,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,MAAM,EAAE,GAAG,GAAG,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,EAAM,GAAG,GAAG,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,MAAM,CAAA;QACjG,MAAM,GAAG,GAAG,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,MAAM,EAAE,GAAG,GAAG,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,MAAM,EAAE,GAAG,GAAG,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,CAAA;QAC7F,MAAM,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,GAAG,EAAuC,CAAA;QAC5D,wEAAwE;QACxE,MAAM,EAAE,GAAG,EAAE,GAAG,CAAC,GAAG,GAAG,EAAE,GAAG,GAAG,GAAG,EAAE,GAAG,GAAG,GAAG,EAAE,CAAC,CAAA;QAChD,MAAM,EAAE,GAAG,EAAE,GAAG,CAAC,GAAG,GAAG,EAAE,GAAG,GAAG,GAAG,EAAE,GAAG,GAAG,GAAG,EAAE,CAAC,CAAA;QAChD,MAAM,EAAE,GAAG,EAAE,GAAG,CAAC,GAAG,GAAG,EAAE,GAAG,GAAG,GAAG,EAAE,GAAG,GAAG,GAAG,EAAE,CAAC,CAAA;QAChD,MAAM,GAAG,GAAG,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,EAAE,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,EAAE,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,EAAE,CAAC,CAAA;QACrE,OAAO,EAAE,CAAC,aAAa,EAAE,CAAC,SAAS,CAAC,CAAU,EAAE,GAAG,CAA0B,CAAC,CAAA;IAChF,CAAC;IAAC,OAAO,CAAC,EAAE,CAAC;QACX,MAAM,GAAG,GAAG,CAAC,YAAY,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAA;QACtD,OAAO,GAAG,CAAC,WAAW,CAAC,eAAe,EAAE,4BAA4B,GAAG,EAAE,EAAE,CAAC,CAAC,CAAC,CAAA;IAChF,CAAC;AACH,CAAC;AAED,8EAA8E;AAC9E,oJAAoJ;AAEpJ,MAAM,YAAY,GAAG,EAAE,IAAI,EAAE,OAAO,EAAE,MAAM,EAAE,CAAC,OAAO,EAAE,OAAO,EAAE,WAAW,EAAE,SAAS,CAAC,EAAE,SAAS,EAAE,GAAgB,EAAE,CAAA;AAEvH;;;;;GAKG;AACH,MAAM,UAAU,SAAS,CAAC,GAAG,IAAe;IAC1C,MAAM,CAAC,KAAK,EAAE,KAAK,EAAE,SAAS,EAAE,OAAO,CAAC,GAAG,WAAW,CAAC,IAAI,EAAE,YAAY,CAAC,CAAA;IAC1E,MAAM,MAAM,GAAG,UAAU,EAAE,CAAA;IAC3B,MAAM,CAAC,GAAG,YAAY,CAAC,KAAK,CAAC,CAAA;IAC7B,MAAM,CAAC,GAAG,MAAM,CAAC,SAAS,CAAC,CAAA;IAC3B,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;QACX,OAAO,GAAG,CAAC,eAAe,CAAC,mBAAmB,EAAE,kCAAkC,CAAC,CAAC,CAAA;IACtF,CAAC;IACD,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAChD,OAAO,GAAG,CAAC,eAAe,CAAC,UAAU,EAAE,+CAA+C,CAAC,CAAC,CAAA;IAC1F,CAAC;IACD,MAAM,WAAW,GAAI,KAAmB,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,CAAA;IACpE,MAAM,SAAS,GAAI,CAAC,OAAO,IAAI,EAAE,CAA4B,CAAC,SAAS,IAAI,IAAI,CAAA;IAC/E,IAAI,CAAC;QACH,OAAO,EAAE,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,EAAE,WAAW,EAAE,CAAC,EAAE,SAAS,CAAC,CAAC,CAAA;IACvD,CAAC;IAAC,OAAO,CAAC,EAAE,CAAC;QACX,MAAM,GAAG,GAAG,CAAC,YAAY,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAA;QACtD,OAAO,GAAG,CAAC,WAAW,CAAC,cAAc,EAAE,2BAA2B,GAAG,EAAE,EAAE,CAAC,CAAC,CAAC,CAAA;IAC9E,CAAC;AACH,CAAC;AAED,8EAA8E;AAC9E,wJAAwJ;AAExJ,MAAM,aAAa,GAAG,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,EAAE,CAAC,OAAO,EAAE,UAAU,EAAE,SAAS,CAAC,EAAE,SAAS,EAAE,GAAgB,EAAE,CAAA;AAE/G;;;;;GAKG;AACH,MAAM,UAAU,UAAU,CAAC,GAAG,IAAe;IAC3C,MAAM,CAAC,KAAK,EAAE,QAAQ,EAAE,OAAO,CAAC,GAAG,WAAW,CAAC,IAAI,EAAE,aAAa,CAAC,CAAA;IACnE,MAAM,CAAC,GAAG,YAAY,CAAC,KAAK,CAAC,CAAA;IAC7B,MAAM,CAAC,GAAG,MAAM,CAAC,QAAQ,CAAC,CAAA;IAC1B,IAAI,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,KAAK,EAAE,CAAC;QACxB,OAAO,GAAG,CAAC,eAAe,CAAC,aAAa,EAAE,gCAAgC,CAAC,CAAC,CAAA;IAC9E,CAAC;IACD,MAAM,SAAS,GAAI,CAAC,OAAO,IAAI,EAAE,CAA4B,CAAC,SAAS,IAAI,IAAI,CAAA;IAC/E,IAAI,CAAC;QACH,MAAM,CAAC,GAAG,aAAa,EAAE,CAAC,MAAM,CAAC,CAAU,EAAE,CAAC,EAAE,SAAS,CAAC,CAAA;QAC1D,OAAO,EAAE,CAAC,CAA0B,CAAC,CAAA;IACvC,CAAC;IAAC,OAAO,CAAC,EAAE,CAAC;QACX,MAAM,GAAG,GAAG,CAAC,YAAY,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAA;QACtD,OAAO,GAAG,CAAC,WAAW,CAAC,eAAe,EAAE,4BAA4B,GAAG,EAAE,EAAE,CAAC,CAAC,CAAC,CAAA;IAChF,CAAC;AACH,CAAC","sourcesContent":["/**\n * Self-hosted compat-op implementations — topology transform family\n * (core-decouple Phase 3, §5.4).\n *\n * @platform occt\n *\n * Each export is a \"brep-shaped\" implementation consumed by the generated\n * compat-op projection (defineOp + D11 arg normalization). Inputs are the\n * normalized positional arguments of the op's params table; shapes arrive as\n * faijs Shapes (or raw handles) and results are returned as BREP handles\n * (wrapped by `wrapBrepOne` → `fromHandle`).\n *\n * Semantics mirror the vendored brepjs fns (`topology/transformFns.ts`,\n * `topology/shapeFns.ts`) with the brepjs object model (castResultShape,\n * metadata propagation, evolution tracking) dropped: occt-wasm handles only.\n */\n\nimport type { BrepHandle } from '../../brep/engine/types'\nimport { getBrepApi } from '../../brep/handle-bridge'\nimport { ok, err, type Result } from '../../result/result'\nimport { kernelError, validationError } from '../../result/errors'\nimport type { FormClass } from '../internal/dual-form-args'\nimport { resolveArgs } from '../internal/dual-form-args'\nimport type { MatrixInput, Vec3 } from '../brepjs-compat/types'\nimport { brepHandleOf, composeAffine, IDENTITY_3X4, rotationMatrix, translationMatrix } from './brepHelpers'\nimport { getOcctKernel } from '../../occt-kernel/occtKernel'\n\nconst VALIDATION_FAILED = 'VALIDATION_FAILED'\n\n// ---------------------------------------------------------------------------\n// Matrix input parsing (vendored `parseMatrixInput` / `det3x3`)\n// ---------------------------------------------------------------------------\n\ntype Linear3x3 = readonly [number, number, number, number, number, number, number, number, number]\n\nfunction parseMatrixInput(\n  input: MatrixInput,\n): Result<{ linear: Linear3x3; translation: readonly [number, number, number] }> {\n  if ('linear' in input) {\n    return ok({ linear: input.linear, translation: input.translation })\n  }\n  const [r0, r1, r2, r3] = input\n  const TOL = 1e-10\n  if (Math.abs(r3[0]) > TOL || Math.abs(r3[1]) > TOL || Math.abs(r3[2]) > TOL || Math.abs(r3[3] - 1) > TOL) {\n    return err(\n      validationError(\n        VALIDATION_FAILED,\n        `applyMatrix: invalid bottom row [${String(r3[0])}, ${String(r3[1])}, ${String(r3[2])}, ${String(r3[3])}]. Must be [0, 0, 0, 1] for an affine transform.`,\n      ),\n    )\n  }\n  return ok({\n    linear: [r0[0], r0[1], r0[2], r1[0], r1[1], r1[2], r2[0], r2[1], r2[2]],\n    translation: [r0[3], r1[3], r2[3]],\n  })\n}\n\nfunction det3x3(m: Linear3x3): number {\n  return (\n    m[0] * (m[4] * m[8] - m[5] * m[7]) -\n    m[1] * (m[3] * m[8] - m[5] * m[6]) +\n    m[2] * (m[3] * m[7] - m[4] * m[6])\n  )\n}\n\n// ---------------------------------------------------------------------------\n// applyMatrix\n// ---------------------------------------------------------------------------\n\nconst APPLY_MATRIX_PARAMS = { name: 'applyMatrix', params: ['shape', 'matrix'], formClass: 'A' as FormClass }\n\n/**\n * Apply a 4×4 affine matrix (OpenSCAD `multmatrix` equivalent).\n *\n * The vendored fn splits orthogonal (evolution-tracked) and non-orthogonal\n * (`gp_GTrsf`) paths; the core path uses the single L1 `generalTransform`\n * (occt-wasm `gp_GTrsf`, geometrically equivalent for both classes) since\n * `applyMatrix` carries identity naming and needs no face evolution.\n *\n * @param args - Resolved arguments (shape, matrix).\n * @returns The transformed shape as a `BrepHandle`.\n */\nexport function applyMatrixBrep(...args: unknown[]): Result<BrepHandle> {\n  const [shape, matrix] = resolveArgs(args, APPLY_MATRIX_PARAMS)\n  const parsed = parseMatrixInput(matrix as MatrixInput)\n  if (!parsed.ok) return parsed\n  const { linear, translation } = parsed.value\n  if (Math.abs(det3x3(linear)) < 1e-12) {\n    return err(\n      validationError(\n        VALIDATION_FAILED,\n        'applyMatrix: singular matrix (determinant ≈0). Cannot apply a non-invertible transform.',\n      ),\n    )\n  }\n  const kernel = getBrepApi()\n  try {\n    const m12 = [\n      linear[0], linear[1], linear[2], translation[0],\n      linear[3], linear[4], linear[5], translation[1],\n      linear[6], linear[7], linear[8], translation[2],\n    ]\n    // GOTCHA (2026-09-25): occt-wasm's `located`/`generalTransform` return\n    // TopLoc/GTrsf-referencing handles whose STEP export crashes\n    // (\"memory access out of bounds\") — only the affine `transform`\n    // (BRepBuilderAPI_Transform, deep-copy) is STEP-safe. A similar\n    // transform (orthogonal rows, equal lengths) is affine and goes\n    // through `transform`; genuinely non-affine matrices keep the\n    // generalTransform path (no current caller, pre-existing behavior).\n    const lin = linear as readonly [number, number, number, number, number, number, number, number, number]\n    const s0 = Math.hypot(lin[0], lin[1], lin[2])\n    const s1 = Math.hypot(lin[3], lin[4], lin[5])\n    const s2 = Math.hypot(lin[6], lin[7], lin[8])\n    const dot01 = Math.abs(lin[0] * lin[3] + lin[1] * lin[4] + lin[2] * lin[5])\n    const dot02 = Math.abs(lin[0] * lin[6] + lin[1] * lin[7] + lin[2] * lin[8])\n    const dot12 = Math.abs(lin[3] * lin[6] + lin[4] * lin[7] + lin[5] * lin[8])\n    const TOL = 1e-9\n    const similar =\n      s0 > TOL && Math.abs(s1 - s0) < TOL && Math.abs(s2 - s0) < TOL &&\n      dot01 < TOL && dot02 < TOL && dot12 < TOL\n    return ok(similar ? kernel.transform(brepHandleOf(shape), m12) : kernel.generalTransform(brepHandleOf(shape), m12))\n  } catch (e) {\n    return err(\n      kernelError(\n        'APPLY_MATRIX_FAILED',\n        `applyMatrix: kernel transform failed: ${e instanceof Error ? e.message : String(e)}`,\n        e,\n      ),\n    )\n  }\n}\n\n// ---------------------------------------------------------------------------\n// clone\n// ---------------------------------------------------------------------------\n\nconst CLONE_PARAMS = { name: 'clone', params: ['shape'], formClass: 'A' as FormClass }\n\n/**\n * Deep-copy a shape (`kernel.copyShape`).\n *\n * @param args - Resolved arguments (shape).\n * @returns The cloned shape as a `BrepHandle`.\n */\nexport function cloneBrep(...args: unknown[]): Result<BrepHandle> {\n  const [shape] = resolveArgs(args, CLONE_PARAMS)\n  const kernel = getBrepApi()\n  try {\n    return ok(kernel.copyShape(brepHandleOf(shape)))\n  } catch (e) {\n    return err(\n      kernelError(\n        'CLONE_FAILED',\n        `clone: kernel copy failed: ${e instanceof Error ? e.message : String(e)}`,\n        e,\n      ),\n    )\n  }\n}\n\n// ---------------------------------------------------------------------------\n// locate\n// ---------------------------------------------------------------------------\n\nconst LOCATE_PARAMS = { name: 'locate', params: ['shape', 'placement'], formClass: 'A' as FormClass }\n\ntype TransformOp =\n  | { readonly type: 'translate'; readonly v: Vec3 }\n  | { readonly type: 'rotate'; readonly angle: number; readonly axis?: Vec3; readonly center?: Vec3 }\n\nfunction opToMatrix(op: TransformOp): number[] {\n  if (op.type === 'translate') return translationMatrix(op.v)\n  const axis = op.axis ?? [0, 0, 1]\n  const center = op.center ?? [0, 0, 0]\n  return rotationMatrix(axis as Vec3, center as Vec3, op.angle)\n}\n\n/**\n * Placement-only rigid move (translate/rotate) via the kernel's cheap location\n * re-tag. Ops apply first-to-last (rotate then translate).\n *\n * @param args - Resolved arguments (shape, placement).\n * @returns The relocated shape as a `BrepHandle`.\n */\nexport function locateBrep(...args: unknown[]): Result<BrepHandle> {\n  const [shape, placement] = resolveArgs(args, LOCATE_PARAMS)\n  const ops: readonly TransformOp[] =\n    placement !== null && typeof placement === 'object' && 'type' in (placement as object)\n      ? [placement as TransformOp]\n      : (placement as readonly TransformOp[])\n  const kernel = getBrepApi()\n  try {\n    let acc: number[] = [...IDENTITY_3X4]\n    for (const op of ops) acc = composeAffine(acc, opToMatrix(op))\n    return ok(kernel.locate(brepHandleOf(shape), acc))\n  } catch (e) {\n    return err(\n      kernelError(\n        'LOCATE_FAILED',\n        `locate: kernel locate failed: ${e instanceof Error ? e.message : String(e)}`,\n        e,\n      ),\n    )\n  }\n}\n\n// ---------------------------------------------------------------------------\n// mirror\n// ---------------------------------------------------------------------------\n\nconst MIRROR_PARAMS = { name: 'mirror', params: ['shape', 'options'], formClass: 'A' as FormClass }\n\n/**\n * Mirror across a plane defined by `options.at` (origin) and `options.normal`.\n *\n * @param args - Resolved arguments (shape, mirror options).\n * @returns The mirrored shape as a `BrepHandle`.\n */\nexport function mirrorBrep(...args: unknown[]): Result<BrepHandle> {\n  const [shape, options] = resolveArgs(args, MIRROR_PARAMS)\n  const opts = (options ?? {}) as { normal?: Vec3; at?: Vec3 }\n  const normal = opts.normal ?? [1, 0, 0]\n  const at = opts.at ?? [0, 0, 0]\n  const kernel = getBrepApi()\n  try {\n    return ok(kernel.mirror(brepHandleOf(shape), { x: at[0], y: at[1], z: at[2] }, { x: normal[0], y: normal[1], z: normal[2] }))\n  } catch (e) {\n    return err(\n      kernelError(\n        'MIRROR_FAILED',\n        `mirror: kernel mirror failed: ${e instanceof Error ? e.message : String(e)}`,\n        e,\n      ),\n    )\n  }\n}\n\n\n// ---------------------------------------------------------------------------\n// rotate — 绕轴旋转（vendored topology/api.js#rotate + transformFns.ts#rotate）// ---------------------------------------------------------------------------\n\nconst ROTATE_PARAMS = { name: 'rotate', params: ['shape', 'angle', 'options'], formClass: 'A' as FormClass }\n\n/**\n * Rotate the shape around an axis (vendored topology/api.js#rotate + transformFns.ts#rotate).\n *\n * @param args - Resolved arguments (shape, angle in degrees, axis options).\n * @returns The rotated shape as a `BrepHandle`.\n */\nexport function rotateBrep(...args: unknown[]): Result<BrepHandle> {\n  const [shape, angle, options] = resolveArgs(args, ROTATE_PARAMS)\n  const s = brepHandleOf(shape)\n  const { at = [0, 0, 0], axis = [0, 0, 1] } = (options ?? {}) as { at?: Vec3; axis?: Vec3 }\n  try {\n    // GOTCHA (2026-09-25): occt-wasm's native `rotate` returns a handle whose\n    // STEP export crashes (\"memory access out of bounds\") — same family as\n    // located/generalTransform. Rotation is affine, so build the Rodrigues\n    // matrix and go through the STEP-safe `transform` (BRepBuilderAPI_Transform).\n    const [ax, ay, az] = axis as readonly [number, number, number]\n    const alen = Math.hypot(ax, ay, az)\n    if (alen < 1e-12) {\n      return err(validationError('INVALID_AXIS', `rotate: axis must be non-zero, got [${ax}, ${ay}, ${az}]`))\n    }\n    const nx = ax / alen, ny = ay / alen, nz = az / alen\n    const theta = (Number(angle) * Math.PI) / 180\n    const c = Math.cos(theta), sTheta = Math.sin(theta), t = 1 - c\n    // R = cI + sK + t·(n⊗n) (Rodrigues)\n    const r00 = t * nx * nx + c,     r01 = t * nx * ny - nz * sTheta, r02 = t * nx * nz + ny * sTheta\n    const r10 = t * nx * ny + nz * sTheta, r11 = t * ny * ny + c,     r12 = t * ny * nz - nx * sTheta\n    const r20 = t * nx * nz - ny * sTheta, r21 = t * ny * nz + nx * sTheta, r22 = t * nz * nz + c\n    const [px, py, pz] = at as readonly [number, number, number]\n    // Pivot-preserving translation: p' = R·(p − at) + at  ⇒  tx = at − R·at\n    const tx = px - (r00 * px + r01 * py + r02 * pz)\n    const ty = py - (r10 * px + r11 * py + r12 * pz)\n    const tz = pz - (r20 * px + r21 * py + r22 * pz)\n    const m12 = [r00, r01, r02, tx, r10, r11, r12, ty, r20, r21, r22, tz]\n    return ok(getOcctKernel().transform(s as never, m12) as unknown as BrepHandle)\n  } catch (e) {\n    const raw = e instanceof Error ? e.message : String(e)\n    return err(kernelError('ROTATE_FAILED', `Rotate operation failed: ${raw}`, e))\n  }\n}\n\n// ---------------------------------------------------------------------------\n// shell — 去面掏空（vendored topology/api.js#shell + modifierFns.ts#shell）// ---------------------------------------------------------------------------\n\nconst SHELL_PARAMS = { name: 'shell', params: ['shape', 'faces', 'thickness', 'options'], formClass: 'A' as FormClass }\n\n/**\n * Shell — hollow the shape by removing faces (vendored topology/api.js#shell + modifierFns.ts#shell).\n *\n * @param args - Resolved arguments (shape, faces, thickness, options).\n * @returns The shelled (hollowed) shape as a `BrepHandle`.\n */\nexport function shellBrep(...args: unknown[]): Result<BrepHandle> {\n  const [shape, faces, thickness, options] = resolveArgs(args, SHELL_PARAMS)\n  const kernel = getBrepApi()\n  const s = brepHandleOf(shape)\n  const t = Number(thickness)\n  if (t <= 0) {\n    return err(validationError('INVALID_THICKNESS', 'Shell thickness must be positive'))\n  }\n  if (!Array.isArray(faces) || faces.length === 0) {\n    return err(validationError('NO_FACES', 'At least one face must be specified for shell'))\n  }\n  const faceHandles = (faces as unknown[]).map((f) => brepHandleOf(f))\n  const tolerance = ((options ?? {}) as { tolerance?: number }).tolerance ?? 1e-3\n  try {\n    return ok(kernel.shell(s, faceHandles, t, tolerance))\n  } catch (e) {\n    const raw = e instanceof Error ? e.message : String(e)\n    return err(kernelError('SHELL_FAILED', `Shell operation failed: ${raw}`, e))\n  }\n}\n\n// ---------------------------------------------------------------------------\n// offset — 全表面偏移（vendored topology/api.js#offset + modifierFns.ts#offset）// ---------------------------------------------------------------------------\n\nconst OFFSET_PARAMS = { name: 'offset', params: ['shape', 'distance', 'options'], formClass: 'A' as FormClass }\n\n/**\n * Offset all faces of the shape (vendored topology/api.js#offset + modifierFns.ts#offset).\n *\n * @param args - Resolved arguments (shape, distance, options).\n * @returns The offset shape as a `BrepHandle`.\n */\nexport function offsetBrep(...args: unknown[]): Result<BrepHandle> {\n  const [shape, distance, options] = resolveArgs(args, OFFSET_PARAMS)\n  const s = brepHandleOf(shape)\n  const d = Number(distance)\n  if (Math.abs(d) < 1e-10) {\n    return err(validationError('ZERO_OFFSET', 'Offset distance cannot be zero'))\n  }\n  const tolerance = ((options ?? {}) as { tolerance?: number }).tolerance ?? 1e-6\n  try {\n    const h = getOcctKernel().offset(s as never, d, tolerance)\n    return ok(h as unknown as BrepHandle)\n  } catch (e) {\n    const raw = e instanceof Error ? e.message : String(e)\n    return err(kernelError('OFFSET_FAILED', `Offset operation failed: ${raw}`, e))\n  }\n}\n"]}
+{"version":3,"file":"topologyFns.js","sourceRoot":"","sources":["../../../src/api/brep-mirror/topologyFns.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;GAeG;AAGH,OAAO,EAAE,UAAU,EAAE,MAAM,0BAA0B,CAAA;AACrD,OAAO,EAAE,EAAE,EAAE,GAAG,EAAe,MAAM,qBAAqB,CAAA;AAC1D,OAAO,EAAE,WAAW,EAAE,eAAe,EAAE,MAAM,qBAAqB,CAAA;AAElE,OAAO,EAAE,WAAW,EAAE,MAAM,4BAA4B,CAAA;AAExD,OAAO,EAAE,YAAY,EAAE,aAAa,EAAE,YAAY,EAAE,cAAc,EAAE,iBAAiB,EAAE,MAAM,eAAe,CAAA;AAC5G,OAAO,EAAE,aAAa,EAAE,MAAM,8BAA8B,CAAA;AAE5D,MAAM,iBAAiB,GAAG,mBAAmB,CAAA;AAQ7C,SAAS,gBAAgB,CACvB,KAAkB;IAElB,IAAI,QAAQ,IAAI,KAAK,EAAE,CAAC;QACtB,OAAO,EAAE,CAAC,EAAE,MAAM,EAAE,KAAK,CAAC,MAAM,EAAE,WAAW,EAAE,KAAK,CAAC,WAAW,EAAE,CAAC,CAAA;IACrE,CAAC;IACD,MAAM,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,GAAG,KAAK,CAAA;IAC9B,MAAM,GAAG,GAAG,KAAK,CAAA;IACjB,IAAI,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,GAAG,GAAG,IAAI,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,GAAG,GAAG,IAAI,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,GAAG,GAAG,IAAI,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,GAAG,EAAE,CAAC;QACzG,OAAO,GAAG,CACR,eAAe,CACb,iBAAiB,EACjB,oCAAoC,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,KAAK,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,KAAK,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,KAAK,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,kDAAkD,CAC1J,CACF,CAAA;IACH,CAAC;IACD,OAAO,EAAE,CAAC;QACR,MAAM,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC;QACvE,WAAW,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC;KACnC,CAAC,CAAA;AACJ,CAAC;AAED,SAAS,MAAM,CAAC,CAAY;IAC1B,OAAO,CACL,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;QAClC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;QAClC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CACnC,CAAA;AACH,CAAC;AAED,8EAA8E;AAC9E,cAAc;AACd,8EAA8E;AAE9E,MAAM,mBAAmB,GAAG,EAAE,IAAI,EAAE,aAAa,EAAE,MAAM,EAAE,CAAC,OAAO,EAAE,QAAQ,CAAC,EAAE,SAAS,EAAE,GAAgB,EAAE,CAAA;AAE7G;;;;;;;;;;GAUG;AACH,MAAM,UAAU,eAAe,CAAC,GAAG,IAAe;IAChD,MAAM,CAAC,KAAK,EAAE,MAAM,CAAC,GAAG,WAAW,CAAC,IAAI,EAAE,mBAAmB,CAAC,CAAA;IAC9D,MAAM,MAAM,GAAG,gBAAgB,CAAC,MAAqB,CAAC,CAAA;IACtD,IAAI,CAAC,MAAM,CAAC,EAAE;QAAE,OAAO,MAAM,CAAA;IAC7B,MAAM,EAAE,MAAM,EAAE,WAAW,EAAE,GAAG,MAAM,CAAC,KAAK,CAAA;IAC5C,IAAI,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,GAAG,KAAK,EAAE,CAAC;QACrC,OAAO,GAAG,CACR,eAAe,CACb,iBAAiB,EACjB,yFAAyF,CAC1F,CACF,CAAA;IACH,CAAC;IACD,MAAM,MAAM,GAAG,UAAU,EAAE,CAAA;IAC3B,IAAI,CAAC;QACH,MAAM,GAAG,GAAG;YACV,MAAM,CAAC,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC,EAAE,WAAW,CAAC,CAAC,CAAC;YAC/C,MAAM,CAAC,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC,EAAE,WAAW,CAAC,CAAC,CAAC;YAC/C,MAAM,CAAC,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC,EAAE,WAAW,CAAC,CAAC,CAAC;SAChD,CAAA;QACD,uEAAuE;QACvE,6DAA6D;QAC7D,gEAAgE;QAChE,gEAAgE;QAChE,gEAAgE;QAChE,8DAA8D;QAC9D,oEAAoE;QACpE,MAAM,GAAG,GAAG,MAA2F,CAAA;QACvG,MAAM,EAAE,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAA;QAC7C,MAAM,EAAE,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAA;QAC7C,MAAM,EAAE,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAA;QAC7C,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,GAAG,CAAC,CAAC,CAAC,GAAG,GAAG,CAAC,CAAC,CAAC,GAAG,GAAG,CAAC,CAAC,CAAC,GAAG,GAAG,CAAC,CAAC,CAAC,GAAG,GAAG,CAAC,CAAC,CAAC,CAAC,CAAA;QAC3E,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,GAAG,CAAC,CAAC,CAAC,GAAG,GAAG,CAAC,CAAC,CAAC,GAAG,GAAG,CAAC,CAAC,CAAC,GAAG,GAAG,CAAC,CAAC,CAAC,GAAG,GAAG,CAAC,CAAC,CAAC,CAAC,CAAA;QAC3E,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,GAAG,CAAC,CAAC,CAAC,GAAG,GAAG,CAAC,CAAC,CAAC,GAAG,GAAG,CAAC,CAAC,CAAC,GAAG,GAAG,CAAC,CAAC,CAAC,GAAG,GAAG,CAAC,CAAC,CAAC,CAAC,CAAA;QAC3E,MAAM,GAAG,GAAG,IAAI,CAAA;QAChB,MAAM,OAAO,GACX,EAAE,GAAG,GAAG,IAAI,IAAI,CAAC,GAAG,CAAC,EAAE,GAAG,EAAE,CAAC,GAAG,GAAG,IAAI,IAAI,CAAC,GAAG,CAAC,EAAE,GAAG,EAAE,CAAC,GAAG,GAAG;YAC9D,KAAK,GAAG,GAAG,IAAI,KAAK,GAAG,GAAG,IAAI,KAAK,GAAG,GAAG,CAAA;QAC3C,OAAO,EAAE,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,SAAS,CAAC,YAAY,CAAC,KAAK,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,gBAAgB,CAAC,YAAY,CAAC,KAAK,CAAC,EAAE,GAAG,CAAC,CAAC,CAAA;IACrH,CAAC;IAAC,OAAO,CAAC,EAAE,CAAC;QACX,OAAO,GAAG,CACR,WAAW,CACT,qBAAqB,EACrB,yCAAyC,CAAC,YAAY,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EACrF,CAAC,CACF,CACF,CAAA;IACH,CAAC;AACH,CAAC;AAED,8EAA8E;AAC9E,QAAQ;AACR,8EAA8E;AAE9E,MAAM,YAAY,GAAG,EAAE,IAAI,EAAE,OAAO,EAAE,MAAM,EAAE,CAAC,OAAO,CAAC,EAAE,SAAS,EAAE,GAAgB,EAAE,CAAA;AAEtF;;;;;GAKG;AACH,MAAM,UAAU,SAAS,CAAC,GAAG,IAAe;IAC1C,MAAM,CAAC,KAAK,CAAC,GAAG,WAAW,CAAC,IAAI,EAAE,YAAY,CAAC,CAAA;IAC/C,MAAM,MAAM,GAAG,UAAU,EAAE,CAAA;IAC3B,IAAI,CAAC;QACH,OAAO,EAAE,CAAC,MAAM,CAAC,SAAS,CAAC,YAAY,CAAC,KAAK,CAAC,CAAC,CAAC,CAAA;IAClD,CAAC;IAAC,OAAO,CAAC,EAAE,CAAC;QACX,OAAO,GAAG,CACR,WAAW,CACT,cAAc,EACd,8BAA8B,CAAC,YAAY,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAC1E,CAAC,CACF,CACF,CAAA;IACH,CAAC;AACH,CAAC;AAED,8EAA8E;AAC9E,SAAS;AACT,8EAA8E;AAE9E,MAAM,aAAa,GAAG,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,EAAE,CAAC,OAAO,EAAE,WAAW,CAAC,EAAE,SAAS,EAAE,GAAgB,EAAE,CAAA;AAMrG,SAAS,UAAU,CAAC,EAAe;IACjC,IAAI,EAAE,CAAC,IAAI,KAAK,WAAW;QAAE,OAAO,iBAAiB,CAAC,EAAE,CAAC,CAAC,CAAC,CAAA;IAC3D,MAAM,IAAI,GAAG,EAAE,CAAC,IAAI,IAAI,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAA;IACjC,MAAM,MAAM,GAAG,EAAE,CAAC,MAAM,IAAI,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAA;IACrC,OAAO,cAAc,CAAC,IAAY,EAAE,MAAc,EAAE,EAAE,CAAC,KAAK,CAAC,CAAA;AAC/D,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,UAAU,CAAC,GAAG,IAAe;IAC3C,MAAM,CAAC,KAAK,EAAE,SAAS,CAAC,GAAG,WAAW,CAAC,IAAI,EAAE,aAAa,CAAC,CAAA;IAC3D,MAAM,GAAG,GACP,SAAS,KAAK,IAAI,IAAI,OAAO,SAAS,KAAK,QAAQ,IAAI,MAAM,IAAK,SAAoB;QACpF,CAAC,CAAC,CAAC,SAAwB,CAAC;QAC5B,CAAC,CAAE,SAAoC,CAAA;IAC3C,MAAM,MAAM,GAAG,UAAU,EAAE,CAAA;IAC3B,IAAI,CAAC;QACH,IAAI,GAAG,GAAa,CAAC,GAAG,YAAY,CAAC,CAAA;QACrC,KAAK,MAAM,EAAE,IAAI,GAAG;YAAE,GAAG,GAAG,aAAa,CAAC,GAAG,EAAE,UAAU,CAAC,EAAE,CAAC,CAAC,CAAA;QAC9D,OAAO,EAAE,CAAC,MAAM,CAAC,MAAM,CAAC,YAAY,CAAC,KAAK,CAAC,EAAE,GAAG,CAAC,CAAC,CAAA;IACpD,CAAC;IAAC,OAAO,CAAC,EAAE,CAAC;QACX,OAAO,GAAG,CACR,WAAW,CACT,eAAe,EACf,iCAAiC,CAAC,YAAY,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAC7E,CAAC,CACF,CACF,CAAA;IACH,CAAC;AACH,CAAC;AAED,8EAA8E;AAC9E,SAAS;AACT,8EAA8E;AAE9E,MAAM,aAAa,GAAG,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,EAAE,CAAC,OAAO,EAAE,SAAS,CAAC,EAAE,SAAS,EAAE,GAAgB,EAAE,CAAA;AAEnG;;;;;GAKG;AACH,MAAM,UAAU,UAAU,CAAC,GAAG,IAAe;IAC3C,MAAM,CAAC,KAAK,EAAE,OAAO,CAAC,GAAG,WAAW,CAAC,IAAI,EAAE,aAAa,CAAC,CAAA;IACzD,MAAM,IAAI,GAAG,CAAC,OAAO,IAAI,EAAE,CAAiC,CAAA;IAC5D,MAAM,MAAM,GAAG,IAAI,CAAC,MAAM,IAAI,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAA;IACvC,MAAM,EAAE,GAAG,IAAI,CAAC,EAAE,IAAI,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAA;IAC/B,MAAM,MAAM,GAAG,UAAU,EAAE,CAAA;IAC3B,IAAI,CAAC;QACH,OAAO,EAAE,CAAC,MAAM,CAAC,MAAM,CAAC,YAAY,CAAC,KAAK,CAAC,EAAE,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAA;IAC/H,CAAC;IAAC,OAAO,CAAC,EAAE,CAAC;QACX,OAAO,GAAG,CACR,WAAW,CACT,eAAe,EACf,iCAAiC,CAAC,YAAY,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAC7E,CAAC,CACF,CACF,CAAA;IACH,CAAC;AACH,CAAC;AAGD,8EAA8E;AAC9E,wJAAwJ;AAExJ,MAAM,aAAa,GAAG,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,EAAE,CAAC,OAAO,EAAE,OAAO,EAAE,SAAS,CAAC,EAAE,SAAS,EAAE,GAAgB,EAAE,CAAA;AAE5G;;;;;GAKG;AACH,MAAM,UAAU,UAAU,CAAC,GAAG,IAAe;IAC3C,MAAM,CAAC,KAAK,EAAE,KAAK,EAAE,OAAO,CAAC,GAAG,WAAW,CAAC,IAAI,EAAE,aAAa,CAAC,CAAA;IAChE,MAAM,CAAC,GAAG,YAAY,CAAC,KAAK,CAAC,CAAA;IAC7B,MAAM,EAAE,EAAE,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,IAAI,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,GAAG,CAAC,OAAO,IAAI,EAAE,CAA+B,CAAA;IAC1F,IAAI,CAAC;QACH,0EAA0E;QAC1E,uEAAuE;QACvE,uEAAuE;QACvE,8EAA8E;QAC9E,uFAAuF;QACvF,gFAAgF;QAChF,sDAAsD;QACtD,MAAM,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,GAAG,IAAyC,CAAA;QAC9D,MAAM,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,CAAA;QACnC,IAAI,IAAI,GAAG,KAAK,EAAE,CAAC;YACjB,OAAO,GAAG,CAAC,eAAe,CAAC,cAAc,EAAE,uCAAuC,EAAE,KAAK,EAAE,KAAK,EAAE,GAAG,CAAC,CAAC,CAAA;QACzG,CAAC;QACD,MAAM,EAAE,GAAG,EAAE,GAAG,IAAI,EAAE,EAAE,GAAG,EAAE,GAAG,IAAI,EAAE,EAAE,GAAG,EAAE,GAAG,IAAI,CAAA;QACpD,MAAM,KAAK,GAAG,CAAC,MAAM,CAAC,KAAK,CAAC,GAAG,IAAI,CAAC,EAAE,CAAC,GAAG,GAAG,CAAA;QAC7C,MAAM,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,GAAG,CAAC,GAAG,CAAC,CAAA;QAC9D,oCAAoC;QACpC,MAAM,GAAG,GAAG,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,EAAM,GAAG,GAAG,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,MAAM,EAAE,GAAG,GAAG,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,MAAM,CAAA;QACjG,MAAM,GAAG,GAAG,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,MAAM,EAAE,GAAG,GAAG,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,EAAM,GAAG,GAAG,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,MAAM,CAAA;QACjG,MAAM,GAAG,GAAG,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,MAAM,EAAE,GAAG,GAAG,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,MAAM,EAAE,GAAG,GAAG,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,CAAA;QAC7F,MAAM,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,GAAG,EAAuC,CAAA;QAC5D,wEAAwE;QACxE,MAAM,EAAE,GAAG,EAAE,GAAG,CAAC,GAAG,GAAG,EAAE,GAAG,GAAG,GAAG,EAAE,GAAG,GAAG,GAAG,EAAE,CAAC,CAAA;QAChD,MAAM,EAAE,GAAG,EAAE,GAAG,CAAC,GAAG,GAAG,EAAE,GAAG,GAAG,GAAG,EAAE,GAAG,GAAG,GAAG,EAAE,CAAC,CAAA;QAChD,MAAM,EAAE,GAAG,EAAE,GAAG,CAAC,GAAG,GAAG,EAAE,GAAG,GAAG,GAAG,EAAE,GAAG,GAAG,GAAG,EAAE,CAAC,CAAA;QAChD,MAAM,GAAG,GAAG,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,EAAE,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,EAAE,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,EAAE,CAAC,CAAA;QACrE,OAAO,EAAE,CAAC,UAAU,EAAE,CAAC,SAAS,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAA;IAC3C,CAAC;IAAC,OAAO,CAAC,EAAE,CAAC;QACX,MAAM,GAAG,GAAG,CAAC,YAAY,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAA;QACtD,OAAO,GAAG,CAAC,WAAW,CAAC,eAAe,EAAE,4BAA4B,GAAG,EAAE,EAAE,CAAC,CAAC,CAAC,CAAA;IAChF,CAAC;AACH,CAAC;AAED,8EAA8E;AAC9E,oJAAoJ;AAEpJ,MAAM,YAAY,GAAG,EAAE,IAAI,EAAE,OAAO,EAAE,MAAM,EAAE,CAAC,OAAO,EAAE,OAAO,EAAE,WAAW,EAAE,SAAS,CAAC,EAAE,SAAS,EAAE,GAAgB,EAAE,CAAA;AAEvH;;;;;GAKG;AACH,MAAM,UAAU,SAAS,CAAC,GAAG,IAAe;IAC1C,MAAM,CAAC,KAAK,EAAE,KAAK,EAAE,SAAS,EAAE,OAAO,CAAC,GAAG,WAAW,CAAC,IAAI,EAAE,YAAY,CAAC,CAAA;IAC1E,MAAM,MAAM,GAAG,UAAU,EAAE,CAAA;IAC3B,MAAM,CAAC,GAAG,YAAY,CAAC,KAAK,CAAC,CAAA;IAC7B,MAAM,CAAC,GAAG,MAAM,CAAC,SAAS,CAAC,CAAA;IAC3B,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;QACX,OAAO,GAAG,CAAC,eAAe,CAAC,mBAAmB,EAAE,kCAAkC,CAAC,CAAC,CAAA;IACtF,CAAC;IACD,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAChD,OAAO,GAAG,CAAC,eAAe,CAAC,UAAU,EAAE,+CAA+C,CAAC,CAAC,CAAA;IAC1F,CAAC;IACD,MAAM,WAAW,GAAI,KAAmB,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,CAAA;IACpE,MAAM,SAAS,GAAI,CAAC,OAAO,IAAI,EAAE,CAA4B,CAAC,SAAS,IAAI,IAAI,CAAA;IAC/E,IAAI,CAAC;QACH,OAAO,EAAE,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,EAAE,WAAW,EAAE,CAAC,EAAE,SAAS,CAAC,CAAC,CAAA;IACvD,CAAC;IAAC,OAAO,CAAC,EAAE,CAAC;QACX,MAAM,GAAG,GAAG,CAAC,YAAY,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAA;QACtD,OAAO,GAAG,CAAC,WAAW,CAAC,cAAc,EAAE,2BAA2B,GAAG,EAAE,EAAE,CAAC,CAAC,CAAC,CAAA;IAC9E,CAAC;AACH,CAAC;AAED,8EAA8E;AAC9E,wJAAwJ;AAExJ,MAAM,aAAa,GAAG,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,EAAE,CAAC,OAAO,EAAE,UAAU,EAAE,SAAS,CAAC,EAAE,SAAS,EAAE,GAAgB,EAAE,CAAA;AAE/G;;;;;GAKG;AACH,MAAM,UAAU,UAAU,CAAC,GAAG,IAAe;IAC3C,MAAM,CAAC,KAAK,EAAE,QAAQ,EAAE,OAAO,CAAC,GAAG,WAAW,CAAC,IAAI,EAAE,aAAa,CAAC,CAAA;IACnE,MAAM,CAAC,GAAG,YAAY,CAAC,KAAK,CAAC,CAAA;IAC7B,MAAM,CAAC,GAAG,MAAM,CAAC,QAAQ,CAAC,CAAA;IAC1B,IAAI,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,KAAK,EAAE,CAAC;QACxB,OAAO,GAAG,CAAC,eAAe,CAAC,aAAa,EAAE,gCAAgC,CAAC,CAAC,CAAA;IAC9E,CAAC;IACD,MAAM,SAAS,GAAI,CAAC,OAAO,IAAI,EAAE,CAA4B,CAAC,SAAS,IAAI,IAAI,CAAA;IAC/E,IAAI,CAAC;QACH,MAAM,CAAC,GAAG,aAAa,EAAE,CAAC,MAAM,CAAC,CAAU,EAAE,CAAC,EAAE,SAAS,CAAC,CAAA;QAC1D,OAAO,EAAE,CAAC,CAA0B,CAAC,CAAA;IACvC,CAAC;IAAC,OAAO,CAAC,EAAE,CAAC;QACX,MAAM,GAAG,GAAG,CAAC,YAAY,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAA;QACtD,OAAO,GAAG,CAAC,WAAW,CAAC,eAAe,EAAE,4BAA4B,GAAG,EAAE,EAAE,CAAC,CAAC,CAAC,CAAA;IAChF,CAAC;AACH,CAAC","sourcesContent":["/**\n * Self-hosted compat-op implementations — topology transform family\n * (core-decouple Phase 3, §5.4).\n *\n * @platform occt\n *\n * Each export is a \"brep-shaped\" implementation consumed by the generated\n * compat-op projection (defineOp + D11 arg normalization). Inputs are the\n * normalized positional arguments of the op's params table; shapes arrive as\n * faijs Shapes (or raw handles) and results are returned as BREP handles\n * (wrapped by `wrapBrepOne` → `fromHandle`).\n *\n * Semantics mirror the vendored brepjs fns (`topology/transformFns.ts`,\n * `topology/shapeFns.ts`) with the brepjs object model (castResultShape,\n * metadata propagation, evolution tracking) dropped: occt-wasm handles only.\n */\n\nimport type { BrepHandle } from '../../brep/engine/types'\nimport { getBrepApi } from '../../brep/handle-bridge'\nimport { ok, err, type Result } from '../../result/result'\nimport { kernelError, validationError } from '../../result/errors'\nimport type { FormClass } from '../internal/dual-form-args'\nimport { resolveArgs } from '../internal/dual-form-args'\nimport type { MatrixInput, Vec3 } from '../brepjs-compat/types'\nimport { brepHandleOf, composeAffine, IDENTITY_3X4, rotationMatrix, translationMatrix } from './brepHelpers'\nimport { getOcctKernel } from '../../occt-kernel/occtKernel'\n\nconst VALIDATION_FAILED = 'VALIDATION_FAILED'\n\n// ---------------------------------------------------------------------------\n// Matrix input parsing (vendored `parseMatrixInput` / `det3x3`)\n// ---------------------------------------------------------------------------\n\ntype Linear3x3 = readonly [number, number, number, number, number, number, number, number, number]\n\nfunction parseMatrixInput(\n  input: MatrixInput,\n): Result<{ linear: Linear3x3; translation: readonly [number, number, number] }> {\n  if ('linear' in input) {\n    return ok({ linear: input.linear, translation: input.translation })\n  }\n  const [r0, r1, r2, r3] = input\n  const TOL = 1e-10\n  if (Math.abs(r3[0]) > TOL || Math.abs(r3[1]) > TOL || Math.abs(r3[2]) > TOL || Math.abs(r3[3] - 1) > TOL) {\n    return err(\n      validationError(\n        VALIDATION_FAILED,\n        `applyMatrix: invalid bottom row [${String(r3[0])}, ${String(r3[1])}, ${String(r3[2])}, ${String(r3[3])}]. Must be [0, 0, 0, 1] for an affine transform.`,\n      ),\n    )\n  }\n  return ok({\n    linear: [r0[0], r0[1], r0[2], r1[0], r1[1], r1[2], r2[0], r2[1], r2[2]],\n    translation: [r0[3], r1[3], r2[3]],\n  })\n}\n\nfunction det3x3(m: Linear3x3): number {\n  return (\n    m[0] * (m[4] * m[8] - m[5] * m[7]) -\n    m[1] * (m[3] * m[8] - m[5] * m[6]) +\n    m[2] * (m[3] * m[7] - m[4] * m[6])\n  )\n}\n\n// ---------------------------------------------------------------------------\n// applyMatrix\n// ---------------------------------------------------------------------------\n\nconst APPLY_MATRIX_PARAMS = { name: 'applyMatrix', params: ['shape', 'matrix'], formClass: 'A' as FormClass }\n\n/**\n * Apply a 4×4 affine matrix (OpenSCAD `multmatrix` equivalent).\n *\n * The vendored fn splits orthogonal (evolution-tracked) and non-orthogonal\n * (`gp_GTrsf`) paths; the core path uses the single L1 `generalTransform`\n * (occt-wasm `gp_GTrsf`, geometrically equivalent for both classes) since\n * `applyMatrix` carries identity naming and needs no face evolution.\n *\n * @param args - Resolved arguments (shape, matrix).\n * @returns The transformed shape as a `BrepHandle`.\n */\nexport function applyMatrixBrep(...args: unknown[]): Result<BrepHandle> {\n  const [shape, matrix] = resolveArgs(args, APPLY_MATRIX_PARAMS)\n  const parsed = parseMatrixInput(matrix as MatrixInput)\n  if (!parsed.ok) return parsed\n  const { linear, translation } = parsed.value\n  if (Math.abs(det3x3(linear)) < 1e-12) {\n    return err(\n      validationError(\n        VALIDATION_FAILED,\n        'applyMatrix: singular matrix (determinant ≈0). Cannot apply a non-invertible transform.',\n      ),\n    )\n  }\n  const kernel = getBrepApi()\n  try {\n    const m12 = [\n      linear[0], linear[1], linear[2], translation[0],\n      linear[3], linear[4], linear[5], translation[1],\n      linear[6], linear[7], linear[8], translation[2],\n    ]\n    // GOTCHA (2026-09-25): occt-wasm's `located`/`generalTransform` return\n    // TopLoc/GTrsf-referencing handles whose STEP export crashes\n    // (\"memory access out of bounds\") — only the affine `transform`\n    // (BRepBuilderAPI_Transform, deep-copy) is STEP-safe. A similar\n    // transform (orthogonal rows, equal lengths) is affine and goes\n    // through `transform`; genuinely non-affine matrices keep the\n    // generalTransform path (no current caller, pre-existing behavior).\n    const lin = linear as readonly [number, number, number, number, number, number, number, number, number]\n    const s0 = Math.hypot(lin[0], lin[1], lin[2])\n    const s1 = Math.hypot(lin[3], lin[4], lin[5])\n    const s2 = Math.hypot(lin[6], lin[7], lin[8])\n    const dot01 = Math.abs(lin[0] * lin[3] + lin[1] * lin[4] + lin[2] * lin[5])\n    const dot02 = Math.abs(lin[0] * lin[6] + lin[1] * lin[7] + lin[2] * lin[8])\n    const dot12 = Math.abs(lin[3] * lin[6] + lin[4] * lin[7] + lin[5] * lin[8])\n    const TOL = 1e-9\n    const similar =\n      s0 > TOL && Math.abs(s1 - s0) < TOL && Math.abs(s2 - s0) < TOL &&\n      dot01 < TOL && dot02 < TOL && dot12 < TOL\n    return ok(similar ? kernel.transform(brepHandleOf(shape), m12) : kernel.generalTransform(brepHandleOf(shape), m12))\n  } catch (e) {\n    return err(\n      kernelError(\n        'APPLY_MATRIX_FAILED',\n        `applyMatrix: kernel transform failed: ${e instanceof Error ? e.message : String(e)}`,\n        e,\n      ),\n    )\n  }\n}\n\n// ---------------------------------------------------------------------------\n// clone\n// ---------------------------------------------------------------------------\n\nconst CLONE_PARAMS = { name: 'clone', params: ['shape'], formClass: 'A' as FormClass }\n\n/**\n * Deep-copy a shape (`kernel.copyShape`).\n *\n * @param args - Resolved arguments (shape).\n * @returns The cloned shape as a `BrepHandle`.\n */\nexport function cloneBrep(...args: unknown[]): Result<BrepHandle> {\n  const [shape] = resolveArgs(args, CLONE_PARAMS)\n  const kernel = getBrepApi()\n  try {\n    return ok(kernel.copyShape(brepHandleOf(shape)))\n  } catch (e) {\n    return err(\n      kernelError(\n        'CLONE_FAILED',\n        `clone: kernel copy failed: ${e instanceof Error ? e.message : String(e)}`,\n        e,\n      ),\n    )\n  }\n}\n\n// ---------------------------------------------------------------------------\n// locate\n// ---------------------------------------------------------------------------\n\nconst LOCATE_PARAMS = { name: 'locate', params: ['shape', 'placement'], formClass: 'A' as FormClass }\n\ntype TransformOp =\n  | { readonly type: 'translate'; readonly v: Vec3 }\n  | { readonly type: 'rotate'; readonly angle: number; readonly axis?: Vec3; readonly center?: Vec3 }\n\nfunction opToMatrix(op: TransformOp): number[] {\n  if (op.type === 'translate') return translationMatrix(op.v)\n  const axis = op.axis ?? [0, 0, 1]\n  const center = op.center ?? [0, 0, 0]\n  return rotationMatrix(axis as Vec3, center as Vec3, op.angle)\n}\n\n/**\n * Placement-only rigid move (translate/rotate) via the kernel's cheap location\n * re-tag. Ops apply first-to-last (rotate then translate).\n *\n * @param args - Resolved arguments (shape, placement).\n * @returns The relocated shape as a `BrepHandle`.\n */\nexport function locateBrep(...args: unknown[]): Result<BrepHandle> {\n  const [shape, placement] = resolveArgs(args, LOCATE_PARAMS)\n  const ops: readonly TransformOp[] =\n    placement !== null && typeof placement === 'object' && 'type' in (placement as object)\n      ? [placement as TransformOp]\n      : (placement as readonly TransformOp[])\n  const kernel = getBrepApi()\n  try {\n    let acc: number[] = [...IDENTITY_3X4]\n    for (const op of ops) acc = composeAffine(acc, opToMatrix(op))\n    return ok(kernel.locate(brepHandleOf(shape), acc))\n  } catch (e) {\n    return err(\n      kernelError(\n        'LOCATE_FAILED',\n        `locate: kernel locate failed: ${e instanceof Error ? e.message : String(e)}`,\n        e,\n      ),\n    )\n  }\n}\n\n// ---------------------------------------------------------------------------\n// mirror\n// ---------------------------------------------------------------------------\n\nconst MIRROR_PARAMS = { name: 'mirror', params: ['shape', 'options'], formClass: 'A' as FormClass }\n\n/**\n * Mirror across a plane defined by `options.at` (origin) and `options.normal`.\n *\n * @param args - Resolved arguments (shape, mirror options).\n * @returns The mirrored shape as a `BrepHandle`.\n */\nexport function mirrorBrep(...args: unknown[]): Result<BrepHandle> {\n  const [shape, options] = resolveArgs(args, MIRROR_PARAMS)\n  const opts = (options ?? {}) as { normal?: Vec3; at?: Vec3 }\n  const normal = opts.normal ?? [1, 0, 0]\n  const at = opts.at ?? [0, 0, 0]\n  const kernel = getBrepApi()\n  try {\n    return ok(kernel.mirror(brepHandleOf(shape), { x: at[0], y: at[1], z: at[2] }, { x: normal[0], y: normal[1], z: normal[2] }))\n  } catch (e) {\n    return err(\n      kernelError(\n        'MIRROR_FAILED',\n        `mirror: kernel mirror failed: ${e instanceof Error ? e.message : String(e)}`,\n        e,\n      ),\n    )\n  }\n}\n\n\n// ---------------------------------------------------------------------------\n// rotate — 绕轴旋转（vendored topology/api.js#rotate + transformFns.ts#rotate）// ---------------------------------------------------------------------------\n\nconst ROTATE_PARAMS = { name: 'rotate', params: ['shape', 'angle', 'options'], formClass: 'A' as FormClass }\n\n/**\n * Rotate the shape around an axis (vendored topology/api.js#rotate + transformFns.ts#rotate).\n *\n * @param args - Resolved arguments (shape, angle in degrees, axis options).\n * @returns The rotated shape as a `BrepHandle`.\n */\nexport function rotateBrep(...args: unknown[]): Result<BrepHandle> {\n  const [shape, angle, options] = resolveArgs(args, ROTATE_PARAMS)\n  const s = brepHandleOf(shape)\n  const { at = [0, 0, 0], axis = [0, 0, 1] } = (options ?? {}) as { at?: Vec3; axis?: Vec3 }\n  try {\n    // GOTCHA (2026-09-25): occt-wasm's native `rotate` returns a handle whose\n    // STEP export crashes (\"memory access out of bounds\") — same family as\n    // located/generalTransform. Rotation is affine, so build the Rodrigues\n    // matrix and go through the STEP-safe `transform` (BRepBuilderAPI_Transform).\n    // 2026-09-26: switched from getOcctKernel().transform to the L1 getBrepApi().transform\n    // so the op is engine-neutral (brepkit transform = cloneAndTransform deep-copy,\n    // same STEP-safe semantics) — see brepkit-batchA-fix.\n    const [ax, ay, az] = axis as readonly [number, number, number]\n    const alen = Math.hypot(ax, ay, az)\n    if (alen < 1e-12) {\n      return err(validationError('INVALID_AXIS', `rotate: axis must be non-zero, got [${ax}, ${ay}, ${az}]`))\n    }\n    const nx = ax / alen, ny = ay / alen, nz = az / alen\n    const theta = (Number(angle) * Math.PI) / 180\n    const c = Math.cos(theta), sTheta = Math.sin(theta), t = 1 - c\n    // R = cI + sK + t·(n⊗n) (Rodrigues)\n    const r00 = t * nx * nx + c,     r01 = t * nx * ny - nz * sTheta, r02 = t * nx * nz + ny * sTheta\n    const r10 = t * nx * ny + nz * sTheta, r11 = t * ny * ny + c,     r12 = t * ny * nz - nx * sTheta\n    const r20 = t * nx * nz - ny * sTheta, r21 = t * ny * nz + nx * sTheta, r22 = t * nz * nz + c\n    const [px, py, pz] = at as readonly [number, number, number]\n    // Pivot-preserving translation: p' = R·(p − at) + at  ⇒  tx = at − R·at\n    const tx = px - (r00 * px + r01 * py + r02 * pz)\n    const ty = py - (r10 * px + r11 * py + r12 * pz)\n    const tz = pz - (r20 * px + r21 * py + r22 * pz)\n    const m12 = [r00, r01, r02, tx, r10, r11, r12, ty, r20, r21, r22, tz]\n    return ok(getBrepApi().transform(s, m12))\n  } catch (e) {\n    const raw = e instanceof Error ? e.message : String(e)\n    return err(kernelError('ROTATE_FAILED', `Rotate operation failed: ${raw}`, e))\n  }\n}\n\n// ---------------------------------------------------------------------------\n// shell — 去面掏空（vendored topology/api.js#shell + modifierFns.ts#shell）// ---------------------------------------------------------------------------\n\nconst SHELL_PARAMS = { name: 'shell', params: ['shape', 'faces', 'thickness', 'options'], formClass: 'A' as FormClass }\n\n/**\n * Shell — hollow the shape by removing faces (vendored topology/api.js#shell + modifierFns.ts#shell).\n *\n * @param args - Resolved arguments (shape, faces, thickness, options).\n * @returns The shelled (hollowed) shape as a `BrepHandle`.\n */\nexport function shellBrep(...args: unknown[]): Result<BrepHandle> {\n  const [shape, faces, thickness, options] = resolveArgs(args, SHELL_PARAMS)\n  const kernel = getBrepApi()\n  const s = brepHandleOf(shape)\n  const t = Number(thickness)\n  if (t <= 0) {\n    return err(validationError('INVALID_THICKNESS', 'Shell thickness must be positive'))\n  }\n  if (!Array.isArray(faces) || faces.length === 0) {\n    return err(validationError('NO_FACES', 'At least one face must be specified for shell'))\n  }\n  const faceHandles = (faces as unknown[]).map((f) => brepHandleOf(f))\n  const tolerance = ((options ?? {}) as { tolerance?: number }).tolerance ?? 1e-3\n  try {\n    return ok(kernel.shell(s, faceHandles, t, tolerance))\n  } catch (e) {\n    const raw = e instanceof Error ? e.message : String(e)\n    return err(kernelError('SHELL_FAILED', `Shell operation failed: ${raw}`, e))\n  }\n}\n\n// ---------------------------------------------------------------------------\n// offset — 全表面偏移（vendored topology/api.js#offset + modifierFns.ts#offset）// ---------------------------------------------------------------------------\n\nconst OFFSET_PARAMS = { name: 'offset', params: ['shape', 'distance', 'options'], formClass: 'A' as FormClass }\n\n/**\n * Offset all faces of the shape (vendored topology/api.js#offset + modifierFns.ts#offset).\n *\n * @param args - Resolved arguments (shape, distance, options).\n * @returns The offset shape as a `BrepHandle`.\n */\nexport function offsetBrep(...args: unknown[]): Result<BrepHandle> {\n  const [shape, distance, options] = resolveArgs(args, OFFSET_PARAMS)\n  const s = brepHandleOf(shape)\n  const d = Number(distance)\n  if (Math.abs(d) < 1e-10) {\n    return err(validationError('ZERO_OFFSET', 'Offset distance cannot be zero'))\n  }\n  const tolerance = ((options ?? {}) as { tolerance?: number }).tolerance ?? 1e-6\n  try {\n    const h = getOcctKernel().offset(s as never, d, tolerance)\n    return ok(h as unknown as BrepHandle)\n  } catch (e) {\n    const raw = e instanceof Error ? e.message : String(e)\n    return err(kernelError('OFFSET_FAILED', `Offset operation failed: ${raw}`, e))\n  }\n}\n"]}

package/dist/api/chamfer.d.ts

@@ -1,18 +1,22 @@
 /**
  * stdlib chamfer — chamfer 倒角库函数（BREP-only，directEdit 能力）
  *
- * 平台分层（narrowing plan Phase 5，D11）：**平台 op（occt）**——`equal` 类型走
- * `chamferWithRoleTable`（→ face-evolution.ts 的 `chamferWithHistory`，occt-only，
- * D3 原生面），故整个 chamfer op 声明 `engines: ['occt']`；distanceAngle /
- * twoDistances 分支的 `chamferDistAngle` 是 L1 方法（brepkit 可跑），但 op 的
- * 引擎身份按最弱环节声明（D11：平台 op 非目标引擎下执行前报错）。
+ * 平台分层（2026-09-26 B 批降级）：**中立 op**（不再声明 `engines:['occt']`）。
+ * equal 分支按引擎能力**静态定轨**（与 intersect 同构，读 `dispatchPath` 同源的能力集）：
+ *   - occt（声明 `chamferWithHistory`）→ `chamferWithRoleTable`（→ face-evolution.ts 的
+ *     occt 原生 `chamferWithHistory`，D3 面演化 + roleTable 传播）——历史路径，不回退；
+ *   - brepkit（无 chamferWithHistory，但裸 `kernel.chamfer` 是真实现）→ L1 裸
+ *     `kernel.chamfer(solid, edges, width)`：几何正确，**无面演化、无 roleTable 传播**
+ *     （如实降级，不伪造恒等映射）。
+ * distanceAngle / twoDistances 分支本就走 L1 `kernel.chamferDistAngle`（brepkit 真实现，
+ * 度→弧度方言在 brepkitKernel 内消化）；occt 上仍挂 identityEvolution + 原 roleTable
+ * （既有行为，零回退），brepkit 上同样不伪造演化。
  *
  * 与 drill/engrave 的差异：没有 mesh 实现（defineOp({ brep })），输入非 BREP
- * 时由 dispatchPath 抛 E_MESH_UNSUPPORTED；mode='brep' 且引擎缺 directEdit 能力
- * → E_BREP_UNSUPPORTED（backend-dispatch.ts 单点判定）。
+ * 时由 dispatchPath 抛 E_MESH_UNSUPPORTED。
  *
  * 类型：
- * - equal（对称）：kernel.chamfer(solid, edges, width)
+ * - equal（对称）：occt→chamferWithHistory；brepkit→kernel.chamfer(solid, edges, width)
  * - distanceAngle：kernel.chamferDistAngle(solid, edges, width, angle)
  * - twoDistances（双距）：逐边按 §3.5 换算（width1,width2 + β → dF, θ），
  *     per-edge 调 kernel.chamferDistAngle；凹棱（β ≥ 180°）→ E_CHAMFER_REFLEX_EDGE。

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

@@ -1 +1 @@
-{"version":3,"file":"chamfer.d.ts","sourceRoot":"","sources":["../../src/api/chamfer.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;GAkBG;AAEH,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,eAAe,CAAA;AAO1C,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,2BAA2B,CAAA;AAE9D,OAAO,KAAK,EAAe,iBAAiB,EAAE,MAAM,oBAAoB,CAAA;AAQxE;;;;GAIG;AACH,wBAAgB,mBAAmB,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG,IAAI,CAuCzE;AAyCD;;;;;;;;;;;;GAYG;AACH,wBAAgB,aAAa,CAC3B,MAAM,EAAE,aAAa,EACrB,GAAG,EAAE,iBAAiB,EACtB,WAAW,EAAE,MAAM,EACnB,WAAW,EAAE,MAAM,EACnB,UAAU,EAAE,MAAM,EAClB,MAAM,EAAE,MAAM,EACd,MAAM,EAAE,MAAM,GACb;IAAE,QAAQ,EAAE,MAAM,CAAC;IAAC,QAAQ,EAAE,MAAM,CAAA;CAAE,CAgBxC;AAgGD;;;;;;;;;;;;;;;;;;GAkBG;AACH,eAAO,MAAM,OAAO;;CAUlB,CAAA"}
+{"version":3,"file":"chamfer.d.ts","sourceRoot":"","sources":["../../src/api/chamfer.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;GAsBG;AAEH,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,eAAe,CAAA;AAQ1C,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,2BAA2B,CAAA;AAE9D,OAAO,KAAK,EAAe,iBAAiB,EAAE,MAAM,oBAAoB,CAAA;AAQxE;;;;GAIG;AACH,wBAAgB,mBAAmB,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG,IAAI,CAuCzE;AAyCD;;;;;;;;;;;;GAYG;AACH,wBAAgB,aAAa,CAC3B,MAAM,EAAE,aAAa,EACrB,GAAG,EAAE,iBAAiB,EACtB,WAAW,EAAE,MAAM,EACnB,WAAW,EAAE,MAAM,EACnB,UAAU,EAAE,MAAM,EAClB,MAAM,EAAE,MAAM,EACd,MAAM,EAAE,MAAM,GACb;IAAE,QAAQ,EAAE,MAAM,CAAC;IAAC,QAAQ,EAAE,MAAM,CAAA;CAAE,CAgBxC;AAwHD;;;;;;;;;;;;;;;;;;GAkBG;AACH,eAAO,MAAM,OAAO;;CAQlB,CAAA"}