@faicad/faijs 0.13.0

package/dist/api/topo-resolve.js

@@ -0,0 +1,195 @@
+/**
+ * topo-resolve — 运行期 TopoRef 解析（装配/钻孔等面引用 op 共享，§6.2）
+ *
+ * 与 core/topology/naming 的分工：
+ * - naming（core）负责纯解析：给 ReactsContext + FaceTopoRef → ordinal/handle；
+ * - 本模块（stdlib）是「活 Shape → React块(ResolutionContext)」的引擎胶水：
+ *   从 Shape 身份槽读出运行期数据（BREP 活句柄 + RoleTable，或 setTopology 注入的
+ *   面 hint 快照），并把解析结果还原成求解需要的几何（center/normal/surfaceType）。
+ *
+ * 这样 drill（面 → 法向）与 compound/assembly（约束固定/移动面 → 几何）共用同一
+ * 条「TopoRef 执行期派生」通道，且不动 core 的纯 naming 层职责。
+ *
+ * 任何一步定不了案 → 抛 TopoRefError（三态错误码），绝不静默拿序号硬取。
+ */
+import { getSlot } from '../shape.js';
+import { HASH_UPPER_BOUND } from '../brep/face-evolution.js';
+import { resolveTopoRef, captureFaceHint, captureEdgeHint, faceRowToHint, TopoRefError, } from '../topology/naming/index.js';
+/**
+ * 从活 Shape 的组装槽构建 ResolutionContext（BREAK 或 mesh/primitive 两条路）。
+ *
+ * - BREAK：`slot.solid` + `slot.roleTable` → 内核现场句柄 + hash（exact 路径）；
+ * - mesh/primitive：`slot.faceHints`（setTopology 注入时提炼写入）→ 行快照（geometric 路径）。
+ *
+ * 无命名槽 → undefined（调用方按 not-found 抛错）。
+ *
+ * @param kernel - the OCCT kernel (null on the mesh/primitive path).
+ * @param shape - the live input shape whose naming slot is read.
+ * @returns the resolution context (live BREP or hint rows), or undefined when the shape has no naming slot.
+ */
+export function buildShapeResolutionContext(kernel, shape) {
+    if (!shape)
+        return undefined;
+    const slot = getSlot(shape);
+    if (!slot)
+        return undefined;
+    const roleTable = slot.roleTable;
+    const solid = slot.solid;
+    if (kernel && solid) {
+        const handles = kernel.getSubShapes(solid, 'face');
+        const hashes = Array.from(kernel.subShapeHashes(solid, 'face', HASH_UPPER_BOUND));
+        const faces = handles.map((handle, i) => ({ ordinal: i + 1, hash: hashes[i] ?? 0, handle }));
+        return { kernel, faces, roleTable };
+    }
+    const hints = slot.faceHints;
+    if (Array.isArray(hints) && hints.length > 0) {
+        const faces = hints.map((row, i) => ({ ordinal: i + 1, row }));
+        return { kernel: null, faces, roleTable };
+    }
+    return undefined;
+}
+/**
+ * 为 BREP 现场构建带边候选与邻接表的 ResolutionContext（edge TopoRef 解析用）。
+ *
+ * 与 `buildBrepResolutionContext` 的面候选同源（同一枚举序），并补充：
+ * - `edges`：边候选表（ordinal 1 起，含活句柄 + length/midpoint hint）；
+ * - `faceEdgeAdjacency` / `edgeFaceAdjacency`：邻接表（edge lineage 解析用，M3）。
+ *
+ * 只支持 BREP 现场（edge lineage 需要 face→edge 邻接）；mesh/primitive 路径
+ * 没有邻接能力（build-mesh-topology.ts:262，§5.3）→ 返回 undefined，调用方
+ * 按 E_TOPO_NOT_FOUND 处理。
+ *
+ * @param kernel - the OCCT kernel.
+ * @param shape - the live input shape whose naming slot is read.
+ * @returns the edge-enabled resolution context, or undefined when the shape has
+ *   no BREP naming slot.
+ */
+export function buildEdgeResolutionContext(kernel, shape) {
+    if (!shape)
+        return undefined;
+    const slot = getSlot(shape);
+    if (!slot)
+        return undefined;
+    const roleTable = slot.roleTable;
+    const solid = slot.solid;
+    if (!solid)
+        return undefined;
+    const faceHandles = kernel.getSubShapes(solid, 'face');
+    const faceHashes = Array.from(kernel.subShapeHashes(solid, 'face', HASH_UPPER_BOUND));
+    const faces = faceHandles.map((handle, i) => ({ ordinal: i + 1, hash: faceHashes[i] ?? 0, handle }));
+    const edgeHandles = kernel.getSubShapes(solid, 'edge');
+    const edges = edgeHandles.map((handle, i) => ({
+        ordinal: i + 1,
+        handle,
+        hint: captureEdgeHint(kernel, handle),
+    }));
+    const liveEdges = edges.filter((e) => e.handle !== undefined);
+    // face → 邻接 edges（ordinal 1 起）。mesh 无 face→edge 邻接，这里 BREP 现场直取。
+    const faceHandlesArr = faceHandles.map((h, hi) => ({ handle: h, ordinal: hi + 1 }));
+    const faceEdgeAdjacency = faceHandlesArr.map(({ handle }) => {
+        const sub = kernel.getSubShapes(handle, 'edge');
+        return sub
+            .map((eh) => liveEdges.find((e) => kernel.isSame(eh, e.handle))?.ordinal)
+            .filter((v) => v !== undefined);
+    });
+    const edgeFaceAdjacency = liveEdges.map(({ handle }) => {
+        const adj = [];
+        for (const f of faceHandlesArr) {
+            if (kernel.getSubShapes(f.handle, 'edge').some((fe) => kernel.isSame(fe, handle))) {
+                adj.push(f.ordinal);
+            }
+        }
+        return adj;
+    });
+    return { kernel, faces, edges, roleTable, faceEdgeAdjacency, edgeFaceAdjacency };
+}
+/**
+ * 从 BREP 现场句柄建带边候选/邻接的 ResolutionContext（twoDistances 逐边重建用）。
+ *
+ * 与 `buildEdgeResolutionContext` 相同，但直接接收 live solid 句柄而非 Shape 槽——
+ * 用于真机逐边构建后，输入已从上一次结果演化，Shape 槽里的 roleTable/hash 不再
+ * 与当前句柄对应（§3.6 逐边构建，后续边要重新 resolve）。
+ *
+ * @param kernel - the OCCT kernel.
+ * @param solid - the live BREP solid handle.
+ * @param roleTable - optional role table to carry over (not used for strict matching).
+ * @returns the edge-enabled resolution context (faces/edges/adjacency live from `solid`).
+ */
+export function buildEdgeContextFromSolid(kernel, solid, roleTable) {
+    const faceHandles = kernel.getSubShapes(solid, 'face');
+    const faces = faceHandles.map((handle, i) => ({ ordinal: i + 1, hash: undefined, handle }));
+    const edgeHandles = kernel.getSubShapes(solid, 'edge');
+    const edges = edgeHandles.map((handle, i) => ({
+        ordinal: i + 1,
+        handle,
+        hint: captureEdgeHint(kernel, handle),
+    }));
+    const liveEdges = edges.filter((e) => e.handle !== undefined);
+    const faceHandlesArr = faceHandles.map((h, hi) => ({ handle: h, ordinal: hi + 1 }));
+    const faceEdgeAdjacency = faceHandlesArr.map(({ handle }) => {
+        const sub = kernel.getSubShapes(handle, 'edge');
+        return sub
+            .map((eh) => liveEdges.find((e) => kernel.isSame(eh, e.handle))?.ordinal)
+            .filter((v) => v !== undefined);
+    });
+    const edgeFaceAdjacency = liveEdges.map(({ handle }) => {
+        const adj = [];
+        for (const f of faceHandlesArr) {
+            if (kernel.getSubShapes(f.handle, 'edge').some((fe) => kernel.isSame(fe, handle)))
+                adj.push(f.ordinal);
+        }
+        return adj;
+    });
+    return { kernel, faces, edges, roleTable, faceEdgeAdjacency, edgeFaceAdjacency };
+}
+/**
+ * 解析一个 face TopoRef 到「当前几何」，并从解析出的候选面派生求解几何。
+ *
+ * 结果与命名行的 surfaceType/center/normal 同口径（BREAK 现场 captureFaceHint /
+ * mesh 行快照），保证两侧派生值一致。
+ *
+ * @param kernel - the OCCT kernel (can be null on the mesh/primitive path).
+ * @param shape - the live input shape whose naming slot is being resolved.
+ * @param ref - the FaceTopoRef captured earlier.
+ * @returns the current face geometry (center/normal/surfaceType).
+ */
+export function resolveFaceGeometry(kernel, shape, ref) {
+    const ctx = buildShapeResolutionContext(kernel, shape);
+    if (!ctx) {
+        throw new TopoRefError('E_TOPO_NOT_FOUND', 'face', `no naming context on input shape (origin=${ref.origin}, role=${ref.role})`);
+    }
+    const entity = resolveTopoRef(ref, ctx);
+    const entry = ctx.faces[entity.ordinal - 1];
+    if (!entry) {
+        throw new TopoRefError('E_TOPO_NOT_FOUND', 'face', `resolved ordinal ${entity.ordinal} has no candidate in context (origin=${ref.origin}, role=${ref.role})`);
+    }
+    // BREAK 现场：capture 出当前法向/中心（圆柱面含轴）
+    if (entry.handle && ctx.kernel) {
+        const hint = captureFaceHint(ctx.kernel, entry.handle);
+        return {
+            surfaceType: hint.surfaceType,
+            center: hint.center ?? [0, 0, 0],
+            normal: hint.normal ?? [0, 0, 1],
+            ...(hint.axis ? { axis: hint.axis } : {}),
+        };
+    }
+    // mesh/行快照：直接用行几何（axis 由宿主行注入，缺省 undefined）
+    const ext = entry.row;
+    const hint = ext ? faceRowToHint(ext) : undefined;
+    return {
+        surfaceType: hint?.surfaceType,
+        center: hint?.center ?? [0, 0, 0],
+        normal: hint?.normal ?? [0, 0, 1],
+        ...(hint?.axis ? { axis: hint.axis } : {}),
+    };
+}
+/**
+ * FaceMateConstraint 面的等价重载：face 参数对象（`{topoRef}` 或旧快照）的守卫。
+ *
+ * @param v - the value to test.
+ * @returns true when the value is a FaceTopoRef (kind === 'face').
+ */
+export function isFaceTopoRef(v) {
+    return !!v && typeof v === 'object' && v.kind === 'face';
+}
+//# sourceMappingURL=topo-resolve.js.map

package/dist/api/topo-resolve.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"topo-resolve.js","sourceRoot":"","sources":["../../src/api/topo-resolve.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;GAaG;AAGH,OAAO,EAAE,OAAO,EAAE,MAAM,UAAU,CAAA;AAGlC,OAAO,EAAE,gBAAgB,EAAE,MAAM,wBAAwB,CAAA;AACzD,OAAO,EACL,cAAc,EACd,eAAe,EACf,eAAe,EACf,aAAa,EACb,YAAY,GAOb,MAAM,oBAAoB,CAAA;AAW3B;;;;;;;;;;;GAWG;AACH,MAAM,UAAU,2BAA2B,CACzC,MAA4B,EAC5B,KAAyB;IAEzB,IAAI,CAAC,KAAK;QAAE,OAAO,SAAS,CAAA;IAC5B,MAAM,IAAI,GAAG,OAAO,CAAC,KAAK,CAAC,CAAA;IAC3B,IAAI,CAAC,IAAI;QAAE,OAAO,SAAS,CAAA;IAC3B,MAAM,SAAS,GAAG,IAAI,CAAC,SAAkC,CAAA;IAEzD,MAAM,KAAK,GAAG,IAAI,CAAC,KAA+B,CAAA;IAClD,IAAI,MAAM,IAAI,KAAK,EAAE,CAAC;QACpB,MAAM,OAAO,GAAG,MAAM,CAAC,YAAY,CAAC,KAAK,EAAE,MAAM,CAAC,CAAA;QAClD,MAAM,MAAM,GAAG,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,cAAc,CAAC,KAAK,EAAE,MAAM,EAAE,gBAAgB,CAAC,CAAC,CAAA;QACjF,MAAM,KAAK,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,OAAO,EAAE,CAAC,GAAG,CAAC,EAAE,IAAI,EAAE,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,CAAC,CAAC,CAAA;QAC5F,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,SAAS,EAAE,CAAA;IACrC,CAAC;IAED,MAAM,KAAK,GAAG,IAAI,CAAC,SAAmC,CAAA;IACtD,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC7C,MAAM,KAAK,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,OAAO,EAAE,CAAC,GAAG,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC,CAAA;QAC9D,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,KAAK,EAAE,SAAS,EAAE,CAAA;IAC3C,CAAC;IACD,OAAO,SAAS,CAAA;AAClB,CAAC;AAED;;;;;;;;;;;;;;;GAeG;AACH,MAAM,UAAU,0BAA0B,CACxC,MAAqB,EACrB,KAAyB;IAEzB,IAAI,CAAC,KAAK;QAAE,OAAO,SAAS,CAAA;IAC5B,MAAM,IAAI,GAAG,OAAO,CAAC,KAAK,CAAC,CAAA;IAC3B,IAAI,CAAC,IAAI;QAAE,OAAO,SAAS,CAAA;IAC3B,MAAM,SAAS,GAAG,IAAI,CAAC,SAAkC,CAAA;IACzD,MAAM,KAAK,GAAG,IAAI,CAAC,KAA+B,CAAA;IAClD,IAAI,CAAC,KAAK;QAAE,OAAO,SAAS,CAAA;IAE5B,MAAM,WAAW,GAAG,MAAM,CAAC,YAAY,CAAC,KAAK,EAAE,MAAM,CAAC,CAAA;IACtD,MAAM,UAAU,GAAG,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,cAAc,CAAC,KAAK,EAAE,MAAM,EAAE,gBAAgB,CAAC,CAAC,CAAA;IACrF,MAAM,KAAK,GAAG,WAAW,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,OAAO,EAAE,CAAC,GAAG,CAAC,EAAE,IAAI,EAAE,UAAU,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,CAAC,CAAC,CAAA;IAEpG,MAAM,WAAW,GAAG,MAAM,CAAC,YAAY,CAAC,KAAK,EAAE,MAAM,CAAC,CAAA;IACtD,MAAM,KAAK,GAAyB,WAAW,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC;QAClE,OAAO,EAAE,CAAC,GAAG,CAAC;QACd,MAAM;QACN,IAAI,EAAE,eAAe,CAAC,MAAM,EAAE,MAAM,CAAC;KACtC,CAAC,CAAC,CAAA;IACH,MAAM,SAAS,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAoD,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,SAAS,CAAC,CAAA;IAE/G,iEAAiE;IACjE,MAAM,cAAc,GAAG,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,OAAO,EAAE,EAAE,GAAG,CAAC,EAAE,CAAC,CAAC,CAAA;IAEnF,MAAM,iBAAiB,GAAG,cAAc,CAAC,GAAG,CAAC,CAAC,EAAE,MAAM,EAAE,EAAE,EAAE;QAC1D,MAAM,GAAG,GAAG,MAAM,CAAC,YAAY,CAAC,MAAM,EAAE,MAAM,CAAC,CAAA;QAC/C,OAAO,GAAG;aACP,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,EAAE,OAAO,CAAC;aACxE,MAAM,CAAC,CAAC,CAAC,EAAe,EAAE,CAAC,CAAC,KAAK,SAAS,CAAC,CAAA;IAChD,CAAC,CAAC,CAAA;IACF,MAAM,iBAAiB,GAAG,SAAS,CAAC,GAAG,CAAC,CAAC,EAAE,MAAM,EAAE,EAAE,EAAE;QACrD,MAAM,GAAG,GAAa,EAAE,CAAA;QACxB,KAAK,MAAM,CAAC,IAAI,cAAc,EAAE,CAAC;YAC/B,IAAI,MAAM,CAAC,YAAY,CAAC,CAAC,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,EAAE,MAAM,CAAC,CAAC,EAAE,CAAC;gBAClF,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC,CAAA;YACrB,CAAC;QACH,CAAC;QACD,OAAO,GAAG,CAAA;IACZ,CAAC,CAAC,CAAA;IAEF,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,KAAK,EAAE,SAAS,EAAE,iBAAiB,EAAE,iBAAiB,EAAE,CAAA;AAClF,CAAC;AAED;;;;;;;;;;;GAWG;AACH,MAAM,UAAU,yBAAyB,CACvC,MAAqB,EACrB,KAAiB,EACjB,SAAqB;IAErB,MAAM,WAAW,GAAG,MAAM,CAAC,YAAY,CAAC,KAAK,EAAE,MAAM,CAAC,CAAA;IACtD,MAAM,KAAK,GAAG,WAAW,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,OAAO,EAAE,CAAC,GAAG,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,MAAM,EAAE,CAAC,CAAC,CAAA;IAC3F,MAAM,WAAW,GAAG,MAAM,CAAC,YAAY,CAAC,KAAK,EAAE,MAAM,CAAC,CAAA;IACtD,MAAM,KAAK,GAAyB,WAAW,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC;QAClE,OAAO,EAAE,CAAC,GAAG,CAAC;QACd,MAAM;QACN,IAAI,EAAE,eAAe,CAAC,MAAM,EAAE,MAAM,CAAC;KACtC,CAAC,CAAC,CAAA;IACH,MAAM,SAAS,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAoD,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,SAAS,CAAC,CAAA;IAC/G,MAAM,cAAc,GAAG,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,OAAO,EAAE,EAAE,GAAG,CAAC,EAAE,CAAC,CAAC,CAAA;IACnF,MAAM,iBAAiB,GAAG,cAAc,CAAC,GAAG,CAAC,CAAC,EAAE,MAAM,EAAE,EAAE,EAAE;QAC1D,MAAM,GAAG,GAAG,MAAM,CAAC,YAAY,CAAC,MAAM,EAAE,MAAM,CAAC,CAAA;QAC/C,OAAO,GAAG;aACP,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,EAAE,OAAO,CAAC;aACxE,MAAM,CAAC,CAAC,CAAC,EAAe,EAAE,CAAC,CAAC,KAAK,SAAS,CAAC,CAAA;IAChD,CAAC,CAAC,CAAA;IACF,MAAM,iBAAiB,GAAG,SAAS,CAAC,GAAG,CAAC,CAAC,EAAE,MAAM,EAAE,EAAE,EAAE;QACrD,MAAM,GAAG,GAAa,EAAE,CAAA;QACxB,KAAK,MAAM,CAAC,IAAI,cAAc,EAAE,CAAC;YAC/B,IAAI,MAAM,CAAC,YAAY,CAAC,CAAC,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,EAAE,MAAM,CAAC,CAAC;gBAAE,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC,CAAA;QACxG,CAAC;QACD,OAAO,GAAG,CAAA;IACZ,CAAC,CAAC,CAAA;IACF,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,KAAK,EAAE,SAAS,EAAE,iBAAiB,EAAE,iBAAiB,EAAE,CAAA;AAClF,CAAC;AAED;;;;;;;;;;GAUG;AACH,MAAM,UAAU,mBAAmB,CACjC,MAA4B,EAC5B,KAAY,EACZ,GAAgB;IAEhB,MAAM,GAAG,GAAG,2BAA2B,CAAC,MAAM,EAAE,KAAK,CAAC,CAAA;IACtD,IAAI,CAAC,GAAG,EAAE,CAAC;QACT,MAAM,IAAI,YAAY,CACpB,kBAAkB,EAClB,MAAM,EACN,4CAA4C,GAAG,CAAC,MAAM,UAAU,GAAG,CAAC,IAAI,GAAG,CAC5E,CAAA;IACH,CAAC;IACD,MAAM,MAAM,GAAG,cAAc,CAAC,GAAG,EAAE,GAAG,CAAC,CAAA;IACvC,MAAM,KAAK,GAAG,GAAG,CAAC,KAAK,CAAC,MAAM,CAAC,OAAO,GAAG,CAAC,CAAC,CAAA;IAC3C,IAAI,CAAC,KAAK,EAAE,CAAC;QACX,MAAM,IAAI,YAAY,CACpB,kBAAkB,EAClB,MAAM,EACN,oBAAoB,MAAM,CAAC,OAAO,wCAAwC,GAAG,CAAC,MAAM,UAAU,GAAG,CAAC,IAAI,GAAG,CAC1G,CAAA;IACH,CAAC;IACD,mCAAmC;IACnC,IAAI,KAAK,CAAC,MAAM,IAAI,GAAG,CAAC,MAAM,EAAE,CAAC;QAC/B,MAAM,IAAI,GAAG,eAAe,CAAC,GAAG,CAAC,MAAM,EAAE,KAAK,CAAC,MAAM,CAAC,CAAA;QACtD,OAAO;YACL,WAAW,EAAE,IAAI,CAAC,WAAW;YAC7B,MAAM,EAAE,IAAI,CAAC,MAAM,IAAI,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;YAChC,MAAM,EAAE,IAAI,CAAC,MAAM,IAAI,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;YAChC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;SAC1C,CAAA;IACH,CAAC;IACD,4CAA4C;IAC5C,MAAM,GAAG,GAAG,KAAK,CAAC,GAAG,CAAA;IACrB,MAAM,IAAI,GAAG,GAAG,CAAC,CAAC,CAAC,aAAa,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,SAAS,CAAA;IACjD,OAAO;QACL,WAAW,EAAE,IAAI,EAAE,WAAW;QAC9B,MAAM,EAAE,IAAI,EAAE,MAAM,IAAI,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;QACjC,MAAM,EAAE,IAAI,EAAE,MAAM,IAAI,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;QACjC,GAAG,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;KAC3C,CAAA;AACH,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,aAAa,CAAC,CAAU;IACtC,OAAO,CAAC,CAAC,CAAC,IAAI,OAAO,CAAC,KAAK,QAAQ,IAAK,CAAwB,CAAC,IAAI,KAAK,MAAM,CAAA;AAClF,CAAC","sourcesContent":["/**\n * topo-resolve — 运行期 TopoRef 解析（装配/钻孔等面引用 op 共享，§6.2）\n *\n * 与 core/topology/naming 的分工：\n * - naming（core）负责纯解析：给 ReactsContext + FaceTopoRef → ordinal/handle；\n * - 本模块（stdlib）是「活 Shape → React块(ResolutionContext)」的引擎胶水：\n *   从 Shape 身份槽读出运行期数据（BREP 活句柄 + RoleTable，或 setTopology 注入的\n *   面 hint 快照），并把解析结果还原成求解需要的几何（center/normal/surfaceType）。\n *\n * 这样 drill（面 → 法向）与 compound/assembly（约束固定/移动面 → 几何）共用同一\n * 条「TopoRef 执行期派生」通道，且不动 core 的纯 naming 层职责。\n *\n * 任何一步定不了案 → 抛 TopoRefError（三态错误码），绝不静默拿序号硬取。\n */\n\nimport type { Shape } from '../mesh/types'\nimport { getSlot } from '../shape'\nimport type { BrepEngineApi } from '../brep/engine/primitives'\nimport type { BrepHandle } from '../brep/engine/types'\nimport { HASH_UPPER_BOUND } from '../brep/face-evolution'\nimport {\n  resolveTopoRef,\n  captureFaceHint,\n  captureEdgeHint,\n  faceRowToHint,\n  TopoRefError,\n  type FaceTopoRef,\n  type ResolutionContext,\n  type FaceHint,\n  type AxisHint,\n  type EdgeCandidateEntry,\n  type RoleTable,\n} from '../topology/naming'\n\n/** 求解面需要的当前几何（执行期派生）：与旧契约 fixedFace/movingFace 的 surfaceType/center/normal 同形。 */\nexport interface ResolvedFaceGeometry {\n  surfaceType?: string\n  center: [number, number, number]\n  normal: [number, number, number]\n  /** 圆柱/回转面的轴（装配轴约束用；平面/球面缺省，mesh 行快照由宿主注入）。 */\n  axis?: AxisHint\n}\n\n/**\n * 从活 Shape 的组装槽构建 ResolutionContext（BREAK 或 mesh/primitive 两条路）。\n *\n * - BREAK：`slot.solid` + `slot.roleTable` → 内核现场句柄 + hash（exact 路径）；\n * - mesh/primitive：`slot.faceHints`（setTopology 注入时提炼写入）→ 行快照（geometric 路径）。\n *\n * 无命名槽 → undefined（调用方按 not-found 抛错）。\n *\n * @param kernel - the OCCT kernel (null on the mesh/primitive path).\n * @param shape - the live input shape whose naming slot is read.\n * @returns the resolution context (live BREP or hint rows), or undefined when the shape has no naming slot.\n */\nexport function buildShapeResolutionContext(\n  kernel: BrepEngineApi | null,\n  shape: object | undefined,\n): ResolutionContext | undefined {\n  if (!shape) return undefined\n  const slot = getSlot(shape)\n  if (!slot) return undefined\n  const roleTable = slot.roleTable as RoleTable | undefined\n\n  const solid = slot.solid as BrepHandle | undefined\n  if (kernel && solid) {\n    const handles = kernel.getSubShapes(solid, 'face')\n    const hashes = Array.from(kernel.subShapeHashes(solid, 'face', HASH_UPPER_BOUND))\n    const faces = handles.map((handle, i) => ({ ordinal: i + 1, hash: hashes[i] ?? 0, handle }))\n    return { kernel, faces, roleTable }\n  }\n\n  const hints = slot.faceHints as FaceHint[] | undefined\n  if (Array.isArray(hints) && hints.length > 0) {\n    const faces = hints.map((row, i) => ({ ordinal: i + 1, row }))\n    return { kernel: null, faces, roleTable }\n  }\n  return undefined\n}\n\n/**\n * 为 BREP 现场构建带边候选与邻接表的 ResolutionContext（edge TopoRef 解析用）。\n *\n * 与 `buildBrepResolutionContext` 的面候选同源（同一枚举序），并补充：\n * - `edges`：边候选表（ordinal 1 起，含活句柄 + length/midpoint hint）；\n * - `faceEdgeAdjacency` / `edgeFaceAdjacency`：邻接表（edge lineage 解析用，M3）。\n *\n * 只支持 BREP 现场（edge lineage 需要 face→edge 邻接）；mesh/primitive 路径\n * 没有邻接能力（build-mesh-topology.ts:262，§5.3）→ 返回 undefined，调用方\n * 按 E_TOPO_NOT_FOUND 处理。\n *\n * @param kernel - the OCCT kernel.\n * @param shape - the live input shape whose naming slot is read.\n * @returns the edge-enabled resolution context, or undefined when the shape has\n *   no BREP naming slot.\n */\nexport function buildEdgeResolutionContext(\n  kernel: BrepEngineApi,\n  shape: object | undefined,\n): ResolutionContext | undefined {\n  if (!shape) return undefined\n  const slot = getSlot(shape)\n  if (!slot) return undefined\n  const roleTable = slot.roleTable as RoleTable | undefined\n  const solid = slot.solid as BrepHandle | undefined\n  if (!solid) return undefined\n\n  const faceHandles = kernel.getSubShapes(solid, 'face')\n  const faceHashes = Array.from(kernel.subShapeHashes(solid, 'face', HASH_UPPER_BOUND))\n  const faces = faceHandles.map((handle, i) => ({ ordinal: i + 1, hash: faceHashes[i] ?? 0, handle }))\n\n  const edgeHandles = kernel.getSubShapes(solid, 'edge')\n  const edges: EdgeCandidateEntry[] = edgeHandles.map((handle, i) => ({\n    ordinal: i + 1,\n    handle,\n    hint: captureEdgeHint(kernel, handle),\n  }))\n  const liveEdges = edges.filter((e): e is EdgeCandidateEntry & { handle: BrepHandle } => e.handle !== undefined)\n\n  // face → 邻接 edges（ordinal 1 起）。mesh 无 face→edge 邻接，这里 BREP 现场直取。\n  const faceHandlesArr = faceHandles.map((h, hi) => ({ handle: h, ordinal: hi + 1 }))\n\n  const faceEdgeAdjacency = faceHandlesArr.map(({ handle }) => {\n    const sub = kernel.getSubShapes(handle, 'edge')\n    return sub\n      .map((eh) => liveEdges.find((e) => kernel.isSame(eh, e.handle))?.ordinal)\n      .filter((v): v is number => v !== undefined)\n  })\n  const edgeFaceAdjacency = liveEdges.map(({ handle }) => {\n    const adj: number[] = []\n    for (const f of faceHandlesArr) {\n      if (kernel.getSubShapes(f.handle, 'edge').some((fe) => kernel.isSame(fe, handle))) {\n        adj.push(f.ordinal)\n      }\n    }\n    return adj\n  })\n\n  return { kernel, faces, edges, roleTable, faceEdgeAdjacency, edgeFaceAdjacency }\n}\n\n/**\n * 从 BREP 现场句柄建带边候选/邻接的 ResolutionContext（twoDistances 逐边重建用）。\n *\n * 与 `buildEdgeResolutionContext` 相同，但直接接收 live solid 句柄而非 Shape 槽——\n * 用于真机逐边构建后，输入已从上一次结果演化，Shape 槽里的 roleTable/hash 不再\n * 与当前句柄对应（§3.6 逐边构建，后续边要重新 resolve）。\n *\n * @param kernel - the OCCT kernel.\n * @param solid - the live BREP solid handle.\n * @param roleTable - optional role table to carry over (not used for strict matching).\n * @returns the edge-enabled resolution context (faces/edges/adjacency live from `solid`).\n */\nexport function buildEdgeContextFromSolid(\n  kernel: BrepEngineApi,\n  solid: BrepHandle,\n  roleTable?: RoleTable,\n): ResolutionContext {\n  const faceHandles = kernel.getSubShapes(solid, 'face')\n  const faces = faceHandles.map((handle, i) => ({ ordinal: i + 1, hash: undefined, handle }))\n  const edgeHandles = kernel.getSubShapes(solid, 'edge')\n  const edges: EdgeCandidateEntry[] = edgeHandles.map((handle, i) => ({\n    ordinal: i + 1,\n    handle,\n    hint: captureEdgeHint(kernel, handle),\n  }))\n  const liveEdges = edges.filter((e): e is EdgeCandidateEntry & { handle: BrepHandle } => e.handle !== undefined)\n  const faceHandlesArr = faceHandles.map((h, hi) => ({ handle: h, ordinal: hi + 1 }))\n  const faceEdgeAdjacency = faceHandlesArr.map(({ handle }) => {\n    const sub = kernel.getSubShapes(handle, 'edge')\n    return sub\n      .map((eh) => liveEdges.find((e) => kernel.isSame(eh, e.handle))?.ordinal)\n      .filter((v): v is number => v !== undefined)\n  })\n  const edgeFaceAdjacency = liveEdges.map(({ handle }) => {\n    const adj: number[] = []\n    for (const f of faceHandlesArr) {\n      if (kernel.getSubShapes(f.handle, 'edge').some((fe) => kernel.isSame(fe, handle))) adj.push(f.ordinal)\n    }\n    return adj\n  })\n  return { kernel, faces, edges, roleTable, faceEdgeAdjacency, edgeFaceAdjacency }\n}\n\n/**\n * 解析一个 face TopoRef 到「当前几何」，并从解析出的候选面派生求解几何。\n *\n * 结果与命名行的 surfaceType/center/normal 同口径（BREAK 现场 captureFaceHint /\n * mesh 行快照），保证两侧派生值一致。\n *\n * @param kernel - the OCCT kernel (can be null on the mesh/primitive path).\n * @param shape - the live input shape whose naming slot is being resolved.\n * @param ref - the FaceTopoRef captured earlier.\n * @returns the current face geometry (center/normal/surfaceType).\n */\nexport function resolveFaceGeometry(\n  kernel: BrepEngineApi | null,\n  shape: Shape,\n  ref: FaceTopoRef,\n): ResolvedFaceGeometry {\n  const ctx = buildShapeResolutionContext(kernel, shape)\n  if (!ctx) {\n    throw new TopoRefError(\n      'E_TOPO_NOT_FOUND',\n      'face',\n      `no naming context on input shape (origin=${ref.origin}, role=${ref.role})`,\n    )\n  }\n  const entity = resolveTopoRef(ref, ctx)\n  const entry = ctx.faces[entity.ordinal - 1]\n  if (!entry) {\n    throw new TopoRefError(\n      'E_TOPO_NOT_FOUND',\n      'face',\n      `resolved ordinal ${entity.ordinal} has no candidate in context (origin=${ref.origin}, role=${ref.role})`,\n    )\n  }\n  // BREAK 现场：capture 出当前法向/中心（圆柱面含轴）\n  if (entry.handle && ctx.kernel) {\n    const hint = captureFaceHint(ctx.kernel, entry.handle)\n    return {\n      surfaceType: hint.surfaceType,\n      center: hint.center ?? [0, 0, 0],\n      normal: hint.normal ?? [0, 0, 1],\n      ...(hint.axis ? { axis: hint.axis } : {}),\n    }\n  }\n  // mesh/行快照：直接用行几何（axis 由宿主行注入，缺省 undefined）\n  const ext = entry.row\n  const hint = ext ? faceRowToHint(ext) : undefined\n  return {\n    surfaceType: hint?.surfaceType,\n    center: hint?.center ?? [0, 0, 0],\n    normal: hint?.normal ?? [0, 0, 1],\n    ...(hint?.axis ? { axis: hint.axis } : {}),\n  }\n}\n\n/**\n * FaceMateConstraint 面的等价重载：face 参数对象（`{topoRef}` 或旧快照）的守卫。\n *\n * @param v - the value to test.\n * @returns true when the value is a FaceTopoRef (kind === 'face').\n */\nexport function isFaceTopoRef(v: unknown): v is FaceTopoRef {\n  return !!v && typeof v === 'object' && (v as { kind?: unknown }).kind === 'face'\n}"]}

package/dist/api/transform.d.ts

@@ -0,0 +1,108 @@
+/**
+ * stdlib transform — 变换对象库函数（translate/rotate_euler/scale/scale3d）
+ *
+ *
+ * dispatchPath 静态判定 brep/mesh，
+ * BREP 路径用 brepOf(input) 取输入实体、fromBrep 登记输出实体。
+ */
+import type { Shape } from '../mesh/types.js';
+/** BREP 路径：变换 solid + 恒等面演化 + 三角化 + fromBrep 登记。 */
+/**
+ * Validate translate parameters: `offset` must be a vec3.
+ * @param params - the raw translate operation parameters.
+ */
+export declare function assertTranslateParams(params: Record<string, unknown>): void;
+/**
+ * Validate rotate_euler parameters: `anglesDeg` must be a vec3, and `pivot`
+ * (if provided) must also be a vec3.
+ * @param params - the raw rotate_euler operation parameters.
+ */
+export declare function assertRotateParams(params: Record<string, unknown>): void;
+/**
+ * Validate scale parameters (brepjs contract, §4.6 裁决 2): `factor` must be a
+ * positive number (uniform). The non-uniform array form belongs to `scale3d` —
+ * any `scale(p, { factor: [x,y,z] })` call throws an explicit `E_ARGS_FORM`
+ * error pointing at `scale3d` (error hint ≠ compatibility).
+ * @param params - the raw scale operation parameters.
+ */
+export declare function assertScaleParams(params: Record<string, unknown>): void;
+/**
+ * Validate scale3d parameters (P6: factor locked to Vec3): `factor` must be a
+ * vec3. The uniform scalar form belongs to `scale` — any `scale3d(p, 2)` call
+ * throws an explicit `E_ARGS_FORM` error pointing at `scale` (§4.6 裁决 2).
+ * @param params - the raw scale3d operation parameters.
+ */
+export declare function assertScale3dParams(params: Record<string, unknown>): void;
+/**
+ * 平移几何体。
+ * @group 变换
+ * @inputs 1
+ * @async false
+ * @qual ok
+ * @name translate
+ * @returns Shape 平移后的几何，装配的相对位置靠成员的变换语句表达。
+ * @param input - 目标几何。type:Shape required:true
+ * @param params.offset - 平移向量（mm）。type:[x,y,z] required:true
+ * @example
+ * const p1 = cad.translate(part0, { offset: [10, 0, 0] })
+  */
+export declare const translate: ((input: Shape, params: Record<string, unknown>) => Promise<Shape>) & {
+    __faijs__dualOp?: import("../define-op.js").DualOpMeta;
+};
+/**
+ * 绕轴旋转几何体。anglesDeg 为欧拉角（度，XYZ 顺序）。
+ * @group 变换
+ * @inputs 1
+ * @async false
+ * @qual ok
+ * @name rotate_euler
+ * @returns Shape 旋转后的几何。
+ * @param input - 目标几何。type:Shape required:true
+ * @param params.anglesDeg - 欧拉角（度，XYZ 顺序）。type:[x,y,z] required:true
+ * @param params.pivot - 旋转中心。type:[x,y,z] 默认 原点
+ * @example
+ * const p2 = cad.rotate_euler(part0, { anglesDeg: [0, 0, 45] })
+ * const p3 = cad.rotate_euler(part0, { anglesDeg: [0, 0, 45], pivot: [0,0,0] })
+ */
+export declare const rotate_euler: ((input: Shape, params: Record<string, unknown>) => Promise<Shape>) & {
+    __faijs__dualOp?: import("../define-op.js").DualOpMeta;
+};
+/**
+ * 等比缩放几何体（brepjs 契约，§4.6 裁决 2）。factor 只收 number；不动点默认
+ * 原点（与 vendored `scale(shape, factor, { center? })` 一致），`center` 可选。
+ * @group 变换
+ * @inputs 1
+ * @async false
+ * @qual ok
+ * @name scale
+ * @returns Shape 缩放后的几何。
+ * @param input - 目标几何。type:Shape required:true
+ * @param params.factor - 等比缩放系数（> 0）。type:number required:true
+ * @param params.center - 缩放不动点（p 保持不动）。type:[x,y,z] 默认 [0,0,0]（原点）
+ * @example
+ * const p4 = cad.scale(part0, 2)
+ * const p5 = cad.scale(part0, { factor: 2, center: [10, 0, 0] })
+ */
+export declare const scale: ((input: Shape, params: Record<string, unknown>) => Promise<Shape>) & {
+    __faijs__dualOp?: import("../define-op.js").DualOpMeta;
+};
+/**
+ * 非等比缩放几何体（faijs 语义，§1.4.4 裁决 2）。factor 定死 vec3 — 等比缩放请用
+ * `scale(p, s)`，`scale3d(p, [x,y,z])` 才可非等比。`center` 为不动点（默认原点）。
+ * @group 变换
+ * @inputs 1
+ * @async false
+ * @qual ok
+ * @name scale3d
+ * @returns Shape 缩放后的几何。
+ * @param input - 目标几何。type:Shape required:true
+ * @param params.factor - 三轴缩放系数（均 > 0）。type:[x,y,z] required:true
+ * @param params.center - 缩放不动点。type:[x,y,z] 默认 [0,0,0]（原点）
+ * @example
+ * const p4 = cad.scale3d(part0, { factor: [2, 1, 1] })
+ * const p5 = cad.scale3d(part0, [2, 1, 1], { center: [10, 0, 0] })
+ */
+export declare const scale3d: ((input: Shape, params: Record<string, unknown>) => Promise<Shape>) & {
+    __faijs__dualOp?: import("../define-op.js").DualOpMeta;
+};
+//# sourceMappingURL=transform.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"transform.d.ts","sourceRoot":"","sources":["../../src/api/transform.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAEH,OAAO,KAAK,EAAE,KAAK,EAAQ,MAAM,eAAe,CAAA;AAahD,oDAAoD;AAEpD;;;GAGG;AACH,wBAAgB,qBAAqB,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG,IAAI,CAE3E;AAED;;;;GAIG;AACH,wBAAgB,kBAAkB,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG,IAAI,CAKxE;AAED;;;;;;GAMG;AACH,wBAAgB,iBAAiB,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG,IAAI,CAQvE;AAED;;;;;GAKG;AACH,wBAAgB,mBAAmB,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG,IAAI,CAQzE;AAkCD;;;;;;;;;;;;IAYI;AACJ,eAAO,MAAM,SAAS;;CAepB,CAAA;AAEF;;;;;;;;;;;;;;GAcG;AACH,eAAO,MAAM,YAAY;;CAcvB,CAAA;AAEF;;;;;;;;;;;;;;;GAeG;AACH,eAAO,MAAM,KAAK;;CAiBhB,CAAA;AAEF;;;;;;;;;;;;;;;GAeG;AACH,eAAO,MAAM,OAAO;;CAiBlB,CAAA"}

package/dist/api/transform.js

@@ -0,0 +1,229 @@
+/**
+ * stdlib transform — 变换对象库函数（translate/rotate_euler/scale/scale3d）
+ *
+ *
+ * dispatchPath 静态判定 brep/mesh，
+ * BREP 路径用 brepOf(input) 取输入实体、fromBrep 登记输出实体。
+ */
+import { cad } from '../mesh/index.js';
+import { translateBrep, rotateBrep, scaleBrep, solidToShape } from '../brep/brep-ops.js';
+import { identityEvolution, identityHashEvolution } from '../brep/face-evolution.js';
+import { getBackends } from '../runtime-state.js';
+import { fromBrep, brepOf, getSlot } from '../shape.js';
+import { propagateAllOrigins } from '../topology/naming/roles.js';
+import { defineOp } from '../sdk.js';
+import { assertVec3, assertPositiveNumber } from './assert.js';
+/** BREP 路径：变换 solid + 恒等面演化 + 三角化 + fromBrep 登记。 */
+/**
+ * Validate translate parameters: `offset` must be a vec3.
+ * @param params - the raw translate operation parameters.
+ */
+export function assertTranslateParams(params) {
+    assertVec3(params.offset, 'translate.offset');
+}
+/**
+ * Validate rotate_euler parameters: `anglesDeg` must be a vec3, and `pivot`
+ * (if provided) must also be a vec3.
+ * @param params - the raw rotate_euler operation parameters.
+ */
+export function assertRotateParams(params) {
+    assertVec3(params.anglesDeg, 'rotate_euler.anglesDeg');
+    if (params.pivot !== undefined && params.pivot !== null) {
+        assertVec3(params.pivot, 'rotate_euler.pivot');
+    }
+}
+/**
+ * Validate scale parameters (brepjs contract, §4.6 裁决 2): `factor` must be a
+ * positive number (uniform). The non-uniform array form belongs to `scale3d` —
+ * any `scale(p, { factor: [x,y,z] })` call throws an explicit `E_ARGS_FORM`
+ * error pointing at `scale3d` (error hint ≠ compatibility).
+ * @param params - the raw scale operation parameters.
+ */
+export function assertScaleParams(params) {
+    if (Array.isArray(params.factor)) {
+        throw new Error('[faijs/args] scale: E_ARGS_FORM: uniform scaling takes a single number ' +
+            '(scale(p, s, { center? })). Non-uniform scaling uses scale3d(p, [x,y,z]).');
+    }
+    assertPositiveNumber(params.factor, 'scale.factor');
+}
+/**
+ * Validate scale3d parameters (P6: factor locked to Vec3): `factor` must be a
+ * vec3. The uniform scalar form belongs to `scale` — any `scale3d(p, 2)` call
+ * throws an explicit `E_ARGS_FORM` error pointing at `scale` (§4.6 裁决 2).
+ * @param params - the raw scale3d operation parameters.
+ */
+export function assertScale3dParams(params) {
+    if (typeof params.factor === 'number') {
+        throw new Error('[faijs/args] scale3d: E_ARGS_FORM: factor must be a vec3 [x, y, z]. ' +
+            'Uniform scaling now uses scale(p, 2) (§4.6 裁决 2).');
+    }
+    assertVec3(params.factor, 'scale3d.factor');
+}
+/** BREP 路径：变换 solid + 恒等面演化 + 恒等 roleTable 传播 + 三角化 + fromBrep 登记。 */
+function transformBrep(op, input, params) {
+    const kernel = getBackends().kernel.brep;
+    if (!kernel)
+        throw new Error('[stdlib/transform] no OCCT kernel');
+    const inputSolid = brepOf(input);
+    if (!inputSolid)
+        throw new Error('[stdlib/transform] input is not BREP');
+    let resultSolid;
+    if (op === 'translate') {
+        resultSolid = translateBrep(kernel, inputSolid, params.offset);
+    }
+    else if (op === 'rotate_euler') {
+        resultSolid = rotateBrep(kernel, inputSolid, params.anglesDeg, params.pivot);
+    }
+    else {
+        // op is 'scale' | 'scale3d'：统一走 带不动点的 scaleBrep（factor number|Vec3）。
+        resultSolid = scaleBrep(kernel, inputSolid, params.factor, params.center);
+    }
+    // §2.4/§3.3：刚体变换面 1:1 保留——hash 恒等传播 roleTable（所有 origin）
+    const inputTable = getSlot(input)?.roleTable;
+    let roleTable;
+    if (inputTable && inputTable.size > 0) {
+        roleTable = propagateAllOrigins(inputTable, identityHashEvolution(kernel, inputSolid, resultSolid));
+    }
+    return fromBrep(solidToShape(kernel, resultSolid), {
+        solid: resultSolid,
+        // 变换不改变拓扑，面 ordinal 不变（与旧路径一致）
+        faceEvolution: identityEvolution(kernel, resultSolid),
+        roleTable,
+    });
+}
+/**
+ * 平移几何体。
+ * @group 变换
+ * @inputs 1
+ * @async false
+ * @qual ok
+ * @name translate
+ * @returns Shape 平移后的几何，装配的相对位置靠成员的变换语句表达。
+ * @param input - 目标几何。type:Shape required:true
+ * @param params.offset - 平移向量（mm）。type:[x,y,z] required:true
+ * @example
+ * const p1 = cad.translate(part0, { offset: [10, 0, 0] })
+  */
+export const translate = defineOp({
+    name: 'translate',
+    mesh: (input, params) => {
+        if (!input)
+            throw new Error('[stdlib/translate] no input geometry');
+        assertTranslateParams(params);
+        return cad.translate(input, params.offset);
+    },
+    brep: (input, params) => {
+        if (!input)
+            throw new Error('[stdlib/translate] no input geometry');
+        assertTranslateParams(params);
+        return transformBrep('translate', input, params);
+    },
+    // D11: `translate(p, 10, 0, 0)` == `translate(p, { offset: [10, 0, 0] })`;
+    // `offset` is a vec3 slot sitting after the single leading Shape argument.
+    slotMap: { keys: ['offset'], vec3Keys: ['offset'], shapeArity: 1 },
+});
+/**
+ * 绕轴旋转几何体。anglesDeg 为欧拉角（度，XYZ 顺序）。
+ * @group 变换
+ * @inputs 1
+ * @async false
+ * @qual ok
+ * @name rotate_euler
+ * @returns Shape 旋转后的几何。
+ * @param input - 目标几何。type:Shape required:true
+ * @param params.anglesDeg - 欧拉角（度，XYZ 顺序）。type:[x,y,z] required:true
+ * @param params.pivot - 旋转中心。type:[x,y,z] 默认 原点
+ * @example
+ * const p2 = cad.rotate_euler(part0, { anglesDeg: [0, 0, 45] })
+ * const p3 = cad.rotate_euler(part0, { anglesDeg: [0, 0, 45], pivot: [0,0,0] })
+ */
+export const rotate_euler = defineOp({
+    name: 'rotate_euler',
+    mesh: (input, params) => {
+        if (!input)
+            throw new Error('[stdlib/rotate_euler] no input geometry');
+        assertRotateParams(params);
+        return cad.rotate_euler(input, params.anglesDeg, params.pivot);
+    },
+    brep: (input, params) => {
+        if (!input)
+            throw new Error('[stdlib/rotate_euler] no input geometry');
+        assertRotateParams(params);
+        return transformBrep('rotate_euler', input, params);
+    },
+    // D11: `rotate_euler(p, 0, 0, 45)` == `rotate_euler(p, { anglesDeg: [0, 0, 45] })`.
+    slotMap: { keys: ['anglesDeg'], vec3Keys: ['anglesDeg'], shapeArity: 1 },
+});
+/**
+ * 等比缩放几何体（brepjs 契约，§4.6 裁决 2）。factor 只收 number；不动点默认
+ * 原点（与 vendored `scale(shape, factor, { center? })` 一致），`center` 可选。
+ * @group 变换
+ * @inputs 1
+ * @async false
+ * @qual ok
+ * @name scale
+ * @returns Shape 缩放后的几何。
+ * @param input - 目标几何。type:Shape required:true
+ * @param params.factor - 等比缩放系数（> 0）。type:number required:true
+ * @param params.center - 缩放不动点（p 保持不动）。type:[x,y,z] 默认 [0,0,0]（原点）
+ * @example
+ * const p4 = cad.scale(part0, 2)
+ * const p5 = cad.scale(part0, { factor: 2, center: [10, 0, 0] })
+ */
+export const scale = defineOp({
+    name: 'scale',
+    mesh: (input, params) => {
+        if (!input)
+            throw new Error('[stdlib/scale] no input geometry');
+        assertScaleParams(params);
+        return cad.scale(input, params.factor, params.center);
+    },
+    brep: (input, params) => {
+        if (!input)
+            throw new Error('[stdlib/scale] no input geometry');
+        assertScaleParams(params);
+        return transformBrep('scale', input, params);
+    },
+    // L3 schema: factor/center for codegen/UI panels.
+    schema: { factor: 'number', center: 'vec3?' },
+    // D11（§4.6）：`scale(p, 2)` == `scale(p, { factor: 2 })`（标量槽）；尾参 options
+    // （{center}）经 dual-form-args 尾参合并并入。
+    slotMap: { keys: ['factor'], shapeArity: 1 },
+});
+/**
+ * 非等比缩放几何体（faijs 语义，§1.4.4 裁决 2）。factor 定死 vec3 — 等比缩放请用
+ * `scale(p, s)`，`scale3d(p, [x,y,z])` 才可非等比。`center` 为不动点（默认原点）。
+ * @group 变换
+ * @inputs 1
+ * @async false
+ * @qual ok
+ * @name scale3d
+ * @returns Shape 缩放后的几何。
+ * @param input - 目标几何。type:Shape required:true
+ * @param params.factor - 三轴缩放系数（均 > 0）。type:[x,y,z] required:true
+ * @param params.center - 缩放不动点。type:[x,y,z] 默认 [0,0,0]（原点）
+ * @example
+ * const p4 = cad.scale3d(part0, { factor: [2, 1, 1] })
+ * const p5 = cad.scale3d(part0, [2, 1, 1], { center: [10, 0, 0] })
+ */
+export const scale3d = defineOp({
+    name: 'scale3d',
+    mesh: (input, params) => {
+        if (!input)
+            throw new Error('[stdlib/scale3d] no input geometry');
+        assertScale3dParams(params);
+        return cad.scale3d(input, params.factor, params.center);
+    },
+    brep: (input, params) => {
+        if (!input)
+            throw new Error('[stdlib/scale3d] no input geometry');
+        assertScale3dParams(params);
+        return transformBrep('scale3d', input, params);
+    },
+    // L3 schema: factor/center for codegen/UI panels.
+    schema: { factor: 'vec3', center: 'vec3?' },
+    // D11（裁决 2）：`scale3d(p, [1,2,3])` == `scale3d(p, { factor: [1,2,3] })`；
+    // 标量 factor（如 `scale(p, 2)`）由 assertScale3dParams 拒绝并提示 `scale`。
+    slotMap: { keys: ['factor'], vec3Keys: ['factor'], shapeArity: 1 },
+});
+//# sourceMappingURL=transform.js.map

package/dist/api/transform.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"transform.js","sourceRoot":"","sources":["../../src/api/transform.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAGH,OAAO,EAAE,GAAG,EAAE,MAAM,SAAS,CAAA;AAC7B,OAAO,EAAE,aAAa,EAAE,UAAU,EAAE,SAAS,EAAE,YAAY,EAAE,MAAM,kBAAkB,CAAA;AACrF,OAAO,EAAE,iBAAiB,EAAE,qBAAqB,EAAE,MAAM,wBAAwB,CAAA;AACjF,OAAO,EAAE,WAAW,EAAE,MAAM,kBAAkB,CAAA;AAC9C,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,UAAU,CAAA;AACpD,OAAO,EAAE,mBAAmB,EAAE,MAAM,0BAA0B,CAAA;AAE9D,OAAO,EAAE,QAAQ,EAAE,MAAM,QAAQ,CAAA;AACjC,OAAO,EAAE,UAAU,EAAE,oBAAoB,EAAE,MAAM,UAAU,CAAA;AAI3D,oDAAoD;AAEpD;;;GAGG;AACH,MAAM,UAAU,qBAAqB,CAAC,MAA+B;IACnE,UAAU,CAAC,MAAM,CAAC,MAAM,EAAE,kBAAkB,CAAC,CAAA;AAC/C,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,kBAAkB,CAAC,MAA+B;IAChE,UAAU,CAAC,MAAM,CAAC,SAAS,EAAE,wBAAwB,CAAC,CAAA;IACtD,IAAI,MAAM,CAAC,KAAK,KAAK,SAAS,IAAI,MAAM,CAAC,KAAK,KAAK,IAAI,EAAE,CAAC;QACxD,UAAU,CAAC,MAAM,CAAC,KAAK,EAAE,oBAAoB,CAAC,CAAA;IAChD,CAAC;AACH,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,iBAAiB,CAAC,MAA+B;IAC/D,IAAI,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC;QACjC,MAAM,IAAI,KAAK,CACb,yEAAyE;YACzE,2EAA2E,CAC5E,CAAA;IACH,CAAC;IACD,oBAAoB,CAAC,MAAM,CAAC,MAAM,EAAE,cAAc,CAAC,CAAA;AACrD,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,mBAAmB,CAAC,MAA+B;IACjE,IAAI,OAAO,MAAM,CAAC,MAAM,KAAK,QAAQ,EAAE,CAAC;QACtC,MAAM,IAAI,KAAK,CACb,sEAAsE;YACtE,mDAAmD,CACpD,CAAA;IACH,CAAC;IACD,UAAU,CAAC,MAAM,CAAC,MAAM,EAAE,gBAAgB,CAAC,CAAA;AAC7C,CAAC;AAED,sEAAsE;AACtE,SAAS,aAAa,CAAC,EAAU,EAAE,KAAY,EAAE,MAA+B;IAC9E,MAAM,MAAM,GAAG,WAAW,EAAE,CAAC,MAAM,CAAC,IAA4B,CAAA;IAChE,IAAI,CAAC,MAAM;QAAE,MAAM,IAAI,KAAK,CAAC,mCAAmC,CAAC,CAAA;IACjE,MAAM,UAAU,GAAG,MAAM,CAAC,KAAK,CAA2B,CAAA;IAC1D,IAAI,CAAC,UAAU;QAAE,MAAM,IAAI,KAAK,CAAC,sCAAsC,CAAC,CAAA;IAExE,IAAI,WAAuB,CAAA;IAC3B,IAAI,EAAE,KAAK,WAAW,EAAE,CAAC;QACvB,WAAW,GAAG,aAAa,CAAC,MAAM,EAAE,UAAU,EAAE,MAAM,CAAC,MAAc,CAAC,CAAA;IACxE,CAAC;SAAM,IAAI,EAAE,KAAK,cAAc,EAAE,CAAC;QACjC,WAAW,GAAG,UAAU,CAAC,MAAM,EAAE,UAAU,EAAE,MAAM,CAAC,SAAiB,EAAE,MAAM,CAAC,KAAyB,CAAC,CAAA;IAC1G,CAAC;SAAM,CAAC;QACN,qEAAqE;QACrE,WAAW,GAAG,SAAS,CAAC,MAAM,EAAE,UAAU,EAAE,MAAM,CAAC,MAAuB,EAAE,MAAM,CAAC,MAA0B,CAAC,CAAA;IAChH,CAAC;IAED,yDAAyD;IACzD,MAAM,UAAU,GAAG,OAAO,CAAC,KAAK,CAAC,EAAE,SAAkC,CAAA;IACrE,IAAI,SAAgC,CAAA;IACpC,IAAI,UAAU,IAAI,UAAU,CAAC,IAAI,GAAG,CAAC,EAAE,CAAC;QACtC,SAAS,GAAG,mBAAmB,CAAC,UAAU,EAAE,qBAAqB,CAAC,MAAM,EAAE,UAAU,EAAE,WAAW,CAAC,CAAC,CAAA;IACrG,CAAC;IAED,OAAO,QAAQ,CAAC,YAAY,CAAC,MAAM,EAAE,WAAW,CAAC,EAAE;QACjD,KAAK,EAAE,WAAW;QAClB,+BAA+B;QAC/B,aAAa,EAAE,iBAAiB,CAAC,MAAM,EAAE,WAAW,CAAC;QACrD,SAAS;KACV,CAAC,CAAA;AACJ,CAAC;AAED;;;;;;;;;;;;IAYI;AACJ,MAAM,CAAC,MAAM,SAAS,GAAG,QAAQ,CAAC;IAChC,IAAI,EAAE,WAAW;IACjB,IAAI,EAAE,CAAC,KAAY,EAAE,MAA+B,EAAE,EAAE;QACtD,IAAI,CAAC,KAAK;YAAE,MAAM,IAAI,KAAK,CAAC,sCAAsC,CAAC,CAAA;QACnE,qBAAqB,CAAC,MAAM,CAAC,CAAA;QAC7B,OAAO,GAAG,CAAC,SAAS,CAAC,KAAK,EAAE,MAAM,CAAC,MAAc,CAAC,CAAA;IACpD,CAAC;IACD,IAAI,EAAE,CAAC,KAAY,EAAE,MAA+B,EAAE,EAAE;QACtD,IAAI,CAAC,KAAK;YAAE,MAAM,IAAI,KAAK,CAAC,sCAAsC,CAAC,CAAA;QACnE,qBAAqB,CAAC,MAAM,CAAC,CAAA;QAC7B,OAAO,aAAa,CAAC,WAAW,EAAE,KAAK,EAAE,MAAM,CAAC,CAAA;IAClD,CAAC;IACD,2EAA2E;IAC3E,2EAA2E;IAC3E,OAAO,EAAE,EAAE,IAAI,EAAE,CAAC,QAAQ,CAAC,EAAE,QAAQ,EAAE,CAAC,QAAQ,CAAC,EAAE,UAAU,EAAE,CAAC,EAAE;CACnE,CAAC,CAAA;AAEF;;;;;;;;;;;;;;GAcG;AACH,MAAM,CAAC,MAAM,YAAY,GAAG,QAAQ,CAAC;IACnC,IAAI,EAAE,cAAc;IACpB,IAAI,EAAE,CAAC,KAAY,EAAE,MAA+B,EAAE,EAAE;QACtD,IAAI,CAAC,KAAK;YAAE,MAAM,IAAI,KAAK,CAAC,yCAAyC,CAAC,CAAA;QACtE,kBAAkB,CAAC,MAAM,CAAC,CAAA;QAC1B,OAAO,GAAG,CAAC,YAAY,CAAC,KAAK,EAAE,MAAM,CAAC,SAAiB,EAAE,MAAM,CAAC,KAAyB,CAAC,CAAA;IAC5F,CAAC;IACD,IAAI,EAAE,CAAC,KAAY,EAAE,MAA+B,EAAE,EAAE;QACtD,IAAI,CAAC,KAAK;YAAE,MAAM,IAAI,KAAK,CAAC,yCAAyC,CAAC,CAAA;QACtE,kBAAkB,CAAC,MAAM,CAAC,CAAA;QAC1B,OAAO,aAAa,CAAC,cAAc,EAAE,KAAK,EAAE,MAAM,CAAC,CAAA;IACrD,CAAC;IACD,oFAAoF;IACpF,OAAO,EAAE,EAAE,IAAI,EAAE,CAAC,WAAW,CAAC,EAAE,QAAQ,EAAE,CAAC,WAAW,CAAC,EAAE,UAAU,EAAE,CAAC,EAAE;CACzE,CAAC,CAAA;AAEF;;;;;;;;;;;;;;;GAeG;AACH,MAAM,CAAC,MAAM,KAAK,GAAG,QAAQ,CAAC;IAC5B,IAAI,EAAE,OAAO;IACb,IAAI,EAAE,CAAC,KAAY,EAAE,MAA+B,EAAE,EAAE;QACtD,IAAI,CAAC,KAAK;YAAE,MAAM,IAAI,KAAK,CAAC,kCAAkC,CAAC,CAAA;QAC/D,iBAAiB,CAAC,MAAM,CAAC,CAAA;QACzB,OAAO,GAAG,CAAC,KAAK,CAAC,KAAK,EAAE,MAAM,CAAC,MAAgB,EAAE,MAAM,CAAC,MAA0B,CAAC,CAAA;IACrF,CAAC;IACD,IAAI,EAAE,CAAC,KAAY,EAAE,MAA+B,EAAE,EAAE;QACtD,IAAI,CAAC,KAAK;YAAE,MAAM,IAAI,KAAK,CAAC,kCAAkC,CAAC,CAAA;QAC/D,iBAAiB,CAAC,MAAM,CAAC,CAAA;QACzB,OAAO,aAAa,CAAC,OAAO,EAAE,KAAK,EAAE,MAAM,CAAC,CAAA;IAC9C,CAAC;IACD,kDAAkD;IAClD,MAAM,EAAE,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,EAAE,OAAO,EAAE;IAC7C,uEAAuE;IACvE,qCAAqC;IACrC,OAAO,EAAE,EAAE,IAAI,EAAE,CAAC,QAAQ,CAAC,EAAE,UAAU,EAAE,CAAC,EAAE;CAC7C,CAAC,CAAA;AAEF;;;;;;;;;;;;;;;GAeG;AACH,MAAM,CAAC,MAAM,OAAO,GAAG,QAAQ,CAAC;IAC9B,IAAI,EAAE,SAAS;IACf,IAAI,EAAE,CAAC,KAAY,EAAE,MAA+B,EAAE,EAAE;QACtD,IAAI,CAAC,KAAK;YAAE,MAAM,IAAI,KAAK,CAAC,oCAAoC,CAAC,CAAA;QACjE,mBAAmB,CAAC,MAAM,CAAC,CAAA;QAC3B,OAAO,GAAG,CAAC,OAAO,CAAC,KAAK,EAAE,MAAM,CAAC,MAAc,EAAE,MAAM,CAAC,MAA0B,CAAC,CAAA;IACrF,CAAC;IACD,IAAI,EAAE,CAAC,KAAY,EAAE,MAA+B,EAAE,EAAE;QACtD,IAAI,CAAC,KAAK;YAAE,MAAM,IAAI,KAAK,CAAC,oCAAoC,CAAC,CAAA;QACjE,mBAAmB,CAAC,MAAM,CAAC,CAAA;QAC3B,OAAO,aAAa,CAAC,SAAS,EAAE,KAAK,EAAE,MAAM,CAAC,CAAA;IAChD,CAAC;IACD,kDAAkD;IAClD,MAAM,EAAE,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,OAAO,EAAE;IAC3C,wEAAwE;IACxE,iEAAiE;IACjE,OAAO,EAAE,EAAE,IAAI,EAAE,CAAC,QAAQ,CAAC,EAAE,QAAQ,EAAE,CAAC,QAAQ,CAAC,EAAE,UAAU,EAAE,CAAC,EAAE;CACnE,CAAC,CAAA","sourcesContent":["/**\n * stdlib transform — 变换对象库函数（translate/rotate_euler/scale/scale3d）\n *\n *\n * dispatchPath 静态判定 brep/mesh，\n * BREP 路径用 brepOf(input) 取输入实体、fromBrep 登记输出实体。\n */\n\nimport type { Shape, Vec3 } from '../mesh/types'\nimport { cad } from '../mesh'\nimport { translateBrep, rotateBrep, scaleBrep, solidToShape } from '../brep/brep-ops'\nimport { identityEvolution, identityHashEvolution } from '../brep/face-evolution'\nimport { getBackends } from '../runtime-state'\nimport { fromBrep, brepOf, getSlot } from '../shape'\nimport { propagateAllOrigins } from '../topology/naming/roles'\nimport type { RoleTable } from '../topology/naming/types'\nimport { defineOp } from '../sdk'\nimport { assertVec3, assertPositiveNumber } from './assert'\nimport type { BrepHandle } from '../brep/engine/types'\nimport type { BrepEngineApi } from '../brep/engine/primitives'\n\n/** BREP 路径：变换 solid + 恒等面演化 + 三角化 + fromBrep 登记。 */\n\n/**\n * Validate translate parameters: `offset` must be a vec3.\n * @param params - the raw translate operation parameters.\n */\nexport function assertTranslateParams(params: Record<string, unknown>): void {\n  assertVec3(params.offset, 'translate.offset')\n}\n\n/**\n * Validate rotate_euler parameters: `anglesDeg` must be a vec3, and `pivot`\n * (if provided) must also be a vec3.\n * @param params - the raw rotate_euler operation parameters.\n */\nexport function assertRotateParams(params: Record<string, unknown>): void {\n  assertVec3(params.anglesDeg, 'rotate_euler.anglesDeg')\n  if (params.pivot !== undefined && params.pivot !== null) {\n    assertVec3(params.pivot, 'rotate_euler.pivot')\n  }\n}\n\n/**\n * Validate scale parameters (brepjs contract, §4.6 裁决 2): `factor` must be a\n * positive number (uniform). The non-uniform array form belongs to `scale3d` —\n * any `scale(p, { factor: [x,y,z] })` call throws an explicit `E_ARGS_FORM`\n * error pointing at `scale3d` (error hint ≠ compatibility).\n * @param params - the raw scale operation parameters.\n */\nexport function assertScaleParams(params: Record<string, unknown>): void {\n  if (Array.isArray(params.factor)) {\n    throw new Error(\n      '[faijs/args] scale: E_ARGS_FORM: uniform scaling takes a single number ' +\n      '(scale(p, s, { center? })). Non-uniform scaling uses scale3d(p, [x,y,z]).',\n    )\n  }\n  assertPositiveNumber(params.factor, 'scale.factor')\n}\n\n/**\n * Validate scale3d parameters (P6: factor locked to Vec3): `factor` must be a\n * vec3. The uniform scalar form belongs to `scale` — any `scale3d(p, 2)` call\n * throws an explicit `E_ARGS_FORM` error pointing at `scale` (§4.6 裁决 2).\n * @param params - the raw scale3d operation parameters.\n */\nexport function assertScale3dParams(params: Record<string, unknown>): void {\n  if (typeof params.factor === 'number') {\n    throw new Error(\n      '[faijs/args] scale3d: E_ARGS_FORM: factor must be a vec3 [x, y, z]. ' +\n      'Uniform scaling now uses scale(p, 2) (§4.6 裁决 2).',\n    )\n  }\n  assertVec3(params.factor, 'scale3d.factor')\n}\n\n/** BREP 路径：变换 solid + 恒等面演化 + 恒等 roleTable 传播 + 三角化 + fromBrep 登记。 */\nfunction transformBrep(op: string, input: Shape, params: Record<string, unknown>): Shape {\n  const kernel = getBackends().kernel.brep as BrepEngineApi | null\n  if (!kernel) throw new Error('[stdlib/transform] no OCCT kernel')\n  const inputSolid = brepOf(input) as BrepHandle | undefined\n  if (!inputSolid) throw new Error('[stdlib/transform] input is not BREP')\n\n  let resultSolid: BrepHandle\n  if (op === 'translate') {\n    resultSolid = translateBrep(kernel, inputSolid, params.offset as Vec3)\n  } else if (op === 'rotate_euler') {\n    resultSolid = rotateBrep(kernel, inputSolid, params.anglesDeg as Vec3, params.pivot as Vec3 | undefined)\n  } else {\n    // op is 'scale' | 'scale3d'：统一走 带不动点的 scaleBrep（factor number|Vec3）。\n    resultSolid = scaleBrep(kernel, inputSolid, params.factor as number | Vec3, params.center as Vec3 | undefined)\n  }\n\n  // §2.4/§3.3：刚体变换面 1:1 保留——hash 恒等传播 roleTable（所有 origin）\n  const inputTable = getSlot(input)?.roleTable as RoleTable | undefined\n  let roleTable: RoleTable | undefined\n  if (inputTable && inputTable.size > 0) {\n    roleTable = propagateAllOrigins(inputTable, identityHashEvolution(kernel, inputSolid, resultSolid))\n  }\n\n  return fromBrep(solidToShape(kernel, resultSolid), {\n    solid: resultSolid,\n    // 变换不改变拓扑，面 ordinal 不变（与旧路径一致）\n    faceEvolution: identityEvolution(kernel, resultSolid),\n    roleTable,\n  })\n}\n\n/**\n * 平移几何体。\n * @group 变换\n * @inputs 1\n * @async false\n * @qual ok\n * @name translate\n * @returns Shape 平移后的几何，装配的相对位置靠成员的变换语句表达。\n * @param input - 目标几何。type:Shape required:true\n * @param params.offset - 平移向量（mm）。type:[x,y,z] required:true\n * @example\n * const p1 = cad.translate(part0, { offset: [10, 0, 0] })\n  */\nexport const translate = defineOp({\n  name: 'translate',\n  mesh: (input: Shape, params: Record<string, unknown>) => {\n    if (!input) throw new Error('[stdlib/translate] no input geometry')\n    assertTranslateParams(params)\n    return cad.translate(input, params.offset as Vec3)\n  },\n  brep: (input: Shape, params: Record<string, unknown>) => {\n    if (!input) throw new Error('[stdlib/translate] no input geometry')\n    assertTranslateParams(params)\n    return transformBrep('translate', input, params)\n  },\n  // D11: `translate(p, 10, 0, 0)` == `translate(p, { offset: [10, 0, 0] })`;\n  // `offset` is a vec3 slot sitting after the single leading Shape argument.\n  slotMap: { keys: ['offset'], vec3Keys: ['offset'], shapeArity: 1 },\n})\n\n/**\n * 绕轴旋转几何体。anglesDeg 为欧拉角（度，XYZ 顺序）。\n * @group 变换\n * @inputs 1\n * @async false\n * @qual ok\n * @name rotate_euler\n * @returns Shape 旋转后的几何。\n * @param input - 目标几何。type:Shape required:true\n * @param params.anglesDeg - 欧拉角（度，XYZ 顺序）。type:[x,y,z] required:true\n * @param params.pivot - 旋转中心。type:[x,y,z] 默认 原点\n * @example\n * const p2 = cad.rotate_euler(part0, { anglesDeg: [0, 0, 45] })\n * const p3 = cad.rotate_euler(part0, { anglesDeg: [0, 0, 45], pivot: [0,0,0] })\n */\nexport const rotate_euler = defineOp({\n  name: 'rotate_euler',\n  mesh: (input: Shape, params: Record<string, unknown>) => {\n    if (!input) throw new Error('[stdlib/rotate_euler] no input geometry')\n    assertRotateParams(params)\n    return cad.rotate_euler(input, params.anglesDeg as Vec3, params.pivot as Vec3 | undefined)\n  },\n  brep: (input: Shape, params: Record<string, unknown>) => {\n    if (!input) throw new Error('[stdlib/rotate_euler] no input geometry')\n    assertRotateParams(params)\n    return transformBrep('rotate_euler', input, params)\n  },\n  // D11: `rotate_euler(p, 0, 0, 45)` == `rotate_euler(p, { anglesDeg: [0, 0, 45] })`.\n  slotMap: { keys: ['anglesDeg'], vec3Keys: ['anglesDeg'], shapeArity: 1 },\n})\n\n/**\n * 等比缩放几何体（brepjs 契约，§4.6 裁决 2）。factor 只收 number；不动点默认\n * 原点（与 vendored `scale(shape, factor, { center? })` 一致），`center` 可选。\n * @group 变换\n * @inputs 1\n * @async false\n * @qual ok\n * @name scale\n * @returns Shape 缩放后的几何。\n * @param input - 目标几何。type:Shape required:true\n * @param params.factor - 等比缩放系数（> 0）。type:number required:true\n * @param params.center - 缩放不动点（p 保持不动）。type:[x,y,z] 默认 [0,0,0]（原点）\n * @example\n * const p4 = cad.scale(part0, 2)\n * const p5 = cad.scale(part0, { factor: 2, center: [10, 0, 0] })\n */\nexport const scale = defineOp({\n  name: 'scale',\n  mesh: (input: Shape, params: Record<string, unknown>) => {\n    if (!input) throw new Error('[stdlib/scale] no input geometry')\n    assertScaleParams(params)\n    return cad.scale(input, params.factor as number, params.center as Vec3 | undefined)\n  },\n  brep: (input: Shape, params: Record<string, unknown>) => {\n    if (!input) throw new Error('[stdlib/scale] no input geometry')\n    assertScaleParams(params)\n    return transformBrep('scale', input, params)\n  },\n  // L3 schema: factor/center for codegen/UI panels.\n  schema: { factor: 'number', center: 'vec3?' },\n  // D11（§4.6）：`scale(p, 2)` == `scale(p, { factor: 2 })`（标量槽）；尾参 options\n  // （{center}）经 dual-form-args 尾参合并并入。\n  slotMap: { keys: ['factor'], shapeArity: 1 },\n})\n\n/**\n * 非等比缩放几何体（faijs 语义，§1.4.4 裁决 2）。factor 定死 vec3 — 等比缩放请用\n * `scale(p, s)`，`scale3d(p, [x,y,z])` 才可非等比。`center` 为不动点（默认原点）。\n * @group 变换\n * @inputs 1\n * @async false\n * @qual ok\n * @name scale3d\n * @returns Shape 缩放后的几何。\n * @param input - 目标几何。type:Shape required:true\n * @param params.factor - 三轴缩放系数（均 > 0）。type:[x,y,z] required:true\n * @param params.center - 缩放不动点。type:[x,y,z] 默认 [0,0,0]（原点）\n * @example\n * const p4 = cad.scale3d(part0, { factor: [2, 1, 1] })\n * const p5 = cad.scale3d(part0, [2, 1, 1], { center: [10, 0, 0] })\n */\nexport const scale3d = defineOp({\n  name: 'scale3d',\n  mesh: (input: Shape, params: Record<string, unknown>) => {\n    if (!input) throw new Error('[stdlib/scale3d] no input geometry')\n    assertScale3dParams(params)\n    return cad.scale3d(input, params.factor as Vec3, params.center as Vec3 | undefined)\n  },\n  brep: (input: Shape, params: Record<string, unknown>) => {\n    if (!input) throw new Error('[stdlib/scale3d] no input geometry')\n    assertScale3dParams(params)\n    return transformBrep('scale3d', input, params)\n  },\n  // L3 schema: factor/center for codegen/UI panels.\n  schema: { factor: 'vec3', center: 'vec3?' },\n  // D11（裁决 2）：`scale3d(p, [1,2,3])` == `scale3d(p, { factor: [1,2,3] })`；\n  // 标量 factor（如 `scale(p, 2)`）由 assertScale3dParams 拒绝并提示 `scale`。\n  slotMap: { keys: ['factor'], vec3Keys: ['factor'], shapeArity: 1 },\n})\n"]}

package/dist/api/view/index.d.ts

@@ -0,0 +1,16 @@
+/**
+ * view — faijs 视图投影能力（路径 A：工程线稿 SVG；路径 B 见 3d_editor 宿主）
+ *
+ * 设计文档：docs/plans/2026-09-10-faijs-view-projection-and-screenshot.md §3.2
+ *
+ * 三个 op 全部返回**纯数据**（字符串 / 相机对象），不产出 Shape：
+ *   - viewCamera(view)  → 视图规格解析为相机纯数据；
+ *   - projectView(shape, view, opts?) → 单视图投影 SVG 字符串；
+ *   - projectSheet(shape, views, opts?) → 多视图（三视图 + 等轴测）组合 SVG。
+ *
+ * 均为只读查询：不消费、不修改 shape（配合 §3.7 规则 1：无赋值裸调用默认不消费）。
+ */
+export { viewCamera, resolveCamera, type ViewSpec, type StandardView, type IsoView, type AxisPlaneView, type DirectionView } from './view-camera.js';
+export { projectView, projectViewSvg, type ProjectViewOptions, type ProjectionSvg } from './view-projection.js';
+export { projectSheet, type SheetView, type ProjectSheetOptions } from './view-sheet.js';
+//# sourceMappingURL=index.d.ts.map

package/dist/api/view/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/api/view/index.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;GAWG;AAEH,OAAO,EAAE,UAAU,EAAE,aAAa,EAAE,KAAK,QAAQ,EAAE,KAAK,YAAY,EAAE,KAAK,OAAO,EAAE,KAAK,aAAa,EAAE,KAAK,aAAa,EAAE,MAAM,eAAe,CAAA;AACjJ,OAAO,EAAE,WAAW,EAAE,cAAc,EAAE,KAAK,kBAAkB,EAAE,KAAK,aAAa,EAAE,MAAM,mBAAmB,CAAA;AAC5G,OAAO,EAAE,YAAY,EAAE,KAAK,SAAS,EAAE,KAAK,mBAAmB,EAAE,MAAM,cAAc,CAAA"}

package/dist/api/view/index.js

@@ -0,0 +1,16 @@
+/**
+ * view — faijs 视图投影能力（路径 A：工程线稿 SVG；路径 B 见 3d_editor 宿主）
+ *
+ * 设计文档：docs/plans/2026-09-10-faijs-view-projection-and-screenshot.md §3.2
+ *
+ * 三个 op 全部返回**纯数据**（字符串 / 相机对象），不产出 Shape：
+ *   - viewCamera(view)  → 视图规格解析为相机纯数据；
+ *   - projectView(shape, view, opts?) → 单视图投影 SVG 字符串；
+ *   - projectSheet(shape, views, opts?) → 多视图（三视图 + 等轴测）组合 SVG。
+ *
+ * 均为只读查询：不消费、不修改 shape（配合 §3.7 规则 1：无赋值裸调用默认不消费）。
+ */
+export { viewCamera, resolveCamera } from './view-camera.js';
+export { projectView, projectViewSvg } from './view-projection.js';
+export { projectSheet } from './view-sheet.js';
+//# sourceMappingURL=index.js.map