dsh-cad 0.15.0 → 0.15.1

package/README.md

@@ -41,7 +41,7 @@ Cumulative downloads from the npm registry, refreshed daily by CI:
 
 | Capability | Description |
 | --- | --- |
-| ⚙️ Kernel chain: cadorange → occt.ts → opencascade.js | Modeling goes through **[cadorange](https://github.com/LAU-MARS/cadorange)** (the agent-native CAD runtime wrapping the same occt.ts/OCCT WASM; public API + the supported `cadorange/occt` escape hatch for meshing/HLR/wire construction); the direct occt.ts adapter and opencascade.js stay as fallback tiers — `DSH_CAD_KERNEL` pins one explicitly. The old "no editing after shell" seam is gone — fillet/chamfer/boolean keep working after shelling |
+| ⚙️ Kernel chain: cadorange → occt.ts | Modeling goes through **[cadorange](https://github.com/LAU-MARS/cadorange)** (the agent-native CAD runtime wrapping the occt.ts/OCCT WASM; public API + the supported `cadorange/occt` escape hatch for meshing/HLR/wire construction); the direct occt.ts adapter stays as the fallback tier — `DSH_CAD_KERNEL` pins one explicitly (the opencascade.js tier was removed in v0.15.1, −64MB install). The old "no editing after shell" seam is gone — fillet/chamfer/boolean keep working after shelling |
 | 🔍 CAD viewing | STL / OBJ / STEP / IGES / BREP / DCPRT (3D), DXF / SVG (2D); interactive viewport in the resident right panel (orbit / zoom / wireframe / pan), with a one-line result row in the conversation |
 | 🌗 Dark-mode surfaces | Every rendered surface follows the host theme — viewport slab, DXF/drawing strokes, the Three.js grid / XYZ triad / feature edges / default mesh color / sketch overlays, and the ViewCube plate; a theme flip restyles mounted viewers live. Overrides: `--dsh-cad-bg`, `--dsh-cad-stroke`, `--dsh-cad-paper` |
 | 🧭 CAD editor interactions | Onshape-style ViewCube (26-zone click-to-orient), hover/click face & edge picking with live measurement (area mm² / length mm), Faces+Edges / Faces / Wireframe render modes, switchable BRep demo parts (bracket / flange / shaft) |
@@ -152,7 +152,7 @@ versioned URL), and the resident panel's "Part" tab tracks the latest model in r
 
 ## Connectors (roadmap)
 
-Modeling primarily runs on the **occt.ts kernel** (opencascade.js as the fallback backend) (OCCT in the browser —
+Modeling runs on the **occt.ts kernel** via cadorange (OCCT in the browser —
 zero install). The connectors below refer to **external CAD engines** acting as
 executors for the same tool family, planned for future support:
 
@@ -174,7 +174,7 @@ backend changes only the quality of the produced geometry.
 
 ```
 cad_view(path)                        modeling tools (cad_create_prim, …)
-  → import worker (occt-import-js)      → modeling worker (opencascade.js WASM)
+  → import worker (occt-import-js)      → modeling worker (occt.ts WASM via cadorange)
   → CadScene JSON (base64-f32)          → exact BRep geometry + meshing
   → GET /dsh-cad/scene/<id>            → in-memory binary scene (f32/u32 packed)
                                         → GET /dsh-cad/bin/<docId>
@@ -183,9 +183,7 @@ cad_view(path)                        modeling tools (cad_create_prim, …)
 ```
 
 - **Two workers**: import (occt-import-js, read-only STEP/IGES/BREP) and modeling
-  (opencascade.js, full OCCT) are separate, both lazily started; the `_N`
-  suffix convention of embind overloaded constructors is wrapped in
-  `src/modeling/occt-adapter.cjs` (all verified at runtime)
+  (cadorange over the occt.ts wasm) are separate, both lazily started
 - **Zero-copy pipeline**: modeling scenes use zero base64 / zero large JSON arrays /
   zero per-step disk writes (disk mirror debounced 1.5s, replayed only on service
   restart); `cad_export` is the only explicit file export
@@ -193,7 +191,7 @@ cad_view(path)                        modeling tools (cad_create_prim, …)
   are restored by replay after a restart
 - **Drawing HLR kernel**: hidden lines run on **occt.ts** (npm dependency,
   `npm i occt.ts`) — true OCCT removal, no fallback engine, a missing kernel is
-  a hard error. New APIs over opencascade.js: `hiddenLines()` true hidden-line
+  a hard error. Kernel APIs: `hiddenLines()` true hidden-line
   removal, byte-level STEP/BRep `readStep`/`readBrep`/`writeStep`/`writeBrep`
   without MEMFS, tessellation with built-in feature-edge extraction, and a
   `hasError()`/`lastError()` error contract. Geometry crosses kernels as STEP
@@ -220,14 +218,13 @@ cad_view(path)                        modeling tools (cad_create_prim, …)
   fillet/chamfer/shell/draft/native mirror/centroid, plus the supported
   `cadorange/occt` escape hatch for viewer tessellation, engineering-drawing
   HLR (zero STEP hops, one wasm session) and wire construction); the direct
-  occt.ts adapter and opencascade.js stay as fallback tiers
-  (`DSH_CAD_KERNEL` pins one; see docs/cadorange-integration.md for the
-  verb-by-verb mapping). Editing after shelling is seamless.
-  opencascade.js remains as the FALLBACK backend (auto-selected when occt.ts
-  cannot load). Assembly STEP export writes a **structured document** (occt.ts
-  `writeStepDocument`): one root product plus one named, placed child
+  occt.ts adapter stays as the fallback tier (`DSH_CAD_KERNEL` pins one; see
+  docs/cadorange-integration.md for the verb-by-verb mapping). Editing after
+  shelling is seamless. Assembly STEP export writes a **structured document**
+  (cadorange
+  `exportStepAssembly`): one root product plus one named, placed child
   per instance — instance separation survives the file (STL stays a single
-  fused mesh; the fallback backend also fuses). Instance separation stays in
+  fused mesh). Instance separation stays in
   the assembly scene/document for the fuse paths.
   Face selection matches `describe()` plane normals (outermost along ±normal)
 - **Client**: esbuild single-file CJS factory (three.js inlined ~560KB, react provided
@@ -268,7 +265,6 @@ either theme:
 
 ```sh
 npm test                             # full suite: converters / modeling worker (exact volume assertions) / DCPRT round-trip / FreeCAD + Onshape executors / image profiles / binary pipeline / document persistence
-node test/m0-kernel-check.cjs        # OCCT kernel API smoke test
 node test/route-check.mjs            # JSON scene routing layer
 node test/visual/serve.mjs           # browser card/tab visual verification page (http://127.0.0.1:3987)
 ```

package/README.zh-CN.md

@@ -38,7 +38,7 @@ npm 官方源的累计下载量，由 CI 每日刷新：
 
 | 能力 | 说明 |
 | --- | --- |
-| ⚙️ 内核链：cadorange → occt.ts → opencascade.js | 建模经 **[cadorange](https://github.com/LAU-MARS/cadorange)**（agent 原生 CAD 运行时，底层同一 occt.ts/OCCT WASM；公共 API + 官方 `cadorange/occt` 逃生口承担网格/HLR/线构造），occt.ts 直连与 opencascade.js 保留为回退层级——`DSH_CAD_KERNEL` 可显式指定。旧版的「抽壳后不可编辑」接缝消失——抽壳/拔模后可继续圆角/倒角/布尔 |
+| ⚙️ 内核链：cadorange → occt.ts | 建模经 **[cadorange](https://github.com/LAU-MARS/cadorange)**（agent 原生 CAD 运行时，底层 occt.ts/OCCT WASM；公共 API + 官方 `cadorange/occt` 逃生口承担网格/HLR/线构造），occt.ts 直连保留为回退层级——`DSH_CAD_KERNEL` 可显式指定（opencascade.js 档已于 v0.15.1 移除，安装体积 −64MB）。旧版的「抽壳后不可编辑」接缝消失——抽壳/拔模后可继续圆角/倒角/布尔 |
 | 🔍 CAD 查看 | STL / OBJ / STEP / IGES / BREP / DCPRT（3D），DXF / SVG（2D），右侧常驻面板交互视口（轨道旋转 / 缩放 / 线框 / 平移），对话中只留一行结果摘要 |
 | 🌗 深色模式绘制面 | 所有绘制面跟随宿主主题——视口底板、DXF/工程图描边、Three.js 网格 / XYZ 轴 / 特征边 / 默认网格色 / 草图覆盖层，以及 ViewCube 面板；主题切换实时重绘已挂载的查看器。覆盖钩子：`--dsh-cad-bg`、`--dsh-cad-stroke`、`--dsh-cad-paper` |
 | 🧭 CAD 编辑器交互 | Onshape 风格 ViewCube（26 区域点击定向）、悬停/点选面与边实时测量（面积 mm² / 长度 mm）、面+边 / 面 / 线框三种渲染模式、支架 / 法兰 / 轴 BRep 示例件一键切换 |
@@ -146,7 +146,7 @@ patch 内容以包根目录的 `cordis.patch.yml` 随包分发，安装器经同
 
 ## 连接器（规划中）
 
-建模主要由 **occt.ts** 内核承担（opencascade.js 为降级后端）（浏览器内的 OCCT 内核，零安装）；
+建模经 **cadorange** 跑在 **occt.ts** 内核上（浏览器内的 OCCT 内核，零安装）；
 下表连接器指未来以**外部 CAD 引擎作为执行器**驱动同一工具族：
 
 | 连接器 | 套件 | 平台 | 状态 |
@@ -166,7 +166,7 @@ WebGL 显示层因此永不改变——更换后端只影响生成几何的质
 
 ```
 cad_view(path)                        建模工具（cad_create_prim 等）
-  → 导入 worker（occt-import-js）       → 建模 worker（opencascade.js WASM）
+  → 导入 worker（occt-import-js）       → 建模 worker（cadorange / occt.ts WASM）
   → CadScene JSON（base64-f32）         → BRep 精确几何 + 网格化
   → GET /dsh-cad/scene/<id>            → 内存二进制场景（f32/u32 打包）
                                         → GET /dsh-cad/bin/<docId>
@@ -174,14 +174,13 @@ cad_view(path)                        建模工具（cad_create_prim 等）
         浏览器卡片 + 常驻 "3D" 页签（three.js / SVG，Z-up，XYZ 轴）
 ```
 
-- **两个 worker**：导入（occt-import-js，只读 STEP/IGES/BREP）与建模（opencascade.js，
-  完整 OCCT）分离，均惰性启动；embind 重载构造器的 `_N` 后缀约定封装在
-  `src/modeling/occt-adapter.cjs`（全部经运行时实证）
+- **两个 worker**：导入（occt-import-js，只读 STEP/IGES/BREP）与建模（cadorange
+  over occt.ts wasm）分离，均惰性启动
 - **直通管道**：建模场景零 base64 / 零 JSON 大数组 / 零每步落盘（磁盘镜像 1.5s 防抖，
   仅服务重启回放）；`cad_export` 是唯一的显式文件导出
 - **建模文档**：`<workspace>/.dsh-cad/model.json` 操作日志，重启后重放恢复全部 body
 - **工程图消隐内核**：隐藏线由 **occt.ts**（npm 依赖，`npm i occt.ts`）执行
-  真实 OCCT 消隐，无替代引擎、缺失即报错。相对 opencascade.js 的新增 API：
+  真实 OCCT 消隐，无替代引擎、缺失即报错。内核 API：
   `hiddenLines()` 真实消隐线、STEP/BRep 字节级 `readStep`/`readBrep`/`writeStep`/
   `writeBrep`（无需 MEMFS）、自带特征边提取的网格化、`hasError()`/`lastError()`
   错误契约。几何以 STEP 字节跨内核交换，投影线段重映射进图纸坐标系。内核 dist
@@ -201,9 +200,9 @@ cad_view(path)                        建模工具（cad_create_prim 等）
   公共 API 承担 prims/曲线段轮廓（真 BSpline 插值）/放样/扫掠/旋转/布尔
   （默认同域清理）/圆角/倒角/抽壳/拔模/原生镜像/质心，官方 `cadorange/occt`
   逃生口承担查看器网格、工程图 HLR（零 STEP 中转、单一 wasm 会话）与线构造）；
-  occt.ts 直连与 opencascade.js 保留为回退层级（`DSH_CAD_KERNEL` 可显式指定，
-  动词级映射见 docs/cadorange-integration.md）。抽壳后继续编辑无缝。opencascade.js 保留为**降级后端**
-  （occt.ts 加载失败时自动启用）。装配体 STEP 导出为**结构化文档**（occt.ts
+  occt.ts 直连保留为回退层级（`DSH_CAD_KERNEL` 可显式指定，
+  动词级映射见 docs/cadorange-integration.md）。抽壳后继续编辑无缝。
+  装配体 STEP 导出为**结构化文档**（cadorange
   `writeStepDocument`）：一个根产品 + 每实例一个命名、带位姿的子产品——
   实例分离在文件中保留（STL 仍为单一熔合网格；降级后端同样走 fuse）。fuse
   路径下实例分离仅保留在装配场景/文档中。面选择按 `describe()` 平面法向
@@ -242,7 +241,6 @@ cad_view(path)                        建模工具（cad_create_prim 等）
 
 ```sh
 npm test                             # 全套：转换器 / 建模 worker（体积精确断言）/ DCPRT 往返 / FreeCAD + Onshape 执行器 / 图片轮廓 / 二进制管道 / 文档持久化
-node test/m0-kernel-check.cjs        # OCCT 内核 API 冒烟
 node test/route-check.mjs            # JSON 场景路由层
 node test/visual/serve.mjs           # 浏览器卡片/页签视觉验证页（http://127.0.0.1:3987）
 ```

package/lib/cad_connector/builtin.js

@@ -4,5 +4,5 @@ export const BUILTIN_CONNECTOR = {
     vendor: 'dsh-cad',
     language: 'webgl',
     status: 'built-in',
-    binding: 'opencascade.js 1.1.1 WASM worker; three.js typed-array rendering, zero install',
+    binding: 'cadorange/occt.ts WASM worker; three.js typed-array rendering, zero install',
 };

package/lib/modeling/cadorange-adapter.cjs

@@ -17,7 +17,7 @@
  * describe/volume/centroid and STEP/STL/STEP-assembly export.
  *
  * Opt-in backend: `DSH_CAD_KERNEL=cadorange`. The default chain stays
- * occt.ts → opencascade.js until this backend holds the parity gate.
+ * direct-occt.ts tier as the fallback (the opencascade.js tier was removed in v0.15.1).
  */
 'use strict'
 

package/lib/modeling/modeling-worker.cjs

@@ -13,7 +13,6 @@ const path = require('node:path')
 const fs = require('node:fs')
 const { createRequire } = require('node:module')
 const { pathToFileURL } = require('node:url')
-const { createAdapter } = require('./occt-adapter.cjs')
 const { createOcctTsAdapter } = require('./occtts-adapter.cjs')
 const { createOcctBridge, loadSharedOcctModule } = require('./occt-bridge.cjs')
 const { loadCadorange } = require('./cadorange-bridge.cjs')
@@ -23,11 +22,10 @@ const require3 = createRequire(__filename)
 // The ES6 emscripten build reads a global __dirname when its factory runs.
 if (typeof globalThis.__dirname === 'undefined') globalThis.__dirname = __dirname
 
-// Kernel selection: occt.ts is the PRIMARY backend (single-kernel modeling,
-// true B-splines, shell/draft native, direct HLR); opencascade.js stays as
-// the fallback when occt.ts cannot load. `adapter` carries whichever.
+// Kernel selection: cadorange is the primary backend (agent-native runtime
+// over the occt.ts wasm), the direct occt.ts adapter is the fallback; the
+// opencascade.js tier was removed in v0.15.1. `adapter` carries whichever.
 let adapter = null
-let occt = null
 let kernelName = 'occt.ts'
 
 /**
@@ -41,10 +39,7 @@ function assertUsable(shape, what, hint) {
   }
 }
 
-/** bodyId → { shape, name, step? } — the live document. A body whose solid
- * was produced by an occt.ts-only op (shell/draft) is HOSTED: `step` carries
- * the STEP bytes as the source of truth and `shape` is null, because
- * opencascade.js in this build cannot read geometry back. */
+/** bodyId → { shape, name } — the live document (kernel-owned shapes). */
 const bodies = new Map()
 let nextBodyNumber = 1
 
@@ -499,6 +494,9 @@ async function bootCadorange() {
 
 async function boot() {
   const requested = process.env.DSH_CAD_KERNEL
+  if (requested === 'opencascade.js') {
+    throw new Error('the opencascade.js fallback backend was removed in v0.15.1 — the kernel chain is cadorange → occt.ts; unset DSH_CAD_KERNEL or use cadorange / occt.ts')
+  }
   if (requested === 'cadorange') {
     // Explicit opt-in: cadorange or bust — a clear error beats a silent
     // fallback when a specific backend was requested.
@@ -516,8 +514,8 @@ async function boot() {
     return
   }
   if (requested === undefined || requested === '') {
-    // Default chain: cadorange (the agent-native runtime over the same
-    // occt.ts wasm) -> direct occt.ts -> opencascade.js. A cadorange boot
+    // Default chain: cadorange (the agent-native runtime over the occt.ts
+    // wasm) -> direct occt.ts. A cadorange boot
     // failure degrades LOUDLY to the next tier — the warning names both.
     try {
       adapter = await bootCadorange()
@@ -531,25 +529,11 @@ async function boot() {
     }
   }
   const mod = await loadSharedOcctModule()
-  if (mod !== null) {
-    adapter = createOcctTsAdapter(mod)
-    kernelName = 'occt.ts'
-  } else {
-    console.warn('[dsh-cad] occt.ts unavailable — falling back to the opencascade.js backend')
-    // Load the fallback kernel lazily: a top-level require() of the
-    // emscripten loader crashes the whole worker at module scope when the
-    // resolved opencascade.js build is ESM (ERR_REQUIRE_ESM) — boot() never
-    // runs and the main thread hangs waiting for ready. Dynamic import()
-    // accepts both module formats and confines a broken fallback build to
-    // this branch (surfaced as a clean init error via boot().catch).
-    const loaderPath = require3.resolve('opencascade.js/dist/opencascade.wasm.js')
-    const loaderModule = await import(pathToFileURL(loaderPath).href)
-    const wasmBinary = fs.readFileSync(path.join(path.dirname(loaderPath), 'opencascade.wasm.wasm'))
-    const initOpenCascade = loaderModule.default ?? loaderModule
-    occt = await initOpenCascade({ wasmBinary })
-    adapter = createAdapter(occt)
-    kernelName = 'opencascade.js'
+  if (mod === null) {
+    throw new Error('no modeling kernel available: cadorange failed to boot and the direct occt.ts backend is unavailable — reinstall dsh-cad (npm i occt.ts) or point DSH_OCCTJS_DIST at an occt.ts dist directory')
   }
+  adapter = createOcctTsAdapter(mod)
+  kernelName = 'occt.ts'
   ready()
 }
 

package/lib/modeling/occt-bridge.cjs

@@ -4,12 +4,13 @@
  * expose hidden-line removal, plus STEP/BRep byte import and built-in edge
  * extraction on tessellation).
  *
- * The modeling kernel stays on opencascade.js (full raw surface); this bridge
- * serves one purpose: true-HLR drawing views. Geometry crosses kernels as
- * STEP bytes (adapter's proven MEMFS export → occt.ts readStep), and the
- * projected segments are remapped into the caller's screen frame (u = right,
- * v = up) before chaining into polylines, so the sheet layout consumes the
- * exact same view data the mesh-projected fallback produces.
+ * The kernel chain is cadorange → direct occt.ts (the opencascade.js tier was
+ * removed in v0.15.1); this bridge serves one purpose: true-HLR drawing views
+ * for the direct backend. Geometry crosses as STEP bytes (adapter's proven
+ * MEMFS export → occt.ts readStep), and the projected segments are remapped
+ * into the caller's screen frame (u = right, v = up) before chaining into
+ * polylines, so the sheet layout consumes the exact same view data the
+ * mesh-projected fallback produces.
  *
  * Resolution order for the dist directory (first hit wins):
  *   1. explicit `distDir` argument
@@ -78,9 +79,6 @@ let sharedModule = null
 /** Load (once) and return the shared occt.ts raw module, or null when absent. */
 async function loadSharedOcctModule() {
   if (sharedModule !== null && sharedModule !== undefined) return sharedModule
-  // DSH_CAD_KERNEL=opencascade.js forces the fallback backend (diagnostics
-  // and regression tests — compare kernel behavior on a real model).
-  if (process.env.DSH_CAD_KERNEL === 'opencascade.js') return null
   const distDir = resolveDistDir()
   if (distDir === null) return null
   try {
@@ -180,150 +178,6 @@ async function hiddenLineViews(mod, stepBytes, views) {
     mod._free(ptr)
   }
 }
-
-
-// ── occt.ts-hosted solid operations (shell / draft / boolean / transform) ────
-//
-// opencascade.js cannot read geometry BACK (STEPControl_Reader and BRepTools
-// readers are opaque no-method shells in that build), so a solid produced by
-// an occt.ts-only op cannot return to the opencascade.js modeling session.
-// Instead the result stays hosted as STEP bytes on the occt.ts side: every
-// hosted op re-reads the STEP, operates, and writes it back, while meshes for
-// display/volume come from the occt.ts tessellator. opencascade.js-exclusive
-// ops (fillet/chamfer/loft/sweep/revolve) refuse hosted bodies with a clear
-// error instead of silently operating on stale geometry.
-
-/** Read STEP bytes into an occt.ts shape (caller deletes). */
-function readShape(mod, stepBytes) {
-  const ptr = mod._malloc(stepBytes.length)
-  try {
-    mod.HEAPU8.set(stepBytes, ptr)
-    const shape = mod.readStep(ptr, stepBytes.length, 'mm')
-    if (shape.isNull()) throw new Error(`occt.ts readStep: ${mod.lastError()}`)
-    return shape
-  } finally {
-    mod._free(ptr)
-  }
-}
-
-/** Write an occt.ts shape to STEP bytes. */
-function toStepBytes(mod, shape) {
-  const text = mod.writeStep(shape, 'mm')
-  return Buffer.from(text, 'utf8')
-}
-
-/** Tessellate an occt.ts shape into the worker mesh format. */
-function tessellateMesh(mod, shape, name, linearDeflection = 0.3) {
-  const data = mod.tessellate(shape, linearDeflection, 20, false)
-  try {
-    const positions = new Float32Array(mod.HEAPU8.buffer, data.positionsPtr(), data.positionCount() * 3).slice()
-    const indices = new Uint32Array(mod.HEAPU8.buffer, data.indicesPtr(), data.indexCount()).slice()
-    const triangles = indices.length / 3
-    // Flat per-triangle normals (the mechanical-CAD look the viewer expects).
-    const normals = new Float32Array(positions.length)
-    for (let i = 0; i + 2 < indices.length; i += 3) {
-      const a = indices[i] * 3, b = indices[i + 1] * 3, c = indices[i + 2] * 3
-      const ux = positions[c] - positions[a], uy = positions[c + 1] - positions[a + 1], uz = positions[c + 2] - positions[a + 2]
-      const vx = positions[b] - positions[a], vy = positions[b + 1] - positions[a + 1], vz = positions[b + 2] - positions[a + 2]
-      let nx = uy * vz - uz * vy, ny = uz * vx - ux * vz, nz = ux * vy - uy * vx
-      const len = Math.hypot(nx, ny, nz) || 1
-      nx /= len; ny /= len; nz /= len
-      for (const corner of [a, b, c]) {
-        normals[corner] = nx; normals[corner + 1] = ny; normals[corner + 2] = nz
-      }
-    }
-    return { name, positions, normals, indices, vertexCount: positions.length / 3, triangleCount: triangles }
-  } finally {
-    data.delete()
-  }
-}
-
-/** Faces (1-based indices) whose outward plane-normal matches a target list. */
-function matchFaces(mod, shape, openNormals) {
-  if (!Array.isArray(openNormals) || openNormals.length === 0) return []
-  const desc = JSON.parse(mod.describe(shape))
-  const faces = Array.isArray(desc.faces) ? desc.faces : []
-  const picked = []
-  for (const target of openNormals) {
-    const tlen = Math.hypot(target[0], target[1], target[2])
-    if (tlen < 1e-12) continue
-    const tn = [target[0] / tlen, target[1] / tlen, target[2] / tlen]
-    let best = null
-    let bestScore = 0.9
-    for (const face of faces) {
-      if (face.surface !== 'plane' || !Array.isArray(face.normal)) continue
-      const dot = face.normal[0] * tn[0] + face.normal[1] * tn[1] + face.normal[2] * tn[2]
-      // |dot| ≈ 1 means parallel; the OUTER face along ±target has the larger
-      // origin·target projection (a box carries both ±Z faces).
-      if (Math.abs(dot) < 0.9) continue
-      const outward = Math.sign(dot) >= 0 ? 1 : -1
-      const proj = (face.origin[0] * tn[0] + face.origin[1] * tn[1] + face.origin[2] * tn[2]) * outward
-      const score = Math.abs(dot) + proj * 1e-3
-      if (score > bestScore) { bestScore = score; best = face.index }
-    }
-    if (best !== null) picked.push(best)
-  }
-  return picked
-}
-
-/** int32 face-index array into wasm memory; returns {ptr, count} or null. */
-function faceListPtr(mod, faces) {
-  if (!Array.isArray(faces) || faces.length === 0) return { ptr: 0, count: 0 }
-  const ptr = mod._malloc(faces.length * 4)
-  for (let i = 0; i < faces.length; i++) {
-    mod.HEAPU32[ptr / 4 + i] = faces[i]
-  }
-  return { ptr, count: faces.length }
-}
-
-/**
- * Run one occt.ts-hosted solid operation on STEP bytes:
- *   shell(stepBytes, thickness, openNormals) → { step, mesh, volume, faces }
- *   draft(stepBytes, angleDegrees, direction, faces?) → { step, mesh, volume }
- * The STEP bytes of the RESULT are the hosted body's new source of truth.
- */
-function hostedSolidOp(mod, kind, stepBytes, params) {
-  const shape = readShape(mod, stepBytes)
-  try {
-    let result
-    if (kind === 'shell') {
-      const faces = Array.isArray(params.faces) && params.faces.length > 0
-        ? params.faces
-        : matchFaces(mod, shape, params.openNormals)
-      const list = faceListPtr(mod, faces)
-      try {
-        result = mod.shell(shape, Math.abs(params.thickness), list.ptr, list.count)
-      } finally {
-        if (list.ptr !== 0) mod._free(list.ptr)
-      }
-      if (result.isNull()) throw new Error(`shell failed: ${mod.lastError()}`)
-    } else if (kind === 'draft') {
-      const faces = Array.isArray(params.faces) && params.faces.length > 0 ? params.faces : []
-      const list = faceListPtr(mod, faces)
-      const d = params.direction ?? [0, 0, 1]
-      try {
-        result = mod.draft(shape, (params.angle * Math.PI) / 180, d[0], d[1], d[2], 0, 0, 1, list.ptr, list.count, faces.length === 0)
-      } finally {
-        if (list.ptr !== 0) mod._free(list.ptr)
-      }
-      if (result.isNull()) throw new Error(`draft failed: ${mod.lastError()}`)
-    } else {
-      throw new Error(`unknown hosted op: ${kind}`)
-    }
-    try {
-      return {
-        step: toStepBytes(mod, result),
-        mesh: tessellateMesh(mod, result, params.name ?? 'hosted'),
-        volume: Math.abs(result.volume()),
-      }
-    } finally {
-      result.delete()
-    }
-  } finally {
-    shape.delete()
-  }
-}
-
 /**
  * Hidden-line views of a shape that ALREADY lives in this occt.ts instance
  * (the single-kernel path — no STEP hop). Same frame/remap contract as
@@ -393,15 +247,6 @@ async function createOcctBridge(options = {}) {
     occtVersion: mod.occtVersion(),
     hiddenLineViews: (stepBytes, views) => hiddenLineViews(mod, stepBytes, views),
     hiddenLineViewsOf: (shape, views) => hiddenLineViewsOfShape(mod, shape, views),
-    hostedSolidOp: (kind, stepBytes, params) => hostedSolidOp(mod, kind, stepBytes, params),
-    volumeOf: (stepBytes) => {
-      const shape = readShape(mod, stepBytes)
-      try {
-        return Math.abs(shape.volume())
-      } finally {
-        shape.delete()
-      }
-    },
   }
 }
 

package/lib/modeling/occtts-adapter.cjs

@@ -1,8 +1,8 @@
 /**
  * occt.ts modeling adapter — the PRIMARY kernel backend (plain CJS, runs in
  * the modeling worker). Mirrors the occt-adapter.cjs interface so the worker
- * is kernel-agnostic; opencascade.js stays installed only as the fallback
- * backend for environments where occt.ts cannot load.
+ * is kernel-agnostic and serves as the fallback tier behind cadorange
+ * (the opencascade.js tier was removed in v0.15.1).
  *
  * Shape representation: opaque occt.ts WasmShape handles. Geometry lives in
  * the occt.ts wasm heap; STEP/BRep exchange and true B-splines

package/lib/tools/cad-model.js

@@ -957,7 +957,7 @@ export function createModelTools(deps) {
     const cadShell = defineTool({
         name: 'cad_shell',
         description: 'Shell (抽壳): hollow a solid into a wall of `thickness` mm (the wall grows inward, the outer skin is preserved). `open` lists outward NORMALS [x,y,z] whose faces become openings (e.g. [[0,0,1]] opens the top of a box; empty = sealed hollow). ' +
-            'Runs on the occt.ts kernel (>= 0.3.0): the result becomes a HOSTED body — volume/export(.step)/display keep working, but opencascade.js-only edits (fillet/chamfer/loft/sweep/revolve/boolean) on it are refused, so do those before shelling.',
+            'Keeps the model editable after shelling: fillet/chamfer/loft/sweep/revolve/boolean all keep working on the shelled solid.',
         parameters: {
             target: bodyTarget,
             thickness: { type: 'number', required: true, description: 'Wall thickness (mm, positive).' },

package/lib/types/cad_connector/builtin.d.ts

@@ -1,3 +1,3 @@
-/** The built-in modeling kernel: opencascade.js (WASM) in a worker, rendered with WebGL/three.js. */
+/** The built-in modeling kernel: cadorange over the occt.ts wasm, in a worker, rendered with WebGL/three.js. */
 import type { CadConnector } from './types.js';
 export declare const BUILTIN_CONNECTOR: CadConnector;

package/lib/types/convert/dcprt.d.ts

@@ -3,7 +3,7 @@
  * history on the OCCT worker, and tessellate the rebuilt bodies into
  * indexed CadMeshes.
  *
- * Replay runs on the SHARED worker (via runModelOp): the opencascade.js WASM
+ * Replay runs on the SHARED worker (via runModelOp): the modeling kernel
  * heap is too large for a second concurrent instance. Every replay posts a
  * `reset`, which bumps the client's reset epoch — the live modeling session
  * detects the stale epoch and re-replays its own document before the next

package/package.json

@@ -1,7 +1,7 @@
 {
   "name": "dsh-cad",
   "description": "CAD visualization plugin for DeepSeek Harness: cad_view / cad_info tools with an embedded 3D (STL/OBJ/STEP/IGES) and 2D (DXF/SVG) viewer card in the Web UI",
-  "version": "0.15.0",
+  "version": "0.15.1",
   "type": "module",
   "license": "MIT",
   "author": "LAU-MARS",
@@ -62,7 +62,7 @@
     "cordis.patch.yml"
   ],
   "scripts": {
-    "build": "tsc -p tsconfig.json && node esbuild.client.mjs && node -e \"const fs=require('fs'); fs.copyFileSync('src/convert/step-worker.mjs','lib/convert/step-worker.mjs'); fs.mkdirSync('lib/modeling',{recursive:true}); fs.copyFileSync('src/modeling/occt-adapter.cjs','lib/modeling/occt-adapter.cjs'); fs.copyFileSync('src/modeling/modeling-worker.cjs','lib/modeling/modeling-worker.cjs'); fs.copyFileSync('src/modeling/occt-bridge.cjs','lib/modeling/occt-bridge.cjs'); fs.copyFileSync('src/modeling/occtts-adapter.cjs','lib/modeling/occtts-adapter.cjs'); fs.copyFileSync('src/modeling/cadorange-bridge.cjs','lib/modeling/cadorange-bridge.cjs'); fs.copyFileSync('src/modeling/cadorange-adapter.cjs','lib/modeling/cadorange-adapter.cjs'); for (const part of ['bracket','flange','shaft']) fs.copyFileSync('assets/demo-'+part+'.brep','lib/demo-'+part+'.brep')\"",
+    "build": "tsc -p tsconfig.json && node esbuild.client.mjs && node -e \"const fs=require('fs'); fs.copyFileSync('src/convert/step-worker.mjs','lib/convert/step-worker.mjs'); fs.mkdirSync('lib/modeling',{recursive:true}); fs.copyFileSync('src/modeling/modeling-worker.cjs','lib/modeling/modeling-worker.cjs'); fs.copyFileSync('src/modeling/occt-bridge.cjs','lib/modeling/occt-bridge.cjs'); fs.copyFileSync('src/modeling/occtts-adapter.cjs','lib/modeling/occtts-adapter.cjs'); fs.copyFileSync('src/modeling/cadorange-bridge.cjs','lib/modeling/cadorange-bridge.cjs'); fs.copyFileSync('src/modeling/cadorange-adapter.cjs','lib/modeling/cadorange-adapter.cjs'); for (const part of ['bracket','flange','shaft']) fs.copyFileSync('assets/demo-'+part+'.brep','lib/demo-'+part+'.brep')\"",
     "watch": "tsc -p tsconfig.json --watch & node esbuild.client.mjs --watch",
     "test": "vitest run --no-file-parallelism",
     "test:watch": "vitest",
@@ -74,7 +74,6 @@
     "dxf-parser": "^1.1.2",
     "occt-import-js": "^0.0.23",
     "occt.ts": "^1.1.0",
-    "opencascade.js": "^1.1.1",
     "three": "^0.185.1"
   },
   "peerDependencies": {

package/lib/modeling/occt-adapter.cjs

@@ -1,704 +0,0 @@
-/**
- * OCCT modeling adapter (plain CJS JavaScript — runs inside the modeling
- * worker). Encapsulates the opencascade.js binding surface verified in M0:
- * overloaded constructors use the `_N` suffix convention and this file is the
- * single place that knows those spellings.
- *
- * Document model: bodyId → TopoDS_Shape, in-memory in the worker. The main
- * thread persists an operation log and replays it for restart recovery.
- */
-'use strict'
-
-function createAdapter(occt) {
-  // ── verified constructor spellings (see test/m0-kernel-check.cjs) ──────────
-  const pnt = (x, y, z) => new occt.gp_Pnt_3(x, y, z)
-  const dir = (x, y, z) => new occt.gp_Dir_4(x, y, z)
-  const vec = (x, y, z) => new occt.gp_Vec_4(x, y, z)
-  const identityTrsf = () => new occt.gp_Trsf_1()
-  const ENUM = occt.TopAbs_ShapeEnum
-
-  const shapeOf = (make) => make.Shape()
-  const volume = (shape) => {
-    const props = new occt.GProp_GProps_2(pnt(0, 0, 0))
-    occt.BRepGProp.VolumeProperties_1(shape, props, false, true, false)
-    return props.Mass()
-  }
-
-  // ── primitives ─────────────────────────────────────────────────────────────
-  function makePrim(kind, params) {
-    const at = params.at ?? [0, 0, 0]
-    const p = params
-    switch (kind) {
-      case 'box': {
-        const dx = p.dx ?? 10, dy = p.dy ?? 10, dz = p.dz ?? 10
-        return shapeOf(new occt.BRepPrimAPI_MakeBox_3(pnt(at[0], at[1], at[2]), pnt(at[0] + dx, at[1] + dy, at[2] + dz)))
-      }
-      case 'cylinder': {
-        const axis = p.axis ?? [0, 0, 1]
-        const ax2 = new occt.gp_Ax2_3(pnt(at[0], at[1], at[2]), dir(axis[0], axis[1], axis[2]))
-        return shapeOf(new occt.BRepPrimAPI_MakeCylinder_3(ax2, p.radius ?? 5, p.height ?? 10))
-      }
-      case 'sphere': {
-        // Verified variants: only the pure-double ctors work in this build;
-        // placement (at/axis) is applied by an exact transform below.
-        return place(new occt.BRepPrimAPI_MakeSphere_1(p.radius ?? 5).Shape(), at, p.axis)
-      }
-      case 'cone': {
-        return place(new occt.BRepPrimAPI_MakeCone_1(p.radius1 ?? 5, p.radius2 ?? 0, p.height ?? 10).Shape(), at, p.axis)
-      }
-      case 'torus': {
-        return place(new occt.BRepPrimAPI_MakeTorus_1(p.majorRadius ?? 10, p.minorRadius ?? 2).Shape(), at, p.axis)
-      }
-      default:
-        throw new Error(`unknown primitive kind: ${kind}`)
-    }
-  }
-
-  /**
-   * Place an origin-built primitive: rotate +Z onto `axis` (exact axis-angle
-   * rotation about the origin), then translate to `at`. Both default to
-   * identity when omitted/default.
-   */
-  function place(shape, at, axis) {
-    const ax = axis ?? [0, 0, 1]
-    const len = Math.hypot(ax[0], ax[1], ax[2])
-    const u = len === 0 ? [0, 0, 1] : [ax[0] / len, ax[1] / len, ax[2] / len]
-    // Identity only when the axis IS +Z (e.g. [0,0,-1] must rotate by π).
-    const isDefaultAxis = Math.abs(u[0]) + Math.abs(u[1]) < 1e-12 && u[2] > 1 - 1e-9
-    let result = shape
-    if (!isDefaultAxis) {
-      const trsf = identityTrsf()
-      trsf.SetRotation_1(new occt.gp_Ax1_2(pnt(0, 0, 0), dir(u[0], u[1], u[2])), Math.acos(Math.min(1, Math.max(-1, u[2]))))
-      result = new occt.BRepBuilderAPI_Transform_2(result, trsf, true).Shape()
-    }
-    if (at !== undefined && (at[0] !== 0 || at[1] !== 0 || at[2] !== 0)) {
-      const move = identityTrsf()
-      move.SetTranslation_1(vec(at[0], at[1], at[2]))
-      result = new occt.BRepBuilderAPI_Transform_2(result, move, true).Shape()
-    }
-    return result
-  }
-
-  // ── profile extrusion ─────────────────────────────────────────────────────
-  /** points: flat [x0,y0, x1,y1, ...] closed loop in the XY plane at z = base. */
-  function makeExtrudedProfile(points, height, base = 0) {
-    if (points.length < 6 || points.length % 2 !== 0) {
-      throw new Error('profile needs at least 3 points (6 flat numbers)')
-    }
-    // Verified path (the 1.1.1 build exposes no direct wire→face ctor):
-    // polygon wire → bound an infinite planar face with Add(wire) → extrude.
-    const poly = new occt.BRepBuilderAPI_MakePolygon_1()
-    for (let i = 0; i + 1 < points.length; i += 2) {
-      poly.Add_1(pnt(points[i], points[i + 1], base))
-    }
-    poly.Close()
-    if (!poly.IsDone()) throw new Error('profile polygon is invalid (duplicate or collinear-only points)')
-    const planeAx3 = new occt.gp_Ax3_3(pnt(0, 0, base), dir(0, 0, 1), dir(1, 0, 0))
-    const faceBuilder = new occt.BRepBuilderAPI_MakeFace_3(new occt.gp_Pln_2(planeAx3))
-    faceBuilder.Add(poly.Wire())
-    const face = faceBuilder.Face()
-    if (!faceBuilder.IsDone() || face.IsNull()) throw new Error('profile face construction failed')
-    return shapeOf(new occt.BRepPrimAPI_MakePrism_1(face, vec(0, 0, height), true, false))
-  }
-
-  // ── booleans / fillet / transform ──────────────────────────────────────────
-  function boolean(op, target, tools) {
-    let result = target
-    for (const tool of tools) {
-      // BRepAlgoAPI_*_3 is the verified (shape, shape) constructor.
-      const Ctor = op === 'fuse' ? occt.BRepAlgoAPI_Fuse_3 : op === 'cut' ? occt.BRepAlgoAPI_Cut_3 : occt.BRepAlgoAPI_Common_3
-      const algo = new Ctor(result, tool)
-      algo.Build()
-      if (!algo.IsDone()) throw new Error(`boolean ${op} failed`)
-      result = algo.Shape()
-    }
-    return result
-  }
-
-  function filletAll(shape, radius) {
-    const algo = new occt.BRepFilletAPI_MakeFillet(shape, 1e-4)
-    const explorer = new occt.TopExp_Explorer_2(shape, ENUM.TopAbs_EDGE, ENUM.TopAbs_SHAPE)
-    let edges = 0
-    while (explorer.More()) {
-      algo.Add_2(radius, castEdge(explorer.Current()))
-      edges++
-      explorer.Next()
-    }
-    if (edges === 0) throw new Error('no edges to fillet')
-    algo.Build()
-    if (!algo.IsDone()) throw new Error('fillet failed (radius may exceed the adjacent faces)')
-    return algo.Shape()
-  }
-
-  function castEdge(shape) {
-    if (occt.TopoDS.Edge_s) return occt.TopoDS.Edge_s(shape)
-    return occt.TopoDS.Edge_2(shape)
-  }
-
-  function castFace(shape) {
-    if (occt.TopoDS.Face_s) return occt.TopoDS.Face_s(shape)
-    return occt.TopoDS.Face_2(shape)
-  }
-
-  function transform(shape, { translate, rotate, mirror }) {
-    const trsf = identityTrsf()
-    if (translate !== undefined) trsf.SetTranslation_1(vec(translate[0], translate[1], translate[2]))
-    if (rotate !== undefined) {
-      const [rx, ry, rz] = rotate
-      if (rx) trsf.Multiply(rotationTrsf([1, 0, 0], rx * Math.PI / 180))
-      if (ry) trsf.Multiply(rotationTrsf([0, 1, 0], ry * Math.PI / 180))
-      if (rz) trsf.Multiply(rotationTrsf([0, 0, 1], rz * Math.PI / 180))
-    }
-    if (mirror !== undefined) {
-      const [mx, my, mz] = mirror
-      const mirrorTrsf = identityTrsf()
-      mirrorTrsf.SetMirror_1(new occt.gp_Ax2_3(pnt(0, 0, 0), dir(mx ?? 0, my ?? 0, mz ?? 1)))
-      trsf.Multiply(mirrorTrsf)
-    }
-    const algo = new occt.BRepBuilderAPI_Transform_2(shape, trsf, true)
-    return algo.Shape()
-  }
-
-  function rotationTrsf(axis, radians) {
-    const t = identityTrsf()
-    t.SetRotation_1(new occt.gp_Ax1_2(pnt(0, 0, 0), dir(axis[0], axis[1], axis[2])), radians)
-    return t
-  }
-
-  // ── tessellation ───────────────────────────────────────────────────────────
-  function tessellate(shape, linearDeflection = 0.3) {
-    const mesher = new occt.BRepMesh_IncrementalMesh_2(shape, linearDeflection, false, 0.5, true)
-    mesher.Perform_1()
-    const positions = []
-    const indices = []
-    const loc = new occt.TopLoc_Location_2(identityTrsf())
-    const explorer = new occt.TopExp_Explorer_2(shape, ENUM.TopAbs_FACE, ENUM.TopAbs_SHAPE)
-    let vertexBase = 0
-    while (explorer.More()) {
-      const faceShape = explorer.Current()
-      const handle = occt.BRep_Tool.Triangulation(castFace(faceShape), loc)
-      const tri = handle && handle.IsNull && !handle.IsNull() ? handle.get() : handle
-      if (tri) {
-        // A REVERSED face renders its surface natural orientation backwards —
-        // flip the triangle winding so normals point out of the material.
-        const reversed = faceShape.Orientation_1 !== undefined && faceShape.Orientation_1().value === 1
-        const nodeCount = tri.NbNodes()
-        for (let i = 1; i <= nodeCount; i++) {
-          const node = tri.Node(i)
-          // Optional location transform on the triangulation.
-          const transformed = loc.IsIdentity() ? node : node.Transformed(loc.Transformation())
-          positions.push(transformed.X(), transformed.Y(), transformed.Z())
-        }
-        for (let i = 1; i <= tri.NbTriangles(); i++) {
-          const t = tri.Triangle(i)
-          // Poly_Triangle.Get() uses out-params embind cannot express; Value(1..3) returns the indices.
-          const n1 = vertexBase + t.Value(1) - 1
-          const n2 = vertexBase + t.Value(2) - 1
-          const n3 = vertexBase + t.Value(3) - 1
-          if (reversed) indices.push(n1, n3, n2)
-          else indices.push(n1, n2, n3)
-        }
-        vertexBase += nodeCount
-      }
-      explorer.Next()
-    }
-    return { positions: Float32Array.from(positions), indices: Uint32Array.from(indices) }
-  }
-
-  /** Flat per-triangle normals (mechanical-CAD look, no smooth-vertex table). */
-  function faceNormals(positions, indices) {
-    const normals = new Float32Array(positions.length)
-    for (let i = 0; i + 2 < indices.length; i += 3) {
-      const a = indices[i] * 3, b = indices[i + 1] * 3, c = indices[i + 2] * 3
-      const ux = positions[c] - positions[a], uy = positions[c + 1] - positions[a + 1], uz = positions[c + 2] - positions[a + 2]
-      const vx = positions[b] - positions[a], vy = positions[b + 1] - positions[a + 1], vz = positions[b + 2] - positions[a + 2]
-      let nx = uy * vz - uz * vy, ny = uz * vx - ux * vz, nz = ux * vy - uy * vx
-      const len = Math.hypot(nx, ny, nz) || 1
-      nx /= len; ny /= len; nz /= len
-      for (const corner of [a, b, c]) {
-        normals[corner] = nx; normals[corner + 1] = ny; normals[corner + 2] = nz
-      }
-    }
-    return normals
-  }
-
-  // ── export: STEP via MEMFS, STL as direct binary bytes ───────────────────
-  function exportFile(shape, format) {
-    if (format === 'step') {
-      const writer = new occt.STEPControl_Writer_1()
-      writer.Transfer(shape, 0, true)
-      writer.Write('model.step')
-      return Buffer.from(occt.FS.readFile('model.step'))
-    }
-    if (format === 'stl') {
-      // StlAPI_Writer intermittently fails inside the WASM filesystem; the
-      // tessellated mesh is exact, so emit binary STL bytes directly.
-      const { positions, indices } = tessellate(shape, 0.1)
-      const normals = faceNormals(positions, indices)
-      const triangleCount = indices.length / 3
-      const buffer = Buffer.alloc(84 + triangleCount * 50)
-      buffer.write('dsh-cad binary STL', 0, 22, 'latin1')
-      buffer.writeUInt32LE(triangleCount, 80)
-      let offset = 84
-      for (let triangle = 0; triangle < triangleCount; triangle++) {
-        const a = indices[triangle * 3] * 3
-        const b = indices[triangle * 3 + 1] * 3
-        const c = indices[triangle * 3 + 2] * 3
-        for (let component = 0; component < 3; component++) {
-          buffer.writeFloatLE(normals[a + component], offset)
-          offset += 4
-        }
-        for (const vertex of [a, b, c]) {
-          buffer.writeFloatLE(positions[vertex], offset)
-          buffer.writeFloatLE(positions[vertex + 1], offset + 4)
-          buffer.writeFloatLE(positions[vertex + 2], offset + 8)
-          offset += 12
-        }
-        offset += 2 // attribute byte count
-      }
-      return buffer
-    }
-    throw new Error(`unsupported export format: ${format}`)
-  }
-
-  // ── loft / sweep ───────────────────────────────────────────────────────────
-  /**
-   * Closed polygon wire from flat [x,y,z, …] triplets. Loft sections carry
-   * explicit 3D coordinates (each section sits in its own plane), so unlike
-   * makeExtrudedProfile there is no implicit base plane here.
-   */
-  function closedWire(points) {
-    if (points.length < 9 || points.length % 3 !== 0) {
-      throw new Error('a section needs at least 3 [x,y,z] triplets (≥9 numbers)')
-    }
-    const poly = new occt.BRepBuilderAPI_MakePolygon_1()
-    for (let i = 0; i + 2 < points.length; i += 3) poly.Add_1(pnt(points[i], points[i + 1], points[i + 2]))
-    poly.Close()
-    if (!poly.IsDone()) throw new Error('section polygon is invalid (duplicate or collinear-only points)')
-    return poly.Wire()
-  }
-
-  // ── loft / sweep ───────────────────────────────────────────────────────────
-  /**
-   * Closed polygon wire from flat [x,y,z, …] triplets. Loft sections carry
-   * explicit 3D coordinates (each section sits in its own plane), so unlike
-   * makeExtrudedProfile there is no implicit base plane here.
-   */
-  function closedWire(points) {
-    if (points.length < 9 || points.length % 3 !== 0) {
-      throw new Error('a section needs at least 3 [x,y,z] triplets (≥9 numbers)')
-    }
-    const poly = new occt.BRepBuilderAPI_MakePolygon_1()
-    for (let i = 0; i + 2 < points.length; i += 3) poly.Add_1(pnt(points[i], points[i + 1], points[i + 2]))
-    poly.Close()
-    if (!poly.IsDone()) throw new Error('section polygon is invalid (duplicate or collinear-only points)')
-    return poly.Wire()
-  }
-
-  /** A planar FACE in the given frame's plane (MakePipe needs a face, not a wire). */
-  function faceInFrame(ax3, points2d) {
-    const poly = new occt.BRepBuilderAPI_MakePolygon_1()
-    const xd = ax3.XDirection()
-    const yd = ax3.YDirection()
-    const o = ax3.Location()
-    for (let i = 0; i + 1 < points2d.length; i += 2) {
-      const u = points2d[i]
-      const v = points2d[i + 1]
-      poly.Add_1(pnt(
-        o.X() + xd.X() * u + yd.X() * v,
-        o.Y() + xd.Y() * u + yd.Y() * v,
-        o.Z() + xd.Z() * u + yd.Z() * v,
-      ))
-    }
-    poly.Close()
-    if (!poly.IsDone()) throw new Error('profile polygon is invalid')
-    const builder = new occt.BRepBuilderAPI_MakeFace_3(new occt.gp_Pln_2(ax3))
-    builder.Add(poly.Wire())
-    const face = builder.Face()
-    if (!builder.IsDone() || face.IsNull()) throw new Error('profile face construction failed')
-    return face
-  }
-
-  /**
-   * Closed Catmull-Rom polyline through the given flat [x,y,z, …] points,
-   * sampled at `samples` chords per span. This build has no curve→edge
-   * binding, so the occt.ts backend's periodic B-spline section is carried
-   * here as a dense closed polyline (the same approximation the bspline
-   * profile segment uses) — the loft still smooths across sections.
-   */
-  function smoothLoop(points, samples = 16) {
-    if (!Array.isArray(points) || points.length < 9 || points.length % 3 !== 0) {
-      throw new Error('a section needs at least 3 [x,y,z] triplets (≥9 numbers)')
-    }
-    const n = points.length / 3
-    const at = (i) => {
-      const k = ((i % n) + n) % n
-      return [points[k * 3], points[k * 3 + 1], points[k * 3 + 2]]
-    }
-    const out = []
-    for (let i = 0; i < n; i++) {
-      const p0 = at(i - 1)
-      const p1 = at(i)
-      const p2 = at(i + 1)
-      const p3 = at(i + 2)
-      for (let s = 0; s < samples; s++) {
-        const t = s / samples
-        const t2 = t * t
-        const t3 = t2 * t
-        for (let axis = 0; axis < 3; axis++) {
-          out.push(0.5 * (
-            2 * p1[axis]
-            + (-p0[axis] + p2[axis]) * t
-            + (2 * p0[axis] - 5 * p1[axis] + 4 * p2[axis] - p3[axis]) * t2
-            + (-p0[axis] + 3 * p1[axis] - 3 * p2[axis] + p3[axis]) * t3
-          ))
-        }
-      }
-    }
-    return closedWire(out)
-  }
-
-  const sub3 = (a, b) => [a[0] - b[0], a[1] - b[1], a[2] - b[2]]
-  const dot3 = (a, b) => a[0] * b[0] + a[1] * b[1] + a[2] * b[2]
-  const cross3 = (a, b) => [a[1] * b[2] - a[2] * b[1], a[2] * b[0] - a[0] * b[2], a[0] * b[1] - a[1] * b[0]]
-  const norm3 = (a) => {
-    const len = Math.hypot(a[0], a[1], a[2]) || 1
-    return [a[0] / len, a[1] / len, a[2] / len]
-  }
-
-  /** Plane frame (origin, in-plane X, in-plane Y) for a planar curve section. */
-  function sectionFrame(section) {
-    const at = section.at ?? [0, 0, 0]
-    if (!Array.isArray(at) || at.length !== 3) throw new Error('section.at must be [x,y,z]')
-    const n = norm3(Array.isArray(section.normal) ? section.normal : [0, 0, 1])
-    const seed = Array.isArray(section.xAxis) ? section.xAxis : [1, 0, 0]
-    let u = sub3(seed, n.map((c) => c * dot3(seed, n)))
-    if (Math.hypot(u[0], u[1], u[2]) < 1e-9) {
-      const alt = Math.abs(n[0]) < 0.9 ? [1, 0, 0] : [0, 1, 0]
-      u = sub3(alt, n.map((c) => c * dot3(alt, n)))
-    }
-    u = norm3(u)
-    return [at, u, cross3(n, u)]
-  }
-
-  /**
-   * One loft section → a closed wire.
-   *   [x,y,z, …]                     flat point loop (polygon, or smooth spline)
-   *   { points: […], smooth?: bool } same, with a per-section override
-   *   { through: [x,y,z, …] }        smooth curve through the points
-   *   { profile, at?, normal?, xAxis? }  2D curve profile placed in a plane
-   */
-  function sectionWire(section, smoothDefault) {
-    if (Array.isArray(section)) return smoothDefault ? smoothLoop(section) : closedWire(section)
-    if (section === null || typeof section !== 'object') {
-      throw new Error('a loft section must be a flat [x,y,z,…] loop or a {points|through|profile, …} object')
-    }
-    if (section.profile !== undefined) {
-      const [o3, u3, v3] = sectionFrame(section)
-      return profileWire(section.profile, o3, u3, v3)
-    }
-    if (section.through !== undefined) return smoothLoop(section.through)
-    if (section.points !== undefined) {
-      return (section.smooth ?? smoothDefault) ? smoothLoop(section.points) : closedWire(section.points)
-    }
-    throw new Error('a section object needs `points`, `through` or `profile`')
-  }
-
-  /**
-   * Loft: skin a solid through successive closed sections (OCCT ThruSections).
-   * Sections are flat [x,y,z, …] loops or section objects (see sectionWire);
-   * `smooth` fits a periodic B-spline through plain point loops on the occt.ts
-   * backend, `solid` caps the ends, `ruled` keeps the sides straight.
-   */
-  function makeLoft(sections, options = {}) {
-    if (!Array.isArray(sections) || sections.length < 2) throw new Error('a loft needs at least 2 sections')
-    const solid = options.solid ?? true
-    const ruled = options.ruled ?? false
-    const smooth = options.smooth === true
-    // Verified spelling: this build binds only the 3-argument constructor.
-    const thru = new occt.BRepOffsetAPI_ThruSections(solid, ruled, 1e-6)
-    for (const section of sections) thru.AddWire(sectionWire(section, smooth))
-    thru.Build()
-    if (!thru.IsDone()) throw new Error('loft failed (check that the sections are closed and non-degenerate)')
-    return thru.Shape()
-  }
-
-  /**
-   * Sweep: pipe a 2D profile along a 3D path (OCCT MakePipe). The profile is
-   * placed in the plane PERPENDICULAR TO THE PATH'S START TANGENT, so callers
-   * give a plain 2D outline plus a 3D path in any orientation.
-   *
-   * Note: MakePipeShell (the transition-aware variant) is unusable in this
-   * opencascade.js build, so a sharp direction change in the path with a
-   * section large relative to the corner yields a self-intersecting solid —
-   * `isValid()` reports that, and the tool surfaces it.
-   */
-  function makeSweep(profile, pathPoints) {
-    const profileOk = Array.isArray(profile)
-      ? profile.length >= 6 && profile.length % 2 === 0
-      : profile !== null && typeof profile === 'object'
-    if (!profileOk) throw new Error('the profile needs a flat [x,y,…] array (≥6 numbers) or a {start, segments}/{circle} object')
-    if (!Array.isArray(pathPoints) || pathPoints.length < 6 || pathPoints.length % 3 !== 0) {
-      throw new Error('the path needs at least 2 [x,y,z] triplets (≥6 numbers)')
-    }
-    const spine = new occt.BRepBuilderAPI_MakePolygon_1()
-    for (let i = 0; i + 2 < pathPoints.length; i += 3) {
-      spine.Add_1(pnt(pathPoints[i], pathPoints[i + 1], pathPoints[i + 2]))
-    }
-    if (!spine.IsDone()) throw new Error('path polyline is invalid')
-    // Frame at the path start: +Z (the gp_Ax3 normal) along the initial
-    // tangent; the in-plane X axis is world X projected perpendicular to it
-    // (world Y when that degenerates), so a profile maps onto predictable
-    // world axes — for a +Z sweep the 2D outline lands exactly on world XY.
-    const tx = pathPoints[3] - pathPoints[0]
-    const ty = pathPoints[4] - pathPoints[1]
-    const tz = pathPoints[5] - pathPoints[2]
-    const tLen = Math.hypot(tx, ty, tz)
-    if (tLen < 1e-12) throw new Error('the path starts with a zero-length segment')
-    const n = [tx / tLen, ty / tLen, tz / tLen]
-    const axis = Math.abs(n[0]) < 0.9 ? [1, 0, 0] : [0, 1, 0]
-    const d = axis[0] * n[0] + axis[1] * n[1] + axis[2] * n[2]
-    let vx = [axis[0] - n[0] * d, axis[1] - n[1] * d, axis[2] - n[2] * d]
-    const vxLen = Math.hypot(vx[0], vx[1], vx[2])
-    if (vxLen < 1e-12) throw new Error('could not build a profile frame for the path tangent')
-    vx = [vx[0] / vxLen, vx[1] / vxLen, vx[2] / vxLen]
-    const o3 = [pathPoints[0], pathPoints[1], pathPoints[2]]
-    const v3 = [vx[0], vx[1], vx[2]] // in-plane X = vx
-    const w3 = [n[1] * vx[2] - n[2] * vx[1], n[2] * vx[0] - n[0] * vx[2], n[0] * vx[1] - n[1] * vx[0]] // n × vx
-    const wire = profileWire(profile, o3, v3, w3)
-    const profileFace = faceFromWire(wire, o3, v3, w3)
-    const pipe = new occt.BRepOffsetAPI_MakePipe_1(spine.Wire(), profileFace)
-    pipe.Build()
-    if (!pipe.IsDone()) throw new Error('sweep failed (check the path and profile)')
-    return pipe.Shape()
-  }
-
-  /** BRepCheck_Analyzer verdict, or null when the check itself is unavailable. */
-  function isValid(shape) {
-    try {
-      const analyzer = new occt.BRepCheck_Analyzer(shape, true)
-      return analyzer.IsValid_1(shape) === true
-    } catch {
-      return null
-    }
-  }
-
-  // ── segment-based profiles (line / arc / bspline / circle) ────────────────
-  /**
-   * Build a CLOSED wire from a segment-based profile laid into the frame
-   * (origin o3, basis u3/v3). Segment forms:
-   *   { type: 'line', to: [x,y] }
-   *   { type: 'arc', to: [x,y], center: [cx,cy], ccw?: true }
-   *   { type: 'bspline', through: [[x,y],…], samples?: n }
-   * A final line closes the chain back to the start. Verified spellings:
-   * gp_Circ_2(ax2,R) → MakeEdge_9(circ, a1, a2) for arcs.
-   */
-  function to3Of(o3, u3, v3, p2) {
-    return pnt(o3[0] + u3[0] * p2[0] + v3[0] * p2[1], o3[1] + u3[1] * p2[0] + v3[1] * p2[1], o3[2] + u3[2] * p2[0] + v3[2] * p2[1])
-  }
-
-  function segmentWire(profile, o3, u3, v3) {
-    const segs = Array.isArray(profile.segments) ? profile.segments : []
-    if (segs.length === 0) throw new Error('a segment profile needs at least one segment')
-    if (!Array.isArray(profile.start) || profile.start.length !== 2) throw new Error('profile.start must be [x,y]')
-    const nrm = [
-      u3[1] * v3[2] - u3[2] * v3[1],
-      u3[2] * v3[0] - u3[0] * v3[2],
-      u3[0] * v3[1] - u3[1] * v3[0],
-    ]
-    const mkWire = new occt.BRepBuilderAPI_MakeWire_1()
-    const addLine = (from2, to2) => {
-      mkWire.Add_1(new occt.BRepBuilderAPI_MakeEdge_3(to3Of(o3, u3, v3, from2), to3Of(o3, u3, v3, to2)).Edge())
-    }
-    let cur = [profile.start[0], profile.start[1]]
-    for (const seg of segs) {
-      if (seg === null || typeof seg !== 'object') throw new Error('each profile segment must be an object')
-      if (seg.type === 'line') {
-        if (!Array.isArray(seg.to) || seg.to.length !== 2) throw new Error("line segment needs 'to: [x,y]'")
-        addLine(cur, seg.to)
-        cur = seg.to
-      } else if (seg.type === 'arc') {
-        if (!Array.isArray(seg.to) || seg.to.length !== 2 || !Array.isArray(seg.center) || seg.center.length !== 2) {
-          throw new Error("arc segment needs 'to: [x,y]' and 'center: [cx,cy]'")
-        }
-        const c = seg.center
-        const r0 = Math.hypot(cur[0] - c[0], cur[1] - c[1])
-        const r1 = Math.hypot(seg.to[0] - c[0], seg.to[1] - c[1])
-        if (Math.abs(r0 - r1) > 1e-4 * Math.max(r0, r1) + 1e-6) {
-          throw new Error(`arc endpoints are not equidistant from the center (r=${r0.toFixed(4)} vs ${r1.toFixed(4)})`)
-        }
-        const a0 = Math.atan2(cur[1] - c[1], cur[0] - c[0])
-        let a1 = Math.atan2(seg.to[1] - c[1], seg.to[0] - c[0])
-        if (seg.ccw !== false) { if (a1 <= a0) a1 += Math.PI * 2 } else { if (a1 >= a0) a1 -= Math.PI * 2 }
-        const circ = new occt.gp_Circ_2(new occt.gp_Ax2_2(to3Of(o3, u3, v3, c), dir(nrm[0], nrm[1], nrm[2]), dir(u3[0], u3[1], u3[2])), r0)
-        mkWire.Add_1(new occt.BRepBuilderAPI_MakeEdge_9(circ, a0, a1).Edge())
-        cur = seg.to
-      } else if (seg.type === 'bspline') {
-        const through = Array.isArray(seg.through) ? seg.through : []
-        if (through.length < 2) throw new Error("bspline segment needs 'through: [[x,y],…]' (≥2 points)")
-        const samples = Math.max(8, Math.trunc(seg.samples ?? 24))
-        // Catmull-Rom through the given points, sampled into a dense polyline:
-        // this kernel build cannot extract points back from a Geom_BSplineCurve,
-        // so the smooth curve is carried as a high-density edge chain.
-        const pts = [cur, ...through]
-        for (let i = 0; i < pts.length - 1; i++) {
-          const p0 = pts[Math.max(0, i - 1)]
-          const p1 = pts[i]
-          const p2 = pts[i + 1]
-          const p3 = pts[Math.min(pts.length - 1, i + 2)]
-          for (let s = 1; s <= samples; s++) {
-            const t = s / samples
-            const t2 = t * t
-            const t3 = t2 * t
-            const x = 0.5 * ((2 * p1[0]) + (-p0[0] + p2[0]) * t + (2 * p0[0] - 5 * p1[0] + 4 * p2[0] - p3[0]) * t2 + (-p0[0] + 3 * p1[0] - 3 * p2[0] + p3[0]) * t3)
-            const y = 0.5 * ((2 * p1[1]) + (-p0[1] + p2[1]) * t + (2 * p0[1] - 5 * p1[1] + 4 * p2[1] - p3[1]) * t2 + (-p0[1] + 3 * p1[1] - 3 * p2[1] + p3[1]) * t3)
-            addLine(cur, [x, y])
-            cur = [x, y]
-          }
-        }
-      } else {
-        throw new Error(`unknown profile segment type: ${String(seg.type)}`)
-      }
-    }
-    if (Math.hypot(cur[0] - profile.start[0], cur[1] - profile.start[1]) > 1e-9) {
-      addLine(cur, profile.start)
-    }
-    if (!mkWire.IsDone()) throw new Error('profile wire construction failed')
-    return mkWire.Wire()
-  }
-
-  /** A closed circular wire (the profile = one circle). */
-  function circleWire(center2, radius, o3, u3, v3) {
-    const c3 = to3Of(o3, u3, v3, center2)
-    const nrm = [u3[1] * v3[2] - u3[2] * v3[1], u3[2] * v3[0] - u3[0] * v3[2], u3[0] * v3[1] - u3[1] * v3[0]]
-    const circ = new occt.gp_Circ_2(new occt.gp_Ax2_2(c3, dir(nrm[0], nrm[1], nrm[2]), dir(u3[0], u3[1], u3[2])), radius)
-    const mkWire = new occt.BRepBuilderAPI_MakeWire_1()
-    mkWire.Add_1(new occt.BRepBuilderAPI_MakeEdge_8(circ).Edge())
-    if (!mkWire.IsDone()) throw new Error('circle wire construction failed')
-    return mkWire.Wire()
-  }
-
-  /**
-   * A 2D profile in one of three forms, laid into the (o3, u3, v3) frame and
-   * returned as a closed wire:
-   *   { start, segments: [...] }     — segment chain (line/arc/bspline)
-   *   { circle: { center, radius } } — a full circle
-   *   [x0,y0, x1,y1, ...]            — plain polyline (the historical form)
-   */
-  function profileWire(profile, o3, u3, v3) {
-    if (Array.isArray(profile)) {
-      const pts = []
-      for (let i = 0; i + 1 < profile.length; i += 2) {
-        const p3 = to3Of(o3, u3, v3, [profile[i], profile[i + 1]])
-        pts.push(p3.X(), p3.Y(), p3.Z())
-      }
-      return closedWire(pts)
-    }
-    if (profile !== null && typeof profile === 'object') {
-      if (profile.circle !== undefined) {
-        const c = profile.circle
-        if (!Array.isArray(c.center) || typeof c.radius !== 'number') throw new Error("circle profile needs 'center: [x,y]' and 'radius'")
-        return circleWire(c.center, c.radius, o3, u3, v3)
-      }
-      return segmentWire(profile, o3, u3, v3)
-    }
-    throw new Error('a profile must be a flat points array or a {start, segments}/{circle} object')
-  }
-
-  /**
-   * Extrude any 2D profile form (segments / circle / flat points) from the
-   * plane z = base along +Z by height — the segment-curve generalization of
-   * makeExtrudedProfile.
-   */
-  function extrudeProfile2D(profile, height, base = 0) {
-    if (height <= 0) throw new Error('the extrusion height must be positive')
-    const wire = profileWire(profile, [0, 0, base], [1, 0, 0], [0, 1, 0])
-    const face = faceFromWire(wire, [0, 0, base], [1, 0, 0], [0, 1, 0])
-    const algo = new occt.BRepPrimAPI_MakePrism_1(face, vec(0, 0, height), true, false)
-    return shapeOf(algo)
-  }
-
-  /**
-   * A planar FACE from a wire in the (o3, u3, v3) frame. `flip` reverses the
-   * face normal — revolve needs the axis×radial side for axis-touching
-   * profiles (a profile edge ON the axis fails from the other side).
-   */
-  function faceFromWire(wire, o3, u3, v3, flip = false) {
-    const nrm = [
-      u3[1] * v3[2] - u3[2] * v3[1],
-      u3[2] * v3[0] - u3[0] * v3[2],
-      u3[0] * v3[1] - u3[1] * v3[0],
-    ]
-    const sign = flip ? -1 : 1
-    const builder = new occt.BRepBuilderAPI_MakeFace_3(new occt.gp_Pln_2(new occt.gp_Ax3_3(pnt(o3[0], o3[1], o3[2]), dir(sign * nrm[0], sign * nrm[1], sign * nrm[2]), dir(u3[0], u3[1], u3[2]))))
-    builder.Add(wire)
-    const face = builder.Face()
-    if (!builder.IsDone() || face.IsNull()) throw new Error('profile face construction failed')
-    return face
-  }
-
-  // ── revolve / chamfer / shell ──────────────────────────────────────────────
-
-  /**
-   * Revolve (旋转): sweep a 2D profile around an axis through `at` with
-   * direction `axis` by `angle` radians (default 2π). The profile's u axis is
-   * a radial direction perpendicular to the axis, v runs ALONG the axis —
-   * e.g. with the default +Z axis, profile [x,y] means (radius, height).
-   * Verified: BRepPrimAPI_MakeRevol_1(face, ax1, angle, copy=false).
-   */
-  function makeRevolve(profile, options = {}) {
-    const axis = options.axis ?? [0, 0, 1]
-    const at = options.at ?? [0, 0, 0]
-    const angle = options.angle ?? Math.PI * 2
-    const alen = Math.hypot(axis[0], axis[1], axis[2])
-    if (alen < 1e-12) throw new Error('the revolve axis must be a non-zero direction')
-    const n = [axis[0] / alen, axis[1] / alen, axis[2] / alen]
-    const helper = Math.abs(n[0]) < 0.9 ? [1, 0, 0] : [0, 1, 0]
-    const d = helper[0] * n[0] + helper[1] * n[1] + helper[2] * n[2]
-    const u = [helper[0] - n[0] * d, helper[1] - n[1] * d, helper[2] - n[2] * d]
-    const uLen = Math.hypot(u[0], u[1], u[2])
-    const radial = [u[0] / uLen, u[1] / uLen, u[2] / uLen]
-    const wire = profileWire(profile, at, radial, n)
-    const ax1 = new occt.gp_Ax1_2(pnt(at[0], at[1], at[2]), dir(n[0], n[1], n[2]))
-    // Orientation matrix (verified): the plain (radial, axis) face revolves
-    // validly at every angle with positive volume; the flipped face suits
-    // axis-touching profiles but yields INVALID partial revolves — so try the
-    // plain face first, fall back to flipped only when it fails outright.
-    const attempts = [false, true]
-    for (const flip of attempts) {
-      const algo = new occt.BRepPrimAPI_MakeRevol_1(faceFromWire(wire, at, radial, n, flip), ax1, angle, false)
-      algo.Build()
-      if (!algo.IsDone()) continue
-      const shape = algo.Shape()
-      if (isValid(shape) === false) continue
-      return volume(shape) < 0 ? (() => { try { return shape.Reversed() } catch { return shape } })() : shape
-    }
-    throw new Error('revolve failed (check that the profile stays on one side of the axis and is planar)')
-  }
-
-  /** Chamfer every sharp edge with one equal distance (mm). */
-  function chamferAll(shape, distance) {
-    const algo = new occt.BRepFilletAPI_MakeChamfer(shape)
-    const explorer = new occt.TopExp_Explorer_2(shape, ENUM.TopAbs_EDGE, ENUM.TopAbs_SHAPE)
-    let edges = 0
-    while (explorer.More()) {
-      algo.Add_2(distance, castEdge(explorer.Current()))
-      edges++
-      explorer.Next()
-    }
-    if (edges === 0) throw new Error('no edges to chamfer')
-    algo.Build()
-    if (!algo.IsDone()) throw new Error('chamfer failed (distance may exceed the adjacent faces)')
-    return algo.Shape()
-  }
-
-  return {
-    pnt, dir, ENUM,
-    makePrim, makeExtrudedProfile, extrudeProfile2D, makeLoft, makeSweep, isValid,
-    profileWire, faceFromWire, makeRevolve, chamferAll,
-    boolean, filletAll, transform,
-    tessellate, faceNormals, exportFile, volume,
-  }
-}
-
-module.exports = { createAdapter }