@faicad/faijs 0.16.1 → 0.18.0

package/dist/api/split.d.ts

@@ -1,6 +1,11 @@
 /**
  * stdlib split — split（手写覆盖生成投影，Phase 3: L4 `splinter(#j)` 角色表）
  *
+ * @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（互斥）。
+ *
  * 生成投影是 brep-only compatOp，不带角色表；本文件手写 defineOp，BREP 路径
  * 用内核原生 split（BRepAlgoAPI_Splitter）切分，存活面（hash 逐字不变）回投原
  * role，新造面（截面 + 被切细的侧面片）记 `splinter(#j)`，片序按质心排序保证跨
@@ -18,7 +23,7 @@ import type { Shape } from '../mesh/types.js';
  * @qual ok
  * @name split
  * @note BREP-only：非 BREP 输入抛 E_MESH_UNSUPPORTED。切分产生的截面 / 被切细的侧面
- *       片记 `splinter(#j)`（Phase 3 L4 抗重放词汇）。
+ *       片记 `splinter(#j)`（Phase 3 L4 抗重放词汇）。平台 op：仅 occt 引擎（原生 split）。
  * @returns Shape 切分后的几何（compound of pieces）。
  * @param input - 目标几何。type:Shape required:true
  * @param tools - 切刀几何（数组）。type:Shape[] required:true

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

@@ -1 +1 @@
-{"version":3,"file":"split.d.ts","sourceRoot":"","sources":["../../src/api/split.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AAEH,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,eAAe,CAAA;AAwE1C;;;;;;;;;;;;;;GAcG;AACH,eAAO,MAAM,KAAK;;CAKhB,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;;CAMhB,CAAA"}

package/dist/api/split.js

@@ -1,6 +1,11 @@
 /**
  * stdlib split — split（手写覆盖生成投影，Phase 3: L4 `splinter(#j)` 角色表）
  *
+ * @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（互斥）。
+ *
  * 生成投影是 brep-only compatOp，不带角色表；本文件手写 defineOp，BREP 路径
  * 用内核原生 split（BRepAlgoAPI_Splitter）切分，存活面（hash 逐字不变）回投原
  * role，新造面（截面 + 被切细的侧面片）记 `splinter(#j)`，片序按质心排序保证跨
@@ -11,14 +16,17 @@
  */
 import { solidToShape } from '../brep/brep-ops.js';
 import { getFaceHashes } from '../brep/face-evolution.js';
-import { getBackends, getCurrentStmt } from '../runtime-state.js';
+import { getBrepApi } from '../brep/handle-bridge.js';
+import { getCurrentStmt } from '../runtime-state.js';
 import { fromBrep, brepOf, inputRoleTable } from '../shape.js';
 import { defineOp } from '../sdk.js';
+import { getOcctKernel } from '../occt-kernel/occtKernel.js';
 /** BREP 路径：用 tools 切分 input，存活面回投、新造面记 `splinter(#j)`。 */
 function splitBrep(input, tools) {
-    const kernel = getBackends().kernel.brep;
-    if (!kernel)
-        throw new Error('[stdlib/split] no OCCT kernel');
+    // L1 面：枚举/命名（getBrepApi，D12）。
+    const kernel = getBrepApi();
+    // 平台面：原生 split（occt-only，D3）。
+    const occtKernel = getOcctKernel();
     const inputSolid = brepOf(input);
     if (!inputSolid)
         throw new Error('[stdlib/split] input is not BREP');
@@ -40,11 +48,13 @@ function splitBrep(input, tools) {
                     inputHashToRole.set(h, role);
         }
     }
-    // 内核原生 split（BRepAlgoAPI_Splitter）返回包含所有碎片的 compound
-    const resultSolid = kernel.split(inputSolid, toolSolids);
+    // 内核原生 split（BRepAlgoAPI_Splitter）返回包含所有碎片的 compound。
+    // BrepHandle（branded number）与 occt-wasm ShapeHandle（branded number）运行时同构，
+    // 品牌转换只发生在平台边界（occt-only 原生面，非跨引擎断言）。
+    const resultSolid = occtKernel.split(inputSolid, toolSolids);
     const resultHashes = getFaceHashes(kernel, resultSolid);
     const resultFaces = kernel.getSubShapes(resultSolid, 'face');
-    const resultCentroids = resultFaces.map((f) => kernel.getSurfaceCenterOfMass(f));
+    const resultCentroids = resultFaces.map((f) => kernel.surfaceCenterOfMass(f));
     const roleTable = new Map();
     const inner = new Map();
     // 存活面（hash 逐字不变）→ 回投原 role；其余 = 新造面 → splinter(#j)
@@ -70,7 +80,10 @@ function splitBrep(input, tools) {
         inner.set(role, [newFaces[j].hash]);
     }
     roleTable.set(outStmt, inner);
-    return fromBrep(solidToShape(kernel, resultSolid), { solid: resultSolid, roleTable });
+    return fromBrep(solidToShape(kernel, resultSolid), {
+        solid: resultSolid,
+        roleTable,
+    });
 }
 /**
  * 用工具几何切分目标几何（BRepAlgoAPI_Splitter），返回所有碎片组成的几何。
@@ -80,7 +93,7 @@ function splitBrep(input, tools) {
  * @qual ok
  * @name split
  * @note BREP-only：非 BREP 输入抛 E_MESH_UNSUPPORTED。切分产生的截面 / 被切细的侧面
- *       片记 `splinter(#j)`（Phase 3 L4 抗重放词汇）。
+ *       片记 `splinter(#j)`（Phase 3 L4 抗重放词汇）。平台 op：仅 occt 引擎（原生 split）。
  * @returns Shape 切分后的几何（compound of pieces）。
  * @param input - 目标几何。type:Shape required:true
  * @param tools - 切刀几何（数组）。type:Shape[] required:true
@@ -91,6 +104,7 @@ export const split = defineOp({
     brep(input, tools) {
         return splitBrep(input, tools);
     },
+    engines: ['occt'],
     naming: { kind: 'subdivide' },
 });
 //# 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;;;;;;;;;;GAUG;AAGH,OAAO,EAAE,YAAY,EAAE,MAAM,kBAAkB,CAAA;AAC/C,OAAO,EAAE,aAAa,EAAE,MAAM,wBAAwB,CAAA;AACtD,OAAO,EAAE,WAAW,EAAE,cAAc,EAAE,MAAM,kBAAkB,CAAA;AAC9D,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,cAAc,EAAE,MAAM,UAAU,CAAA;AAC3D,OAAO,EAAE,QAAQ,EAAE,MAAM,QAAQ,CAAA;AAMjC,0DAA0D;AAC1D,SAAS,SAAS,CAAC,KAAY,EAAE,KAAc;IAC7C,MAAM,MAAM,GAAG,WAAW,EAAE,CAAC,MAAM,CAAC,IAA4B,CAAA;IAChE,IAAI,CAAC,MAAM;QAAE,MAAM,IAAI,KAAK,CAAC,+BAA+B,CAAC,CAAA;IAC7D,MAAM,UAAU,GAAG,MAAM,CAAC,KAAK,CAA2B,CAAA;IAC1D,IAAI,CAAC,UAAU;QAAE,MAAM,IAAI,KAAK,CAAC,kCAAkC,CAAC,CAAA;IACpE,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,qDAAqD;IACrD,MAAM,WAAW,GAAI,MAEnB,CAAC,KAAK,CAAC,UAAU,EAAE,UAAU,CAAC,CAAA;IAEhC,MAAM,YAAY,GAAG,aAAa,CAAC,MAAM,EAAE,WAAW,CAAC,CAAA;IACvD,MAAM,WAAW,GAAG,MAAM,CAAC,YAAY,CAAC,WAAW,EAAE,MAAM,CAAC,CAAA;IAC5D,MAAM,eAAe,GAAG,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,sBAAsB,CAAC,CAAC,CAAC,CAAC,CAAA;IAEhF,MAAM,SAAS,GAAG,IAAI,GAAG,EAAiC,CAAA;IAC1D,MAAM,KAAK,GAAG,IAAI,GAAG,EAAoB,CAAA;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,WAAW,CAAC,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE,SAAS,EAAE,CAAC,CAAA;AACvF,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,MAAM,EAAE,EAAE,IAAI,EAAE,WAAW,EAAgB;CAC5C,CAAC,CAAA","sourcesContent":["/**\n * stdlib split — split（手写覆盖生成投影，Phase 3: L4 `splinter(#j)` 角色表）\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 { getBackends, 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 type { BrepEngineApi } from '../brep/engine/primitives'\n\n/** BREP 路径：用 tools 切分 input，存活面回投、新造面记 `splinter(#j)`。 */\nfunction splitBrep(input: Shape, tools: Shape[]): Shape {\n  const kernel = getBackends().kernel.brep as BrepEngineApi | null\n  if (!kernel) throw new Error('[stdlib/split] no OCCT kernel')\n  const inputSolid = brepOf(input) as BrepHandle | undefined\n  if (!inputSolid) throw new Error('[stdlib/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  const resultSolid = (kernel as unknown as {\n    split(s: BrepHandle, tools: BrepHandle[]): BrepHandle\n  }).split(inputSolid, toolSolids)\n\n  const resultHashes = getFaceHashes(kernel, resultSolid)\n  const resultFaces = kernel.getSubShapes(resultSolid, 'face')\n  const resultCentroids = resultFaces.map((f) => kernel.getSurfaceCenterOfMass(f))\n\n  const roleTable = new Map<string, Map<string, number[]>>()\n  const inner = new Map<string, number[]>()\n\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), { solid: resultSolid, roleTable })\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 抗重放词汇）。\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  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,kCAAkC,CAAC,CAAA;IACpE,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 * stdlib 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('[stdlib/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"]}

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

@@ -29,6 +29,7 @@
 /** 生成器可用的投影方式。 */
 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）。 */
@@ -102,6 +103,14 @@ export interface ArgSpecEntry {
      * （api/surface/capability-map.json）逐条填写。
      */
     capabilities?: BrepCapabilityName[];
+    /**
+     * Phase 5（narrowing plan D11）：平台身份声明——该 brep-op 只在列出的引擎上
+     * 实现（如 vendored op 调 occt-only 方法 isNull/section/loft → ['occt']）。
+     * 缺省 = 全平台中立。可与 capabilities 并存（2026-09-24 撤销 D11-7 互斥）：
+     * engines 是引擎白名单，capabilities 是能力依赖，判定 engines 在先（D11-2）。
+     * 生成器透传给 compatOp → defineOp engines，并写进 script-face-manifest。
+     */
+    engines?: readonly BrepEngineId[];
     /** P20: D11 形态分类（A 单名双形态 / B1 单名单形态 / B2 双名）。 */
     formClass?: FormClass;
     /**
@@ -118,6 +127,19 @@ export interface ArgSpecEntry {
      * `import type` from lineage.ts — pure type, no runtime circular dep.
      */
     naming?: Provenance;
+    /**
+     * Phase 3（core-decouple plan §5.4）：core 自有实现标记——source 指向
+     * pi/brep-mirror/<file>.ts#<fn>（core 第一方实现），生成器走 selfhost 分支
+     * （defineOp({ brep: __own_<fn>, … })，无 vendored import、无 compatOp/
+     * projectBrepOp 桥；D11 归一在自有实现内部完成）。
+     */
+    selfhost?: boolean;
+    /** Named multi-product outputs（defineOp 的 outputs 选项，分片 op 用）。 */
+    outputs?: string[];
+    /** L3 schema per named parameter（G1 codegen + UI panel）。 */
+    schema?: Record<string, string>;
+    /** D11 slot-map 声明（positional→object 装箱表）。 */
+    slotMap?: import('../../api/internal/dual-form-args.js').SlotMap;
 }
 /**
  * 首批机制验证样本（P13a）。每个样本都选了 faijs 无同名、brepjs 有完整实现的符号，

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;;;;;;;;;;;;;;;;;;;;;;;;;;;GA2BG;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,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,iDAAiD;IACjD,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;;;;;;OAMG;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,uNAAuN;IACvN,UAAU,CAAC,EAAE,MAAM,CAAA;IACnB,mEAAmE;IACnE,MAAM,CAAC,EAAE,MAAM,EAAE,CAAA;IACjB;;;;;OAKG;IACH,YAAY,CAAC,EAAE,kBAAkB,EAAE,CAAA;IACnC,iDAAiD;IACjD,SAAS,CAAC,EAAE,SAAS,CAAA;IACrB;;;;;OAKG;IACH,UAAU,CAAC,EAAE,OAAO,CAAA;IACpB;;;;;OAKG;IACH,MAAM,CAAC,EAAE,UAAU,CAAA;CACpB;AAED;;;;GAIG;AACH,eAAO,MAAM,QAAQ,EAAE,YAAY,EA0/GlC,CAAA"}
+{"version":3,"file":"arg-spec.d.ts","sourceRoot":"","sources":["../../../src/api/surface/arg-spec.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;GA2BG;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,iDAAiD;IACjD,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;;;;;;OAMG;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,uNAAuN;IACvN,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;IACnB;;;;;OAKG;IACH,QAAQ,CAAC,EAAE,OAAO,CAAA;IAClB,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;CAC9D;AAED;;;;GAIG;AACH,eAAO,MAAM,QAAQ,EAAE,YAAY,EA+zHlC,CAAA"}