@faicad/faijs 0.30.9 → 0.32.2

package/dist/api/sketch-on-surface.js

@@ -0,0 +1,99 @@
+import { getBrepApi } from '../brep/handle-bridge.js';
+import { fromBrep, fromBrepCurve } from '../shape.js';
+import { solidToShape } from '../brep/brep-ops.js';
+import { defineOp } from '../sdk.js';
+import { Blueprint } from '../geometry2d/blueprint.js';
+import { CompoundBlueprint } from '../geometry2d/compound-blueprint.js';
+import { organiseBlueprints } from '../geometry2d/organise.js';
+import { assembleWireOnFace } from '../geometry2d/bridge/on-surface.js';
+import { profileSegToCurve } from '../geometry2d/adapt.js';
+import { assertProfileParams } from './profile.js';
+import { fixWireOnFaceBrep } from './brep-operations/healingFns.js';
+import { resolveFaceHandle, orientLikeHost } from './sketch-on-face.js';
+/** Build one face (outer + optional holes) on the host face for an organised contour entry (UV-conform). */
+function buildOnFace(kernel, host, mode, entry) {
+    if (entry instanceof CompoundBlueprint) {
+        const outerWire = fixWireOnFaceBrep(assembleWireOnFace(kernel, host, mode, entry.blueprints[0]).wire, host);
+        let face = orientLikeHost(kernel, host, kernel.makeFace(outerWire));
+        const holes = entry.blueprints.slice(1).map((h) => fixWireOnFaceBrep(assembleWireOnFace(kernel, host, mode, h).wire, host));
+        if (holes.length > 0)
+            face = kernel.addHolesInFace(face, holes);
+        return face;
+    }
+    const wire = fixWireOnFaceBrep(assembleWireOnFace(kernel, host, mode, entry).wire, host);
+    return orientLikeHost(kernel, host, kernel.makeFace(wire));
+}
+/**
+ * Place `contours` onto the UV space of the host face and return one BREP face
+ * per classified contour (each outer + holes folded into a single face). Shared
+ * by `cad.sketchOnSurface` (wrap as a Shape) and `cad.punchHole` (extrude → cut).
+ * @param kernel - the BREP engine surface.
+ * @param host - the resolved live host face handle.
+ * @param mode - the face-scale (UV mapping) mode.
+ * @param contours - ordered 2D closed contour loops to place.
+ * @returns the BREP faces built on the host face (one per organised entry).
+ */
+export function placeContoursOnFace(kernel, host, mode, contours) {
+    const blueprints = contours.map((loop) => new Blueprint(loop.segments.map((s) => profileSegToCurve(s))));
+    const organised = organiseBlueprints(blueprints);
+    return organised.blueprints.map((entry) => buildOnFace(kernel, host, mode, entry));
+}
+/**
+ * Build a 3D Shape from closed contours placed on the host face (UV-conform).
+ * @param kernel - the BREP engine surface.
+ * @param params - contour loops + target solid + face + scale mode.
+ * @returns Shape on the target face (face, or the outer wire when `as:'wire'`).
+ */
+export function buildSketchOnSurfaceWith(kernel, params) {
+    const host = resolveFaceHandle(kernel, params.on, params.face);
+    const mode = params.scaleMode ?? 'original';
+    const blueprints = params.contours.map((loop) => new Blueprint(loop.segments.map((s) => profileSegToCurve(s))));
+    const organised = organiseBlueprints(blueprints);
+    if (params.as === 'wire') {
+        const outer = organised.blueprints[0] instanceof CompoundBlueprint
+            ? organised.blueprints[0].blueprints[0]
+            : organised.blueprints[0];
+        const { wire } = assembleWireOnFace(kernel, host, mode, outer);
+        return fromBrepCurve(solidToShape(kernel, wire), { solid: wire });
+    }
+    const faces = placeContoursOnFace(kernel, host, mode, params.contours);
+    if (faces.length === 0)
+        throw new Error('sketchOnSurface: no contours to place');
+    if (faces.length === 1) {
+        const f = faces[0];
+        return fromBrep(solidToShape(kernel, f), { solid: f });
+    }
+    const compound = kernel.makeCompound(faces);
+    return fromBrep(solidToShape(kernel, compound), { solid: compound });
+}
+/**
+ * `cad.sketchOnSurface`: place 2D contours on a face of a solid via UV-conform
+ * placement and construct a Shape.
+ *
+ * Curved/UV-conform variant of `cad.sketchOnFace` (which is now planar-only and
+ * engine-neutral). This op maps the contour into the face's `(u,v)` domain and
+ * snaps it to the surface, a step that needs the OCCT BREP platform, hence
+ * `engines: ['occt']`.
+ *
+ * @group 创建
+ * @inputs 0
+ * @async false
+ * @qual ok
+ * @name sketchOnSurface
+ * @returns Shape on the target face (face, or a wire curve when `as:'wire'`).
+ * @param params.contours - ordered 2D closed contours (same shape as `cad.profile`).type:any[] required:true
+ * @param params.on - the target solid on which the face lives.type:Shape required:true
+ * @param params.face - the host face: a 1-based ordinal or a `cad.faceRef(on, n)` result.type:any required:true
+ * @param params.scaleMode - UV mapping: 'original' (identity) | 'bounds'/'native' (affine-fit).type:string required:false
+ * @param params.as - `'face'` (default) or `'wire'` (outer loop only).type:string required:false
+ */
+export const sketchOnSurface = defineOp({
+    engines: ['occt'],
+    brep(params) {
+        assertProfileParams(params);
+        return buildSketchOnSurfaceWith(getBrepApi(), params);
+    },
+    naming: { kind: 'construct', newFaces: { via: 'explicit', vocab: [] } },
+    paramDims: {},
+});
+//# sourceMappingURL=sketch-on-surface.js.map

package/dist/api/sketch-on-surface.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"sketch-on-surface.js","sourceRoot":"","sources":["../../src/api/sketch-on-surface.ts"],"names":[],"mappings":"AA8BA,OAAO,EAAE,UAAU,EAAE,MAAM,uBAAuB,CAAA;AAClD,OAAO,EAAE,QAAQ,EAAE,aAAa,EAAE,MAAM,UAAU,CAAA;AAClD,OAAO,EAAE,YAAY,EAAE,MAAM,kBAAkB,CAAA;AAC/C,OAAO,EAAE,QAAQ,EAAE,MAAM,QAAQ,CAAA;AAEjC,OAAO,EAAE,SAAS,EAAE,MAAM,yBAAyB,CAAA;AACnD,OAAO,EAAE,iBAAiB,EAAE,MAAM,kCAAkC,CAAA;AACpE,OAAO,EAAE,kBAAkB,EAAE,MAAM,wBAAwB,CAAA;AAC3D,OAAO,EAAE,kBAAkB,EAAsB,MAAM,iCAAiC,CAAA;AACxF,OAAO,EAAE,iBAAiB,EAAuB,MAAM,qBAAqB,CAAA;AAC5E,OAAO,EAAE,mBAAmB,EAAoB,MAAM,WAAW,CAAA;AACjE,OAAO,EAAE,iBAAiB,EAAE,MAAM,8BAA8B,CAAA;AAChE,OAAO,EAAE,iBAAiB,EAAE,cAAc,EAA2B,MAAM,kBAAkB,CAAA;AAE7F,4GAA4G;AAC5G,SAAS,WAAW,CAAC,MAAqB,EAAE,IAAgB,EAAE,IAAmB,EAAE,KAAoC;IACrH,IAAI,KAAK,YAAY,iBAAiB,EAAE,CAAC;QACvC,MAAM,SAAS,GAAG,iBAAiB,CAAC,kBAAkB,CAAC,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,CAAC,UAAU,CAAC,CAAC,CAAE,CAAC,CAAC,IAAI,EAAE,IAAI,CAAC,CAAA;QAC5G,IAAI,IAAI,GAAG,cAAc,CAAC,MAAM,EAAE,IAAI,EAAE,MAAM,CAAC,QAAQ,CAAC,SAAS,CAAC,CAAC,CAAA;QACnE,MAAM,KAAK,GAAG,KAAK,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,iBAAiB,CAAC,kBAAkB,CAAC,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,IAAI,EAAE,IAAI,CAAU,CAAC,CAAA;QACpI,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC;YAAE,IAAI,GAAG,MAAM,CAAC,cAAc,CAAC,IAAI,EAAE,KAAK,CAAC,CAAA;QAC/D,OAAO,IAAI,CAAA;IACb,CAAC;IACD,MAAM,IAAI,GAAG,iBAAiB,CAAC,kBAAkB,CAAC,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC,IAAI,EAAE,IAAI,CAAC,CAAA;IACxF,OAAO,cAAc,CAAC,MAAM,EAAE,IAAI,EAAE,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAA;AAC5D,CAAC;AAED;;;;;;;;;GASG;AACH,MAAM,UAAU,mBAAmB,CACjC,MAAqB,EACrB,IAAgB,EAChB,IAAmB,EACnB,QAAuB;IAEvB,MAAM,UAAU,GAAG,QAAQ,CAAC,GAAG,CAC7B,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,SAAS,CAAC,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,iBAAiB,CAAC,CAAmB,CAAC,CAAC,CAAC,CAC1F,CAAA;IACD,MAAM,SAAS,GAAG,kBAAkB,CAAC,UAAU,CAAC,CAAA;IAChD,OAAO,SAAS,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,WAAW,CAAC,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC,CAAA;AACpF,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,wBAAwB,CAAC,MAAqB,EAAE,MAA0B;IACxF,MAAM,IAAI,GAAG,iBAAiB,CAAC,MAAM,EAAE,MAAM,CAAC,EAAE,EAAE,MAAM,CAAC,IAAI,CAAC,CAAA;IAC9D,MAAM,IAAI,GAAG,MAAM,CAAC,SAAS,IAAI,UAAU,CAAA;IAC3C,MAAM,UAAU,GAAG,MAAM,CAAC,QAAQ,CAAC,GAAG,CACpC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,SAAS,CAAC,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,iBAAiB,CAAC,CAAmB,CAAC,CAAC,CAAC,CAC1F,CAAA;IACD,MAAM,SAAS,GAAG,kBAAkB,CAAC,UAAU,CAAC,CAAA;IAEhD,IAAI,MAAM,CAAC,EAAE,KAAK,MAAM,EAAE,CAAC;QACzB,MAAM,KAAK,GACT,SAAS,CAAC,UAAU,CAAC,CAAC,CAAC,YAAY,iBAAiB;YAClD,CAAC,CAAC,SAAS,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAE;YACxC,CAAC,CAAE,SAAS,CAAC,UAAU,CAAC,CAAC,CAAe,CAAA;QAC5C,MAAM,EAAE,IAAI,EAAE,GAAG,kBAAkB,CAAC,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,CAAC,CAAA;QAC9D,OAAO,aAAa,CAAC,YAAY,CAAC,MAAM,EAAE,IAAI,CAAC,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAA;IACnE,CAAC;IAED,MAAM,KAAK,GAAG,mBAAmB,CAAC,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,CAAC,QAAQ,CAAC,CAAA;IACtE,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,uCAAuC,CAAC,CAAA;IAChF,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACvB,MAAM,CAAC,GAAG,KAAK,CAAC,CAAC,CAAE,CAAA;QACnB,OAAO,QAAQ,CAAC,YAAY,CAAC,MAAM,EAAE,CAAC,CAAC,EAAE,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,CAAA;IACxD,CAAC;IACD,MAAM,QAAQ,GAAG,MAAM,CAAC,YAAY,CAAC,KAAK,CAAC,CAAA;IAC3C,OAAO,QAAQ,CAAC,YAAY,CAAC,MAAM,EAAE,QAAQ,CAAC,EAAE,EAAE,KAAK,EAAE,QAAQ,EAAE,CAAC,CAAA;AACtE,CAAC;AAED;;;;;;;;;;;;;;;;;;;;GAoBG;AACH,MAAM,CAAC,MAAM,eAAe,GAAG,QAAQ,CAAC;IACtC,OAAO,EAAE,CAAC,MAAM,CAAC;IACjB,IAAI,CAAC,MAA+B;QAClC,mBAAmB,CAAC,MAAM,CAAC,CAAA;QAC3B,OAAO,wBAAwB,CAAC,UAAU,EAAE,EAAE,MAAuC,CAAC,CAAA;IACxF,CAAC;IACD,MAAM,EAAE,EAAE,IAAI,EAAE,WAAW,EAAE,QAAQ,EAAE,EAAE,GAAG,EAAE,UAAU,EAAE,KAAK,EAAE,EAAE,EAAE,EAAgB;IAErF,SAAS,EAAE,EAAE;CACd,CAAC,CAAA","sourcesContent":["/**\n * `cad.sketchOnSurface`: place 2D contours onto the UV parameter space of an\n * existing face (E3 placement) — the **curved / UV-conform** sketch op.\n *\n * This is the renamed successor of the old curved-capable `cad.sketchOnFace`\n * (2026-10-09 split). `cad.sketchOnFace` now owns the *planar* face case\n * (engine-neutral, works on OCCT and brepkit BREP as well as mesh solids); this\n * op owns the *surface* case: it maps the contour into the host face's `(u,v)`\n * domain and snaps the resulting wire to the surface via `fixWireOnFace` (occt\n * only), so it is declared `engines: ['occt']`.\n *\n * Unlike `sketchOnPlane` (which lifts a contour onto a whole plane *frame*),\n * `sketchOnSurface` lays the contour on the surface of a specific face of a\n * target solid. Every 2D curve is sampled, the samples mapped into the face's\n * `(u,v)` domain under a scale mode (`original` / `bounds` / `native`), the\n * surface evaluated at those UVs, and a curve edge interpolated through the\n * resulting 3D points (see `geometry2d/bridge/on-surface.ts`). The placed wire\n * then becomes a face (`as:'face'`) ready to be extruded along the face normal,\n * or is returned raw (`as:'wire'`).\n *\n * It is surface-type-independent (plane / cylinder / cone / sphere): for planar\n * host faces `makeFace` is exact, for curved ones the wire is snapped to the\n * surface via `fixWireOnFace` (occt-wasm 5.6) before `makeFace`. The op\n * declares `engines: ['occt']` because that snapping step needs the BREP\n * platform.\n * @module\n */\nimport type { Shape } from '../mesh/types'\nimport type { BrepEngineApi } from '../brep/engine/primitives'\nimport type { BrepHandle } from '../brep/engine/types'\nimport { getBrepApi } from '../brep/handle-bridge'\nimport { fromBrep, fromBrepCurve } from '../shape'\nimport { solidToShape } from '../brep/brep-ops'\nimport { defineOp } from '../sdk'\nimport type { Provenance } from '../topology/naming/lineage'\nimport { Blueprint } from '../geometry2d/blueprint'\nimport { CompoundBlueprint } from '../geometry2d/compound-blueprint'\nimport { organiseBlueprints } from '../geometry2d/organise'\nimport { assembleWireOnFace, type FaceScaleMode } from '../geometry2d/bridge/on-surface'\nimport { profileSegToCurve, type ProfileSegLike } from '../geometry2d/adapt'\nimport { assertProfileParams, type ProfileLoop } from './profile'\nimport { fixWireOnFaceBrep } from './brep-operations/healingFns'\nimport { resolveFaceHandle, orientLikeHost, type SketchOnFaceParams } from './sketch-on-face'\n\n/** Build one face (outer + optional holes) on the host face for an organised contour entry (UV-conform). */\nfunction buildOnFace(kernel: BrepEngineApi, host: BrepHandle, mode: FaceScaleMode, entry: Blueprint | CompoundBlueprint): BrepHandle {\n  if (entry instanceof CompoundBlueprint) {\n    const outerWire = fixWireOnFaceBrep(assembleWireOnFace(kernel, host, mode, entry.blueprints[0]!).wire, host)\n    let face = orientLikeHost(kernel, host, kernel.makeFace(outerWire))\n    const holes = entry.blueprints.slice(1).map((h) => fixWireOnFaceBrep(assembleWireOnFace(kernel, host, mode, h).wire, host) as never)\n    if (holes.length > 0) face = kernel.addHolesInFace(face, holes)\n    return face\n  }\n  const wire = fixWireOnFaceBrep(assembleWireOnFace(kernel, host, mode, entry).wire, host)\n  return orientLikeHost(kernel, host, kernel.makeFace(wire))\n}\n\n/**\n * Place `contours` onto the UV space of the host face and return one BREP face\n * per classified contour (each outer + holes folded into a single face). Shared\n * by `cad.sketchOnSurface` (wrap as a Shape) and `cad.punchHole` (extrude → cut).\n * @param kernel - the BREP engine surface.\n * @param host - the resolved live host face handle.\n * @param mode - the face-scale (UV mapping) mode.\n * @param contours - ordered 2D closed contour loops to place.\n * @returns the BREP faces built on the host face (one per organised entry).\n */\nexport function placeContoursOnFace(\n  kernel: BrepEngineApi,\n  host: BrepHandle,\n  mode: FaceScaleMode,\n  contours: ProfileLoop[],\n): BrepHandle[] {\n  const blueprints = contours.map(\n    (loop) => new Blueprint(loop.segments.map((s) => profileSegToCurve(s as ProfileSegLike))),\n  )\n  const organised = organiseBlueprints(blueprints)\n  return organised.blueprints.map((entry) => buildOnFace(kernel, host, mode, entry))\n}\n\n/**\n * Build a 3D Shape from closed contours placed on the host face (UV-conform).\n * @param kernel - the BREP engine surface.\n * @param params - contour loops + target solid + face + scale mode.\n * @returns Shape on the target face (face, or the outer wire when `as:'wire'`).\n */\nexport function buildSketchOnSurfaceWith(kernel: BrepEngineApi, params: SketchOnFaceParams): Shape {\n  const host = resolveFaceHandle(kernel, params.on, params.face)\n  const mode = params.scaleMode ?? 'original'\n  const blueprints = params.contours.map(\n    (loop) => new Blueprint(loop.segments.map((s) => profileSegToCurve(s as ProfileSegLike))),\n  )\n  const organised = organiseBlueprints(blueprints)\n\n  if (params.as === 'wire') {\n    const outer =\n      organised.blueprints[0] instanceof CompoundBlueprint\n        ? organised.blueprints[0].blueprints[0]!\n        : (organised.blueprints[0] as Blueprint)\n    const { wire } = assembleWireOnFace(kernel, host, mode, outer)\n    return fromBrepCurve(solidToShape(kernel, wire), { solid: wire })\n  }\n\n  const faces = placeContoursOnFace(kernel, host, mode, params.contours)\n  if (faces.length === 0) throw new Error('sketchOnSurface: no contours to place')\n  if (faces.length === 1) {\n    const f = faces[0]!\n    return fromBrep(solidToShape(kernel, f), { solid: f })\n  }\n  const compound = kernel.makeCompound(faces)\n  return fromBrep(solidToShape(kernel, compound), { solid: compound })\n}\n\n/**\n * `cad.sketchOnSurface`: place 2D contours on a face of a solid via UV-conform\n * placement and construct a Shape.\n *\n * Curved/UV-conform variant of `cad.sketchOnFace` (which is now planar-only and\n * engine-neutral). This op maps the contour into the face's `(u,v)` domain and\n * snaps it to the surface, a step that needs the OCCT BREP platform, hence\n * `engines: ['occt']`.\n *\n * @group 创建\n * @inputs 0\n * @async false\n * @qual ok\n * @name sketchOnSurface\n * @returns Shape on the target face (face, or a wire curve when `as:'wire'`).\n * @param params.contours - ordered 2D closed contours (same shape as `cad.profile`).type:any[] required:true\n * @param params.on - the target solid on which the face lives.type:Shape required:true\n * @param params.face - the host face: a 1-based ordinal or a `cad.faceRef(on, n)` result.type:any required:true\n * @param params.scaleMode - UV mapping: 'original' (identity) | 'bounds'/'native' (affine-fit).type:string required:false\n * @param params.as - `'face'` (default) or `'wire'` (outer loop only).type:string required:false\n */\nexport const sketchOnSurface = defineOp({\n  engines: ['occt'],\n  brep(params: Record<string, unknown>) {\n    assertProfileParams(params)\n    return buildSketchOnSurfaceWith(getBrepApi(), params as unknown as SketchOnFaceParams)\n  },\n  naming: { kind: 'construct', newFaces: { via: 'explicit', vocab: [] } } as Provenance,\n\n  paramDims: {},\n})\n"]}

package/dist/api/solid-offset/index.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/api/solid-offset/index.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;GAmBG;AAEH,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,kBAAkB,CAAA;AAS7C,KAAK,IAAI,GAAG,CAAC,MAAM,EAAE,MAAM,EAAE,MAAM,CAAC,CAAA;AAsCpC;;;;;;;;;;;;;;;GAeG;AACH,eAAO,MAAM,UAAU;;CAWrB,CAAA;AAuBF;;;;;;;;;;;;;;;;;;;;GAoBG;AACH,eAAO,MAAM,IAAI;;CAUf,CAAA"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/api/solid-offset/index.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;GAmBG;AAEH,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,kBAAkB,CAAA;AAS7C,KAAK,IAAI,GAAG,CAAC,MAAM,EAAE,MAAM,EAAE,MAAM,CAAC,CAAA;AAsCpC;;;;;;;;;;;;;;;GAeG;AACH,eAAO,MAAM,UAAU;;CAWrB,CAAA;AAuBF;;;;;;;;;;;;;;;;;;;;GAoBG;AACH,eAAO,MAAM,IAAI;;CAYf,CAAA"}

package/dist/api/solid-offset/index.js

@@ -128,5 +128,6 @@ export const pipe = defineOp({
         kind: 'unmodeled',
         reason: 'pipe face vocabulary not defined',
     },
+    paramDims: {},
 });
 //# sourceMappingURL=index.js.map

package/dist/api/solid-offset/index.js.map

@@ -1 +1 @@
-{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../src/api/solid-offset/index.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;GAmBG;AAIH,OAAO,EAAE,YAAY,EAAE,MAAM,qBAAqB,CAAA;AAClD,OAAO,EAAE,UAAU,EAAE,MAAM,0BAA0B,CAAA;AACrD,OAAO,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,aAAa,CAAA;AAC9C,OAAO,EAAE,QAAQ,EAAE,MAAM,WAAW,CAAA;AAEpC,OAAO,EAAE,aAAa,EAAE,MAAM,8BAA8B,CAAA;AAI5D,mCAAmC;AACnC,SAAS,QAAQ,CAAC,KAAY,EAAE,EAAU,EAAE,KAAa;IACvD,MAAM,CAAC,GAAG,MAAM,CAAC,KAAK,CAA2B,CAAA;IACjD,IAAI,CAAC,CAAC,EAAE,CAAC;QACP,MAAM,IAAI,KAAK,CAAC,KAAK,EAAE,CAAC,WAAW,EAAE,aAAa,EAAE,+BAA+B,KAAK,6BAA6B,CAAC,CAAA;IACxH,CAAC;IACD,OAAO,CAAC,CAAA;AACV,CAAC;AAED,gFAAgF;AAChF,2BAA2B;AAC3B,gFAAgF;AAEhF,uDAAuD;AACvD,SAAS,cAAc,CAAC,IAAW,EAAE,SAAe,EAAE,QAAgB;IACpE,IAAI,CAAC,IAAI,EAAE,CAAC;QACV,MAAM,IAAI,KAAK,CAAC,wEAAwE,CAAC,CAAA;IAC3F,CAAC;IACD,IACE,CAAC,KAAK,CAAC,OAAO,CAAC,SAAS,CAAC;QACzB,SAAS,CAAC,MAAM,KAAK,CAAC;QACtB,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,KAAK,QAAQ,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC;QACnE,CAAC,SAAS,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,SAAS,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,SAAS,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,EAChE,CAAC;QACD,MAAM,IAAI,KAAK,CAAC,qEAAqE,CAAC,CAAA;IACxF,CAAC;IACD,IAAI,OAAO,QAAQ,KAAK,QAAQ,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,QAAQ,CAAC,EAAE,CAAC;QAC/D,MAAM,IAAI,KAAK,CAAC,oEAAoE,CAAC,CAAA;IACvF,CAAC;IACD,MAAM,EAAE,GAAG,QAAQ,CAAC,IAAI,EAAE,YAAY,EAAE,YAAY,CAAC,CAAA;IACrD,MAAM,MAAM,GAAG,aAAa,EAAE,CAAC,UAAU,CACvC,EAAW,EAAE,SAAS,CAAC,CAAC,CAAC,EAAE,SAAS,CAAC,CAAC,CAAC,EAAE,SAAS,CAAC,CAAC,CAAC,EAAE,QAAQ,CACvC,CAAA;IAC1B,OAAO,QAAQ,CAAC,YAAY,CAAC,UAAU,EAAE,EAAE,MAAM,CAAC,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC,CAAA;AACxE,CAAC;AAED;;;;;;;;;;;;;;;GAeG;AACH,MAAM,CAAC,MAAM,UAAU,GAAG,QAAQ,CAAC;IACjC,IAAI,EAAE,YAAY;IAClB,SAAS,EAAE,EAAE,SAAS,EAAE,QAAQ,EAAE,QAAQ,EAAE,OAAO,EAAE;IACrD,IAAI,CAAC,IAAW,EAAE,SAAe,EAAE,QAAgB;QACjD,OAAO,cAAc,CAAC,IAAI,EAAE,SAAS,EAAE,QAAQ,CAAC,CAAA;IAClD,CAAC;IACD,OAAO,EAAE,CAAC,MAAM,CAAC;IACjB,MAAM,EAAE;QACN,IAAI,EAAE,WAAW;QACjB,MAAM,EAAE,2CAA2C;KACtC;CAChB,CAAC,CAAA;AAEF,gFAAgF;AAChF,uCAAuC;AACvC,gFAAgF;AAEhF;;;qBAGqB;AACrB,SAAS,QAAQ,CAAC,OAAc,EAAE,KAAY;IAC5C,IAAI,CAAC,OAAO,IAAI,CAAC,KAAK,EAAE,CAAC;QACvB,MAAM,IAAI,KAAK,CAAC,gEAAgE,CAAC,CAAA;IACnF,CAAC;IACD,MAAM,aAAa,GAAG,QAAQ,CAAC,OAAO,EAAE,MAAM,EAAE,SAAS,CAAC,CAAA;IAC1D,MAAM,WAAW,GAAG,QAAQ,CAAC,KAAK,EAAE,MAAM,EAAE,YAAY,CAAC,CAAA;IACzD,MAAM,MAAM,GAAG,UAAU,EAAE,CAAA;IAC3B,MAAM,MAAM,GAAG,aAAa,EAAE,CAAC,IAAI,CACjC,aAAsB,EAAE,WAAoB,CACpB,CAAA;IAC1B,OAAO,QAAQ,CAAC,YAAY,CAAC,MAAM,EAAE,MAAM,CAAC,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC,CAAA;AAClE,CAAC;AAED;;;;;;;;;;;;;;;;;;;;GAoBG;AACH,MAAM,CAAC,MAAM,IAAI,GAAG,QAAQ,CAAC;IAC3B,IAAI,EAAE,MAAM;IACZ,IAAI,CAAC,OAAc,EAAE,KAAY;QAC/B,OAAO,QAAQ,CAAC,OAAO,EAAE,KAAK,CAAC,CAAA;IACjC,CAAC;IACD,OAAO,EAAE,CAAC,MAAM,CAAC;IACjB,MAAM,EAAE;QACN,IAAI,EAAE,WAAW;QACjB,MAAM,EAAE,kCAAkC;KAC7B;CAChB,CAAC,CAAA","sourcesContent":["/**\n * api solid-offset — 实体与偏置族（S4 剩余：draftPrism / pipe，平台 op engines:['occt']）\n *\n * @platform occt — 本目录 import occt-kernel：`draftPrism`（拔模棱柱）与 `pipe`\n * （沿脊柱的管）直调 occt 原生（occt-wasm 原生有）。这两个原生方法**不在** L1 契约\n * `BrepEngineApi` 里（L1 只有 `offset` / `sweepPipeShell` 等，见\n * brep/engine/primitives.ts）⇒ 平台 op：defineOp 声明 `engines: ['occt']`（D11）。\n *\n * 方案落点：docs/plans/2026-10-07-occt-wasm-op-enablement-plan.md §3.4.4\n * （该族 5 项中 `offsetWire2d` / `buildSolidFromFaces` / `halfSpace` 已由 S3 落地）。\n * 与既有 op 的边界（§4.5 去重表）：\n * - `pipe` vs `sweep`：pipe = `BRepOffsetAPI_MakePipe`（沿脊柱的管，单截面裸管线）；\n *   sweep = `sweepPipeShell` / `simplePipe`（截面扫掠，带 Frenet/平滑选项）；\n * - `draftPrism` vs `extrude`：前者带拔模角（上下截面渐变），后者平行拔出；\n * - `draftPrism` vs `draft`：draft 对已有实体面加拔模斜度；draftPrism 是拔模挤出。\n *\n * 角度约定（实测钉住，见 test/api/occt-s4-solid-offset.test.ts）：occt 原生\n * `draftPrism` 的形参名即 `angleDeg`（**度**，facade 内部自行换算弧度）——脚本面\n * 直传度，不做二次换算。\n */\n\nimport type { Shape } from '../../mesh/types'\nimport type { BrepHandle } from '../../brep/engine/types'\nimport { solidToShape } from '../../brep/brep-ops'\nimport { getBrepApi } from '../../brep/handle-bridge'\nimport { brepOf, fromBrep } from '../../shape'\nimport { defineOp } from '../../sdk'\nimport type { Provenance } from '../../topology/naming/lineage'\nimport { getOcctKernel } from '../../occt-kernel/occtKernel'\n\ntype Vec3 = [number, number, number]\n\n/** 输入 Shape → 内核句柄（无 BREP 槁报错）。 */\nfunction handleOf(shape: Shape, op: string, which: string): BrepHandle {\n  const h = brepOf(shape) as BrepHandle | undefined\n  if (!h) {\n    throw new Error(`E_${op.toUpperCase()}_NO_BREP: ${op} requires a BREP handle for ${which} (mesh-only shape has none)`)\n  }\n  return h\n}\n\n// ─────────────────────────────────────────────────────────────────────────────\n// draftPrism — 拔模棱柱（带角度挤出）\n// ─────────────────────────────────────────────────────────────────────────────\n\n/** BREP 路径：occt 原生 draftPrism（angleDeg 度，原生内部换算弧度）。 */\nfunction draftPrismBrep(base: Shape, direction: Vec3, angleDeg: number): Shape {\n  if (!base) {\n    throw new Error('E_DRAFTPRISM_NO_BASE: draftPrism requires a planar base (face or wire)')\n  }\n  if (\n    !Array.isArray(direction) ||\n    direction.length !== 3 ||\n    direction.some((n) => typeof n !== 'number' || !Number.isFinite(n)) ||\n    (direction[0] === 0 && direction[1] === 0 && direction[2] === 0)\n  ) {\n    throw new Error('E_DRAFTPRISM_BAD_DIRECTION: direction must be a non-zero [dx,dy,dz]')\n  }\n  if (typeof angleDeg !== 'number' || !Number.isFinite(angleDeg)) {\n    throw new Error('E_DRAFTPRISM_BAD_ANGLE: angleDeg must be a finite number (degrees)')\n  }\n  const bh = handleOf(base, 'draftPrism', 'base shape')\n  const handle = getOcctKernel().draftPrism(\n    bh as never, direction[0], direction[1], direction[2], angleDeg,\n  ) as unknown as BrepHandle\n  return fromBrep(solidToShape(getBrepApi(), handle), { solid: handle })\n}\n\n/**\n * 拔模棱柱：把平面基底（face 或 wire）沿方向挤出，并施加拔模角（上下截面渐变）。\n * @group 创建\n * @inputs 0\n * @async false\n * @qual ok\n * @name draftPrism\n * @note 平台 op：仅 occt 引擎（原生 draftPrism，形参即 angleDeg——角度单位是**度**，\n *       原生内部换算）。角度为 0 时等价普通挤出。\n * @returns Shape 拔模挤出体。\n * @param base - 平面基底（face 或闭合 wire）。type:Shape required:true\n * @param direction - 挤出方向 [dx,dy,dz]（非零；长度即挤出距离）。type:Vec3 required:true\n * @param angleDeg - 拔模角（度）。type:number required:true\n * @example\n * const s = cad.draftPrism(squareFace, [0, 0, 10], 5)\n */\nexport const draftPrism = defineOp({\n  name: 'draftPrism',\n  paramDims: { direction: 'length', angleDeg: 'angle' },\n  brep(base: Shape, direction: Vec3, angleDeg: number) {\n    return draftPrismBrep(base, direction, angleDeg)\n  },\n  engines: ['occt'],\n  naming: {\n    kind: 'unmodeled',\n    reason: 'tapered prism face vocabulary not defined',\n  } as Provenance,\n})\n\n// ─────────────────────────────────────────────────────────────────────────────\n// pipe — 沿脊柱的管（BRepOffsetAPI_MakePipe）\n// ─────────────────────────────────────────────────────────────────────────────\n\n/** BREP 路径：occt 原生 pipe。脊柱须 wire（原生 TopoDS::Wire 转换）；截面原样透传\n *  ——**face 截面产实体，wire/edge 截面产壳**（BRepOffsetAPI_MakePipe 语义，\n *  实测钉在 test/api/occt-s4-solid-offset.test.ts A3/A4），故不做面→外环适配\n *  （那会把实体口径降级成壳）。 */\nfunction pipeBrep(profile: Shape, spine: Shape): Shape {\n  if (!profile || !spine) {\n    throw new Error('E_PIPE_MISSING_ARG: pipe requires a profile and a spine (wire)')\n  }\n  const profileHandle = handleOf(profile, 'pipe', 'profile')\n  const spineHandle = handleOf(spine, 'pipe', 'spine wire')\n  const kernel = getBrepApi()\n  const handle = getOcctKernel().pipe(\n    profileHandle as never, spineHandle as never,\n  ) as unknown as BrepHandle\n  return fromBrep(solidToShape(kernel, handle), { solid: handle })\n}\n\n/**\n * 沿脊柱扫出管：把截面沿脊柱 wire 扫掠（`BRepOffsetAPI_MakePipe` 裸管线；\n * 带过渡/方向控制的扫掠见 `sweep`）。\n *\n * 产物类型随截面类型（实测钉住，test/api/occt-s4-solid-offset.test.ts A3/A4）：\n * **截面 face → 实体；截面 wire/edge → 壳（管面，体积无意义）**。要实体管，\n * 喂面截面（如 `cad.profile` 的圆盘轮廓）。\n * @group 创建\n * @inputs 2\n * @async false\n * @qual ok\n * @name pipe\n * @note 平台 op：仅 occt 引擎（原生 pipe，L1 契约无对应成员）。脊柱须为 wire。\n *       非 occt 引擎执行前报错；brep_mock 不拦截。\n * @returns Shape 扫出的管（截面 face → 实体；wire/edge → 壳）。\n * @param profile - 截面（face → 实体；wire/edge → 壳）。\n *                  type:Shape required:true\n * @param spine - 脊柱 wire。type:Shape required:true\n * @example\n * const tube = cad.pipe(diskFace, spineWire)\n */\nexport const pipe = defineOp({\n  name: 'pipe',\n  brep(profile: Shape, spine: Shape) {\n    return pipeBrep(profile, spine)\n  },\n  engines: ['occt'],\n  naming: {\n    kind: 'unmodeled',\n    reason: 'pipe face vocabulary not defined',\n  } as Provenance,\n})\n"]}
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../src/api/solid-offset/index.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;GAmBG;AAIH,OAAO,EAAE,YAAY,EAAE,MAAM,qBAAqB,CAAA;AAClD,OAAO,EAAE,UAAU,EAAE,MAAM,0BAA0B,CAAA;AACrD,OAAO,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,aAAa,CAAA;AAC9C,OAAO,EAAE,QAAQ,EAAE,MAAM,WAAW,CAAA;AAEpC,OAAO,EAAE,aAAa,EAAE,MAAM,8BAA8B,CAAA;AAI5D,mCAAmC;AACnC,SAAS,QAAQ,CAAC,KAAY,EAAE,EAAU,EAAE,KAAa;IACvD,MAAM,CAAC,GAAG,MAAM,CAAC,KAAK,CAA2B,CAAA;IACjD,IAAI,CAAC,CAAC,EAAE,CAAC;QACP,MAAM,IAAI,KAAK,CAAC,KAAK,EAAE,CAAC,WAAW,EAAE,aAAa,EAAE,+BAA+B,KAAK,6BAA6B,CAAC,CAAA;IACxH,CAAC;IACD,OAAO,CAAC,CAAA;AACV,CAAC;AAED,gFAAgF;AAChF,2BAA2B;AAC3B,gFAAgF;AAEhF,uDAAuD;AACvD,SAAS,cAAc,CAAC,IAAW,EAAE,SAAe,EAAE,QAAgB;IACpE,IAAI,CAAC,IAAI,EAAE,CAAC;QACV,MAAM,IAAI,KAAK,CAAC,wEAAwE,CAAC,CAAA;IAC3F,CAAC;IACD,IACE,CAAC,KAAK,CAAC,OAAO,CAAC,SAAS,CAAC;QACzB,SAAS,CAAC,MAAM,KAAK,CAAC;QACtB,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,KAAK,QAAQ,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC;QACnE,CAAC,SAAS,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,SAAS,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,SAAS,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,EAChE,CAAC;QACD,MAAM,IAAI,KAAK,CAAC,qEAAqE,CAAC,CAAA;IACxF,CAAC;IACD,IAAI,OAAO,QAAQ,KAAK,QAAQ,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,QAAQ,CAAC,EAAE,CAAC;QAC/D,MAAM,IAAI,KAAK,CAAC,oEAAoE,CAAC,CAAA;IACvF,CAAC;IACD,MAAM,EAAE,GAAG,QAAQ,CAAC,IAAI,EAAE,YAAY,EAAE,YAAY,CAAC,CAAA;IACrD,MAAM,MAAM,GAAG,aAAa,EAAE,CAAC,UAAU,CACvC,EAAW,EAAE,SAAS,CAAC,CAAC,CAAC,EAAE,SAAS,CAAC,CAAC,CAAC,EAAE,SAAS,CAAC,CAAC,CAAC,EAAE,QAAQ,CACvC,CAAA;IAC1B,OAAO,QAAQ,CAAC,YAAY,CAAC,UAAU,EAAE,EAAE,MAAM,CAAC,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC,CAAA;AACxE,CAAC;AAED;;;;;;;;;;;;;;;GAeG;AACH,MAAM,CAAC,MAAM,UAAU,GAAG,QAAQ,CAAC;IACjC,IAAI,EAAE,YAAY;IAClB,SAAS,EAAE,EAAE,SAAS,EAAE,QAAQ,EAAE,QAAQ,EAAE,OAAO,EAAE;IACrD,IAAI,CAAC,IAAW,EAAE,SAAe,EAAE,QAAgB;QACjD,OAAO,cAAc,CAAC,IAAI,EAAE,SAAS,EAAE,QAAQ,CAAC,CAAA;IAClD,CAAC;IACD,OAAO,EAAE,CAAC,MAAM,CAAC;IACjB,MAAM,EAAE;QACN,IAAI,EAAE,WAAW;QACjB,MAAM,EAAE,2CAA2C;KACtC;CAChB,CAAC,CAAA;AAEF,gFAAgF;AAChF,uCAAuC;AACvC,gFAAgF;AAEhF;;;qBAGqB;AACrB,SAAS,QAAQ,CAAC,OAAc,EAAE,KAAY;IAC5C,IAAI,CAAC,OAAO,IAAI,CAAC,KAAK,EAAE,CAAC;QACvB,MAAM,IAAI,KAAK,CAAC,gEAAgE,CAAC,CAAA;IACnF,CAAC;IACD,MAAM,aAAa,GAAG,QAAQ,CAAC,OAAO,EAAE,MAAM,EAAE,SAAS,CAAC,CAAA;IAC1D,MAAM,WAAW,GAAG,QAAQ,CAAC,KAAK,EAAE,MAAM,EAAE,YAAY,CAAC,CAAA;IACzD,MAAM,MAAM,GAAG,UAAU,EAAE,CAAA;IAC3B,MAAM,MAAM,GAAG,aAAa,EAAE,CAAC,IAAI,CACjC,aAAsB,EAAE,WAAoB,CACpB,CAAA;IAC1B,OAAO,QAAQ,CAAC,YAAY,CAAC,MAAM,EAAE,MAAM,CAAC,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC,CAAA;AAClE,CAAC;AAED;;;;;;;;;;;;;;;;;;;;GAoBG;AACH,MAAM,CAAC,MAAM,IAAI,GAAG,QAAQ,CAAC;IAC3B,IAAI,EAAE,MAAM;IACZ,IAAI,CAAC,OAAc,EAAE,KAAY;QAC/B,OAAO,QAAQ,CAAC,OAAO,EAAE,KAAK,CAAC,CAAA;IACjC,CAAC;IACD,OAAO,EAAE,CAAC,MAAM,CAAC;IACjB,MAAM,EAAE;QACN,IAAI,EAAE,WAAW;QACjB,MAAM,EAAE,kCAAkC;KAC7B;IAEf,SAAS,EAAE,EAAE;CACd,CAAC,CAAA","sourcesContent":["/**\n * api solid-offset — 实体与偏置族（S4 剩余：draftPrism / pipe，平台 op engines:['occt']）\n *\n * @platform occt — 本目录 import occt-kernel：`draftPrism`（拔模棱柱）与 `pipe`\n * （沿脊柱的管）直调 occt 原生（occt-wasm 原生有）。这两个原生方法**不在** L1 契约\n * `BrepEngineApi` 里（L1 只有 `offset` / `sweepPipeShell` 等，见\n * brep/engine/primitives.ts）⇒ 平台 op：defineOp 声明 `engines: ['occt']`（D11）。\n *\n * 方案落点：docs/plans/2026-10-07-occt-wasm-op-enablement-plan.md §3.4.4\n * （该族 5 项中 `offsetWire2d` / `buildSolidFromFaces` / `halfSpace` 已由 S3 落地）。\n * 与既有 op 的边界（§4.5 去重表）：\n * - `pipe` vs `sweep`：pipe = `BRepOffsetAPI_MakePipe`（沿脊柱的管，单截面裸管线）；\n *   sweep = `sweepPipeShell` / `simplePipe`（截面扫掠，带 Frenet/平滑选项）；\n * - `draftPrism` vs `extrude`：前者带拔模角（上下截面渐变），后者平行拔出；\n * - `draftPrism` vs `draft`：draft 对已有实体面加拔模斜度；draftPrism 是拔模挤出。\n *\n * 角度约定（实测钉住，见 test/api/occt-s4-solid-offset.test.ts）：occt 原生\n * `draftPrism` 的形参名即 `angleDeg`（**度**，facade 内部自行换算弧度）——脚本面\n * 直传度，不做二次换算。\n */\n\nimport type { Shape } from '../../mesh/types'\nimport type { BrepHandle } from '../../brep/engine/types'\nimport { solidToShape } from '../../brep/brep-ops'\nimport { getBrepApi } from '../../brep/handle-bridge'\nimport { brepOf, fromBrep } from '../../shape'\nimport { defineOp } from '../../sdk'\nimport type { Provenance } from '../../topology/naming/lineage'\nimport { getOcctKernel } from '../../occt-kernel/occtKernel'\n\ntype Vec3 = [number, number, number]\n\n/** 输入 Shape → 内核句柄（无 BREP 槁报错）。 */\nfunction handleOf(shape: Shape, op: string, which: string): BrepHandle {\n  const h = brepOf(shape) as BrepHandle | undefined\n  if (!h) {\n    throw new Error(`E_${op.toUpperCase()}_NO_BREP: ${op} requires a BREP handle for ${which} (mesh-only shape has none)`)\n  }\n  return h\n}\n\n// ─────────────────────────────────────────────────────────────────────────────\n// draftPrism — 拔模棱柱（带角度挤出）\n// ─────────────────────────────────────────────────────────────────────────────\n\n/** BREP 路径：occt 原生 draftPrism（angleDeg 度，原生内部换算弧度）。 */\nfunction draftPrismBrep(base: Shape, direction: Vec3, angleDeg: number): Shape {\n  if (!base) {\n    throw new Error('E_DRAFTPRISM_NO_BASE: draftPrism requires a planar base (face or wire)')\n  }\n  if (\n    !Array.isArray(direction) ||\n    direction.length !== 3 ||\n    direction.some((n) => typeof n !== 'number' || !Number.isFinite(n)) ||\n    (direction[0] === 0 && direction[1] === 0 && direction[2] === 0)\n  ) {\n    throw new Error('E_DRAFTPRISM_BAD_DIRECTION: direction must be a non-zero [dx,dy,dz]')\n  }\n  if (typeof angleDeg !== 'number' || !Number.isFinite(angleDeg)) {\n    throw new Error('E_DRAFTPRISM_BAD_ANGLE: angleDeg must be a finite number (degrees)')\n  }\n  const bh = handleOf(base, 'draftPrism', 'base shape')\n  const handle = getOcctKernel().draftPrism(\n    bh as never, direction[0], direction[1], direction[2], angleDeg,\n  ) as unknown as BrepHandle\n  return fromBrep(solidToShape(getBrepApi(), handle), { solid: handle })\n}\n\n/**\n * 拔模棱柱：把平面基底（face 或 wire）沿方向挤出，并施加拔模角（上下截面渐变）。\n * @group 创建\n * @inputs 0\n * @async false\n * @qual ok\n * @name draftPrism\n * @note 平台 op：仅 occt 引擎（原生 draftPrism，形参即 angleDeg——角度单位是**度**，\n *       原生内部换算）。角度为 0 时等价普通挤出。\n * @returns Shape 拔模挤出体。\n * @param base - 平面基底（face 或闭合 wire）。type:Shape required:true\n * @param direction - 挤出方向 [dx,dy,dz]（非零；长度即挤出距离）。type:Vec3 required:true\n * @param angleDeg - 拔模角（度）。type:number required:true\n * @example\n * const s = cad.draftPrism(squareFace, [0, 0, 10], 5)\n */\nexport const draftPrism = defineOp({\n  name: 'draftPrism',\n  paramDims: { direction: 'length', angleDeg: 'angle' },\n  brep(base: Shape, direction: Vec3, angleDeg: number) {\n    return draftPrismBrep(base, direction, angleDeg)\n  },\n  engines: ['occt'],\n  naming: {\n    kind: 'unmodeled',\n    reason: 'tapered prism face vocabulary not defined',\n  } as Provenance,\n})\n\n// ─────────────────────────────────────────────────────────────────────────────\n// pipe — 沿脊柱的管（BRepOffsetAPI_MakePipe）\n// ─────────────────────────────────────────────────────────────────────────────\n\n/** BREP 路径：occt 原生 pipe。脊柱须 wire（原生 TopoDS::Wire 转换）；截面原样透传\n *  ——**face 截面产实体，wire/edge 截面产壳**（BRepOffsetAPI_MakePipe 语义，\n *  实测钉在 test/api/occt-s4-solid-offset.test.ts A3/A4），故不做面→外环适配\n *  （那会把实体口径降级成壳）。 */\nfunction pipeBrep(profile: Shape, spine: Shape): Shape {\n  if (!profile || !spine) {\n    throw new Error('E_PIPE_MISSING_ARG: pipe requires a profile and a spine (wire)')\n  }\n  const profileHandle = handleOf(profile, 'pipe', 'profile')\n  const spineHandle = handleOf(spine, 'pipe', 'spine wire')\n  const kernel = getBrepApi()\n  const handle = getOcctKernel().pipe(\n    profileHandle as never, spineHandle as never,\n  ) as unknown as BrepHandle\n  return fromBrep(solidToShape(kernel, handle), { solid: handle })\n}\n\n/**\n * 沿脊柱扫出管：把截面沿脊柱 wire 扫掠（`BRepOffsetAPI_MakePipe` 裸管线；\n * 带过渡/方向控制的扫掠见 `sweep`）。\n *\n * 产物类型随截面类型（实测钉住，test/api/occt-s4-solid-offset.test.ts A3/A4）：\n * **截面 face → 实体；截面 wire/edge → 壳（管面，体积无意义）**。要实体管，\n * 喂面截面（如 `cad.profile` 的圆盘轮廓）。\n * @group 创建\n * @inputs 2\n * @async false\n * @qual ok\n * @name pipe\n * @note 平台 op：仅 occt 引擎（原生 pipe，L1 契约无对应成员）。脊柱须为 wire。\n *       非 occt 引擎执行前报错；brep_mock 不拦截。\n * @returns Shape 扫出的管（截面 face → 实体；wire/edge → 壳）。\n * @param profile - 截面（face → 实体；wire/edge → 壳）。\n *                  type:Shape required:true\n * @param spine - 脊柱 wire。type:Shape required:true\n * @example\n * const tube = cad.pipe(diskFace, spineWire)\n */\nexport const pipe = defineOp({\n  name: 'pipe',\n  brep(profile: Shape, spine: Shape) {\n    return pipeBrep(profile, spine)\n  },\n  engines: ['occt'],\n  naming: {\n    kind: 'unmodeled',\n    reason: 'pipe face vocabulary not defined',\n  } as Provenance,\n\n  paramDims: {},\n})\n"]}

package/dist/api/split-by-plane.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"split-by-plane.d.ts","sourceRoot":"","sources":["../../src/api/split-by-plane.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AAEH,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,eAAe,CAAA;AAQ1C,KAAK,IAAI,GAAG,CAAC,MAAM,EAAE,MAAM,EAAE,MAAM,CAAC,CAAA;AAEpC,6BAA6B;AAC7B,MAAM,WAAW,kBAAkB;IACjC,iBAAiB;IACjB,KAAK,EAAE,IAAI,CAAA;IACX,mCAAmC;IACnC,MAAM,EAAE,IAAI,CAAA;CACb;AAuBD;;;;;;;;;;;;;;;GAeG;AACH,eAAO,MAAM,YAAY;;CAQvB,CAAA"}
+{"version":3,"file":"split-by-plane.d.ts","sourceRoot":"","sources":["../../src/api/split-by-plane.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AAEH,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,eAAe,CAAA;AAQ1C,KAAK,IAAI,GAAG,CAAC,MAAM,EAAE,MAAM,EAAE,MAAM,CAAC,CAAA;AAEpC,6BAA6B;AAC7B,MAAM,WAAW,kBAAkB;IACjC,iBAAiB;IACjB,KAAK,EAAE,IAAI,CAAA;IACX,mCAAmC;IACnC,MAAM,EAAE,IAAI,CAAA;CACb;AAuBD;;;;;;;;;;;;;;;GAeG;AACH,eAAO,MAAM,YAAY;;CAOvB,CAAA"}

package/dist/api/split-by-plane.js

@@ -50,7 +50,6 @@ function splitByPlaneBrep(input, params) {
  * const { positive, negative } = await cad.splitByPlane(part0, { point: [0,0,5], normal: [0,0,1] })
  */
 export const splitByPlane = defineOp({
-    capabilities: ['directEdit'],
     outputs: ['positive', 'negative'],
     paramDims: { 'params.point': 'length', 'params.normal': 'length' },
     brep(input, params) {

package/dist/api/split-by-plane.js.map

@@ -1 +1 @@
-{"version":3,"file":"split-by-plane.js","sourceRoot":"","sources":["../../src/api/split-by-plane.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AAIH,OAAO,EAAE,YAAY,EAAE,MAAM,kBAAkB,CAAA;AAC/C,OAAO,EAAE,UAAU,EAAE,MAAM,uBAAuB,CAAA;AAClD,OAAO,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,UAAU,CAAA;AAC3C,OAAO,EAAE,QAAQ,EAAE,MAAM,QAAQ,CAAA;AAajC,8DAA8D;AAC9D,SAAS,MAAM,CAAC,CAAO;IACrB,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,uEAAuE,CAAC,CAAA;IAC1F,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,gBAAgB,CAAC,KAAY,EAAE,MAA0B;IAChE,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,GAAG,MAAM,IAAK,EAAyB,CAAA;IAC9D,MAAM,MAAM,GAAG,UAAU,EAAE,CAAA;IAC3B,MAAM,KAAK,GAAG,MAAM,CAAC,KAAK,CAA2B,CAAA;IACrD,IAAI,CAAC,KAAK;QAAE,MAAM,IAAI,KAAK,CAAC,0DAA0D,CAAC,CAAA;IACvF,MAAM,MAAM,GAAG,MAAM,CAAC,YAAY,CAAC,KAAK,EAAE,MAAM,CAAC,KAAK,CAAC,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,CAAA;IACxE,OAAO;QACL,QAAQ,EAAE,QAAQ,CAAC,YAAY,CAAC,MAAM,EAAE,MAAM,CAAC,QAAQ,CAAC,EAAE,EAAE,KAAK,EAAE,MAAM,CAAC,QAAQ,EAAE,CAAC;QACrF,QAAQ,EAAE,QAAQ,CAAC,YAAY,CAAC,MAAM,EAAE,MAAM,CAAC,QAAQ,CAAC,EAAE,EAAE,KAAK,EAAE,MAAM,CAAC,QAAQ,EAAE,CAAC;KACtF,CAAA;AACH,CAAC;AAED;;;;;;;;;;;;;;;GAeG;AACH,MAAM,CAAC,MAAM,YAAY,GAAG,QAAQ,CAAC;IACnC,YAAY,EAAE,CAAC,YAAY,CAAC;IAC5B,OAAO,EAAE,CAAC,UAAU,EAAE,UAAU,CAAC;IACjC,SAAS,EAAE,EAAE,cAAc,EAAE,QAAQ,EAAE,eAAe,EAAE,QAAQ,EAAE;IAClE,IAAI,CAAC,KAAY,EAAE,MAA0B;QAC3C,OAAO,gBAAgB,CAAC,KAAK,EAAE,MAAM,CAAC,CAAA;IACxC,CAAC;IACD,MAAM,EAAE,EAAE,IAAI,EAAE,WAAW,EAAgB;CAC5C,CAAC,CAAA","sourcesContent":["/**\n * api splitByPlane — 平面二分：把 solid 沿无限平面切成两半（手写中立 op，Phase 6.1）\n *\n * 中立 op：L1 `splitByPlane(shape, point, normal)` 在 occt 与 brepkit 两侧均有\n * 真实现（occt-kernel/occt-primitives.ts / brepkit-kernel/brepkitKernel.ts）⇒\n * 走 `getBrepApi()`（D12），不声明 engines（实现只经 L1 契约面）。\n *\n * 产物形态（设计原则 5）：两半不是数组，是具名 `outputs: ['positive','negative']`\n * ——法向正侧 = positive（L1 契约 §3.7 口径，occt 适配器按质心投影分类）。\n * 先例：occt 适配器的 splitByPlane 直接返回 `{positive, negative}`。\n */\n\nimport type { Shape } from '../mesh/types'\nimport type { BrepHandle, BrepVec3 } from '../brep/engine/types'\nimport { solidToShape } from '../brep/brep-ops'\nimport { getBrepApi } from '../brep/handle-bridge'\nimport { brepOf, fromBrep } from '../shape'\nimport { defineOp } from '../sdk'\nimport type { Provenance } from '../topology/naming/lineage'\n\ntype Vec3 = [number, number, number]\n\n/** `cad.splitByPlane` 参数。 */\nexport interface SplitByPlaneParams {\n  /** 平面上一点（mm）。 */\n  point: Vec3\n  /** 平面法向（不必单位化；其正侧为 `positive`）。 */\n  normal: Vec3\n}\n\n/** 元组 → BrepVec3 对象（GOTCHA：L1 向量形参是 {x,y,z} 对象，元组会被读成零向量）。 */\nfunction toVec3(v: Vec3): BrepVec3 {\n  if (!Array.isArray(v) || v.length !== 3 || v.some((n) => typeof n !== 'number' || !Number.isFinite(n))) {\n    throw new Error('E_SPLIT_BY_PLANE_BAD_VEC: point/normal must be [x,y,z] finite numbers')\n  }\n  return { x: v[0], y: v[1], z: v[2] }\n}\n\n/** BREP 路径：L1 splitByPlane → 两半各自收养。 */\nfunction splitByPlaneBrep(input: Shape, params: SplitByPlaneParams): Record<string, Shape> {\n  const { point, normal } = params ?? ({} as SplitByPlaneParams)\n  const kernel = getBrepApi()\n  const solid = brepOf(input) as BrepHandle | undefined\n  if (!solid) throw new Error('E_SPLIT_BY_PLANE_NO_BREP: splitByPlane input is not BREP')\n  const halves = kernel.splitByPlane(solid, toVec3(point), toVec3(normal))\n  return {\n    positive: fromBrep(solidToShape(kernel, halves.positive), { solid: halves.positive }),\n    negative: fromBrep(solidToShape(kernel, halves.negative), { solid: halves.negative }),\n  }\n}\n\n/**\n * 沿无限平面把实体切成两半，返回法向正/负两半（具名产物）。\n * @group 特征\n * @inputs 1\n * @async true\n * @qual ok\n * @name splitByPlane\n * @note 中立 op：L1 splitByPlane 两引擎同实现。产物是具名两半\n *       `{ positive, negative }`（不是数组）；法向正侧 = positive。\n * @returns 具名产物 positive/negative。\n * @param input - 目标实体。type:Shape required:true\n * @param params.point - 平面上一点 [x,y,z]（mm）。type:Vec3 required:true\n * @param params.normal - 平面法向 [x,y,z]。type:Vec3 required:true\n * @example\n * const { positive, negative } = await cad.splitByPlane(part0, { point: [0,0,5], normal: [0,0,1] })\n */\nexport const splitByPlane = defineOp({\n  capabilities: ['directEdit'],\n  outputs: ['positive', 'negative'],\n  paramDims: { 'params.point': 'length', 'params.normal': 'length' },\n  brep(input: Shape, params: SplitByPlaneParams) {\n    return splitByPlaneBrep(input, params)\n  },\n  naming: { kind: 'subdivide' } as Provenance,\n})\n"]}
+{"version":3,"file":"split-by-plane.js","sourceRoot":"","sources":["../../src/api/split-by-plane.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AAIH,OAAO,EAAE,YAAY,EAAE,MAAM,kBAAkB,CAAA;AAC/C,OAAO,EAAE,UAAU,EAAE,MAAM,uBAAuB,CAAA;AAClD,OAAO,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,UAAU,CAAA;AAC3C,OAAO,EAAE,QAAQ,EAAE,MAAM,QAAQ,CAAA;AAajC,8DAA8D;AAC9D,SAAS,MAAM,CAAC,CAAO;IACrB,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,uEAAuE,CAAC,CAAA;IAC1F,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,gBAAgB,CAAC,KAAY,EAAE,MAA0B;IAChE,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,GAAG,MAAM,IAAK,EAAyB,CAAA;IAC9D,MAAM,MAAM,GAAG,UAAU,EAAE,CAAA;IAC3B,MAAM,KAAK,GAAG,MAAM,CAAC,KAAK,CAA2B,CAAA;IACrD,IAAI,CAAC,KAAK;QAAE,MAAM,IAAI,KAAK,CAAC,0DAA0D,CAAC,CAAA;IACvF,MAAM,MAAM,GAAG,MAAM,CAAC,YAAY,CAAC,KAAK,EAAE,MAAM,CAAC,KAAK,CAAC,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,CAAA;IACxE,OAAO;QACL,QAAQ,EAAE,QAAQ,CAAC,YAAY,CAAC,MAAM,EAAE,MAAM,CAAC,QAAQ,CAAC,EAAE,EAAE,KAAK,EAAE,MAAM,CAAC,QAAQ,EAAE,CAAC;QACrF,QAAQ,EAAE,QAAQ,CAAC,YAAY,CAAC,MAAM,EAAE,MAAM,CAAC,QAAQ,CAAC,EAAE,EAAE,KAAK,EAAE,MAAM,CAAC,QAAQ,EAAE,CAAC;KACtF,CAAA;AACH,CAAC;AAED;;;;;;;;;;;;;;;GAeG;AACH,MAAM,CAAC,MAAM,YAAY,GAAG,QAAQ,CAAC;IACnC,OAAO,EAAE,CAAC,UAAU,EAAE,UAAU,CAAC;IACjC,SAAS,EAAE,EAAE,cAAc,EAAE,QAAQ,EAAE,eAAe,EAAE,QAAQ,EAAE;IAClE,IAAI,CAAC,KAAY,EAAE,MAA0B;QAC3C,OAAO,gBAAgB,CAAC,KAAK,EAAE,MAAM,CAAC,CAAA;IACxC,CAAC;IACD,MAAM,EAAE,EAAE,IAAI,EAAE,WAAW,EAAgB;CAC5C,CAAC,CAAA","sourcesContent":["/**\n * api splitByPlane — 平面二分：把 solid 沿无限平面切成两半（手写中立 op，Phase 6.1）\n *\n * 中立 op：L1 `splitByPlane(shape, point, normal)` 在 occt 与 brepkit 两侧均有\n * 真实现（occt-kernel/occt-primitives.ts / brepkit-kernel/brepkitKernel.ts）⇒\n * 走 `getBrepApi()`（D12），不声明 engines（实现只经 L1 契约面）。\n *\n * 产物形态（设计原则 5）：两半不是数组，是具名 `outputs: ['positive','negative']`\n * ——法向正侧 = positive（L1 契约 §3.7 口径，occt 适配器按质心投影分类）。\n * 先例：occt 适配器的 splitByPlane 直接返回 `{positive, negative}`。\n */\n\nimport type { Shape } from '../mesh/types'\nimport type { BrepHandle, BrepVec3 } from '../brep/engine/types'\nimport { solidToShape } from '../brep/brep-ops'\nimport { getBrepApi } from '../brep/handle-bridge'\nimport { brepOf, fromBrep } from '../shape'\nimport { defineOp } from '../sdk'\nimport type { Provenance } from '../topology/naming/lineage'\n\ntype Vec3 = [number, number, number]\n\n/** `cad.splitByPlane` 参数。 */\nexport interface SplitByPlaneParams {\n  /** 平面上一点（mm）。 */\n  point: Vec3\n  /** 平面法向（不必单位化；其正侧为 `positive`）。 */\n  normal: Vec3\n}\n\n/** 元组 → BrepVec3 对象（GOTCHA：L1 向量形参是 {x,y,z} 对象，元组会被读成零向量）。 */\nfunction toVec3(v: Vec3): BrepVec3 {\n  if (!Array.isArray(v) || v.length !== 3 || v.some((n) => typeof n !== 'number' || !Number.isFinite(n))) {\n    throw new Error('E_SPLIT_BY_PLANE_BAD_VEC: point/normal must be [x,y,z] finite numbers')\n  }\n  return { x: v[0], y: v[1], z: v[2] }\n}\n\n/** BREP 路径：L1 splitByPlane → 两半各自收养。 */\nfunction splitByPlaneBrep(input: Shape, params: SplitByPlaneParams): Record<string, Shape> {\n  const { point, normal } = params ?? ({} as SplitByPlaneParams)\n  const kernel = getBrepApi()\n  const solid = brepOf(input) as BrepHandle | undefined\n  if (!solid) throw new Error('E_SPLIT_BY_PLANE_NO_BREP: splitByPlane input is not BREP')\n  const halves = kernel.splitByPlane(solid, toVec3(point), toVec3(normal))\n  return {\n    positive: fromBrep(solidToShape(kernel, halves.positive), { solid: halves.positive }),\n    negative: fromBrep(solidToShape(kernel, halves.negative), { solid: halves.negative }),\n  }\n}\n\n/**\n * 沿无限平面把实体切成两半，返回法向正/负两半（具名产物）。\n * @group 特征\n * @inputs 1\n * @async true\n * @qual ok\n * @name splitByPlane\n * @note 中立 op：L1 splitByPlane 两引擎同实现。产物是具名两半\n *       `{ positive, negative }`（不是数组）；法向正侧 = positive。\n * @returns 具名产物 positive/negative。\n * @param input - 目标实体。type:Shape required:true\n * @param params.point - 平面上一点 [x,y,z]（mm）。type:Vec3 required:true\n * @param params.normal - 平面法向 [x,y,z]。type:Vec3 required:true\n * @example\n * const { positive, negative } = await cad.splitByPlane(part0, { point: [0,0,5], normal: [0,0,1] })\n */\nexport const splitByPlane = defineOp({\n  outputs: ['positive', 'negative'],\n  paramDims: { 'params.point': 'length', 'params.normal': 'length' },\n  brep(input: Shape, params: SplitByPlaneParams) {\n    return splitByPlaneBrep(input, params)\n  },\n  naming: { kind: 'subdivide' } as Provenance,\n})\n"]}

package/dist/api/split.d.ts

@@ -4,7 +4,7 @@
  * @platform occt — 平台 op：内核原生 `split`（BRepAlgoAPI_Splitter）是 occt-only
  * （engine-method-map `split` → occt-only；L1 只有 `splitByPlane`）。本文件
  * 只取 L1 面做枚举/命名（getBrepApi），切分本身走平台面 getOcctKernel()（D3），
- * defineOp 声明 `engines: ['occt']`（D11），不声明 capabilities（互斥）。
+ * defineOp 声明 `engines: ['occt']`（D11），不声明其它收窄。
  *
  * 生成投影是 brep-only compatOp，不带角色表；本文件手写 defineOp，BREP 路径
  * 用内核原生 split（BRepAlgoAPI_Splitter）切分，存活面（hash 逐字不变）回投原

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

@@ -1 +1 @@
-{"version":3,"file":"split.d.ts","sourceRoot":"","sources":["../../src/api/split.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;GAeG;AAEH,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,eAAe,CAAA;AAiF1C;;;;;;;;;;;;;;GAcG;AACH,eAAO,MAAM,KAAK;;CAMhB,CAAA"}
+{"version":3,"file":"split.d.ts","sourceRoot":"","sources":["../../src/api/split.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;GAeG;AAEH,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,eAAe,CAAA;AAiF1C;;;;;;;;;;;;;;GAcG;AACH,eAAO,MAAM,KAAK;;CAQhB,CAAA"}

package/dist/api/split.js

@@ -4,7 +4,7 @@
  * @platform occt — 平台 op：内核原生 `split`（BRepAlgoAPI_Splitter）是 occt-only
  * （engine-method-map `split` → occt-only；L1 只有 `splitByPlane`）。本文件
  * 只取 L1 面做枚举/命名（getBrepApi），切分本身走平台面 getOcctKernel()（D3），
- * defineOp 声明 `engines: ['occt']`（D11），不声明 capabilities（互斥）。
+ * defineOp 声明 `engines: ['occt']`（D11），不声明其它收窄。
  *
  * 生成投影是 brep-only compatOp，不带角色表；本文件手写 defineOp，BREP 路径
  * 用内核原生 split（BRepAlgoAPI_Splitter）切分，存活面（hash 逐字不变）回投原
@@ -106,5 +106,6 @@ export const split = defineOp({
     },
     engines: ['occt'],
     naming: { kind: 'subdivide' },
+    paramDims: {},
 });
 //# sourceMappingURL=split.js.map

package/dist/api/split.js.map

@@ -1 +1 @@
-{"version":3,"file":"split.js","sourceRoot":"","sources":["../../src/api/split.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;GAeG;AAGH,OAAO,EAAE,YAAY,EAAE,MAAM,kBAAkB,CAAA;AAC/C,OAAO,EAAE,aAAa,EAAE,MAAM,wBAAwB,CAAA;AACtD,OAAO,EAAE,UAAU,EAAE,MAAM,uBAAuB,CAAA;AAClD,OAAO,EAAE,cAAc,EAAE,MAAM,kBAAkB,CAAA;AACjD,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,cAAc,EAAE,MAAM,UAAU,CAAA;AAC3D,OAAO,EAAE,QAAQ,EAAE,MAAM,QAAQ,CAAA;AAIjC,OAAO,EAAE,aAAa,EAAoB,MAAM,2BAA2B,CAAA;AAE3E,0DAA0D;AAC1D,SAAS,SAAS,CAAC,KAAY,EAAE,KAAc;IAC7C,8BAA8B;IAC9B,MAAM,MAAM,GAAG,UAAU,EAAE,CAAA;IAC3B,8BAA8B;IAC9B,MAAM,UAAU,GAAG,aAAa,EAAE,CAAA;IAClC,MAAM,UAAU,GAAG,MAAM,CAAC,KAAK,CAA2B,CAAA;IAC1D,IAAI,CAAC,UAAU;QAAE,MAAM,IAAI,KAAK,CAAC,+BAA+B,CAAC,CAAA;IACjE,MAAM,UAAU,GAAG,KAAK;SACrB,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,CAAC,CAA2B,CAAC;SAC/C,MAAM,CAAC,CAAC,CAAC,EAAmB,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAA;IACtC,IAAI,UAAU,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,KAAK,CAAA;IAEzC,kCAAkC;IAClC,MAAM,OAAO,GAAG,MAAM,CAAC,cAAc,EAAE,EAAE,EAAE,IAAI,EAAE,CAAC,CAAA;IAClD,MAAM,UAAU,GAAG,cAAc,CAAC,KAAK,CAA0B,CAAA;IAEjE,MAAM,WAAW,GAAG,aAAa,CAAC,MAAM,EAAE,UAAU,CAAC,CAAA;IACrD,MAAM,YAAY,GAAG,IAAI,GAAG,CAAC,WAAW,CAAC,CAAA;IACzC,MAAM,eAAe,GAAG,IAAI,GAAG,EAAkB,CAAA;IACjD,IAAI,UAAU,EAAE,CAAC;QACf,KAAK,MAAM,KAAK,IAAI,UAAU,CAAC,MAAM,EAAE,EAAE,CAAC;YACxC,KAAK,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,IAAI,KAAK;gBAAE,KAAK,MAAM,CAAC,IAAI,MAAM;oBAAE,eAAe,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,CAAA;QAC1F,CAAC;IACH,CAAC;IAED,sDAAsD;IACtD,0EAA0E;IAC1E,sCAAsC;IACtC,MAAM,WAAW,GAAG,UAAU,CAAC,KAAK,CAClC,UAAoC,EACpC,UAAsC,CACvC,CAAA;IAED,MAAM,YAAY,GAAG,aAAa,CAAC,MAAM,EAAE,WAAoC,CAAC,CAAA;IAChF,MAAM,WAAW,GAAG,MAAM,CAAC,YAAY,CAAC,WAAoC,EAAE,MAAM,CAAC,CAAA;IACrF,MAAM,eAAe,GAAG,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,mBAAmB,CAAC,CAAC,CAAC,CAAC,CAAA;IAE7E,MAAM,SAAS,GAAG,IAAI,GAAG,EAAiC,CAAA;IAC1D,MAAM,KAAK,GAAG,IAAI,GAAG,EAAoB,CAAA;IAEzC,mDAAmD;IACnD,MAAM,QAAQ,GAA+D,EAAE,CAAA;IAC/E,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,YAAY,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QAC7C,MAAM,CAAC,GAAG,YAAY,CAAC,CAAC,CAAE,CAAA;QAC1B,IAAI,YAAY,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;YACxB,MAAM,IAAI,GAAG,eAAe,CAAC,GAAG,CAAC,CAAC,CAAC,CAAA;YACnC,IAAI,IAAI,EAAE,CAAC;gBACT,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC;oBAAE,KAAK,CAAC,GAAG,CAAC,IAAI,EAAE,EAAE,CAAC,CAAA;gBACzC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAE,CAAC,IAAI,CAAC,CAAC,CAAC,CAAA;YAC1B,CAAC;QACH,CAAC;aAAM,CAAC;YACN,QAAQ,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,CAAC,EAAE,CAAC,EAAE,eAAe,CAAC,CAAC,CAAE,EAAE,CAAC,CAAA;QACpD,CAAC;IACH,CAAC;IACD,0BAA0B;IAC1B,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAA;IACxE,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,QAAQ,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACzC,MAAM,IAAI,GAAG,aAAa,CAAC,GAAG,CAAA;QAC9B,KAAK,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAA;IACrC,CAAC;IACD,SAAS,CAAC,GAAG,CAAC,OAAO,EAAE,KAAK,CAAC,CAAA;IAE7B,OAAO,QAAQ,CAAC,YAAY,CAAC,MAAM,EAAE,WAAoC,CAAC,EAAE;QAC1E,KAAK,EAAE,WAAoC;QAC3C,SAAS;KACV,CAAC,CAAA;AACJ,CAAC;AAED;;;;;;;;;;;;;;GAcG;AACH,MAAM,CAAC,MAAM,KAAK,GAAG,QAAQ,CAAC;IAC5B,IAAI,CAAC,KAAY,EAAE,KAAc;QAC/B,OAAO,SAAS,CAAC,KAAK,EAAE,KAAK,CAAC,CAAA;IAChC,CAAC;IACD,OAAO,EAAE,CAAC,MAAM,CAAC;IACjB,MAAM,EAAE,EAAE,IAAI,EAAE,WAAW,EAAgB;CAC5C,CAAC,CAAA","sourcesContent":["/**\n * api split — split（手写覆盖生成投影，Phase 3: L4 `splinter(#j)` 角色表）\n *\n * @platform occt — 平台 op：内核原生 `split`（BRepAlgoAPI_Splitter）是 occt-only\n * （engine-method-map `split` → occt-only；L1 只有 `splitByPlane`）。本文件\n * 只取 L1 面做枚举/命名（getBrepApi），切分本身走平台面 getOcctKernel()（D3），\n * defineOp 声明 `engines: ['occt']`（D11），不声明 capabilities（互斥）。\n *\n * 生成投影是 brep-only compatOp，不带角色表；本文件手写 defineOp，BREP 路径\n * 用内核原生 split（BRepAlgoAPI_Splitter）切分，存活面（hash 逐字不变）回投原\n * role，新造面（截面 + 被切细的侧面片）记 `splinter(#j)`，片序按质心排序保证跨\n * 重放稳定。\n *\n * 机制（无 splitWithHistory，纯 hash 比对 + 几何排序）：`subdivide` 类零声明，\n * 新造面不对应任何输入面的因果坐标，故挂消费它的那条语句、用稳定的片序 `#j` 区分。\n */\n\nimport type { Shape } from '../mesh/types'\nimport { solidToShape } from '../brep/brep-ops'\nimport { getFaceHashes } from '../brep/face-evolution'\nimport { getBrepApi } from '../brep/handle-bridge'\nimport { getCurrentStmt } from '../runtime-state'\nimport { fromBrep, brepOf, inputRoleTable } from '../shape'\nimport { defineOp } from '../sdk'\nimport type { Provenance } from '../topology/naming/lineage'\nimport type { RoleTable } from '../topology/naming/types'\nimport type { BrepHandle } from '../brep/engine/types'\nimport { getOcctKernel, type ShapeHandle } from '../occt-kernel/occtKernel'\n\n/** BREP 路径：用 tools 切分 input，存活面回投、新造面记 `splinter(#j)`。 */\nfunction splitBrep(input: Shape, tools: Shape[]): Shape {\n  // L1 面：枚举/命名（getBrepApi，D12）。\n  const kernel = getBrepApi()\n  // 平台面：原生 split（occt-only，D3）。\n  const occtKernel = getOcctKernel()\n  const inputSolid = brepOf(input) as BrepHandle | undefined\n  if (!inputSolid) throw new Error('[api/split] input is not BREP')\n  const toolSolids = tools\n    .map((t) => brepOf(t) as BrepHandle | undefined)\n    .filter((s): s is BrepHandle => !!s)\n  if (toolSolids.length === 0) return input\n\n  // Phase 1.6：origin = 本次语句 StmtId。\n  const outStmt = String(getCurrentStmt()?.id ?? '')\n  const inputTable = inputRoleTable(input) as RoleTable | undefined\n\n  const inputHashes = getFaceHashes(kernel, inputSolid)\n  const inputHashSet = new Set(inputHashes)\n  const inputHashToRole = new Map<number, string>()\n  if (inputTable) {\n    for (const roles of inputTable.values()) {\n      for (const [role, hashes] of roles) for (const h of hashes) inputHashToRole.set(h, role)\n    }\n  }\n\n  // 内核原生 split（BRepAlgoAPI_Splitter）返回包含所有碎片的 compound。\n  // BrepHandle（branded number）与 occt-wasm ShapeHandle（branded number）运行时同构，\n  // 品牌转换只发生在平台边界（occt-only 原生面，非跨引擎断言）。\n  const resultSolid = occtKernel.split(\n    inputSolid as unknown as ShapeHandle,\n    toolSolids as unknown as ShapeHandle[],\n  )\n\n  const resultHashes = getFaceHashes(kernel, resultSolid as unknown as BrepHandle)\n  const resultFaces = kernel.getSubShapes(resultSolid as unknown as BrepHandle, 'face')\n  const resultCentroids = resultFaces.map((f) => kernel.surfaceCenterOfMass(f))\n\n  const roleTable = new Map<string, Map<string, number[]>>()\n  const inner = new Map<string, number[]>()\n\n  // 存活面（hash 逐字不变）→ 回投原 role；其余 = 新造面 → splinter(#j)\n  const newFaces: { hash: number; c: { x: number; y: number; z: number } }[] = []\n  for (let i = 0; i < resultHashes.length; i++) {\n    const h = resultHashes[i]!\n    if (inputHashSet.has(h)) {\n      const role = inputHashToRole.get(h)\n      if (role) {\n        if (!inner.has(role)) inner.set(role, [])\n        inner.get(role)!.push(h)\n      }\n    } else {\n      newFaces.push({ hash: h, c: resultCentroids[i]! })\n    }\n  }\n  // 按质心 (x,y,z) 排序保证片序跨重放稳定\n  newFaces.sort((a, b) => a.c.x - b.c.x || a.c.y - b.c.y || a.c.z - b.c.z)\n  for (let j = 0; j < newFaces.length; j++) {\n    const role = `splinter(#${j})`\n    inner.set(role, [newFaces[j].hash])\n  }\n  roleTable.set(outStmt, inner)\n\n  return fromBrep(solidToShape(kernel, resultSolid as unknown as BrepHandle), {\n    solid: resultSolid as unknown as BrepHandle,\n    roleTable,\n  })\n}\n\n/**\n * 用工具几何切分目标几何（BRepAlgoAPI_Splitter），返回所有碎片组成的几何。\n * @group 特征\n * @inputs 2\n * @async true\n * @qual ok\n * @name split\n * @note BREP-only：非 BREP 输入抛 E_MESH_UNSUPPORTED。切分产生的截面 / 被切细的侧面\n *       片记 `splinter(#j)`（Phase 3 L4 抗重放词汇）。平台 op：仅 occt 引擎（原生 split）。\n * @returns Shape 切分后的几何（compound of pieces）。\n * @param input - 目标几何。type:Shape required:true\n * @param tools - 切刀几何（数组）。type:Shape[] required:true\n * @example\n * const pieces = await cad.split(part0, [part1])\n */\nexport const split = defineOp({\n  brep(input: Shape, tools: Shape[]) {\n    return splitBrep(input, tools)\n  },\n  engines: ['occt'],\n  naming: { kind: 'subdivide' } as Provenance,\n})\n"]}
+{"version":3,"file":"split.js","sourceRoot":"","sources":["../../src/api/split.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;GAeG;AAGH,OAAO,EAAE,YAAY,EAAE,MAAM,kBAAkB,CAAA;AAC/C,OAAO,EAAE,aAAa,EAAE,MAAM,wBAAwB,CAAA;AACtD,OAAO,EAAE,UAAU,EAAE,MAAM,uBAAuB,CAAA;AAClD,OAAO,EAAE,cAAc,EAAE,MAAM,kBAAkB,CAAA;AACjD,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,cAAc,EAAE,MAAM,UAAU,CAAA;AAC3D,OAAO,EAAE,QAAQ,EAAE,MAAM,QAAQ,CAAA;AAIjC,OAAO,EAAE,aAAa,EAAoB,MAAM,2BAA2B,CAAA;AAE3E,0DAA0D;AAC1D,SAAS,SAAS,CAAC,KAAY,EAAE,KAAc;IAC7C,8BAA8B;IAC9B,MAAM,MAAM,GAAG,UAAU,EAAE,CAAA;IAC3B,8BAA8B;IAC9B,MAAM,UAAU,GAAG,aAAa,EAAE,CAAA;IAClC,MAAM,UAAU,GAAG,MAAM,CAAC,KAAK,CAA2B,CAAA;IAC1D,IAAI,CAAC,UAAU;QAAE,MAAM,IAAI,KAAK,CAAC,+BAA+B,CAAC,CAAA;IACjE,MAAM,UAAU,GAAG,KAAK;SACrB,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,CAAC,CAA2B,CAAC;SAC/C,MAAM,CAAC,CAAC,CAAC,EAAmB,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAA;IACtC,IAAI,UAAU,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,KAAK,CAAA;IAEzC,kCAAkC;IAClC,MAAM,OAAO,GAAG,MAAM,CAAC,cAAc,EAAE,EAAE,EAAE,IAAI,EAAE,CAAC,CAAA;IAClD,MAAM,UAAU,GAAG,cAAc,CAAC,KAAK,CAA0B,CAAA;IAEjE,MAAM,WAAW,GAAG,aAAa,CAAC,MAAM,EAAE,UAAU,CAAC,CAAA;IACrD,MAAM,YAAY,GAAG,IAAI,GAAG,CAAC,WAAW,CAAC,CAAA;IACzC,MAAM,eAAe,GAAG,IAAI,GAAG,EAAkB,CAAA;IACjD,IAAI,UAAU,EAAE,CAAC;QACf,KAAK,MAAM,KAAK,IAAI,UAAU,CAAC,MAAM,EAAE,EAAE,CAAC;YACxC,KAAK,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,IAAI,KAAK;gBAAE,KAAK,MAAM,CAAC,IAAI,MAAM;oBAAE,eAAe,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,CAAA;QAC1F,CAAC;IACH,CAAC;IAED,sDAAsD;IACtD,0EAA0E;IAC1E,sCAAsC;IACtC,MAAM,WAAW,GAAG,UAAU,CAAC,KAAK,CAClC,UAAoC,EACpC,UAAsC,CACvC,CAAA;IAED,MAAM,YAAY,GAAG,aAAa,CAAC,MAAM,EAAE,WAAoC,CAAC,CAAA;IAChF,MAAM,WAAW,GAAG,MAAM,CAAC,YAAY,CAAC,WAAoC,EAAE,MAAM,CAAC,CAAA;IACrF,MAAM,eAAe,GAAG,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,mBAAmB,CAAC,CAAC,CAAC,CAAC,CAAA;IAE7E,MAAM,SAAS,GAAG,IAAI,GAAG,EAAiC,CAAA;IAC1D,MAAM,KAAK,GAAG,IAAI,GAAG,EAAoB,CAAA;IAEzC,mDAAmD;IACnD,MAAM,QAAQ,GAA+D,EAAE,CAAA;IAC/E,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,YAAY,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QAC7C,MAAM,CAAC,GAAG,YAAY,CAAC,CAAC,CAAE,CAAA;QAC1B,IAAI,YAAY,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;YACxB,MAAM,IAAI,GAAG,eAAe,CAAC,GAAG,CAAC,CAAC,CAAC,CAAA;YACnC,IAAI,IAAI,EAAE,CAAC;gBACT,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC;oBAAE,KAAK,CAAC,GAAG,CAAC,IAAI,EAAE,EAAE,CAAC,CAAA;gBACzC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAE,CAAC,IAAI,CAAC,CAAC,CAAC,CAAA;YAC1B,CAAC;QACH,CAAC;aAAM,CAAC;YACN,QAAQ,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,CAAC,EAAE,CAAC,EAAE,eAAe,CAAC,CAAC,CAAE,EAAE,CAAC,CAAA;QACpD,CAAC;IACH,CAAC;IACD,0BAA0B;IAC1B,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAA;IACxE,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,QAAQ,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACzC,MAAM,IAAI,GAAG,aAAa,CAAC,GAAG,CAAA;QAC9B,KAAK,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAA;IACrC,CAAC;IACD,SAAS,CAAC,GAAG,CAAC,OAAO,EAAE,KAAK,CAAC,CAAA;IAE7B,OAAO,QAAQ,CAAC,YAAY,CAAC,MAAM,EAAE,WAAoC,CAAC,EAAE;QAC1E,KAAK,EAAE,WAAoC;QAC3C,SAAS;KACV,CAAC,CAAA;AACJ,CAAC;AAED;;;;;;;;;;;;;;GAcG;AACH,MAAM,CAAC,MAAM,KAAK,GAAG,QAAQ,CAAC;IAC5B,IAAI,CAAC,KAAY,EAAE,KAAc;QAC/B,OAAO,SAAS,CAAC,KAAK,EAAE,KAAK,CAAC,CAAA;IAChC,CAAC;IACD,OAAO,EAAE,CAAC,MAAM,CAAC;IACjB,MAAM,EAAE,EAAE,IAAI,EAAE,WAAW,EAAgB;IAE3C,SAAS,EAAE,EAAE;CACd,CAAC,CAAA","sourcesContent":["/**\n * api split — split（手写覆盖生成投影，Phase 3: L4 `splinter(#j)` 角色表）\n *\n * @platform occt — 平台 op：内核原生 `split`（BRepAlgoAPI_Splitter）是 occt-only\n * （engine-method-map `split` → occt-only；L1 只有 `splitByPlane`）。本文件\n * 只取 L1 面做枚举/命名（getBrepApi），切分本身走平台面 getOcctKernel()（D3），\n * defineOp 声明 `engines: ['occt']`（D11），不声明其它收窄。\n *\n * 生成投影是 brep-only compatOp，不带角色表；本文件手写 defineOp，BREP 路径\n * 用内核原生 split（BRepAlgoAPI_Splitter）切分，存活面（hash 逐字不变）回投原\n * role，新造面（截面 + 被切细的侧面片）记 `splinter(#j)`，片序按质心排序保证跨\n * 重放稳定。\n *\n * 机制（无 splitWithHistory，纯 hash 比对 + 几何排序）：`subdivide` 类零声明，\n * 新造面不对应任何输入面的因果坐标，故挂消费它的那条语句、用稳定的片序 `#j` 区分。\n */\n\nimport type { Shape } from '../mesh/types'\nimport { solidToShape } from '../brep/brep-ops'\nimport { getFaceHashes } from '../brep/face-evolution'\nimport { getBrepApi } from '../brep/handle-bridge'\nimport { getCurrentStmt } from '../runtime-state'\nimport { fromBrep, brepOf, inputRoleTable } from '../shape'\nimport { defineOp } from '../sdk'\nimport type { Provenance } from '../topology/naming/lineage'\nimport type { RoleTable } from '../topology/naming/types'\nimport type { BrepHandle } from '../brep/engine/types'\nimport { getOcctKernel, type ShapeHandle } from '../occt-kernel/occtKernel'\n\n/** BREP 路径：用 tools 切分 input，存活面回投、新造面记 `splinter(#j)`。 */\nfunction splitBrep(input: Shape, tools: Shape[]): Shape {\n  // L1 面：枚举/命名（getBrepApi，D12）。\n  const kernel = getBrepApi()\n  // 平台面：原生 split（occt-only，D3）。\n  const occtKernel = getOcctKernel()\n  const inputSolid = brepOf(input) as BrepHandle | undefined\n  if (!inputSolid) throw new Error('[api/split] input is not BREP')\n  const toolSolids = tools\n    .map((t) => brepOf(t) as BrepHandle | undefined)\n    .filter((s): s is BrepHandle => !!s)\n  if (toolSolids.length === 0) return input\n\n  // Phase 1.6：origin = 本次语句 StmtId。\n  const outStmt = String(getCurrentStmt()?.id ?? '')\n  const inputTable = inputRoleTable(input) as RoleTable | undefined\n\n  const inputHashes = getFaceHashes(kernel, inputSolid)\n  const inputHashSet = new Set(inputHashes)\n  const inputHashToRole = new Map<number, string>()\n  if (inputTable) {\n    for (const roles of inputTable.values()) {\n      for (const [role, hashes] of roles) for (const h of hashes) inputHashToRole.set(h, role)\n    }\n  }\n\n  // 内核原生 split（BRepAlgoAPI_Splitter）返回包含所有碎片的 compound。\n  // BrepHandle（branded number）与 occt-wasm ShapeHandle（branded number）运行时同构，\n  // 品牌转换只发生在平台边界（occt-only 原生面，非跨引擎断言）。\n  const resultSolid = occtKernel.split(\n    inputSolid as unknown as ShapeHandle,\n    toolSolids as unknown as ShapeHandle[],\n  )\n\n  const resultHashes = getFaceHashes(kernel, resultSolid as unknown as BrepHandle)\n  const resultFaces = kernel.getSubShapes(resultSolid as unknown as BrepHandle, 'face')\n  const resultCentroids = resultFaces.map((f) => kernel.surfaceCenterOfMass(f))\n\n  const roleTable = new Map<string, Map<string, number[]>>()\n  const inner = new Map<string, number[]>()\n\n  // 存活面（hash 逐字不变）→ 回投原 role；其余 = 新造面 → splinter(#j)\n  const newFaces: { hash: number; c: { x: number; y: number; z: number } }[] = []\n  for (let i = 0; i < resultHashes.length; i++) {\n    const h = resultHashes[i]!\n    if (inputHashSet.has(h)) {\n      const role = inputHashToRole.get(h)\n      if (role) {\n        if (!inner.has(role)) inner.set(role, [])\n        inner.get(role)!.push(h)\n      }\n    } else {\n      newFaces.push({ hash: h, c: resultCentroids[i]! })\n    }\n  }\n  // 按质心 (x,y,z) 排序保证片序跨重放稳定\n  newFaces.sort((a, b) => a.c.x - b.c.x || a.c.y - b.c.y || a.c.z - b.c.z)\n  for (let j = 0; j < newFaces.length; j++) {\n    const role = `splinter(#${j})`\n    inner.set(role, [newFaces[j].hash])\n  }\n  roleTable.set(outStmt, inner)\n\n  return fromBrep(solidToShape(kernel, resultSolid as unknown as BrepHandle), {\n    solid: resultSolid as unknown as BrepHandle,\n    roleTable,\n  })\n}\n\n/**\n * 用工具几何切分目标几何（BRepAlgoAPI_Splitter），返回所有碎片组成的几何。\n * @group 特征\n * @inputs 2\n * @async true\n * @qual ok\n * @name split\n * @note BREP-only：非 BREP 输入抛 E_MESH_UNSUPPORTED。切分产生的截面 / 被切细的侧面\n *       片记 `splinter(#j)`（Phase 3 L4 抗重放词汇）。平台 op：仅 occt 引擎（原生 split）。\n * @returns Shape 切分后的几何（compound of pieces）。\n * @param input - 目标几何。type:Shape required:true\n * @param tools - 切刀几何（数组）。type:Shape[] required:true\n * @example\n * const pieces = await cad.split(part0, [part1])\n */\nexport const split = defineOp({\n  brep(input: Shape, tools: Shape[]) {\n    return splitBrep(input, tools)\n  },\n  engines: ['occt'],\n  naming: { kind: 'subdivide' } as Provenance,\n\n  paramDims: {},\n})\n"]}

package/dist/api/surface/arg-spec.d.ts

@@ -31,7 +31,6 @@
 export type ProjectionKind = 'brep-op' | 'query' | 'pure' | 'type' | 'skip' | 'faijs';
 import type { Provenance } from '../../topology/naming/lineage.js';
 import type { BrepEngineId } from '../../brep/engine/types.js';
-import type { BrepCapabilityName } from '../../cad-runtime/backend-dispatch.js';
 export type { Provenance } from '../../topology/naming/lineage.js';
 /** brep-op / query 的时间线消费声明（透传 defineOp 元数据，G3/G4）。 */
 /**
@@ -97,17 +96,9 @@ export interface ArgSpecEntry {
     /** P20: 机器参数名表（按位置顺序），供 dual-form-args resolveArgs 映射对象形态→位置数组。 */
     params?: string[];
     /**
-     * Phase 1（Brep 引擎可切换重构）：该 brep-op 所需的内核能力名（`BrepCapabilityName`：
-     * 族级布尔 / `BrepEvolutionKind` 真名 / `BrepMethodKind` 真名）。透传给 defineOp，
-     * 由 backend-dispatch 能力路由做执行前静态判定。依据 Phase 0 能力映射表
-     * （api/surface/capability-map.json）逐条填写。
-     */
-    capabilities?: BrepCapabilityName[];
-    /**
-     * Phase 5（narrowing plan D11）：平台身份声明——该 brep-op 只在列出的引擎上
-     * 实现（如 compat op 调 occt-only 方法 isNull/section/loft → ['occt']）。
-     * 缺省 = 全平台中立。可与 capabilities 并存（2026-09-24 撤销 D11-7 互斥）：
-     * engines 是引擎白名单，capabilities 是能力依赖，判定 engines 在先（D11-2）。
+     * Phase 5（narrowing plan D11）：平台身份声明——该 brep-op 只在列出的引擎上实现
+     * （如 compat op 调 occt-only 方法 isNull/section/loft → ['occt']）。
+     * 缺省 = 全平台中立。这是 op 侧唯一的收窄轴：引擎能做什么由引擎实现本身决定，
      * 生成器透传给 compatOp → defineOp engines，并写进 script-face-manifest。
      */
     engines?: readonly BrepEngineId[];
@@ -134,11 +125,12 @@ export interface ArgSpecEntry {
     /** D11 slot-map 声明（positional→object 装箱表）。 */
     slotMap?: import('../../api/internal/dual-form-args.js').SlotMap;
     /**
-     * P26 (unit-system D8): 脚本面参数量纲声明——`参数名 → DimName`。缺省该键的
-     * 参数视为无量纲、不参与静态 dimension 检查（10 裸数字会被拒、10*mm 通过）。
-     * 生成器透传给 defineOp 的 `paramDims`，并写进 script-face-manifest 供宿主读取。
+     * P26 (unit-system D8): 脚本面参数量纲声明——`参数名 → DimDecl`。`'plain'`
+     * 表示纯数字（无量纲，design doc §3.1）。缺省该键的参数视为无量纲、不参与
+     * 静态 dimension 检查（10 裸数字会被拒、10*mm 通过）。生成器透传给 defineOp
+     * 的 `paramDims`，并写进 script-face-manifest 供宿主读取。
      */
-    paramDims?: Record<string, import('../../units.js').DimName>;
+    paramDims?: Record<string, import('../../units.js').DimDecl>;
     /** P26 (unit-system D8): 返回值量纲声明（函数调用结果携带的量纲）。 */
     retDim?: import('../../units.js').DimName;
     /**

package/dist/api/surface/arg-spec.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"arg-spec.d.ts","sourceRoot":"","sources":["../../../src/api/surface/arg-spec.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA4BG;AAEH,kBAAkB;AAClB,MAAM,MAAM,cAAc,GAAG,SAAS,GAAG,OAAO,GAAG,MAAM,GAAG,MAAM,GAAG,MAAM,GAAG,OAAO,CAAA;AAErF,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,+BAA+B,CAAA;AAC/D,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,yBAAyB,CAAA;AAC3D,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,oCAAoC,CAAA;AAE5E,YAAY,EAAE,UAAU,EAAE,MAAM,+BAA+B,CAAA;AAE/D,uDAAuD;AAEvD;;;GAGG;AACH,MAAM,WAAW,UAAU;IACzB,IAAI,EAAE,MAAM,CAAA;IACZ,8CAA8C;IAC9C,IAAI,EAAE,MAAM,CAAA;IACZ,2CAA2C;IAC3C,QAAQ,CAAC,EAAE,OAAO,CAAA;IAClB,kBAAkB;IAClB,IAAI,CAAC,EAAE,MAAM,CAAA;CACd;AAED;;;;;;GAMG;AACH,MAAM,MAAM,SAAS,GAAG,GAAG,GAAG,IAAI,GAAG,IAAI,CAAA;AAEzC;;;;;;;;;;;GAWG;AACH,MAAM,WAAW,YAAY;IAC3B,IAAI,EAAE,MAAM,CAAA;IACZ,MAAM,EAAE,MAAM,CAAA;IACd,IAAI,EAAE,cAAc,CAAA;IACpB,6BAA6B;IAC7B,MAAM,CAAC,EAAE,MAAM,CAAA;IACf,qDAAqD;IACrD,IAAI,CAAC,EAAE,MAAM,CAAA;IACb,qEAAqE;IACrE,MAAM,CAAC,EAAE,MAAM,CAAA;IACf;;;;;OAKG;IACH,YAAY,CAAC,EAAE,MAAM,EAAE,CAAA;IACvB;;OAEG;IACH,sBAAsB,CAAC,EAAE,MAAM,EAAE,CAAA;IACjC,8GAA8G;IAC9G,aAAa,CAAC,EAAE,OAAO,CAAA;IACvB,yFAAyF;IACzF,WAAW,CAAC,EAAE,UAAU,EAAE,CAAA;IAC1B,8NAA8N;IAC9N,UAAU,CAAC,EAAE,MAAM,CAAA;IACnB,mEAAmE;IACnE,MAAM,CAAC,EAAE,MAAM,EAAE,CAAA;IACjB;;;;;OAKG;IACH,YAAY,CAAC,EAAE,kBAAkB,EAAE,CAAA;IACnC;;;;;;OAMG;IACH,OAAO,CAAC,EAAE,SAAS,YAAY,EAAE,CAAA;IACjC,iDAAiD;IACjD,SAAS,CAAC,EAAE,SAAS,CAAA;IACrB;;;;;OAKG;IACH,UAAU,CAAC,EAAE,OAAO,CAAA;IACpB;;;;;OAKG;IACH,MAAM,CAAC,EAAE,UAAU,CAAA;IAEnB,kEAAkE;IAClE,OAAO,CAAC,EAAE,MAAM,EAAE,CAAA;IAClB,4DAA4D;IAC5D,MAAM,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAA;IAC/B,8CAA8C;IAC9C,OAAO,CAAC,EAAE,OAAO,mCAAmC,EAAE,OAAO,CAAA;IAC7D;;;;OAIG;IACH,SAAS,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,aAAa,EAAE,OAAO,CAAC,CAAA;IACzD,kDAAkD;IAClD,MAAM,CAAC,EAAE,OAAO,aAAa,EAAE,OAAO,CAAA;IACtC;;;;;;;OAOG;IACH,UAAU,CAAC,EAAE,MAAM,CAAA;CACpB;AAED;;;;GAIG;AACH,eAAO,MAAM,QAAQ,EAAE,YAAY,EA4zHlC,CAAA"}
+{"version":3,"file":"arg-spec.d.ts","sourceRoot":"","sources":["../../../src/api/surface/arg-spec.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA4BG;AAEH,kBAAkB;AAClB,MAAM,MAAM,cAAc,GAAG,SAAS,GAAG,OAAO,GAAG,MAAM,GAAG,MAAM,GAAG,MAAM,GAAG,OAAO,CAAA;AAErF,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,+BAA+B,CAAA;AAC/D,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,yBAAyB,CAAA;AAE3D,YAAY,EAAE,UAAU,EAAE,MAAM,+BAA+B,CAAA;AAE/D,uDAAuD;AAEvD;;;GAGG;AACH,MAAM,WAAW,UAAU;IACzB,IAAI,EAAE,MAAM,CAAA;IACZ,8CAA8C;IAC9C,IAAI,EAAE,MAAM,CAAA;IACZ,2CAA2C;IAC3C,QAAQ,CAAC,EAAE,OAAO,CAAA;IAClB,kBAAkB;IAClB,IAAI,CAAC,EAAE,MAAM,CAAA;CACd;AAED;;;;;;GAMG;AACH,MAAM,MAAM,SAAS,GAAG,GAAG,GAAG,IAAI,GAAG,IAAI,CAAA;AAEzC;;;;;;;;;;;GAWG;AACH,MAAM,WAAW,YAAY;IAC3B,IAAI,EAAE,MAAM,CAAA;IACZ,MAAM,EAAE,MAAM,CAAA;IACd,IAAI,EAAE,cAAc,CAAA;IACpB,6BAA6B;IAC7B,MAAM,CAAC,EAAE,MAAM,CAAA;IACf,qDAAqD;IACrD,IAAI,CAAC,EAAE,MAAM,CAAA;IACb,qEAAqE;IACrE,MAAM,CAAC,EAAE,MAAM,CAAA;IACf;;;;;OAKG;IACH,YAAY,CAAC,EAAE,MAAM,EAAE,CAAA;IACvB;;OAEG;IACH,sBAAsB,CAAC,EAAE,MAAM,EAAE,CAAA;IACjC,8GAA8G;IAC9G,aAAa,CAAC,EAAE,OAAO,CAAA;IACvB,yFAAyF;IACzF,WAAW,CAAC,EAAE,UAAU,EAAE,CAAA;IAC1B,8NAA8N;IAC9N,UAAU,CAAC,EAAE,MAAM,CAAA;IACnB,mEAAmE;IACnE,MAAM,CAAC,EAAE,MAAM,EAAE,CAAA;IACjB;;;;;OAKG;IACH,OAAO,CAAC,EAAE,SAAS,YAAY,EAAE,CAAA;IACjC,iDAAiD;IACjD,SAAS,CAAC,EAAE,SAAS,CAAA;IACrB;;;;;OAKG;IACH,UAAU,CAAC,EAAE,OAAO,CAAA;IACpB;;;;;OAKG;IACH,MAAM,CAAC,EAAE,UAAU,CAAA;IAEnB,kEAAkE;IAClE,OAAO,CAAC,EAAE,MAAM,EAAE,CAAA;IAClB,4DAA4D;IAC5D,MAAM,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAA;IAC/B,8CAA8C;IAC9C,OAAO,CAAC,EAAE,OAAO,mCAAmC,EAAE,OAAO,CAAA;IAC7D;;;;;OAKG;IACH,SAAS,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,aAAa,EAAE,OAAO,CAAC,CAAA;IACzD,kDAAkD;IAClD,MAAM,CAAC,EAAE,OAAO,aAAa,EAAE,OAAO,CAAA;IACtC;;;;;;;OAOG;IACH,UAAU,CAAC,EAAE,MAAM,CAAA;CACpB;AAED;;;;GAIG;AACH,eAAO,MAAM,QAAQ,EAAE,YAAY,EAqzHlC,CAAA"}

package/dist/api/surface/arg-spec.js

@@ -42,7 +42,6 @@ export const ARG_SPEC = [
         name: 'torus',
         source: 'brep-operations/primitiveFns.ts#torusBrep',
         kind: 'brep-op',
-        capabilities: ["dispose", "makeTorus"],
         args: '(majorRadius: number, minorRadius: number, options?: TorusOptions)',
         // 构造类：无几何输入（纯数值参数），来源实现返回裸 ValidSolid（非 Result）。
         geometryArgs: [],
@@ -66,9 +65,8 @@ export const ARG_SPEC = [
         params: ['a', 'b', 'options'],
         formClass: 'A',
         scriptFace: true,
-        // 依赖声明（诚实原则）：isNull / dispose 是来源实现 fuse 的真实内核依赖，二者都在
-        // BrepMethodKind 逐核真名里。本条目早前因 D11-7 互斥被迫只留 engines；互斥已于
-        // 2026-09-24 撤销，两条轴可并存，届时按 capability-map.json 实证补回依赖清单。
+        // 依赖声明（诚实原则）：来源实现 fuse 依赖 kernel.isNull / kernel.dispose（occt
+        // 平台面）→ 平台 op，声明 engines: ['occt']，在 brepkit / 其它引擎下执行前报错（D11-4）。
         engines: ['occt'],
         naming: { kind: 'kernel', newFaces: { via: 'byAdjacency' } },
     },
@@ -1661,7 +1659,7 @@ export const ARG_SPEC = [
     {
         name: 'sweep', source: 'brep-operations/sweepFns.ts#sweepBrep', kind: 'brep-op', engines: ['occt'], module: 'operations',
         geometryArgs: [0, 1],
-        reason: 'faijs 侧 cad.sweep 由手写平台 op 覆盖（api/sweep.ts：截面接受 face → 取外环；shellMode 元组产物不暴露，§2.4 ①）。本投影保留为引擎记录（capability-map），生成模块符号不直接进 cad 命名空间 by design（同 revolve / extrude 口径）。',
+        reason: 'faijs 侧 cad.sweep 由手写 op 覆盖（api/sweep.ts：截面接受 face → 取外环；shellMode 元组产物不暴露，§2.4 ①）。2026-10-10 双引擎化后该脚本面 op 为**中立**（两内核交集、选项集为空）；本投影仍绑定 occt 直连的 sweepBrep，保留为引擎记录（capability-map），生成模块符号不直接进 cad 命名空间 by design（同 revolve / extrude 口径）；occt 完整控制面走 cad.sweepAdvanced。',
         args: 'sweep(wire: Shape, spine: Shape, config?: SweepOptions, shellMode?: boolean): Shape',
         params: ['wire', 'spine', 'config', 'shellMode'], formClass: 'A',
         naming: { kind: 'kernel', newFaces: { via: 'byAdjacency' } },
@@ -1707,7 +1705,7 @@ export const ARG_SPEC = [
         naming: { kind: 'replicate', k: 0 },
     },
     {
-        name: 'roof', source: 'brep-operations/roofFns.ts#roofBrep', kind: 'brep-op', capabilities: ["buildTriFace", "dispose", "fixShape", "isValid", "sew", "sewAndSolidify"], module: 'operations',
+        name: 'roof', source: 'brep-operations/roofFns.ts#roofBrep', kind: 'brep-op', engines: ['occt'], module: 'operations',
         geometryArgs: [0], reason: 'wire → Result(ValidSolid)→solid，brep-op',
         args: 'roof(wire: Shape, options?: RoofOptions): Shape',
         params: ['wire', 'options'], formClass: 'A',
@@ -1715,8 +1713,7 @@ export const ARG_SPEC = [
         naming: { kind: 'kernel', newFaces: { via: 'byAdjacency' } },
     },
     {
-        name: 'drill', source: 'brep-operations/compoundFns.ts#drillBrep', kind: 'brep-op',
-        capabilities: ["makeCylinder", "located", "getBoundingBox", "cut"], module: 'operations',
+        name: 'drill', source: 'brep-operations/compoundFns.ts#drillBrep', kind: 'brep-op', module: 'operations',
         geometryArgs: [0], reason: 'Shapeable<Shape3D> → Result<T>，brep-op',
         args: 'drill(shape: Shape, options: DrillOptions): Shape',
         params: ['shape', 'options'], formClass: 'A',
@@ -1724,8 +1721,7 @@ export const ARG_SPEC = [
         naming: { kind: 'kernel', newFaces: { via: 'byAdjacency' } },
     },
     {
-        name: 'pocket', source: 'brep-operations/compoundFns.ts#pocketBrep', kind: 'brep-op',
-        capabilities: ["getSubShapes", "surfaceCenterOfMass", "uvBounds", "surfaceNormal", "makeFace", "translate", "extrude", "cut"], module: 'operations',
+        name: 'pocket', source: 'brep-operations/compoundFns.ts#pocketBrep', kind: 'brep-op', module: 'operations',
         geometryArgs: [0], reason: 'Shapeable<Shape3D> → Result<T>，brep-op',
         args: 'pocket(shape: Shape, options: PocketOptions): Shape',
         params: ['shape', 'options'], formClass: 'A',
@@ -1733,8 +1729,7 @@ export const ARG_SPEC = [
         naming: { kind: 'kernel', newFaces: { via: 'byAdjacency' } },
     },
     {
-        name: 'boss', source: 'brep-operations/compoundFns.ts#bossBrep', kind: 'brep-op',
-        capabilities: ["getSubShapes", "surfaceCenterOfMass", "uvBounds", "surfaceNormal", "makeFace", "translate", "extrude", "fuse"], module: 'operations',
+        name: 'boss', source: 'brep-operations/compoundFns.ts#bossBrep', kind: 'brep-op', module: 'operations',
         geometryArgs: [0], reason: 'Shapeable<Shape3D> → Result<T>，brep-op',
         args: 'boss(shape: Shape, options: BossOptions): Shape',
         params: ['shape', 'options'], formClass: 'A',
@@ -1742,8 +1737,7 @@ export const ARG_SPEC = [
         naming: { kind: 'kernel', newFaces: { via: 'byAdjacency' } },
     },
     {
-        name: 'mirrorJoin', source: 'brep-operations/compoundFns.ts#mirrorJoinBrep', kind: 'brep-op',
-        capabilities: ["mirror", "fuse"], module: 'operations',
+        name: 'mirrorJoin', source: 'brep-operations/compoundFns.ts#mirrorJoinBrep', kind: 'brep-op', module: 'operations',
         geometryArgs: [0], reason: 'Shapeable<Shape3D> → Result<T>，brep-op',
         args: 'mirrorJoin(shape: Shape, options?: MirrorJoinOptions): Shape',
         params: ['shape', 'options'], formClass: 'A',
@@ -1767,7 +1761,7 @@ export const ARG_SPEC = [
         scriptFace: true,
     },
     {
-        name: 'convexHull', source: 'brep-operations/hullFns.ts#convexHullBrep', kind: 'brep-op', capabilities: ['hullFromPoints'], module: 'operations',
+        name: 'convexHull', source: 'brep-operations/hullFns.ts#convexHullBrep', kind: 'brep-op', module: 'operations',
         geometryArgs: [], reason: '点集构造 → Result(Solid)，单产物，brep-op',
         args: 'convexHull(points: Vec3[]): Shape',
         params: ['points'], formClass: 'A',
@@ -1808,7 +1802,7 @@ export const ARG_SPEC = [
     {
         name: 'loft', source: 'operations/api.js#loft', kind: 'skip', module: 'operations',
         args: 'loft(sections: Shape[], opts?: LoftOptions): Shape',
-        reason: 'overridden by handwritten api/loft.ts (faijs 侧平台 op engines:[occt]：截面接受 face → 取外环；faijs 侧唯一实现路径即该手写 op，生成投影不做输入形态适配)',
+        reason: 'overridden by handwritten api/loft.ts (faijs 侧唯一实现路径即该手写 op，生成投影不做输入形态适配)。2026-10-10 双引擎化后该脚本面 op 为**中立**（选项集 = 两内核交集 { ruled, endPoint }）；startPoint/tolerance 等 occt 独有控制面走 cad.loftAdvanced。',
     },
     {
         name: 'loftAll', source: 'operations/loftFns.js#loftAll', kind: 'skip', module: 'operations', reason: '返回 Shape3D 数组（多产物），skip',
@@ -2462,7 +2456,7 @@ export const ARG_SPEC = [
     },
     // 1 × brep-op（构造类：纯数值参数 → Shape3D，无几何输入）
     {
-        name: 'makeBaseBox', source: 'brep-operations/primitiveFns.ts#makeBaseBoxBrep', kind: 'brep-op', capabilities: ['makeRectangle', 'extrude'], module: 'sketching',
+        name: 'makeBaseBox', source: 'brep-operations/primitiveFns.ts#makeBaseBoxBrep', kind: 'brep-op', module: 'sketching',
         args: '(xLength: number, yLength: number, zLength: number) -> Shape3D',
         geometryArgs: [],
         returnsResult: false,
@@ -2745,7 +2739,7 @@ export const ARG_SPEC = [
         reason: 'overridden by handwritten api/primitives.ts (cone dual-op, mesh+brep)',
     },
     {
-        name: 'ellipsoid', source: 'brep-operations/primitiveFns.ts#ellipsoidBrep', kind: 'brep-op', capabilities: ['makeEllipsoid', 'translate'],
+        name: 'ellipsoid', source: 'brep-operations/primitiveFns.ts#ellipsoidBrep', kind: 'brep-op',
         geometryArgs: [], returnsResult: false,
         args: 'ellipsoid(rx: number, ry: number, rz: number, options?: EllipsoidOptions): Shape',
         reason: '纯数值整件构造（rx/ry/rz → ValidSolid），brep-op',
@@ -2844,7 +2838,7 @@ export const ARG_SPEC = [
         reason: 'faijs 同名 translate（§5.1 双形态：对象形态手写面覆盖 + v:Vec3 位置形态并入），生成层不重复投影',
     },
     {
-        name: 'rotate', source: 'brep-operations/topologyFns.ts#rotateBrep', kind: 'brep-op', capabilities: ['transform'],
+        name: 'rotate', source: 'brep-operations/topologyFns.ts#rotateBrep', kind: 'brep-op',
         geometryArgs: [0], returnsResult: false,
         args: 'rotate(shape: Shape, angle: number, options?: { at?, axis? }): Shape',
         reason: 'faijs rotate 已更名 rotate_euler（faijs 面只导出 rotate_euler），上游轴角 rotate 空出 → brep-op 进脚本面'
@@ -2860,7 +2854,7 @@ export const ARG_SPEC = [
         reason: 'overridden by handwritten api/transform.ts (scale dual-op, mesh+brep)',
     },
     {
-        name: 'mirror', source: 'brep-operations/topologyFns.ts#mirrorBrep', kind: 'brep-op', capabilities: ['mirror'],
+        name: 'mirror', source: 'brep-operations/topologyFns.ts#mirrorBrep', kind: 'brep-op',
         geometryArgs: [0], returnsResult: false,
         args: 'mirror(shape: Shape, options?: MirrorOptions): Shape',
         reason: 'faijs 无同名 mirror，整件反射 → brep-op',
@@ -2869,16 +2863,16 @@ export const ARG_SPEC = [
         naming: { kind: 'kernel', newFaces: { via: 'byAdjacency' } },
     },
     {
-        name: 'clone', source: 'brep-operations/topologyFns.ts#cloneBrep', kind: 'brep-op', capabilities: ['copyShape'],
+        name: 'clone', source: 'brep-operations/topologyFns.ts#cloneBrep', kind: 'brep-op',
         geometryArgs: [0], returnsResult: true,
         args: 'clone(shape: Shape): Shape',
-        reason: 'faijs 用 copy（不同名），整件克隆（Result<T>）→ brep-op；纯 copyShape 调用、无 occt 特有 API（2026-09-26 从 engines:[occt] 白名单降级为 copyShape 能力路由，brepkit 已声明 copyShape）',
+        reason: 'faijs 用 copy（不同名），整件克隆（Result<T>）→ brep-op；纯 copyShape 调用、无 occt 特有 API（brepkit 亦有 copyShape）',
         params: ['shape'], formClass: 'A',
         scriptFace: true,
         naming: { kind: 'identity' },
     },
     {
-        name: 'applyMatrix', source: 'brep-operations/topologyFns.ts#applyMatrixBrep', kind: 'brep-op', capabilities: ['transform', 'generalTransform'],
+        name: 'applyMatrix', source: 'brep-operations/topologyFns.ts#applyMatrixBrep', kind: 'brep-op',
         geometryArgs: [0], returnsResult: true,
         args: 'applyMatrix(shape: Shape, matrix: unknown): Shape',
         reason: 'faijs 用 applyTransform（不同名），整件矩阵变换 → brep-op',
@@ -2896,7 +2890,7 @@ export const ARG_SPEC = [
         naming: { kind: 'identity' },
     },
     {
-        name: 'locate', source: 'brep-operations/topologyFns.ts#locateBrep', kind: 'brep-op', capabilities: ["composeTransform", "dispose", "hashCode", "locate"],
+        name: 'locate', source: 'brep-operations/topologyFns.ts#locateBrep', kind: 'brep-op', engines: ['occt'],
         geometryArgs: [0], returnsResult: false,
         args: 'locate(shape: Shape, placement: unknown): Shape',
         reason: 'faijs 无同名，整件定位变换 → brep-op',
@@ -2934,7 +2928,6 @@ export const ARG_SPEC = [
     },
     {
         name: 'section', source: 'brep-operations/booleanFns.ts#sectionBrep', kind: 'brep-op',
-        capabilities: ["sectionByPlane", "makeCompound"],
         geometryArgs: [0], returnsResult: true,
         args: 'section(shape: Shape, plane: PlaneInput): Shape',
         params: ['shape', 'plane'], formClass: 'A',
@@ -2969,7 +2962,7 @@ export const ARG_SPEC = [
     {
         name: 'shell', source: 'brep-operations/topologyFns.ts#shellBrep', kind: 'brep-op', engines: ['occt'],
         geometryArgs: [0], returnsResult: true,
-        reason: 'faijs 侧 cad.shell 由手写中立 op 覆盖（api/shell.ts：选面走 FaceTopoRef，能力经 capabilities:["directEdit"] 路由 ⇒ 相对来源实现的 occt 平台版是能力升级，brepkit 的 L1 shell 亦可用）。本投影保留为引擎记录（capability-map），生成模块符号不直接进 cad 命名空间 by design（同 extrude / sweep 口径）。',
+        reason: 'faijs 侧 cad.shell 由手写中立 op 覆盖（api/shell.ts：选面走 FaceTopoRef，两引擎同走 L1 shell ⇒ 相对来源实现的 occt 平台版是能力升级，brepkit 的 L1 shell 亦可用）。本投影保留为引擎记录（capability-map），生成模块符号不直接进 cad 命名空间 by design（同 extrude / sweep 口径）。',
         args: 'shell(shape: Shape, faces?: Shape[], thickness: number): Shape',
         params: ['shape', 'faces', 'thickness'], formClass: 'A',
         naming: { kind: 'kernel', newFaces: { via: 'byAdjacency' } },
@@ -3318,7 +3311,7 @@ export const ARG_SPEC = [
         naming: { kind: 'kernel', newFaces: { via: 'byAdjacency' } },
     },
     {
-        name: 'fixShape', source: 'brep-operations/healingFns.ts#fixShapeBrep', kind: 'brep-op', capabilities: ["fixShape"],
+        name: 'fixShape', source: 'brep-operations/healingFns.ts#fixShapeBrep', kind: 'brep-op',
         geometryArgs: [0], returnsResult: true,
         args: 'fixShape(shape: Shape): Shape',
         reason: '整件修复（Result<Shape>），brep-op',
@@ -3327,7 +3320,7 @@ export const ARG_SPEC = [
         naming: { kind: 'kernel', newFaces: { via: 'byAdjacency' } },
     },
     {
-        name: 'healSolid', source: 'brep-operations/healingFns.ts#healSolidBrep', kind: 'brep-op', capabilities: ['healSolid'],
+        name: 'healSolid', source: 'brep-operations/healingFns.ts#healSolidBrep', kind: 'brep-op',
         geometryArgs: [0], returnsResult: true,
         args: 'healSolid(solid: Shape): Shape',
         reason: 'Solid 修复（Result<ValidSolid>），brep-op',