@faicad/faijs 0.16.0 → 0.17.0

package/dist/api/internal/l3-bridge.d.ts

@@ -1,91 +1,124 @@
 /**
- * L3 bridge — faijs Shape ⇄ vendored brepjs shape（生成层共用，E5 模板）
+ * L3 bridge — faijs Shape ⇄ 库侧 brepjs-shaped shape（生成层共用，E5 模板）
  *
  * 设计文档：docs/plans/2026-09-02-faijs-api-surface-completion.md §E5
  *
- * 桥接事实（2026-09-02 实测）：
+ * 桥接事实（2026-09-02 实测，2026-09-25 core-decouple wrapup 自有化）：
  * - faijs 的 brep slot（`brepOf(shape)` → `slot.solid`）运行时是 occt-wasm 的
  *   shape 句柄（number，见 `brep/engine/types.ts` 的 `BrepHandle` 注释）；
- * - vendored brepjs 的 `ShapeHandle.wrapped`（`core/disposal.ts`）运行时也是
- *   同一 occt-wasm 实例的 shape 句柄 —— D10 单实例（`api/occt-kernel-bridge.ts`）
- *   保证两者共享同一 wasm，句柄空间一致，**零拷贝互操作**。
+ * - 库侧（compatOp 投影的 brepjs-shaped 函数）消费的 ShapeHandle 是对象视图
+ *   （`{ wrapped, disposed, delete, onDispose }`），其 `wrapped` 运行时也是
+ *   同一 occt-wasm 实例的 shape 句柄 —— D10 单实例保证两者共享同一 wasm，
+ *   句柄空间一致，**零拷贝互操作**。brepjs 子包删除后（裁决 9），本文件
+ *   自带最小实现：borrow 视图 / 句柄类型视图 / disposal 解除（no-op）。
  *
- * 因此投影一个 brepjs op 只需三件事：
- *   1. faijs Shape → brepjs 输入：`createBorrowedHandle(brepOf(s))`（借入，不转移所有权）；
- *   2. 调 vendored 函数（Result 语义由各 op 处理：`ok` 取值 / `err` 抛错）；
- *   3. brepjs 产物 → faijs Shape：取 `.wrapped`（owned handle）→ `fromHandle()`
+ * 因此投影一个库函数只需三件事：
+ *   1. faijs Shape → 库输入：`createBorrowedHandle(brepOf(s))`（借入，不转移所有权）；
+ *   2. 调库函数（Result 语义由各 op 处理：`ok` 取值 / `err` 抛错）；
+ *   3. 库产物 → faijs Shape：取 `.wrapped`（owned handle）→ `fromHandle()`
  *      （meshHandle + 身份槽登记，所有权转入 faijs）。
  *
  * 依赖约束（同 `brep/handle-bridge.ts`）：只允许 import runtime-state / shape /
- * handle-bridge / vendored disposal 的类型与借入工具 / vendored occtWasm helpers
- * 的句柄视图工厂（`handle`/`isOcctWasmHandle`，纯对象工厂无 wasm 依赖）/ `api/`
- * 层的内核桥读取器（`getBrepjsKernel`），保持 dist/sdk.js 零 heavy 依赖。
+ * handle-bridge / occt-kernel 的类型与工具，保持 dist/sdk.js 零 heavy 依赖
+ * （occt-kernel 的 getOcctKernel 为惰性访问，引擎装配前不触碰 wasm）。
  */
 import type { Shape } from '../../mesh/types.js';
-import type { ShapeHandle } from '../../vendored/brepjs/core/disposal.js';
+/** 库侧消费的 shape 句柄视图（borrowed：不拥有、不释放）。 */
+export interface BorrowedShapeHandle {
+    /** The raw kernel shape handle */
+    readonly wrapped: unknown;
+    /** Manual dispose（borrowed 视图为 no-op） */
+    [Symbol.dispose](): void;
+    /** Alias for Symbol.dispose */
+    delete(): void;
+    /** Always false for a borrowed view */
+    readonly disposed: boolean;
+    /** Borrowed views never dispose, so callbacks never fire（no-op）。 */
+    onDispose(callback: () => void): void;
+}
+/** occt-wasm 句柄对象视图（type + id，delete no-op）。 */
+export interface OcctWasmHandleView {
+    __occtWasm: true;
+    type: string;
+    id: number;
+    delete(): void;
+    HashCode(upperBound: number): number;
+    IsNull(): boolean;
+}
 /**
- * Borrow a faijs Shape's OCCT handle as a vendored brepjs shape handle.
+ * Borrow a faijs Shape's OCCT handle as a library-side shape handle.
  *
- * No ownership transfer: the brepjs-side borrow is a no-op-dispose view of the
+ * No ownership transfer: the borrowed view is a no-op-dispose wrapper of the
  * same occt-wasm shape, valid while the faijs Shape owns it. Pass the result to
- * vendored functions that take `Shapeable<T>` / `AnyShape`.
+ * compatOp-projected functions that take `Shapeable<T>` / `AnyShape`.
  *
  * `brepOf` is a numeric arena id at runtime (occt-wasm's own `ShapeHandle` is a
- * branded number), but the vendored code consumes `KernelShape` as an *object*
- * (the shapeTypeCache WeakMap key, `isOcctWasmHandle` discriminant, direct
- * `shape.type` reads in `topologyOps.shapeType`) — a raw number crashes there
- * ("Invalid value used as weak map key"). The id is therefore wrapped into a
- * structurally valid `OcctWasmHandle` view: the type is queried from the bound
- * kernel through the numeric fallback branch of `topologyOps.shapeType`, and
- * the `handle()` factory keeps `delete` a no-op (non-owning view — the arena
- * slot and its ownership are untouched).
+ * branded number), but library code consumes shapes as *objects* (the
+ * shapeTypeCache WeakMap key, `isOcctWasmHandle` discriminant, direct
+ * `shape.type` reads) — a raw number crashes there ("Invalid value used as weak
+ * map key"). The id is therefore wrapped into a structurally valid
+ * `OcctWasmHandleView`: the type is queried from the bound occt kernel through
+ * `getOcctKernel().getShapeType`, and the `delete` is a no-op (non-owning view —
+ * the arena slot and its ownership are untouched).
  *
  * @param s - the faijs Shape whose brep slot is borrowed.
- * @returns a vendored brepjs ShapeHandle view of the same occt shape.
+ * @returns a library-side ShapeHandle view of the same occt shape.
  * @throws when the Shape has no live BREP slot (mesh-only input on a brep op).
  */
-export declare function borrowBrepjsShape(s: Shape): ShapeHandle;
+export declare function borrowBrepjsShape(s: Shape): BorrowedShapeHandle;
 /**
- * Adopt a vendored brepjs product into a faijs Shape.
+ * Adopt a library-side product into a faijs Shape.
  *
  * Unwraps the owned occt handle (`.wrapped`) and registers it into faijs'
- * identity slot via `fromHandle` — ownership transfers to faijs, and the brepjs
+ * identity slot via `fromHandle` — ownership transfers to faijs, and the library
  * wrapper must not dispose it afterwards (projected ops return it directly).
  *
- * @param product - a vendored brepjs shape (ShapeHandle / AnyShape family).
- * @param segments - optional tessellation segments (brepjs 投影侧 `segments?`，
- *   裁决 1；透传给 `fromHandle` 的三角化，默认 32 → 64 由 handle-bridge 兜底).
+ * @param product - a library-side shape (ShapeHandle / AnyShape family).
+ * @param segments - optional tessellation segments（投影侧 `segments?`，裁决 1；
+ *   透传给 `fromHandle` 的三角化，默认 32 → 64 由 handle-bridge 兜底).
  * @returns the faijs Shape wrapping the same occt solid.
  */
 export declare function adoptBrepjsProduct(product: unknown, segments?: number): Shape;
 /**
- * Call a vendored brepjs function with a rebuilt positional argument list.
+ * Call a library function with a rebuilt positional argument list.
  *
  * Generated wrappers build `__args` positionally (borrowing geometry inputs,
  * passing value params through); a plain `fn(...args: unknown[])` spread fails
- * TS2556 against brepjs' fixed-arity signatures, so the call goes through this
+ * TS2556 against fixed-arity signatures, so the call goes through this
  * rest-typed bridge that preserves the function's own `ReturnType` (so a
  * `Result` return keeps `.ok`/`.value` for the generated unwrap code).
  *
- * @param fn   the vendored brepjs function.
+ * @param fn   the library function.
  * @param args the rebuilt positional argument list (borrowed handles + value params).
- * @returns whatever the vendored function returns (typed via ReturnType).
+ * @returns whatever the function returns (typed via ReturnType).
  */
 export declare function callBrepjs<F extends (...a: never[]) => unknown>(fn: F, args: unknown[]): ReturnType<F>;
 /**
- * Adopt a vendored handle as a faijs Shape (compatOp step 5's only adoption
+ * Phase 6（narrowing plan D7）：brep 测量 op 的执行前引擎身份断言。
+ *
+ * 库面 query op 是普通函数（不走 dispatchPath），但部分依赖 occt-only 内核方法
+ * （shapeType / linearCenterOfMass / distance / curvature / interference，L2 平台面，
+ * D6 表）——在这些 op 的实现上声明 `engines: ['occt']`，函数体第一行即断言当前
+ * 引擎身份，在触碰内核之前报出可定位错误（文案与 D11-4 同构），不补桩、不回退。
+ *
+ * @param opName - op 名（报错文案）。
+ * @param engines - 允许执行的引擎 id 集合（arg-spec 条目的 `engines` 字段）。
+ * @throws BrepUnsupportedError 当当前引擎不在 `engines` 内。
+ */
+export declare function assertEngineFor(opName: string, engines: readonly string[]): void;
+/**
+ * Adopt a library handle as a faijs Shape (compatOp step 5's only adoption
  * entry point).
  *
  * ① pure data (no `.wrapped`) → pass through unchanged (query/data functions);
  * ② sub-shape kinds (face/edge/wire/vertex/shell) → throw E_SUBSHAPE_BOUNDARY
  *    (v1 boundary rejection, R4; the brand is a compile-time phantom type —
- *    shapeTypes.ts:93-95 — so the runtime kind is read from the occt-wasm
- *    handle's own `type` field, same as the kernel getShapeType helpers.ts:77-79);
- * ③ entities (solid/compound) → unregisterFromCleanup (★ R1: drop the
- *    finalizer, otherwise disposal.ts:117-124 disposes the slot faijs has
- *    already adopted when the wrapping object gets GC'd) → adoptBrepjsProduct.
+ *    the runtime kind is read from the occt-wasm handle's own `type` field,
+ *    same as the kernel getShapeType helpers);
+ * ③ entities (solid/compound) → no-op unregisterFromCleanup（★ R1：brepjs
+ *    finalizer registry 已随子包删除，无孤儿释放风险）→ adoptBrepjsProduct.
  *
- * @param product - the vendored result (handle or plain data record).
+ * @param product - the library result (handle or plain data record).
  * @param opName - the op name (error messages).
  * @param segments - optional tessellation segments (compat `segments?`).
  * @returns the adopted faijs Shape, or the plain data untouched.

package/dist/api/internal/l3-bridge.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"l3-bridge.d.ts","sourceRoot":"","sources":["../../../src/api/internal/l3-bridge.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;GAsBG;AAEH,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,kBAAkB,CAAA;AAM7C,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,wCAAwC,CAAA;AAKzE;;;;;;;;;;;;;;;;;;;;GAoBG;AACH,wBAAgB,iBAAiB,CAAC,CAAC,EAAE,KAAK,GAAG,WAAW,CAYvD;AAED;;;;;;;;;;;GAWG;AACH,wBAAgB,kBAAkB,CAAC,OAAO,EAAE,OAAO,EAAE,QAAQ,CAAC,EAAE,MAAM,GAAG,KAAK,CAa7E;AAED;;;;;;;;;;;;GAYG;AACH,wBAAgB,UAAU,CAAC,CAAC,SAAS,CAAC,GAAG,CAAC,EAAE,KAAK,EAAE,KAAK,OAAO,EAAE,EAAE,EAAE,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,GAAG,UAAU,CAAC,CAAC,CAAC,CAEtG;AAQD;;;;;;;;;;;;;;;;;GAiBG;AACH,wBAAgB,WAAW,CAAC,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,QAAQ,CAAC,EAAE,MAAM,GAAG,OAAO,CAkBxF"}
+{"version":3,"file":"l3-bridge.d.ts","sourceRoot":"","sources":["../../../src/api/internal/l3-bridge.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;GAuBG;AAEH,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,kBAAkB,CAAA;AAY7C,0CAA0C;AAC1C,MAAM,WAAW,mBAAmB;IAClC,kCAAkC;IAClC,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAA;IACzB,yCAAyC;IACzC,CAAC,MAAM,CAAC,OAAO,CAAC,IAAI,IAAI,CAAA;IACxB,+BAA+B;IAC/B,MAAM,IAAI,IAAI,CAAA;IACd,uCAAuC;IACvC,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAA;IAC1B,oEAAoE;IACpE,SAAS,CAAC,QAAQ,EAAE,MAAM,IAAI,GAAG,IAAI,CAAA;CACtC;AAED,gDAAgD;AAChD,MAAM,WAAW,kBAAkB;IACjC,UAAU,EAAE,IAAI,CAAA;IAChB,IAAI,EAAE,MAAM,CAAA;IACZ,EAAE,EAAE,MAAM,CAAA;IACV,MAAM,IAAI,IAAI,CAAA;IACd,QAAQ,CAAC,UAAU,EAAE,MAAM,GAAG,MAAM,CAAA;IACpC,MAAM,IAAI,OAAO,CAAA;CAClB;AA8CD;;;;;;;;;;;;;;;;;;;GAmBG;AACH,wBAAgB,iBAAiB,CAAC,CAAC,EAAE,KAAK,GAAG,mBAAmB,CAY/D;AAED;;;;;;;;;;;GAWG;AACH,wBAAgB,kBAAkB,CAAC,OAAO,EAAE,OAAO,EAAE,QAAQ,CAAC,EAAE,MAAM,GAAG,KAAK,CAa7E;AAED;;;;;;;;;;;;GAYG;AACH,wBAAgB,UAAU,CAAC,CAAC,SAAS,CAAC,GAAG,CAAC,EAAE,KAAK,EAAE,KAAK,OAAO,EAAE,EAAE,EAAE,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,GAAG,UAAU,CAAC,CAAC,CAAC,CAEtG;AAED;;;;;;;;;;;GAWG;AACH,wBAAgB,eAAe,CAAC,MAAM,EAAE,MAAM,EAAE,OAAO,EAAE,SAAS,MAAM,EAAE,GAAG,IAAI,CAShF;AAQD;;;;;;;;;;;;;;;;GAgBG;AACH,wBAAgB,WAAW,CAAC,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,QAAQ,CAAC,EAAE,MAAM,GAAG,OAAO,CAkBxF"}

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

@@ -1,52 +1,88 @@
 /**
- * L3 bridge — faijs Shape ⇄ vendored brepjs shape（生成层共用，E5 模板）
+ * L3 bridge — faijs Shape ⇄ 库侧 brepjs-shaped shape（生成层共用，E5 模板）
  *
  * 设计文档：docs/plans/2026-09-02-faijs-api-surface-completion.md §E5
  *
- * 桥接事实（2026-09-02 实测）：
+ * 桥接事实（2026-09-02 实测，2026-09-25 core-decouple wrapup 自有化）：
  * - faijs 的 brep slot（`brepOf(shape)` → `slot.solid`）运行时是 occt-wasm 的
  *   shape 句柄（number，见 `brep/engine/types.ts` 的 `BrepHandle` 注释）；
- * - vendored brepjs 的 `ShapeHandle.wrapped`（`core/disposal.ts`）运行时也是
- *   同一 occt-wasm 实例的 shape 句柄 —— D10 单实例（`api/occt-kernel-bridge.ts`）
- *   保证两者共享同一 wasm，句柄空间一致，**零拷贝互操作**。
+ * - 库侧（compatOp 投影的 brepjs-shaped 函数）消费的 ShapeHandle 是对象视图
+ *   （`{ wrapped, disposed, delete, onDispose }`），其 `wrapped` 运行时也是
+ *   同一 occt-wasm 实例的 shape 句柄 —— D10 单实例保证两者共享同一 wasm，
+ *   句柄空间一致，**零拷贝互操作**。brepjs 子包删除后（裁决 9），本文件
+ *   自带最小实现：borrow 视图 / 句柄类型视图 / disposal 解除（no-op）。
  *
- * 因此投影一个 brepjs op 只需三件事：
- *   1. faijs Shape → brepjs 输入：`createBorrowedHandle(brepOf(s))`（借入，不转移所有权）；
- *   2. 调 vendored 函数（Result 语义由各 op 处理：`ok` 取值 / `err` 抛错）；
- *   3. brepjs 产物 → faijs Shape：取 `.wrapped`（owned handle）→ `fromHandle()`
+ * 因此投影一个库函数只需三件事：
+ *   1. faijs Shape → 库输入：`createBorrowedHandle(brepOf(s))`（借入，不转移所有权）；
+ *   2. 调库函数（Result 语义由各 op 处理：`ok` 取值 / `err` 抛错）；
+ *   3. 库产物 → faijs Shape：取 `.wrapped`（owned handle）→ `fromHandle()`
  *      （meshHandle + 身份槽登记，所有权转入 faijs）。
  *
  * 依赖约束（同 `brep/handle-bridge.ts`）：只允许 import runtime-state / shape /
- * handle-bridge / vendored disposal 的类型与借入工具 / vendored occtWasm helpers
- * 的句柄视图工厂（`handle`/`isOcctWasmHandle`，纯对象工厂无 wasm 依赖）/ `api/`
- * 层的内核桥读取器（`getBrepjsKernel`），保持 dist/sdk.js 零 heavy 依赖。
+ * handle-bridge / occt-kernel 的类型与工具，保持 dist/sdk.js 零 heavy 依赖
+ * （occt-kernel 的 getOcctKernel 为惰性访问，引擎装配前不触碰 wasm）。
  */
 import { brepOf } from '../../shape.js';
-import { fromHandle } from '../../brep/handle-bridge.js';
-import { createBorrowedHandle } from '../../vendored/brepjs/core/disposal.js';
-import { unregisterFromCleanup } from '../../vendored/brepjs/core/disposal.js';
-import { handle as occtWasmHandleView, isOcctWasmHandle } from '../../vendored/brepjs/kernel/occtWasm/helpers.js';
-import { getBrepjsKernel } from '../occt-kernel-bridge.js';
+import { fromHandle, getBrepApi } from '../../brep/handle-bridge.js';
+import { getBackends } from '../../runtime-state.js';
 import { OpError } from './result-unwrap.js';
+const noopFn = () => { };
+/** Build an opaque kernel handle for an arena-allocated WASM shape. */
+function occtWasmHandleView(type, id) {
+    return {
+        __occtWasm: true,
+        type,
+        id,
+        delete: noopFn,
+        HashCode(upperBound) {
+            return id % upperBound;
+        },
+        IsNull() {
+            return false;
+        },
+    };
+}
+function isOcctWasmHandle(shape) {
+    return typeof shape === 'object' && shape !== null && shape.__occtWasm === true;
+}
+/** Borrow view：不转移所有权、dispose 为 no-op（与 brepjs createBorrowedHandle 同语义）。 */
+function createBorrowedHandle(ocShape) {
+    return {
+        get wrapped() {
+            return ocShape;
+        },
+        get disposed() {
+            return false;
+        },
+        [Symbol.dispose]: noopFn,
+        delete: noopFn,
+        // Intentionally a no-op: a borrowed view never disposes, so a callback would
+        // never fire. Tie dependent lifetimes to the owning parent's handle instead.
+        onDispose: noopFn,
+    };
+}
+/** brepjs 的 finalizer registry 已随子包删除——解除登记为 no-op。 */
+function unregisterFromCleanup(_deletable) {
+    // no-op（原 brepjs core/disposal.ts#unregisterFromCleanup；registry 已不存在）
+}
 /**
- * Borrow a faijs Shape's OCCT handle as a vendored brepjs shape handle.
+ * Borrow a faijs Shape's OCCT handle as a library-side shape handle.
  *
- * No ownership transfer: the brepjs-side borrow is a no-op-dispose view of the
+ * No ownership transfer: the borrowed view is a no-op-dispose wrapper of the
  * same occt-wasm shape, valid while the faijs Shape owns it. Pass the result to
- * vendored functions that take `Shapeable<T>` / `AnyShape`.
+ * compatOp-projected functions that take `Shapeable<T>` / `AnyShape`.
  *
  * `brepOf` is a numeric arena id at runtime (occt-wasm's own `ShapeHandle` is a
- * branded number), but the vendored code consumes `KernelShape` as an *object*
- * (the shapeTypeCache WeakMap key, `isOcctWasmHandle` discriminant, direct
- * `shape.type` reads in `topologyOps.shapeType`) — a raw number crashes there
- * ("Invalid value used as weak map key"). The id is therefore wrapped into a
- * structurally valid `OcctWasmHandle` view: the type is queried from the bound
- * kernel through the numeric fallback branch of `topologyOps.shapeType`, and
- * the `handle()` factory keeps `delete` a no-op (non-owning view — the arena
- * slot and its ownership are untouched).
+ * branded number), but library code consumes shapes as *objects* (the
+ * shapeTypeCache WeakMap key, `isOcctWasmHandle` discriminant, direct
+ * `shape.type` reads) — a raw number crashes there ("Invalid value used as weak
+ * map key"). The id is therefore wrapped into a structurally valid
+ * `OcctWasmHandleView`: the type is queried from the bound occt kernel through
+ * `getOcctKernel().getShapeType`, and the `delete` is a no-op (non-owning view —
+ * the arena slot and its ownership are untouched).
  *
  * @param s - the faijs Shape whose brep slot is borrowed.
- * @returns a vendored brepjs ShapeHandle view of the same occt shape.
+ * @returns a library-side ShapeHandle view of the same occt shape.
  * @throws when the Shape has no live BREP slot (mesh-only input on a brep op).
  */
 export function borrowBrepjsShape(s) {
@@ -57,26 +93,26 @@ export function borrowBrepjsShape(s) {
     }
     const kernelShape = isOcctWasmHandle(solid)
         ? solid
-        : occtWasmHandleView(getBrepjsKernel().shapeType(solid), solid);
+        : occtWasmHandleView(getBrepApi().shapeType(solid), solid);
     return createBorrowedHandle(kernelShape);
 }
 /**
- * Adopt a vendored brepjs product into a faijs Shape.
+ * Adopt a library-side product into a faijs Shape.
  *
  * Unwraps the owned occt handle (`.wrapped`) and registers it into faijs'
- * identity slot via `fromHandle` — ownership transfers to faijs, and the brepjs
+ * identity slot via `fromHandle` — ownership transfers to faijs, and the library
  * wrapper must not dispose it afterwards (projected ops return it directly).
  *
- * @param product - a vendored brepjs shape (ShapeHandle / AnyShape family).
- * @param segments - optional tessellation segments (brepjs 投影侧 `segments?`，
- *   裁决 1；透传给 `fromHandle` 的三角化，默认 32 → 64 由 handle-bridge 兜底).
+ * @param product - a library-side shape (ShapeHandle / AnyShape family).
+ * @param segments - optional tessellation segments（投影侧 `segments?`，裁决 1；
+ *   透传给 `fromHandle` 的三角化，默认 32 → 64 由 handle-bridge 兜底).
  * @returns the faijs Shape wrapping the same occt solid.
  */
 export function adoptBrepjsProduct(product, segments) {
     if (product === null || typeof product !== 'object' || !('wrapped' in product)) {
-        throw new Error('[faijs/l3-bridge] E_BAD_PRODUCT: expected a shape handle from the vendored engine');
+        throw new Error('[faijs/l3-bridge] E_BAD_PRODUCT: expected a shape handle from the library engine');
     }
-    // vendored `wrapped` may be an OcctHandle (`{id}`) or a raw numeric id;
+    // library `wrapped` may be an OcctHandle (`{id}`) or a raw numeric id;
     // faijs' kernel meshShape expects the numeric shape id (fromHandle).
     const wrappedAny = product.wrapped;
     const rawId = typeof wrappedAny === 'object' && wrappedAny !== null && 'id' in wrappedAny
@@ -86,39 +122,58 @@ export function adoptBrepjsProduct(product, segments) {
     return fromHandle(wrapped, segments === undefined ? undefined : { segments });
 }
 /**
- * Call a vendored brepjs function with a rebuilt positional argument list.
+ * Call a library function with a rebuilt positional argument list.
  *
  * Generated wrappers build `__args` positionally (borrowing geometry inputs,
  * passing value params through); a plain `fn(...args: unknown[])` spread fails
- * TS2556 against brepjs' fixed-arity signatures, so the call goes through this
+ * TS2556 against fixed-arity signatures, so the call goes through this
  * rest-typed bridge that preserves the function's own `ReturnType` (so a
  * `Result` return keeps `.ok`/`.value` for the generated unwrap code).
  *
- * @param fn   the vendored brepjs function.
+ * @param fn   the library function.
  * @param args the rebuilt positional argument list (borrowed handles + value params).
- * @returns whatever the vendored function returns (typed via ReturnType).
+ * @returns whatever the function returns (typed via ReturnType).
  */
 export function callBrepjs(fn, args) {
     return fn(...args);
 }
+/**
+ * Phase 6（narrowing plan D7）：brep 测量 op 的执行前引擎身份断言。
+ *
+ * 库面 query op 是普通函数（不走 dispatchPath），但部分依赖 occt-only 内核方法
+ * （shapeType / linearCenterOfMass / distance / curvature / interference，L2 平台面，
+ * D6 表）——在这些 op 的实现上声明 `engines: ['occt']`，函数体第一行即断言当前
+ * 引擎身份，在触碰内核之前报出可定位错误（文案与 D11-4 同构），不补桩、不回退。
+ *
+ * @param opName - op 名（报错文案）。
+ * @param engines - 允许执行的引擎 id 集合（arg-spec 条目的 `engines` 字段）。
+ * @throws BrepUnsupportedError 当当前引擎不在 `engines` 内。
+ */
+export function assertEngineFor(opName, engines) {
+    const current = getBackends().config.brepEngineId;
+    if (current === null || current === undefined || !engines.some((e) => e === current)) {
+        const e = new Error(`E_BREP_UNSUPPORTED: op '${opName}' requires engine ${engines.join(' or ')} (current=${current ?? '<none>'})`);
+        e.name = 'BrepUnsupportedError';
+        throw e;
+    }
+}
 // ─── adoption (compatOp step 5; R1 fix) ──────────────────────────────────────
-/** Already-adopted handle dedup table: the same vendored handle adopted twice →
+/** Already-adopted handle dedup table: the same library handle adopted twice →
  *  the same faijs Shape (prevents double ownership / double dispose, R6). */
 const adoptedMap = new WeakMap();
 /**
- * Adopt a vendored handle as a faijs Shape (compatOp step 5's only adoption
+ * Adopt a library handle as a faijs Shape (compatOp step 5's only adoption
  * entry point).
  *
  * ① pure data (no `.wrapped`) → pass through unchanged (query/data functions);
  * ② sub-shape kinds (face/edge/wire/vertex/shell) → throw E_SUBSHAPE_BOUNDARY
  *    (v1 boundary rejection, R4; the brand is a compile-time phantom type —
- *    shapeTypes.ts:93-95 — so the runtime kind is read from the occt-wasm
- *    handle's own `type` field, same as the kernel getShapeType helpers.ts:77-79);
- * ③ entities (solid/compound) → unregisterFromCleanup (★ R1: drop the
- *    finalizer, otherwise disposal.ts:117-124 disposes the slot faijs has
- *    already adopted when the wrapping object gets GC'd) → adoptBrepjsProduct.
+ *    the runtime kind is read from the occt-wasm handle's own `type` field,
+ *    same as the kernel getShapeType helpers);
+ * ③ entities (solid/compound) → no-op unregisterFromCleanup（★ R1：brepjs
+ *    finalizer registry 已随子包删除，无孤儿释放风险）→ adoptBrepjsProduct.
  *
- * @param product - the vendored result (handle or plain data record).
+ * @param product - the library result (handle or plain data record).
  * @param opName - the op name (error messages).
  * @param segments - optional tessellation segments (compat `segments?`).
  * @returns the adopted faijs Shape, or the plain data untouched.
@@ -135,7 +190,7 @@ export function adoptEntity(product, opName, segments) {
         throw new OpError(opName, 'E_SUBSHAPE_BOUNDARY', `[faijs/brepjs-compat] ${opName}: E_SUBSHAPE_BOUNDARY: sub-shape handle ('${type}') ` +
             'must not cross the library boundary; return entity solids or plain data');
     }
-    unregisterFromCleanup(h); // ★ R1: one-line fix replacing gear-lib-demo's pinned array
+    unregisterFromCleanup(h); // ★ R1: no-op（brepjs registry 已删除）
     const s = adoptBrepjsProduct(h, segments); // fromHandle: tessellation + identity + BREP slots
     adoptedMap.set(h, s);
     return s;

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;;;;;;;;;;;;;;;;;;;;;;GAsBG;AAGH,OAAO,EAAE,MAAM,EAAE,MAAM,aAAa,CAAA;AACpC,OAAO,EAAE,UAAU,EAAE,MAAM,0BAA0B,CAAA;AAErD,OAAO,EAAE,oBAAoB,EAAE,MAAM,wCAAwC,CAAA;AAC7E,OAAO,EAAE,qBAAqB,EAAE,MAAM,wCAAwC,CAAA;AAE9E,OAAO,EAAE,MAAM,IAAI,kBAAkB,EAAE,gBAAgB,EAAE,MAAM,kDAAkD,CAAA;AACjH,OAAO,EAAE,eAAe,EAAE,MAAM,uBAAuB,CAAA;AACvD,OAAO,EAAE,OAAO,EAAE,MAAM,iBAAiB,CAAA;AAEzC;;;;;;;;;;;;;;;;;;;;GAoBG;AACH,MAAM,UAAU,iBAAiB,CAAC,CAAQ;IACxC,MAAM,KAAK,GAAG,MAAM,CAAC,CAAC,CAA2B,CAAA;IACjD,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;QACxB,MAAM,IAAI,KAAK,CACb,8EAA8E;YAC5E,+CAA+C,CAClD,CAAA;IACH,CAAC;IACD,MAAM,WAAW,GAAG,gBAAgB,CAAC,KAAK,CAAC;QACzC,CAAC,CAAC,KAAK;QACP,CAAC,CAAC,kBAAkB,CAAC,eAAe,EAAE,CAAC,SAAS,CAAC,KAAc,CAAC,EAAE,KAAc,CAAC,CAAA;IACnF,OAAO,oBAAoB,CAAC,WAAoB,CAAC,CAAA;AACnD,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,mFAAmF,CAAC,CAAA;IACtG,CAAC;IACD,wEAAwE;IACxE,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,gFAAgF;AAEhF;6EAC6E;AAC7E,MAAM,UAAU,GAAG,IAAI,OAAO,EAAiB,CAAA;AAE/C;;;;;;;;;;;;;;;;;GAiBG;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,OAAsB,CAAA;IAChC,MAAM,IAAI,GAAG,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,CAAA;IAC9B,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,yBAAyB,MAAM,6CAA6C,IAAI,KAAK;YACnF,yEAAyE,CAC5E,CAAA;IACH,CAAC;IACD,qBAAqB,CAAC,CAAC,CAAC,CAAA,CAAC,4DAA4D;IACrF,MAAM,CAAC,GAAG,kBAAkB,CAAC,CAAC,EAAE,QAAQ,CAAC,CAAA,CAAC,mDAAmD;IAC7F,UAAU,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAA;IACpB,OAAO,CAAC,CAAA;AACV,CAAC","sourcesContent":["/**\n * L3 bridge — faijs Shape ⇄ vendored brepjs shape（生成层共用，E5 模板）\n *\n * 设计文档：docs/plans/2026-09-02-faijs-api-surface-completion.md §E5\n *\n * 桥接事实（2026-09-02 实测）：\n * - faijs 的 brep slot（`brepOf(shape)` → `slot.solid`）运行时是 occt-wasm 的\n *   shape 句柄（number，见 `brep/engine/types.ts` 的 `BrepHandle` 注释）；\n * - vendored brepjs 的 `ShapeHandle.wrapped`（`core/disposal.ts`）运行时也是\n *   同一 occt-wasm 实例的 shape 句柄 —— D10 单实例（`api/occt-kernel-bridge.ts`）\n *   保证两者共享同一 wasm，句柄空间一致，**零拷贝互操作**。\n *\n * 因此投影一个 brepjs op 只需三件事：\n *   1. faijs Shape → brepjs 输入：`createBorrowedHandle(brepOf(s))`（借入，不转移所有权）；\n *   2. 调 vendored 函数（Result 语义由各 op 处理：`ok` 取值 / `err` 抛错）；\n *   3. brepjs 产物 → faijs Shape：取 `.wrapped`（owned handle）→ `fromHandle()`\n *      （meshHandle + 身份槽登记，所有权转入 faijs）。\n *\n * 依赖约束（同 `brep/handle-bridge.ts`）：只允许 import runtime-state / shape /\n * handle-bridge / vendored disposal 的类型与借入工具 / vendored occtWasm helpers\n * 的句柄视图工厂（`handle`/`isOcctWasmHandle`，纯对象工厂无 wasm 依赖）/ `api/`\n * 层的内核桥读取器（`getBrepjsKernel`），保持 dist/sdk.js 零 heavy 依赖。\n */\n\nimport type { Shape } from '../../mesh/types'\nimport { brepOf } from '../../shape'\nimport { fromHandle } from '../../brep/handle-bridge'\nimport type { BrepHandle } from '../../brep/engine/types'\nimport { createBorrowedHandle } from '../../vendored/brepjs/core/disposal.js'\nimport { unregisterFromCleanup } from '../../vendored/brepjs/core/disposal.js'\nimport type { ShapeHandle } from '../../vendored/brepjs/core/disposal.js'\nimport { handle as occtWasmHandleView, isOcctWasmHandle } from '../../vendored/brepjs/kernel/occtWasm/helpers.js'\nimport { getBrepjsKernel } from '../occt-kernel-bridge'\nimport { OpError } from './result-unwrap'\n\n/**\n * Borrow a faijs Shape's OCCT handle as a vendored brepjs shape handle.\n *\n * No ownership transfer: the brepjs-side borrow is a no-op-dispose view of the\n * same occt-wasm shape, valid while the faijs Shape owns it. Pass the result to\n * vendored functions that take `Shapeable<T>` / `AnyShape`.\n *\n * `brepOf` is a numeric arena id at runtime (occt-wasm's own `ShapeHandle` is a\n * branded number), but the vendored code consumes `KernelShape` as an *object*\n * (the shapeTypeCache WeakMap key, `isOcctWasmHandle` discriminant, direct\n * `shape.type` reads in `topologyOps.shapeType`) — a raw number crashes there\n * (\"Invalid value used as weak map key\"). The id is therefore wrapped into a\n * structurally valid `OcctWasmHandle` view: the type is queried from the bound\n * kernel through the numeric fallback branch of `topologyOps.shapeType`, and\n * the `handle()` factory keeps `delete` a no-op (non-owning view — the arena\n * slot and its ownership are untouched).\n *\n * @param s - the faijs Shape whose brep slot is borrowed.\n * @returns a vendored brepjs ShapeHandle view of the same occt shape.\n * @throws when the Shape has no live BREP slot (mesh-only input on a brep op).\n */\nexport function borrowBrepjsShape(s: Shape): ShapeHandle {\n  const solid = brepOf(s) as BrepHandle | undefined\n  if (solid === undefined) {\n    throw new Error(\n      '[faijs/l3-bridge] E_BREP_ONLY_INPUT: operation requires a BREP-backed shape ' +\n        '(mesh-only input cannot run on the brep path)',\n    )\n  }\n  const kernelShape = isOcctWasmHandle(solid)\n    ? solid\n    : occtWasmHandleView(getBrepjsKernel().shapeType(solid as never), solid as never)\n  return createBorrowedHandle(kernelShape as never)\n}\n\n/**\n * Adopt a vendored brepjs 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 brepjs\n * wrapper must not dispose it afterwards (projected ops return it directly).\n *\n * @param product - a vendored brepjs shape (ShapeHandle / AnyShape family).\n * @param segments - optional tessellation segments (brepjs 投影侧 `segments?`，\n *   裁决 1；透传给 `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 vendored engine')\n  }\n  // vendored `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 vendored brepjs function with a rebuilt positional argument list.\n *\n * Generated wrappers build `__args` positionally (borrowing geometry inputs,\n * passing value params through); a plain `fn(...args: unknown[])` spread fails\n * TS2556 against brepjs' 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 vendored brepjs function.\n * @param args the rebuilt positional argument list (borrowed handles + value params).\n * @returns whatever the vendored 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// ─── adoption (compatOp step 5; R1 fix) ──────────────────────────────────────\n\n/** Already-adopted handle dedup table: the same vendored 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 vendored 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 *    shapeTypes.ts:93-95 — so the runtime kind is read from the occt-wasm\n *    handle's own `type` field, same as the kernel getShapeType helpers.ts:77-79);\n * ③ entities (solid/compound) → unregisterFromCleanup (★ R1: drop the\n *    finalizer, otherwise disposal.ts:117-124 disposes the slot faijs has\n *    already adopted when the wrapping object gets GC'd) → adoptBrepjsProduct.\n *\n * @param product - the vendored 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 ShapeHandle\n  const prev = adoptedMap.get(h)\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/brepjs-compat] ${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) // ★ R1: one-line fix replacing gear-lib-demo's pinned array\n  const s = adoptBrepjsProduct(h, segments) // fromHandle: tessellation + identity + BREP slots\n  adoptedMap.set(h, s)\n  return s\n}\n"]}
+{"version":3,"file":"l3-bridge.js","sourceRoot":"","sources":["../../../src/api/internal/l3-bridge.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;GAuBG;AAGH,OAAO,EAAE,MAAM,EAAE,MAAM,aAAa,CAAA;AACpC,OAAO,EAAE,UAAU,EAAE,UAAU,EAAE,MAAM,0BAA0B,CAAA;AAEjE,OAAO,EAAE,WAAW,EAAE,MAAM,qBAAqB,CAAA;AACjD,OAAO,EAAE,OAAO,EAAE,MAAM,iBAAiB,CAAA;AA+BzC,MAAM,MAAM,GAAG,GAAS,EAAE,GAAE,CAAC,CAAA;AAE7B,uEAAuE;AACvE,SAAS,kBAAkB,CAAC,IAAY,EAAE,EAAU;IAClD,OAAO;QACL,UAAU,EAAE,IAAI;QAChB,IAAI;QACJ,EAAE;QACF,MAAM,EAAE,MAAM;QACd,QAAQ,CAAC,UAAkB;YACzB,OAAO,EAAE,GAAG,UAAU,CAAA;QACxB,CAAC;QACD,MAAM;YACJ,OAAO,KAAK,CAAA;QACd,CAAC;KACF,CAAA;AACH,CAAC;AAED,SAAS,gBAAgB,CAAC,KAAc;IACtC,OAAO,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI,IAAK,KAA4B,CAAC,UAAU,KAAK,IAAI,CAAA;AACzG,CAAC;AAED,6EAA6E;AAC7E,SAAS,oBAAoB,CAAC,OAAgB;IAC5C,OAAO;QACL,IAAI,OAAO;YACT,OAAO,OAAO,CAAA;QAChB,CAAC;QACD,IAAI,QAAQ;YACV,OAAO,KAAK,CAAA;QACd,CAAC;QACD,CAAC,MAAM,CAAC,OAAO,CAAC,EAAE,MAAM;QACxB,MAAM,EAAE,MAAM;QACd,6EAA6E;QAC7E,6EAA6E;QAC7E,SAAS,EAAE,MAAM;KAClB,CAAA;AACH,CAAC;AAED,uDAAuD;AACvD,SAAS,qBAAqB,CAAC,UAAkB;IAC/C,uEAAuE;AACzE,CAAC;AAED;;;;;;;;;;;;;;;;;;;GAmBG;AACH,MAAM,UAAU,iBAAiB,CAAC,CAAQ;IACxC,MAAM,KAAK,GAAG,MAAM,CAAC,CAAC,CAA2B,CAAA;IACjD,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;QACxB,MAAM,IAAI,KAAK,CACb,8EAA8E;YAC5E,+CAA+C,CAClD,CAAA;IACH,CAAC;IACD,MAAM,WAAW,GAAG,gBAAgB,CAAC,KAAK,CAAC;QACzC,CAAC,CAAC,KAAK;QACP,CAAC,CAAC,kBAAkB,CAAC,UAAU,EAAE,CAAC,SAAS,CAAC,KAAc,CAAC,EAAE,KAAe,CAAC,CAAA;IAC/E,OAAO,oBAAoB,CAAC,WAAW,CAAC,CAAA;AAC1C,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,yBAAyB,MAAM,6CAA6C,IAAI,KAAK;YACnF,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 * 设计文档：docs/plans/2026-09-02-faijs-api-surface-completion.md §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 *   自带最小实现：borrow 视图 / 句柄类型视图 / disposal 解除（no-op）。\n *\n * 因此投影一个库函数只需三件事：\n *   1. faijs Shape → 库输入：`createBorrowedHandle(brepOf(s))`（借入，不转移所有权）；\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 { brepOf } from '../../shape'\nimport { fromHandle, getBrepApi } 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（createBorrowedHandle /\n// unregisterFromCleanup / ShapeHandle）与 kernel/occtWasm/helpers.js\n// （handle / isOcctWasmHandle）。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/** occt-wasm 句柄对象视图（type + id，delete no-op）。 */\nexport interface OcctWasmHandleView {\n  __occtWasm: true\n  type: string\n  id: number\n  delete(): void\n  HashCode(upperBound: number): number\n  IsNull(): boolean\n}\n\nconst noopFn = (): void => {}\n\n/** Build an opaque kernel handle for an arena-allocated WASM shape. */\nfunction occtWasmHandleView(type: string, id: number): OcctWasmHandleView {\n  return {\n    __occtWasm: true,\n    type,\n    id,\n    delete: noopFn,\n    HashCode(upperBound: number) {\n      return id % upperBound\n    },\n    IsNull() {\n      return false\n    },\n  }\n}\n\nfunction isOcctWasmHandle(shape: unknown): shape is OcctWasmHandleView {\n  return typeof shape === 'object' && shape !== null && (shape as OcctWasmHandleView).__occtWasm === true\n}\n\n/** Borrow view：不转移所有权、dispose 为 no-op（与 brepjs createBorrowedHandle 同语义）。 */\nfunction createBorrowedHandle(ocShape: unknown): BorrowedShapeHandle {\n  return {\n    get wrapped() {\n      return ocShape\n    },\n    get disposed() {\n      return false\n    },\n    [Symbol.dispose]: noopFn,\n    delete: noopFn,\n    // Intentionally a no-op: a borrowed view never disposes, so a callback would\n    // never fire. Tie dependent lifetimes to the owning parent's handle instead.\n    onDispose: noopFn,\n  }\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 * Borrow a faijs Shape's OCCT handle as a library-side shape handle.\n *\n * No ownership transfer: the borrowed view is a no-op-dispose wrapper of the\n * same occt-wasm shape, valid while the faijs Shape owns it. Pass the result to\n * compatOp-projected functions that take `Shapeable<T>` / `AnyShape`.\n *\n * `brepOf` is a numeric arena id at runtime (occt-wasm's own `ShapeHandle` is a\n * branded number), but library code consumes shapes as *objects* (the\n * shapeTypeCache WeakMap key, `isOcctWasmHandle` discriminant, direct\n * `shape.type` reads) — a raw number crashes there (\"Invalid value used as weak\n * map key\"). The id is therefore wrapped into a structurally valid\n * `OcctWasmHandleView`: the type is queried from the bound occt kernel through\n * `getOcctKernel().getShapeType`, and the `delete` is a no-op (non-owning view —\n * the arena slot and its ownership are untouched).\n *\n * @param s - the faijs Shape whose brep slot is borrowed.\n * @returns a library-side ShapeHandle view of the same occt shape.\n * @throws when the Shape has no live BREP slot (mesh-only input on a brep op).\n */\nexport function borrowBrepjsShape(s: Shape): BorrowedShapeHandle {\n  const solid = brepOf(s) as BrepHandle | undefined\n  if (solid === undefined) {\n    throw new Error(\n      '[faijs/l3-bridge] E_BREP_ONLY_INPUT: operation requires a BREP-backed shape ' +\n        '(mesh-only input cannot run on the brep path)',\n    )\n  }\n  const kernelShape = isOcctWasmHandle(solid)\n    ? solid\n    : occtWasmHandleView(getBrepApi().shapeType(solid as never), solid as number)\n  return createBorrowedHandle(kernelShape)\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 (borrowing geometry inputs,\n * passing value params through); 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 (borrowed handles + 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/brepjs-compat] ${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/internal/profile-wire.d.ts

@@ -0,0 +1,31 @@
+/**
+ * profile-wire — 「截面 Shape → 扫掠/放样所需的 wire 视图」的唯一步径（Phase 4→G5）
+ *
+ * `sweep` / `loft` 共用：脚本面最常见的截面来源是 `cad.sketch(...)`（产出 **face**），
+ * 而内核的 `sweep` / `loft` 只吃 wire ⇒ 需要「面 → 外环 wire」输入适配。
+ * 两处口径必须逐字一致，故收在此叶子模块（一份实现，不允许第二个判定点）。
+ *
+ * 判定用 faijs 侧判别位（Phase 3 落地的 `kind:'curve'`），不查内核拓扑类型：
+ * - 1D 截面（`cad.wire` / `cad.helix` / `cad.sketch({as:'wire'})`）→ 借用原句柄；
+ * - 2D 截面（`cad.sketch` 的面）→ 取**外环**（孔环不参与扫掠/放样）。
+ *
+ * core-decouple G5 后：wire 视图为 `{ wrapped: BrepHandle, borrowed: boolean }`
+ * （brepjs 形态保留，供 brep-mirror 实现直读）。所有权：面→外环的 wire 是
+ * arena 新句柄（borrowed=false），由调用方（loft/sweep）消费后 release；
+ * 曲线借用（borrowed=true）不 release。
+ */
+import type { Shape } from '../../mesh/types.js';
+import type { BrepHandle } from '../../brep/engine/types.js';
+/** Wire view for sweep/loft sections: the BREP handle plus its ownership flag. */
+export interface WireView {
+    wrapped: BrepHandle;
+    /** true = 借用原 shape 句柄（勿 release）；false = 新建外环 wire（调用方 release）。 */
+    borrowed: boolean;
+}
+/** 截面 Shape → wire 视图（面取其外环）。
+ *
+ * @param section - Section shape (curve or face) to adapt.
+ * @returns The wire view wrapping the handle and its ownership flag.
+ */
+export declare function toProfileWireView(section: Shape): WireView;
+//# sourceMappingURL=profile-wire.d.ts.map

package/dist/api/internal/profile-wire.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"profile-wire.d.ts","sourceRoot":"","sources":["../../../src/api/internal/profile-wire.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;GAeG;AAEH,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,kBAAkB,CAAA;AAG7C,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,yBAAyB,CAAA;AAEzD,kFAAkF;AAClF,MAAM,WAAW,QAAQ;IACvB,OAAO,EAAE,UAAU,CAAA;IACnB,qEAAqE;IACrE,QAAQ,EAAE,OAAO,CAAA;CAClB;AAED;;;;GAIG;AACH,wBAAgB,iBAAiB,CAAC,OAAO,EAAE,KAAK,GAAG,QAAQ,CAS1D"}

package/dist/api/internal/profile-wire.js

@@ -0,0 +1,37 @@
+/**
+ * profile-wire — 「截面 Shape → 扫掠/放样所需的 wire 视图」的唯一步径（Phase 4→G5）
+ *
+ * `sweep` / `loft` 共用：脚本面最常见的截面来源是 `cad.sketch(...)`（产出 **face**），
+ * 而内核的 `sweep` / `loft` 只吃 wire ⇒ 需要「面 → 外环 wire」输入适配。
+ * 两处口径必须逐字一致，故收在此叶子模块（一份实现，不允许第二个判定点）。
+ *
+ * 判定用 faijs 侧判别位（Phase 3 落地的 `kind:'curve'`），不查内核拓扑类型：
+ * - 1D 截面（`cad.wire` / `cad.helix` / `cad.sketch({as:'wire'})`）→ 借用原句柄；
+ * - 2D 截面（`cad.sketch` 的面）→ 取**外环**（孔环不参与扫掠/放样）。
+ *
+ * core-decouple G5 后：wire 视图为 `{ wrapped: BrepHandle, borrowed: boolean }`
+ * （brepjs 形态保留，供 brep-mirror 实现直读）。所有权：面→外环的 wire 是
+ * arena 新句柄（borrowed=false），由调用方（loft/sweep）消费后 release；
+ * 曲线借用（borrowed=true）不 release。
+ */
+import { brepOf, isCurveShape } from '../../shape.js';
+import { getBrepApi } from '../../brep/handle-bridge.js';
+/** 截面 Shape → wire 视图（面取其外环）。
+ *
+ * @param section - Section shape (curve or face) to adapt.
+ * @returns The wire view wrapping the handle and its ownership flag.
+ */
+export function toProfileWireView(section) {
+    const handle = brepOf(section);
+    if (isCurveShape(section))
+        return { wrapped: handle, borrowed: true };
+    const kernel = getBrepApi();
+    const faces = kernel.getSubShapes(handle, 'face');
+    if (faces.length === 0)
+        return { wrapped: handle, borrowed: true };
+    const wires = kernel.getSubShapes(faces[0], 'wire');
+    if (wires.length === 0)
+        return { wrapped: handle, borrowed: true };
+    return { wrapped: wires[0], borrowed: false };
+}
+//# sourceMappingURL=profile-wire.js.map

package/dist/api/internal/profile-wire.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"profile-wire.js","sourceRoot":"","sources":["../../../src/api/internal/profile-wire.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;GAeG;AAGH,OAAO,EAAE,MAAM,EAAE,YAAY,EAAE,MAAM,aAAa,CAAA;AAClD,OAAO,EAAE,UAAU,EAAE,MAAM,0BAA0B,CAAA;AAUrD;;;;GAIG;AACH,MAAM,UAAU,iBAAiB,CAAC,OAAc;IAC9C,MAAM,MAAM,GAAG,MAAM,CAAC,OAAO,CAAe,CAAA;IAC5C,IAAI,YAAY,CAAC,OAAO,CAAC;QAAE,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAA;IACrE,MAAM,MAAM,GAAG,UAAU,EAAE,CAAA;IAC3B,MAAM,KAAK,GAAG,MAAM,CAAC,YAAY,CAAC,MAAM,EAAE,MAAM,CAAC,CAAA;IACjD,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAA;IAClE,MAAM,KAAK,GAAG,MAAM,CAAC,YAAY,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,MAAM,CAAC,CAAA;IACnD,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAA;IAClE,OAAO,EAAE,OAAO,EAAE,KAAK,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAA;AAC/C,CAAC","sourcesContent":["/**\n * profile-wire — 「截面 Shape → 扫掠/放样所需的 wire 视图」的唯一步径（Phase 4→G5）\n *\n * `sweep` / `loft` 共用：脚本面最常见的截面来源是 `cad.sketch(...)`（产出 **face**），\n * 而内核的 `sweep` / `loft` 只吃 wire ⇒ 需要「面 → 外环 wire」输入适配。\n * 两处口径必须逐字一致，故收在此叶子模块（一份实现，不允许第二个判定点）。\n *\n * 判定用 faijs 侧判别位（Phase 3 落地的 `kind:'curve'`），不查内核拓扑类型：\n * - 1D 截面（`cad.wire` / `cad.helix` / `cad.sketch({as:'wire'})`）→ 借用原句柄；\n * - 2D 截面（`cad.sketch` 的面）→ 取**外环**（孔环不参与扫掠/放样）。\n *\n * core-decouple G5 后：wire 视图为 `{ wrapped: BrepHandle, borrowed: boolean }`\n * （brepjs 形态保留，供 brep-mirror 实现直读）。所有权：面→外环的 wire 是\n * arena 新句柄（borrowed=false），由调用方（loft/sweep）消费后 release；\n * 曲线借用（borrowed=true）不 release。\n */\n\nimport type { Shape } from '../../mesh/types'\nimport { brepOf, isCurveShape } from '../../shape'\nimport { getBrepApi } from '../../brep/handle-bridge'\nimport type { BrepHandle } from '../../brep/engine/types'\n\n/** Wire view for sweep/loft sections: the BREP handle plus its ownership flag. */\nexport interface WireView {\n  wrapped: BrepHandle\n  /** true = 借用原 shape 句柄（勿 release）；false = 新建外环 wire（调用方 release）。 */\n  borrowed: boolean\n}\n\n/** 截面 Shape → wire 视图（面取其外环）。\n *\n * @param section - Section shape (curve or face) to adapt.\n * @returns The wire view wrapping the handle and its ownership flag.\n */\nexport function toProfileWireView(section: Shape): WireView {\n  const handle = brepOf(section) as BrepHandle\n  if (isCurveShape(section)) return { wrapped: handle, borrowed: true }\n  const kernel = getBrepApi()\n  const faces = kernel.getSubShapes(handle, 'face')\n  if (faces.length === 0) return { wrapped: handle, borrowed: true }\n  const wires = kernel.getSubShapes(faces[0], 'wire')\n  if (wires.length === 0) return { wrapped: handle, borrowed: true }\n  return { wrapped: wires[0], borrowed: false }\n}\n"]}

package/dist/api/internal/replica-role-table.js

@@ -37,10 +37,10 @@ export function buildReplicaRoleTable(kernel, input, resultSolid, replicas, outS
         }
     }
     const inputFaces = kernel.getSubShapes(inputSolid, 'face');
-    const inputCentroids = inputFaces.map((f) => kernel.getSurfaceCenterOfMass(f));
+    const inputCentroids = inputFaces.map((f) => kernel.surfaceCenterOfMass(f));
     const resultHashes = getFaceHashes(kernel, resultSolid);
     const resultFaces = kernel.getSubShapes(resultSolid, 'face');
-    const resultCentroids = resultFaces.map((f) => kernel.getSurfaceCenterOfMass(f));
+    const resultCentroids = resultFaces.map((f) => kernel.surfaceCenterOfMass(f));
     const roleTable = new Map();
     const inner = new Map();
     for (let i = 0; i < resultHashes.length; i++) {

package/dist/api/internal/replica-role-table.js.map

@@ -1 +1 @@
-{"version":3,"file":"replica-role-table.js","sourceRoot":"","sources":["../../../src/api/internal/replica-role-table.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AAMH,OAAO,EAAE,MAAM,EAAE,cAAc,EAAE,MAAM,aAAa,CAAA;AACpD,OAAO,EAAE,aAAa,EAAE,MAAM,2BAA2B,CAAA;AAUzD;;;;;;;;;GASG;AACH,MAAM,UAAU,qBAAqB,CACnC,MAAqB,EACrB,KAAY,EACZ,WAAuB,EACvB,QAA4B,EAC5B,OAAe;IAEf,MAAM,UAAU,GAAG,MAAM,CAAC,KAAK,CAAe,CAAA;IAC9C,MAAM,UAAU,GAAG,cAAc,CAAC,KAAK,CAA0B,CAAA;IAEjE,mDAAmD;IACnD,MAAM,WAAW,GAAG,aAAa,CAAC,MAAM,EAAE,UAAU,CAAC,CAAA;IACrD,MAAM,eAAe,GAAG,IAAI,GAAG,EAAkB,CAAA;IACjD,IAAI,UAAU,EAAE,CAAC;QACf,KAAK,MAAM,KAAK,IAAI,UAAU,CAAC,MAAM,EAAE,EAAE,CAAC;YACxC,KAAK,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,IAAI,KAAK;gBAAE,KAAK,MAAM,CAAC,IAAI,MAAM;oBAAE,eAAe,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,CAAA;QAC1F,CAAC;IACH,CAAC;IACD,MAAM,UAAU,GAAG,MAAM,CAAC,YAAY,CAAC,UAAU,EAAE,MAAM,CAAC,CAAA;IAC1D,MAAM,cAAc,GAAG,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,sBAAsB,CAAC,CAAC,CAAC,CAAC,CAAA;IAE9E,MAAM,YAAY,GAAG,aAAa,CAAC,MAAM,EAAE,WAAW,CAAC,CAAA;IACvD,MAAM,WAAW,GAAG,MAAM,CAAC,YAAY,CAAC,WAAW,EAAE,MAAM,CAAC,CAAA;IAC5D,MAAM,eAAe,GAAG,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,sBAAsB,CAAC,CAAC,CAAC,CAAC,CAAA;IAEhF,MAAM,SAAS,GAAG,IAAI,GAAG,EAAiC,CAAA;IAC1D,MAAM,KAAK,GAAG,IAAI,GAAG,EAAoB,CAAA;IACzC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,YAAY,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QAC7C,MAAM,CAAC,GAAG,eAAe,CAAC,CAAC,CAAE,CAAA;QAC7B,sEAAsE;QACtE,oEAAoE;QACpE,IAAI,SAAS,GAAG,QAAQ,CAAC,CAAC,CAAE,CAAC,KAAK,CAAA;QAClC,IAAI,QAA4B,CAAA;QAChC,IAAI,QAAQ,GAAG,QAAQ,CAAA;QACvB,KAAK,MAAM,CAAC,IAAI,QAAQ,EAAE,CAAC;YACzB,MAAM,CAAC,GAAG,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAA;YACtB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,cAAc,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;gBAC/C,MAAM,EAAE,GAAG,cAAc,CAAC,CAAC,CAAE,CAAA;gBAC7B,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAA;gBACnE,IAAI,CAAC,GAAG,QAAQ,EAAE,CAAC;oBACjB,QAAQ,GAAG,CAAC,CAAA;oBACZ,SAAS,GAAG,CAAC,CAAC,KAAK,CAAA;oBACnB,QAAQ,GAAG,eAAe,CAAC,GAAG,CAAC,WAAW,CAAC,CAAC,CAAE,CAAC,CAAA;gBACjD,CAAC;YACH,CAAC;QACH,CAAC;QACD,MAAM,IAAI,GAAG,GAAG,SAAS,IAAI,QAAQ,IAAI,MAAM,EAAE,CAAA;QACjD,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC;YAAE,KAAK,CAAC,GAAG,CAAC,IAAI,EAAE,EAAE,CAAC,CAAA;QACzC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAE,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC,CAAE,CAAC,CAAA;IACzC,CAAC;IACD,SAAS,CAAC,GAAG,CAAC,OAAgB,EAAE,KAAK,CAAC,CAAA;IACtC,OAAO,SAAiC,CAAA;AAC1C,CAAC","sourcesContent":["/**\n * replica-role-table — generalized replica[k] role-table builder (Phase 3 L3).\n *\n * Shared by the handwritten replicate ops (circularPattern / gridPattern /\n * rectangularPattern / mirrorJoin). Every replica is a rigid transform T_k of\n * the input; result faces = ∪ T_k(input faces). For each result face, its\n * centroid is mapped back through T_k⁻¹ into input coordinates and matched to\n * the nearest input-face centroid, recovering the input role, prefixed with\n * the replica label: `replica[k]/<inner>`.\n *\n * Same mechanism as pattern.ts linearPattern (centroid clustering), generalized\n * from a projection along one direction to arbitrary per-replica inverses.\n */\n\nimport type { Shape } from '../../mesh/types'\nimport type { BrepHandle, BrepVec3 } from '../../brep/engine/types'\nimport type { BrepEngineApi } from '../../brep/engine/primitives'\nimport type { RoleTable } from '../../topology/naming/types'\nimport { brepOf, inputRoleTable } from '../../shape'\nimport { getFaceHashes } from '../../brep/face-evolution'\n\n/** One replica: role-table label prefix + inverse of its placement transform. */\nexport interface ReplicaTransform {\n  /** Label prefix, e.g. 'replica[2]' / 'replica[1_0]'. */\n  label: string\n  /** Map a result-face centroid back into the input coordinate frame (T_k⁻¹). */\n  inverse: (c: BrepVec3) => BrepVec3\n}\n\n/**\n * Build the `replica[*]/<inner>` role table for a fused multi-replica result.\n *\n * @param kernel - the BREP engine api.\n * @param input - the source Shape (its role table provides inner roles).\n * @param resultSolid - the fused result handle.\n * @param replicas - per-replica label + inverse transform.\n * @param outStmt - the output statement id (role-table key).\n * @returns the role table keyed by outStmt.\n */\nexport function buildReplicaRoleTable(\n  kernel: BrepEngineApi,\n  input: Shape,\n  resultSolid: BrepHandle,\n  replicas: ReplicaTransform[],\n  outStmt: string,\n): RoleTable {\n  const inputSolid = brepOf(input) as BrepHandle\n  const inputTable = inputRoleTable(input) as RoleTable | undefined\n\n  // input face hash → role (for inner-role recovery)\n  const inputHashes = getFaceHashes(kernel, inputSolid)\n  const inputHashToRole = new Map<number, string>()\n  if (inputTable) {\n    for (const roles of inputTable.values()) {\n      for (const [role, hashes] of roles) for (const h of hashes) inputHashToRole.set(h, role)\n    }\n  }\n  const inputFaces = kernel.getSubShapes(inputSolid, 'face')\n  const inputCentroids = inputFaces.map((f) => kernel.getSurfaceCenterOfMass(f))\n\n  const resultHashes = getFaceHashes(kernel, resultSolid)\n  const resultFaces = kernel.getSubShapes(resultSolid, 'face')\n  const resultCentroids = resultFaces.map((f) => kernel.getSurfaceCenterOfMass(f))\n\n  const roleTable = new Map<string, Map<string, number[]>>()\n  const inner = new Map<string, number[]>()\n  for (let i = 0; i < resultHashes.length; i++) {\n    const c = resultCentroids[i]!\n    // Try every replica inverse; the one mapping closest to an input face\n    // centroid wins (identifies both the replica k and the inner role).\n    let bestLabel = replicas[0]!.label\n    let bestRole: string | undefined\n    let bestDist = Infinity\n    for (const r of replicas) {\n      const p = r.inverse(c)\n      for (let j = 0; j < inputCentroids.length; j++) {\n        const ic = inputCentroids[j]!\n        const d = (p.x - ic.x) ** 2 + (p.y - ic.y) ** 2 + (p.z - ic.z) ** 2\n        if (d < bestDist) {\n          bestDist = d\n          bestLabel = r.label\n          bestRole = inputHashToRole.get(inputHashes[j]!)\n        }\n      }\n    }\n    const role = `${bestLabel}/${bestRole ?? 'face'}`\n    if (!inner.has(role)) inner.set(role, [])\n    inner.get(role)!.push(resultHashes[i]!)\n  }\n  roleTable.set(outStmt as never, inner)\n  return roleTable as unknown as RoleTable\n}\n"]}
+{"version":3,"file":"replica-role-table.js","sourceRoot":"","sources":["../../../src/api/internal/replica-role-table.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AAMH,OAAO,EAAE,MAAM,EAAE,cAAc,EAAE,MAAM,aAAa,CAAA;AACpD,OAAO,EAAE,aAAa,EAAE,MAAM,2BAA2B,CAAA;AAUzD;;;;;;;;;GASG;AACH,MAAM,UAAU,qBAAqB,CACnC,MAAqB,EACrB,KAAY,EACZ,WAAuB,EACvB,QAA4B,EAC5B,OAAe;IAEf,MAAM,UAAU,GAAG,MAAM,CAAC,KAAK,CAAe,CAAA;IAC9C,MAAM,UAAU,GAAG,cAAc,CAAC,KAAK,CAA0B,CAAA;IAEjE,mDAAmD;IACnD,MAAM,WAAW,GAAG,aAAa,CAAC,MAAM,EAAE,UAAU,CAAC,CAAA;IACrD,MAAM,eAAe,GAAG,IAAI,GAAG,EAAkB,CAAA;IACjD,IAAI,UAAU,EAAE,CAAC;QACf,KAAK,MAAM,KAAK,IAAI,UAAU,CAAC,MAAM,EAAE,EAAE,CAAC;YACxC,KAAK,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,IAAI,KAAK;gBAAE,KAAK,MAAM,CAAC,IAAI,MAAM;oBAAE,eAAe,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,CAAA;QAC1F,CAAC;IACH,CAAC;IACD,MAAM,UAAU,GAAG,MAAM,CAAC,YAAY,CAAC,UAAU,EAAE,MAAM,CAAC,CAAA;IAC1D,MAAM,cAAc,GAAG,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,mBAAmB,CAAC,CAAC,CAAC,CAAC,CAAA;IAE3E,MAAM,YAAY,GAAG,aAAa,CAAC,MAAM,EAAE,WAAW,CAAC,CAAA;IACvD,MAAM,WAAW,GAAG,MAAM,CAAC,YAAY,CAAC,WAAW,EAAE,MAAM,CAAC,CAAA;IAC5D,MAAM,eAAe,GAAG,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,mBAAmB,CAAC,CAAC,CAAC,CAAC,CAAA;IAE7E,MAAM,SAAS,GAAG,IAAI,GAAG,EAAiC,CAAA;IAC1D,MAAM,KAAK,GAAG,IAAI,GAAG,EAAoB,CAAA;IACzC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,YAAY,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QAC7C,MAAM,CAAC,GAAG,eAAe,CAAC,CAAC,CAAE,CAAA;QAC7B,sEAAsE;QACtE,oEAAoE;QACpE,IAAI,SAAS,GAAG,QAAQ,CAAC,CAAC,CAAE,CAAC,KAAK,CAAA;QAClC,IAAI,QAA4B,CAAA;QAChC,IAAI,QAAQ,GAAG,QAAQ,CAAA;QACvB,KAAK,MAAM,CAAC,IAAI,QAAQ,EAAE,CAAC;YACzB,MAAM,CAAC,GAAG,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAA;YACtB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,cAAc,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;gBAC/C,MAAM,EAAE,GAAG,cAAc,CAAC,CAAC,CAAE,CAAA;gBAC7B,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAA;gBACnE,IAAI,CAAC,GAAG,QAAQ,EAAE,CAAC;oBACjB,QAAQ,GAAG,CAAC,CAAA;oBACZ,SAAS,GAAG,CAAC,CAAC,KAAK,CAAA;oBACnB,QAAQ,GAAG,eAAe,CAAC,GAAG,CAAC,WAAW,CAAC,CAAC,CAAE,CAAC,CAAA;gBACjD,CAAC;YACH,CAAC;QACH,CAAC;QACD,MAAM,IAAI,GAAG,GAAG,SAAS,IAAI,QAAQ,IAAI,MAAM,EAAE,CAAA;QACjD,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC;YAAE,KAAK,CAAC,GAAG,CAAC,IAAI,EAAE,EAAE,CAAC,CAAA;QACzC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAE,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC,CAAE,CAAC,CAAA;IACzC,CAAC;IACD,SAAS,CAAC,GAAG,CAAC,OAAgB,EAAE,KAAK,CAAC,CAAA;IACtC,OAAO,SAAiC,CAAA;AAC1C,CAAC","sourcesContent":["/**\n * replica-role-table — generalized replica[k] role-table builder (Phase 3 L3).\n *\n * Shared by the handwritten replicate ops (circularPattern / gridPattern /\n * rectangularPattern / mirrorJoin). Every replica is a rigid transform T_k of\n * the input; result faces = ∪ T_k(input faces). For each result face, its\n * centroid is mapped back through T_k⁻¹ into input coordinates and matched to\n * the nearest input-face centroid, recovering the input role, prefixed with\n * the replica label: `replica[k]/<inner>`.\n *\n * Same mechanism as pattern.ts linearPattern (centroid clustering), generalized\n * from a projection along one direction to arbitrary per-replica inverses.\n */\n\nimport type { Shape } from '../../mesh/types'\nimport type { BrepHandle, BrepVec3 } from '../../brep/engine/types'\nimport type { BrepEngineApi } from '../../brep/engine/primitives'\nimport type { RoleTable } from '../../topology/naming/types'\nimport { brepOf, inputRoleTable } from '../../shape'\nimport { getFaceHashes } from '../../brep/face-evolution'\n\n/** One replica: role-table label prefix + inverse of its placement transform. */\nexport interface ReplicaTransform {\n  /** Label prefix, e.g. 'replica[2]' / 'replica[1_0]'. */\n  label: string\n  /** Map a result-face centroid back into the input coordinate frame (T_k⁻¹). */\n  inverse: (c: BrepVec3) => BrepVec3\n}\n\n/**\n * Build the `replica[*]/<inner>` role table for a fused multi-replica result.\n *\n * @param kernel - the BREP engine api.\n * @param input - the source Shape (its role table provides inner roles).\n * @param resultSolid - the fused result handle.\n * @param replicas - per-replica label + inverse transform.\n * @param outStmt - the output statement id (role-table key).\n * @returns the role table keyed by outStmt.\n */\nexport function buildReplicaRoleTable(\n  kernel: BrepEngineApi,\n  input: Shape,\n  resultSolid: BrepHandle,\n  replicas: ReplicaTransform[],\n  outStmt: string,\n): RoleTable {\n  const inputSolid = brepOf(input) as BrepHandle\n  const inputTable = inputRoleTable(input) as RoleTable | undefined\n\n  // input face hash → role (for inner-role recovery)\n  const inputHashes = getFaceHashes(kernel, inputSolid)\n  const inputHashToRole = new Map<number, string>()\n  if (inputTable) {\n    for (const roles of inputTable.values()) {\n      for (const [role, hashes] of roles) for (const h of hashes) inputHashToRole.set(h, role)\n    }\n  }\n  const inputFaces = kernel.getSubShapes(inputSolid, 'face')\n  const inputCentroids = inputFaces.map((f) => kernel.surfaceCenterOfMass(f))\n\n  const resultHashes = getFaceHashes(kernel, resultSolid)\n  const resultFaces = kernel.getSubShapes(resultSolid, 'face')\n  const resultCentroids = resultFaces.map((f) => kernel.surfaceCenterOfMass(f))\n\n  const roleTable = new Map<string, Map<string, number[]>>()\n  const inner = new Map<string, number[]>()\n  for (let i = 0; i < resultHashes.length; i++) {\n    const c = resultCentroids[i]!\n    // Try every replica inverse; the one mapping closest to an input face\n    // centroid wins (identifies both the replica k and the inner role).\n    let bestLabel = replicas[0]!.label\n    let bestRole: string | undefined\n    let bestDist = Infinity\n    for (const r of replicas) {\n      const p = r.inverse(c)\n      for (let j = 0; j < inputCentroids.length; j++) {\n        const ic = inputCentroids[j]!\n        const d = (p.x - ic.x) ** 2 + (p.y - ic.y) ** 2 + (p.z - ic.z) ** 2\n        if (d < bestDist) {\n          bestDist = d\n          bestLabel = r.label\n          bestRole = inputHashToRole.get(inputHashes[j]!)\n        }\n      }\n    }\n    const role = `${bestLabel}/${bestRole ?? 'face'}`\n    if (!inner.has(role)) inner.set(role, [])\n    inner.get(role)!.push(resultHashes[i]!)\n  }\n  roleTable.set(outStmt as never, inner)\n  return roleTable as unknown as RoleTable\n}\n"]}