@faicad/faijs 0.30.9 → 0.32.2

package/dist/api/internal/l3-bridge.js.map

@@ -1 +1 @@
-{"version":3,"file":"l3-bridge.js","sourceRoot":"","sources":["../../../src/api/internal/l3-bridge.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;GAqBG;AAGH,OAAO,EAAE,UAAU,EAAE,MAAM,0BAA0B,CAAA;AAErD,OAAO,EAAE,WAAW,EAAE,MAAM,qBAAqB,CAAA;AACjD,OAAO,EAAE,OAAO,EAAE,MAAM,iBAAiB,CAAA;AAoBzC,uDAAuD;AACvD,SAAS,qBAAqB,CAAC,UAAkB;IAC/C,uEAAuE;AACzE,CAAC;AAED;;;;;;;;;;;GAWG;AACH,MAAM,UAAU,kBAAkB,CAAC,OAAgB,EAAE,QAAiB;IACpE,IAAI,OAAO,KAAK,IAAI,IAAI,OAAO,OAAO,KAAK,QAAQ,IAAI,CAAC,CAAC,SAAS,IAAI,OAAO,CAAC,EAAE,CAAC;QAC/E,MAAM,IAAI,KAAK,CAAC,kFAAkF,CAAC,CAAA;IACrG,CAAC;IACD,uEAAuE;IACvE,qEAAqE;IACrE,MAAM,UAAU,GAAI,OAAgC,CAAC,OAAO,CAAA;IAC5D,MAAM,KAAK,GACT,OAAO,UAAU,KAAK,QAAQ,IAAI,UAAU,KAAK,IAAI,IAAI,IAAI,IAAI,UAAU;QACzE,CAAC,CAAE,UAA6B,CAAC,EAAE;QACnC,CAAC,CAAE,UAAqB,CAAA;IAC5B,MAAM,OAAO,GAAG,KAAmB,CAAA;IACnC,OAAO,UAAU,CAAC,OAAO,EAAE,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,CAAC,CAAA;AAC/E,CAAC;AAED;;;;;;;;;;;;GAYG;AACH,MAAM,UAAU,UAAU,CAAuC,EAAK,EAAE,IAAe;IACrF,OAAO,EAAE,CAAC,GAAI,IAAgB,CAAkB,CAAA;AAClD,CAAC;AAED;;;;;;;;;;;GAWG;AACH,MAAM,UAAU,eAAe,CAAC,MAAc,EAAE,OAA0B;IACxE,MAAM,OAAO,GAAG,WAAW,EAAE,CAAC,MAAM,CAAC,YAAY,CAAA;IACjD,IAAI,OAAO,KAAK,IAAI,IAAI,OAAO,KAAK,SAAS,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,OAAO,CAAC,EAAE,CAAC;QACrF,MAAM,CAAC,GAAG,IAAI,KAAK,CACjB,2BAA2B,MAAM,qBAAqB,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,aAAa,OAAO,IAAI,QAAQ,GAAG,CAC9G,CAAA;QACD,CAAC,CAAC,IAAI,GAAG,sBAAsB,CAAA;QAC/B,MAAM,CAAC,CAAA;IACT,CAAC;AACH,CAAC;AAED,gFAAgF;AAEhF;6EAC6E;AAC7E,MAAM,UAAU,GAAG,IAAI,OAAO,EAAiB,CAAA;AAE/C;;;;;;;;;;;;;;;;GAgBG;AACH,MAAM,UAAU,WAAW,CAAC,OAAgB,EAAE,MAAc,EAAE,QAAiB;IAC7E,IAAI,OAAO,KAAK,IAAI,IAAI,OAAO,OAAO,KAAK,QAAQ,IAAI,CAAC,CAAC,SAAS,IAAI,OAAO,CAAC;QAAE,OAAO,OAAO,CAAA;IAC9F,MAAM,CAAC,GAAG,OAA8B,CAAA;IACxC,MAAM,IAAI,GAAG,UAAU,CAAC,GAAG,CAAC,CAAW,CAAC,CAAA;IACxC,IAAI,IAAI;QAAE,OAAO,IAAI,CAAA;IACrB,MAAM,IAAI,GAAI,CAAC,CAAC,OAA6B,CAAC,IAAI,CAAA;IAClD,IAAI,IAAI,KAAK,SAAS,IAAI,IAAI,KAAK,OAAO,IAAI,IAAI,KAAK,UAAU,EAAE,CAAC;QAClE,MAAM,IAAI,OAAO,CACf,MAAM,EACN,qBAAqB,EACrB,cAAc,MAAM,6CAA6C,IAAI,KAAK;YACxE,yEAAyE,CAC5E,CAAA;IACH,CAAC;IACD,qBAAqB,CAAC,CAAW,CAAC,CAAA,CAAC,mCAAmC;IACtE,MAAM,CAAC,GAAG,kBAAkB,CAAC,CAAC,EAAE,QAAQ,CAAC,CAAA,CAAC,mDAAmD;IAC7F,UAAU,CAAC,GAAG,CAAC,CAAW,EAAE,CAAC,CAAC,CAAA;IAC9B,OAAO,CAAC,CAAA;AACV,CAAC","sourcesContent":["/**\n * L3 bridge — faijs Shape ⇄ 库侧 brepjs-shaped shape（生成层共用，E5 模板）\n *\n * 桥接事实（2026-09-02 实测，2026-09-25 core-decouple wrapup 自有化）：\n * - faijs 的 brep slot（`brepOf(shape)` → `slot.solid`）运行时是 occt-wasm 的\n *   shape 句柄（number，见 `brep/engine/types.ts` 的 `BrepHandle` 注释）；\n * - 库侧（compatOp 投影的 brepjs-shaped 函数）消费的 ShapeHandle 是对象视图\n *   （`{ wrapped, disposed, delete, onDispose }`），其 `wrapped` 运行时也是\n *   同一 occt-wasm 实例的 shape 句柄 —— D10 单实例保证两者共享同一 wasm，\n *   句柄空间一致，**零拷贝互操作**。brepjs 子包删除后（裁决 9），本文件\n *   自带最小实现：句柄类型视图 / disposal 解除（no-op）。\n *\n * 因此投影一个库函数只需三件事：\n *   1. faijs Shape → 库输入：原样直传（faijs-native 库消费 core Shape）；\n *   2. 调库函数（Result 语义由各 op 处理：`ok` 取值 / `err` 抛错）；\n *   3. 库产物 → faijs Shape：取 `.wrapped`（owned handle）→ `fromHandle()`\n *      （meshHandle + 身份槽登记，所有权转入 faijs）。\n *\n * 依赖约束（同 `brep/handle-bridge.ts`）：只允许 import runtime-state / shape /\n * handle-bridge / occt-kernel 的类型与工具，保持 dist/sdk.js 零 heavy 依赖\n * （occt-kernel 的 getOcctKernel 为惰性访问，引擎装配前不触碰 wasm）。\n */\n\nimport type { Shape } from '../../mesh/types'\nimport { fromHandle } from '../../brep/handle-bridge'\nimport type { BrepHandle } from '../../brep/engine/types'\nimport { getBackends } from '../../runtime-state'\nimport { OpError } from './result-unwrap'\n\n// ── brepjs 借用面最小自有化（core-decouple wrapup §4.3）──────────────────────\n// 原实现：@faicad/faijs-brepjs/core/disposal.js（unregisterFromCleanup /\n// ShapeHandle）。brepjs 子包删除后按同语义内联。\n\n/** 库侧消费的 shape 句柄视图（borrowed：不拥有、不释放）。 */\nexport interface BorrowedShapeHandle {\n  /** The raw kernel shape handle */\n  readonly wrapped: unknown\n  /** Manual dispose（borrowed 视图为 no-op） */\n  [Symbol.dispose](): void\n  /** Alias for Symbol.dispose */\n  delete(): void\n  /** Always false for a borrowed view */\n  readonly disposed: boolean\n  /** Borrowed views never dispose, so callbacks never fire（no-op）。 */\n  onDispose(callback: () => void): void\n}\n\n/** brepjs 的 finalizer registry 已随子包删除——解除登记为 no-op。 */\nfunction unregisterFromCleanup(_deletable: object): void {\n  // no-op（原 brepjs core/disposal.ts#unregisterFromCleanup；registry 已不存在）\n}\n\n/**\n * Adopt a library-side product into a faijs Shape.\n *\n * Unwraps the owned occt handle (`.wrapped`) and registers it into faijs'\n * identity slot via `fromHandle` — ownership transfers to faijs, and the library\n * wrapper must not dispose it afterwards (projected ops return it directly).\n *\n * @param product - a library-side shape (ShapeHandle / AnyShape family).\n * @param segments - optional tessellation segments（投影侧 `segments?`，裁决 1；\n *   透传给 `fromHandle` 的三角化，默认 32 → 64 由 handle-bridge 兜底).\n * @returns the faijs Shape wrapping the same occt solid.\n */\nexport function adoptBrepjsProduct(product: unknown, segments?: number): Shape {\n  if (product === null || typeof product !== 'object' || !('wrapped' in product)) {\n    throw new Error('[faijs/l3-bridge] E_BAD_PRODUCT: expected a shape handle from the library engine')\n  }\n  // library `wrapped` may be an OcctHandle (`{id}`) or a raw numeric id;\n  // faijs' kernel meshShape expects the numeric shape id (fromHandle).\n  const wrappedAny = (product as { wrapped: unknown }).wrapped\n  const rawId =\n    typeof wrappedAny === 'object' && wrappedAny !== null && 'id' in wrappedAny\n      ? (wrappedAny as { id: number }).id\n      : (wrappedAny as number)\n  const wrapped = rawId as BrepHandle\n  return fromHandle(wrapped, segments === undefined ? undefined : { segments })\n}\n\n/**\n * Call a library function with a rebuilt positional argument list.\n *\n * Generated wrappers build `__args` positionally (geometry inputs pass through\n * untouched, value params pass through as-is); a plain `fn(...args: unknown[])` spread fails\n * TS2556 against fixed-arity signatures, so the call goes through this\n * rest-typed bridge that preserves the function's own `ReturnType` (so a\n * `Result` return keeps `.ok`/`.value` for the generated unwrap code).\n *\n * @param fn   the library function.\n * @param args the rebuilt positional argument list (geometry inputs + value params).\n * @returns whatever the function returns (typed via ReturnType).\n */\nexport function callBrepjs<F extends (...a: never[]) => unknown>(fn: F, args: unknown[]): ReturnType<F> {\n  return fn(...(args as never[])) as ReturnType<F>\n}\n\n/**\n * Phase 6（narrowing plan D7）：brep 测量 op 的执行前引擎身份断言。\n *\n * 库面 query op 是普通函数（不走 dispatchPath），但部分依赖 occt-only 内核方法\n * （shapeType / linearCenterOfMass / distance / curvature / interference，L2 平台面，\n * D6 表）——在这些 op 的实现上声明 `engines: ['occt']`，函数体第一行即断言当前\n * 引擎身份，在触碰内核之前报出可定位错误（文案与 D11-4 同构），不补桩、不回退。\n *\n * @param opName - op 名（报错文案）。\n * @param engines - 允许执行的引擎 id 集合（arg-spec 条目的 `engines` 字段）。\n * @throws BrepUnsupportedError 当当前引擎不在 `engines` 内。\n */\nexport function assertEngineFor(opName: string, engines: readonly string[]): void {\n  const current = getBackends().config.brepEngineId\n  if (current === null || current === undefined || !engines.some((e) => e === current)) {\n    const e = new Error(\n      `E_BREP_UNSUPPORTED: op '${opName}' requires engine ${engines.join(' or ')} (current=${current ?? '<none>'})`,\n    )\n    e.name = 'BrepUnsupportedError'\n    throw e\n  }\n}\n\n// ─── adoption (compatOp step 5; R1 fix) ──────────────────────────────────────\n\n/** Already-adopted handle dedup table: the same library handle adopted twice →\n *  the same faijs Shape (prevents double ownership / double dispose, R6). */\nconst adoptedMap = new WeakMap<object, Shape>()\n\n/**\n * Adopt a library handle as a faijs Shape (compatOp step 5's only adoption\n * entry point).\n *\n * ① pure data (no `.wrapped`) → pass through unchanged (query/data functions);\n * ② sub-shape kinds (face/edge/wire/vertex/shell) → throw E_SUBSHAPE_BOUNDARY\n *    (v1 boundary rejection, R4; the brand is a compile-time phantom type —\n *    the runtime kind is read from the occt-wasm handle's own `type` field,\n *    same as the kernel getShapeType helpers);\n * ③ entities (solid/compound) → no-op unregisterFromCleanup（★ R1：brepjs\n *    finalizer registry 已随子包删除，无孤儿释放风险）→ adoptBrepjsProduct.\n *\n * @param product - the library result (handle or plain data record).\n * @param opName - the op name (error messages).\n * @param segments - optional tessellation segments (compat `segments?`).\n * @returns the adopted faijs Shape, or the plain data untouched.\n */\nexport function adoptEntity(product: unknown, opName: string, segments?: number): unknown {\n  if (product === null || typeof product !== 'object' || !('wrapped' in product)) return product\n  const h = product as BorrowedShapeHandle\n  const prev = adoptedMap.get(h as object)\n  if (prev) return prev\n  const type = (h.wrapped as { type?: string }).type\n  if (type !== undefined && type !== 'solid' && type !== 'compound') {\n    throw new OpError(\n      opName,\n      'E_SUBSHAPE_BOUNDARY',\n      `[faijs/op] ${opName}: E_SUBSHAPE_BOUNDARY: sub-shape handle ('${type}') ` +\n        'must not cross the library boundary; return entity solids or plain data',\n    )\n  }\n  unregisterFromCleanup(h as object) // ★ R1: no-op（brepjs registry 已删除）\n  const s = adoptBrepjsProduct(h, segments) // fromHandle: tessellation + identity + BREP slots\n  adoptedMap.set(h as object, s)\n  return s\n}\n"]}
+{"version":3,"file":"l3-bridge.js","sourceRoot":"","sources":["../../../src/api/internal/l3-bridge.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;GAqBG;AAGH,OAAO,EAAE,UAAU,EAAE,MAAM,0BAA0B,CAAA;AAErD,OAAO,EAAE,WAAW,EAAE,oBAAoB,EAAE,MAAM,qBAAqB,CAAA;AACvE,OAAO,EAAE,OAAO,EAAE,MAAM,iBAAiB,CAAA;AAoBzC,uDAAuD;AACvD,SAAS,qBAAqB,CAAC,UAAkB;IAC/C,uEAAuE;AACzE,CAAC;AAED;;;;;;;;;;;GAWG;AACH,MAAM,UAAU,kBAAkB,CAAC,OAAgB,EAAE,QAAiB;IACpE,IAAI,OAAO,KAAK,IAAI,IAAI,OAAO,OAAO,KAAK,QAAQ,IAAI,CAAC,CAAC,SAAS,IAAI,OAAO,CAAC,EAAE,CAAC;QAC/E,MAAM,IAAI,KAAK,CAAC,kFAAkF,CAAC,CAAA;IACrG,CAAC;IACD,uEAAuE;IACvE,qEAAqE;IACrE,MAAM,UAAU,GAAI,OAAgC,CAAC,OAAO,CAAA;IAC5D,MAAM,KAAK,GACT,OAAO,UAAU,KAAK,QAAQ,IAAI,UAAU,KAAK,IAAI,IAAI,IAAI,IAAI,UAAU;QACzE,CAAC,CAAE,UAA6B,CAAC,EAAE;QACnC,CAAC,CAAE,UAAqB,CAAA;IAC5B,MAAM,OAAO,GAAG,KAAmB,CAAA;IACnC,OAAO,UAAU,CAAC,OAAO,EAAE,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,CAAC,CAAA;AAC/E,CAAC;AAED;;;;;;;;;;;;GAYG;AACH,MAAM,UAAU,UAAU,CAAuC,EAAK,EAAE,IAAe;IACrF,OAAO,EAAE,CAAC,GAAI,IAAgB,CAAkB,CAAA;AAClD,CAAC;AAED;;;;;;;;;;;GAWG;AACH,MAAM,UAAU,eAAe,CAAC,MAAc,EAAE,OAA0B;IACxE,MAAM,OAAO,GAAG,WAAW,EAAE,CAAC,MAAM,CAAC,YAAY,CAAA;IACjD,IAAI,OAAO,KAAK,IAAI,IAAI,OAAO,KAAK,SAAS,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,OAAO,CAAC,EAAE,CAAC;QACrF,MAAM,CAAC,GAAG,IAAI,KAAK,CACjB,2BAA2B,MAAM,qBAAqB,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,aAAa,OAAO,IAAI,QAAQ,GAAG,CAC9G,CAAA;QACD,CAAC,CAAC,IAAI,GAAG,sBAAsB,CAAA;QAC/B,MAAM,CAAC,CAAA;IACT,CAAC;AACH,CAAC;AAED;;;;;;;;;;;;;;;GAeG;AACH,MAAM,UAAU,aAAa,CAAC,MAAc,EAAE,KAAwB;IACpE,MAAM,OAAO,GAAG,WAAW,EAAE,CAAC,MAAM,CAAC,OAAO,CAAA;IAC5C,IAAI,OAAO,KAAK,IAAI,IAAI,OAAO,KAAK,SAAS,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,OAAO,CAAC,EAAE,CAAC;QACnF,MAAM,IAAI,oBAAoB,CAC5B,2BAA2B,MAAM,mBAAmB,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,aAAa,OAAO,IAAI,QAAQ,GAAG,CAC1G,CAAA;IACH,CAAC;AACH,CAAC;AAED,gFAAgF;AAEhF;6EAC6E;AAC7E,MAAM,UAAU,GAAG,IAAI,OAAO,EAAiB,CAAA;AAE/C;;;;;;;;;;;;;;;;GAgBG;AACH,MAAM,UAAU,WAAW,CAAC,OAAgB,EAAE,MAAc,EAAE,QAAiB;IAC7E,IAAI,OAAO,KAAK,IAAI,IAAI,OAAO,OAAO,KAAK,QAAQ,IAAI,CAAC,CAAC,SAAS,IAAI,OAAO,CAAC;QAAE,OAAO,OAAO,CAAA;IAC9F,MAAM,CAAC,GAAG,OAA8B,CAAA;IACxC,MAAM,IAAI,GAAG,UAAU,CAAC,GAAG,CAAC,CAAW,CAAC,CAAA;IACxC,IAAI,IAAI;QAAE,OAAO,IAAI,CAAA;IACrB,MAAM,IAAI,GAAI,CAAC,CAAC,OAA6B,CAAC,IAAI,CAAA;IAClD,IAAI,IAAI,KAAK,SAAS,IAAI,IAAI,KAAK,OAAO,IAAI,IAAI,KAAK,UAAU,EAAE,CAAC;QAClE,MAAM,IAAI,OAAO,CACf,MAAM,EACN,qBAAqB,EACrB,cAAc,MAAM,6CAA6C,IAAI,KAAK;YACxE,yEAAyE,CAC5E,CAAA;IACH,CAAC;IACD,qBAAqB,CAAC,CAAW,CAAC,CAAA,CAAC,mCAAmC;IACtE,MAAM,CAAC,GAAG,kBAAkB,CAAC,CAAC,EAAE,QAAQ,CAAC,CAAA,CAAC,mDAAmD;IAC7F,UAAU,CAAC,GAAG,CAAC,CAAW,EAAE,CAAC,CAAC,CAAA;IAC9B,OAAO,CAAC,CAAA;AACV,CAAC","sourcesContent":["/**\n * L3 bridge — faijs Shape ⇄ 库侧 brepjs-shaped shape（生成层共用，E5 模板）\n *\n * 桥接事实（2026-09-02 实测，2026-09-25 core-decouple wrapup 自有化）：\n * - faijs 的 brep slot（`brepOf(shape)` → `slot.solid`）运行时是 occt-wasm 的\n *   shape 句柄（number，见 `brep/engine/types.ts` 的 `BrepHandle` 注释）；\n * - 库侧（compatOp 投影的 brepjs-shaped 函数）消费的 ShapeHandle 是对象视图\n *   （`{ wrapped, disposed, delete, onDispose }`），其 `wrapped` 运行时也是\n *   同一 occt-wasm 实例的 shape 句柄 —— D10 单实例保证两者共享同一 wasm，\n *   句柄空间一致，**零拷贝互操作**。brepjs 子包删除后（裁决 9），本文件\n *   自带最小实现：句柄类型视图 / disposal 解除（no-op）。\n *\n * 因此投影一个库函数只需三件事：\n *   1. faijs Shape → 库输入：原样直传（faijs-native 库消费 core Shape）；\n *   2. 调库函数（Result 语义由各 op 处理：`ok` 取值 / `err` 抛错）；\n *   3. 库产物 → faijs Shape：取 `.wrapped`（owned handle）→ `fromHandle()`\n *      （meshHandle + 身份槽登记，所有权转入 faijs）。\n *\n * 依赖约束（同 `brep/handle-bridge.ts`）：只允许 import runtime-state / shape /\n * handle-bridge / occt-kernel 的类型与工具，保持 dist/sdk.js 零 heavy 依赖\n * （occt-kernel 的 getOcctKernel 为惰性访问，引擎装配前不触碰 wasm）。\n */\n\nimport type { Shape } from '../../mesh/types'\nimport { fromHandle } from '../../brep/handle-bridge'\nimport type { BrepHandle } from '../../brep/engine/types'\nimport { getBackends, HostUnsupportedError } from '../../runtime-state'\nimport { OpError } from './result-unwrap'\n\n// ── brepjs 借用面最小自有化（core-decouple wrapup §4.3）──────────────────────\n// 原实现：@faicad/faijs-brepjs/core/disposal.js（unregisterFromCleanup /\n// ShapeHandle）。brepjs 子包删除后按同语义内联。\n\n/** 库侧消费的 shape 句柄视图（borrowed：不拥有、不释放）。 */\nexport interface BorrowedShapeHandle {\n  /** The raw kernel shape handle */\n  readonly wrapped: unknown\n  /** Manual dispose（borrowed 视图为 no-op） */\n  [Symbol.dispose](): void\n  /** Alias for Symbol.dispose */\n  delete(): void\n  /** Always false for a borrowed view */\n  readonly disposed: boolean\n  /** Borrowed views never dispose, so callbacks never fire（no-op）。 */\n  onDispose(callback: () => void): void\n}\n\n/** brepjs 的 finalizer registry 已随子包删除——解除登记为 no-op。 */\nfunction unregisterFromCleanup(_deletable: object): void {\n  // no-op（原 brepjs core/disposal.ts#unregisterFromCleanup；registry 已不存在）\n}\n\n/**\n * Adopt a library-side product into a faijs Shape.\n *\n * Unwraps the owned occt handle (`.wrapped`) and registers it into faijs'\n * identity slot via `fromHandle` — ownership transfers to faijs, and the library\n * wrapper must not dispose it afterwards (projected ops return it directly).\n *\n * @param product - a library-side shape (ShapeHandle / AnyShape family).\n * @param segments - optional tessellation segments（投影侧 `segments?`，裁决 1；\n *   透传给 `fromHandle` 的三角化，默认 32 → 64 由 handle-bridge 兜底).\n * @returns the faijs Shape wrapping the same occt solid.\n */\nexport function adoptBrepjsProduct(product: unknown, segments?: number): Shape {\n  if (product === null || typeof product !== 'object' || !('wrapped' in product)) {\n    throw new Error('[faijs/l3-bridge] E_BAD_PRODUCT: expected a shape handle from the library engine')\n  }\n  // library `wrapped` may be an OcctHandle (`{id}`) or a raw numeric id;\n  // faijs' kernel meshShape expects the numeric shape id (fromHandle).\n  const wrappedAny = (product as { wrapped: unknown }).wrapped\n  const rawId =\n    typeof wrappedAny === 'object' && wrappedAny !== null && 'id' in wrappedAny\n      ? (wrappedAny as { id: number }).id\n      : (wrappedAny as number)\n  const wrapped = rawId as BrepHandle\n  return fromHandle(wrapped, segments === undefined ? undefined : { segments })\n}\n\n/**\n * Call a library function with a rebuilt positional argument list.\n *\n * Generated wrappers build `__args` positionally (geometry inputs pass through\n * untouched, value params pass through as-is); a plain `fn(...args: unknown[])` spread fails\n * TS2556 against fixed-arity signatures, so the call goes through this\n * rest-typed bridge that preserves the function's own `ReturnType` (so a\n * `Result` return keeps `.ok`/`.value` for the generated unwrap code).\n *\n * @param fn   the library function.\n * @param args the rebuilt positional argument list (geometry inputs + value params).\n * @returns whatever the function returns (typed via ReturnType).\n */\nexport function callBrepjs<F extends (...a: never[]) => unknown>(fn: F, args: unknown[]): ReturnType<F> {\n  return fn(...(args as never[])) as ReturnType<F>\n}\n\n/**\n * Phase 6（narrowing plan D7）：brep 测量 op 的执行前引擎身份断言。\n *\n * 库面 query op 是普通函数（不走 dispatchPath），但部分依赖 occt-only 内核方法\n * （shapeType / linearCenterOfMass / distance / curvature / interference，L2 平台面，\n * D6 表）——在这些 op 的实现上声明 `engines: ['occt']`，函数体第一行即断言当前\n * 引擎身份，在触碰内核之前报出可定位错误（文案与 D11-4 同构），不补桩、不回退。\n *\n * @param opName - op 名（报错文案）。\n * @param engines - 允许执行的引擎 id 集合（arg-spec 条目的 `engines` 字段）。\n * @throws BrepUnsupportedError 当当前引擎不在 `engines` 内。\n */\nexport function assertEngineFor(opName: string, engines: readonly string[]): void {\n  const current = getBackends().config.brepEngineId\n  if (current === null || current === undefined || !engines.some((e) => e === current)) {\n    const e = new Error(\n      `E_BREP_UNSUPPORTED: op '${opName}' requires engine ${engines.join(' or ')} (current=${current ?? '<none>'})`,\n    )\n    e.name = 'BrepUnsupportedError'\n    throw e\n  }\n}\n\n/**\n * 导出命令的宿主环境断言（与 {@link assertEngineFor} 并列同构，正交轴）。\n *\n * 脚本可由 AI 生成任意代码、属不受信输入，而出把「往哪写、写几份、写什么」的\n * 决定权交给脚本文本；因此脚本面导出命令只在 `'node'` 宿主开放，browser / weapp\n * 一律在执行前拒绝（`HostPorts.hostEnv` 未声明 = 非 node，不兜底放行）。\n *\n * 断言只在 API 函数体第一行执行（普通函数不走 dispatchPath），所以既覆盖脚本面\n * `cad.*`，也覆盖 TS 直连同一函数的旁路——不存在「脚本被拒、库面直连却放行」。\n * 判据只读 `config.hostEnv`，与安全扫描档位（`securityPolicy`）解耦：放宽档位\n * （含 `off`）不解除本门禁。\n *\n * @param opName - op 名（报错文案）。\n * @param hosts - 允许执行的宿主值集合。\n * @throws HostUnsupportedError 当当前宿主不在 `hosts` 内（含未声明）。\n */\nexport function assertHostFor(opName: string, hosts: readonly string[]): void {\n  const current = getBackends().config.hostEnv\n  if (current === null || current === undefined || !hosts.some((h) => h === current)) {\n    throw new HostUnsupportedError(\n      `E_HOST_UNSUPPORTED: op '${opName}' requires host ${hosts.join(' or ')} (current=${current ?? '<none>'})`,\n    )\n  }\n}\n\n// ─── adoption (compatOp step 5; R1 fix) ──────────────────────────────────────\n\n/** Already-adopted handle dedup table: the same library handle adopted twice →\n *  the same faijs Shape (prevents double ownership / double dispose, R6). */\nconst adoptedMap = new WeakMap<object, Shape>()\n\n/**\n * Adopt a library handle as a faijs Shape (compatOp step 5's only adoption\n * entry point).\n *\n * ① pure data (no `.wrapped`) → pass through unchanged (query/data functions);\n * ② sub-shape kinds (face/edge/wire/vertex/shell) → throw E_SUBSHAPE_BOUNDARY\n *    (v1 boundary rejection, R4; the brand is a compile-time phantom type —\n *    the runtime kind is read from the occt-wasm handle's own `type` field,\n *    same as the kernel getShapeType helpers);\n * ③ entities (solid/compound) → no-op unregisterFromCleanup（★ R1：brepjs\n *    finalizer registry 已随子包删除，无孤儿释放风险）→ adoptBrepjsProduct.\n *\n * @param product - the library result (handle or plain data record).\n * @param opName - the op name (error messages).\n * @param segments - optional tessellation segments (compat `segments?`).\n * @returns the adopted faijs Shape, or the plain data untouched.\n */\nexport function adoptEntity(product: unknown, opName: string, segments?: number): unknown {\n  if (product === null || typeof product !== 'object' || !('wrapped' in product)) return product\n  const h = product as BorrowedShapeHandle\n  const prev = adoptedMap.get(h as object)\n  if (prev) return prev\n  const type = (h.wrapped as { type?: string }).type\n  if (type !== undefined && type !== 'solid' && type !== 'compound') {\n    throw new OpError(\n      opName,\n      'E_SUBSHAPE_BOUNDARY',\n      `[faijs/op] ${opName}: E_SUBSHAPE_BOUNDARY: sub-shape handle ('${type}') ` +\n        'must not cross the library boundary; return entity solids or plain data',\n    )\n  }\n  unregisterFromCleanup(h as object) // ★ R1: no-op（brepjs registry 已删除）\n  const s = adoptBrepjsProduct(h, segments) // fromHandle: tessellation + identity + BREP slots\n  adoptedMap.set(h as object, s)\n  return s\n}\n"]}

package/dist/api/loft-advanced.d.ts

@@ -0,0 +1,66 @@
+/**
+ * api loft-advanced — 放样（完整语义）：occt 平台 op。
+ *
+ * 为什么与基础 `loft` 拆成两个 op（方案 2026-10-10-sweep-loft-dual-engine-plan
+ * §3 总览 / §6）：基础 `loft` 进 L1（两内核都要支持），选项集必须等于**两内核
+ * 交集**；而本 op 承载的 `startPoint`（起点退化到点的蒙皮）与 `tolerance`
+ * （ThruSections 缝合公差）在 brepkit 没有对应能力（brepkit 的 `loftWithOptions`
+ * 只有 endPoint / ruled）。留在基础 op 上会造成语义分叉 —— 故上移到本 op
+ * （与 `sketchOnFace → sketchOnSurface` 同构）。
+ *
+ * 实现走 core 直连 occt `loft` / `loftWithVertices`（`BRepOffsetAPI_ThruSections`），
+ * 产物经 `fromBrep` 收养。
+ */
+import type { Shape } from '../mesh/types.js';
+/** 放样完整配置（occt 平台 op）。 */
+export interface LoftAdvancedOptions {
+    /** 直线插值（ruled）。默认 true。 */
+    ruled?: boolean;
+    /** 起点（退化到点的蒙皮）。 */
+    startPoint?: readonly [number, number, number] | {
+        x: number;
+        y: number;
+        z: number;
+    };
+    /** 终点（退化到点的蒙皮）。 */
+    endPoint?: readonly [number, number, number] | {
+        x: number;
+        y: number;
+        z: number;
+    };
+    /** ThruSections 缝合公差。默认 1e-6。 */
+    tolerance?: number;
+}
+/**
+ * 放样（完整语义）：按给定顺序在截面之间蒙皮生成体。
+ * @group 特征
+ * @inputs 2
+ * @async true
+ * @qual ok
+ * @name loftAdvanced
+ * @note 平台 op：仅 occt 引擎（BRepOffsetAPI_ThruSections）。截面可为 wire 或面
+ *       （面取其外环），至少 2 个；`startPoint` / `endPoint` 可做退化到点的蒙皮；
+ *       `tolerance` 控制缝合公差。非 occt 引擎执行前报错；brep_mock 不拦截。
+ *       基础放样（两内核交集）用 `cad.loft`。不做 `loftAll`（数组产物）。
+ * @returns Shape 放样体。
+ * @param sections - 有序截面集合（wire 或面；面取其外环）。type:Shape[] required:true
+ * @param opts - 放样完整配置（ruled / startPoint / endPoint / tolerance）。type:LoftAdvancedOptions required:false
+ * @example
+ * const bottom = cad.profile({ contours: [{ segments: [
+ *   { kind: 'line', x1: -5, y1: -5, x2: 5, y2: -5 },
+ *   { kind: 'line', x1: 5, y1: -5, x2: 5, y2: 5 },
+ *   { kind: 'line', x1: 5, y1: 5, x2: -5, y2: 5 },
+ *   { kind: 'line', x1: -5, y1: 5, x2: -5, y2: -5 },
+ * ] }] })
+ * const top = cad.translate(cad.profile({ contours: [{ segments: [
+ *   { kind: 'line', x1: -3, y1: -3, x2: 3, y2: -3 },
+ *   { kind: 'line', x1: 3, y1: -3, x2: 3, y2: 3 },
+ *   { kind: 'line', x1: 3, y1: 3, x2: -3, y2: 3 },
+ *   { kind: 'line', x1: -3, y1: 3, x2: -3, y2: -3 },
+ * ] }] }), [0, 0, 20])
+ * const body = await cad.loftAdvanced([bottom, top], { endPoint: [0, 0, 30] })
+ */
+export declare const loftAdvanced: ((sections: Shape[], opts?: LoftAdvancedOptions | undefined) => Promise<Shape>) & {
+    __faijs__dualOp?: import("../define-op.js").DualOpMeta;
+};
+//# sourceMappingURL=loft-advanced.d.ts.map

package/dist/api/loft-advanced.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"loft-advanced.d.ts","sourceRoot":"","sources":["../../src/api/loft-advanced.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AAEH,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,eAAe,CAAA;AAU1C,0BAA0B;AAC1B,MAAM,WAAW,mBAAmB;IAClC,2BAA2B;IAC3B,KAAK,CAAC,EAAE,OAAO,CAAA;IACf,mBAAmB;IACnB,UAAU,CAAC,EAAE,SAAS,CAAC,MAAM,EAAE,MAAM,EAAE,MAAM,CAAC,GAAG;QAAE,CAAC,EAAE,MAAM,CAAC;QAAC,CAAC,EAAE,MAAM,CAAC;QAAC,CAAC,EAAE,MAAM,CAAA;KAAE,CAAA;IACpF,mBAAmB;IACnB,QAAQ,CAAC,EAAE,SAAS,CAAC,MAAM,EAAE,MAAM,EAAE,MAAM,CAAC,GAAG;QAAE,CAAC,EAAE,MAAM,CAAC;QAAC,CAAC,EAAE,MAAM,CAAC;QAAC,CAAC,EAAE,MAAM,CAAA;KAAE,CAAA;IAClF,iCAAiC;IACjC,SAAS,CAAC,EAAE,MAAM,CAAA;CACnB;AAiDD;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA4BG;AACH,eAAO,MAAM,YAAY;;CASvB,CAAA"}

package/dist/api/loft-advanced.js

@@ -0,0 +1,112 @@
+/**
+ * api loft-advanced — 放样（完整语义）：occt 平台 op。
+ *
+ * 为什么与基础 `loft` 拆成两个 op（方案 2026-10-10-sweep-loft-dual-engine-plan
+ * §3 总览 / §6）：基础 `loft` 进 L1（两内核都要支持），选项集必须等于**两内核
+ * 交集**；而本 op 承载的 `startPoint`（起点退化到点的蒙皮）与 `tolerance`
+ * （ThruSections 缝合公差）在 brepkit 没有对应能力（brepkit 的 `loftWithOptions`
+ * 只有 endPoint / ruled）。留在基础 op 上会造成语义分叉 —— 故上移到本 op
+ * （与 `sketchOnFace → sketchOnSurface` 同构）。
+ *
+ * 实现走 core 直连 occt `loft` / `loftWithVertices`（`BRepOffsetAPI_ThruSections`），
+ * 产物经 `fromBrep` 收养。
+ */
+import { defineOp } from '../sdk.js';
+import { getBrepApi } from '../brep/handle-bridge.js';
+import { fromBrep } from '../shape.js';
+import { solidToShape } from '../brep/brep-ops.js';
+import { getOcctKernel } from '../occt-kernel/occtKernel.js';
+import { toProfileWireView } from './internal/profile-wire.js';
+/** PointInput → [x,y,z]（旧 toVec3 同口径）。 */
+function toVec3(p) {
+    if (Array.isArray(p) && p.length >= 3)
+        return [p[0], p[1], p[2]];
+    const o = p;
+    return [o.x, o.y, o.z];
+}
+/** BREP 路径：按序蒙皮各截面（wire 视图 → occt-wasm 直连 → fromBrep 收养）。 */
+function loftAdvancedBrep(sections, opts) {
+    if (!Array.isArray(sections) || sections.length === 0) {
+        throw new Error('E_LOFT_NO_SECTIONS: loft requires a non-empty array of section shapes');
+    }
+    // 每截面：wire 直用；面取外环（孔环不参与放样）。
+    const wireViews = sections.map((s) => toProfileWireView(s));
+    const { ruled = true, startPoint, endPoint } = opts ?? {};
+    const kernel = getBrepApi();
+    const k = getOcctKernel();
+    const wireHandles = wireViews.map((w) => w.wrapped);
+    try {
+        let h;
+        if (startPoint !== undefined || endPoint !== undefined) {
+            const startVertex = startPoint !== undefined ? k.makeVertex(...toVec3(startPoint)) : undefined;
+            const endVertex = endPoint !== undefined ? k.makeVertex(...toVec3(endPoint)) : undefined;
+            try {
+                h = k.loftWithVertices(wireHandles, true, ruled, startVertex, endVertex);
+            }
+            finally {
+                if (startVertex !== undefined)
+                    k.release(startVertex);
+                if (endVertex !== undefined)
+                    k.release(endVertex);
+            }
+        }
+        else {
+            h = k.loft(wireHandles, true, ruled);
+        }
+        return fromBrep(solidToShape(kernel, h), { solid: h });
+    }
+    catch (e) {
+        const raw = e instanceof Error ? e.message : String(e);
+        throw new Error(`E_LOFT_FAILED: loft failed: ${raw}`, { cause: e });
+    }
+    finally {
+        // 面→外环产出的 wire 是 arena 新句柄（曲线借用不 release）
+        for (const w of wireViews) {
+            if (!w.borrowed) {
+                try {
+                    kernel.release(w.wrapped);
+                }
+                catch { /* 已释放 */ }
+            }
+        }
+    }
+}
+/**
+ * 放样（完整语义）：按给定顺序在截面之间蒙皮生成体。
+ * @group 特征
+ * @inputs 2
+ * @async true
+ * @qual ok
+ * @name loftAdvanced
+ * @note 平台 op：仅 occt 引擎（BRepOffsetAPI_ThruSections）。截面可为 wire 或面
+ *       （面取其外环），至少 2 个；`startPoint` / `endPoint` 可做退化到点的蒙皮；
+ *       `tolerance` 控制缝合公差。非 occt 引擎执行前报错；brep_mock 不拦截。
+ *       基础放样（两内核交集）用 `cad.loft`。不做 `loftAll`（数组产物）。
+ * @returns Shape 放样体。
+ * @param sections - 有序截面集合（wire 或面；面取其外环）。type:Shape[] required:true
+ * @param opts - 放样完整配置（ruled / startPoint / endPoint / tolerance）。type:LoftAdvancedOptions required:false
+ * @example
+ * const bottom = cad.profile({ contours: [{ segments: [
+ *   { kind: 'line', x1: -5, y1: -5, x2: 5, y2: -5 },
+ *   { kind: 'line', x1: 5, y1: -5, x2: 5, y2: 5 },
+ *   { kind: 'line', x1: 5, y1: 5, x2: -5, y2: 5 },
+ *   { kind: 'line', x1: -5, y1: 5, x2: -5, y2: -5 },
+ * ] }] })
+ * const top = cad.translate(cad.profile({ contours: [{ segments: [
+ *   { kind: 'line', x1: -3, y1: -3, x2: 3, y2: -3 },
+ *   { kind: 'line', x1: 3, y1: -3, x2: 3, y2: 3 },
+ *   { kind: 'line', x1: 3, y1: 3, x2: -3, y2: 3 },
+ *   { kind: 'line', x1: -3, y1: 3, x2: -3, y2: -3 },
+ * ] }] }), [0, 0, 20])
+ * const body = await cad.loftAdvanced([bottom, top], { endPoint: [0, 0, 30] })
+ */
+export const loftAdvanced = defineOp({
+    name: 'loftAdvanced',
+    brep(sections, opts) {
+        return loftAdvancedBrep(sections, opts);
+    },
+    engines: ['occt'],
+    naming: { kind: 'unmodeled', reason: 'lofted-body face vocabulary not defined' },
+    paramDims: {},
+});
+//# sourceMappingURL=loft-advanced.js.map

package/dist/api/loft-advanced.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"loft-advanced.js","sourceRoot":"","sources":["../../src/api/loft-advanced.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AAGH,OAAO,EAAE,QAAQ,EAAE,MAAM,QAAQ,CAAA;AAEjC,OAAO,EAAE,UAAU,EAAE,MAAM,uBAAuB,CAAA;AAClD,OAAO,EAAE,QAAQ,EAAE,MAAM,UAAU,CAAA;AACnC,OAAO,EAAE,YAAY,EAAE,MAAM,kBAAkB,CAAA;AAC/C,OAAO,EAAE,aAAa,EAAE,MAAM,2BAA2B,CAAA;AACzD,OAAO,EAAE,iBAAiB,EAAE,MAAM,yBAAyB,CAAA;AAe3D,0CAA0C;AAC1C,SAAS,MAAM,CAAC,CAAoC;IAClD,IAAI,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,MAAM,IAAI,CAAC;QAAE,OAAO,CAAC,CAAC,CAAC,CAAC,CAAE,EAAE,CAAC,CAAC,CAAC,CAAE,EAAE,CAAC,CAAC,CAAC,CAAE,CAAC,CAAA;IACnE,MAAM,CAAC,GAAG,CAAwC,CAAA;IAClD,OAAO,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAA;AACxB,CAAC;AAED,6DAA6D;AAC7D,SAAS,gBAAgB,CAAC,QAAiB,EAAE,IAA0B;IACrE,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,QAAQ,CAAC,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACtD,MAAM,IAAI,KAAK,CAAC,uEAAuE,CAAC,CAAA;IAC1F,CAAC;IACD,6BAA6B;IAC7B,MAAM,SAAS,GAAG,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,iBAAiB,CAAC,CAAC,CAAC,CAAC,CAAA;IAC3D,MAAM,EAAE,KAAK,GAAG,IAAI,EAAE,UAAU,EAAE,QAAQ,EAAE,GAAG,IAAI,IAAI,EAAE,CAAA;IACzD,MAAM,MAAM,GAAG,UAAU,EAAE,CAAA;IAC3B,MAAM,CAAC,GAAG,aAAa,EAAE,CAAA;IACzB,MAAM,WAAW,GAAG,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAgB,CAAC,CAAA;IAE5D,IAAI,CAAC;QACH,IAAI,CAAU,CAAA;QACd,IAAI,UAAU,KAAK,SAAS,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;YACvD,MAAM,WAAW,GAAG,UAAU,KAAK,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,GAAG,MAAM,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAA;YAC9F,MAAM,SAAS,GAAG,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,GAAG,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAA;YACxF,IAAI,CAAC;gBACH,CAAC,GAAG,CAAC,CAAC,gBAAgB,CAAC,WAAW,EAAE,IAAI,EAAE,KAAK,EAAE,WAAoB,EAAE,SAAkB,CAAC,CAAA;YAC5F,CAAC;oBAAS,CAAC;gBACT,IAAI,WAAW,KAAK,SAAS;oBAAE,CAAC,CAAC,OAAO,CAAC,WAAW,CAAC,CAAA;gBACrD,IAAI,SAAS,KAAK,SAAS;oBAAE,CAAC,CAAC,OAAO,CAAC,SAAS,CAAC,CAAA;YACnD,CAAC;QACH,CAAC;aAAM,CAAC;YACN,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,WAAW,EAAE,IAAI,EAAE,KAAK,CAAC,CAAA;QACtC,CAAC;QACD,OAAO,QAAQ,CAAC,YAAY,CAAC,MAAM,EAAE,CAAe,CAAC,EAAE,EAAE,KAAK,EAAE,CAAe,EAAE,CAAC,CAAA;IACpF,CAAC;IAAC,OAAO,CAAC,EAAE,CAAC;QACX,MAAM,GAAG,GAAG,CAAC,YAAY,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAA;QACtD,MAAM,IAAI,KAAK,CAAC,+BAA+B,GAAG,EAAE,EAAE,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,CAAA;IACrE,CAAC;YAAS,CAAC;QACT,0CAA0C;QAC1C,KAAK,MAAM,CAAC,IAAI,SAAS,EAAE,CAAC;YAC1B,IAAI,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC;gBAChB,IAAI,CAAC;oBAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,CAAA;gBAAC,CAAC;gBAAC,MAAM,CAAC,CAAC,SAAS,CAAC,CAAC;YACvD,CAAC;QACH,CAAC;IACH,CAAC;AACH,CAAC;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA4BG;AACH,MAAM,CAAC,MAAM,YAAY,GAAG,QAAQ,CAAC;IACnC,IAAI,EAAE,cAAc;IACpB,IAAI,CAAC,QAAiB,EAAE,IAA0B;QAChD,OAAO,gBAAgB,CAAC,QAAQ,EAAE,IAAI,CAAC,CAAA;IACzC,CAAC;IACD,OAAO,EAAE,CAAC,MAAM,CAAC;IACjB,MAAM,EAAE,EAAE,IAAI,EAAE,WAAW,EAAE,MAAM,EAAE,yCAAyC,EAAgB;IAE9F,SAAS,EAAE,EAAE;CACd,CAAC,CAAA","sourcesContent":["/**\n * api loft-advanced — 放样（完整语义）：occt 平台 op。\n *\n * 为什么与基础 `loft` 拆成两个 op（方案 2026-10-10-sweep-loft-dual-engine-plan\n * §3 总览 / §6）：基础 `loft` 进 L1（两内核都要支持），选项集必须等于**两内核\n * 交集**；而本 op 承载的 `startPoint`（起点退化到点的蒙皮）与 `tolerance`\n * （ThruSections 缝合公差）在 brepkit 没有对应能力（brepkit 的 `loftWithOptions`\n * 只有 endPoint / ruled）。留在基础 op 上会造成语义分叉 —— 故上移到本 op\n * （与 `sketchOnFace → sketchOnSurface` 同构）。\n *\n * 实现走 core 直连 occt `loft` / `loftWithVertices`（`BRepOffsetAPI_ThruSections`），\n * 产物经 `fromBrep` 收养。\n */\n\nimport type { Shape } from '../mesh/types'\nimport { defineOp } from '../sdk'\nimport type { Provenance } from '../topology/naming/lineage'\nimport { getBrepApi } from '../brep/handle-bridge'\nimport { fromBrep } from '../shape'\nimport { solidToShape } from '../brep/brep-ops'\nimport { getOcctKernel } from '../occt-kernel/occtKernel'\nimport { toProfileWireView } from './internal/profile-wire'\nimport type { BrepHandle } from '../brep/engine/types'\n\n/** 放样完整配置（occt 平台 op）。 */\nexport interface LoftAdvancedOptions {\n  /** 直线插值（ruled）。默认 true。 */\n  ruled?: boolean\n  /** 起点（退化到点的蒙皮）。 */\n  startPoint?: readonly [number, number, number] | { x: number; y: number; z: number }\n  /** 终点（退化到点的蒙皮）。 */\n  endPoint?: readonly [number, number, number] | { x: number; y: number; z: number }\n  /** ThruSections 缝合公差。默认 1e-6。 */\n  tolerance?: number\n}\n\n/** PointInput → [x,y,z]（旧 toVec3 同口径）。 */\nfunction toVec3(p: LoftAdvancedOptions['startPoint']): [number, number, number] {\n  if (Array.isArray(p) && p.length >= 3) return [p[0]!, p[1]!, p[2]!]\n  const o = p as { x: number; y: number; z: number }\n  return [o.x, o.y, o.z]\n}\n\n/** BREP 路径：按序蒙皮各截面（wire 视图 → occt-wasm 直连 → fromBrep 收养）。 */\nfunction loftAdvancedBrep(sections: Shape[], opts?: LoftAdvancedOptions): Shape {\n  if (!Array.isArray(sections) || sections.length === 0) {\n    throw new Error('E_LOFT_NO_SECTIONS: loft requires a non-empty array of section shapes')\n  }\n  // 每截面：wire 直用；面取外环（孔环不参与放样）。\n  const wireViews = sections.map((s) => toProfileWireView(s))\n  const { ruled = true, startPoint, endPoint } = opts ?? {}\n  const kernel = getBrepApi()\n  const k = getOcctKernel()\n  const wireHandles = wireViews.map((w) => w.wrapped as never)\n\n  try {\n    let h: unknown\n    if (startPoint !== undefined || endPoint !== undefined) {\n      const startVertex = startPoint !== undefined ? k.makeVertex(...toVec3(startPoint)) : undefined\n      const endVertex = endPoint !== undefined ? k.makeVertex(...toVec3(endPoint)) : undefined\n      try {\n        h = k.loftWithVertices(wireHandles, true, ruled, startVertex as never, endVertex as never)\n      } finally {\n        if (startVertex !== undefined) k.release(startVertex)\n        if (endVertex !== undefined) k.release(endVertex)\n      }\n    } else {\n      h = k.loft(wireHandles, true, ruled)\n    }\n    return fromBrep(solidToShape(kernel, h as BrepHandle), { solid: h as BrepHandle })\n  } catch (e) {\n    const raw = e instanceof Error ? e.message : String(e)\n    throw new Error(`E_LOFT_FAILED: loft failed: ${raw}`, { cause: e })\n  } finally {\n    // 面→外环产出的 wire 是 arena 新句柄（曲线借用不 release）\n    for (const w of wireViews) {\n      if (!w.borrowed) {\n        try { kernel.release(w.wrapped) } catch { /* 已释放 */ }\n      }\n    }\n  }\n}\n\n/**\n * 放样（完整语义）：按给定顺序在截面之间蒙皮生成体。\n * @group 特征\n * @inputs 2\n * @async true\n * @qual ok\n * @name loftAdvanced\n * @note 平台 op：仅 occt 引擎（BRepOffsetAPI_ThruSections）。截面可为 wire 或面\n *       （面取其外环），至少 2 个；`startPoint` / `endPoint` 可做退化到点的蒙皮；\n *       `tolerance` 控制缝合公差。非 occt 引擎执行前报错；brep_mock 不拦截。\n *       基础放样（两内核交集）用 `cad.loft`。不做 `loftAll`（数组产物）。\n * @returns Shape 放样体。\n * @param sections - 有序截面集合（wire 或面；面取其外环）。type:Shape[] required:true\n * @param opts - 放样完整配置（ruled / startPoint / endPoint / tolerance）。type:LoftAdvancedOptions required:false\n * @example\n * const bottom = cad.profile({ contours: [{ segments: [\n *   { kind: 'line', x1: -5, y1: -5, x2: 5, y2: -5 },\n *   { kind: 'line', x1: 5, y1: -5, x2: 5, y2: 5 },\n *   { kind: 'line', x1: 5, y1: 5, x2: -5, y2: 5 },\n *   { kind: 'line', x1: -5, y1: 5, x2: -5, y2: -5 },\n * ] }] })\n * const top = cad.translate(cad.profile({ contours: [{ segments: [\n *   { kind: 'line', x1: -3, y1: -3, x2: 3, y2: -3 },\n *   { kind: 'line', x1: 3, y1: -3, x2: 3, y2: 3 },\n *   { kind: 'line', x1: 3, y1: 3, x2: -3, y2: 3 },\n *   { kind: 'line', x1: -3, y1: 3, x2: -3, y2: -3 },\n * ] }] }), [0, 0, 20])\n * const body = await cad.loftAdvanced([bottom, top], { endPoint: [0, 0, 30] })\n */\nexport const loftAdvanced = defineOp({\n  name: 'loftAdvanced',\n  brep(sections: Shape[], opts?: LoftAdvancedOptions) {\n    return loftAdvancedBrep(sections, opts)\n  },\n  engines: ['occt'],\n  naming: { kind: 'unmodeled', reason: 'lofted-body face vocabulary not defined' } as Provenance,\n\n  paramDims: {},\n})\n"]}

package/dist/api/loft.d.ts

@@ -1,36 +1,27 @@
 /**
- * api loft — 放样：多个截面之间蒙皮生成体（手写平台 op，Phase 4 → G5 core 直连）
+ * api loft — 放样（基础）：多截面按序蒙皮生成体。**两内核都支持**。
  *
- * @platform occt — 实现走 core 直连 `occt-wasm loft` / `loftWithVertices`
- * （BRepOffsetAPI_ThruSections；engine-method-map 里 `loft` 为 occt-only）⇒ 平台 op：
- * defineOp 声明 `engines: ['occt']`（D11）。
+ * 为什么不是 occt-only（方案 2026-10-10-sweep-loft-dual-engine-plan §3 总览 / §5）：
+ * 基础放样（等顶点数的有序截面蒙皮）两个内核都能做 —— occt 走原生 `loft`
+ * （`BRepOffsetAPI_ThruSections`），brepkit 走 `loft` / `loftSmooth` /
+ * `loftWithOptions`；差异（brepkit 只吃 face）由适配器消化，op 层只看到中立名
+ * `BrepEngineApi#loft`。
  *
- * 为什么手写而不走生成投影：与 `api/sweep.ts` 同因——截面最常见来源是
- * `cad.profile(...)`（产出 **face**），内核 `loft(wires, …)` 只吃 wire ⇒
- * 需要「面 → 外环」输入适配（`internal/profile-wire.ts` 的唯一步径）。
- *
- * core-decouple G5：旧 `loft`（brepjs）替换为 occt-wasm 原生直连，
- * 产物经 `fromBrep` 收养（替代 l3-bridge adoptEntity）。
+ * ⚠️ brepkit 的后端要求各截面**顶点数一致**，不一致时执行前报
+ * `E_LOFT_SECTION_MISMATCH`（不静默降级、不换引擎）。`startPoint`（起点退化）与
+ * `tolerance` 只有 occt 有 → 归 `cad.loftAdvanced`。
  */
 import type { Shape } from '../mesh/types.js';
-/** 放样配置（与旧 LoftOptions 同形；本文件自持，去外部依赖）。 */
+/** 放样配置（基础 = 两内核交集）。 */
 export interface LoftOptions {
     /** 直线插值（ruled）。默认 true。 */
     ruled?: boolean;
-    /** 起点（退化到点的蒙皮）。 */
-    startPoint?: readonly [number, number, number] | {
-        x: number;
-        y: number;
-        z: number;
-    };
     /** 终点（退化到点的蒙皮）。 */
     endPoint?: readonly [number, number, number] | {
         x: number;
         y: number;
         z: number;
     };
-    /** ThruSections 缝合公差。默认 1e-6。 */
-    tolerance?: number;
 }
 /**
  * 放样：按给定顺序在截面之间蒙皮生成体。
@@ -39,12 +30,14 @@ export interface LoftOptions {
  * @async true
  * @qual ok
  * @name loft
- * @note 平台 op：仅 occt 引擎（BRepOffsetAPI_ThruSections）。截面可为 wire 或面
- *       （面取其外环），至少 2 个；`startPoint` / `endPoint` 可做退化到点的蒙皮。
- *       非 occt 引擎执行前报错；brep_mock 不拦截。不做 `loftAll`（数组产物）。
+ * @note 基础 op：**occt 与 brepkit 两内核都支持**（occt `BRepOffsetAPI_ThruSections`；
+ *       brepkit `loft` / `loftSmooth` / `loftWithOptions`）。截面可为 wire 或面
+ *       （面取其外环），至少 2 个；`endPoint` 可做终点退化到点的蒙皮。选项集 =
+ *       两内核交集 = `{ ruled, endPoint }` —— `startPoint` 与 `tolerance` 只有 occt
+ *       有，用 `cad.loftAdvanced`。brepkit 链要求各截面顶点数一致。
  * @returns Shape 放样体。
  * @param sections - 有序截面集合（wire 或面；面取其外环）。type:Shape[] required:true
- * @param opts - 放样配置（ruled / startPoint / endPoint / tolerance）。type:LoftOptions required:false
+ * @param opts - 放样配置（ruled / endPoint）。type:LoftOptions required:false
  * @example
  * const bottom = cad.profile({ contours: [{ segments: [
  *   { kind: 'line', x1: -5, y1: -5, x2: 5, y2: -5 },

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

@@ -1 +1 @@
-{"version":3,"file":"loft.d.ts","sourceRoot":"","sources":["../../src/api/loft.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;GAaG;AAEH,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,eAAe,CAAA;AAU1C,2CAA2C;AAC3C,MAAM,WAAW,WAAW;IAC1B,2BAA2B;IAC3B,KAAK,CAAC,EAAE,OAAO,CAAA;IACf,mBAAmB;IACnB,UAAU,CAAC,EAAE,SAAS,CAAC,MAAM,EAAE,MAAM,EAAE,MAAM,CAAC,GAAG;QAAE,CAAC,EAAE,MAAM,CAAC;QAAC,CAAC,EAAE,MAAM,CAAC;QAAC,CAAC,EAAE,MAAM,CAAA;KAAE,CAAA;IACpF,mBAAmB;IACnB,QAAQ,CAAC,EAAE,SAAS,CAAC,MAAM,EAAE,MAAM,EAAE,MAAM,CAAC,GAAG;QAAE,CAAC,EAAE,MAAM,CAAC;QAAC,CAAC,EAAE,MAAM,CAAC;QAAC,CAAC,EAAE,MAAM,CAAA;KAAE,CAAA;IAClF,iCAAiC;IACjC,SAAS,CAAC,EAAE,MAAM,CAAA;CACnB;AAiDD;;;;;;;;;;;;;;;;;;;;;;;;;;;GA2BG;AACH,eAAO,MAAM,IAAI;;CAOf,CAAA"}
+{"version":3,"file":"loft.d.ts","sourceRoot":"","sources":["../../src/api/loft.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AAEH,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,eAAe,CAAA;AAQ1C,wBAAwB;AACxB,MAAM,WAAW,WAAW;IAC1B,2BAA2B;IAC3B,KAAK,CAAC,EAAE,OAAO,CAAA;IACf,mBAAmB;IACnB,QAAQ,CAAC,EAAE,SAAS,CAAC,MAAM,EAAE,MAAM,EAAE,MAAM,CAAC,GAAG;QAAE,CAAC,EAAE,MAAM,CAAC;QAAC,CAAC,EAAE,MAAM,CAAC;QAAC,CAAC,EAAE,MAAM,CAAA;KAAE,CAAA;CACnF;AAsCD;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA6BG;AACH,eAAO,MAAM,IAAI;;CAQf,CAAA"}

package/dist/api/loft.js

@@ -1,59 +1,39 @@
 /**
- * api loft — 放样：多个截面之间蒙皮生成体（手写平台 op，Phase 4 → G5 core 直连）
+ * api loft — 放样（基础）：多截面按序蒙皮生成体。**两内核都支持**。
  *
- * @platform occt — 实现走 core 直连 `occt-wasm loft` / `loftWithVertices`
- * （BRepOffsetAPI_ThruSections；engine-method-map 里 `loft` 为 occt-only）⇒ 平台 op：
- * defineOp 声明 `engines: ['occt']`（D11）。
+ * 为什么不是 occt-only（方案 2026-10-10-sweep-loft-dual-engine-plan §3 总览 / §5）：
+ * 基础放样（等顶点数的有序截面蒙皮）两个内核都能做 —— occt 走原生 `loft`
+ * （`BRepOffsetAPI_ThruSections`），brepkit 走 `loft` / `loftSmooth` /
+ * `loftWithOptions`；差异（brepkit 只吃 face）由适配器消化，op 层只看到中立名
+ * `BrepEngineApi#loft`。
  *
- * 为什么手写而不走生成投影：与 `api/sweep.ts` 同因——截面最常见来源是
- * `cad.profile(...)`（产出 **face**），内核 `loft(wires, …)` 只吃 wire ⇒
- * 需要「面 → 外环」输入适配（`internal/profile-wire.ts` 的唯一步径）。
- *
- * core-decouple G5：旧 `loft`（brepjs）替换为 occt-wasm 原生直连，
- * 产物经 `fromBrep` 收养（替代 l3-bridge adoptEntity）。
+ * ⚠️ brepkit 的后端要求各截面**顶点数一致**，不一致时执行前报
+ * `E_LOFT_SECTION_MISMATCH`（不静默降级、不换引擎）。`startPoint`（起点退化）与
+ * `tolerance` 只有 occt 有 → 归 `cad.loftAdvanced`。
  */
 import { defineOp } from '../sdk.js';
 import { getBrepApi } from '../brep/handle-bridge.js';
 import { fromBrep } from '../shape.js';
 import { solidToShape } from '../brep/brep-ops.js';
-import { getOcctKernel } from '../occt-kernel/occtKernel.js';
 import { toProfileWireView } from './internal/profile-wire.js';
-/** PointInput → [x,y,z]（旧 toVec3 同口径）。 */
+/** PointInput → BrepVec3（旧 toVec3 同口径）。 */
 function toVec3(p) {
     if (Array.isArray(p) && p.length >= 3)
-        return [p[0], p[1], p[2]];
+        return { x: p[0], y: p[1], z: p[2] };
     const o = p;
-    return [o.x, o.y, o.z];
+    return { x: o.x, y: o.y, z: o.z };
 }
-/** BREP 路径：按序蒙皮各截面（wire 视图 → occt-wasm 直连 → fromBrep 收养）。 */
+/** BREP 路径：按序蒙皮各截面（wire 视图 → L1 中立名 → fromBrep 收养）。 */
 function loftBrep(sections, opts) {
     if (!Array.isArray(sections) || sections.length === 0) {
         throw new Error('E_LOFT_NO_SECTIONS: loft requires a non-empty array of section shapes');
     }
     // 每截面：wire 直用；面取外环（孔环不参与放样）。
     const wireViews = sections.map((s) => toProfileWireView(s));
-    const { ruled = true, startPoint, endPoint } = opts ?? {};
+    const { ruled = true, endPoint } = opts ?? {};
     const kernel = getBrepApi();
-    const k = getOcctKernel();
-    const wireHandles = wireViews.map((w) => w.wrapped);
     try {
-        let h;
-        if (startPoint !== undefined || endPoint !== undefined) {
-            const startVertex = startPoint !== undefined ? k.makeVertex(...toVec3(startPoint)) : undefined;
-            const endVertex = endPoint !== undefined ? k.makeVertex(...toVec3(endPoint)) : undefined;
-            try {
-                h = k.loftWithVertices(wireHandles, true, ruled, startVertex, endVertex);
-            }
-            finally {
-                if (startVertex !== undefined)
-                    k.release(startVertex);
-                if (endVertex !== undefined)
-                    k.release(endVertex);
-            }
-        }
-        else {
-            h = k.loft(wireHandles, true, ruled);
-        }
+        const h = kernel.loft(wireViews.map((w) => w.wrapped), ruled, endPoint !== undefined ? toVec3(endPoint) : undefined);
         return fromBrep(solidToShape(kernel, h), { solid: h });
     }
     catch (e) {
@@ -79,12 +59,14 @@ function loftBrep(sections, opts) {
  * @async true
  * @qual ok
  * @name loft
- * @note 平台 op：仅 occt 引擎（BRepOffsetAPI_ThruSections）。截面可为 wire 或面
- *       （面取其外环），至少 2 个；`startPoint` / `endPoint` 可做退化到点的蒙皮。
- *       非 occt 引擎执行前报错；brep_mock 不拦截。不做 `loftAll`（数组产物）。
+ * @note 基础 op：**occt 与 brepkit 两内核都支持**（occt `BRepOffsetAPI_ThruSections`；
+ *       brepkit `loft` / `loftSmooth` / `loftWithOptions`）。截面可为 wire 或面
+ *       （面取其外环），至少 2 个；`endPoint` 可做终点退化到点的蒙皮。选项集 =
+ *       两内核交集 = `{ ruled, endPoint }` —— `startPoint` 与 `tolerance` 只有 occt
+ *       有，用 `cad.loftAdvanced`。brepkit 链要求各截面顶点数一致。
  * @returns Shape 放样体。
  * @param sections - 有序截面集合（wire 或面；面取其外环）。type:Shape[] required:true
- * @param opts - 放样配置（ruled / startPoint / endPoint / tolerance）。type:LoftOptions required:false
+ * @param opts - 放样配置（ruled / endPoint）。type:LoftOptions required:false
  * @example
  * const bottom = cad.profile({ contours: [{ segments: [
  *   { kind: 'line', x1: -5, y1: -5, x2: 5, y2: -5 },
@@ -105,7 +87,7 @@ export const loft = defineOp({
     brep(sections, opts) {
         return loftBrep(sections, opts);
     },
-    engines: ['occt'],
     naming: { kind: 'unmodeled', reason: 'lofted-body face vocabulary not defined' },
+    paramDims: {},
 });
 //# sourceMappingURL=loft.js.map

package/dist/api/loft.js.map

@@ -1 +1 @@
-{"version":3,"file":"loft.js","sourceRoot":"","sources":["../../src/api/loft.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;GAaG;AAGH,OAAO,EAAE,QAAQ,EAAE,MAAM,QAAQ,CAAA;AAEjC,OAAO,EAAE,UAAU,EAAE,MAAM,uBAAuB,CAAA;AAClD,OAAO,EAAE,QAAQ,EAAE,MAAM,UAAU,CAAA;AACnC,OAAO,EAAE,YAAY,EAAE,MAAM,kBAAkB,CAAA;AAC/C,OAAO,EAAE,aAAa,EAAE,MAAM,2BAA2B,CAAA;AACzD,OAAO,EAAE,iBAAiB,EAAE,MAAM,yBAAyB,CAAA;AAe3D,0CAA0C;AAC1C,SAAS,MAAM,CAAC,CAA4B;IAC1C,IAAI,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,MAAM,IAAI,CAAC;QAAE,OAAO,CAAC,CAAC,CAAC,CAAC,CAAE,EAAE,CAAC,CAAC,CAAC,CAAE,EAAE,CAAC,CAAC,CAAC,CAAE,CAAC,CAAA;IACnE,MAAM,CAAC,GAAG,CAAwC,CAAA;IAClD,OAAO,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAA;AACxB,CAAC;AAED,6DAA6D;AAC7D,SAAS,QAAQ,CAAC,QAAiB,EAAE,IAAkB;IACrD,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,QAAQ,CAAC,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACtD,MAAM,IAAI,KAAK,CAAC,uEAAuE,CAAC,CAAA;IAC1F,CAAC;IACD,6BAA6B;IAC7B,MAAM,SAAS,GAAG,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,iBAAiB,CAAC,CAAC,CAAC,CAAC,CAAA;IAC3D,MAAM,EAAE,KAAK,GAAG,IAAI,EAAE,UAAU,EAAE,QAAQ,EAAE,GAAG,IAAI,IAAI,EAAE,CAAA;IACzD,MAAM,MAAM,GAAG,UAAU,EAAE,CAAA;IAC3B,MAAM,CAAC,GAAG,aAAa,EAAE,CAAA;IACzB,MAAM,WAAW,GAAG,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAgB,CAAC,CAAA;IAE5D,IAAI,CAAC;QACH,IAAI,CAAU,CAAA;QACd,IAAI,UAAU,KAAK,SAAS,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;YACvD,MAAM,WAAW,GAAG,UAAU,KAAK,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,GAAG,MAAM,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAA;YAC9F,MAAM,SAAS,GAAG,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,GAAG,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAA;YACxF,IAAI,CAAC;gBACH,CAAC,GAAG,CAAC,CAAC,gBAAgB,CAAC,WAAW,EAAE,IAAI,EAAE,KAAK,EAAE,WAAoB,EAAE,SAAkB,CAAC,CAAA;YAC5F,CAAC;oBAAS,CAAC;gBACT,IAAI,WAAW,KAAK,SAAS;oBAAE,CAAC,CAAC,OAAO,CAAC,WAAW,CAAC,CAAA;gBACrD,IAAI,SAAS,KAAK,SAAS;oBAAE,CAAC,CAAC,OAAO,CAAC,SAAS,CAAC,CAAA;YACnD,CAAC;QACH,CAAC;aAAM,CAAC;YACN,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,WAAW,EAAE,IAAI,EAAE,KAAK,CAAC,CAAA;QACtC,CAAC;QACD,OAAO,QAAQ,CAAC,YAAY,CAAC,MAAM,EAAE,CAAe,CAAC,EAAE,EAAE,KAAK,EAAE,CAAe,EAAE,CAAC,CAAA;IACpF,CAAC;IAAC,OAAO,CAAC,EAAE,CAAC;QACX,MAAM,GAAG,GAAG,CAAC,YAAY,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAA;QACtD,MAAM,IAAI,KAAK,CAAC,+BAA+B,GAAG,EAAE,EAAE,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,CAAA;IACrE,CAAC;YAAS,CAAC;QACT,0CAA0C;QAC1C,KAAK,MAAM,CAAC,IAAI,SAAS,EAAE,CAAC;YAC1B,IAAI,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC;gBAChB,IAAI,CAAC;oBAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,CAAA;gBAAC,CAAC;gBAAC,MAAM,CAAC,CAAC,SAAS,CAAC,CAAC;YACvD,CAAC;QACH,CAAC;IACH,CAAC;AACH,CAAC;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;;GA2BG;AACH,MAAM,CAAC,MAAM,IAAI,GAAG,QAAQ,CAAC;IAC3B,IAAI,EAAE,MAAM;IACZ,IAAI,CAAC,QAAiB,EAAE,IAAkB;QACxC,OAAO,QAAQ,CAAC,QAAQ,EAAE,IAAI,CAAC,CAAA;IACjC,CAAC;IACD,OAAO,EAAE,CAAC,MAAM,CAAC;IACjB,MAAM,EAAE,EAAE,IAAI,EAAE,WAAW,EAAE,MAAM,EAAE,yCAAyC,EAAgB;CAC/F,CAAC,CAAA","sourcesContent":["/**\n * api loft — 放样：多个截面之间蒙皮生成体（手写平台 op，Phase 4 → G5 core 直连）\n *\n * @platform occt — 实现走 core 直连 `occt-wasm loft` / `loftWithVertices`\n * （BRepOffsetAPI_ThruSections；engine-method-map 里 `loft` 为 occt-only）⇒ 平台 op：\n * defineOp 声明 `engines: ['occt']`（D11）。\n *\n * 为什么手写而不走生成投影：与 `api/sweep.ts` 同因——截面最常见来源是\n * `cad.profile(...)`（产出 **face**），内核 `loft(wires, …)` 只吃 wire ⇒\n * 需要「面 → 外环」输入适配（`internal/profile-wire.ts` 的唯一步径）。\n *\n * core-decouple G5：旧 `loft`（brepjs）替换为 occt-wasm 原生直连，\n * 产物经 `fromBrep` 收养（替代 l3-bridge adoptEntity）。\n */\n\nimport type { Shape } from '../mesh/types'\nimport { defineOp } from '../sdk'\nimport type { Provenance } from '../topology/naming/lineage'\nimport { getBrepApi } from '../brep/handle-bridge'\nimport { fromBrep } from '../shape'\nimport { solidToShape } from '../brep/brep-ops'\nimport { getOcctKernel } from '../occt-kernel/occtKernel'\nimport { toProfileWireView } from './internal/profile-wire'\nimport type { BrepHandle } from '../brep/engine/types'\n\n/** 放样配置（与旧 LoftOptions 同形；本文件自持，去外部依赖）。 */\nexport interface LoftOptions {\n  /** 直线插值（ruled）。默认 true。 */\n  ruled?: boolean\n  /** 起点（退化到点的蒙皮）。 */\n  startPoint?: readonly [number, number, number] | { x: number; y: number; z: number }\n  /** 终点（退化到点的蒙皮）。 */\n  endPoint?: readonly [number, number, number] | { x: number; y: number; z: number }\n  /** ThruSections 缝合公差。默认 1e-6。 */\n  tolerance?: number\n}\n\n/** PointInput → [x,y,z]（旧 toVec3 同口径）。 */\nfunction toVec3(p: LoftOptions['startPoint']): [number, number, number] {\n  if (Array.isArray(p) && p.length >= 3) return [p[0]!, p[1]!, p[2]!]\n  const o = p as { x: number; y: number; z: number }\n  return [o.x, o.y, o.z]\n}\n\n/** BREP 路径：按序蒙皮各截面（wire 视图 → occt-wasm 直连 → fromBrep 收养）。 */\nfunction loftBrep(sections: Shape[], opts?: LoftOptions): Shape {\n  if (!Array.isArray(sections) || sections.length === 0) {\n    throw new Error('E_LOFT_NO_SECTIONS: loft requires a non-empty array of section shapes')\n  }\n  // 每截面：wire 直用；面取外环（孔环不参与放样）。\n  const wireViews = sections.map((s) => toProfileWireView(s))\n  const { ruled = true, startPoint, endPoint } = opts ?? {}\n  const kernel = getBrepApi()\n  const k = getOcctKernel()\n  const wireHandles = wireViews.map((w) => w.wrapped as never)\n\n  try {\n    let h: unknown\n    if (startPoint !== undefined || endPoint !== undefined) {\n      const startVertex = startPoint !== undefined ? k.makeVertex(...toVec3(startPoint)) : undefined\n      const endVertex = endPoint !== undefined ? k.makeVertex(...toVec3(endPoint)) : undefined\n      try {\n        h = k.loftWithVertices(wireHandles, true, ruled, startVertex as never, endVertex as never)\n      } finally {\n        if (startVertex !== undefined) k.release(startVertex)\n        if (endVertex !== undefined) k.release(endVertex)\n      }\n    } else {\n      h = k.loft(wireHandles, true, ruled)\n    }\n    return fromBrep(solidToShape(kernel, h as BrepHandle), { solid: h as BrepHandle })\n  } catch (e) {\n    const raw = e instanceof Error ? e.message : String(e)\n    throw new Error(`E_LOFT_FAILED: loft failed: ${raw}`, { cause: e })\n  } finally {\n    // 面→外环产出的 wire 是 arena 新句柄（曲线借用不 release）\n    for (const w of wireViews) {\n      if (!w.borrowed) {\n        try { kernel.release(w.wrapped) } catch { /* 已释放 */ }\n      }\n    }\n  }\n}\n\n/**\n * 放样：按给定顺序在截面之间蒙皮生成体。\n * @group 特征\n * @inputs 1\n * @async true\n * @qual ok\n * @name loft\n * @note 平台 op：仅 occt 引擎（BRepOffsetAPI_ThruSections）。截面可为 wire 或面\n *       （面取其外环），至少 2 个；`startPoint` / `endPoint` 可做退化到点的蒙皮。\n *       非 occt 引擎执行前报错；brep_mock 不拦截。不做 `loftAll`（数组产物）。\n * @returns Shape 放样体。\n * @param sections - 有序截面集合（wire 或面；面取其外环）。type:Shape[] required:true\n * @param opts - 放样配置（ruled / startPoint / endPoint / tolerance）。type:LoftOptions required:false\n * @example\n * const bottom = cad.profile({ contours: [{ segments: [\n *   { kind: 'line', x1: -5, y1: -5, x2: 5, y2: -5 },\n *   { kind: 'line', x1: 5, y1: -5, x2: 5, y2: 5 },\n *   { kind: 'line', x1: 5, y1: 5, x2: -5, y2: 5 },\n *   { kind: 'line', x1: -5, y1: 5, x2: -5, y2: -5 },\n * ] }] })\n * const top = cad.translate(cad.profile({ contours: [{ segments: [\n *   { kind: 'line', x1: -3, y1: -3, x2: 3, y2: -3 },\n *   { kind: 'line', x1: 3, y1: -3, x2: 3, y2: 3 },\n *   { kind: 'line', x1: 3, y1: 3, x2: -3, y2: 3 },\n *   { kind: 'line', x1: -3, y1: 3, x2: -3, y2: -3 },\n * ] }] }), [0, 0, 20])\n * const body = await cad.loft([bottom, top])\n */\nexport const loft = defineOp({\n  name: 'loft',\n  brep(sections: Shape[], opts?: LoftOptions) {\n    return loftBrep(sections, opts)\n  },\n  engines: ['occt'],\n  naming: { kind: 'unmodeled', reason: 'lofted-body face vocabulary not defined' } as Provenance,\n})\n"]}
+{"version":3,"file":"loft.js","sourceRoot":"","sources":["../../src/api/loft.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AAGH,OAAO,EAAE,QAAQ,EAAE,MAAM,QAAQ,CAAA;AAEjC,OAAO,EAAE,UAAU,EAAE,MAAM,uBAAuB,CAAA;AAClD,OAAO,EAAE,QAAQ,EAAE,MAAM,UAAU,CAAA;AACnC,OAAO,EAAE,YAAY,EAAE,MAAM,kBAAkB,CAAA;AAC/C,OAAO,EAAE,iBAAiB,EAAE,MAAM,yBAAyB,CAAA;AAU3D,2CAA2C;AAC3C,SAAS,MAAM,CAAC,CAAuC;IACrD,IAAI,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,MAAM,IAAI,CAAC;QAAE,OAAO,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAE,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAE,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAE,EAAE,CAAA;IAC9E,MAAM,CAAC,GAAG,CAAwC,CAAA;IAClD,OAAO,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAA;AACnC,CAAC;AAED,uDAAuD;AACvD,SAAS,QAAQ,CAAC,QAAiB,EAAE,IAAkB;IACrD,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,QAAQ,CAAC,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACtD,MAAM,IAAI,KAAK,CAAC,uEAAuE,CAAC,CAAA;IAC1F,CAAC;IACD,6BAA6B;IAC7B,MAAM,SAAS,GAAG,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,iBAAiB,CAAC,CAAC,CAAC,CAAC,CAAA;IAC3D,MAAM,EAAE,KAAK,GAAG,IAAI,EAAE,QAAQ,EAAE,GAAG,IAAI,IAAI,EAAE,CAAA;IAC7C,MAAM,MAAM,GAAG,UAAU,EAAE,CAAA;IAC3B,IAAI,CAAC;QACH,MAAM,CAAC,GAAG,MAAM,CAAC,IAAI,CACnB,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,EAC/B,KAAK,EACL,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,SAAS,CACtD,CAAA;QACD,OAAO,QAAQ,CAAC,YAAY,CAAC,MAAM,EAAE,CAAC,CAAC,EAAE,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,CAAA;IACxD,CAAC;IAAC,OAAO,CAAC,EAAE,CAAC;QACX,MAAM,GAAG,GAAG,CAAC,YAAY,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAA;QACtD,MAAM,IAAI,KAAK,CAAC,+BAA+B,GAAG,EAAE,EAAE,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,CAAA;IACrE,CAAC;YAAS,CAAC;QACT,0CAA0C;QAC1C,KAAK,MAAM,CAAC,IAAI,SAAS,EAAE,CAAC;YAC1B,IAAI,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC;gBAChB,IAAI,CAAC;oBAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,CAAA;gBAAC,CAAC;gBAAC,MAAM,CAAC,CAAC,SAAS,CAAC,CAAC;YACvD,CAAC;QACH,CAAC;IACH,CAAC;AACH,CAAC;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA6BG;AACH,MAAM,CAAC,MAAM,IAAI,GAAG,QAAQ,CAAC;IAC3B,IAAI,EAAE,MAAM;IACZ,IAAI,CAAC,QAAiB,EAAE,IAAkB;QACxC,OAAO,QAAQ,CAAC,QAAQ,EAAE,IAAI,CAAC,CAAA;IACjC,CAAC;IACD,MAAM,EAAE,EAAE,IAAI,EAAE,WAAW,EAAE,MAAM,EAAE,yCAAyC,EAAgB;IAE9F,SAAS,EAAE,EAAE;CACd,CAAC,CAAA","sourcesContent":["/**\n * api loft — 放样（基础）：多截面按序蒙皮生成体。**两内核都支持**。\n *\n * 为什么不是 occt-only（方案 2026-10-10-sweep-loft-dual-engine-plan §3 总览 / §5）：\n * 基础放样（等顶点数的有序截面蒙皮）两个内核都能做 —— occt 走原生 `loft`\n * （`BRepOffsetAPI_ThruSections`），brepkit 走 `loft` / `loftSmooth` /\n * `loftWithOptions`；差异（brepkit 只吃 face）由适配器消化，op 层只看到中立名\n * `BrepEngineApi#loft`。\n *\n * ⚠️ brepkit 的后端要求各截面**顶点数一致**，不一致时执行前报\n * `E_LOFT_SECTION_MISMATCH`（不静默降级、不换引擎）。`startPoint`（起点退化）与\n * `tolerance` 只有 occt 有 → 归 `cad.loftAdvanced`。\n */\n\nimport type { Shape } from '../mesh/types'\nimport { defineOp } from '../sdk'\nimport type { Provenance } from '../topology/naming/lineage'\nimport { getBrepApi } from '../brep/handle-bridge'\nimport { fromBrep } from '../shape'\nimport { solidToShape } from '../brep/brep-ops'\nimport { toProfileWireView } from './internal/profile-wire'\n\n/** 放样配置（基础 = 两内核交集）。 */\nexport interface LoftOptions {\n  /** 直线插值（ruled）。默认 true。 */\n  ruled?: boolean\n  /** 终点（退化到点的蒙皮）。 */\n  endPoint?: readonly [number, number, number] | { x: number; y: number; z: number }\n}\n\n/** PointInput → BrepVec3（旧 toVec3 同口径）。 */\nfunction toVec3(p: NonNullable<LoftOptions['endPoint']>): { x: number; y: number; z: number } {\n  if (Array.isArray(p) && p.length >= 3) return { x: p[0]!, y: p[1]!, z: p[2]! }\n  const o = p as { x: number; y: number; z: number }\n  return { x: o.x, y: o.y, z: o.z }\n}\n\n/** BREP 路径：按序蒙皮各截面（wire 视图 → L1 中立名 → fromBrep 收养）。 */\nfunction loftBrep(sections: Shape[], opts?: LoftOptions): Shape {\n  if (!Array.isArray(sections) || sections.length === 0) {\n    throw new Error('E_LOFT_NO_SECTIONS: loft requires a non-empty array of section shapes')\n  }\n  // 每截面：wire 直用；面取外环（孔环不参与放样）。\n  const wireViews = sections.map((s) => toProfileWireView(s))\n  const { ruled = true, endPoint } = opts ?? {}\n  const kernel = getBrepApi()\n  try {\n    const h = kernel.loft(\n      wireViews.map((w) => w.wrapped),\n      ruled,\n      endPoint !== undefined ? toVec3(endPoint) : undefined,\n    )\n    return fromBrep(solidToShape(kernel, h), { solid: h })\n  } catch (e) {\n    const raw = e instanceof Error ? e.message : String(e)\n    throw new Error(`E_LOFT_FAILED: loft failed: ${raw}`, { cause: e })\n  } finally {\n    // 面→外环产出的 wire 是 arena 新句柄（曲线借用不 release）\n    for (const w of wireViews) {\n      if (!w.borrowed) {\n        try { kernel.release(w.wrapped) } catch { /* 已释放 */ }\n      }\n    }\n  }\n}\n\n/**\n * 放样：按给定顺序在截面之间蒙皮生成体。\n * @group 特征\n * @inputs 1\n * @async true\n * @qual ok\n * @name loft\n * @note 基础 op：**occt 与 brepkit 两内核都支持**（occt `BRepOffsetAPI_ThruSections`；\n *       brepkit `loft` / `loftSmooth` / `loftWithOptions`）。截面可为 wire 或面\n *       （面取其外环），至少 2 个；`endPoint` 可做终点退化到点的蒙皮。选项集 =\n *       两内核交集 = `{ ruled, endPoint }` —— `startPoint` 与 `tolerance` 只有 occt\n *       有，用 `cad.loftAdvanced`。brepkit 链要求各截面顶点数一致。\n * @returns Shape 放样体。\n * @param sections - 有序截面集合（wire 或面；面取其外环）。type:Shape[] required:true\n * @param opts - 放样配置（ruled / endPoint）。type:LoftOptions required:false\n * @example\n * const bottom = cad.profile({ contours: [{ segments: [\n *   { kind: 'line', x1: -5, y1: -5, x2: 5, y2: -5 },\n *   { kind: 'line', x1: 5, y1: -5, x2: 5, y2: 5 },\n *   { kind: 'line', x1: 5, y1: 5, x2: -5, y2: 5 },\n *   { kind: 'line', x1: -5, y1: 5, x2: -5, y2: -5 },\n * ] }] })\n * const top = cad.translate(cad.profile({ contours: [{ segments: [\n *   { kind: 'line', x1: -3, y1: -3, x2: 3, y2: -3 },\n *   { kind: 'line', x1: 3, y1: -3, x2: 3, y2: 3 },\n *   { kind: 'line', x1: 3, y1: 3, x2: -3, y2: 3 },\n *   { kind: 'line', x1: -3, y1: 3, x2: -3, y2: -3 },\n * ] }] }), [0, 0, 20])\n * const body = await cad.loft([bottom, top])\n */\nexport const loft = defineOp({\n  name: 'loft',\n  brep(sections: Shape[], opts?: LoftOptions) {\n    return loftBrep(sections, opts)\n  },\n  naming: { kind: 'unmodeled', reason: 'lofted-body face vocabulary not defined' } as Provenance,\n\n  paramDims: {},\n})\n"]}