@faicad/faijs 0.30.9 → 0.31.1

package/dist/api/measure-query/index.js

@@ -0,0 +1,390 @@
+/**
+ * api measure-query — 测量与查询族（S4 剩余，平台 op engines:['occt']）
+ *
+ * @platform occt — 13 个原生方法直调 occt-wasm（occt-wasm 5.6.0 有，见
+ * `dist/index.d.ts` 的 `OcctKernel`）：
+ *   containsPoint / distanceBetween / getInertia / getLinearCenterOfMass /
+ *   projectPointOnEdge / projectPointOnFace / classifyPointOnFace / uvFromPoint /
+ *   vertexPosition / subShapeCount / iterShapes / liftCurve2dToPlane / intersectionCells
+ * 它们**不在** L1 契约 `BrepEngineApi` 里（L1 只有 getCenterOfMass / getVolume /
+ * getSurfaceArea / getBoundingBox 等子集，见 brep/engine/primitives.ts）⇒ 全族平台 op。
+ *
+ * 方案落点：docs/plans/2026-10-07-occt-wasm-op-enablement-plan.md §3.4.6。
+ *
+ * **形态二分**（沿用 shape-type / view-export / curve-sketch 的既定口径）：
+ * - 返回 Shape 的两项（`liftCurve2d` / `commonCells`）走 `defineOp` + `engines:['occt']`，
+ *   由 dispatchPath 门控（D11-4，brep_mock 豁免走 D11-3）；
+ * - 其余返回标量 / Vec3 / 对象 / Shape[] 的 11 项走**普通函数** +
+ *   `assertEngineFor('<name>', ['occt'])`：defineOp 的 brep 包装
+ *   （define-op.ts#wrapBrepOne）把返回值一律收养为 Shape，装不下这些形态。普通函数
+ *   形态的 op 由覆盖率扫描器 `scan-occt-op-coverage.ts` 的 PLAN_C2_EXTRA 计入 C2。
+ *
+ * **GOTCHA（上游载体差异，务必读）**：occt-wasm 的 `Vec3` 是 **`{x, y, z}` 对象接口**
+ * （dist/types.d.ts:52-56），而 faijs 脚本面的 `Vec3` 是 **`[x, y, z]` 数组**
+ * （mesh/types，见 api/geom.ts 里 `normal = [n.x, n.y, n.z]` 的同款转接）。因此本文件
+ * 在**边界处做双向转换**，不外泄载体差异：入参 `[x,y,z]` → `{x,y,z}`，返回值
+ * `{x,y,z}` → `[x,y,z]`。漏掉这层转换时症状是原生方法读到 `undefined` 坐标
+ * （`{}.x` 静默取不到 → 落在原点）而非显式报错，故每条都配了返回值数组的测试。
+ *
+ * `iterShapes` 返回的子形状既有实体/面也有边/wire ⇒ 按 `getShapeType` 判定收养形态
+ * （vertex/edge/wire → `fromBrepCurve`，其余 → `fromBrep`），避免把 1D 产物谎报成实体。
+ *
+ * §9.5 降级路径（记录在案）：一旦 brepkit 把这些测量/查询接进 L1 契约且两侧适配器
+ * 同时落地，普通函数删掉 assertEngineFor 改走 getBrepApi()、defineOp 删掉 engines
+ * 声明，对应方法即从 C2 转入 C1。
+ */
+import { solidToShape } from '../../brep/brep-ops.js';
+import { getBrepApi } from '../../brep/handle-bridge.js';
+import { brepOf, fromBrep, fromBrepCurve } from '../../shape.js';
+import { defineOp } from '../../sdk.js';
+import { getOcctKernel } from '../../occt-kernel/occtKernel.js';
+import { assertEngineFor } from '../internal/l3-bridge.js';
+const SUB_SHAPE_TYPES = ['vertex', 'edge', 'wire', 'face', 'shell', 'solid'];
+/** 输入 Shape → 内核句柄（无 BREP 槽报错）。 */
+function occtHandleOf(shape, op) {
+    const h = brepOf(shape);
+    if (!h) {
+        throw new Error(`E_SHAPE_TYPE_NO_BREP: ${op} requires a BREP handle (mesh-only shape has none)`);
+    }
+    return h;
+}
+/** 脚本面 `[x,y,z]` → 原生 `{x,y,z}`（见头注 GOTCHA）。 */
+function toNativeVec3(v, op, which) {
+    if (!Array.isArray(v) || v.length !== 3 || v.some((n) => typeof n !== 'number' || !Number.isFinite(n))) {
+        throw new Error(`E_${op.toUpperCase()}_BAD_${which.toUpperCase()}: ${which} must be a finite [x,y,z]`);
+    }
+    return { x: v[0], y: v[1], z: v[2] };
+}
+/** 原生 `{x,y,z}` → 脚本面 `[x,y,z]`（同上）。 */
+function fromNativeVec3(v) {
+    return [v.x, v.y, v.z];
+}
+/** 句柄 → Shape：1D（vertex/edge/wire）登记为 kind:'curve'，其余为实体/面。 */
+function adopt(handle) {
+    const mesh = solidToShape(getBrepApi(), handle);
+    const t = getOcctKernel().getShapeType(handle);
+    if (t === 'vertex' || t === 'edge' || t === 'wire') {
+        return fromBrepCurve(mesh, { solid: handle });
+    }
+    return fromBrep(mesh, { solid: handle });
+}
+// ─────────────────────────────────────────────────────────────────────────────
+// 标量/数据型查询（普通函数形态 + assertEngineFor）
+// ─────────────────────────────────────────────────────────────────────────────
+/**
+ * 点是否在实体内（含边界，带容差）。
+ * @group 查询
+ * @inputs 1
+ * @async false
+ * @qual ok
+ * @name containsPoint
+ * @note 平台 op：仅 occt 引擎（原生 containsPoint，L1 契约无对应成员）。
+ *       非 occt 引擎执行前报 E_BREP_UNSUPPORTED。坐标收脚本面的 [x,y,z]。
+ * @returns boolean 点是否在形状内。
+ * @param shape - 被检测的形状（语义上是实体/壳）。type:Shape required:true
+ * @param point - 待判定点 [x,y,z]。type:Vec3 required:true
+ * @param tolerance - 判定容差（模型单位）。type:number required:false
+ * @example
+ * const inside = cad.containsPoint(box, [1, 1, 1])
+ */
+export function containsPoint(shape, point, tolerance) {
+    assertEngineFor('containsPoint', ['occt']);
+    const p = toNativeVec3(point, 'containsPoint', 'point');
+    return getOcctKernel().containsPoint(occtHandleOf(shape, 'containsPoint'), p, tolerance);
+}
+/**
+ * 两形状之间的最短距离。
+ * @group 查询
+ * @inputs 2
+ * @async false
+ * @qual ok
+ * @name distanceBetween
+ * @note 平台 op：仅 occt 引擎（原生 distanceBetween，BRepExtrema_DistShapeShape）。
+ *       非 occt 引擎执行前报 E_BREP_UNSUPPORTED。
+ * @returns number 最短距离（模型单位；相交为 0）。
+ * @param a - 第一个形状。type:Shape required:true
+ * @param b - 第二个形状。type:Shape required:true
+ * @example
+ * const gap = cad.distanceBetween(box1, box2)
+ */
+export function distanceBetween(a, b) {
+    assertEngineFor('distanceBetween', ['occt']);
+    const ha = occtHandleOf(a, 'distanceBetween');
+    const hb = occtHandleOf(b, 'distanceBetween');
+    return getOcctKernel().distanceBetween(ha, hb);
+}
+/**
+ * 绕质心的惯性矩阵（row-major 3×3，长度 9；对称：[1]==[3]、[2]==[6]、[5]==[7]）。
+ * @group 查询
+ * @inputs 1
+ * @async false
+ * @qual ok
+ * @name inertia
+ * @note 平台 op：仅 occt 引擎（原生 getInertia）。非 occt 引擎执行前报
+ *       E_BREP_UNSUPPORTED。
+ * @returns number[] row-major 3×3 惯性矩阵。
+ * @param shape - 被测量的形状。type:Shape required:true
+ * @example
+ * const m = cad.inertia(box)
+ */
+export function inertia(shape) {
+    assertEngineFor('inertia', ['occt']);
+    return getOcctKernel().getInertia(occtHandleOf(shape, 'inertia'));
+}
+/**
+ * 线性质心（按边长加权的质心；wire/edge 用它与体积质心区分）。
+ * @group 查询
+ * @inputs 1
+ * @async false
+ * @qual ok
+ * @name linearCenterOfMass
+ * @note 平台 op：仅 occt 引擎（原生 getLinearCenterOfMass）。非 occt 引擎执行前报
+ *       E_BREP_UNSUPPORTED。返回脚本面的 [x,y,z]（非 occt 的 {x,y,z} 对象）。
+ * @returns Vec3 线性质心坐标 [x,y,z]。
+ * @param shape - 被测量的形状。type:Shape required:true
+ * @example
+ * const c = cad.linearCenterOfMass(wire)
+ */
+export function linearCenterOfMass(shape) {
+    assertEngineFor('linearCenterOfMass', ['occt']);
+    return fromNativeVec3(getOcctKernel().getLinearCenterOfMass(occtHandleOf(shape, 'linearCenterOfMass')));
+}
+/**
+ * 点到边的最近点（含该处切向与参数）。
+ * @group 查询
+ * @inputs 2
+ * @async false
+ * @qual ok
+ * @name projectPointOnEdge
+ * @note 平台 op：仅 occt 引擎（原生 projectPointOnEdge）。非 occt 引擎执行前报
+ *       E_BREP_UNSUPPORTED。返回体里的 point/tangent 是脚本面的 [x,y,z]。
+ * @returns object { point: Vec3; tangent: Vec3; parameter: number }。
+ * @param edge - 被投影的边。type:Shape required:true
+ * @param point - 待投影点 [x,y,z]。type:Vec3 required:true
+ * @example
+ * const hit = cad.projectPointOnEdge(e, [3, 4, 0])
+ */
+export function projectPointOnEdge(edge, point) {
+    assertEngineFor('projectPointOnEdge', ['occt']);
+    const p = toNativeVec3(point, 'projectPointOnEdge', 'point');
+    const r = getOcctKernel().projectPointOnEdge(occtHandleOf(edge, 'projectPointOnEdge'), p);
+    return { point: fromNativeVec3(r.point), tangent: fromNativeVec3(r.tangent), parameter: r.parameter };
+}
+/**
+ * 点到面的最近点（三维坐标）。
+ * @group 查询
+ * @inputs 2
+ * @async false
+ * @qual ok
+ * @name projectPointOnFace
+ * @note 平台 op：仅 occt 引擎（原生 projectPointOnFace）。非 occt 引擎执行前报
+ *       E_BREP_UNSUPPORTED。要 UV 参数用 `uvFromPoint`。
+ * @returns Vec3 面上的最近点 [x,y,z]。
+ * @param face - 被投影的面。type:Shape required:true
+ * @param point - 待投影点 [x,y,z]。type:Vec3 required:true
+ * @example
+ * const p = cad.projectPointOnFace(f, [3, 4, 5])
+ */
+export function projectPointOnFace(face, point) {
+    assertEngineFor('projectPointOnFace', ['occt']);
+    const p = toNativeVec3(point, 'projectPointOnFace', 'point');
+    return fromNativeVec3(getOcctKernel().projectPointOnFace(occtHandleOf(face, 'projectPointOnFace'), p));
+}
+/**
+ * UV 点相对面边界的分类（BRepClass_FaceClassifier）。
+ * @group 查询
+ * @inputs 3
+ * @async false
+ * @qual ok
+ * @name classifyPointOnFace
+ * @note 平台 op：仅 occt 引擎（原生 classifyPointOnFace）。非 occt 引擎执行前报
+ *       E_BREP_UNSUPPORTED。
+ * @returns string 'in' | 'on' | 'out'。
+ * @param face - 被判定的面。type:Shape required:true
+ * @param u - U 参数。type:number required:true
+ * @param v - V 参数。type:number required:true
+ * @example
+ * const cls = cad.classifyPointOnFace(f, 0.5, 0.5)
+ */
+export function classifyPointOnFace(face, u, v) {
+    assertEngineFor('classifyPointOnFace', ['occt']);
+    if (typeof u !== 'number' || !Number.isFinite(u) || typeof v !== 'number' || !Number.isFinite(v)) {
+        throw new Error('E_CLASSIFYPOINTONFACE_BAD_UV: u and v must be finite numbers');
+    }
+    return getOcctKernel().classifyPointOnFace(occtHandleOf(face, 'classifyPointOnFace'), u, v);
+}
+/**
+ * 三维点 → 面的 UV 参数。
+ * @group 查询
+ * @inputs 2
+ * @async false
+ * @qual ok
+ * @name uvFromPoint
+ * @note 平台 op：仅 occt 引擎（原生 uvFromPoint）。非 occt 引擎执行前报
+ *       E_BREP_UNSUPPORTED。
+ * @returns object { u: number; v: number }。
+ * @param face - 目标面。type:Shape required:true
+ * @param point - 三维点 [x,y,z]。type:Vec3 required:true
+ * @example
+ * const { u, v } = cad.uvFromPoint(f, [1, 2, 0])
+ */
+export function uvFromPoint(face, point) {
+    assertEngineFor('uvFromPoint', ['occt']);
+    const p = toNativeVec3(point, 'uvFromPoint', 'point');
+    return getOcctKernel().uvFromPoint(occtHandleOf(face, 'uvFromPoint'), p);
+}
+/**
+ * 顶点坐标。
+ * @group 查询
+ * @inputs 1
+ * @async false
+ * @qual ok
+ * @name vertexPosition
+ * @note 平台 op：仅 occt 引擎（原生 vertexPosition）。非 occt 引擎执行前报
+ *       E_BREP_UNSUPPORTED。返回脚本面的 [x,y,z]。
+ * @returns Vec3 顶点坐标 [x,y,z]。
+ * @param vertex - 顶点形状。type:Shape required:true
+ * @example
+ * const p = cad.vertexPosition(v)
+ */
+export function vertexPosition(vertex) {
+    assertEngineFor('vertexPosition', ['occt']);
+    return fromNativeVec3(getOcctKernel().vertexPosition(occtHandleOf(vertex, 'vertexPosition')));
+}
+/**
+ * 子形状计数（不物化逐个子形状句柄）。
+ * @group 查询
+ * @inputs 2
+ * @async false
+ * @qual ok
+ * @name subShapeCount
+ * @note 平台 op：仅 occt 引擎（原生 subShapeCount；L1 契约只有 getSubShapes，
+ *       计数能力是 occt 独有）。非 occt 引擎执行前报 E_BREP_UNSUPPORTED。
+ * @returns number 该类子形状的个数。
+ * @param shape - 被统计的形状。type:Shape required:true
+ * @param type - 子形状类型（vertex/edge/wire/face/shell/solid）。type:string required:true
+ * @example
+ * const n = cad.subShapeCount(box, 'face')
+ */
+export function subShapeCount(shape, type) {
+    assertEngineFor('subShapeCount', ['occt']);
+    if (!SUB_SHAPE_TYPES.includes(type)) {
+        throw new Error(`E_SUBSHAPECOUNT_BAD_TYPE: type must be one of ${SUB_SHAPE_TYPES.join('/')} (got ${String(type)})`);
+    }
+    return getOcctKernel().subShapeCount(occtHandleOf(shape, 'subShapeCount'), type);
+}
+/**
+ * 遍历全部子形状（递归展平，返回 Shape[]）。
+ * @group 查询
+ * @inputs 1
+ * @async false
+ * @qual ok
+ * @name iterShapes
+ * @note 平台 op：仅 occt 引擎（原生 iterShapes；L1 契约的 getSubShapes 只按类型单层取）。
+ *       非 occt 引擎执行前报 E_BREP_UNSUPPORTED。
+ *       返回 Shape 数组（非单个 Shape）⇒ 普通函数形态，与 shape-type 同口径。
+ * @returns Shape[] 子形状列表（vertex/edge/wire 形态为 curve）。
+ * @param shape - 被遍历的形状。type:Shape required:true
+ * @example
+ * const subs = cad.iterShapes(box)
+ */
+export function iterShapes(shape) {
+    assertEngineFor('iterShapes', ['occt']);
+    const handles = getOcctKernel().iterShapes(occtHandleOf(shape, 'iterShapes'));
+    return handles.map(adopt);
+}
+// ─────────────────────────────────────────────────────────────────────────────
+// liftCurve2d — 2D 点集 → 平面 wire（返回 Shape ⇒ defineOp）
+// ─────────────────────────────────────────────────────────────────────────────
+/** BREP 路径：occt 原生 liftCurve2dToPlane（脚本面收 [x,y]，此处转成 {x,y}）。 */
+function liftCurve2dBrep(points2d, planeOrigin, planeZ, planeX) {
+    if (!Array.isArray(points2d) || points2d.length < 2) {
+        throw new Error('E_LIFTCURVE2D_TOO_FEW_POINTS: liftCurve2d requires at least 2 points');
+    }
+    const pts = points2d.map((p, i) => {
+        if (!Array.isArray(p) || p.length !== 2 || p.some((n) => typeof n !== 'number' || !Number.isFinite(n))) {
+            throw new Error(`E_LIFTCURVE2D_BAD_POINT: points2d[${i}] must be a finite [x,y]`);
+        }
+        return { x: p[0], y: p[1] };
+    });
+    const o = toNativeVec3(planeOrigin, 'liftCurve2d', 'planeOrigin');
+    const z = toNativeVec3(planeZ, 'liftCurve2d', 'planeZ');
+    const x = toNativeVec3(planeX, 'liftCurve2d', 'planeX');
+    const handle = getOcctKernel().liftCurve2dToPlane(pts, o, z, x);
+    return fromBrepCurve(solidToShape(getBrepApi(), handle), { solid: handle });
+}
+/**
+ * 把 2D 点集抬升到指定平面上，构造平面 wire。
+ * @group 创建
+ * @inputs 4
+ * @async false
+ * @qual ok
+ * @name liftCurve2d
+ * @note 平台 op：仅 occt 引擎（原生 liftCurve2dToPlane，L1 契约无对应成员）。
+ *       非 occt 引擎执行前报错；brep_mock 不拦截。
+ *       坐标收 `[x,y]` 数对（脚本面习惯），内部转成上游的 `{x,y}` 对象；
+ *       planeZ/planeX 须非零且互不平行。
+ * @returns Shape 平面上的 wire（登记为 kind:'curve'）。
+ * @param points2d - 2D 点集 [[x,y], …]（≥2 点）。type:Array required:true
+ * @param planeOrigin - 平面原点 [x,y,z]。type:Vec3 required:true
+ * @param planeZ - 平面法向 [x,y,z]（非零）。type:Vec3 required:true
+ * @param planeX - 平面内 X 轴方向 [x,y,z]（非零）。type:Vec3 required:true
+ * @example
+ * const w = cad.liftCurve2d([[0,0],[10,0],[10,5]], [0,0,0], [0,0,1], [1,0,0])
+ */
+export const liftCurve2d = defineOp({
+    name: 'liftCurve2d',
+    brep(points2d, planeOrigin, planeZ, planeX) {
+        return liftCurve2dBrep(points2d, planeOrigin, planeZ, planeX);
+    },
+    engines: ['occt'],
+    naming: {
+        kind: 'unmodeled',
+        reason: '1D wire lifted from 2D points has no face role vocabulary',
+    },
+});
+// ─────────────────────────────────────────────────────────────────────────────
+// commonCells — ≥2 输入的重叠区域（干涉/通用熔合胞元，返回 Shape ⇒ defineOp）
+// ─────────────────────────────────────────────────────────────────────────────
+/** BREP 路径：occt 原生 intersectionCells（≥2 输入，不足则报错）。 */
+function commonCellsBrep(shapes) {
+    if (!Array.isArray(shapes) || shapes.length < 2) {
+        throw new Error('E_COMMONCELLS_TOO_FEW: commonCells requires at least 2 shapes');
+    }
+    const handles = shapes.map((s, i) => {
+        if (!s)
+            throw new Error(`E_COMMONCELLS_MISSING_ARG: shapes[${i}] is empty`);
+        return occtHandleOf(s, 'commonCells');
+    });
+    const handle = getOcctKernel().intersectionCells(handles);
+    return fromBrep(solidToShape(getBrepApi(), handle), { solid: handle });
+}
+/**
+ * 求多个形状的重叠区域（通用熔合胞元，常用于干涉检查）。
+ * @group 布尔
+ * @inputs 1
+ * @async false
+ * @qual ok
+ * @name commonCells
+ * @note 平台 op：仅 occt 引擎（原生 intersectionCells；与 `intersect` 的区别：
+ *       后者是两形状求交，本 op 支持 ≥2 输入并返回全部重叠胞元）。
+ *       非 occt 引擎执行前报错；brep_mock 不拦截。
+ * @returns Shape 重叠区域（无重叠时为空复合体）。
+ * @param shapes - 输入形状数组（≥2）。type:Shape[] required:true
+ * @example
+ * const overlap = cad.commonCells([boxA, boxB, boxC])
+ */
+export const commonCells = defineOp({
+    name: 'commonCells',
+    brep(shapes) {
+        return commonCellsBrep(shapes);
+    },
+    engines: ['occt'],
+    naming: {
+        // 原生 intersectionCells 只回 Shape（无 EvolutionData），
+        // 无法给出新面的来源词汇 —— 方案 §4.2「词汇未定义就用 unmodeled + reason」。
+        kind: 'unmodeled',
+        reason: 'intersectionCells returns a bare shape with no face evolution data',
+    },
+});
+//# sourceMappingURL=index.js.map

package/dist/api/measure-query/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../src/api/measure-query/index.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAkCG;AAKH,OAAO,EAAE,YAAY,EAAE,MAAM,qBAAqB,CAAA;AAClD,OAAO,EAAE,UAAU,EAAE,MAAM,0BAA0B,CAAA;AACrD,OAAO,EAAE,MAAM,EAAE,QAAQ,EAAE,aAAa,EAAE,MAAM,aAAa,CAAA;AAC7D,OAAO,EAAE,QAAQ,EAAE,MAAM,WAAW,CAAA;AAEpC,OAAO,EAAE,aAAa,EAAE,MAAM,8BAA8B,CAAA;AAC5D,OAAO,EAAE,eAAe,EAAE,MAAM,uBAAuB,CAAA;AAKvD,MAAM,eAAe,GAA4B,CAAC,QAAQ,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,OAAO,EAAE,OAAO,CAAC,CAAA;AAErG,mCAAmC;AACnC,SAAS,YAAY,CAAC,KAAY,EAAE,EAAU;IAC5C,MAAM,CAAC,GAAG,MAAM,CAAC,KAAK,CAA2B,CAAA;IACjD,IAAI,CAAC,CAAC,EAAE,CAAC;QACP,MAAM,IAAI,KAAK,CAAC,yBAAyB,EAAE,oDAAoD,CAAC,CAAA;IAClG,CAAC;IACD,OAAO,CAAC,CAAA;AACV,CAAC;AAED,gDAAgD;AAChD,SAAS,YAAY,CAAC,CAAO,EAAE,EAAU,EAAE,KAAa;IACtD,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,MAAM,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,KAAK,QAAQ,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;QACvG,MAAM,IAAI,KAAK,CAAC,KAAK,EAAE,CAAC,WAAW,EAAE,QAAQ,KAAK,CAAC,WAAW,EAAE,KAAK,KAAK,2BAA2B,CAAC,CAAA;IACxG,CAAC;IACD,OAAO,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAA;AACtC,CAAC;AAED,wCAAwC;AACxC,SAAS,cAAc,CAAC,CAAsC;IAC5D,OAAO,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAA;AACxB,CAAC;AAED,+DAA+D;AAC/D,SAAS,KAAK,CAAC,MAAkB;IAC/B,MAAM,IAAI,GAAG,YAAY,CAAC,UAAU,EAAE,EAAE,MAAM,CAAC,CAAA;IAC/C,MAAM,CAAC,GAAG,aAAa,EAAE,CAAC,YAAY,CAAC,MAAe,CAAC,CAAA;IACvD,IAAI,CAAC,KAAK,QAAQ,IAAI,CAAC,KAAK,MAAM,IAAI,CAAC,KAAK,MAAM,EAAE,CAAC;QACnD,OAAO,aAAa,CAAC,IAAI,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC,CAAA;IAC/C,CAAC;IACD,OAAO,QAAQ,CAAC,IAAI,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC,CAAA;AAC1C,CAAC;AAED,gFAAgF;AAChF,qCAAqC;AACrC,gFAAgF;AAEhF;;;;;;;;;;;;;;;GAeG;AACH,MAAM,UAAU,aAAa,CAAC,KAAY,EAAE,KAAW,EAAE,SAAkB;IACzE,eAAe,CAAC,eAAe,EAAE,CAAC,MAAM,CAAC,CAAC,CAAA;IAC1C,MAAM,CAAC,GAAG,YAAY,CAAC,KAAK,EAAE,eAAe,EAAE,OAAO,CAAC,CAAA;IACvD,OAAO,aAAa,EAAE,CAAC,aAAa,CAAC,YAAY,CAAC,KAAK,EAAE,eAAe,CAAU,EAAE,CAAC,EAAE,SAAS,CAAC,CAAA;AACnG,CAAC;AAED;;;;;;;;;;;;;;GAcG;AACH,MAAM,UAAU,eAAe,CAAC,CAAQ,EAAE,CAAQ;IAChD,eAAe,CAAC,iBAAiB,EAAE,CAAC,MAAM,CAAC,CAAC,CAAA;IAC5C,MAAM,EAAE,GAAG,YAAY,CAAC,CAAC,EAAE,iBAAiB,CAAC,CAAA;IAC7C,MAAM,EAAE,GAAG,YAAY,CAAC,CAAC,EAAE,iBAAiB,CAAC,CAAA;IAC7C,OAAO,aAAa,EAAE,CAAC,eAAe,CAAC,EAAW,EAAE,EAAW,CAAC,CAAA;AAClE,CAAC;AAED;;;;;;;;;;;;;GAaG;AACH,MAAM,UAAU,OAAO,CAAC,KAAY;IAClC,eAAe,CAAC,SAAS,EAAE,CAAC,MAAM,CAAC,CAAC,CAAA;IACpC,OAAO,aAAa,EAAE,CAAC,UAAU,CAAC,YAAY,CAAC,KAAK,EAAE,SAAS,CAAU,CAAC,CAAA;AAC5E,CAAC;AAED;;;;;;;;;;;;;GAaG;AACH,MAAM,UAAU,kBAAkB,CAAC,KAAY;IAC7C,eAAe,CAAC,oBAAoB,EAAE,CAAC,MAAM,CAAC,CAAC,CAAA;IAC/C,OAAO,cAAc,CAAC,aAAa,EAAE,CAAC,qBAAqB,CAAC,YAAY,CAAC,KAAK,EAAE,oBAAoB,CAAU,CAAC,CAAC,CAAA;AAClH,CAAC;AAED;;;;;;;;;;;;;;GAcG;AACH,MAAM,UAAU,kBAAkB,CAChC,IAAW,EACX,KAAW;IAEX,eAAe,CAAC,oBAAoB,EAAE,CAAC,MAAM,CAAC,CAAC,CAAA;IAC/C,MAAM,CAAC,GAAG,YAAY,CAAC,KAAK,EAAE,oBAAoB,EAAE,OAAO,CAAC,CAAA;IAC5D,MAAM,CAAC,GAAG,aAAa,EAAE,CAAC,kBAAkB,CAAC,YAAY,CAAC,IAAI,EAAE,oBAAoB,CAAU,EAAE,CAAC,CAAC,CAAA;IAClG,OAAO,EAAE,KAAK,EAAE,cAAc,CAAC,CAAC,CAAC,KAAK,CAAC,EAAE,OAAO,EAAE,cAAc,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,SAAS,EAAE,CAAC,CAAC,SAAS,EAAE,CAAA;AACvG,CAAC;AAED;;;;;;;;;;;;;;GAcG;AACH,MAAM,UAAU,kBAAkB,CAAC,IAAW,EAAE,KAAW;IACzD,eAAe,CAAC,oBAAoB,EAAE,CAAC,MAAM,CAAC,CAAC,CAAA;IAC/C,MAAM,CAAC,GAAG,YAAY,CAAC,KAAK,EAAE,oBAAoB,EAAE,OAAO,CAAC,CAAA;IAC5D,OAAO,cAAc,CAAC,aAAa,EAAE,CAAC,kBAAkB,CAAC,YAAY,CAAC,IAAI,EAAE,oBAAoB,CAAU,EAAE,CAAC,CAAC,CAAC,CAAA;AACjH,CAAC;AAED;;;;;;;;;;;;;;;GAeG;AACH,MAAM,UAAU,mBAAmB,CAAC,IAAW,EAAE,CAAS,EAAE,CAAS;IACnE,eAAe,CAAC,qBAAqB,EAAE,CAAC,MAAM,CAAC,CAAC,CAAA;IAChD,IAAI,OAAO,CAAC,KAAK,QAAQ,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,OAAO,CAAC,KAAK,QAAQ,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC;QACjG,MAAM,IAAI,KAAK,CAAC,8DAA8D,CAAC,CAAA;IACjF,CAAC;IACD,OAAO,aAAa,EAAE,CAAC,mBAAmB,CAAC,YAAY,CAAC,IAAI,EAAE,qBAAqB,CAAU,EAAE,CAAC,EAAE,CAAC,CAAC,CAAA;AACtG,CAAC;AAED;;;;;;;;;;;;;;GAcG;AACH,MAAM,UAAU,WAAW,CAAC,IAAW,EAAE,KAAW;IAClD,eAAe,CAAC,aAAa,EAAE,CAAC,MAAM,CAAC,CAAC,CAAA;IACxC,MAAM,CAAC,GAAG,YAAY,CAAC,KAAK,EAAE,aAAa,EAAE,OAAO,CAAC,CAAA;IACrD,OAAO,aAAa,EAAE,CAAC,WAAW,CAAC,YAAY,CAAC,IAAI,EAAE,aAAa,CAAU,EAAE,CAAC,CAAC,CAAA;AACnF,CAAC;AAED;;;;;;;;;;;;;GAaG;AACH,MAAM,UAAU,cAAc,CAAC,MAAa;IAC1C,eAAe,CAAC,gBAAgB,EAAE,CAAC,MAAM,CAAC,CAAC,CAAA;IAC3C,OAAO,cAAc,CAAC,aAAa,EAAE,CAAC,cAAc,CAAC,YAAY,CAAC,MAAM,EAAE,gBAAgB,CAAU,CAAC,CAAC,CAAA;AACxG,CAAC;AAED;;;;;;;;;;;;;;GAcG;AACH,MAAM,UAAU,aAAa,CAAC,KAAY,EAAE,IAAkB;IAC5D,eAAe,CAAC,eAAe,EAAE,CAAC,MAAM,CAAC,CAAC,CAAA;IAC1C,IAAI,CAAC,eAAe,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC;QACpC,MAAM,IAAI,KAAK,CACb,iDAAiD,eAAe,CAAC,IAAI,CAAC,GAAG,CAAC,SAAS,MAAM,CAAC,IAAI,CAAC,GAAG,CACnG,CAAA;IACH,CAAC;IACD,OAAO,aAAa,EAAE,CAAC,aAAa,CAAC,YAAY,CAAC,KAAK,EAAE,eAAe,CAAU,EAAE,IAAI,CAAC,CAAA;AAC3F,CAAC;AAED;;;;;;;;;;;;;;GAcG;AACH,MAAM,UAAU,UAAU,CAAC,KAAY;IACrC,eAAe,CAAC,YAAY,EAAE,CAAC,MAAM,CAAC,CAAC,CAAA;IACvC,MAAM,OAAO,GAAG,aAAa,EAAE,CAAC,UAAU,CAAC,YAAY,CAAC,KAAK,EAAE,YAAY,CAAU,CAAC,CAAA;IACtF,OAAQ,OAAmC,CAAC,GAAG,CAAC,KAAK,CAAC,CAAA;AACxD,CAAC;AAED,gFAAgF;AAChF,qDAAqD;AACrD,gFAAgF;AAEhF,iEAAiE;AACjE,SAAS,eAAe,CACtB,QAAiC,EACjC,WAAiB,EACjB,MAAY,EACZ,MAAY;IAEZ,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,QAAQ,CAAC,IAAI,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACpD,MAAM,IAAI,KAAK,CAAC,sEAAsE,CAAC,CAAA;IACzF,CAAC;IACD,MAAM,GAAG,GAAG,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE;QAChC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,MAAM,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,KAAK,QAAQ,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;YACvG,MAAM,IAAI,KAAK,CAAC,qCAAqC,CAAC,0BAA0B,CAAC,CAAA;QACnF,CAAC;QACD,OAAO,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAA;IAC7B,CAAC,CAAC,CAAA;IACF,MAAM,CAAC,GAAG,YAAY,CAAC,WAAW,EAAE,aAAa,EAAE,aAAa,CAAC,CAAA;IACjE,MAAM,CAAC,GAAG,YAAY,CAAC,MAAM,EAAE,aAAa,EAAE,QAAQ,CAAC,CAAA;IACvD,MAAM,CAAC,GAAG,YAAY,CAAC,MAAM,EAAE,aAAa,EAAE,QAAQ,CAAC,CAAA;IACvD,MAAM,MAAM,GAAG,aAAa,EAAE,CAAC,kBAAkB,CAAC,GAAG,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAA0B,CAAA;IACxF,OAAO,aAAa,CAAC,YAAY,CAAC,UAAU,EAAE,EAAE,MAAM,CAAC,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC,CAAA;AAC7E,CAAC;AAED;;;;;;;;;;;;;;;;;;GAkBG;AACH,MAAM,CAAC,MAAM,WAAW,GAAG,QAAQ,CAAC;IAClC,IAAI,EAAE,aAAa;IACnB,IAAI,CAAC,QAAiC,EAAE,WAAiB,EAAE,MAAY,EAAE,MAAY;QACnF,OAAO,eAAe,CAAC,QAAQ,EAAE,WAAW,EAAE,MAAM,EAAE,MAAM,CAAC,CAAA;IAC/D,CAAC;IACD,OAAO,EAAE,CAAC,MAAM,CAAC;IACjB,MAAM,EAAE;QACN,IAAI,EAAE,WAAW;QACjB,MAAM,EAAE,2DAA2D;KACtD;CAChB,CAAC,CAAA;AAEF,gFAAgF;AAChF,0DAA0D;AAC1D,gFAAgF;AAEhF,sDAAsD;AACtD,SAAS,eAAe,CAAC,MAAe;IACtC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,IAAI,MAAM,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAChD,MAAM,IAAI,KAAK,CAAC,+DAA+D,CAAC,CAAA;IAClF,CAAC;IACD,MAAM,OAAO,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE;QAClC,IAAI,CAAC,CAAC;YAAE,MAAM,IAAI,KAAK,CAAC,qCAAqC,CAAC,YAAY,CAAC,CAAA;QAC3E,OAAO,YAAY,CAAC,CAAC,EAAE,aAAa,CAAC,CAAA;IACvC,CAAC,CAAC,CAAA;IACF,MAAM,MAAM,GAAG,aAAa,EAAE,CAAC,iBAAiB,CAAC,OAAkB,CAA0B,CAAA;IAC7F,OAAO,QAAQ,CAAC,YAAY,CAAC,UAAU,EAAE,EAAE,MAAM,CAAC,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC,CAAA;AACxE,CAAC;AAED;;;;;;;;;;;;;;GAcG;AACH,MAAM,CAAC,MAAM,WAAW,GAAG,QAAQ,CAAC;IAClC,IAAI,EAAE,aAAa;IACnB,IAAI,CAAC,MAAe;QAClB,OAAO,eAAe,CAAC,MAAM,CAAC,CAAA;IAChC,CAAC;IACD,OAAO,EAAE,CAAC,MAAM,CAAC;IACjB,MAAM,EAAE;QACN,kDAAkD;QAClD,sDAAsD;QACtD,IAAI,EAAE,WAAW;QACjB,MAAM,EAAE,oEAAoE;KAC/D;CAChB,CAAC,CAAA","sourcesContent":["/**\n * api measure-query — 测量与查询族（S4 剩余，平台 op engines:['occt']）\n *\n * @platform occt — 13 个原生方法直调 occt-wasm（occt-wasm 5.6.0 有，见\n * `dist/index.d.ts` 的 `OcctKernel`）：\n *   containsPoint / distanceBetween / getInertia / getLinearCenterOfMass /\n *   projectPointOnEdge / projectPointOnFace / classifyPointOnFace / uvFromPoint /\n *   vertexPosition / subShapeCount / iterShapes / liftCurve2dToPlane / intersectionCells\n * 它们**不在** L1 契约 `BrepEngineApi` 里（L1 只有 getCenterOfMass / getVolume /\n * getSurfaceArea / getBoundingBox 等子集，见 brep/engine/primitives.ts）⇒ 全族平台 op。\n *\n * 方案落点：docs/plans/2026-10-07-occt-wasm-op-enablement-plan.md §3.4.6。\n *\n * **形态二分**（沿用 shape-type / view-export / curve-sketch 的既定口径）：\n * - 返回 Shape 的两项（`liftCurve2d` / `commonCells`）走 `defineOp` + `engines:['occt']`，\n *   由 dispatchPath 门控（D11-4，brep_mock 豁免走 D11-3）；\n * - 其余返回标量 / Vec3 / 对象 / Shape[] 的 11 项走**普通函数** +\n *   `assertEngineFor('<name>', ['occt'])`：defineOp 的 brep 包装\n *   （define-op.ts#wrapBrepOne）把返回值一律收养为 Shape，装不下这些形态。普通函数\n *   形态的 op 由覆盖率扫描器 `scan-occt-op-coverage.ts` 的 PLAN_C2_EXTRA 计入 C2。\n *\n * **GOTCHA（上游载体差异，务必读）**：occt-wasm 的 `Vec3` 是 **`{x, y, z}` 对象接口**\n * （dist/types.d.ts:52-56），而 faijs 脚本面的 `Vec3` 是 **`[x, y, z]` 数组**\n * （mesh/types，见 api/geom.ts 里 `normal = [n.x, n.y, n.z]` 的同款转接）。因此本文件\n * 在**边界处做双向转换**，不外泄载体差异：入参 `[x,y,z]` → `{x,y,z}`，返回值\n * `{x,y,z}` → `[x,y,z]`。漏掉这层转换时症状是原生方法读到 `undefined` 坐标\n * （`{}.x` 静默取不到 → 落在原点）而非显式报错，故每条都配了返回值数组的测试。\n *\n * `iterShapes` 返回的子形状既有实体/面也有边/wire ⇒ 按 `getShapeType` 判定收养形态\n * （vertex/edge/wire → `fromBrepCurve`，其余 → `fromBrep`），避免把 1D 产物谎报成实体。\n *\n * §9.5 降级路径（记录在案）：一旦 brepkit 把这些测量/查询接进 L1 契约且两侧适配器\n * 同时落地，普通函数删掉 assertEngineFor 改走 getBrepApi()、defineOp 删掉 engines\n * 声明，对应方法即从 C2 转入 C1。\n */\n\nimport type { Shape, Vec3 } from '../../mesh/types'\nimport type { BrepHandle } from '../../brep/engine/types'\nimport type { PointClassification } from 'occt-wasm'\nimport { solidToShape } from '../../brep/brep-ops'\nimport { getBrepApi } from '../../brep/handle-bridge'\nimport { brepOf, fromBrep, fromBrepCurve } from '../../shape'\nimport { defineOp } from '../../sdk'\nimport type { Provenance } from '../../topology/naming/lineage'\nimport { getOcctKernel } from '../../occt-kernel/occtKernel'\nimport { assertEngineFor } from '../internal/l3-bridge'\n\n/** 子形状类型（与 occt 原生同名形参的字面量联合一致）。 */\nexport type SubShapeType = 'vertex' | 'edge' | 'wire' | 'face' | 'shell' | 'solid'\n\nconst SUB_SHAPE_TYPES: readonly SubShapeType[] = ['vertex', 'edge', 'wire', 'face', 'shell', 'solid']\n\n/** 输入 Shape → 内核句柄（无 BREP 槽报错）。 */\nfunction occtHandleOf(shape: Shape, op: string): BrepHandle {\n  const h = brepOf(shape) as BrepHandle | undefined\n  if (!h) {\n    throw new Error(`E_SHAPE_TYPE_NO_BREP: ${op} requires a BREP handle (mesh-only shape has none)`)\n  }\n  return h\n}\n\n/** 脚本面 `[x,y,z]` → 原生 `{x,y,z}`（见头注 GOTCHA）。 */\nfunction toNativeVec3(v: Vec3, op: string, which: string): { x: number; y: number; z: number } {\n  if (!Array.isArray(v) || v.length !== 3 || v.some((n) => typeof n !== 'number' || !Number.isFinite(n))) {\n    throw new Error(`E_${op.toUpperCase()}_BAD_${which.toUpperCase()}: ${which} must be a finite [x,y,z]`)\n  }\n  return { x: v[0], y: v[1], z: v[2] }\n}\n\n/** 原生 `{x,y,z}` → 脚本面 `[x,y,z]`（同上）。 */\nfunction fromNativeVec3(v: { x: number; y: number; z: number }): Vec3 {\n  return [v.x, v.y, v.z]\n}\n\n/** 句柄 → Shape：1D（vertex/edge/wire）登记为 kind:'curve'，其余为实体/面。 */\nfunction adopt(handle: BrepHandle): Shape {\n  const mesh = solidToShape(getBrepApi(), handle)\n  const t = getOcctKernel().getShapeType(handle as never)\n  if (t === 'vertex' || t === 'edge' || t === 'wire') {\n    return fromBrepCurve(mesh, { solid: handle })\n  }\n  return fromBrep(mesh, { solid: handle })\n}\n\n// ─────────────────────────────────────────────────────────────────────────────\n// 标量/数据型查询（普通函数形态 + assertEngineFor）\n// ─────────────────────────────────────────────────────────────────────────────\n\n/**\n * 点是否在实体内（含边界，带容差）。\n * @group 查询\n * @inputs 1\n * @async false\n * @qual ok\n * @name containsPoint\n * @note 平台 op：仅 occt 引擎（原生 containsPoint，L1 契约无对应成员）。\n *       非 occt 引擎执行前报 E_BREP_UNSUPPORTED。坐标收脚本面的 [x,y,z]。\n * @returns boolean 点是否在形状内。\n * @param shape - 被检测的形状（语义上是实体/壳）。type:Shape required:true\n * @param point - 待判定点 [x,y,z]。type:Vec3 required:true\n * @param tolerance - 判定容差（模型单位）。type:number required:false\n * @example\n * const inside = cad.containsPoint(box, [1, 1, 1])\n */\nexport function containsPoint(shape: Shape, point: Vec3, tolerance?: number): boolean {\n  assertEngineFor('containsPoint', ['occt'])\n  const p = toNativeVec3(point, 'containsPoint', 'point')\n  return getOcctKernel().containsPoint(occtHandleOf(shape, 'containsPoint') as never, p, tolerance)\n}\n\n/**\n * 两形状之间的最短距离。\n * @group 查询\n * @inputs 2\n * @async false\n * @qual ok\n * @name distanceBetween\n * @note 平台 op：仅 occt 引擎（原生 distanceBetween，BRepExtrema_DistShapeShape）。\n *       非 occt 引擎执行前报 E_BREP_UNSUPPORTED。\n * @returns number 最短距离（模型单位；相交为 0）。\n * @param a - 第一个形状。type:Shape required:true\n * @param b - 第二个形状。type:Shape required:true\n * @example\n * const gap = cad.distanceBetween(box1, box2)\n */\nexport function distanceBetween(a: Shape, b: Shape): number {\n  assertEngineFor('distanceBetween', ['occt'])\n  const ha = occtHandleOf(a, 'distanceBetween')\n  const hb = occtHandleOf(b, 'distanceBetween')\n  return getOcctKernel().distanceBetween(ha as never, hb as never)\n}\n\n/**\n * 绕质心的惯性矩阵（row-major 3×3，长度 9；对称：[1]==[3]、[2]==[6]、[5]==[7]）。\n * @group 查询\n * @inputs 1\n * @async false\n * @qual ok\n * @name inertia\n * @note 平台 op：仅 occt 引擎（原生 getInertia）。非 occt 引擎执行前报\n *       E_BREP_UNSUPPORTED。\n * @returns number[] row-major 3×3 惯性矩阵。\n * @param shape - 被测量的形状。type:Shape required:true\n * @example\n * const m = cad.inertia(box)\n */\nexport function inertia(shape: Shape): number[] {\n  assertEngineFor('inertia', ['occt'])\n  return getOcctKernel().getInertia(occtHandleOf(shape, 'inertia') as never)\n}\n\n/**\n * 线性质心（按边长加权的质心；wire/edge 用它与体积质心区分）。\n * @group 查询\n * @inputs 1\n * @async false\n * @qual ok\n * @name linearCenterOfMass\n * @note 平台 op：仅 occt 引擎（原生 getLinearCenterOfMass）。非 occt 引擎执行前报\n *       E_BREP_UNSUPPORTED。返回脚本面的 [x,y,z]（非 occt 的 {x,y,z} 对象）。\n * @returns Vec3 线性质心坐标 [x,y,z]。\n * @param shape - 被测量的形状。type:Shape required:true\n * @example\n * const c = cad.linearCenterOfMass(wire)\n */\nexport function linearCenterOfMass(shape: Shape): Vec3 {\n  assertEngineFor('linearCenterOfMass', ['occt'])\n  return fromNativeVec3(getOcctKernel().getLinearCenterOfMass(occtHandleOf(shape, 'linearCenterOfMass') as never))\n}\n\n/**\n * 点到边的最近点（含该处切向与参数）。\n * @group 查询\n * @inputs 2\n * @async false\n * @qual ok\n * @name projectPointOnEdge\n * @note 平台 op：仅 occt 引擎（原生 projectPointOnEdge）。非 occt 引擎执行前报\n *       E_BREP_UNSUPPORTED。返回体里的 point/tangent 是脚本面的 [x,y,z]。\n * @returns object { point: Vec3; tangent: Vec3; parameter: number }。\n * @param edge - 被投影的边。type:Shape required:true\n * @param point - 待投影点 [x,y,z]。type:Vec3 required:true\n * @example\n * const hit = cad.projectPointOnEdge(e, [3, 4, 0])\n */\nexport function projectPointOnEdge(\n  edge: Shape,\n  point: Vec3,\n): { point: Vec3; tangent: Vec3; parameter: number } {\n  assertEngineFor('projectPointOnEdge', ['occt'])\n  const p = toNativeVec3(point, 'projectPointOnEdge', 'point')\n  const r = getOcctKernel().projectPointOnEdge(occtHandleOf(edge, 'projectPointOnEdge') as never, p)\n  return { point: fromNativeVec3(r.point), tangent: fromNativeVec3(r.tangent), parameter: r.parameter }\n}\n\n/**\n * 点到面的最近点（三维坐标）。\n * @group 查询\n * @inputs 2\n * @async false\n * @qual ok\n * @name projectPointOnFace\n * @note 平台 op：仅 occt 引擎（原生 projectPointOnFace）。非 occt 引擎执行前报\n *       E_BREP_UNSUPPORTED。要 UV 参数用 `uvFromPoint`。\n * @returns Vec3 面上的最近点 [x,y,z]。\n * @param face - 被投影的面。type:Shape required:true\n * @param point - 待投影点 [x,y,z]。type:Vec3 required:true\n * @example\n * const p = cad.projectPointOnFace(f, [3, 4, 5])\n */\nexport function projectPointOnFace(face: Shape, point: Vec3): Vec3 {\n  assertEngineFor('projectPointOnFace', ['occt'])\n  const p = toNativeVec3(point, 'projectPointOnFace', 'point')\n  return fromNativeVec3(getOcctKernel().projectPointOnFace(occtHandleOf(face, 'projectPointOnFace') as never, p))\n}\n\n/**\n * UV 点相对面边界的分类（BRepClass_FaceClassifier）。\n * @group 查询\n * @inputs 3\n * @async false\n * @qual ok\n * @name classifyPointOnFace\n * @note 平台 op：仅 occt 引擎（原生 classifyPointOnFace）。非 occt 引擎执行前报\n *       E_BREP_UNSUPPORTED。\n * @returns string 'in' | 'on' | 'out'。\n * @param face - 被判定的面。type:Shape required:true\n * @param u - U 参数。type:number required:true\n * @param v - V 参数。type:number required:true\n * @example\n * const cls = cad.classifyPointOnFace(f, 0.5, 0.5)\n */\nexport function classifyPointOnFace(face: Shape, u: number, v: number): PointClassification {\n  assertEngineFor('classifyPointOnFace', ['occt'])\n  if (typeof u !== 'number' || !Number.isFinite(u) || typeof v !== 'number' || !Number.isFinite(v)) {\n    throw new Error('E_CLASSIFYPOINTONFACE_BAD_UV: u and v must be finite numbers')\n  }\n  return getOcctKernel().classifyPointOnFace(occtHandleOf(face, 'classifyPointOnFace') as never, u, v)\n}\n\n/**\n * 三维点 → 面的 UV 参数。\n * @group 查询\n * @inputs 2\n * @async false\n * @qual ok\n * @name uvFromPoint\n * @note 平台 op：仅 occt 引擎（原生 uvFromPoint）。非 occt 引擎执行前报\n *       E_BREP_UNSUPPORTED。\n * @returns object { u: number; v: number }。\n * @param face - 目标面。type:Shape required:true\n * @param point - 三维点 [x,y,z]。type:Vec3 required:true\n * @example\n * const { u, v } = cad.uvFromPoint(f, [1, 2, 0])\n */\nexport function uvFromPoint(face: Shape, point: Vec3): { u: number; v: number } {\n  assertEngineFor('uvFromPoint', ['occt'])\n  const p = toNativeVec3(point, 'uvFromPoint', 'point')\n  return getOcctKernel().uvFromPoint(occtHandleOf(face, 'uvFromPoint') as never, p)\n}\n\n/**\n * 顶点坐标。\n * @group 查询\n * @inputs 1\n * @async false\n * @qual ok\n * @name vertexPosition\n * @note 平台 op：仅 occt 引擎（原生 vertexPosition）。非 occt 引擎执行前报\n *       E_BREP_UNSUPPORTED。返回脚本面的 [x,y,z]。\n * @returns Vec3 顶点坐标 [x,y,z]。\n * @param vertex - 顶点形状。type:Shape required:true\n * @example\n * const p = cad.vertexPosition(v)\n */\nexport function vertexPosition(vertex: Shape): Vec3 {\n  assertEngineFor('vertexPosition', ['occt'])\n  return fromNativeVec3(getOcctKernel().vertexPosition(occtHandleOf(vertex, 'vertexPosition') as never))\n}\n\n/**\n * 子形状计数（不物化逐个子形状句柄）。\n * @group 查询\n * @inputs 2\n * @async false\n * @qual ok\n * @name subShapeCount\n * @note 平台 op：仅 occt 引擎（原生 subShapeCount；L1 契约只有 getSubShapes，\n *       计数能力是 occt 独有）。非 occt 引擎执行前报 E_BREP_UNSUPPORTED。\n * @returns number 该类子形状的个数。\n * @param shape - 被统计的形状。type:Shape required:true\n * @param type - 子形状类型（vertex/edge/wire/face/shell/solid）。type:string required:true\n * @example\n * const n = cad.subShapeCount(box, 'face')\n */\nexport function subShapeCount(shape: Shape, type: SubShapeType): number {\n  assertEngineFor('subShapeCount', ['occt'])\n  if (!SUB_SHAPE_TYPES.includes(type)) {\n    throw new Error(\n      `E_SUBSHAPECOUNT_BAD_TYPE: type must be one of ${SUB_SHAPE_TYPES.join('/')} (got ${String(type)})`,\n    )\n  }\n  return getOcctKernel().subShapeCount(occtHandleOf(shape, 'subShapeCount') as never, type)\n}\n\n/**\n * 遍历全部子形状（递归展平，返回 Shape[]）。\n * @group 查询\n * @inputs 1\n * @async false\n * @qual ok\n * @name iterShapes\n * @note 平台 op：仅 occt 引擎（原生 iterShapes；L1 契约的 getSubShapes 只按类型单层取）。\n *       非 occt 引擎执行前报 E_BREP_UNSUPPORTED。\n *       返回 Shape 数组（非单个 Shape）⇒ 普通函数形态，与 shape-type 同口径。\n * @returns Shape[] 子形状列表（vertex/edge/wire 形态为 curve）。\n * @param shape - 被遍历的形状。type:Shape required:true\n * @example\n * const subs = cad.iterShapes(box)\n */\nexport function iterShapes(shape: Shape): Shape[] {\n  assertEngineFor('iterShapes', ['occt'])\n  const handles = getOcctKernel().iterShapes(occtHandleOf(shape, 'iterShapes') as never)\n  return (handles as unknown as BrepHandle[]).map(adopt)\n}\n\n// ─────────────────────────────────────────────────────────────────────────────\n// liftCurve2d — 2D 点集 → 平面 wire（返回 Shape ⇒ defineOp）\n// ─────────────────────────────────────────────────────────────────────────────\n\n/** BREP 路径：occt 原生 liftCurve2dToPlane（脚本面收 [x,y]，此处转成 {x,y}）。 */\nfunction liftCurve2dBrep(\n  points2d: Array<[number, number]>,\n  planeOrigin: Vec3,\n  planeZ: Vec3,\n  planeX: Vec3,\n): Shape {\n  if (!Array.isArray(points2d) || points2d.length < 2) {\n    throw new Error('E_LIFTCURVE2D_TOO_FEW_POINTS: liftCurve2d requires at least 2 points')\n  }\n  const pts = points2d.map((p, i) => {\n    if (!Array.isArray(p) || p.length !== 2 || p.some((n) => typeof n !== 'number' || !Number.isFinite(n))) {\n      throw new Error(`E_LIFTCURVE2D_BAD_POINT: points2d[${i}] must be a finite [x,y]`)\n    }\n    return { x: p[0], y: p[1] }\n  })\n  const o = toNativeVec3(planeOrigin, 'liftCurve2d', 'planeOrigin')\n  const z = toNativeVec3(planeZ, 'liftCurve2d', 'planeZ')\n  const x = toNativeVec3(planeX, 'liftCurve2d', 'planeX')\n  const handle = getOcctKernel().liftCurve2dToPlane(pts, o, z, x) as unknown as BrepHandle\n  return fromBrepCurve(solidToShape(getBrepApi(), handle), { solid: handle })\n}\n\n/**\n * 把 2D 点集抬升到指定平面上，构造平面 wire。\n * @group 创建\n * @inputs 4\n * @async false\n * @qual ok\n * @name liftCurve2d\n * @note 平台 op：仅 occt 引擎（原生 liftCurve2dToPlane，L1 契约无对应成员）。\n *       非 occt 引擎执行前报错；brep_mock 不拦截。\n *       坐标收 `[x,y]` 数对（脚本面习惯），内部转成上游的 `{x,y}` 对象；\n *       planeZ/planeX 须非零且互不平行。\n * @returns Shape 平面上的 wire（登记为 kind:'curve'）。\n * @param points2d - 2D 点集 [[x,y], …]（≥2 点）。type:Array required:true\n * @param planeOrigin - 平面原点 [x,y,z]。type:Vec3 required:true\n * @param planeZ - 平面法向 [x,y,z]（非零）。type:Vec3 required:true\n * @param planeX - 平面内 X 轴方向 [x,y,z]（非零）。type:Vec3 required:true\n * @example\n * const w = cad.liftCurve2d([[0,0],[10,0],[10,5]], [0,0,0], [0,0,1], [1,0,0])\n */\nexport const liftCurve2d = defineOp({\n  name: 'liftCurve2d',\n  brep(points2d: Array<[number, number]>, planeOrigin: Vec3, planeZ: Vec3, planeX: Vec3) {\n    return liftCurve2dBrep(points2d, planeOrigin, planeZ, planeX)\n  },\n  engines: ['occt'],\n  naming: {\n    kind: 'unmodeled',\n    reason: '1D wire lifted from 2D points has no face role vocabulary',\n  } as Provenance,\n})\n\n// ─────────────────────────────────────────────────────────────────────────────\n// commonCells — ≥2 输入的重叠区域（干涉/通用熔合胞元，返回 Shape ⇒ defineOp）\n// ─────────────────────────────────────────────────────────────────────────────\n\n/** BREP 路径：occt 原生 intersectionCells（≥2 输入，不足则报错）。 */\nfunction commonCellsBrep(shapes: Shape[]): Shape {\n  if (!Array.isArray(shapes) || shapes.length < 2) {\n    throw new Error('E_COMMONCELLS_TOO_FEW: commonCells requires at least 2 shapes')\n  }\n  const handles = shapes.map((s, i) => {\n    if (!s) throw new Error(`E_COMMONCELLS_MISSING_ARG: shapes[${i}] is empty`)\n    return occtHandleOf(s, 'commonCells')\n  })\n  const handle = getOcctKernel().intersectionCells(handles as never[]) as unknown as BrepHandle\n  return fromBrep(solidToShape(getBrepApi(), handle), { solid: handle })\n}\n\n/**\n * 求多个形状的重叠区域（通用熔合胞元，常用于干涉检查）。\n * @group 布尔\n * @inputs 1\n * @async false\n * @qual ok\n * @name commonCells\n * @note 平台 op：仅 occt 引擎（原生 intersectionCells；与 `intersect` 的区别：\n *       后者是两形状求交，本 op 支持 ≥2 输入并返回全部重叠胞元）。\n *       非 occt 引擎执行前报错；brep_mock 不拦截。\n * @returns Shape 重叠区域（无重叠时为空复合体）。\n * @param shapes - 输入形状数组（≥2）。type:Shape[] required:true\n * @example\n * const overlap = cad.commonCells([boxA, boxB, boxC])\n */\nexport const commonCells = defineOp({\n  name: 'commonCells',\n  brep(shapes: Shape[]) {\n    return commonCellsBrep(shapes)\n  },\n  engines: ['occt'],\n  naming: {\n    // 原生 intersectionCells 只回 Shape（无 EvolutionData），\n    // 无法给出新面的来源词汇 —— 方案 §4.2「词汇未定义就用 unmodeled + reason」。\n    kind: 'unmodeled',\n    reason: 'intersectionCells returns a bare shape with no face evolution data',\n  } as Provenance,\n})\n"]}

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

@@ -1 +1 @@
-{"version":3,"file":"pattern.d.ts","sourceRoot":"","sources":["../../src/api/pattern.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AAEH,OAAO,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,eAAe,CAAA;AA0EhD;;;;;;;;;;;;;;;;;;GAkBG;AACH,eAAO,MAAM,aAAa;;CAiBxB,CAAA"}
+{"version":3,"file":"pattern.d.ts","sourceRoot":"","sources":["../../src/api/pattern.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AAEH,OAAO,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,eAAe,CAAA;AA0EhD;;;;;;;;;;;;;;;;;;GAkBG;AACH,eAAO,MAAM,aAAa;;CAcxB,CAAA"}

package/dist/api/pattern.js

@@ -104,9 +104,6 @@ export const linearPattern = defineOp({
         keepHidden(input);
         return linearPatternBrep(input, direction, count, spacing);
     },
-    // Phase 1（Brep 引擎可切换重构）：能力前置判定——linearPattern 需要内核的
-    // 线性阵列方法（BrepMethodKind），brepkit 装配下缺失时执行前静态报错。
-    capabilities: ['linearPattern'],
     naming: { kind: 'replicate', k: 0 },
 });
 //# sourceMappingURL=pattern.js.map

package/dist/api/pattern.js.map

@@ -1 +1 @@
-{"version":3,"file":"pattern.js","sourceRoot":"","sources":["../../src/api/pattern.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AAGH,OAAO,EAAE,YAAY,EAAE,MAAM,kBAAkB,CAAA;AAC/C,OAAO,EAAE,cAAc,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAA;AAC7D,OAAO,EAAE,UAAU,EAAE,MAAM,uBAAuB,CAAA;AAClD,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,MAAM,UAAU,CAAA;AAC3C,OAAO,EAAE,QAAQ,EAAE,MAAM,QAAQ,CAAA;AAGjC,OAAO,EAAE,qBAAqB,EAAyB,MAAM,+BAA+B,CAAA;AAC5F,OAAO,EAAE,kBAAkB,EAAE,mBAAmB,EAAE,MAAM,0BAA0B,CAAA;AAElF,+BAA+B;AAC/B,SAAS,IAAI,CAAC,CAAO;IACnB,MAAM,GAAG,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAA;IACxC,IAAI,GAAG,GAAG,IAAI;QAAE,OAAO,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAA;IAChC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC,GAAG,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC,GAAG,GAAG,CAAC,CAAA;AAC7C,CAAC;AAED,kDAAkD;AAClD,SAAS,iBAAiB,CAAC,KAAY,EAAE,SAAe,EAAE,KAAa,EAAE,OAAe;IACtF,MAAM,MAAM,GAAG,UAAU,EAAE,CAAA;IAC3B,MAAM,UAAU,GAAG,MAAM,CAAC,KAAK,CAA2B,CAAA;IAC1D,IAAI,CAAC,UAAU;QAAE,MAAM,IAAI,KAAK,CAAC,iCAAiC,CAAC,CAAA;IAEnE,kCAAkC;IAClC,MAAM,OAAO,GAAG,MAAM,CAAC,cAAc,EAAE,EAAE,EAAE,IAAI,EAAE,CAAC,CAAA;IAElD,sEAAsE;IACtE,kDAAkD;IAClD,MAAM,GAAG,GAAG,IAAI,CAAC,SAAS,CAAC,CAAA;IAC3B,MAAM,GAAG,GAAG,MAAM,CAAC,aAAa,CAAC,UAAU,EAAE,EAAE,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,OAAO,EAAE,KAAK,CAAC,CAAA;IAEjG,IAAI,WAAuB,CAAA;IAC3B,IAAI,CAAC;QACH,WAAW,GAAG,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,CAAA;IACnC,CAAC;YAAS,CAAC;QACT,KAAK,MAAM,CAAC,IAAI,GAAG;YAAE,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,CAAA;IACxC,CAAC;IAED,kDAAkD;IAClD,MAAM,QAAQ,GAAuB,EAAE,CAAA;IACvC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,EAAE,CAAC,EAAE,EAAE,CAAC;QAC/B,MAAM,GAAG,GAAG,CAAC,GAAG,OAAO,CAAA;QACvB,QAAQ,CAAC,IAAI,CAAC;YACZ,KAAK,EAAE,WAAW,CAAC,GAAG;YACtB,OAAO,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,GAAG,GAAG,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,GAAG,GAAG,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,GAAG,GAAG,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;SAC1F,CAAC,CAAA;IACJ,CAAC;IACD,MAAM,SAAS,GAAG,qBAAqB,CAAC,MAAM,EAAE,KAAK,EAAE,WAAW,EAAE,QAAQ,EAAE,OAAO,CAAC,CAAA;IAEtF,OAAO,QAAQ,CAAC,YAAY,CAAC,MAAM,EAAE,WAAW,CAAC,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE,SAAS,EAAE,CAAC,CAAA;AACvF,CAAC;AAED;;;;;;;;;;;;GAYG;AACH,SAAS,sBAAsB,CAAC,KAAY,EAAE,SAAe,EAAE,KAAa,EAAE,OAAe;IAC3F,MAAM,KAAK,GAAG,mBAAmB,CAAC,KAAK,EAAE,eAAe,CAAC,CAAA;IACzD,MAAM,CAAC,GAAG,IAAI,CAAC,SAAS,CAAC,CAAA;IACzB,OAAO,kBAAkB,CAAC,KAAK,EAAE,eAAe,EAAE,kBAAkB,EAAE,GAAG,EAAE,CACzE,KAAK,CAAC,MAAM,CAAC,aAAa,CAAC,KAAK,CAAC,KAAK,EAAE,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,OAAO,EAAE,KAAK,CAAC,CACvF,CAAA;AACH,CAAC;AAED;;;;;;;;;;;;;;;;;;GAkBG;AACH,MAAM,CAAC,MAAM,aAAa,GAAG,QAAQ,CAAC;IACpC,WAAW,EAAE,CAAC,SAAS,CAAC;IACxB,IAAI,CAAC,KAAY,EAAE,SAAe,EAAE,KAAa,EAAE,OAAe;QAChE,UAAU,CAAC,KAAK,CAAC,CAAA;QACjB,0DAA0D;QAC1D,qBAAqB;QACrB,OAAO,sBAAsB,CAAC,KAAK,EAAE,SAAS,EAAE,KAAK,EAAE,OAAO,CAAC,CAAA;IACjE,CAAC;IACD,IAAI,CAAC,KAAY,EAAE,SAAe,EAAE,KAAa,EAAE,OAAe;QAChE,uEAAuE;QACvE,UAAU,CAAC,KAAK,CAAC,CAAA;QACjB,OAAO,iBAAiB,CAAC,KAAK,EAAE,SAAS,EAAE,KAAK,EAAE,OAAO,CAAC,CAAA;IAC5D,CAAC;IACD,oDAAoD;IACpD,gDAAgD;IAChD,YAAY,EAAE,CAAC,eAAe,CAAC;IAC/B,MAAM,EAAE,EAAE,IAAI,EAAE,WAAW,EAAE,CAAC,EAAE,CAAC,EAAgB;CAClD,CAAC,CAAA","sourcesContent":["/**\n * api pattern — linearPattern（手写覆盖生成投影，Phase 3: L3 `replica[k]` 角色表）\n *\n * 生成投影是 brep-only compatOp，不带角色表；本文件手写 defineOp，BREP 路径\n * 用质心聚类把结果面按份数 k 分组、回投影到输入面角色，产出 `replica[k]/<inner>`。\n *\n * 机制（无内核历史，纯几何推理）：pattern 的每份副本都是输入的精确平移，副本面\n * 几何相同但质心不同。结果面沿 pattern 方向投影得到份数坐标 t，四舍五入到 spacing\n * 倍数即得 k；再按「面内坐标」（centroid − t·dir）匹配输入面对应面，回投其 inner role。\n */\n\nimport type { Shape, Vec3 } from '../mesh/types'\nimport { solidToShape } from '../brep/brep-ops'\nimport { getCurrentStmt, keepHidden } from '../runtime-state'\nimport { getBrepApi } from '../brep/handle-bridge'\nimport { fromBrep, brepOf } from '../shape'\nimport { defineOp } from '../sdk'\nimport type { Provenance } from '../topology/naming/lineage'\nimport type { BrepHandle } from '../brep/engine/types'\nimport { buildReplicaRoleTable, type ReplicaTransform } from './internal/replica-role-table'\nimport { meshPatternProduct, meshSolidBasicEntry } from './internal/mesh-solid-op'\n\n/** 归一化向量（零向量 → [0,0,1] 兜底）。 */\nfunction norm(v: Vec3): [number, number, number] {\n  const len = Math.hypot(v[0], v[1], v[2])\n  if (len < 1e-9) return [0, 0, 1]\n  return [v[0] / len, v[1] / len, v[2] / len]\n}\n\n/** BREP 路径：沿 direction 复制 count 份，质心聚类回投输入面角色。 */\nfunction linearPatternBrep(input: Shape, direction: Vec3, count: number, spacing: number): Shape {\n  const kernel = getBrepApi()\n  const inputSolid = brepOf(input) as BrepHandle | undefined\n  if (!inputSolid) throw new Error('[api/pattern] input is not BREP')\n\n  // Phase 1.6：origin = 本次语句 StmtId。\n  const outStmt = String(getCurrentStmt()?.id ?? '')\n\n  // 取 count 份副本。Phase 2：BrepEngineApi.linearPattern 契约统一返回 BrepHandle[]\n  // （两内核原生都返回 compound，由适配器拆成数组）——不再有「单句柄 fused」形态。\n  const dir = norm(direction)\n  const raw = kernel.linearPattern(inputSolid, { x: dir[0], y: dir[1], z: dir[2] }, spacing, count)\n\n  let resultSolid: BrepHandle\n  try {\n    resultSolid = kernel.fuseAll(raw)\n  } finally {\n    for (const c of raw) kernel.release(c)\n  }\n\n  // 第 k 份副本是输入沿 dir 平移 k*spacing：质心反投回输入坐标系（T_k⁻¹）。\n  const replicas: ReplicaTransform[] = []\n  for (let k = 0; k < count; k++) {\n    const off = k * spacing\n    replicas.push({\n      label: `replica[${k}]`,\n      inverse: (c) => ({ x: c.x - off * dir[0], y: c.y - off * dir[1], z: c.z - off * dir[2] }),\n    })\n  }\n  const roleTable = buildReplicaRoleTable(kernel, input, resultSolid, replicas, outStmt)\n\n  return fromBrep(solidToShape(kernel, resultSolid), { solid: resultSolid, roleTable })\n}\n\n/**\n * 网格实体路径：沿 direction 阵列并把副本融成一个网格零件。\n *\n * 与 BREP 路径同一条内核契约（`linearPattern` 返回含原位置在内的 count 个句柄，\n * 再 `fuseAll` 成一体），差别只在**没有 quality 面角色可回投**——近似拓扑没有 role\n * 层，故不产 `replica[k]/<inner>` 命名（如实缺席，不伪造恒等映射）。\n *\n * @param input - the mesh-solid input.\n * @param direction - the pattern direction.\n * @param count - total number of copies (including the original).\n * @param spacing - the spacing between copies.\n * @returns the fused mesh solid as a new mesh part.\n */\nfunction linearPatternMeshSolid(input: Shape, direction: Vec3, count: number, spacing: number): Shape {\n  const entry = meshSolidBasicEntry(input, 'linearPattern')\n  const d = norm(direction)\n  return meshPatternProduct(entry, 'linearPattern', 'E_PATTERN_FAILED', () =>\n    entry.kernel.linearPattern(entry.solid, { x: d[0], y: d[1], z: d[2] }, spacing, count),\n  )\n}\n\n/**\n * 线性阵列：沿 direction 复制 count 份（含原位置）。\n * @group 特征\n * @inputs 1\n * @async true\n * @qual ok\n * @name linearPattern\n * @note BREP 输入走质心聚类回投，结果面按份数 k 回投影到输入面角色，产出\n *       `replica[k]/<inner>`（Phase 3 L3 抗重放词汇）；**网格实体**输入走网格后端，\n *       阵列后融合为一个新的网格零件，近似拓扑没有 role 层故不产 replica 命名。\n *       裸网格输入仍抛 `E_MESH_UNSUPPORTED`。\n * @returns Shape 所有副本 fused 后的几何。\n * @param input - 目标几何。type:Shape required:true\n * @param direction - 阵列方向。type:[x,y,z] required:true\n * @param count - 副本总数（含原位置）。type:number required:true\n * @param spacing - 副本间距。type:number required:true\n * @example\n * const p = await cad.linearPattern(part0, [1, 0, 0], 3, 20)\n */\nexport const linearPattern = defineOp({\n  meshEngines: ['brepkit'],\n  mesh(input: Shape, direction: Vec3, count: number, spacing: number) {\n    keepHidden(input)\n    // 裸网格输入由 `meshSolidBasicEntry` 如实拒绝（近似链没有 role 层，也没有句柄）——\n    // 这里不复刻一遍判定，失败面只有一处。\n    return linearPatternMeshSolid(input, direction, count, spacing)\n  },\n  brep(input: Shape, direction: Vec3, count: number, spacing: number) {\n    // copy-like keep semantics: replicate ops preserve their source shape.\n    keepHidden(input)\n    return linearPatternBrep(input, direction, count, spacing)\n  },\n  // Phase 1（Brep 引擎可切换重构）：能力前置判定——linearPattern 需要内核的\n  // 线性阵列方法（BrepMethodKind），brepkit 装配下缺失时执行前静态报错。\n  capabilities: ['linearPattern'],\n  naming: { kind: 'replicate', k: 0 } as Provenance,\n})\n"]}
+{"version":3,"file":"pattern.js","sourceRoot":"","sources":["../../src/api/pattern.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AAGH,OAAO,EAAE,YAAY,EAAE,MAAM,kBAAkB,CAAA;AAC/C,OAAO,EAAE,cAAc,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAA;AAC7D,OAAO,EAAE,UAAU,EAAE,MAAM,uBAAuB,CAAA;AAClD,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,MAAM,UAAU,CAAA;AAC3C,OAAO,EAAE,QAAQ,EAAE,MAAM,QAAQ,CAAA;AAGjC,OAAO,EAAE,qBAAqB,EAAyB,MAAM,+BAA+B,CAAA;AAC5F,OAAO,EAAE,kBAAkB,EAAE,mBAAmB,EAAE,MAAM,0BAA0B,CAAA;AAElF,+BAA+B;AAC/B,SAAS,IAAI,CAAC,CAAO;IACnB,MAAM,GAAG,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAA;IACxC,IAAI,GAAG,GAAG,IAAI;QAAE,OAAO,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAA;IAChC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC,GAAG,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC,GAAG,GAAG,CAAC,CAAA;AAC7C,CAAC;AAED,kDAAkD;AAClD,SAAS,iBAAiB,CAAC,KAAY,EAAE,SAAe,EAAE,KAAa,EAAE,OAAe;IACtF,MAAM,MAAM,GAAG,UAAU,EAAE,CAAA;IAC3B,MAAM,UAAU,GAAG,MAAM,CAAC,KAAK,CAA2B,CAAA;IAC1D,IAAI,CAAC,UAAU;QAAE,MAAM,IAAI,KAAK,CAAC,iCAAiC,CAAC,CAAA;IAEnE,kCAAkC;IAClC,MAAM,OAAO,GAAG,MAAM,CAAC,cAAc,EAAE,EAAE,EAAE,IAAI,EAAE,CAAC,CAAA;IAElD,sEAAsE;IACtE,kDAAkD;IAClD,MAAM,GAAG,GAAG,IAAI,CAAC,SAAS,CAAC,CAAA;IAC3B,MAAM,GAAG,GAAG,MAAM,CAAC,aAAa,CAAC,UAAU,EAAE,EAAE,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,OAAO,EAAE,KAAK,CAAC,CAAA;IAEjG,IAAI,WAAuB,CAAA;IAC3B,IAAI,CAAC;QACH,WAAW,GAAG,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,CAAA;IACnC,CAAC;YAAS,CAAC;QACT,KAAK,MAAM,CAAC,IAAI,GAAG;YAAE,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,CAAA;IACxC,CAAC;IAED,kDAAkD;IAClD,MAAM,QAAQ,GAAuB,EAAE,CAAA;IACvC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,EAAE,CAAC,EAAE,EAAE,CAAC;QAC/B,MAAM,GAAG,GAAG,CAAC,GAAG,OAAO,CAAA;QACvB,QAAQ,CAAC,IAAI,CAAC;YACZ,KAAK,EAAE,WAAW,CAAC,GAAG;YACtB,OAAO,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,GAAG,GAAG,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,GAAG,GAAG,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,GAAG,GAAG,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;SAC1F,CAAC,CAAA;IACJ,CAAC;IACD,MAAM,SAAS,GAAG,qBAAqB,CAAC,MAAM,EAAE,KAAK,EAAE,WAAW,EAAE,QAAQ,EAAE,OAAO,CAAC,CAAA;IAEtF,OAAO,QAAQ,CAAC,YAAY,CAAC,MAAM,EAAE,WAAW,CAAC,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE,SAAS,EAAE,CAAC,CAAA;AACvF,CAAC;AAED;;;;;;;;;;;;GAYG;AACH,SAAS,sBAAsB,CAAC,KAAY,EAAE,SAAe,EAAE,KAAa,EAAE,OAAe;IAC3F,MAAM,KAAK,GAAG,mBAAmB,CAAC,KAAK,EAAE,eAAe,CAAC,CAAA;IACzD,MAAM,CAAC,GAAG,IAAI,CAAC,SAAS,CAAC,CAAA;IACzB,OAAO,kBAAkB,CAAC,KAAK,EAAE,eAAe,EAAE,kBAAkB,EAAE,GAAG,EAAE,CACzE,KAAK,CAAC,MAAM,CAAC,aAAa,CAAC,KAAK,CAAC,KAAK,EAAE,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,OAAO,EAAE,KAAK,CAAC,CACvF,CAAA;AACH,CAAC;AAED;;;;;;;;;;;;;;;;;;GAkBG;AACH,MAAM,CAAC,MAAM,aAAa,GAAG,QAAQ,CAAC;IACpC,WAAW,EAAE,CAAC,SAAS,CAAC;IACxB,IAAI,CAAC,KAAY,EAAE,SAAe,EAAE,KAAa,EAAE,OAAe;QAChE,UAAU,CAAC,KAAK,CAAC,CAAA;QACjB,0DAA0D;QAC1D,qBAAqB;QACrB,OAAO,sBAAsB,CAAC,KAAK,EAAE,SAAS,EAAE,KAAK,EAAE,OAAO,CAAC,CAAA;IACjE,CAAC;IACD,IAAI,CAAC,KAAY,EAAE,SAAe,EAAE,KAAa,EAAE,OAAe;QAChE,uEAAuE;QACvE,UAAU,CAAC,KAAK,CAAC,CAAA;QACjB,OAAO,iBAAiB,CAAC,KAAK,EAAE,SAAS,EAAE,KAAK,EAAE,OAAO,CAAC,CAAA;IAC5D,CAAC;IACD,MAAM,EAAE,EAAE,IAAI,EAAE,WAAW,EAAE,CAAC,EAAE,CAAC,EAAgB;CAClD,CAAC,CAAA","sourcesContent":["/**\n * api pattern — linearPattern（手写覆盖生成投影，Phase 3: L3 `replica[k]` 角色表）\n *\n * 生成投影是 brep-only compatOp，不带角色表；本文件手写 defineOp，BREP 路径\n * 用质心聚类把结果面按份数 k 分组、回投影到输入面角色，产出 `replica[k]/<inner>`。\n *\n * 机制（无内核历史，纯几何推理）：pattern 的每份副本都是输入的精确平移，副本面\n * 几何相同但质心不同。结果面沿 pattern 方向投影得到份数坐标 t，四舍五入到 spacing\n * 倍数即得 k；再按「面内坐标」（centroid − t·dir）匹配输入面对应面，回投其 inner role。\n */\n\nimport type { Shape, Vec3 } from '../mesh/types'\nimport { solidToShape } from '../brep/brep-ops'\nimport { getCurrentStmt, keepHidden } from '../runtime-state'\nimport { getBrepApi } from '../brep/handle-bridge'\nimport { fromBrep, brepOf } from '../shape'\nimport { defineOp } from '../sdk'\nimport type { Provenance } from '../topology/naming/lineage'\nimport type { BrepHandle } from '../brep/engine/types'\nimport { buildReplicaRoleTable, type ReplicaTransform } from './internal/replica-role-table'\nimport { meshPatternProduct, meshSolidBasicEntry } from './internal/mesh-solid-op'\n\n/** 归一化向量（零向量 → [0,0,1] 兜底）。 */\nfunction norm(v: Vec3): [number, number, number] {\n  const len = Math.hypot(v[0], v[1], v[2])\n  if (len < 1e-9) return [0, 0, 1]\n  return [v[0] / len, v[1] / len, v[2] / len]\n}\n\n/** BREP 路径：沿 direction 复制 count 份，质心聚类回投输入面角色。 */\nfunction linearPatternBrep(input: Shape, direction: Vec3, count: number, spacing: number): Shape {\n  const kernel = getBrepApi()\n  const inputSolid = brepOf(input) as BrepHandle | undefined\n  if (!inputSolid) throw new Error('[api/pattern] input is not BREP')\n\n  // Phase 1.6：origin = 本次语句 StmtId。\n  const outStmt = String(getCurrentStmt()?.id ?? '')\n\n  // 取 count 份副本。Phase 2：BrepEngineApi.linearPattern 契约统一返回 BrepHandle[]\n  // （两内核原生都返回 compound，由适配器拆成数组）——不再有「单句柄 fused」形态。\n  const dir = norm(direction)\n  const raw = kernel.linearPattern(inputSolid, { x: dir[0], y: dir[1], z: dir[2] }, spacing, count)\n\n  let resultSolid: BrepHandle\n  try {\n    resultSolid = kernel.fuseAll(raw)\n  } finally {\n    for (const c of raw) kernel.release(c)\n  }\n\n  // 第 k 份副本是输入沿 dir 平移 k*spacing：质心反投回输入坐标系（T_k⁻¹）。\n  const replicas: ReplicaTransform[] = []\n  for (let k = 0; k < count; k++) {\n    const off = k * spacing\n    replicas.push({\n      label: `replica[${k}]`,\n      inverse: (c) => ({ x: c.x - off * dir[0], y: c.y - off * dir[1], z: c.z - off * dir[2] }),\n    })\n  }\n  const roleTable = buildReplicaRoleTable(kernel, input, resultSolid, replicas, outStmt)\n\n  return fromBrep(solidToShape(kernel, resultSolid), { solid: resultSolid, roleTable })\n}\n\n/**\n * 网格实体路径：沿 direction 阵列并把副本融成一个网格零件。\n *\n * 与 BREP 路径同一条内核契约（`linearPattern` 返回含原位置在内的 count 个句柄，\n * 再 `fuseAll` 成一体），差别只在**没有 quality 面角色可回投**——近似拓扑没有 role\n * 层，故不产 `replica[k]/<inner>` 命名（如实缺席，不伪造恒等映射）。\n *\n * @param input - the mesh-solid input.\n * @param direction - the pattern direction.\n * @param count - total number of copies (including the original).\n * @param spacing - the spacing between copies.\n * @returns the fused mesh solid as a new mesh part.\n */\nfunction linearPatternMeshSolid(input: Shape, direction: Vec3, count: number, spacing: number): Shape {\n  const entry = meshSolidBasicEntry(input, 'linearPattern')\n  const d = norm(direction)\n  return meshPatternProduct(entry, 'linearPattern', 'E_PATTERN_FAILED', () =>\n    entry.kernel.linearPattern(entry.solid, { x: d[0], y: d[1], z: d[2] }, spacing, count),\n  )\n}\n\n/**\n * 线性阵列：沿 direction 复制 count 份（含原位置）。\n * @group 特征\n * @inputs 1\n * @async true\n * @qual ok\n * @name linearPattern\n * @note BREP 输入走质心聚类回投，结果面按份数 k 回投影到输入面角色，产出\n *       `replica[k]/<inner>`（Phase 3 L3 抗重放词汇）；**网格实体**输入走网格后端，\n *       阵列后融合为一个新的网格零件，近似拓扑没有 role 层故不产 replica 命名。\n *       裸网格输入仍抛 `E_MESH_UNSUPPORTED`。\n * @returns Shape 所有副本 fused 后的几何。\n * @param input - 目标几何。type:Shape required:true\n * @param direction - 阵列方向。type:[x,y,z] required:true\n * @param count - 副本总数（含原位置）。type:number required:true\n * @param spacing - 副本间距。type:number required:true\n * @example\n * const p = await cad.linearPattern(part0, [1, 0, 0], 3, 20)\n */\nexport const linearPattern = defineOp({\n  meshEngines: ['brepkit'],\n  mesh(input: Shape, direction: Vec3, count: number, spacing: number) {\n    keepHidden(input)\n    // 裸网格输入由 `meshSolidBasicEntry` 如实拒绝（近似链没有 role 层，也没有句柄）——\n    // 这里不复刻一遍判定，失败面只有一处。\n    return linearPatternMeshSolid(input, direction, count, spacing)\n  },\n  brep(input: Shape, direction: Vec3, count: number, spacing: number) {\n    // copy-like keep semantics: replicate ops preserve their source shape.\n    keepHidden(input)\n    return linearPatternBrep(input, direction, count, spacing)\n  },\n  naming: { kind: 'replicate', k: 0 } as Provenance,\n})\n"]}

package/dist/api/primitives.d.ts

@@ -57,9 +57,9 @@ export declare function assertWedgeParams(params: Record<string, unknown>): void
  * @param params.segments - 细分度（影响三角化）。type:number 默认 64（= brepjs standard 等效，P0 §5.0/§5.1）
  * @example
  * const part0 = cad.box(10 * MM, 20 * MM, 30 * MM)
- * const part1 = cad.box(30 * MM, 20 * MM, 10 * MM, { centered: true, at: [1, 2, 3], segments: 64 })
+ * const part1 = cad.box(30 * MM, 20 * MM, 10 * MM, { at: [1, 2, 3], segments: 64 })
  *
- * 位置原生（§4.1/§6.2）：`box(width, depth, height)` 与 `box(10 * MM, 20 * MM, 30 * MM, {centered:true})`
+ * 位置原生（§4.1/§6.2）：`box(width, depth, height)` 与 `box(10 * MM, 20 * MM, 30 * MM, { at: [1, 2, 3] })`
  * 有量纲位必须写单位字面量（基准单位亦然，`10` 裸数字被 D8 R2 拒）。
  * 归一到同一对象（D11 位置→对象 + 尾参 options 合并）。旧 `{ size }` 对象形态已废弃（裁决 3），
  * 传入会抛 `E_ARGS_FORM`（错误提示 ≠ 兼容，§4.1）。
@@ -104,9 +104,9 @@ export declare const sphere: ((params: Record<string, unknown>) => Promise<Shape
  * @param params.segments - 细分度（影响三角化）。type:number 默认 64（= brepjs standard 等效，P0 §5.0/§5.1）
  * @example
  * const c = cad.cylinder(5, 40)
- * const c = cad.cylinder(5, 40, { centered: true, at: [0, 0, 20], segments: 64 })
+ * const c = cad.cylinder(5, 40, { at: [0, 0, 20], segments: 64 })
  *
- * 位置原生（§4.1/§6.2）：`cylinder(5, 40)` 与 `cylinder(5, 40, {centered:true})`
+ * 位置原生（§4.1/§6.2）：`cylinder(5, 40)` 与 `cylinder(5, 40, { at: [0, 0, 20] })`
  * 归一到同一对象（D11 位置→装箱 + 尾参 options 合并）。旧 `{ center }` 对象形态已废弃
  * （裁决 3），传入会抛 `E_ARGS_FORM`（错误提示 ≠ 兼容，§4.3）。
   */
@@ -131,8 +131,8 @@ export declare const cylinder: ((params: Record<string, unknown>) => Promise<Sha
  * @param params.segments - 细分度（影响三角化）。type:number 默认 64（= brepjs standard 等效，P0 §5.0/§5.1）
  * @example
  * const c = cad.cone(10, 4, 30)
- * const c = cad.cone(10, 0, 30, { centered: true, at: [0, 0, 20], segments: 64 })
- * 位置原生（§4.1/§6.2）：`cone(10, 4, 30)` 与 `cone(10, 4, 30, { centered: true })`
+ * const c = cad.cone(10, 0, 30, { at: [0, 0, 20], segments: 64 })
+ * 位置原生（§4.1/§6.2）：`cone(10, 4, 30)` 与 `cone(10, 4, 30, { at: [0, 0, 20] })`
  * 归一到同一对象（D11 位置→装箱 + 尾参 options 合并）。旧 `{ center }`/`{ size }` 对象形态
  * 已废弃（裁决 3），传入会抛 E_ARGS_FORM（错误提示 ≠ 兼容）。
   */

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

@@ -1 +1 @@
-{"version":3,"file":"primitives.d.ts","sourceRoot":"","sources":["../../src/api/primitives.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,eAAe,CAAA;AAoB1C;;;;;;GAMG;AACH,wBAAgB,eAAe,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG,IAAI,CAUrE;AAED;;;GAGG;AACH,wBAAgB,kBAAkB,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG,IAAI,CAExE;AAED;;;;;;GAMG;AACH,wBAAgB,oBAAoB,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG,IAAI,CAS1E;AAED;;;;;;;GAOG;AACH,wBAAgB,gBAAgB,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG,IAAI,CAUtE;AAED;;;;GAIG;AACH,wBAAgB,iBAAiB,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG,IAAI,CAKvE;AAyHD;;;;;;;;;;;;;;;;;;;;;;KAsBK;AACL,eAAO,MAAM,GAAG;;CAwBd,CAAA;AAEF;;;;;;;;;;;;;;;;GAgBG;AACH,eAAO,MAAM,MAAM;;CAgBjB,CAAA;AAWF;;;;;;;;;;;;;;;;;;;;;;IAsBI;AACJ,eAAO,MAAM,QAAQ;;CAgBnB,CAAA;AAEF;;;;;;;;;;;;;;;;;;;;;;IAsBI;AACJ,eAAO,MAAM,IAAI;;CAuBf,CAAA;AAEF;;;;;;;;;;;;;;;;IAgBI;AACJ,eAAO,MAAM,KAAK;;CAchB,CAAA"}
+{"version":3,"file":"primitives.d.ts","sourceRoot":"","sources":["../../src/api/primitives.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,eAAe,CAAA;AAkB1C;;;;;;GAMG;AACH,wBAAgB,eAAe,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG,IAAI,CAUrE;AAED;;;GAGG;AACH,wBAAgB,kBAAkB,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG,IAAI,CAExE;AAED;;;;;;GAMG;AACH,wBAAgB,oBAAoB,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG,IAAI,CAS1E;AAED;;;;;;;GAOG;AACH,wBAAgB,gBAAgB,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG,IAAI,CAUtE;AAED;;;;GAIG;AACH,wBAAgB,iBAAiB,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG,IAAI,CAKvE;AA4HD;;;;;;;;;;;;;;;;;;;;;;KAsBK;AACL,eAAO,MAAM,GAAG;;CAwBd,CAAA;AAEF;;;;;;;;;;;;;;;;GAgBG;AACH,eAAO,MAAM,MAAM;;CAgBjB,CAAA;AAWF;;;;;;;;;;;;;;;;;;;;;;IAsBI;AACJ,eAAO,MAAM,QAAQ;;CAgBnB,CAAA;AAEF;;;;;;;;;;;;;;;;;;;;;;IAsBI;AACJ,eAAO,MAAM,IAAI;;CAuBf,CAAA;AAEF;;;;;;;;;;;;;;;;IAgBI;AACJ,eAAO,MAAM,KAAK;;CAchB,CAAA"}

package/dist/api/primitives.js

@@ -8,15 +8,13 @@ import { clampNRad } from '../mesh/types.js';
 // B3 correction (2026-10-06): no library-face cad aggregate — import the impl from its own module.
 import * as meshPrimitives from '../mesh/primitives.js';
 import { primitiveToBrepSolid } from '../primitives/brep-primitives.js';
-import { getCurrentStmt } from '../runtime-state.js';
+import { getCurrentStmt, getTessellation } from '../runtime-state.js';
 import { getBrepApi } from '../brep/handle-bridge.js';
 import { fromBrep } from '../shape.js';
 import { assignRoles } from '../topology/naming/roles.js';
 import { asPartName } from '../identity.js';
 import { defineOp } from '../sdk.js';
 import { assertPositiveNumber, assertNonNegativeNumber } from './assert.js';
-import { DEFAULT_LINEAR_DEFLECTION } from '../tolerance.js';
-import { mm } from '../units.js';
 // ── per-op 参数自校验（Phase 2.2；api 层被直接 import 时的防御层） ──
 /**
  * Validate box parameters (brepjs contract, §4.1 A 决策): `width`, `depth` and
@@ -95,7 +93,10 @@ function primitiveBrep(op, params) {
     // 改名/复用，StmtId 全局唯一，保证多个同类型 primitive 不撞 origin。
     const origin = String(getCurrentStmt()?.id ?? op);
     const roles = assignRoles(kernel, result.solid, op);
-    const segments = clampNRad((params.nRad ?? params.segments));
+    // Explicit segments/nRad wins ($fn override); otherwise derive from the global
+    // tessellation knob (proposal 2026-10-07) — default still 2π/64 ≈ 64 segments.
+    const rawSegments = (params.nRad ?? params.segments);
+    const segments = clampNRad(rawSegments ?? (2 * Math.PI) / getTessellation().angularDeflection);
     // P4 面级：brep 链基本体也挂契约序 faceRanges（编辑器默认 brep 链——
     // setFaceColor 必须可用）。box 的 OCCT 面枚举序（实测 0=−X,1=+Y,…）与契约
     // （+X/−X/+Y/−Y/+Z/−Z）不一致，按面法线重排 indices；cylinder/cone 的
@@ -162,7 +163,7 @@ function faceNormalAxis(mesh, triStart, triCount) {
 function brepPrimitiveMesh(kernel, solid, op, segments) {
     const angularDeflection = (2 * Math.PI) / Math.max(3, segments);
     const mesh = kernel.meshShape(solid, {
-        linearDeflection: DEFAULT_LINEAR_DEFLECTION.as(mm),
+        linearDeflection: getTessellation().linearDeflection,
         angularDeflection,
     });
     const shape = {
@@ -227,9 +228,9 @@ function brepPrimitiveMesh(kernel, solid, op, segments) {
  * @param params.segments - 细分度（影响三角化）。type:number 默认 64（= brepjs standard 等效，P0 §5.0/§5.1）
  * @example
  * const part0 = cad.box(10 * MM, 20 * MM, 30 * MM)
- * const part1 = cad.box(30 * MM, 20 * MM, 10 * MM, { centered: true, at: [1, 2, 3], segments: 64 })
+ * const part1 = cad.box(30 * MM, 20 * MM, 10 * MM, { at: [1, 2, 3], segments: 64 })
  *
- * 位置原生（§4.1/§6.2）：`box(width, depth, height)` 与 `box(10 * MM, 20 * MM, 30 * MM, {centered:true})`
+ * 位置原生（§4.1/§6.2）：`box(width, depth, height)` 与 `box(10 * MM, 20 * MM, 30 * MM, { at: [1, 2, 3] })`
  * 有量纲位必须写单位字面量（基准单位亦然，`10` 裸数字被 D8 R2 拒）。
  * 归一到同一对象（D11 位置→对象 + 尾参 options 合并）。旧 `{ size }` 对象形态已废弃（裁决 3），
  * 传入会抛 `E_ARGS_FORM`（错误提示 ≠ 兼容，§4.1）。
@@ -319,9 +320,9 @@ function centerParams(params) {
  * @param params.segments - 细分度（影响三角化）。type:number 默认 64（= brepjs standard 等效，P0 §5.0/§5.1）
  * @example
  * const c = cad.cylinder(5, 40)
- * const c = cad.cylinder(5, 40, { centered: true, at: [0, 0, 20], segments: 64 })
+ * const c = cad.cylinder(5, 40, { at: [0, 0, 20], segments: 64 })
  *
- * 位置原生（§4.1/§6.2）：`cylinder(5, 40)` 与 `cylinder(5, 40, {centered:true})`
+ * 位置原生（§4.1/§6.2）：`cylinder(5, 40)` 与 `cylinder(5, 40, { at: [0, 0, 20] })`
  * 归一到同一对象（D11 位置→装箱 + 尾参 options 合并）。旧 `{ center }` 对象形态已废弃
  * （裁决 3），传入会抛 `E_ARGS_FORM`（错误提示 ≠ 兼容，§4.3）。
   */
@@ -360,8 +361,8 @@ export const cylinder = defineOp({
  * @param params.segments - 细分度（影响三角化）。type:number 默认 64（= brepjs standard 等效，P0 §5.0/§5.1）
  * @example
  * const c = cad.cone(10, 4, 30)
- * const c = cad.cone(10, 0, 30, { centered: true, at: [0, 0, 20], segments: 64 })
- * 位置原生（§4.1/§6.2）：`cone(10, 4, 30)` 与 `cone(10, 4, 30, { centered: true })`
+ * const c = cad.cone(10, 0, 30, { at: [0, 0, 20], segments: 64 })
+ * 位置原生（§4.1/§6.2）：`cone(10, 4, 30)` 与 `cone(10, 4, 30, { at: [0, 0, 20] })`
  * 归一到同一对象（D11 位置→装箱 + 尾参 options 合并）。旧 `{ center }`/`{ size }` 对象形态
  * 已废弃（裁决 3），传入会抛 E_ARGS_FORM（错误提示 ≠ 兼容）。
   */