@faicad/faijs 0.16.1 → 0.18.0

package/dist/brep/engine/primitives.d.ts

@@ -1,165 +1,139 @@
 /**
- * engine/primitives — BREP 引擎契约面（port 面）
+ * engine/primitives — BREP 引擎契约面（port 面，L1 核心面）
  *
+ * ⚠️ 2026-09-24 契约面收窄（docs/plans/2026-09-24-brep-engine-api-narrowing-native-access.md
+ * §Phase 2 / D1 / D9 / D10）：`BrepEngineApi` 的语义 = **所有已注册 BREP 引擎都真实现的
+ * 方法**（occt 与 brepkit 双方语义可对齐的交集面，最大化口径）。判据唯一真源：
+ * `api/surface/engine-method-map.json`（status ∈ {aligned, dialect} 的条目）。
  *
- * ⚠️ Phase 0 落地形态：覆盖 §2.3 实测的 66 个被调方法（BrepHandle 中立签名），
- * 供类型解耦使用。Phase 1 按 §7.4 扩到 83 项分 14 族，并落地编译期完整性守卫
- * （_AssertSatisfiesBrepEngineApi，抄 brepjs §3.2）。
- * 复杂返回类型（XCAF 文档 / NURBS 曲线数据等）在 Phase 0 用 unknown 占位，Phase 1 钉死。
- *
- * 命名沿用 occt-wasm 现状——最小迁移成本 + 可演进（§7.4 的取舍）。
+ * - 移出 L1 的方法（occt-only 语义）不再有中立名，平台代码直接走原生面：
+ *   `getOcctKernel()` / `getBrepkitKernel()`（D3），op 侧用 `engines: ['occt']` 声明（D11）。
+ * - 禁止任何 `as BrepEngineApi` 跨层断言（守卫见 §5 守卫清单）。
+ * - 三个适配器的编译期断言 `_Assert*Api` 由此全部获得真校验力。
  */
-import type { BrepBoundingBox, BrepCurveParameters, BrepEdgeData, BrepEvolutionData, BrepHandle, BrepMeshResult, BrepSubShapeType, BrepTessellateOptions, BrepUvBounds, BrepVec3, BrepXcafDocument } from './types.js';
+import type { BrepBoundingBox, BrepCurveParameters, BrepEdgeData, BrepEvolutionData, BrepHandle, BrepMeshResult, BrepSubShapeType, BrepTessellateOptions, BrepUvBounds, BrepVec3 } from './types.js';
 /**
- * BREP 引擎原语契约。所有句柄参数/返回值均为 BrepHandle（不透明值，§6.3）。
- * 引擎实现（occt/remus 适配器）负责内部句柄形态与 BrepHandle 的转换。
+ * BREP 引擎原语契约（L1 核心面）。所有句柄参数/返回值均为 BrepHandle（不透明值，§6.3）。
+ * 引擎实现（occt/brepkit 适配器）负责内部句柄形态与 BrepHandle 的转换，以及方言消化
+ * （如 brepkit surfaceArea → getSurfaceArea，与 matrix 方言的 toKernelMatrix 同构）。
  */
 export interface BrepEngineApi {
     /** 手工释放句柄（GC 型引擎实现为 no-op）。 */
     release(shape: BrepHandle): void;
+    /** 释放内核/句柄（引擎级释放语义；brepkit GC 型 no-op）。 */
+    dispose(shape?: BrepHandle): void;
     makeBox(dx: number, dy: number, dz: number): BrepHandle;
     makeBoxFromCorners(corner1: BrepVec3, corner2: BrepVec3): BrepHandle;
     makeCylinder(radius: number, height: number): BrepHandle;
     makeSphere(radius: number): BrepHandle;
     makeCone(r1: number, r2: number, height: number): BrepHandle;
     makeRectangle(width: number, height: number): BrepHandle;
+    makeEllipsoid(rx: number, ry: number, rz: number): BrepHandle;
+    makeTorus(majorRadius: number, minorRadius: number): BrepHandle;
+    makeVertex(x: number, y: number, z: number): BrepHandle;
+    /**
+     * 挤出：`{dx,dy,dz}` 为挤出向量（occt 方言）。
+     * brepkit 方言（方向+距离、只吃 face）由适配器归一：`len = |v|`、`dir = v/len`；
+     * `len === 0` 抛错；输入不是 face → 报错（显式失败，不静默降级，§3.6-1）。
+     */
     extrude(shape: BrepHandle, dx: number, dy: number, dz: number): BrepHandle;
-    loft(wires: BrepHandle[], isSolid: boolean, ruled: boolean): BrepHandle;
+    /** 旋转挤出（绕过 center、方向 direction 的轴，angle 为度；输入需 face，brepkit 方言断言同 extrude）。 */
+    revolveVec(shape: BrepHandle, center: BrepVec3, direction: BrepVec3, angleDeg: number): BrepHandle;
+    /** 缝合（tolerance 可选）。 */
+    sew(shapes: BrepHandle[], tolerance?: number): BrepHandle;
+    /** 缝合并固化成实体。 */
+    sewAndSolidify(faces: BrepHandle[], tolerance?: number): BrepHandle;
+    /** 抽壳（facesToRemove 移除面、thickness 壁厚、tolerance 容差）。 */
+    shell(solid: BrepHandle, facesToRemove: BrepHandle[], thickness: number, tolerance: number): BrepHandle;
+    /** 点集凸包（tolerance 为容差）。 */
+    hullFromPoints(points: BrepVec3[], tolerance: number): BrepHandle;
     fuse(a: BrepHandle, b: BrepHandle): BrepHandle;
     cut(a: BrepHandle, b: BrepHandle): BrepHandle;
     common(a: BrepHandle, b: BrepHandle): BrepHandle;
     intersect(a: BrepHandle, b: BrepHandle): BrepHandle;
-    section(a: BrepHandle, b: BrepHandle): BrepHandle;
     fuseAll(shapes: BrepHandle[]): BrepHandle;
+    /**
+     * 平面求交线：solid 与「过 point、法向 normal 的无限平面」的交线（§3.6-2 新中立名）。
+     * occt 适配器：大平面 face 作 tool 经原生 section 达成（Phase 1 探针 A 实测可达）。
+     * 返回交线/顶点句柄数组（brepkit 返回 Uint32Array 句柄组，occt compound downcast 展开）。
+     */
+    sectionByPlane(shape: BrepHandle, point: BrepVec3, normal: BrepVec3): BrepHandle[];
+    /**
+     * 平面二分：把 solid 沿「过 point、法向 normal 的无限平面」切成两半（§3.6-2 新中立名）。
+     * occt 适配器：大平面 face 作 tool 经原生 splitter 达成（Phase 1 探针 A 实测，solidCount=2）。
+     * 法向正侧 = `positive`（§3.7 返回口径）。
+     */
+    splitByPlane(shape: BrepHandle, point: BrepVec3, normal: BrepVec3): {
+        positive: BrepHandle;
+        negative: BrepHandle;
+    };
     /** 等距倒角：逐边 `BRepFilletAPI_MakeChamfer::Add(distance, E)`。 */
     chamfer(solid: BrepHandle, edges: BrepHandle[], distance: number): BrepHandle;
     /**
-     * 距角倒角：`AddDA(distance, angleRad, E, F)`。
-     * ⚠️ F 由内核自选（外层 TopExp_Explorer 第一个含该边的面），调用方不可指定。
+     * 距角倒角：`AddDA(distance, angleDeg, E, F)`（brepkit 原生 chamferDistanceAngle，方言映射）。
+     * ⚠️ F 由内核自选（外层第一个含该边的面），调用方不可指定。
      */
     chamferDistAngle(solid: BrepHandle, edges: BrepHandle[], distance: number, angleDeg: number): BrepHandle;
     /** 等半径圆角：`BRepFilletAPI_MakeFillet::Add(radius, E)`。 */
     fillet(solid: BrepHandle, edges: BrepHandle[], radius: number): BrepHandle;
-    /** 变半径圆角：单边 `BRepFilletAPI_MakeFillet::Add(startRadius, endRadius, E)`。 */
+    /** 变半径圆角：单边 `Add(startRadius, endRadius, E)`（brepkit 吃 json 描述，适配器消化）。 */
     filletVariable(solid: BrepHandle, edge: BrepHandle, startRadius: number, endRadius: number): BrepHandle;
     /**
-     * 等半径圆角（WithHistory）：返回面演化数据，供 roleTable 传播。
-     * modified/generated/deleted 用面 hash 编码（§7.5）。
+     * 等半径圆角（带面演化）：modified/generated/deleted 用面 hash 编码（§7.5）。
+     * brepkit 原生 filletWithEvolution，适配器映射。
      */
     filletWithHistory(solid: BrepHandle, edges: BrepHandle[], radius: number, inputFaceHashes: number[], hashUpperBound: number): BrepEvolutionData;
-    /**
-     * 等距倒角（WithHistory）：返回面演化数据，供 roleTable 传播。
-     * modified/generated/deleted 用面 hash 编码（§7.5）。
-     */
-    chamferWithHistory(solid: BrepHandle, edges: BrepHandle[], distance: number, inputFaceHashes: number[], hashUpperBound: number): BrepEvolutionData;
     translate(shape: BrepHandle, dx: number, dy: number, dz: number): BrepHandle;
     scale(shape: BrepHandle, center: BrepVec3, factor: number): BrepHandle;
     /** 3×4 行主序 12 元素矩阵（口径见上方"变换"节注释）。 */
     transform(shape: BrepHandle, matrix: number[]): BrepHandle;
-    /** 3×4 行主序 12 元素矩阵（口径见上方"变换"节注释）。 */
+    /** 带位置矩阵放置（3×4 行主序 12 元素，口径见变换族注释）。 */
     located(shape: BrepHandle, matrix: number[]): BrepHandle;
-    /** 3×4 行主序 12 元素矩阵（口径见上方"变换"节注释）。 */
+    locate(shape: BrepHandle, matrix: number[]): BrepHandle;
+    /** 一般变换（3×4 行主序 12 元素）。 */
     generalTransform(shape: BrepHandle, matrix: number[]): BrepHandle;
     copy(shape: BrepHandle): BrepHandle;
-    /** 线性阵列：沿 direction 复制 count 份（含原位置），返回各份副本句柄数组。 */
-    linearPattern(shape: BrepHandle, direction: BrepVec3, spacing: number, count: number): BrepHandle[];
-    /** 环形阵列：绕 axis 均分 angleStep 每份，返回各份副本句柄数组。 */
-    circularPattern(shape: BrepHandle, center: BrepVec3, axis: BrepVec3, angleStep: number, count: number): BrepHandle[];
-    /** 二维栅格阵列：沿两方向复制 countX×countY 份，返回 compound 单句柄。 */
-    gridPattern(shape: BrepHandle, directionX: BrepVec3, directionY: BrepVec3, spacingX: number, spacingY: number, countX: number, countY: number): BrepHandle;
-    /** 轴对齐包围盒。 */
-    boundingBox(shape: BrepHandle): BrepBoundingBox;
-    /** 形状类型（vertex/edge/wire/face/shell/solid）。 */
-    shapeType(shape: BrepHandle): BrepSubShapeType;
-    /** 句柄是否为空（无效引用）。 */
-    isNull(shape: BrepHandle): boolean;
-    /** 遍历子形状句柄（与 getSubShapes 同族，返回句柄数组）。 */
-    iterShapes(shape: BrepHandle): BrepHandle[];
-    /** 曲面质心。 */
-    surfaceCenterOfMass(face: BrepHandle): BrepVec3;
-    /** 带位置矩阵放置（3×4 行主序 12 元素，口径见变换族注释）。 */
-    locate(shape: BrepHandle, matrix: number[]): BrepHandle;
     /** 复制句柄（独立引用计数）。 */
     copyShape(shape: BrepHandle): BrepHandle;
-    /** 类型降级（目标子形状类型；不匹配返回空句柄）。 */
-    downcast(shape: BrepHandle, targetType: BrepSubShapeType): BrepHandle;
-    /** 释放内核/句柄（引擎级释放语义；brepkit GC 型 no-op）。 */
-    dispose(shape?: BrepHandle): void;
     /** 组合两个 3×4 行主序变换矩阵（12 元素）。 */
     composeTransform(m1: number[], m2: number[]): number[];
-    /** 拉伸律面构造（profile 为曲线描述串）。 */
-    buildExtrusionLaw(profile: string, length: number, endFactor: number): BrepHandle;
-    /** 曲面上的边构造（curve 为 2D 曲线句柄，宽化 BrepHandle 口径）。 */
-    buildEdgeOnSurface(curve: BrepHandle, surface: BrepHandle): BrepHandle;
-    /** 面修复（ShapeFix，容忍度可选）。 */
-    healFace(shape: BrepHandle, tolerance?: number): BrepHandle;
-    /** 线修复（ShapeFix，容忍度可选）。 */
-    healWire(shape: BrepHandle, tolerance?: number): BrepHandle;
-    /** 线自相交修复。 */
-    fixSelfIntersection(wire: BrepHandle): BrepHandle;
-    /** 点集凸包（tolerance 为容差）。 */
-    hullFromPoints(points: BrepVec3[], tolerance: number): BrepHandle;
-    /** 高级放样（options 形态同 vendored loftAdvanced）。 */
-    loftAdvanced(wires: BrepHandle[], options?: {
-        solid?: boolean;
-        ruled?: boolean;
-        tolerance?: number;
-    }): BrepHandle;
-    /** 椭球（三半轴）。 */
-    makeEllipsoid(rx: number, ry: number, rz: number): BrepHandle;
-    /** 曲面上的面构造（face 为承载面、wire 为边界）。 */
-    makeFaceOnSurface(face: BrepHandle, wire: BrepHandle): BrepHandle;
-    /** 圆环（主/次半径）。 */
-    makeTorus(majorRadius: number, minorRadius: number): BrepHandle;
-    /** 顶点构造。 */
-    makeVertex(x: number, y: number, z: number): BrepHandle;
-    /** 混合线构造（items 为边/顶点混合）。 */
-    makeWireFromMixed(items: BrepHandle[]): BrepHandle;
     /** 镜像（过 point、法向 normal 的平面）。 */
     mirror(shape: BrepHandle, point: BrepVec3, normal: BrepVec3): BrepHandle;
-    /** 旋转（绕过 center、方向 direction 的轴，angle 为度）。 */
-    revolveVec(shape: BrepHandle, center: BrepVec3, direction: BrepVec3, angleDeg: number): BrepHandle;
-    /** 缝合（tolerance 可选）。 */
-    sew(shapes: BrepHandle[], tolerance?: number): BrepHandle;
-    /** 抽壳（facesToRemove 移除面、thickness 壁厚、tolerance 容差）。 */
-    shell(solid: BrepHandle, facesToRemove: BrepHandle[], thickness: number, tolerance: number): BrepHandle;
-    /** 简单扫掠（profile 沿 spine 扫出实体）。 */
-    simplePipe(profile: BrepHandle, spine: BrepHandle): BrepHandle;
-    /** 简化几何。 */
-    simplify(shape: BrepHandle): BrepHandle;
-    /** 分割（tools 切割体；返回单个结果句柄，语义同 vendored boolOps.split）。 */
-    split(shape: BrepHandle, tools: BrepHandle[]): BrepHandle;
-    /** 管壳扫掠（freenet/smooth 可选）。 */
-    sweepPipeShell(profile: BrepHandle, spine: BrepHandle, freenet?: boolean, smooth?: boolean): BrepHandle;
-    /** 非正交一般变换（3×4 行主序 12 元素）。 */
-    generalTransformNonOrthogonal(shape: BrepHandle, matrix: number[]): BrepHandle;
-    /** 一般变换（带面演化；3×4 行主序 12 元素，适配器拆分 linear/translation）。 */
-    generalTransformWithHistory(shape: BrepHandle, matrix: number[], inputFaceHashes: number[], hashUpperBound: number): BrepEvolutionData;
-    /** 组合变换（带面演化；3×4 行主序 12 元素）。 */
-    applyComposedTransformWithHistory(shape: BrepHandle, matrix: number[], inputFaceHashes: number[], hashUpperBound: number): BrepEvolutionData;
+    /** 线性阵列：沿 direction 复制 count 份（含原位置），返回各份副本句柄数组。 */
+    linearPattern(shape: BrepHandle, direction: BrepVec3, spacing: number, count: number): BrepHandle[];
+    /** 环形阵列：绕 axis 均分 angleStep 每份，返回各份副本句柄数组。 */
+    circularPattern(shape: BrepHandle, center: BrepVec3, axis: BrepVec3, angleStep: number, count: number): BrepHandle[];
+    /** 二维栅格阵列：沿两方向复制 countX×countY 份，返回 compound 单句柄。 */
+    gridPattern(shape: BrepHandle, directionX: BrepVec3, directionY: BrepVec3, spacingX: number, spacingY: number, countX: number, countY: number): BrepHandle;
     makeLineEdge(start: BrepVec3, end: BrepVec3): BrepHandle;
     makeArcEdge(start: BrepVec3, mid: BrepVec3, end: BrepVec3): BrepHandle;
     makeBezierEdge(controlPoints: BrepVec3[]): BrepHandle;
+    makeCircleEdge(center: BrepVec3, normal: BrepVec3, radius: number): BrepHandle;
     makeWire(edges: BrepHandle[]): BrepHandle;
     makeFace(wire: BrepHandle): BrepHandle;
     makeCompound(shapes: BrepHandle[]): BrepHandle;
-    sewAndSolidify(faces: BrepHandle[], tolerance?: number): BrepHandle;
-    buildTriFace(a: BrepVec3, b: BrepVec3, c: BrepVec3): BrepHandle;
     addHolesInFace(face: BrepHandle, holeWires: BrepHandle[]): BrepHandle;
+    /** 三角面（三顶点）。 */
+    buildTriFace(a: BrepVec3, b: BrepVec3, c: BrepVec3): BrepHandle;
     meshShape(shape: BrepHandle, options?: BrepTessellateOptions): BrepMeshResult;
     wireframe(shape: BrepHandle, deflection?: number): BrepEdgeData;
     getSubShapes(shape: BrepHandle, type: BrepSubShapeType): BrepHandle[];
-    /** 批量查询（§2.3：生产路径零调用，仅测试使用；Phase 1 钉死返回形态）。 */
-    queryBatch(shapes: BrepHandle[]): Array<{
-        area: number;
-    }>;
     subShapeHashes(shape: BrepHandle, type: BrepSubShapeType, hashUpperBound: number): number[];
     hashCode(shape: BrepHandle, upperBound: number): number;
     isSame(a: BrepHandle, b: BrepHandle): boolean;
     isSolid(shape: BrepHandle): boolean;
+    /** 形状类型名（'SOLID' / 'FACE' / 'EDGE' / 'WIRE' / 'COMPOUND' 等；引擎方言归一）。
+     * 库桥（l3-bridge）构造借入视图时读；brepkit/mock 按能力防御返回。 */
+    shapeType(shape: BrepHandle): string;
     /** 方向标识（与内核 ShapeOrientation 同构：'forward'|'reversed'|'internal'|'external'）。 */
     shapeOrientation(shape: BrepHandle): string;
-    /** 曲面类型标识（与内核 SurfaceKind 同构的中立字符串形态）。 */
+    /** 边→面关联（brepkit 原生同名）。 */
+    edgeToFaceMap(shape: BrepHandle): unknown;
+    /** 面的相邻面（同一 solid 内与 face 共享边的面；两内核原生都吃 (shape, face)）。 */
+    adjacentFaces(shape: BrepHandle, face: BrepHandle): BrepHandle[];
+    /** 两面共享的边。 */
+    sharedEdges(a: BrepHandle, b: BrepHandle): BrepHandle[];
+    /** 曲线类型标识（与内核 CurveKind 同构的中立字符串形态）。 */
     curveType(edge: BrepHandle): string;
     curvePointAtParam(edge: BrepHandle, param: number): BrepVec3;
     curveTangent(edge: BrepHandle, param: number): BrepVec3;
@@ -171,7 +145,8 @@ export interface BrepEngineApi {
     surfaceNormal(face: BrepHandle, u: number, v: number): BrepVec3;
     pointOnSurface(face: BrepHandle, u: number, v: number): BrepVec3;
     uvBounds(face: BrepHandle): BrepUvBounds;
-    getSurfaceCenterOfMass(face: BrepHandle): BrepVec3;
+    /** 曲面质心。 */
+    surfaceCenterOfMass(face: BrepHandle): BrepVec3;
     /** Phase 1 钉死返回形态（topologyExt 仅读 radius）。 */
     getFaceCylinderData(face: BrepHandle): {
         radius: number;
@@ -182,15 +157,28 @@ export interface BrepEngineApi {
         periodic: boolean;
         rational: boolean;
     } | null;
+    interpolatePoints(points: BrepVec3[], degree: number): BrepHandle;
+    /** 去特征（移除面集合）。 */
+    defeature(shape: BrepHandle, faces: BrepHandle[]): BrepHandle;
+    /** 拔模。 */
+    draft(shape: BrepHandle, faces: BrepHandle[], pull: BrepVec3, neutral: BrepVec3, angleDeg: number): BrepHandle;
+    removeHolesFromFace(face: BrepHandle): BrepHandle;
+    reverseShape(shape: BrepHandle): BrepHandle;
+    /** 边投影（方言参数由适配器消化）。 */
+    projectEdges(shape: BrepHandle, origin: BrepVec3, direction: BrepVec3, xAxis: BrepVec3, hiddenLines: boolean, deflection: number): unknown;
     getBoundingBox(shape: BrepHandle, useTriangulation?: boolean): BrepBoundingBox;
     getVolume(shape: BrepHandle): number;
     getCenterOfMass(shape: BrepHandle): BrepVec3;
+    /** 表面积（D6：面积进 L1；brepkit 原生 surfaceArea/faceArea，适配器映射）。 */
+    getSurfaceArea(shape: BrepHandle): number;
+    /** 长度（D6：进 L1；brepkit 原生 length/wireLength，wire 与 edge 入参差异由适配器判别）。 */
+    getLength(shape: BrepHandle): number;
     isValid(shape: BrepHandle): boolean;
     unifySameDomain(shape: BrepHandle): BrepHandle;
     healSolid(shape: BrepHandle, tolerance?: number): BrepHandle;
     fixShape(shape: BrepHandle): BrepHandle;
     fixFaceOrientations(shape: BrepHandle): BrepHandle;
-    removeDegenerateEdges(shape: BrepHandle): BrepHandle;
+    removeDegenerateEdges(shape: BrepHandle, tolerance?: number): BrepHandle;
     importStep(data: string | ArrayBuffer): BrepHandle;
     exportStep(shape: BrepHandle): string;
     importStl(data: string | ArrayBuffer): BrepHandle;
@@ -198,35 +186,10 @@ export interface BrepEngineApi {
     cutWithHistory(a: BrepHandle, b: BrepHandle, inputFaceHashes: number[], hashUpperBound: number): BrepEvolutionData;
     fuseWithHistory(a: BrepHandle, b: BrepHandle, inputFaceHashes: number[], hashUpperBound: number): BrepEvolutionData;
     intersectWithHistory(a: BrepHandle, b: BrepHandle, inputFaceHashes: number[], hashUpperBound: number): BrepEvolutionData;
-    /** 平移 + 面演化（权威 hash→hash 映射，替代序号对齐近似）。 */
-    translateWithHistory(shape: BrepHandle, dx: number, dy: number, dz: number, inputFaceHashes: number[], hashUpperBound: number): BrepEvolutionData;
-    /** 绕任意轴旋转 + 面演化。`axis = {point, direction}`，`angleRad` 为**弧度**。 */
-    rotateWithHistory(shape: BrepHandle, axis: {
-        point: BrepVec3;
-        direction: BrepVec3;
-    }, angleRad: number, inputFaceHashes: number[], hashUpperBound: number): BrepEvolutionData;
-    /** 镜像 + 面演化。`point` 为镜像面上一点，`normal` 为镜像面法向。 */
-    mirrorWithHistory(shape: BrepHandle, point: BrepVec3, normal: BrepVec3, inputFaceHashes: number[], hashUpperBound: number): BrepEvolutionData;
-    /** 缩放 + 面演化。⚠️ 仅**均匀**缩放（`factor: number`）；非均匀走 `generalTransform`（无历史）。 */
-    scaleWithHistory(shape: BrepHandle, center: BrepVec3, factor: number, inputFaceHashes: number[], hashUpperBound: number): BrepEvolutionData;
-    /** 抽壳 + 面演化。`faces` 为被移除的面（开口），`thickness` 为壁厚。 */
-    shellWithHistory(solid: BrepHandle, faces: BrepHandle[], thickness: number, tolerance: number, inputFaceHashes: number[], hashUpperBound: number): BrepEvolutionData;
-    /** 偏移 + 面演化。 */
-    offsetWithHistory(solid: BrepHandle, distance: number, tolerance: number, inputFaceHashes: number[], hashUpperBound: number): BrepEvolutionData;
-    /** 加厚（面/壳 → 实体）+ 面演化。 */
-    thickenWithHistory(shape: BrepHandle, thickness: number, tolerance: number, inputFaceHashes: number[], hashUpperBound: number): BrepEvolutionData;
-    createXCAFDocument(): BrepXcafDocument;
-    importXCAFFromSTEP(stepData: string): BrepXcafDocument;
 }
 /**
- * 编译期完整性守卫（§7.8，抄 brepjs §3.2 的 _AssertSatisfiesKernelShape）。
- *
- * 用法（适配器里）：
- * ```ts
- * type _AssertOcct = AssertSatisfiesBrepEngineApi<Awaited<ReturnType<typeof initOcctWasm>>>
- * ```
- * 若实现类型缺少接口中的任何方法（或签名不兼容）→ tsc 报错并列出缺失属性。
- * 引擎换用 / 接口演进（Phase 1 扩到 83 项）时，失配在编译期暴露，而非运行时黑盒。
+ * 编译期完整性断言（D1）：实现类型必须逐成员满足 L1 核心面。
+ * 三处守卫 `_AssertOcctApi` / `_AssertBrepkitApi` / `_AssertBrepMockApi` 同时生效。
  */
 export type AssertSatisfiesBrepEngineApi<Impl extends BrepEngineApi> = Impl;
 //# sourceMappingURL=primitives.d.ts.map

package/dist/brep/engine/primitives.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"primitives.d.ts","sourceRoot":"","sources":["../../../src/brep/engine/primitives.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AAEH,OAAO,KAAK,EACV,eAAe,EACf,mBAAmB,EACnB,YAAY,EACZ,iBAAiB,EACjB,UAAU,EACV,cAAc,EACd,gBAAgB,EAChB,qBAAqB,EACrB,YAAY,EACZ,QAAQ,EACR,gBAAgB,EACjB,MAAM,SAAS,CAAA;AAEhB;;;GAGG;AACH,MAAM,WAAW,aAAa;IAE5B,+BAA+B;IAC/B,OAAO,CAAC,KAAK,EAAE,UAAU,GAAG,IAAI,CAAA;IAGhC,OAAO,CAAC,EAAE,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,GAAG,UAAU,CAAA;IACvD,kBAAkB,CAAC,OAAO,EAAE,QAAQ,EAAE,OAAO,EAAE,QAAQ,GAAG,UAAU,CAAA;IACpE,YAAY,CAAC,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,GAAG,UAAU,CAAA;IACxD,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,UAAU,CAAA;IACtC,QAAQ,CAAC,EAAE,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,GAAG,UAAU,CAAA;IAC5D,aAAa,CAAC,KAAK,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,GAAG,UAAU,CAAA;IAGxD,OAAO,CAAC,KAAK,EAAE,UAAU,EAAE,EAAE,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,GAAG,UAAU,CAAA;IAC1E,IAAI,CAAC,KAAK,EAAE,UAAU,EAAE,EAAE,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,OAAO,GAAG,UAAU,CAAA;IAGvE,IAAI,CAAC,CAAC,EAAE,UAAU,EAAE,CAAC,EAAE,UAAU,GAAG,UAAU,CAAA;IAC9C,GAAG,CAAC,CAAC,EAAE,UAAU,EAAE,CAAC,EAAE,UAAU,GAAG,UAAU,CAAA;IAC7C,MAAM,CAAC,CAAC,EAAE,UAAU,EAAE,CAAC,EAAE,UAAU,GAAG,UAAU,CAAA;IAChD,SAAS,CAAC,CAAC,EAAE,UAAU,EAAE,CAAC,EAAE,UAAU,GAAG,UAAU,CAAA;IACnD,OAAO,CAAC,CAAC,EAAE,UAAU,EAAE,CAAC,EAAE,UAAU,GAAG,UAAU,CAAA;IACjD,OAAO,CAAC,MAAM,EAAE,UAAU,EAAE,GAAG,UAAU,CAAA;IAGzC,6DAA6D;IAC7D,OAAO,CAAC,KAAK,EAAE,UAAU,EAAE,KAAK,EAAE,UAAU,EAAE,EAAE,QAAQ,EAAE,MAAM,GAAG,UAAU,CAAA;IAC7E;;;OAGG;IACH,gBAAgB,CACd,KAAK,EAAE,UAAU,EAAE,KAAK,EAAE,UAAU,EAAE,EAAE,QAAQ,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,GACzE,UAAU,CAAA;IACb,wDAAwD;IACxD,MAAM,CAAC,KAAK,EAAE,UAAU,EAAE,KAAK,EAAE,UAAU,EAAE,EAAE,MAAM,EAAE,MAAM,GAAG,UAAU,CAAA;IAC1E,2EAA2E;IAC3E,cAAc,CAAC,KAAK,EAAE,UAAU,EAAE,IAAI,EAAE,UAAU,EAAE,WAAW,EAAE,MAAM,EAAE,SAAS,EAAE,MAAM,GAAG,UAAU,CAAA;IACvG;;;OAGG;IACH,iBAAiB,CACf,KAAK,EAAE,UAAU,EACjB,KAAK,EAAE,UAAU,EAAE,EACnB,MAAM,EAAE,MAAM,EACd,eAAe,EAAE,MAAM,EAAE,EACzB,cAAc,EAAE,MAAM,GACrB,iBAAiB,CAAA;IACpB;;;OAGG;IACH,kBAAkB,CAChB,KAAK,EAAE,UAAU,EACjB,KAAK,EAAE,UAAU,EAAE,EACnB,QAAQ,EAAE,MAAM,EAChB,eAAe,EAAE,MAAM,EAAE,EACzB,cAAc,EAAE,MAAM,GACrB,iBAAiB,CAAA;IASpB,SAAS,CAAC,KAAK,EAAE,UAAU,EAAE,EAAE,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,GAAG,UAAU,CAAA;IAC5E,KAAK,CAAC,KAAK,EAAE,UAAU,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,EAAE,MAAM,GAAG,UAAU,CAAA;IACtE,qCAAqC;IACrC,SAAS,CAAC,KAAK,EAAE,UAAU,EAAE,MAAM,EAAE,MAAM,EAAE,GAAG,UAAU,CAAA;IAC1D,qCAAqC;IACrC,OAAO,CAAC,KAAK,EAAE,UAAU,EAAE,MAAM,EAAE,MAAM,EAAE,GAAG,UAAU,CAAA;IACxD,qCAAqC;IACrC,gBAAgB,CAAC,KAAK,EAAE,UAAU,EAAE,MAAM,EAAE,MAAM,EAAE,GAAG,UAAU,CAAA;IACjE,IAAI,CAAC,KAAK,EAAE,UAAU,GAAG,UAAU,CAAA;IASnC,oDAAoD;IACpD,aAAa,CAAC,KAAK,EAAE,UAAU,EAAE,SAAS,EAAE,QAAQ,EAAE,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,GAAG,UAAU,EAAE,CAAA;IACnG,8CAA8C;IAC9C,eAAe,CACb,KAAK,EAAE,UAAU,EACjB,MAAM,EAAE,QAAQ,EAChB,IAAI,EAAE,QAAQ,EACd,SAAS,EAAE,MAAM,EACjB,KAAK,EAAE,MAAM,GACZ,UAAU,EAAE,CAAA;IACf,qDAAqD;IACrD,WAAW,CACT,KAAK,EAAE,UAAU,EACjB,UAAU,EAAE,QAAQ,EACpB,UAAU,EAAE,QAAQ,EACpB,QAAQ,EAAE,MAAM,EAChB,QAAQ,EAAE,MAAM,EAChB,MAAM,EAAE,MAAM,EACd,MAAM,EAAE,MAAM,GACb,UAAU,CAAA;IAIb,cAAc;IACd,WAAW,CAAC,KAAK,EAAE,UAAU,GAAG,eAAe,CAAA;IAC/C,+CAA+C;IAC/C,SAAS,CAAC,KAAK,EAAE,UAAU,GAAG,gBAAgB,CAAA;IAC9C,oBAAoB;IACpB,MAAM,CAAC,KAAK,EAAE,UAAU,GAAG,OAAO,CAAA;IAClC,yCAAyC;IACzC,UAAU,CAAC,KAAK,EAAE,UAAU,GAAG,UAAU,EAAE,CAAA;IAC3C,YAAY;IACZ,mBAAmB,CAAC,IAAI,EAAE,UAAU,GAAG,QAAQ,CAAA;IAC/C,uCAAuC;IACvC,MAAM,CAAC,KAAK,EAAE,UAAU,EAAE,MAAM,EAAE,MAAM,EAAE,GAAG,UAAU,CAAA;IACvD,oBAAoB;IACpB,SAAS,CAAC,KAAK,EAAE,UAAU,GAAG,UAAU,CAAA;IACxC,8BAA8B;IAC9B,QAAQ,CAAC,KAAK,EAAE,UAAU,EAAE,UAAU,EAAE,gBAAgB,GAAG,UAAU,CAAA;IACrE,2CAA2C;IAC3C,OAAO,CAAC,KAAK,CAAC,EAAE,UAAU,GAAG,IAAI,CAAA;IACjC,+BAA+B;IAC/B,gBAAgB,CAAC,EAAE,EAAE,MAAM,EAAE,EAAE,EAAE,EAAE,MAAM,EAAE,GAAG,MAAM,EAAE,CAAA;IAGtD,8BAA8B;IAC9B,iBAAiB,CAAC,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,SAAS,EAAE,MAAM,GAAG,UAAU,CAAA;IACjF,iDAAiD;IACjD,kBAAkB,CAAC,KAAK,EAAE,UAAU,EAAE,OAAO,EAAE,UAAU,GAAG,UAAU,CAAA;IACtE,2BAA2B;IAC3B,QAAQ,CAAC,KAAK,EAAE,UAAU,EAAE,SAAS,CAAC,EAAE,MAAM,GAAG,UAAU,CAAA;IAC3D,2BAA2B;IAC3B,QAAQ,CAAC,KAAK,EAAE,UAAU,EAAE,SAAS,CAAC,EAAE,MAAM,GAAG,UAAU,CAAA;IAC3D,cAAc;IACd,mBAAmB,CAAC,IAAI,EAAE,UAAU,GAAG,UAAU,CAAA;IACjD,2BAA2B;IAC3B,cAAc,CAAC,MAAM,EAAE,QAAQ,EAAE,EAAE,SAAS,EAAE,MAAM,GAAG,UAAU,CAAA;IACjE,+CAA+C;IAC/C,YAAY,CAAC,KAAK,EAAE,UAAU,EAAE,EAAE,OAAO,CAAC,EAAE;QAAE,KAAK,CAAC,EAAE,OAAO,CAAC;QAAC,KAAK,CAAC,EAAE,OAAO,CAAC;QAAC,SAAS,CAAC,EAAE,MAAM,CAAA;KAAE,GAAG,UAAU,CAAA;IACjH,eAAe;IACf,aAAa,CAAC,EAAE,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,GAAG,UAAU,CAAA;IAC7D,mCAAmC;IACnC,iBAAiB,CAAC,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,UAAU,GAAG,UAAU,CAAA;IACjE,iBAAiB;IACjB,SAAS,CAAC,WAAW,EAAE,MAAM,EAAE,WAAW,EAAE,MAAM,GAAG,UAAU,CAAA;IAC/D,YAAY;IACZ,UAAU,CAAC,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,MAAM,GAAG,UAAU,CAAA;IACvD,4BAA4B;IAC5B,iBAAiB,CAAC,KAAK,EAAE,UAAU,EAAE,GAAG,UAAU,CAAA;IAClD,iCAAiC;IACjC,MAAM,CAAC,KAAK,EAAE,UAAU,EAAE,KAAK,EAAE,QAAQ,EAAE,MAAM,EAAE,QAAQ,GAAG,UAAU,CAAA;IACxE,8CAA8C;IAC9C,UAAU,CAAC,KAAK,EAAE,UAAU,EAAE,MAAM,EAAE,QAAQ,EAAE,SAAS,EAAE,QAAQ,EAAE,QAAQ,EAAE,MAAM,GAAG,UAAU,CAAA;IAClG,wBAAwB;IACxB,GAAG,CAAC,MAAM,EAAE,UAAU,EAAE,EAAE,SAAS,CAAC,EAAE,MAAM,GAAG,UAAU,CAAA;IACzD,uDAAuD;IACvD,KAAK,CAAC,KAAK,EAAE,UAAU,EAAE,aAAa,EAAE,UAAU,EAAE,EAAE,SAAS,EAAE,MAAM,EAAE,SAAS,EAAE,MAAM,GAAG,UAAU,CAAA;IACvG,kCAAkC;IAClC,UAAU,CAAC,OAAO,EAAE,UAAU,EAAE,KAAK,EAAE,UAAU,GAAG,UAAU,CAAA;IAC9D,YAAY;IACZ,QAAQ,CAAC,KAAK,EAAE,UAAU,GAAG,UAAU,CAAA;IACvC,yDAAyD;IACzD,KAAK,CAAC,KAAK,EAAE,UAAU,EAAE,KAAK,EAAE,UAAU,EAAE,GAAG,UAAU,CAAA;IACzD,+BAA+B;IAC/B,cAAc,CAAC,OAAO,EAAE,UAAU,EAAE,KAAK,EAAE,UAAU,EAAE,OAAO,CAAC,EAAE,OAAO,EAAE,MAAM,CAAC,EAAE,OAAO,GAAG,UAAU,CAAA;IACvG,8BAA8B;IAC9B,6BAA6B,CAAC,KAAK,EAAE,UAAU,EAAE,MAAM,EAAE,MAAM,EAAE,GAAG,UAAU,CAAA;IAC9E,yDAAyD;IACzD,2BAA2B,CACzB,KAAK,EAAE,UAAU,EACjB,MAAM,EAAE,MAAM,EAAE,EAChB,eAAe,EAAE,MAAM,EAAE,EACzB,cAAc,EAAE,MAAM,GACrB,iBAAiB,CAAA;IACpB,gCAAgC;IAChC,iCAAiC,CAC/B,KAAK,EAAE,UAAU,EACjB,MAAM,EAAE,MAAM,EAAE,EAChB,eAAe,EAAE,MAAM,EAAE,EACzB,cAAc,EAAE,MAAM,GACrB,iBAAiB,CAAA;IAIpB,YAAY,CAAC,KAAK,EAAE,QAAQ,EAAE,GAAG,EAAE,QAAQ,GAAG,UAAU,CAAA;IACxD,WAAW,CAAC,KAAK,EAAE,QAAQ,EAAE,GAAG,EAAE,QAAQ,EAAE,GAAG,EAAE,QAAQ,GAAG,UAAU,CAAA;IACtE,cAAc,CAAC,aAAa,EAAE,QAAQ,EAAE,GAAG,UAAU,CAAA;IAGrD,QAAQ,CAAC,KAAK,EAAE,UAAU,EAAE,GAAG,UAAU,CAAA;IACzC,QAAQ,CAAC,IAAI,EAAE,UAAU,GAAG,UAAU,CAAA;IACtC,YAAY,CAAC,MAAM,EAAE,UAAU,EAAE,GAAG,UAAU,CAAA;IAC9C,cAAc,CAAC,KAAK,EAAE,UAAU,EAAE,EAAE,SAAS,CAAC,EAAE,MAAM,GAAG,UAAU,CAAA;IACnE,YAAY,CAAC,CAAC,EAAE,QAAQ,EAAE,CAAC,EAAE,QAAQ,EAAE,CAAC,EAAE,QAAQ,GAAG,UAAU,CAAA;IAC/D,cAAc,CAAC,IAAI,EAAE,UAAU,EAAE,SAAS,EAAE,UAAU,EAAE,GAAG,UAAU,CAAA;IAGrE,SAAS,CAAC,KAAK,EAAE,UAAU,EAAE,OAAO,CAAC,EAAE,qBAAqB,GAAG,cAAc,CAAA;IAC7E,SAAS,CAAC,KAAK,EAAE,UAAU,EAAE,UAAU,CAAC,EAAE,MAAM,GAAG,YAAY,CAAA;IAG/D,YAAY,CAAC,KAAK,EAAE,UAAU,EAAE,IAAI,EAAE,gBAAgB,GAAG,UAAU,EAAE,CAAA;IACrE,+CAA+C;IAC/C,UAAU,CAAC,MAAM,EAAE,UAAU,EAAE,GAAG,KAAK,CAAC;QAAE,IAAI,EAAE,MAAM,CAAA;KAAE,CAAC,CAAA;IACzD,cAAc,CAAC,KAAK,EAAE,UAAU,EAAE,IAAI,EAAE,gBAAgB,EAAE,cAAc,EAAE,MAAM,GAAG,MAAM,EAAE,CAAA;IAC3F,QAAQ,CAAC,KAAK,EAAE,UAAU,EAAE,UAAU,EAAE,MAAM,GAAG,MAAM,CAAA;IACvD,MAAM,CAAC,CAAC,EAAE,UAAU,EAAE,CAAC,EAAE,UAAU,GAAG,OAAO,CAAA;IAC7C,OAAO,CAAC,KAAK,EAAE,UAAU,GAAG,OAAO,CAAA;IACnC,gFAAgF;IAChF,gBAAgB,CAAC,KAAK,EAAE,UAAU,GAAG,MAAM,CAAA;IAG3C,0CAA0C;IAC1C,SAAS,CAAC,IAAI,EAAE,UAAU,GAAG,MAAM,CAAA;IACnC,iBAAiB,CAAC,IAAI,EAAE,UAAU,EAAE,KAAK,EAAE,MAAM,GAAG,QAAQ,CAAA;IAC5D,YAAY,CAAC,IAAI,EAAE,UAAU,EAAE,KAAK,EAAE,MAAM,GAAG,QAAQ,CAAA;IACvD,eAAe,CAAC,IAAI,EAAE,UAAU,GAAG,mBAAmB,CAAA;IACtD,aAAa,CAAC,IAAI,EAAE,UAAU,GAAG,OAAO,CAAA;IACxC,WAAW,CAAC,IAAI,EAAE,UAAU,GAAG,MAAM,CAAA;IACrC,0CAA0C;IAC1C,WAAW,CAAC,IAAI,EAAE,UAAU,GAAG,MAAM,CAAA;IACrC,aAAa,CAAC,IAAI,EAAE,UAAU,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,MAAM,GAAG,QAAQ,CAAA;IAC/D,cAAc,CAAC,IAAI,EAAE,UAAU,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,MAAM,GAAG,QAAQ,CAAA;IAChE,QAAQ,CAAC,IAAI,EAAE,UAAU,GAAG,YAAY,CAAA;IACxC,sBAAsB,CAAC,IAAI,EAAE,UAAU,GAAG,QAAQ,CAAA;IAClD,6CAA6C;IAC7C,mBAAmB,CAAC,IAAI,EAAE,UAAU,GAAG;QAAE,MAAM,EAAE,MAAM,CAAA;KAAE,GAAG,IAAI,CAAA;IAChE,8DAA8D;IAC9D,iBAAiB,CAAC,IAAI,EAAE,UAAU,GAAG;QAAE,MAAM,EAAE,MAAM,CAAC;QAAC,QAAQ,EAAE,OAAO,CAAC;QAAC,QAAQ,EAAE,OAAO,CAAA;KAAE,GAAG,IAAI,CAAA;IAGpG,cAAc,CAAC,KAAK,EAAE,UAAU,EAAE,gBAAgB,CAAC,EAAE,OAAO,GAAG,eAAe,CAAA;IAC9E,SAAS,CAAC,KAAK,EAAE,UAAU,GAAG,MAAM,CAAA;IACpC,eAAe,CAAC,KAAK,EAAE,UAAU,GAAG,QAAQ,CAAA;IAG5C,OAAO,CAAC,KAAK,EAAE,UAAU,GAAG,OAAO,CAAA;IACnC,eAAe,CAAC,KAAK,EAAE,UAAU,GAAG,UAAU,CAAA;IAC9C,SAAS,CAAC,KAAK,EAAE,UAAU,EAAE,SAAS,CAAC,EAAE,MAAM,GAAG,UAAU,CAAA;IAC5D,QAAQ,CAAC,KAAK,EAAE,UAAU,GAAG,UAAU,CAAA;IACvC,mBAAmB,CAAC,KAAK,EAAE,UAAU,GAAG,UAAU,CAAA;IAClD,qBAAqB,CAAC,KAAK,EAAE,UAAU,GAAG,UAAU,CAAA;IAGpD,UAAU,CAAC,IAAI,EAAE,MAAM,GAAG,WAAW,GAAG,UAAU,CAAA;IAClD,UAAU,CAAC,KAAK,EAAE,UAAU,GAAG,MAAM,CAAA;IACrC,SAAS,CAAC,IAAI,EAAE,MAAM,GAAG,WAAW,GAAG,UAAU,CAAA;IACjD,QAAQ,CAAC,IAAI,EAAE,MAAM,GAAG,UAAU,CAAA;IAGlC,cAAc,CACZ,CAAC,EAAE,UAAU,EACb,CAAC,EAAE,UAAU,EACb,eAAe,EAAE,MAAM,EAAE,EACzB,cAAc,EAAE,MAAM,GACrB,iBAAiB,CAAA;IACpB,eAAe,CACb,CAAC,EAAE,UAAU,EACb,CAAC,EAAE,UAAU,EACb,eAAe,EAAE,MAAM,EAAE,EACzB,cAAc,EAAE,MAAM,GACrB,iBAAiB,CAAA;IACpB,oBAAoB,CAClB,CAAC,EAAE,UAAU,EACb,CAAC,EAAE,UAAU,EACb,eAAe,EAAE,MAAM,EAAE,EACzB,cAAc,EAAE,MAAM,GACrB,iBAAiB,CAAA;IAapB,0CAA0C;IAC1C,oBAAoB,CAClB,KAAK,EAAE,UAAU,EACjB,EAAE,EAAE,MAAM,EACV,EAAE,EAAE,MAAM,EACV,EAAE,EAAE,MAAM,EACV,eAAe,EAAE,MAAM,EAAE,EACzB,cAAc,EAAE,MAAM,GACrB,iBAAiB,CAAA;IACpB,mEAAmE;IACnE,iBAAiB,CACf,KAAK,EAAE,UAAU,EACjB,IAAI,EAAE;QAAE,KAAK,EAAE,QAAQ,CAAC;QAAC,SAAS,EAAE,QAAQ,CAAA;KAAE,EAC9C,QAAQ,EAAE,MAAM,EAChB,eAAe,EAAE,MAAM,EAAE,EACzB,cAAc,EAAE,MAAM,GACrB,iBAAiB,CAAA;IACpB,gDAAgD;IAChD,iBAAiB,CACf,KAAK,EAAE,UAAU,EACjB,KAAK,EAAE,QAAQ,EACf,MAAM,EAAE,QAAQ,EAChB,eAAe,EAAE,MAAM,EAAE,EACzB,cAAc,EAAE,MAAM,GACrB,iBAAiB,CAAA;IACpB,4EAA4E;IAC5E,gBAAgB,CACd,KAAK,EAAE,UAAU,EACjB,MAAM,EAAE,QAAQ,EAChB,MAAM,EAAE,MAAM,EACd,eAAe,EAAE,MAAM,EAAE,EACzB,cAAc,EAAE,MAAM,GACrB,iBAAiB,CAAA;IACpB,mDAAmD;IACnD,gBAAgB,CACd,KAAK,EAAE,UAAU,EACjB,KAAK,EAAE,UAAU,EAAE,EACnB,SAAS,EAAE,MAAM,EACjB,SAAS,EAAE,MAAM,EACjB,eAAe,EAAE,MAAM,EAAE,EACzB,cAAc,EAAE,MAAM,GACrB,iBAAiB,CAAA;IACpB,gBAAgB;IAChB,iBAAiB,CACf,KAAK,EAAE,UAAU,EACjB,QAAQ,EAAE,MAAM,EAChB,SAAS,EAAE,MAAM,EACjB,eAAe,EAAE,MAAM,EAAE,EACzB,cAAc,EAAE,MAAM,GACrB,iBAAiB,CAAA;IACpB,yBAAyB;IACzB,kBAAkB,CAChB,KAAK,EAAE,UAAU,EACjB,SAAS,EAAE,MAAM,EACjB,SAAS,EAAE,MAAM,EACjB,eAAe,EAAE,MAAM,EAAE,EACzB,cAAc,EAAE,MAAM,GACrB,iBAAiB,CAAA;IAGpB,kBAAkB,IAAI,gBAAgB,CAAA;IACtC,kBAAkB,CAAC,QAAQ,EAAE,MAAM,GAAG,gBAAgB,CAAA;CACvD;AAED;;;;;;;;;GASG;AACH,MAAM,MAAM,4BAA4B,CAAC,IAAI,SAAS,aAAa,IAAI,IAAI,CAAA"}
+{"version":3,"file":"primitives.d.ts","sourceRoot":"","sources":["../../../src/brep/engine/primitives.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AAEH,OAAO,KAAK,EACV,eAAe,EACf,mBAAmB,EACnB,YAAY,EACZ,iBAAiB,EACjB,UAAU,EACV,cAAc,EACd,gBAAgB,EAChB,qBAAqB,EACrB,YAAY,EACZ,QAAQ,EACT,MAAM,SAAS,CAAA;AAEhB;;;;GAIG;AACH,MAAM,WAAW,aAAa;IAE5B,+BAA+B;IAC/B,OAAO,CAAC,KAAK,EAAE,UAAU,GAAG,IAAI,CAAA;IAChC,2CAA2C;IAC3C,OAAO,CAAC,KAAK,CAAC,EAAE,UAAU,GAAG,IAAI,CAAA;IAGjC,OAAO,CAAC,EAAE,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,GAAG,UAAU,CAAA;IACvD,kBAAkB,CAAC,OAAO,EAAE,QAAQ,EAAE,OAAO,EAAE,QAAQ,GAAG,UAAU,CAAA;IACpE,YAAY,CAAC,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,GAAG,UAAU,CAAA;IACxD,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,UAAU,CAAA;IACtC,QAAQ,CAAC,EAAE,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,GAAG,UAAU,CAAA;IAC5D,aAAa,CAAC,KAAK,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,GAAG,UAAU,CAAA;IACxD,aAAa,CAAC,EAAE,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,GAAG,UAAU,CAAA;IAC7D,SAAS,CAAC,WAAW,EAAE,MAAM,EAAE,WAAW,EAAE,MAAM,GAAG,UAAU,CAAA;IAC/D,UAAU,CAAC,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,MAAM,GAAG,UAAU,CAAA;IAGvD;;;;OAIG;IACH,OAAO,CAAC,KAAK,EAAE,UAAU,EAAE,EAAE,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,GAAG,UAAU,CAAA;IAC1E,+EAA+E;IAC/E,UAAU,CAAC,KAAK,EAAE,UAAU,EAAE,MAAM,EAAE,QAAQ,EAAE,SAAS,EAAE,QAAQ,EAAE,QAAQ,EAAE,MAAM,GAAG,UAAU,CAAA;IAClG,wBAAwB;IACxB,GAAG,CAAC,MAAM,EAAE,UAAU,EAAE,EAAE,SAAS,CAAC,EAAE,MAAM,GAAG,UAAU,CAAA;IACzD,gBAAgB;IAChB,cAAc,CAAC,KAAK,EAAE,UAAU,EAAE,EAAE,SAAS,CAAC,EAAE,MAAM,GAAG,UAAU,CAAA;IACnE,uDAAuD;IACvD,KAAK,CAAC,KAAK,EAAE,UAAU,EAAE,aAAa,EAAE,UAAU,EAAE,EAAE,SAAS,EAAE,MAAM,EAAE,SAAS,EAAE,MAAM,GAAG,UAAU,CAAA;IACvG,2BAA2B;IAC3B,cAAc,CAAC,MAAM,EAAE,QAAQ,EAAE,EAAE,SAAS,EAAE,MAAM,GAAG,UAAU,CAAA;IAGjE,IAAI,CAAC,CAAC,EAAE,UAAU,EAAE,CAAC,EAAE,UAAU,GAAG,UAAU,CAAA;IAC9C,GAAG,CAAC,CAAC,EAAE,UAAU,EAAE,CAAC,EAAE,UAAU,GAAG,UAAU,CAAA;IAC7C,MAAM,CAAC,CAAC,EAAE,UAAU,EAAE,CAAC,EAAE,UAAU,GAAG,UAAU,CAAA;IAChD,SAAS,CAAC,CAAC,EAAE,UAAU,EAAE,CAAC,EAAE,UAAU,GAAG,UAAU,CAAA;IACnD,OAAO,CAAC,MAAM,EAAE,UAAU,EAAE,GAAG,UAAU,CAAA;IACzC;;;;OAIG;IACH,cAAc,CAAC,KAAK,EAAE,UAAU,EAAE,KAAK,EAAE,QAAQ,EAAE,MAAM,EAAE,QAAQ,GAAG,UAAU,EAAE,CAAA;IAClF;;;;OAIG;IACH,YAAY,CACV,KAAK,EAAE,UAAU,EACjB,KAAK,EAAE,QAAQ,EACf,MAAM,EAAE,QAAQ,GACf;QAAE,QAAQ,EAAE,UAAU,CAAC;QAAC,QAAQ,EAAE,UAAU,CAAA;KAAE,CAAA;IAGjD,6DAA6D;IAC7D,OAAO,CAAC,KAAK,EAAE,UAAU,EAAE,KAAK,EAAE,UAAU,EAAE,EAAE,QAAQ,EAAE,MAAM,GAAG,UAAU,CAAA;IAC7E;;;OAGG;IACH,gBAAgB,CACd,KAAK,EAAE,UAAU,EAAE,KAAK,EAAE,UAAU,EAAE,EAAE,QAAQ,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,GACzE,UAAU,CAAA;IACb,wDAAwD;IACxD,MAAM,CAAC,KAAK,EAAE,UAAU,EAAE,KAAK,EAAE,UAAU,EAAE,EAAE,MAAM,EAAE,MAAM,GAAG,UAAU,CAAA;IAC1E,0EAA0E;IAC1E,cAAc,CAAC,KAAK,EAAE,UAAU,EAAE,IAAI,EAAE,UAAU,EAAE,WAAW,EAAE,MAAM,EAAE,SAAS,EAAE,MAAM,GAAG,UAAU,CAAA;IACvG;;;OAGG;IACH,iBAAiB,CACf,KAAK,EAAE,UAAU,EACjB,KAAK,EAAE,UAAU,EAAE,EACnB,MAAM,EAAE,MAAM,EACd,eAAe,EAAE,MAAM,EAAE,EACzB,cAAc,EAAE,MAAM,GACrB,iBAAiB,CAAA;IASpB,SAAS,CAAC,KAAK,EAAE,UAAU,EAAE,EAAE,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,GAAG,UAAU,CAAA;IAC5E,KAAK,CAAC,KAAK,EAAE,UAAU,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,EAAE,MAAM,GAAG,UAAU,CAAA;IACtE,qCAAqC;IACrC,SAAS,CAAC,KAAK,EAAE,UAAU,EAAE,MAAM,EAAE,MAAM,EAAE,GAAG,UAAU,CAAA;IAC1D,uCAAuC;IACvC,OAAO,CAAC,KAAK,EAAE,UAAU,EAAE,MAAM,EAAE,MAAM,EAAE,GAAG,UAAU,CAAA;IACxD,MAAM,CAAC,KAAK,EAAE,UAAU,EAAE,MAAM,EAAE,MAAM,EAAE,GAAG,UAAU,CAAA;IACvD,2BAA2B;IAC3B,gBAAgB,CAAC,KAAK,EAAE,UAAU,EAAE,MAAM,EAAE,MAAM,EAAE,GAAG,UAAU,CAAA;IACjE,IAAI,CAAC,KAAK,EAAE,UAAU,GAAG,UAAU,CAAA;IACnC,oBAAoB;IACpB,SAAS,CAAC,KAAK,EAAE,UAAU,GAAG,UAAU,CAAA;IACxC,+BAA+B;IAC/B,gBAAgB,CAAC,EAAE,EAAE,MAAM,EAAE,EAAE,EAAE,EAAE,MAAM,EAAE,GAAG,MAAM,EAAE,CAAA;IACtD,iCAAiC;IACjC,MAAM,CAAC,KAAK,EAAE,UAAU,EAAE,KAAK,EAAE,QAAQ,EAAE,MAAM,EAAE,QAAQ,GAAG,UAAU,CAAA;IAIxE,oDAAoD;IACpD,aAAa,CAAC,KAAK,EAAE,UAAU,EAAE,SAAS,EAAE,QAAQ,EAAE,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,GAAG,UAAU,EAAE,CAAA;IACnG,8CAA8C;IAC9C,eAAe,CACb,KAAK,EAAE,UAAU,EACjB,MAAM,EAAE,QAAQ,EAChB,IAAI,EAAE,QAAQ,EACd,SAAS,EAAE,MAAM,EACjB,KAAK,EAAE,MAAM,GACZ,UAAU,EAAE,CAAA;IACf,qDAAqD;IACrD,WAAW,CACT,KAAK,EAAE,UAAU,EACjB,UAAU,EAAE,QAAQ,EACpB,UAAU,EAAE,QAAQ,EACpB,QAAQ,EAAE,MAAM,EAChB,QAAQ,EAAE,MAAM,EAChB,MAAM,EAAE,MAAM,EACd,MAAM,EAAE,MAAM,GACb,UAAU,CAAA;IAGb,YAAY,CAAC,KAAK,EAAE,QAAQ,EAAE,GAAG,EAAE,QAAQ,GAAG,UAAU,CAAA;IACxD,WAAW,CAAC,KAAK,EAAE,QAAQ,EAAE,GAAG,EAAE,QAAQ,EAAE,GAAG,EAAE,QAAQ,GAAG,UAAU,CAAA;IACtE,cAAc,CAAC,aAAa,EAAE,QAAQ,EAAE,GAAG,UAAU,CAAA;IACrD,cAAc,CAAC,MAAM,EAAE,QAAQ,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,EAAE,MAAM,GAAG,UAAU,CAAA;IAG9E,QAAQ,CAAC,KAAK,EAAE,UAAU,EAAE,GAAG,UAAU,CAAA;IACzC,QAAQ,CAAC,IAAI,EAAE,UAAU,GAAG,UAAU,CAAA;IACtC,YAAY,CAAC,MAAM,EAAE,UAAU,EAAE,GAAG,UAAU,CAAA;IAC9C,cAAc,CAAC,IAAI,EAAE,UAAU,EAAE,SAAS,EAAE,UAAU,EAAE,GAAG,UAAU,CAAA;IACrE,gBAAgB;IAChB,YAAY,CAAC,CAAC,EAAE,QAAQ,EAAE,CAAC,EAAE,QAAQ,EAAE,CAAC,EAAE,QAAQ,GAAG,UAAU,CAAA;IAG/D,SAAS,CAAC,KAAK,EAAE,UAAU,EAAE,OAAO,CAAC,EAAE,qBAAqB,GAAG,cAAc,CAAA;IAC7E,SAAS,CAAC,KAAK,EAAE,UAAU,EAAE,UAAU,CAAC,EAAE,MAAM,GAAG,YAAY,CAAA;IAG/D,YAAY,CAAC,KAAK,EAAE,UAAU,EAAE,IAAI,EAAE,gBAAgB,GAAG,UAAU,EAAE,CAAA;IACrE,cAAc,CAAC,KAAK,EAAE,UAAU,EAAE,IAAI,EAAE,gBAAgB,EAAE,cAAc,EAAE,MAAM,GAAG,MAAM,EAAE,CAAA;IAC3F,QAAQ,CAAC,KAAK,EAAE,UAAU,EAAE,UAAU,EAAE,MAAM,GAAG,MAAM,CAAA;IACvD,MAAM,CAAC,CAAC,EAAE,UAAU,EAAE,CAAC,EAAE,UAAU,GAAG,OAAO,CAAA;IAC7C,OAAO,CAAC,KAAK,EAAE,UAAU,GAAG,OAAO,CAAA;IACnC;qDACiD;IACjD,SAAS,CAAC,KAAK,EAAE,UAAU,GAAG,MAAM,CAAA;IACpC,gFAAgF;IAChF,gBAAgB,CAAC,KAAK,EAAE,UAAU,GAAG,MAAM,CAAA;IAC3C,2BAA2B;IAC3B,aAAa,CAAC,KAAK,EAAE,UAAU,GAAG,OAAO,CAAA;IACzC,2DAA2D;IAC3D,aAAa,CAAC,KAAK,EAAE,UAAU,EAAE,IAAI,EAAE,UAAU,GAAG,UAAU,EAAE,CAAA;IAChE,cAAc;IACd,WAAW,CAAC,CAAC,EAAE,UAAU,EAAE,CAAC,EAAE,UAAU,GAAG,UAAU,EAAE,CAAA;IAGvD,wCAAwC;IACxC,SAAS,CAAC,IAAI,EAAE,UAAU,GAAG,MAAM,CAAA;IACnC,iBAAiB,CAAC,IAAI,EAAE,UAAU,EAAE,KAAK,EAAE,MAAM,GAAG,QAAQ,CAAA;IAC5D,YAAY,CAAC,IAAI,EAAE,UAAU,EAAE,KAAK,EAAE,MAAM,GAAG,QAAQ,CAAA;IACvD,eAAe,CAAC,IAAI,EAAE,UAAU,GAAG,mBAAmB,CAAA;IACtD,aAAa,CAAC,IAAI,EAAE,UAAU,GAAG,OAAO,CAAA;IACxC,WAAW,CAAC,IAAI,EAAE,UAAU,GAAG,MAAM,CAAA;IACrC,0CAA0C;IAC1C,WAAW,CAAC,IAAI,EAAE,UAAU,GAAG,MAAM,CAAA;IACrC,aAAa,CAAC,IAAI,EAAE,UAAU,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,MAAM,GAAG,QAAQ,CAAA;IAC/D,cAAc,CAAC,IAAI,EAAE,UAAU,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,MAAM,GAAG,QAAQ,CAAA;IAChE,QAAQ,CAAC,IAAI,EAAE,UAAU,GAAG,YAAY,CAAA;IACxC,YAAY;IACZ,mBAAmB,CAAC,IAAI,EAAE,UAAU,GAAG,QAAQ,CAAA;IAC/C,6CAA6C;IAC7C,mBAAmB,CAAC,IAAI,EAAE,UAAU,GAAG;QAAE,MAAM,EAAE,MAAM,CAAA;KAAE,GAAG,IAAI,CAAA;IAChE,8DAA8D;IAC9D,iBAAiB,CAAC,IAAI,EAAE,UAAU,GAAG;QAAE,MAAM,EAAE,MAAM,CAAC;QAAC,QAAQ,EAAE,OAAO,CAAC;QAAC,QAAQ,EAAE,OAAO,CAAA;KAAE,GAAG,IAAI,CAAA;IACpG,iBAAiB,CAAC,MAAM,EAAE,QAAQ,EAAE,EAAE,MAAM,EAAE,MAAM,GAAG,UAAU,CAAA;IAEjE,kBAAkB;IAClB,SAAS,CAAC,KAAK,EAAE,UAAU,EAAE,KAAK,EAAE,UAAU,EAAE,GAAG,UAAU,CAAA;IAC7D,UAAU;IACV,KAAK,CAAC,KAAK,EAAE,UAAU,EAAE,KAAK,EAAE,UAAU,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,QAAQ,EAAE,QAAQ,EAAE,MAAM,GAAG,UAAU,CAAA;IAC9G,mBAAmB,CAAC,IAAI,EAAE,UAAU,GAAG,UAAU,CAAA;IACjD,YAAY,CAAC,KAAK,EAAE,UAAU,GAAG,UAAU,CAAA;IAC3C,uBAAuB;IACvB,YAAY,CAAC,KAAK,EAAE,UAAU,EAAE,MAAM,EAAE,QAAQ,EAAE,SAAS,EAAE,QAAQ,EAAE,KAAK,EAAE,QAAQ,EAAE,WAAW,EAAE,OAAO,EAAE,UAAU,EAAE,MAAM,GAAG,OAAO,CAAA;IAG1I,cAAc,CAAC,KAAK,EAAE,UAAU,EAAE,gBAAgB,CAAC,EAAE,OAAO,GAAG,eAAe,CAAA;IAC9E,SAAS,CAAC,KAAK,EAAE,UAAU,GAAG,MAAM,CAAA;IACpC,eAAe,CAAC,KAAK,EAAE,UAAU,GAAG,QAAQ,CAAA;IAC5C,4DAA4D;IAC5D,cAAc,CAAC,KAAK,EAAE,UAAU,GAAG,MAAM,CAAA;IACzC,uEAAuE;IACvE,SAAS,CAAC,KAAK,EAAE,UAAU,GAAG,MAAM,CAAA;IAGpC,OAAO,CAAC,KAAK,EAAE,UAAU,GAAG,OAAO,CAAA;IACnC,eAAe,CAAC,KAAK,EAAE,UAAU,GAAG,UAAU,CAAA;IAC9C,SAAS,CAAC,KAAK,EAAE,UAAU,EAAE,SAAS,CAAC,EAAE,MAAM,GAAG,UAAU,CAAA;IAC5D,QAAQ,CAAC,KAAK,EAAE,UAAU,GAAG,UAAU,CAAA;IACvC,mBAAmB,CAAC,KAAK,EAAE,UAAU,GAAG,UAAU,CAAA;IAClD,qBAAqB,CAAC,KAAK,EAAE,UAAU,EAAE,SAAS,CAAC,EAAE,MAAM,GAAG,UAAU,CAAA;IAGxE,UAAU,CAAC,IAAI,EAAE,MAAM,GAAG,WAAW,GAAG,UAAU,CAAA;IAClD,UAAU,CAAC,KAAK,EAAE,UAAU,GAAG,MAAM,CAAA;IACrC,SAAS,CAAC,IAAI,EAAE,MAAM,GAAG,WAAW,GAAG,UAAU,CAAA;IACjD,QAAQ,CAAC,IAAI,EAAE,MAAM,GAAG,UAAU,CAAA;IAGlC,cAAc,CACZ,CAAC,EAAE,UAAU,EACb,CAAC,EAAE,UAAU,EACb,eAAe,EAAE,MAAM,EAAE,EACzB,cAAc,EAAE,MAAM,GACrB,iBAAiB,CAAA;IACpB,eAAe,CACb,CAAC,EAAE,UAAU,EACb,CAAC,EAAE,UAAU,EACb,eAAe,EAAE,MAAM,EAAE,EACzB,cAAc,EAAE,MAAM,GACrB,iBAAiB,CAAA;IACpB,oBAAoB,CAClB,CAAC,EAAE,UAAU,EACb,CAAC,EAAE,UAAU,EACb,eAAe,EAAE,MAAM,EAAE,EACzB,cAAc,EAAE,MAAM,GACrB,iBAAiB,CAAA;CACrB;AAED;;;GAGG;AACH,MAAM,MAAM,4BAA4B,CAAC,IAAI,SAAS,aAAa,IAAI,IAAI,CAAA"}

package/dist/brep/engine/primitives.js

@@ -1,13 +1,15 @@
 /**
- * engine/primitives — BREP 引擎契约面（port 面）
+ * engine/primitives — BREP 引擎契约面（port 面，L1 核心面）
  *
+ * ⚠️ 2026-09-24 契约面收窄（docs/plans/2026-09-24-brep-engine-api-narrowing-native-access.md
+ * §Phase 2 / D1 / D9 / D10）：`BrepEngineApi` 的语义 = **所有已注册 BREP 引擎都真实现的
+ * 方法**（occt 与 brepkit 双方语义可对齐的交集面，最大化口径）。判据唯一真源：
+ * `api/surface/engine-method-map.json`（status ∈ {aligned, dialect} 的条目）。
  *
- * ⚠️ Phase 0 落地形态：覆盖 §2.3 实测的 66 个被调方法（BrepHandle 中立签名），
- * 供类型解耦使用。Phase 1 按 §7.4 扩到 83 项分 14 族，并落地编译期完整性守卫
- * （_AssertSatisfiesBrepEngineApi，抄 brepjs §3.2）。
- * 复杂返回类型（XCAF 文档 / NURBS 曲线数据等）在 Phase 0 用 unknown 占位，Phase 1 钉死。
- *
- * 命名沿用 occt-wasm 现状——最小迁移成本 + 可演进（§7.4 的取舍）。
+ * - 移出 L1 的方法（occt-only 语义）不再有中立名，平台代码直接走原生面：
+ *   `getOcctKernel()` / `getBrepkitKernel()`（D3），op 侧用 `engines: ['occt']` 声明（D11）。
+ * - 禁止任何 `as BrepEngineApi` 跨层断言（守卫见 §5 守卫清单）。
+ * - 三个适配器的编译期断言 `_Assert*Api` 由此全部获得真校验力。
  */
 export {};
 //# sourceMappingURL=primitives.js.map

package/dist/brep/engine/primitives.js.map

@@ -1 +1 @@
-{"version":3,"file":"primitives.js","sourceRoot":"","sources":["../../../src/brep/engine/primitives.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG","sourcesContent":["/**\n * engine/primitives — BREP 引擎契约面（port 面）\n *\n *\n * ⚠️ Phase 0 落地形态：覆盖 §2.3 实测的 66 个被调方法（BrepHandle 中立签名），\n * 供类型解耦使用。Phase 1 按 §7.4 扩到 83 项分 14 族，并落地编译期完整性守卫\n * （_AssertSatisfiesBrepEngineApi，抄 brepjs §3.2）。\n * 复杂返回类型（XCAF 文档 / NURBS 曲线数据等）在 Phase 0 用 unknown 占位，Phase 1 钉死。\n *\n * 命名沿用 occt-wasm 现状——最小迁移成本 + 可演进（§7.4 的取舍）。\n */\n\nimport type {\n  BrepBoundingBox,\n  BrepCurveParameters,\n  BrepEdgeData,\n  BrepEvolutionData,\n  BrepHandle,\n  BrepMeshResult,\n  BrepSubShapeType,\n  BrepTessellateOptions,\n  BrepUvBounds,\n  BrepVec3,\n  BrepXcafDocument,\n} from './types'\n\n/**\n * BREP 引擎原语契约。所有句柄参数/返回值均为 BrepHandle（不透明值，§6.3）。\n * 引擎实现（occt/remus 适配器）负责内部句柄形态与 BrepHandle 的转换。\n */\nexport interface BrepEngineApi {\n  // ── 生命周期 ──\n  /** 手工释放句柄（GC 型引擎实现为 no-op）。 */\n  release(shape: BrepHandle): void\n\n  // ── 实体图元 ──\n  makeBox(dx: number, dy: number, dz: number): BrepHandle\n  makeBoxFromCorners(corner1: BrepVec3, corner2: BrepVec3): BrepHandle\n  makeCylinder(radius: number, height: number): BrepHandle\n  makeSphere(radius: number): BrepHandle\n  makeCone(r1: number, r2: number, height: number): BrepHandle\n  makeRectangle(width: number, height: number): BrepHandle\n\n  // ── 造型运算 ──\n  extrude(shape: BrepHandle, dx: number, dy: number, dz: number): BrepHandle\n  loft(wires: BrepHandle[], isSolid: boolean, ruled: boolean): BrepHandle\n\n  // ── 布尔与分割 ──\n  fuse(a: BrepHandle, b: BrepHandle): BrepHandle\n  cut(a: BrepHandle, b: BrepHandle): BrepHandle\n  common(a: BrepHandle, b: BrepHandle): BrepHandle\n  intersect(a: BrepHandle, b: BrepHandle): BrepHandle\n  section(a: BrepHandle, b: BrepHandle): BrepHandle\n  fuseAll(shapes: BrepHandle[]): BrepHandle\n\n  // ── 倒角与圆角（directEdit 能力）──\n  /** 等距倒角：逐边 `BRepFilletAPI_MakeChamfer::Add(distance, E)`。 */\n  chamfer(solid: BrepHandle, edges: BrepHandle[], distance: number): BrepHandle\n  /**\n   * 距角倒角：`AddDA(distance, angleRad, E, F)`。\n   * ⚠️ F 由内核自选（外层 TopExp_Explorer 第一个含该边的面），调用方不可指定。\n   */\n  chamferDistAngle(\n    solid: BrepHandle, edges: BrepHandle[], distance: number, angleDeg: number,\n  ): BrepHandle\n  /** 等半径圆角：`BRepFilletAPI_MakeFillet::Add(radius, E)`。 */\n  fillet(solid: BrepHandle, edges: BrepHandle[], radius: number): BrepHandle\n  /** 变半径圆角：单边 `BRepFilletAPI_MakeFillet::Add(startRadius, endRadius, E)`。 */\n  filletVariable(solid: BrepHandle, edge: BrepHandle, startRadius: number, endRadius: number): BrepHandle\n  /**\n   * 等半径圆角（WithHistory）：返回面演化数据，供 roleTable 传播。\n   * modified/generated/deleted 用面 hash 编码（§7.5）。\n   */\n  filletWithHistory(\n    solid: BrepHandle,\n    edges: BrepHandle[],\n    radius: number,\n    inputFaceHashes: number[],\n    hashUpperBound: number,\n  ): BrepEvolutionData\n  /**\n   * 等距倒角（WithHistory）：返回面演化数据，供 roleTable 传播。\n   * modified/generated/deleted 用面 hash 编码（§7.5）。\n   */\n  chamferWithHistory(\n    solid: BrepHandle,\n    edges: BrepHandle[],\n    distance: number,\n    inputFaceHashes: number[],\n    hashUpperBound: number,\n  ): BrepEvolutionData\n\n  // ── 变换 ──\n  // 矩阵口径（唯一权威）：matrix 参数是 **3×4 行主序、12 个 double**——\n  // [r00,r01,r02,tx, r10,r11,r12,ty, r20,r21,r22,tz]，与 brep/brep-ops.ts 的\n  // matrixToArray()（THREE.Matrix4 column-major → 行主序 3×4）产出同构。\n  // 各引擎方言不同（如 brepkit transformSolid 吃 4×4 行主序 16 元素）时，\n  // 由该引擎适配层内部转换（见 brepkit-kernel/brepkitKernel.ts 的 toKernelMatrix\n  // 唯一转换点），禁止要求调用方适配引擎方言。\n  translate(shape: BrepHandle, dx: number, dy: number, dz: number): BrepHandle\n  scale(shape: BrepHandle, center: BrepVec3, factor: number): BrepHandle\n  /** 3×4 行主序 12 元素矩阵（口径见上方\"变换\"节注释）。 */\n  transform(shape: BrepHandle, matrix: number[]): BrepHandle\n  /** 3×4 行主序 12 元素矩阵（口径见上方\"变换\"节注释）。 */\n  located(shape: BrepHandle, matrix: number[]): BrepHandle\n  /** 3×4 行主序 12 元素矩阵（口径见上方\"变换\"节注释）。 */\n  generalTransform(shape: BrepHandle, matrix: number[]): BrepHandle\n  copy(shape: BrepHandle): BrepHandle\n\n  // ── 阵列（Phase 2：pattern 族；occt-wasm 原生 + brepkit wasm 已导出） ──\n  // 口径（vendored brepjs 内核调用面，docs/plans/2026-09-23-brep-engine-switchability-rework.md §Phase 2）：\n  //   - 两内核的 pattern 内核函数都返回 compound（含全部副本），适配器负责拆成数组；\n  //   - 不声明 rectangularPattern：vendored rectangularPattern 是纯 JS 组合\n  //     （compoundOpsFns.ts，translate + fuseAll），不调内核方法（capability-map 实证）；\n  //   - 不声明裸 mirror/rotate：vendored transformFns 全部走 `*WithHistory` 内核\n  //     （transformFns.ts:29-99 实证），基础方法仅 2D sketcher 面使用（走 KernelAdapter）。\n  /** 线性阵列：沿 direction 复制 count 份（含原位置），返回各份副本句柄数组。 */\n  linearPattern(shape: BrepHandle, direction: BrepVec3, spacing: number, count: number): BrepHandle[]\n  /** 环形阵列：绕 axis 均分 angleStep 每份，返回各份副本句柄数组。 */\n  circularPattern(\n    shape: BrepHandle,\n    center: BrepVec3,\n    axis: BrepVec3,\n    angleStep: number,\n    count: number,\n  ): BrepHandle[]\n  /** 二维栅格阵列：沿两方向复制 countX×countY 份，返回 compound 单句柄。 */\n  gridPattern(\n    shape: BrepHandle,\n    directionX: BrepVec3,\n    directionY: BrepVec3,\n    spacingX: number,\n    spacingY: number,\n    countX: number,\n    countY: number,\n  ): BrepHandle\n\n  // ── 查询与测量（Phase 3：capability-map 64 方法登记补全——occt-wasm 原生或\n  //   vendored 适配器组合面；brepkit 无实现的能力保持不声明，静态判定拦截） ──\n  /** 轴对齐包围盒。 */\n  boundingBox(shape: BrepHandle): BrepBoundingBox\n  /** 形状类型（vertex/edge/wire/face/shell/solid）。 */\n  shapeType(shape: BrepHandle): BrepSubShapeType\n  /** 句柄是否为空（无效引用）。 */\n  isNull(shape: BrepHandle): boolean\n  /** 遍历子形状句柄（与 getSubShapes 同族，返回句柄数组）。 */\n  iterShapes(shape: BrepHandle): BrepHandle[]\n  /** 曲面质心。 */\n  surfaceCenterOfMass(face: BrepHandle): BrepVec3\n  /** 带位置矩阵放置（3×4 行主序 12 元素，口径见变换族注释）。 */\n  locate(shape: BrepHandle, matrix: number[]): BrepHandle\n  /** 复制句柄（独立引用计数）。 */\n  copyShape(shape: BrepHandle): BrepHandle\n  /** 类型降级（目标子形状类型；不匹配返回空句柄）。 */\n  downcast(shape: BrepHandle, targetType: BrepSubShapeType): BrepHandle\n  /** 释放内核/句柄（引擎级释放语义；brepkit GC 型 no-op）。 */\n  dispose(shape?: BrepHandle): void\n  /** 组合两个 3×4 行主序变换矩阵（12 元素）。 */\n  composeTransform(m1: number[], m2: number[]): number[]\n\n  // ── 构形与修复（Phase 3 登记；brepkit 未实现 → 能力表不声明） ──\n  /** 拉伸律面构造（profile 为曲线描述串）。 */\n  buildExtrusionLaw(profile: string, length: number, endFactor: number): BrepHandle\n  /** 曲面上的边构造（curve 为 2D 曲线句柄，宽化 BrepHandle 口径）。 */\n  buildEdgeOnSurface(curve: BrepHandle, surface: BrepHandle): BrepHandle\n  /** 面修复（ShapeFix，容忍度可选）。 */\n  healFace(shape: BrepHandle, tolerance?: number): BrepHandle\n  /** 线修复（ShapeFix，容忍度可选）。 */\n  healWire(shape: BrepHandle, tolerance?: number): BrepHandle\n  /** 线自相交修复。 */\n  fixSelfIntersection(wire: BrepHandle): BrepHandle\n  /** 点集凸包（tolerance 为容差）。 */\n  hullFromPoints(points: BrepVec3[], tolerance: number): BrepHandle\n  /** 高级放样（options 形态同 vendored loftAdvanced）。 */\n  loftAdvanced(wires: BrepHandle[], options?: { solid?: boolean; ruled?: boolean; tolerance?: number }): BrepHandle\n  /** 椭球（三半轴）。 */\n  makeEllipsoid(rx: number, ry: number, rz: number): BrepHandle\n  /** 曲面上的面构造（face 为承载面、wire 为边界）。 */\n  makeFaceOnSurface(face: BrepHandle, wire: BrepHandle): BrepHandle\n  /** 圆环（主/次半径）。 */\n  makeTorus(majorRadius: number, minorRadius: number): BrepHandle\n  /** 顶点构造。 */\n  makeVertex(x: number, y: number, z: number): BrepHandle\n  /** 混合线构造（items 为边/顶点混合）。 */\n  makeWireFromMixed(items: BrepHandle[]): BrepHandle\n  /** 镜像（过 point、法向 normal 的平面）。 */\n  mirror(shape: BrepHandle, point: BrepVec3, normal: BrepVec3): BrepHandle\n  /** 旋转（绕过 center、方向 direction 的轴，angle 为度）。 */\n  revolveVec(shape: BrepHandle, center: BrepVec3, direction: BrepVec3, angleDeg: number): BrepHandle\n  /** 缝合（tolerance 可选）。 */\n  sew(shapes: BrepHandle[], tolerance?: number): BrepHandle\n  /** 抽壳（facesToRemove 移除面、thickness 壁厚、tolerance 容差）。 */\n  shell(solid: BrepHandle, facesToRemove: BrepHandle[], thickness: number, tolerance: number): BrepHandle\n  /** 简单扫掠（profile 沿 spine 扫出实体）。 */\n  simplePipe(profile: BrepHandle, spine: BrepHandle): BrepHandle\n  /** 简化几何。 */\n  simplify(shape: BrepHandle): BrepHandle\n  /** 分割（tools 切割体；返回单个结果句柄，语义同 vendored boolOps.split）。 */\n  split(shape: BrepHandle, tools: BrepHandle[]): BrepHandle\n  /** 管壳扫掠（freenet/smooth 可选）。 */\n  sweepPipeShell(profile: BrepHandle, spine: BrepHandle, freenet?: boolean, smooth?: boolean): BrepHandle\n  /** 非正交一般变换（3×4 行主序 12 元素）。 */\n  generalTransformNonOrthogonal(shape: BrepHandle, matrix: number[]): BrepHandle\n  /** 一般变换（带面演化；3×4 行主序 12 元素，适配器拆分 linear/translation）。 */\n  generalTransformWithHistory(\n    shape: BrepHandle,\n    matrix: number[],\n    inputFaceHashes: number[],\n    hashUpperBound: number,\n  ): BrepEvolutionData\n  /** 组合变换（带面演化；3×4 行主序 12 元素）。 */\n  applyComposedTransformWithHistory(\n    shape: BrepHandle,\n    matrix: number[],\n    inputFaceHashes: number[],\n    hashUpperBound: number,\n  ): BrepEvolutionData\n\n\n  // ── 曲线构造 ──\n  makeLineEdge(start: BrepVec3, end: BrepVec3): BrepHandle\n  makeArcEdge(start: BrepVec3, mid: BrepVec3, end: BrepVec3): BrepHandle\n  makeBezierEdge(controlPoints: BrepVec3[]): BrepHandle\n\n  // ── 拓扑构造 ──\n  makeWire(edges: BrepHandle[]): BrepHandle\n  makeFace(wire: BrepHandle): BrepHandle\n  makeCompound(shapes: BrepHandle[]): BrepHandle\n  sewAndSolidify(faces: BrepHandle[], tolerance?: number): BrepHandle\n  buildTriFace(a: BrepVec3, b: BrepVec3, c: BrepVec3): BrepHandle\n  addHolesInFace(face: BrepHandle, holeWires: BrepHandle[]): BrepHandle\n\n  // ── 三角化（BREP→mesh 唯一出口，断链物化依赖，硬必需） ──\n  meshShape(shape: BrepHandle, options?: BrepTessellateOptions): BrepMeshResult\n  wireframe(shape: BrepHandle, deflection?: number): BrepEdgeData\n\n  // ── 拓扑查询 ──\n  getSubShapes(shape: BrepHandle, type: BrepSubShapeType): BrepHandle[]\n  /** 批量查询（§2.3：生产路径零调用，仅测试使用；Phase 1 钉死返回形态）。 */\n  queryBatch(shapes: BrepHandle[]): Array<{ area: number }>\n  subShapeHashes(shape: BrepHandle, type: BrepSubShapeType, hashUpperBound: number): number[]\n  hashCode(shape: BrepHandle, upperBound: number): number\n  isSame(a: BrepHandle, b: BrepHandle): boolean\n  isSolid(shape: BrepHandle): boolean\n  /** 方向标识（与内核 ShapeOrientation 同构：'forward'|'reversed'|'internal'|'external'）。 */\n  shapeOrientation(shape: BrepHandle): string\n\n  // ── 几何求值 ──\n  /** 曲面类型标识（与内核 SurfaceKind 同构的中立字符串形态）。 */\n  curveType(edge: BrepHandle): string\n  curvePointAtParam(edge: BrepHandle, param: number): BrepVec3\n  curveTangent(edge: BrepHandle, param: number): BrepVec3\n  curveParameters(edge: BrepHandle): BrepCurveParameters\n  curveIsClosed(edge: BrepHandle): boolean\n  curveLength(edge: BrepHandle): number\n  /** 曲面类型标识（与内核 SurfaceKind 同构的中立字符串形态）。 */\n  surfaceType(face: BrepHandle): string\n  surfaceNormal(face: BrepHandle, u: number, v: number): BrepVec3\n  pointOnSurface(face: BrepHandle, u: number, v: number): BrepVec3\n  uvBounds(face: BrepHandle): BrepUvBounds\n  getSurfaceCenterOfMass(face: BrepHandle): BrepVec3\n  /** Phase 1 钉死返回形态（topologyExt 仅读 radius）。 */\n  getFaceCylinderData(face: BrepHandle): { radius: number } | null\n  /** Phase 1 钉死返回形态（topologyExt 读 degree/periodic/rational）。 */\n  getNurbsCurveData(edge: BrepHandle): { degree: number; periodic: boolean; rational: boolean } | null\n\n  // ── 测量 ──\n  getBoundingBox(shape: BrepHandle, useTriangulation?: boolean): BrepBoundingBox\n  getVolume(shape: BrepHandle): number\n  getCenterOfMass(shape: BrepHandle): BrepVec3\n\n  // ── 校验与修复 ──\n  isValid(shape: BrepHandle): boolean\n  unifySameDomain(shape: BrepHandle): BrepHandle\n  healSolid(shape: BrepHandle, tolerance?: number): BrepHandle\n  fixShape(shape: BrepHandle): BrepHandle\n  fixFaceOrientations(shape: BrepHandle): BrepHandle\n  removeDegenerateEdges(shape: BrepHandle): BrepHandle\n\n  // ── IO ──\n  importStep(data: string | ArrayBuffer): BrepHandle\n  exportStep(shape: BrepHandle): string\n  importStl(data: string | ArrayBuffer): BrepHandle\n  fromBREP(data: string): BrepHandle\n\n  // ── 面演化（可选能力槽 §7.5 EvolutionCapability） ──\n  cutWithHistory(\n    a: BrepHandle,\n    b: BrepHandle,\n    inputFaceHashes: number[],\n    hashUpperBound: number,\n  ): BrepEvolutionData\n  fuseWithHistory(\n    a: BrepHandle,\n    b: BrepHandle,\n    inputFaceHashes: number[],\n    hashUpperBound: number,\n  ): BrepEvolutionData\n  intersectWithHistory(\n    a: BrepHandle,\n    b: BrepHandle,\n    inputFaceHashes: number[],\n    hashUpperBound: number,\n  ): BrepEvolutionData\n\n  // ── 面演化 · Phase 0.1 补齐的 7 个（occt-wasm 运行时本就存在） ──\n  //\n  // ⚠️ 为什么此前只有 5 个：faijs 只绑了 boolean 与 fillet/chamfer，那 7 个在\n  // `occt-wasm@3.8.4` 的运行时**一直都在**（dist/index.d.ts:458-472 共 12 个），\n  // 只是 faijs 类型层未声明、也无人调用。补齐**不动 WASM**。\n  //\n  // ⚠️ 注意：`initOcctWasm()` 的返回类型在本文件之外已被硬断言为 BrepEngineApi\n  // （occtKernel.ts:88/95/106/112 `as unknown as`）⇒ 下方 `_AssertOcctApi`\n  // 恒真、**无校验力**。声明 ≠ 运行时存在：存在性由\n  // `packages/core/src/brep/engine/evolution-bindings.test.ts` 的冒烟测试钉住。\n\n  /** 平移 + 面演化（权威 hash→hash 映射，替代序号对齐近似）。 */\n  translateWithHistory(\n    shape: BrepHandle,\n    dx: number,\n    dy: number,\n    dz: number,\n    inputFaceHashes: number[],\n    hashUpperBound: number,\n  ): BrepEvolutionData\n  /** 绕任意轴旋转 + 面演化。`axis = {point, direction}`，`angleRad` 为**弧度**。 */\n  rotateWithHistory(\n    shape: BrepHandle,\n    axis: { point: BrepVec3; direction: BrepVec3 },\n    angleRad: number,\n    inputFaceHashes: number[],\n    hashUpperBound: number,\n  ): BrepEvolutionData\n  /** 镜像 + 面演化。`point` 为镜像面上一点，`normal` 为镜像面法向。 */\n  mirrorWithHistory(\n    shape: BrepHandle,\n    point: BrepVec3,\n    normal: BrepVec3,\n    inputFaceHashes: number[],\n    hashUpperBound: number,\n  ): BrepEvolutionData\n  /** 缩放 + 面演化。⚠️ 仅**均匀**缩放（`factor: number`）；非均匀走 `generalTransform`（无历史）。 */\n  scaleWithHistory(\n    shape: BrepHandle,\n    center: BrepVec3,\n    factor: number,\n    inputFaceHashes: number[],\n    hashUpperBound: number,\n  ): BrepEvolutionData\n  /** 抽壳 + 面演化。`faces` 为被移除的面（开口），`thickness` 为壁厚。 */\n  shellWithHistory(\n    solid: BrepHandle,\n    faces: BrepHandle[],\n    thickness: number,\n    tolerance: number,\n    inputFaceHashes: number[],\n    hashUpperBound: number,\n  ): BrepEvolutionData\n  /** 偏移 + 面演化。 */\n  offsetWithHistory(\n    solid: BrepHandle,\n    distance: number,\n    tolerance: number,\n    inputFaceHashes: number[],\n    hashUpperBound: number,\n  ): BrepEvolutionData\n  /** 加厚（面/壳 → 实体）+ 面演化。 */\n  thickenWithHistory(\n    shape: BrepHandle,\n    thickness: number,\n    tolerance: number,\n    inputFaceHashes: number[],\n    hashUpperBound: number,\n  ): BrepEvolutionData\n\n  // ── XCAF 装配（可选能力槽 §7.5 AssemblyCapability，Phase 1 钉死完整形态） ──\n  createXCAFDocument(): BrepXcafDocument\n  importXCAFFromSTEP(stepData: string): BrepXcafDocument\n}\n\n/**\n * 编译期完整性守卫（§7.8，抄 brepjs §3.2 的 _AssertSatisfiesKernelShape）。\n *\n * 用法（适配器里）：\n * ```ts\n * type _AssertOcct = AssertSatisfiesBrepEngineApi<Awaited<ReturnType<typeof initOcctWasm>>>\n * ```\n * 若实现类型缺少接口中的任何方法（或签名不兼容）→ tsc 报错并列出缺失属性。\n * 引擎换用 / 接口演进（Phase 1 扩到 83 项）时，失配在编译期暴露，而非运行时黑盒。\n */\nexport type AssertSatisfiesBrepEngineApi<Impl extends BrepEngineApi> = Impl\n"]}
+{"version":3,"file":"primitives.js","sourceRoot":"","sources":["../../../src/brep/engine/primitives.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG","sourcesContent":["/**\n * engine/primitives — BREP 引擎契约面（port 面，L1 核心面）\n *\n * ⚠️ 2026-09-24 契约面收窄（docs/plans/2026-09-24-brep-engine-api-narrowing-native-access.md\n * §Phase 2 / D1 / D9 / D10）：`BrepEngineApi` 的语义 = **所有已注册 BREP 引擎都真实现的\n * 方法**（occt 与 brepkit 双方语义可对齐的交集面，最大化口径）。判据唯一真源：\n * `api/surface/engine-method-map.json`（status ∈ {aligned, dialect} 的条目）。\n *\n * - 移出 L1 的方法（occt-only 语义）不再有中立名，平台代码直接走原生面：\n *   `getOcctKernel()` / `getBrepkitKernel()`（D3），op 侧用 `engines: ['occt']` 声明（D11）。\n * - 禁止任何 `as BrepEngineApi` 跨层断言（守卫见 §5 守卫清单）。\n * - 三个适配器的编译期断言 `_Assert*Api` 由此全部获得真校验力。\n */\n\nimport type {\n  BrepBoundingBox,\n  BrepCurveParameters,\n  BrepEdgeData,\n  BrepEvolutionData,\n  BrepHandle,\n  BrepMeshResult,\n  BrepSubShapeType,\n  BrepTessellateOptions,\n  BrepUvBounds,\n  BrepVec3,\n} from './types'\n\n/**\n * BREP 引擎原语契约（L1 核心面）。所有句柄参数/返回值均为 BrepHandle（不透明值，§6.3）。\n * 引擎实现（occt/brepkit 适配器）负责内部句柄形态与 BrepHandle 的转换，以及方言消化\n * （如 brepkit surfaceArea → getSurfaceArea，与 matrix 方言的 toKernelMatrix 同构）。\n */\nexport interface BrepEngineApi {\n  // ── 生命周期 ──\n  /** 手工释放句柄（GC 型引擎实现为 no-op）。 */\n  release(shape: BrepHandle): void\n  /** 释放内核/句柄（引擎级释放语义；brepkit GC 型 no-op）。 */\n  dispose(shape?: BrepHandle): void\n\n  // ── 实体图元 ──\n  makeBox(dx: number, dy: number, dz: number): BrepHandle\n  makeBoxFromCorners(corner1: BrepVec3, corner2: BrepVec3): BrepHandle\n  makeCylinder(radius: number, height: number): BrepHandle\n  makeSphere(radius: number): BrepHandle\n  makeCone(r1: number, r2: number, height: number): BrepHandle\n  makeRectangle(width: number, height: number): BrepHandle\n  makeEllipsoid(rx: number, ry: number, rz: number): BrepHandle\n  makeTorus(majorRadius: number, minorRadius: number): BrepHandle\n  makeVertex(x: number, y: number, z: number): BrepHandle\n\n  // ── 造型运算 ──\n  /**\n   * 挤出：`{dx,dy,dz}` 为挤出向量（occt 方言）。\n   * brepkit 方言（方向+距离、只吃 face）由适配器归一：`len = |v|`、`dir = v/len`；\n   * `len === 0` 抛错；输入不是 face → 报错（显式失败，不静默降级，§3.6-1）。\n   */\n  extrude(shape: BrepHandle, dx: number, dy: number, dz: number): BrepHandle\n  /** 旋转挤出（绕过 center、方向 direction 的轴，angle 为度；输入需 face，brepkit 方言断言同 extrude）。 */\n  revolveVec(shape: BrepHandle, center: BrepVec3, direction: BrepVec3, angleDeg: number): BrepHandle\n  /** 缝合（tolerance 可选）。 */\n  sew(shapes: BrepHandle[], tolerance?: number): BrepHandle\n  /** 缝合并固化成实体。 */\n  sewAndSolidify(faces: BrepHandle[], tolerance?: number): BrepHandle\n  /** 抽壳（facesToRemove 移除面、thickness 壁厚、tolerance 容差）。 */\n  shell(solid: BrepHandle, facesToRemove: BrepHandle[], thickness: number, tolerance: number): BrepHandle\n  /** 点集凸包（tolerance 为容差）。 */\n  hullFromPoints(points: BrepVec3[], tolerance: number): BrepHandle\n\n  // ── 布尔与分割 ──\n  fuse(a: BrepHandle, b: BrepHandle): BrepHandle\n  cut(a: BrepHandle, b: BrepHandle): BrepHandle\n  common(a: BrepHandle, b: BrepHandle): BrepHandle\n  intersect(a: BrepHandle, b: BrepHandle): BrepHandle\n  fuseAll(shapes: BrepHandle[]): BrepHandle\n  /**\n   * 平面求交线：solid 与「过 point、法向 normal 的无限平面」的交线（§3.6-2 新中立名）。\n   * occt 适配器：大平面 face 作 tool 经原生 section 达成（Phase 1 探针 A 实测可达）。\n   * 返回交线/顶点句柄数组（brepkit 返回 Uint32Array 句柄组，occt compound downcast 展开）。\n   */\n  sectionByPlane(shape: BrepHandle, point: BrepVec3, normal: BrepVec3): BrepHandle[]\n  /**\n   * 平面二分：把 solid 沿「过 point、法向 normal 的无限平面」切成两半（§3.6-2 新中立名）。\n   * occt 适配器：大平面 face 作 tool 经原生 splitter 达成（Phase 1 探针 A 实测，solidCount=2）。\n   * 法向正侧 = `positive`（§3.7 返回口径）。\n   */\n  splitByPlane(\n    shape: BrepHandle,\n    point: BrepVec3,\n    normal: BrepVec3,\n  ): { positive: BrepHandle; negative: BrepHandle }\n\n  // ── 倒角与圆角（Q7：只对齐等距 + 距角两种粒度）──\n  /** 等距倒角：逐边 `BRepFilletAPI_MakeChamfer::Add(distance, E)`。 */\n  chamfer(solid: BrepHandle, edges: BrepHandle[], distance: number): BrepHandle\n  /**\n   * 距角倒角：`AddDA(distance, angleDeg, E, F)`（brepkit 原生 chamferDistanceAngle，方言映射）。\n   * ⚠️ F 由内核自选（外层第一个含该边的面），调用方不可指定。\n   */\n  chamferDistAngle(\n    solid: BrepHandle, edges: BrepHandle[], distance: number, angleDeg: number,\n  ): BrepHandle\n  /** 等半径圆角：`BRepFilletAPI_MakeFillet::Add(radius, E)`。 */\n  fillet(solid: BrepHandle, edges: BrepHandle[], radius: number): BrepHandle\n  /** 变半径圆角：单边 `Add(startRadius, endRadius, E)`（brepkit 吃 json 描述，适配器消化）。 */\n  filletVariable(solid: BrepHandle, edge: BrepHandle, startRadius: number, endRadius: number): BrepHandle\n  /**\n   * 等半径圆角（带面演化）：modified/generated/deleted 用面 hash 编码（§7.5）。\n   * brepkit 原生 filletWithEvolution，适配器映射。\n   */\n  filletWithHistory(\n    solid: BrepHandle,\n    edges: BrepHandle[],\n    radius: number,\n    inputFaceHashes: number[],\n    hashUpperBound: number,\n  ): BrepEvolutionData\n\n  // ── 变换 ──\n  // 矩阵口径（唯一权威）：matrix 参数是 **3×4 行主序、12 个 double**——\n  // [r00,r01,r02,tx, r10,r11,r12,ty, r20,r21,r22,tz]，与 brep/brep-ops.ts 的\n  // matrixToArray()（THREE.Matrix4 column-major → 行主序 3×4）产出同构。\n  // 各引擎方言不同（如 brepkit transformSolid 吃 4×4 行主序 16 元素）时，\n  // 由该引擎适配层内部转换（brepkit-kernel/brepkitKernel.ts 的 toKernelMatrix\n  // 唯一转换点），禁止要求调用方适配引擎方言。\n  translate(shape: BrepHandle, dx: number, dy: number, dz: number): BrepHandle\n  scale(shape: BrepHandle, center: BrepVec3, factor: number): BrepHandle\n  /** 3×4 行主序 12 元素矩阵（口径见上方\"变换\"节注释）。 */\n  transform(shape: BrepHandle, matrix: number[]): BrepHandle\n  /** 带位置矩阵放置（3×4 行主序 12 元素，口径见变换族注释）。 */\n  located(shape: BrepHandle, matrix: number[]): BrepHandle\n  locate(shape: BrepHandle, matrix: number[]): BrepHandle\n  /** 一般变换（3×4 行主序 12 元素）。 */\n  generalTransform(shape: BrepHandle, matrix: number[]): BrepHandle\n  copy(shape: BrepHandle): BrepHandle\n  /** 复制句柄（独立引用计数）。 */\n  copyShape(shape: BrepHandle): BrepHandle\n  /** 组合两个 3×4 行主序变换矩阵（12 元素）。 */\n  composeTransform(m1: number[], m2: number[]): number[]\n  /** 镜像（过 point、法向 normal 的平面）。 */\n  mirror(shape: BrepHandle, point: BrepVec3, normal: BrepVec3): BrepHandle\n\n  // ── 阵列 ──\n  // 口径：两内核的 pattern 内核函数都返回 compound（含全部副本），适配器负责拆成数组。\n  /** 线性阵列：沿 direction 复制 count 份（含原位置），返回各份副本句柄数组。 */\n  linearPattern(shape: BrepHandle, direction: BrepVec3, spacing: number, count: number): BrepHandle[]\n  /** 环形阵列：绕 axis 均分 angleStep 每份，返回各份副本句柄数组。 */\n  circularPattern(\n    shape: BrepHandle,\n    center: BrepVec3,\n    axis: BrepVec3,\n    angleStep: number,\n    count: number,\n  ): BrepHandle[]\n  /** 二维栅格阵列：沿两方向复制 countX×countY 份，返回 compound 单句柄。 */\n  gridPattern(\n    shape: BrepHandle,\n    directionX: BrepVec3,\n    directionY: BrepVec3,\n    spacingX: number,\n    spacingY: number,\n    countX: number,\n    countY: number,\n  ): BrepHandle\n\n  // ── 曲线构造 ──\n  makeLineEdge(start: BrepVec3, end: BrepVec3): BrepHandle\n  makeArcEdge(start: BrepVec3, mid: BrepVec3, end: BrepVec3): BrepHandle\n  makeBezierEdge(controlPoints: BrepVec3[]): BrepHandle\n  makeCircleEdge(center: BrepVec3, normal: BrepVec3, radius: number): BrepHandle\n\n  // ── 拓扑构造 ──\n  makeWire(edges: BrepHandle[]): BrepHandle\n  makeFace(wire: BrepHandle): BrepHandle\n  makeCompound(shapes: BrepHandle[]): BrepHandle\n  addHolesInFace(face: BrepHandle, holeWires: BrepHandle[]): BrepHandle\n  /** 三角面（三顶点）。 */\n  buildTriFace(a: BrepVec3, b: BrepVec3, c: BrepVec3): BrepHandle\n\n  // ── 三角化（BREP→mesh 唯一出口，断链物化依赖，硬必需） ──\n  meshShape(shape: BrepHandle, options?: BrepTessellateOptions): BrepMeshResult\n  wireframe(shape: BrepHandle, deflection?: number): BrepEdgeData\n\n  // ── 拓扑查询 ──\n  getSubShapes(shape: BrepHandle, type: BrepSubShapeType): BrepHandle[]\n  subShapeHashes(shape: BrepHandle, type: BrepSubShapeType, hashUpperBound: number): number[]\n  hashCode(shape: BrepHandle, upperBound: number): number\n  isSame(a: BrepHandle, b: BrepHandle): boolean\n  isSolid(shape: BrepHandle): boolean\n  /** 形状类型名（'SOLID' / 'FACE' / 'EDGE' / 'WIRE' / 'COMPOUND' 等；引擎方言归一）。\n   * 库桥（l3-bridge）构造借入视图时读；brepkit/mock 按能力防御返回。 */\n  shapeType(shape: BrepHandle): string\n  /** 方向标识（与内核 ShapeOrientation 同构：'forward'|'reversed'|'internal'|'external'）。 */\n  shapeOrientation(shape: BrepHandle): string\n  /** 边→面关联（brepkit 原生同名）。 */\n  edgeToFaceMap(shape: BrepHandle): unknown\n  /** 面的相邻面（同一 solid 内与 face 共享边的面；两内核原生都吃 (shape, face)）。 */\n  adjacentFaces(shape: BrepHandle, face: BrepHandle): BrepHandle[]\n  /** 两面共享的边。 */\n  sharedEdges(a: BrepHandle, b: BrepHandle): BrepHandle[]\n\n  // ── 几何求值 ──\n  /** 曲线类型标识（与内核 CurveKind 同构的中立字符串形态）。 */\n  curveType(edge: BrepHandle): string\n  curvePointAtParam(edge: BrepHandle, param: number): BrepVec3\n  curveTangent(edge: BrepHandle, param: number): BrepVec3\n  curveParameters(edge: BrepHandle): BrepCurveParameters\n  curveIsClosed(edge: BrepHandle): boolean\n  curveLength(edge: BrepHandle): number\n  /** 曲面类型标识（与内核 SurfaceKind 同构的中立字符串形态）。 */\n  surfaceType(face: BrepHandle): string\n  surfaceNormal(face: BrepHandle, u: number, v: number): BrepVec3\n  pointOnSurface(face: BrepHandle, u: number, v: number): BrepVec3\n  uvBounds(face: BrepHandle): BrepUvBounds\n  /** 曲面质心。 */\n  surfaceCenterOfMass(face: BrepHandle): BrepVec3\n  /** Phase 1 钉死返回形态（topologyExt 仅读 radius）。 */\n  getFaceCylinderData(face: BrepHandle): { radius: number } | null\n  /** Phase 1 钉死返回形态（topologyExt 读 degree/periodic/rational）。 */\n  getNurbsCurveData(edge: BrepHandle): { degree: number; periodic: boolean; rational: boolean } | null\n  interpolatePoints(points: BrepVec3[], degree: number): BrepHandle\n\n  /** 去特征（移除面集合）。 */\n  defeature(shape: BrepHandle, faces: BrepHandle[]): BrepHandle\n  /** 拔模。 */\n  draft(shape: BrepHandle, faces: BrepHandle[], pull: BrepVec3, neutral: BrepVec3, angleDeg: number): BrepHandle\n  removeHolesFromFace(face: BrepHandle): BrepHandle\n  reverseShape(shape: BrepHandle): BrepHandle\n  /** 边投影（方言参数由适配器消化）。 */\n  projectEdges(shape: BrepHandle, origin: BrepVec3, direction: BrepVec3, xAxis: BrepVec3, hiddenLines: boolean, deflection: number): unknown\n\n  // ── 测量（D5/D6：核心面只进双方都有的；linearCenterOfMass/inertia/distance 是 L2 平台面）──\n  getBoundingBox(shape: BrepHandle, useTriangulation?: boolean): BrepBoundingBox\n  getVolume(shape: BrepHandle): number\n  getCenterOfMass(shape: BrepHandle): BrepVec3\n  /** 表面积（D6：面积进 L1；brepkit 原生 surfaceArea/faceArea，适配器映射）。 */\n  getSurfaceArea(shape: BrepHandle): number\n  /** 长度（D6：进 L1；brepkit 原生 length/wireLength，wire 与 edge 入参差异由适配器判别）。 */\n  getLength(shape: BrepHandle): number\n\n  // ── 校验与修复 ──\n  isValid(shape: BrepHandle): boolean\n  unifySameDomain(shape: BrepHandle): BrepHandle\n  healSolid(shape: BrepHandle, tolerance?: number): BrepHandle\n  fixShape(shape: BrepHandle): BrepHandle\n  fixFaceOrientations(shape: BrepHandle): BrepHandle\n  removeDegenerateEdges(shape: BrepHandle, tolerance?: number): BrepHandle\n\n  // ── IO ──\n  importStep(data: string | ArrayBuffer): BrepHandle\n  exportStep(shape: BrepHandle): string\n  importStl(data: string | ArrayBuffer): BrepHandle\n  fromBREP(data: string): BrepHandle\n\n  // ── 面演化（仅双方都有原生/可对齐实现的三员，D1）──\n  cutWithHistory(\n    a: BrepHandle,\n    b: BrepHandle,\n    inputFaceHashes: number[],\n    hashUpperBound: number,\n  ): BrepEvolutionData\n  fuseWithHistory(\n    a: BrepHandle,\n    b: BrepHandle,\n    inputFaceHashes: number[],\n    hashUpperBound: number,\n  ): BrepEvolutionData\n  intersectWithHistory(\n    a: BrepHandle,\n    b: BrepHandle,\n    inputFaceHashes: number[],\n    hashUpperBound: number,\n  ): BrepEvolutionData\n}\n\n/**\n * 编译期完整性断言（D1）：实现类型必须逐成员满足 L1 核心面。\n * 三处守卫 `_AssertOcctApi` / `_AssertBrepkitApi` / `_AssertBrepMockApi` 同时生效。\n */\nexport type AssertSatisfiesBrepEngineApi<Impl extends BrepEngineApi> = Impl\n"]}

package/dist/brep/engine/types.d.ts

@@ -7,6 +7,19 @@
  * - 句柄不得跨引擎传递——跨引擎必须先经 mesh 层（§8.3 的结构保证）。
  * - OCCT 适配器的句柄运行时就是 number，加 brand 是零成本的类型层转换。
  */
+/**
+ * BREP 引擎身份（D11-1，2026-09-24 narrowing plan）。
+ *
+ * 三个值来自三个已存在的引擎 id 常量（`OCCT_BREP_ENGINE_ID` / `BREPKIT_BREP_ENGINE_ID`
+ * / `BREP_MOCK_ENGINE_ID`，各自适配器导出）；本类型由常量数组推导，禁止裸 `string`。
+ * 适配器常量用 `satisfies BrepEngineId` 收窄（typecheck 钉住集合一致）。
+ *
+ * 消费点：`defineOp` 的 `engines` 声明（平台 op 自证身份）、`dispatchPath` 的平台
+ * 身份分支（D11-2）、`script-face-manifest` 的平台 op 标注（§3.8）。
+ */
+export declare const BREP_ENGINE_IDS: readonly ["occt", "brepkit", "brep_mock"];
+/** BREP 引擎身份（固定三值联合；由 {@link BREP_ENGINE_IDS} 推导）。 */
+export type BrepEngineId = (typeof BREP_ENGINE_IDS)[number];
 declare const BrepHandleBrand: unique symbol;
 /**
  * BREP 实体句柄——不透明值。
@@ -168,7 +181,7 @@ export type BrepEvolutionKind = 'fuseWithHistory' | 'cutWithHistory' | 'intersec
  * 初始全集 = Phase 0 能力映射表（`api/surface/capability-map.json`）盘点的
  * compat op 依赖内核方法 + 方案初始项；Phase 3 全量收敛时按映射表滚动补全。
  */
-export type BrepMethodKind = 'linearPattern' | 'circularPattern' | 'gridPattern' | 'rectangularPattern' | 'mirror' | 'rotate' | 'translate' | 'scale' | 'chamfer' | 'chamferDistAngle' | 'fillet' | 'filletVariable' | 'makeRectangle' | 'shell' | 'extrude' | 'loft' | 'loftAdvanced' | 'section' | 'sweepPipeShell' | 'simplePipe' | 'revolveVec' | 'buildExtrusionLaw' | 'fuse' | 'cut' | 'intersect' | 'fuseAll' | 'makeArcEdge' | 'makeBezierEdge' | 'makeCylinder' | 'makeEllipsoid' | 'makeFace' | 'makeFaceOnSurface' | 'makeLineEdge' | 'makeTorus' | 'makeVertex' | 'makeWireFromMixed' | 'buildEdgeOnSurface' | 'addHolesInFace' | 'buildTriFace' | 'sew' | 'sewAndSolidify' | 'healFace' | 'healSolid' | 'healWire' | 'fixShape' | 'fixSelfIntersection' | 'isValid' | 'removeDegenerateEdges' | 'simplify' | 'split' | 'boundingBox' | 'curveParameters' | 'curvePointAtParam' | 'curveTangent' | 'hullFromPoints' | 'isNull' | 'iterShapes' | 'locate' | 'shapeType' | 'surfaceCenterOfMass' | 'surfaceNormal' | 'surfaceType' | 'uvBounds' | 'composeTransform' | 'applyComposedTransformWithHistory' | 'generalTransformNonOrthogonal' | 'generalTransformWithHistory' | 'importStl' | 'createXCAFDocument' | 'importXCAFFromSTEP' | 'copyShape' | 'dispose' | 'downcast' | 'hashCode';
+export type BrepMethodKind = 'linearPattern' | 'circularPattern' | 'gridPattern' | 'rectangularPattern' | 'mirror' | 'rotate' | 'translate' | 'scale' | 'chamfer' | 'chamferDistAngle' | 'fillet' | 'filletVariable' | 'makeRectangle' | 'shell' | 'extrude' | 'loft' | 'loftAdvanced' | 'section' | 'sweepPipeShell' | 'simplePipe' | 'revolveVec' | 'buildExtrusionLaw' | 'fuse' | 'cut' | 'intersect' | 'fuseAll' | 'makeArcEdge' | 'makeBezierEdge' | 'makeCylinder' | 'makeEllipsoid' | 'makeFace' | 'makeFaceOnSurface' | 'makeLineEdge' | 'makeTorus' | 'makeVertex' | 'makeWireFromMixed' | 'buildEdgeOnSurface' | 'addHolesInFace' | 'buildTriFace' | 'sew' | 'sewAndSolidify' | 'healFace' | 'healSolid' | 'healWire' | 'fixShape' | 'fixSelfIntersection' | 'isValid' | 'removeDegenerateEdges' | 'simplify' | 'split' | 'getBoundingBox' | 'getVolume' | 'getSurfaceArea' | 'getLength' | 'getCenterOfMass' | 'curveParameters' | 'curvePointAtParam' | 'curveTangent' | 'hullFromPoints' | 'isNull' | 'iterShapes' | 'locate' | 'shapeType' | 'surfaceCenterOfMass' | 'surfaceNormal' | 'surfaceType' | 'uvBounds' | 'composeTransform' | 'applyComposedTransformWithHistory' | 'generalTransformNonOrthogonal' | 'generalTransformWithHistory' | 'sectionByPlane' | 'makeCompound' | 'located' | 'getSubShapes' | 'transform' | 'generalTransform' | 'importStl' | 'createXCAFDocument' | 'importXCAFFromSTEP' | 'copyShape' | 'dispose' | 'downcast' | 'hashCode';
 /**
  * 可选能力槽声明（§7.5，Phase 1 钉死成员）。
  *

package/dist/brep/engine/types.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../../../src/brep/engine/types.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAEH,OAAO,CAAC,MAAM,eAAe,EAAE,OAAO,MAAM,CAAA;AAE5C;;;;;GAKG;AACH,MAAM,MAAM,UAAU,GAAG,MAAM,GAAG;IAAE,QAAQ,CAAC,CAAC,eAAe,CAAC,EAAE,KAAK,CAAA;CAAE,CAAA;AAEvE,0BAA0B;AAC1B,MAAM,WAAW,QAAQ;IACvB,CAAC,EAAE,MAAM,CAAA;IACT,CAAC,EAAE,MAAM,CAAA;IACT,CAAC,EAAE,MAAM,CAAA;CACV;AAED,cAAc;AACd,MAAM,WAAW,eAAe;IAC9B,IAAI,EAAE,MAAM,CAAA;IACZ,IAAI,EAAE,MAAM,CAAA;IACZ,IAAI,EAAE,MAAM,CAAA;IACZ,IAAI,EAAE,MAAM,CAAA;IACZ,IAAI,EAAE,MAAM,CAAA;IACZ,IAAI,EAAE,MAAM,CAAA;CACb;AAED,+CAA+C;AAC/C,MAAM,WAAW,cAAc;IAC7B,sCAAsC;IACtC,SAAS,EAAE,YAAY,CAAA;IACvB,sCAAsC;IACtC,OAAO,EAAE,YAAY,CAAA;IACrB,YAAY;IACZ,OAAO,EAAE,WAAW,CAAA;IACpB,gCAAgC;IAChC,WAAW,EAAE,MAAM,CAAA;IACnB,+BAA+B;IAC/B,aAAa,EAAE,MAAM,CAAA;IACrB,2DAA2D;IAC3D,UAAU,CAAC,EAAE,UAAU,CAAA;IACvB,yBAAyB;IACzB,SAAS,CAAC,EAAE,MAAM,CAAA;CACnB;AAED,eAAe;AACf,MAAM,WAAW,qBAAqB;IACpC,uBAAuB;IACvB,gBAAgB,CAAC,EAAE,MAAM,CAAA;IACzB,uBAAuB;IACvB,iBAAiB,CAAC,EAAE,MAAM,CAAA;IAC1B,kCAAkC;IAClC,QAAQ,CAAC,EAAE,OAAO,CAAA;CACnB;AAED,2BAA2B;AAC3B,MAAM,WAAW,YAAY;IAC3B,iBAAiB;IACjB,MAAM,EAAE,YAAY,CAAA;IACpB,kDAAkD;IAClD,UAAU,EAAE,UAAU,CAAA;IACtB,gCAAgC;IAChC,UAAU,EAAE,MAAM,CAAA;IAClB,aAAa;IACb,SAAS,EAAE,MAAM,CAAA;CAClB;AAED;;;;;;;;;;;;;;;;;;;;;;GAsBG;AACH,MAAM,WAAW,iBAAiB;IAChC,WAAW;IACX,MAAM,EAAE,UAAU,CAAA;IAClB,uDAAuD;IACvD,QAAQ,EAAE,MAAM,EAAE,CAAA;IAClB,oDAAoD;IACpD,SAAS,EAAE,MAAM,EAAE,CAAA;IACnB,yBAAyB;IACzB,OAAO,EAAE,MAAM,EAAE,CAAA;CAClB;AAED,mDAAmD;AACnD,MAAM,WAAW,mBAAmB;IAClC,KAAK,EAAE,MAAM,CAAA;IACb,IAAI,EAAE,MAAM,CAAA;CACb;AAED,gBAAgB;AAChB,MAAM,WAAW,YAAY;IAC3B,IAAI,EAAE,MAAM,CAAA;IACZ,IAAI,EAAE,MAAM,CAAA;IACZ,IAAI,EAAE,MAAM,CAAA;IACZ,IAAI,EAAE,MAAM,CAAA;CACb;AAED,8CAA8C;AAC9C,MAAM,MAAM,gBAAgB,GAAG,QAAQ,GAAG,MAAM,GAAG,MAAM,GAAG,MAAM,GAAG,OAAO,GAAG,OAAO,CAAA;AAEtF;;;;GAIG;AACH,MAAM,WAAW,gBAAgB;IAC/B,QAAQ,CAAC,KAAK,EAAE,UAAU,EAAE,IAAI,CAAC,EAAE;QAAE,IAAI,CAAC,EAAE,MAAM,CAAC;QAAC,KAAK,CAAC,EAAE,CAAC,MAAM,EAAE,MAAM,EAAE,MAAM,CAAC,CAAA;KAAE,GAAG,IAAI,CAAA;IAC7F,UAAU,IAAI,MAAM,CAAA;IACpB,KAAK,IAAI,IAAI,CAAA;CACd;AAED;;;;;;;;GAQG;AACH,MAAM,MAAM,qBAAqB,GAAG,YAAY,GAAG,cAAc,GAAG,MAAM,CAAA;AAE1E;;;;;;;;;;;;;;;;GAgBG;AACH,MAAM,MAAM,iBAAiB,GAEzB,iBAAiB,GACjB,gBAAgB,GAChB,sBAAsB,GAEtB,mBAAmB,GACnB,oBAAoB,GAEpB,sBAAsB,GACtB,mBAAmB,GACnB,mBAAmB,GACnB,kBAAkB,GAElB,kBAAkB,GAClB,mBAAmB,GACnB,oBAAoB,CAAA;AAExB;;;;;;;;;;GAUG;AACH,MAAM,MAAM,cAAc,GAEtB,eAAe,GACf,iBAAiB,GACjB,aAAa,GACb,oBAAoB,GAEpB,QAAQ,GACR,QAAQ,GACR,WAAW,GACX,OAAO,GAGP,SAAS,GACT,kBAAkB,GAClB,QAAQ,GACR,gBAAgB,GAEhB,eAAe,GACf,OAAO,GACP,SAAS,GACT,MAAM,GACN,cAAc,GACd,SAAS,GACT,gBAAgB,GAChB,YAAY,GACZ,YAAY,GACZ,mBAAmB,GAEnB,MAAM,GACN,KAAK,GACL,WAAW,GACX,SAAS,GAET,aAAa,GACb,gBAAgB,GAChB,cAAc,GACd,eAAe,GACf,UAAU,GACV,mBAAmB,GACnB,cAAc,GACd,WAAW,GACX,YAAY,GACZ,mBAAmB,GACnB,oBAAoB,GACpB,gBAAgB,GAChB,cAAc,GACd,KAAK,GACL,gBAAgB,GAEhB,UAAU,GACV,WAAW,GACX,UAAU,GACV,UAAU,GACV,qBAAqB,GACrB,SAAS,GACT,uBAAuB,GACvB,UAAU,GACV,OAAO,GAEP,aAAa,GACb,iBAAiB,GACjB,mBAAmB,GACnB,cAAc,GACd,gBAAgB,GAChB,QAAQ,GACR,YAAY,GACZ,QAAQ,GACR,WAAW,GACX,qBAAqB,GACrB,eAAe,GACf,aAAa,GACb,UAAU,GAEV,kBAAkB,GAClB,mCAAmC,GACnC,+BAA+B,GAC/B,6BAA6B,GAE7B,WAAW,GACX,oBAAoB,GACpB,oBAAoB,GAEpB,WAAW,GACX,SAAS,GACT,UAAU,GACV,UAAU,CAAA;AAEd;;;;;;;;;;;;;GAaG;AACH,MAAM,WAAW,gBAAgB;IAC/B;;;OAGG;IACH,SAAS,CAAC,EAAE,SAAS,iBAAiB,EAAE,CAAA;IACxC;;;OAGG;IACH,OAAO,CAAC,EAAE,SAAS,cAAc,EAAE,CAAA;IACnC,sDAAsD;IACtD,IAAI,CAAC,EAAE,OAAO,CAAA;IACd,yCAAyC;IACzC,UAAU,CAAC,EAAE,OAAO,CAAA;IACpB,gDAAgD;IAChD,UAAU,CAAC,EAAE,OAAO,CAAA;IACpB,eAAe;IACf,QAAQ,CAAC,EAAE,OAAO,CAAA;IAClB,gDAAgD;IAChD,QAAQ,CAAC,EAAE,OAAO,CAAA;IAClB,kEAAkE;IAClE,KAAK,CAAC,EAAE,OAAO,CAAA;IACf,wDAAwD;IACxD,UAAU,CAAC,EAAE,OAAO,CAAA;IACpB,4DAA4D;IAC5D,gBAAgB,CAAC,EAAE,OAAO,CAAA;IAC1B,4CAA4C;IAC5C,iBAAiB,CAAC,EAAE,qBAAqB,CAAA;CAC1C"}
+{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../../../src/brep/engine/types.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAEH;;;;;;;;;GASG;AACH,eAAO,MAAM,eAAe,2CAA4C,CAAA;AAExE,sDAAsD;AACtD,MAAM,MAAM,YAAY,GAAG,CAAC,OAAO,eAAe,CAAC,CAAC,MAAM,CAAC,CAAA;AAE3D,OAAO,CAAC,MAAM,eAAe,EAAE,OAAO,MAAM,CAAA;AAE5C;;;;;GAKG;AACH,MAAM,MAAM,UAAU,GAAG,MAAM,GAAG;IAAE,QAAQ,CAAC,CAAC,eAAe,CAAC,EAAE,KAAK,CAAA;CAAE,CAAA;AAEvE,0BAA0B;AAC1B,MAAM,WAAW,QAAQ;IACvB,CAAC,EAAE,MAAM,CAAA;IACT,CAAC,EAAE,MAAM,CAAA;IACT,CAAC,EAAE,MAAM,CAAA;CACV;AAED,cAAc;AACd,MAAM,WAAW,eAAe;IAC9B,IAAI,EAAE,MAAM,CAAA;IACZ,IAAI,EAAE,MAAM,CAAA;IACZ,IAAI,EAAE,MAAM,CAAA;IACZ,IAAI,EAAE,MAAM,CAAA;IACZ,IAAI,EAAE,MAAM,CAAA;IACZ,IAAI,EAAE,MAAM,CAAA;CACb;AAED,+CAA+C;AAC/C,MAAM,WAAW,cAAc;IAC7B,sCAAsC;IACtC,SAAS,EAAE,YAAY,CAAA;IACvB,sCAAsC;IACtC,OAAO,EAAE,YAAY,CAAA;IACrB,YAAY;IACZ,OAAO,EAAE,WAAW,CAAA;IACpB,gCAAgC;IAChC,WAAW,EAAE,MAAM,CAAA;IACnB,+BAA+B;IAC/B,aAAa,EAAE,MAAM,CAAA;IACrB,2DAA2D;IAC3D,UAAU,CAAC,EAAE,UAAU,CAAA;IACvB,yBAAyB;IACzB,SAAS,CAAC,EAAE,MAAM,CAAA;CACnB;AAED,eAAe;AACf,MAAM,WAAW,qBAAqB;IACpC,uBAAuB;IACvB,gBAAgB,CAAC,EAAE,MAAM,CAAA;IACzB,uBAAuB;IACvB,iBAAiB,CAAC,EAAE,MAAM,CAAA;IAC1B,kCAAkC;IAClC,QAAQ,CAAC,EAAE,OAAO,CAAA;CACnB;AAED,2BAA2B;AAC3B,MAAM,WAAW,YAAY;IAC3B,iBAAiB;IACjB,MAAM,EAAE,YAAY,CAAA;IACpB,kDAAkD;IAClD,UAAU,EAAE,UAAU,CAAA;IACtB,gCAAgC;IAChC,UAAU,EAAE,MAAM,CAAA;IAClB,aAAa;IACb,SAAS,EAAE,MAAM,CAAA;CAClB;AAED;;;;;;;;;;;;;;;;;;;;;;GAsBG;AACH,MAAM,WAAW,iBAAiB;IAChC,WAAW;IACX,MAAM,EAAE,UAAU,CAAA;IAClB,uDAAuD;IACvD,QAAQ,EAAE,MAAM,EAAE,CAAA;IAClB,oDAAoD;IACpD,SAAS,EAAE,MAAM,EAAE,CAAA;IACnB,yBAAyB;IACzB,OAAO,EAAE,MAAM,EAAE,CAAA;CAClB;AAED,mDAAmD;AACnD,MAAM,WAAW,mBAAmB;IAClC,KAAK,EAAE,MAAM,CAAA;IACb,IAAI,EAAE,MAAM,CAAA;CACb;AAED,gBAAgB;AAChB,MAAM,WAAW,YAAY;IAC3B,IAAI,EAAE,MAAM,CAAA;IACZ,IAAI,EAAE,MAAM,CAAA;IACZ,IAAI,EAAE,MAAM,CAAA;IACZ,IAAI,EAAE,MAAM,CAAA;CACb;AAED,8CAA8C;AAC9C,MAAM,MAAM,gBAAgB,GAAG,QAAQ,GAAG,MAAM,GAAG,MAAM,GAAG,MAAM,GAAG,OAAO,GAAG,OAAO,CAAA;AAEtF;;;;GAIG;AACH,MAAM,WAAW,gBAAgB;IAC/B,QAAQ,CAAC,KAAK,EAAE,UAAU,EAAE,IAAI,CAAC,EAAE;QAAE,IAAI,CAAC,EAAE,MAAM,CAAC;QAAC,KAAK,CAAC,EAAE,CAAC,MAAM,EAAE,MAAM,EAAE,MAAM,CAAC,CAAA;KAAE,GAAG,IAAI,CAAA;IAC7F,UAAU,IAAI,MAAM,CAAA;IACpB,KAAK,IAAI,IAAI,CAAA;CACd;AAED;;;;;;;;GAQG;AACH,MAAM,MAAM,qBAAqB,GAAG,YAAY,GAAG,cAAc,GAAG,MAAM,CAAA;AAE1E;;;;;;;;;;;;;;;;GAgBG;AACH,MAAM,MAAM,iBAAiB,GAEzB,iBAAiB,GACjB,gBAAgB,GAChB,sBAAsB,GAEtB,mBAAmB,GACnB,oBAAoB,GAEpB,sBAAsB,GACtB,mBAAmB,GACnB,mBAAmB,GACnB,kBAAkB,GAElB,kBAAkB,GAClB,mBAAmB,GACnB,oBAAoB,CAAA;AAExB;;;;;;;;;;GAUG;AACH,MAAM,MAAM,cAAc,GAEtB,eAAe,GACf,iBAAiB,GACjB,aAAa,GACb,oBAAoB,GAEpB,QAAQ,GACR,QAAQ,GACR,WAAW,GACX,OAAO,GAGP,SAAS,GACT,kBAAkB,GAClB,QAAQ,GACR,gBAAgB,GAEhB,eAAe,GACf,OAAO,GACP,SAAS,GACT,MAAM,GACN,cAAc,GACd,SAAS,GACT,gBAAgB,GAChB,YAAY,GACZ,YAAY,GACZ,mBAAmB,GAEnB,MAAM,GACN,KAAK,GACL,WAAW,GACX,SAAS,GAET,aAAa,GACb,gBAAgB,GAChB,cAAc,GACd,eAAe,GACf,UAAU,GACV,mBAAmB,GACnB,cAAc,GACd,WAAW,GACX,YAAY,GACZ,mBAAmB,GACnB,oBAAoB,GACpB,gBAAgB,GAChB,cAAc,GACd,KAAK,GACL,gBAAgB,GAEhB,UAAU,GACV,WAAW,GACX,UAAU,GACV,UAAU,GACV,qBAAqB,GACrB,SAAS,GACT,uBAAuB,GACvB,UAAU,GACV,OAAO,GAOP,gBAAgB,GAChB,WAAW,GACX,gBAAgB,GAChB,WAAW,GACX,iBAAiB,GACjB,iBAAiB,GACjB,mBAAmB,GACnB,cAAc,GACd,gBAAgB,GAChB,QAAQ,GACR,YAAY,GACZ,QAAQ,GACR,WAAW,GACX,qBAAqB,GACrB,eAAe,GACf,aAAa,GACb,UAAU,GAEV,kBAAkB,GAClB,mCAAmC,GACnC,+BAA+B,GAC/B,6BAA6B,GAE7B,gBAAgB,GAChB,cAAc,GACd,SAAS,GACT,cAAc,GACd,WAAW,GACX,kBAAkB,GAElB,WAAW,GACX,oBAAoB,GACpB,oBAAoB,GAEpB,WAAW,GACX,SAAS,GACT,UAAU,GACV,UAAU,CAAA;AAEd;;;;;;;;;;;;;GAaG;AACH,MAAM,WAAW,gBAAgB;IAC/B;;;OAGG;IACH,SAAS,CAAC,EAAE,SAAS,iBAAiB,EAAE,CAAA;IACxC;;;OAGG;IACH,OAAO,CAAC,EAAE,SAAS,cAAc,EAAE,CAAA;IACnC,sDAAsD;IACtD,IAAI,CAAC,EAAE,OAAO,CAAA;IACd,yCAAyC;IACzC,UAAU,CAAC,EAAE,OAAO,CAAA;IACpB,gDAAgD;IAChD,UAAU,CAAC,EAAE,OAAO,CAAA;IACpB,eAAe;IACf,QAAQ,CAAC,EAAE,OAAO,CAAA;IAClB,gDAAgD;IAChD,QAAQ,CAAC,EAAE,OAAO,CAAA;IAClB,kEAAkE;IAClE,KAAK,CAAC,EAAE,OAAO,CAAA;IACf,wDAAwD;IACxD,UAAU,CAAC,EAAE,OAAO,CAAA;IACpB,4DAA4D;IAC5D,gBAAgB,CAAC,EAAE,OAAO,CAAA;IAC1B,4CAA4C;IAC5C,iBAAiB,CAAC,EAAE,qBAAqB,CAAA;CAC1C"}

package/dist/brep/engine/types.js

@@ -7,5 +7,15 @@
  * - 句柄不得跨引擎传递——跨引擎必须先经 mesh 层（§8.3 的结构保证）。
  * - OCCT 适配器的句柄运行时就是 number，加 brand 是零成本的类型层转换。
  */
-export {};
+/**
+ * BREP 引擎身份（D11-1，2026-09-24 narrowing plan）。
+ *
+ * 三个值来自三个已存在的引擎 id 常量（`OCCT_BREP_ENGINE_ID` / `BREPKIT_BREP_ENGINE_ID`
+ * / `BREP_MOCK_ENGINE_ID`，各自适配器导出）；本类型由常量数组推导，禁止裸 `string`。
+ * 适配器常量用 `satisfies BrepEngineId` 收窄（typecheck 钉住集合一致）。
+ *
+ * 消费点：`defineOp` 的 `engines` 声明（平台 op 自证身份）、`dispatchPath` 的平台
+ * 身份分支（D11-2）、`script-face-manifest` 的平台 op 标注（§3.8）。
+ */
+export const BREP_ENGINE_IDS = ['occt', 'brepkit', 'brep_mock'];
 //# sourceMappingURL=types.js.map