@faicad/faijs 0.29.5 → 0.30.9

package/dist/api/revolve.js

@@ -2,7 +2,7 @@
  * revolve — 手写平台 op（E3 / Q13 路线①的 revolve 实例）
  *
  * 生成投影（`api/generated/operations.ts` 的 revolve）是 compat op：几何由
- * vendored brepjs 承载，但**没有可挂面命名的代码位置**，产物不带 roleTable，
+ * 早期 brepjs 承载，但**没有可挂面命名的代码位置**，产物不带 roleTable，
  * 下游 `cad.edgeRef` 抛 "nameless shape"（ModelFromV021 缺陷）。
  *
  * 本文件按 `cut` 覆盖生成投影的同一先例（`api-namespace.ts`），用 defineOp 包住
@@ -118,14 +118,14 @@ function revolveConstructRoles(kernel, solid, axisOpt) {
  * @qual ok
  * @name revolve
  * @param face - 平面轮廓。type:Shape required:true
- * @param options - 旋转轴/点/角度（透传 vendored 语义）。type:RevolveOptions
+ * @param options - 旋转轴/点/角度（透传 compat 语义）。type:RevolveOptions
  * @returns Shape 旋转体（带链根 roleTable：bottom/top/wall:i）。
  * @example
  * const p1 = await cad.revolve(part0, { axis: [0, 0, 1], at: [0, 0, 0], angle: 6.283185307179586 })
  */
 export const revolve = defineOp({
     brep: async (face, options) => {
-        // vendored 语义经 l3-bridge 三步桥接（与 compatOp 的 adapter 相同步骤，
+        // compat 语义经 l3-bridge 三步桥接（与 compatOp 的 adapter 相同步骤，
         // 但在这里执行以便在**同一处**收编产物并建链根 roleTable——compatOp 的
         // 自动 adoptOut 会先登记一次，二次 fromBrep 会让 edgeRef 读到残缺表）。
         const kernel = getBrepApi();

package/dist/api/revolve.js.map

@@ -1 +1 @@
-{"version":3,"file":"revolve.js","sourceRoot":"","sources":["../../src/api/revolve.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;GAeG;AAGH,OAAO,EAAE,QAAQ,EAAE,MAAM,QAAQ,CAAA;AACjC,OAAO,EAAE,cAAc,EAAE,MAAM,kBAAkB,CAAA;AACjD,OAAO,EAAE,UAAU,EAAE,MAAM,uBAAuB,CAAA;AAClD,OAAO,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,UAAU,CAAA;AAC3C,OAAO,EAAE,YAAY,EAAE,MAAM,kBAAkB,CAAA;AAC/C,OAAO,EAAE,cAAc,EAAE,MAAM,4BAA4B,CAAA;AAC3D,OAAO,EAAE,cAAc,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,8BAA8B,CAAA;AAI7E;;;GAGG;AAEH,uCAAuC;AACvC,SAAS,OAAO,CAAC,CAAU;IACzB,IAAI,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,MAAM,IAAI,CAAC,IAAI,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,KAAK,QAAQ,CAAC,EAAE,CAAC;QAC/E,OAAO,CAAC,CAAC,CAAC,CAAC,CAAE,EAAE,CAAC,CAAC,CAAC,CAAE,EAAE,CAAC,CAAC,CAAC,CAAE,CAAC,CAAA;IAC9B,CAAC;IACD,IAAI,OAAO,CAAC,KAAK,QAAQ,IAAI,CAAC,KAAK,IAAI,IAAI,GAAG,IAAK,CAAY,EAAE,CAAC;QAChE,MAAM,CAAC,GAAG,CAAwC,CAAA;QAClD,OAAO,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAA;IACxB,CAAC;IACD,OAAO,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAA;AAClB,CAAC;AAED;;;;;;;;GAQG;AACH,SAAS,qBAAqB,CAC5B,MAAqB,EACrB,KAAiB,EACjB,OAAgB;IAEhB,MAAM,KAAK,GAAG,IAAI,GAAG,EAAoB,CAAA;IACzC,MAAM,WAAW,GAAG,MAAM,CAAC,YAAY,CAAC,KAAK,EAAE,MAAM,CAAC,CAAA;IACtD,IAAI,CAAC;QACH,MAAM,MAAM,GAAG,MAAM,CAAC,cAAc,CAAC,KAAK,EAAE,MAAM,EAAE,UAAU,CAAC,CAAA;QAC/D,MAAM,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,GAAG,OAAO,CAAC,OAAO,CAAC,CAAA;QACxC,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,CAAA;QACvC,IAAI,KAAK,GAAG,IAAI;YAAE,OAAO,KAAK,CAAA;QAC9B,MAAM,EAAE,GAAsC,CAAC,GAAG,GAAG,KAAK,EAAE,GAAG,GAAG,KAAK,EAAE,GAAG,GAAG,KAAK,CAAC,CAAA;QAErF,MAAM,IAAI,GAAiC,EAAE,CAAA;QAC7C,MAAM,UAAU,GAAc,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE;YAClD,IAAI,MAAM,CAAC,WAAW,CAAC,CAAC,CAAC,KAAK,OAAO;gBAAE,OAAO,KAAK,CAAA;YACnD,MAAM,EAAE,GAAG,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAA;YAC7B,MAAM,CAAC,GAAG,MAAM,CAAC,aAAa,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,IAAI,GAAG,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC,IAAI,GAAG,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAA;YACnF,MAAM,GAAG,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAA;YAC1C,MAAM,GAAG,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,CAAE,GAAG,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,CAAE,GAAG,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,CAAE,CAAC,GAAG,GAAG,CAAA;YACtE,OAAO,GAAG,GAAG,KAAK,CAAA;QACpB,CAAC,CAAC,CAAA;QACF,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,WAAW,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;YAC5C,IAAI,MAAM,CAAC,CAAC,CAAC,KAAK,SAAS;gBAAE,SAAQ;YACrC,IAAI,UAAU,CAAC,CAAC,CAAC,EAAE,CAAC;gBAClB,MAAM,CAAC,GAAG,MAAM,CAAC,mBAAmB,CAAC,WAAW,CAAC,CAAC,CAAE,CAAC,CAAA;gBACrD,IAAI,CAAC,IAAI,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,CAAE,GAAG,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,CAAE,GAAG,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,CAAE,EAAE,CAAC,CAAA;YACtE,CAAC;QACH,CAAC;QACD,IAAI,IAAI,CAAC,MAAM,IAAI,CAAC,EAAE,CAAC;YACrB,gDAAgD;YAChD,IAAI,OAAO,GAAG,CAAC,CAAA;YACf,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,WAAW,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;gBAC5C,MAAM,IAAI,GAAG,MAAM,CAAC,CAAC,CAAC,CAAA;gBACtB,IAAI,IAAI,KAAK,SAAS,IAAI,UAAU,CAAC,CAAC,CAAC;oBAAE,SAAQ;gBACjD,KAAK,CAAC,GAAG,CAAC,cAAc,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,CAAA;gBAChD,OAAO,EAAE,CAAA;YACX,CAAC;YACD,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAA;YAC9B,KAAK,CAAC,GAAG,CAAC,cAAc,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAE,CAAC,GAAG,CAAE,CAAC,CAAC,CAAA;YACtE,KAAK,CAAC,GAAG,CAAC,cAAc,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC,CAAE,CAAC,GAAG,CAAE,CAAC,CAAC,CAAA;QACnF,CAAC;aAAM,CAAC;YACN,iDAAiD;YACjD,uCAAuC;YACvC,8CAA8C;YAC9C,wCAAwC;YACxC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,WAAW,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;gBAC5C,MAAM,IAAI,GAAG,MAAM,CAAC,CAAC,CAAC,CAAA;gBACtB,IAAI,IAAI,KAAK,SAAS;oBAAE,SAAQ;gBAChC,KAAK,CAAC,GAAG,CAAC,cAAc,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,CAAA;YAC5C,CAAC;QACH,CAAC;QACD,OAAO,KAAK,CAAA;IACd,CAAC;YAAS,CAAC;QACT,KAAK,MAAM,CAAC,IAAI,WAAW,EAAE,CAAC;YAC5B,IAAI,CAAC;gBAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,CAAA;YAAC,CAAC;YAAC,MAAM,CAAC,CAAC,SAAS,CAAC,CAAC;QAC/C,CAAC;IACH,CAAC;AACH,CAAC;AAED;;;;;;;;;;;;GAYG;AACH,MAAM,CAAC,MAAM,OAAO,GAAG,QAAQ,CAAC;IAC9B,IAAI,EAAE,KAAK,EAAE,IAAW,EAAE,OAA4B,EAAE,EAAE;QACxD,yDAAyD;QACzD,iDAAiD;QACjD,oDAAoD;QACpD,MAAM,MAAM,GAAG,UAAU,EAAE,CAAA;QAC3B,MAAM,MAAM,GAAG,MAAM,CAAC,IAAI,CAAe,CAAA;QACzC,IAAI,CAAC,MAAM;YAAE,MAAM,IAAI,KAAK,CAAC,6BAA6B,CAAC,CAAA;QAC3D,MAAM,EAAE,EAAE,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,IAAI,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,KAAK,GAAG,CAAC,GAAG,IAAI,CAAC,EAAE,EAAE,GAAG,CAAC,OAAO,IAAI,EAAE,CAI/E,CAAA;QACD,MAAM,QAAQ,GAAG,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,KAAK,GAAG,GAAG,CAAC,GAAG,IAAI,CAAC,EAAE,CAAC,CAAA;QAC7I,MAAM,CAAC,GAAG,QAAQ,CAAC,YAAY,CAAC,MAAM,EAAE,QAAQ,CAAC,EAAE,EAAE,KAAK,EAAE,QAAQ,EAAE,CAAU,CAAA;QAChF,IAAI,CAAC,UAAU,EAAE;YAAE,OAAO,CAAC,CAAA;QAC3B,8DAA8D;QAC9D,4DAA4D;QAC5D,sDAAsD;QACtD,2DAA2D;QAC3D,2CAA2C;QAC3C,MAAM,MAAM,GAAG,MAAM,CAAC,cAAc,EAAE,EAAE,EAAE,IAAI,EAAE,CAAC,CAAA;QACjD,MAAM,KAAK,GAAG,IAAI,GAAG,CAAC,CAAC,CAAC,MAAM,EAAE,qBAAqB,CAAC,MAAM,EAAE,QAAQ,EAAE,OAAO,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,CAAA;QACzF,iEAAiE;QACjE,6CAA6C;QAC7C,iDAAiD;QACjD,MAAM,IAAI,GAAG,cAAc,EAAE,EAAE,OAAO,EAAE,CAAC,CAAC,CAAC,CAAA;QAC3C,cAAc,CAAC,YAAY,CAAC,MAAe,EAAE,KAAK,EAAE,QAAQ,EAAE,IAAa,CAAC,CAAA;QAC5E,OAAO,CAAC,CAAA;IACV,CAAC;IACD,MAAM,EAAE;QACN,IAAI,EAAE,WAAW;QACjB,QAAQ,EAAE;YACR,GAAG,EAAE,UAAU;YACf,KAAK,EAAE;gBACL,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,KAAK,EAAE;gBACjC,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,QAAQ,EAAE;gBACpC,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,CAAC,EAAE;aAC3B;SACF;KACO;CACX,CAAC,CAAA","sourcesContent":["/**\n * revolve — 手写平台 op（E3 / Q13 路线①的 revolve 实例）\n *\n * 生成投影（`api/generated/operations.ts` 的 revolve）是 compat op：几何由\n * vendored brepjs 承载，但**没有可挂面命名的代码位置**，产物不带 roleTable，\n * 下游 `cad.edgeRef` 抛 \"nameless shape\"（ModelFromV021 缺陷）。\n *\n * 本文件按 `cut` 覆盖生成投影的同一先例（`api-namespace.ts`），用 defineOp 包住\n * 投影调用，并在产物登记处建链根 roleTable（origin = 语句 StmtId，与\n * `extrude.ts` / `import-brep.ts` 同源机制）。\n *\n * 词汇表沿用生成 spec 的 construct 声明：`bottom` / `top`（旋转轴两端的平面\n * 端面）+ `wall:<i>`（其余侧面，按枚举序）。判定口径与 extrude 相同——现场\n * 几何是唯一真值：平面法向与轴 |cos| ≈ 1 → 端面，按中心沿轴坐标分 bottom/top；\n * 其余（含圆柱等曲面侧面）→ wall:i。无法分类的面不进表（缺身份是显式状态）。\n */\n\nimport type { Shape } from '../mesh/types'\nimport { defineOp } from '../sdk'\nimport { getCurrentStmt } from '../runtime-state'\nimport { getBrepApi } from '../brep/handle-bridge'\nimport { brepOf, fromBrep } from '../shape'\nimport { solidToShape } from '../brep/brep-ops'\nimport { runtimeLineage } from '../topology/naming/lineage'\nimport { formatRoleName, semantic, wall } from '../topology/naming/role-name'\nimport type { BrepEngineApi } from '../brep/engine/primitives'\nimport type { BrepHandle } from '../brep/engine/types'\n\n/**\n * revolve 的 construct 词汇表：`bottom` / `top`（旋转轴两端的平面端面）+ `wall:<i>`。\n * 判定口径见 {@link revolveConstructRoles}。\n */\n\n/** options.axis 的宽松形态（数组或 {x,y,z}）。 */\nfunction axisVec(v: unknown): readonly [number, number, number] {\n  if (Array.isArray(v) && v.length >= 3 && v.every((n) => typeof n === 'number')) {\n    return [v[0]!, v[1]!, v[2]!]\n  }\n  if (typeof v === 'object' && v !== null && 'x' in (v as object)) {\n    const o = v as { x: number; y: number; z: number }\n    return [o.x, o.y, o.z]\n  }\n  return [0, 0, 1]\n}\n\n/**\n * revolve 的 construct 词汇枚举器（与 `extrudeConstructRoles` 同口径，轴来源不同：\n * extrude 从端面法向对差反推，revolve 直接用调用点声明的旋转轴）。\n *\n * @param kernel - the OCCT kernel.\n * @param solid - the revolved solid.\n * @param axis - the revolution axis (call-site declared; default [0,0,1]).\n * @returns role（线格式串）→ hash 子表。\n */\nfunction revolveConstructRoles(\n  kernel: BrepEngineApi,\n  solid: BrepHandle,\n  axisOpt: unknown,\n): Map<string, number[]> {\n  const roles = new Map<string, number[]>()\n  const faceHandles = kernel.getSubShapes(solid, 'face')\n  try {\n    const hashes = kernel.subShapeHashes(solid, 'face', 2147483647)\n    const [ax0, ax1, ax2] = axisVec(axisOpt)\n    const axLen = Math.hypot(ax0, ax1, ax2)\n    if (axLen < 1e-9) return roles\n    const ax: readonly [number, number, number] = [ax0 / axLen, ax1 / axLen, ax2 / axLen]\n\n    const caps: { idx: number; t: number }[] = []\n    const isPlaneCap: boolean[] = faceHandles.map((f) => {\n      if (kernel.surfaceType(f) !== 'plane') return false\n      const uv = kernel.uvBounds(f)\n      const n = kernel.surfaceNormal(f, (uv.uMin + uv.uMax) / 2, (uv.vMin + uv.vMax) / 2)\n      const len = Math.hypot(n.x, n.y, n.z) || 1\n      const cos = Math.abs(n.x * ax[0]! + n.y * ax[1]! + n.z * ax[2]!) / len\n      return cos > 0.999\n    })\n    for (let i = 0; i < faceHandles.length; i++) {\n      if (hashes[i] === undefined) continue\n      if (isPlaneCap[i]) {\n        const c = kernel.surfaceCenterOfMass(faceHandles[i]!)\n        caps.push({ idx: i, t: c.x * ax[0]! + c.y * ax[1]! + c.z * ax[2]! })\n      }\n    }\n    if (caps.length >= 2) {\n      // 常规旋转体：轴两端平面端面 = bottom/top，其余面（含曲面侧面）wall:<i>\n      let wallIdx = 0\n      for (let i = 0; i < faceHandles.length; i++) {\n        const hash = hashes[i]\n        if (hash === undefined || isPlaneCap[i]) continue\n        roles.set(formatRoleName(wall(wallIdx)), [hash])\n        wallIdx++\n      }\n      caps.sort((p, q) => p.t - q.t)\n      roles.set(formatRoleName(semantic('bottom')), [hashes[caps[0]!.idx]!])\n      roles.set(formatRoleName(semantic('top')), [hashes[caps[caps.length - 1]!.idx]!])\n    } else {\n      // GOTCHA（退化形态，2026-09-23）：轮廓面在轴平面内（如 XY 草图绕 Z 转）\n      // 时产物的面法向全部 ∥ 轴 → caps 判不出两端。此时退化为按枚举序\n      // wall:<i> 命名全部面——身份是能力，退化形态不给名字就会重演 nameless\n      // shape 缺陷；枚举序稳定（同 extrude 的 wall 序依据）。\n      for (let i = 0; i < faceHandles.length; i++) {\n        const hash = hashes[i]\n        if (hash === undefined) continue\n        roles.set(formatRoleName(wall(i)), [hash])\n      }\n    }\n    return roles\n  } finally {\n    for (const h of faceHandles) {\n      try { kernel.release(h) } catch { /* 已释放 */ }\n    }\n  }\n}\n\n/**\n * 旋转成形：把平面轮廓绕轴旋转（兼容生成投影签名）。\n * @group 特征\n * @inputs 1\n * @async true\n * @qual ok\n * @name revolve\n * @param face - 平面轮廓。type:Shape required:true\n * @param options - 旋转轴/点/角度（透传 vendored 语义）。type:RevolveOptions\n * @returns Shape 旋转体（带链根 roleTable：bottom/top/wall:i）。\n * @example\n * const p1 = await cad.revolve(part0, { axis: [0, 0, 1], at: [0, 0, 0], angle: 6.283185307179586 })\n */\nexport const revolve = defineOp({\n  brep: async (face: Shape, options?: { axis?: unknown }) => {\n    // vendored 语义经 l3-bridge 三步桥接（与 compatOp 的 adapter 相同步骤，\n    // 但在这里执行以便在**同一处**收编产物并建链根 roleTable——compatOp 的\n    // 自动 adoptOut 会先登记一次，二次 fromBrep 会让 edgeRef 读到残缺表）。\n    const kernel = getBrepApi()\n    const handle = brepOf(face) as BrepHandle\n    if (!handle) throw new Error('[revolve] input is not BREP')\n    const { at = [0, 0, 0], axis = [0, 0, 1], angle = 2 * Math.PI } = (options ?? {}) as {\n      at?: [number, number, number]\n      axis?: [number, number, number]\n      angle?: number\n    }\n    const revolved = kernel.revolveVec(handle, { x: at[0], y: at[1], z: at[2] }, { x: axis[0], y: axis[1], z: axis[2] }, (angle * 180) / Math.PI)\n    const s = fromBrep(solidToShape(kernel, revolved), { solid: revolved }) as Shape\n    if (!getBrepApi()) return s\n    // E3（Q13 路线①）：链根建 roleTable，origin = 语句 StmtId（Phase 1.6 口径）。\n    // GOTCHA（2026-09-23）：不能对 adoptEntity 的产物再走一次 fromBrep——同语句的\n    // registeredStmtId 去重会让第二次登记被吞（探针实测：outputTables 里没有本\n    // 语句键）。直接经 runtimeLineage.recordOutput 落语句键表；define-op 包装层\n    // 会在 impl 返回后把它传播到 part 键权威位（edgeRef 的读口）。\n    const origin = String(getCurrentStmt()?.id ?? '')\n    const table = new Map([[origin, revolveConstructRoles(kernel, revolved, options?.axis)]])\n    // GOTCHA：recordOutput 必须带第 4 参 part——part 键表（outputTablesByPart）\n    // 是 op 实现与 edgeRef 解析的权威读口，只落语句键表时 part 键会保持\n    // adoptEntity 时登记的空表（探针实测），下游仍报 no role lineage。\n    const part = getCurrentStmt()?.outputs?.[0]\n    runtimeLineage.recordOutput(origin as never, table, revolved, part as never)\n    return s\n  },\n  naming: {\n    kind: 'construct',\n    newFaces: {\n      via: 'explicit',\n      vocab: [\n        { kind: 'semantic', name: 'top' },\n        { kind: 'semantic', name: 'bottom' },\n        { kind: 'wall', index: 0 },\n      ],\n    },\n  } as never,\n})\n"]}
+{"version":3,"file":"revolve.js","sourceRoot":"","sources":["../../src/api/revolve.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;GAeG;AAGH,OAAO,EAAE,QAAQ,EAAE,MAAM,QAAQ,CAAA;AACjC,OAAO,EAAE,cAAc,EAAE,MAAM,kBAAkB,CAAA;AACjD,OAAO,EAAE,UAAU,EAAE,MAAM,uBAAuB,CAAA;AAClD,OAAO,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,UAAU,CAAA;AAC3C,OAAO,EAAE,YAAY,EAAE,MAAM,kBAAkB,CAAA;AAC/C,OAAO,EAAE,cAAc,EAAE,MAAM,4BAA4B,CAAA;AAC3D,OAAO,EAAE,cAAc,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,8BAA8B,CAAA;AAI7E;;;GAGG;AAEH,uCAAuC;AACvC,SAAS,OAAO,CAAC,CAAU;IACzB,IAAI,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,MAAM,IAAI,CAAC,IAAI,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,KAAK,QAAQ,CAAC,EAAE,CAAC;QAC/E,OAAO,CAAC,CAAC,CAAC,CAAC,CAAE,EAAE,CAAC,CAAC,CAAC,CAAE,EAAE,CAAC,CAAC,CAAC,CAAE,CAAC,CAAA;IAC9B,CAAC;IACD,IAAI,OAAO,CAAC,KAAK,QAAQ,IAAI,CAAC,KAAK,IAAI,IAAI,GAAG,IAAK,CAAY,EAAE,CAAC;QAChE,MAAM,CAAC,GAAG,CAAwC,CAAA;QAClD,OAAO,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAA;IACxB,CAAC;IACD,OAAO,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAA;AAClB,CAAC;AAED;;;;;;;;GAQG;AACH,SAAS,qBAAqB,CAC5B,MAAqB,EACrB,KAAiB,EACjB,OAAgB;IAEhB,MAAM,KAAK,GAAG,IAAI,GAAG,EAAoB,CAAA;IACzC,MAAM,WAAW,GAAG,MAAM,CAAC,YAAY,CAAC,KAAK,EAAE,MAAM,CAAC,CAAA;IACtD,IAAI,CAAC;QACH,MAAM,MAAM,GAAG,MAAM,CAAC,cAAc,CAAC,KAAK,EAAE,MAAM,EAAE,UAAU,CAAC,CAAA;QAC/D,MAAM,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,GAAG,OAAO,CAAC,OAAO,CAAC,CAAA;QACxC,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,CAAA;QACvC,IAAI,KAAK,GAAG,IAAI;YAAE,OAAO,KAAK,CAAA;QAC9B,MAAM,EAAE,GAAsC,CAAC,GAAG,GAAG,KAAK,EAAE,GAAG,GAAG,KAAK,EAAE,GAAG,GAAG,KAAK,CAAC,CAAA;QAErF,MAAM,IAAI,GAAiC,EAAE,CAAA;QAC7C,MAAM,UAAU,GAAc,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE;YAClD,IAAI,MAAM,CAAC,WAAW,CAAC,CAAC,CAAC,KAAK,OAAO;gBAAE,OAAO,KAAK,CAAA;YACnD,MAAM,EAAE,GAAG,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAA;YAC7B,MAAM,CAAC,GAAG,MAAM,CAAC,aAAa,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,IAAI,GAAG,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC,IAAI,GAAG,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAA;YACnF,MAAM,GAAG,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAA;YAC1C,MAAM,GAAG,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,CAAE,GAAG,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,CAAE,GAAG,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,CAAE,CAAC,GAAG,GAAG,CAAA;YACtE,OAAO,GAAG,GAAG,KAAK,CAAA;QACpB,CAAC,CAAC,CAAA;QACF,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,WAAW,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;YAC5C,IAAI,MAAM,CAAC,CAAC,CAAC,KAAK,SAAS;gBAAE,SAAQ;YACrC,IAAI,UAAU,CAAC,CAAC,CAAC,EAAE,CAAC;gBAClB,MAAM,CAAC,GAAG,MAAM,CAAC,mBAAmB,CAAC,WAAW,CAAC,CAAC,CAAE,CAAC,CAAA;gBACrD,IAAI,CAAC,IAAI,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,CAAE,GAAG,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,CAAE,GAAG,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,CAAE,EAAE,CAAC,CAAA;YACtE,CAAC;QACH,CAAC;QACD,IAAI,IAAI,CAAC,MAAM,IAAI,CAAC,EAAE,CAAC;YACrB,gDAAgD;YAChD,IAAI,OAAO,GAAG,CAAC,CAAA;YACf,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,WAAW,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;gBAC5C,MAAM,IAAI,GAAG,MAAM,CAAC,CAAC,CAAC,CAAA;gBACtB,IAAI,IAAI,KAAK,SAAS,IAAI,UAAU,CAAC,CAAC,CAAC;oBAAE,SAAQ;gBACjD,KAAK,CAAC,GAAG,CAAC,cAAc,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,CAAA;gBAChD,OAAO,EAAE,CAAA;YACX,CAAC;YACD,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAA;YAC9B,KAAK,CAAC,GAAG,CAAC,cAAc,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAE,CAAC,GAAG,CAAE,CAAC,CAAC,CAAA;YACtE,KAAK,CAAC,GAAG,CAAC,cAAc,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC,CAAE,CAAC,GAAG,CAAE,CAAC,CAAC,CAAA;QACnF,CAAC;aAAM,CAAC;YACN,iDAAiD;YACjD,uCAAuC;YACvC,8CAA8C;YAC9C,wCAAwC;YACxC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,WAAW,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;gBAC5C,MAAM,IAAI,GAAG,MAAM,CAAC,CAAC,CAAC,CAAA;gBACtB,IAAI,IAAI,KAAK,SAAS;oBAAE,SAAQ;gBAChC,KAAK,CAAC,GAAG,CAAC,cAAc,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,CAAA;YAC5C,CAAC;QACH,CAAC;QACD,OAAO,KAAK,CAAA;IACd,CAAC;YAAS,CAAC;QACT,KAAK,MAAM,CAAC,IAAI,WAAW,EAAE,CAAC;YAC5B,IAAI,CAAC;gBAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,CAAA;YAAC,CAAC;YAAC,MAAM,CAAC,CAAC,SAAS,CAAC,CAAC;QAC/C,CAAC;IACH,CAAC;AACH,CAAC;AAED;;;;;;;;;;;;GAYG;AACH,MAAM,CAAC,MAAM,OAAO,GAAG,QAAQ,CAAC;IAC9B,IAAI,EAAE,KAAK,EAAE,IAAW,EAAE,OAA4B,EAAE,EAAE;QACxD,uDAAuD;QACvD,iDAAiD;QACjD,oDAAoD;QACpD,MAAM,MAAM,GAAG,UAAU,EAAE,CAAA;QAC3B,MAAM,MAAM,GAAG,MAAM,CAAC,IAAI,CAAe,CAAA;QACzC,IAAI,CAAC,MAAM;YAAE,MAAM,IAAI,KAAK,CAAC,6BAA6B,CAAC,CAAA;QAC3D,MAAM,EAAE,EAAE,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,IAAI,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,KAAK,GAAG,CAAC,GAAG,IAAI,CAAC,EAAE,EAAE,GAAG,CAAC,OAAO,IAAI,EAAE,CAI/E,CAAA;QACD,MAAM,QAAQ,GAAG,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,KAAK,GAAG,GAAG,CAAC,GAAG,IAAI,CAAC,EAAE,CAAC,CAAA;QAC7I,MAAM,CAAC,GAAG,QAAQ,CAAC,YAAY,CAAC,MAAM,EAAE,QAAQ,CAAC,EAAE,EAAE,KAAK,EAAE,QAAQ,EAAE,CAAU,CAAA;QAChF,IAAI,CAAC,UAAU,EAAE;YAAE,OAAO,CAAC,CAAA;QAC3B,8DAA8D;QAC9D,4DAA4D;QAC5D,sDAAsD;QACtD,2DAA2D;QAC3D,2CAA2C;QAC3C,MAAM,MAAM,GAAG,MAAM,CAAC,cAAc,EAAE,EAAE,EAAE,IAAI,EAAE,CAAC,CAAA;QACjD,MAAM,KAAK,GAAG,IAAI,GAAG,CAAC,CAAC,CAAC,MAAM,EAAE,qBAAqB,CAAC,MAAM,EAAE,QAAQ,EAAE,OAAO,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,CAAA;QACzF,iEAAiE;QACjE,6CAA6C;QAC7C,iDAAiD;QACjD,MAAM,IAAI,GAAG,cAAc,EAAE,EAAE,OAAO,EAAE,CAAC,CAAC,CAAC,CAAA;QAC3C,cAAc,CAAC,YAAY,CAAC,MAAe,EAAE,KAAK,EAAE,QAAQ,EAAE,IAAa,CAAC,CAAA;QAC5E,OAAO,CAAC,CAAA;IACV,CAAC;IACD,MAAM,EAAE;QACN,IAAI,EAAE,WAAW;QACjB,QAAQ,EAAE;YACR,GAAG,EAAE,UAAU;YACf,KAAK,EAAE;gBACL,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,KAAK,EAAE;gBACjC,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,QAAQ,EAAE;gBACpC,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,CAAC,EAAE;aAC3B;SACF;KACO;CACX,CAAC,CAAA","sourcesContent":["/**\n * revolve — 手写平台 op（E3 / Q13 路线①的 revolve 实例）\n *\n * 生成投影（`api/generated/operations.ts` 的 revolve）是 compat op：几何由\n * 早期 brepjs 承载，但**没有可挂面命名的代码位置**，产物不带 roleTable，\n * 下游 `cad.edgeRef` 抛 \"nameless shape\"（ModelFromV021 缺陷）。\n *\n * 本文件按 `cut` 覆盖生成投影的同一先例（`api-namespace.ts`），用 defineOp 包住\n * 投影调用，并在产物登记处建链根 roleTable（origin = 语句 StmtId，与\n * `extrude.ts` / `import-brep.ts` 同源机制）。\n *\n * 词汇表沿用生成 spec 的 construct 声明：`bottom` / `top`（旋转轴两端的平面\n * 端面）+ `wall:<i>`（其余侧面，按枚举序）。判定口径与 extrude 相同——现场\n * 几何是唯一真值：平面法向与轴 |cos| ≈ 1 → 端面，按中心沿轴坐标分 bottom/top；\n * 其余（含圆柱等曲面侧面）→ wall:i。无法分类的面不进表（缺身份是显式状态）。\n */\n\nimport type { Shape } from '../mesh/types'\nimport { defineOp } from '../sdk'\nimport { getCurrentStmt } from '../runtime-state'\nimport { getBrepApi } from '../brep/handle-bridge'\nimport { brepOf, fromBrep } from '../shape'\nimport { solidToShape } from '../brep/brep-ops'\nimport { runtimeLineage } from '../topology/naming/lineage'\nimport { formatRoleName, semantic, wall } from '../topology/naming/role-name'\nimport type { BrepEngineApi } from '../brep/engine/primitives'\nimport type { BrepHandle } from '../brep/engine/types'\n\n/**\n * revolve 的 construct 词汇表：`bottom` / `top`（旋转轴两端的平面端面）+ `wall:<i>`。\n * 判定口径见 {@link revolveConstructRoles}。\n */\n\n/** options.axis 的宽松形态（数组或 {x,y,z}）。 */\nfunction axisVec(v: unknown): readonly [number, number, number] {\n  if (Array.isArray(v) && v.length >= 3 && v.every((n) => typeof n === 'number')) {\n    return [v[0]!, v[1]!, v[2]!]\n  }\n  if (typeof v === 'object' && v !== null && 'x' in (v as object)) {\n    const o = v as { x: number; y: number; z: number }\n    return [o.x, o.y, o.z]\n  }\n  return [0, 0, 1]\n}\n\n/**\n * revolve 的 construct 词汇枚举器（与 `extrudeConstructRoles` 同口径，轴来源不同：\n * extrude 从端面法向对差反推，revolve 直接用调用点声明的旋转轴）。\n *\n * @param kernel - the OCCT kernel.\n * @param solid - the revolved solid.\n * @param axis - the revolution axis (call-site declared; default [0,0,1]).\n * @returns role（线格式串）→ hash 子表。\n */\nfunction revolveConstructRoles(\n  kernel: BrepEngineApi,\n  solid: BrepHandle,\n  axisOpt: unknown,\n): Map<string, number[]> {\n  const roles = new Map<string, number[]>()\n  const faceHandles = kernel.getSubShapes(solid, 'face')\n  try {\n    const hashes = kernel.subShapeHashes(solid, 'face', 2147483647)\n    const [ax0, ax1, ax2] = axisVec(axisOpt)\n    const axLen = Math.hypot(ax0, ax1, ax2)\n    if (axLen < 1e-9) return roles\n    const ax: readonly [number, number, number] = [ax0 / axLen, ax1 / axLen, ax2 / axLen]\n\n    const caps: { idx: number; t: number }[] = []\n    const isPlaneCap: boolean[] = faceHandles.map((f) => {\n      if (kernel.surfaceType(f) !== 'plane') return false\n      const uv = kernel.uvBounds(f)\n      const n = kernel.surfaceNormal(f, (uv.uMin + uv.uMax) / 2, (uv.vMin + uv.vMax) / 2)\n      const len = Math.hypot(n.x, n.y, n.z) || 1\n      const cos = Math.abs(n.x * ax[0]! + n.y * ax[1]! + n.z * ax[2]!) / len\n      return cos > 0.999\n    })\n    for (let i = 0; i < faceHandles.length; i++) {\n      if (hashes[i] === undefined) continue\n      if (isPlaneCap[i]) {\n        const c = kernel.surfaceCenterOfMass(faceHandles[i]!)\n        caps.push({ idx: i, t: c.x * ax[0]! + c.y * ax[1]! + c.z * ax[2]! })\n      }\n    }\n    if (caps.length >= 2) {\n      // 常规旋转体：轴两端平面端面 = bottom/top，其余面（含曲面侧面）wall:<i>\n      let wallIdx = 0\n      for (let i = 0; i < faceHandles.length; i++) {\n        const hash = hashes[i]\n        if (hash === undefined || isPlaneCap[i]) continue\n        roles.set(formatRoleName(wall(wallIdx)), [hash])\n        wallIdx++\n      }\n      caps.sort((p, q) => p.t - q.t)\n      roles.set(formatRoleName(semantic('bottom')), [hashes[caps[0]!.idx]!])\n      roles.set(formatRoleName(semantic('top')), [hashes[caps[caps.length - 1]!.idx]!])\n    } else {\n      // GOTCHA（退化形态，2026-09-23）：轮廓面在轴平面内（如 XY 草图绕 Z 转）\n      // 时产物的面法向全部 ∥ 轴 → caps 判不出两端。此时退化为按枚举序\n      // wall:<i> 命名全部面——身份是能力，退化形态不给名字就会重演 nameless\n      // shape 缺陷；枚举序稳定（同 extrude 的 wall 序依据）。\n      for (let i = 0; i < faceHandles.length; i++) {\n        const hash = hashes[i]\n        if (hash === undefined) continue\n        roles.set(formatRoleName(wall(i)), [hash])\n      }\n    }\n    return roles\n  } finally {\n    for (const h of faceHandles) {\n      try { kernel.release(h) } catch { /* 已释放 */ }\n    }\n  }\n}\n\n/**\n * 旋转成形：把平面轮廓绕轴旋转（兼容生成投影签名）。\n * @group 特征\n * @inputs 1\n * @async true\n * @qual ok\n * @name revolve\n * @param face - 平面轮廓。type:Shape required:true\n * @param options - 旋转轴/点/角度（透传 compat 语义）。type:RevolveOptions\n * @returns Shape 旋转体（带链根 roleTable：bottom/top/wall:i）。\n * @example\n * const p1 = await cad.revolve(part0, { axis: [0, 0, 1], at: [0, 0, 0], angle: 6.283185307179586 })\n */\nexport const revolve = defineOp({\n  brep: async (face: Shape, options?: { axis?: unknown }) => {\n    // compat 语义经 l3-bridge 三步桥接（与 compatOp 的 adapter 相同步骤，\n    // 但在这里执行以便在**同一处**收编产物并建链根 roleTable——compatOp 的\n    // 自动 adoptOut 会先登记一次，二次 fromBrep 会让 edgeRef 读到残缺表）。\n    const kernel = getBrepApi()\n    const handle = brepOf(face) as BrepHandle\n    if (!handle) throw new Error('[revolve] input is not BREP')\n    const { at = [0, 0, 0], axis = [0, 0, 1], angle = 2 * Math.PI } = (options ?? {}) as {\n      at?: [number, number, number]\n      axis?: [number, number, number]\n      angle?: number\n    }\n    const revolved = kernel.revolveVec(handle, { x: at[0], y: at[1], z: at[2] }, { x: axis[0], y: axis[1], z: axis[2] }, (angle * 180) / Math.PI)\n    const s = fromBrep(solidToShape(kernel, revolved), { solid: revolved }) as Shape\n    if (!getBrepApi()) return s\n    // E3（Q13 路线①）：链根建 roleTable，origin = 语句 StmtId（Phase 1.6 口径）。\n    // GOTCHA（2026-09-23）：不能对 adoptEntity 的产物再走一次 fromBrep——同语句的\n    // registeredStmtId 去重会让第二次登记被吞（探针实测：outputTables 里没有本\n    // 语句键）。直接经 runtimeLineage.recordOutput 落语句键表；define-op 包装层\n    // 会在 impl 返回后把它传播到 part 键权威位（edgeRef 的读口）。\n    const origin = String(getCurrentStmt()?.id ?? '')\n    const table = new Map([[origin, revolveConstructRoles(kernel, revolved, options?.axis)]])\n    // GOTCHA：recordOutput 必须带第 4 参 part——part 键表（outputTablesByPart）\n    // 是 op 实现与 edgeRef 解析的权威读口，只落语句键表时 part 键会保持\n    // adoptEntity 时登记的空表（探针实测），下游仍报 no role lineage。\n    const part = getCurrentStmt()?.outputs?.[0]\n    runtimeLineage.recordOutput(origin as never, table, revolved, part as never)\n    return s\n  },\n  naming: {\n    kind: 'construct',\n    newFaces: {\n      via: 'explicit',\n      vocab: [\n        { kind: 'semantic', name: 'top' },\n        { kind: 'semantic', name: 'bottom' },\n        { kind: 'wall', index: 0 },\n      ],\n    },\n  } as never,\n})\n"]}

package/dist/api/screw.d.ts

@@ -2,7 +2,7 @@
  * api screw — 螺丝创建库函数（creator 函数，无输入）
  *
  * 平台分层（narrowing plan Phase 5，D11）：**平台 op（occt）**——BREP 路径的
- * 螺纹经 `threadBrep`（brep-mirror/threadFns.ts）走 occt-only `loft`（D3）→
+ * 螺纹经 `threadBrep`（brep-operations/threadFns.ts）走 occt-only `loft`（D3）→
  * `engines: ['occt']`。mesh 路径（cad.screw）在 auto 模式下正常降级。
  *
  * dispatchPath 静态判定 brep/mesh，产物经 solid()/fromBrep() 构造器创建。

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

@@ -1 +1 @@
-{"version":3,"file":"screw.d.ts","sourceRoot":"","sources":["../../src/api/screw.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAEH,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,eAAe,CAAA;AA0H1C;;;;GAIG;AACH,wBAAgB,iBAAiB,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG,IAAI,CASvE;AAED;;;;;;;;;;;;;;;;;;;;IAoBI;AACJ,eAAO,MAAM,KAAK;;CAoBhB,CAAA"}
+{"version":3,"file":"screw.d.ts","sourceRoot":"","sources":["../../src/api/screw.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAEH,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,eAAe,CAAA;AA2H1C;;;;GAIG;AACH,wBAAgB,iBAAiB,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG,IAAI,CASvE;AAED;;;;;;;;;;;;;;;;;;;;IAoBI;AACJ,eAAO,MAAM,KAAK;;CAoBhB,CAAA"}

package/dist/api/screw.js

@@ -2,14 +2,15 @@
  * api screw — 螺丝创建库函数（creator 函数，无输入）
  *
  * 平台分层（narrowing plan Phase 5，D11）：**平台 op（occt）**——BREP 路径的
- * 螺纹经 `threadBrep`（brep-mirror/threadFns.ts）走 occt-only `loft`（D3）→
+ * 螺纹经 `threadBrep`（brep-operations/threadFns.ts）走 occt-only `loft`（D3）→
  * `engines: ['occt']`。mesh 路径（cad.screw）在 auto 模式下正常降级。
  *
  * dispatchPath 静态判定 brep/mesh，产物经 solid()/fromBrep() 构造器创建。
  */
-import { cad } from '../mesh/index.js';
+// B3 correction (2026-10-06): no library-face cad aggregate — import the impl from its own module.
+import * as meshPrimitives from '../mesh/primitives.js';
 import { solidToShape } from '../brep/brep-ops.js';
-import { threadBrep } from './brep-mirror/threadFns.js';
+import { threadBrep } from './brep-operations/threadFns.js';
 import { getScrewSpec, threadToPitchMm, SCREW_HEAD_DIMS } from '../primitives/screw/screw-db.js';
 import { getBrepApi } from '../brep/handle-bridge.js';
 import { fromBrep } from '../shape.js';
@@ -145,7 +146,7 @@ export function assertScrewParams(params) {
 export const screw = defineOp({
     mesh: async (params) => {
         assertScrewParams(params);
-        return cad.screw({
+        return meshPrimitives.screw({
             system: params.system,
             specIdx: params.specIdx,
             thread: params.thread,

package/dist/api/screw.js.map

@@ -1 +1 @@
-{"version":3,"file":"screw.js","sourceRoot":"","sources":["../../src/api/screw.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAGH,OAAO,EAAE,GAAG,EAAE,MAAM,SAAS,CAAA;AAC7B,OAAO,EAAE,YAAY,EAAE,MAAM,kBAAkB,CAAA;AAC/C,OAAO,EAAE,UAAU,EAAE,MAAM,yBAAyB,CAAA;AACpD,OAAO,EAAE,YAAY,EAAE,eAAe,EAAE,eAAe,EAAE,MAAM,8BAA8B,CAAA;AAC7F,OAAO,EAAE,UAAU,EAAE,MAAM,uBAAuB,CAAA;AAClD,OAAO,EAAE,QAAQ,EAAE,MAAM,UAAU,CAAA;AACnC,OAAO,EAAE,QAAQ,EAAE,MAAM,QAAQ,CAAA;AAKjC,8DAA8D;AAC9D,KAAK,UAAU,SAAS,CAAC,MAA+B;IACtD,kEAAkE;IAClE,0BAA0B;IAC1B,MAAM,MAAM,GAAG,UAAU,EAAE,CAAA;IAE3B,MAAM,MAAM,GAAG,MAAM,CAAC,MAA+B,CAAA;IACrD,MAAM,OAAO,GAAG,MAAM,CAAC,OAAiB,CAAA;IACxC,MAAM,IAAI,GAAG,YAAY,CAAC,MAAM,EAAE,OAAO,CAAC,CAAA;IAC1C,MAAM,MAAM,GAAG,MAAM,CAAC,MAAgB,CAAA;IACtC,MAAM,IAAI,GAAG,MAAM,CAAC,IAA8B,CAAA;IAClD,MAAM,MAAM,GAAG,MAAM,CAAC,MAA+C,CAAA;IACrE,MAAM,WAAW,GAAG,MAAM,CAAC,WAAiC,CAAA;IAE5D,gBAAgB;IAChB,MAAM,KAAK,GAAG,MAAM,CAAC,YAAY,CAAC,IAAI,CAAC,GAAG,GAAG,CAAC,EAAE,MAAM,CAAC,CAAA;IACvD,MAAM,aAAa,GAAG,MAAM,CAAC,SAAS,CAAC,KAAK,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,MAAM,GAAG,CAAC,CAAC,CAAA;IAChE,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,CAAA;IAErB,IAAI,MAAM,GAAG,aAAa,CAAA;IAE1B,aAAa;IACb,IAAI,MAAM,KAAK,MAAM,EAAE,CAAC;QACtB,MAAM,KAAK,GAAG,eAAe,CAAC,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,WAAW,CAAC,CAAA;QAChE,IAAI,KAAK,GAAG,CAAC,EAAE,CAAC;YACd,MAAM,WAAW,GAAG,UAAU,CAAC,MAAM,EAAE;gBACrC,MAAM,EAAE,IAAI,CAAC,GAAG,GAAG,CAAC;gBACpB,KAAK;gBACL,MAAM,EAAE,MAAM;aACf,CAAC,CAAA;YACF,2EAA2E;YAC3E,MAAM,cAAc,GAAG,MAAM,CAAC,SAAS,CAAC,WAAW,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,MAAM,GAAG,CAAC,CAAC,CAAA;YACvE,MAAM,CAAC,OAAO,CAAC,WAAW,CAAC,CAAA;YAC3B,MAAM,KAAK,GAAG,MAAM,CAAC,IAAI,CAAC,MAAM,EAAE,cAAc,CAAC,CAAA;YACjD,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,CAAA;YACtB,MAAM,CAAC,OAAO,CAAC,cAAc,CAAC,CAAA;YAC9B,MAAM,GAAG,KAAK,CAAA;QAChB,CAAC;IACH,CAAC;IAED,SAAS;IACT,IAAI,IAAI,KAAK,KAAK,EAAE,CAAC;QACnB,OAAO;QACP,MAAM,UAAU,GAAG,IAAI,CAAC,GAAG,GAAG,eAAe,CAAC,GAAG,CAAC,YAAY,CAAA;QAC9D,MAAM,UAAU,GAAG,IAAI,CAAC,GAAG,GAAG,eAAe,CAAC,GAAG,CAAC,YAAY,CAAA;QAC9D,MAAM,SAAS,GAAG,gBAAgB,CAAC,MAAM,EAAE,UAAU,EAAE,UAAU,EAAE,MAAM,GAAG,CAAC,CAAC,CAAA;QAC9E,MAAM,KAAK,GAAG,MAAM,CAAC,IAAI,CAAC,MAAM,EAAE,SAAS,CAAC,CAAA;QAC5C,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,CAAA;QACtB,MAAM,CAAC,OAAO,CAAC,SAAS,CAAC,CAAA;QACzB,MAAM,GAAG,KAAK,CAAA;IAChB,CAAC;SAAM,IAAI,IAAI,KAAK,KAAK,EAAE,CAAC;QAC1B,SAAS;QACT,MAAM,UAAU,GAAG,IAAI,CAAC,GAAG,GAAG,eAAe,CAAC,GAAG,CAAC,YAAY,CAAA;QAC9D,MAAM,UAAU,GAAG,IAAI,CAAC,GAAG,GAAG,eAAe,CAAC,GAAG,CAAC,YAAY,CAAA;QAC9D,MAAM,IAAI,GAAG,MAAM,CAAC,QAAQ,CAAC,UAAU,EAAE,CAAC,EAAE,UAAU,CAAC,CAAA;QACvD,MAAM,UAAU,GAAG,MAAM,CAAC,SAAS,CAAC,IAAI,EAAE,CAAC,EAAE,CAAC,EAAE,MAAM,GAAG,CAAC,CAAC,CAAA;QAC3D,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,CAAA;QACpB,MAAM,KAAK,GAAG,MAAM,CAAC,IAAI,CAAC,MAAM,EAAE,UAAU,CAAC,CAAA;QAC7C,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,CAAA;QACtB,MAAM,CAAC,OAAO,CAAC,UAAU,CAAC,CAAA;QAC1B,MAAM,GAAG,KAAK,CAAA;IAChB,CAAC;IAED,OAAO,QAAQ,CAAC,YAAY,CAAC,MAAM,EAAE,MAAM,CAAC,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC,CAAA;AAClE,CAAC;AAED;;GAEG;AACH,SAAS,gBAAgB,CACvB,MAAqB,EACrB,MAAc,EACd,MAAc,EACd,OAAe;IAEf,QAAQ;IACR,MAAM,GAAG,GAA0C,EAAE,CAAA;IACrD,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;QAC3B,MAAM,KAAK,GAAG,CAAC,CAAC,GAAG,CAAC,GAAG,IAAI,CAAC,EAAE,CAAC,GAAG,CAAC,CAAA;QACnC,GAAG,CAAC,IAAI,CAAC;YACP,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC;YAC3B,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC;YAC3B,CAAC,EAAE,CAAC;SACL,CAAC,CAAA;IACJ,CAAC;IAED,MAAM;IACN,MAAM,KAAK,GAAiB,EAAE,CAAA;IAC9B,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;QAC3B,MAAM,IAAI,GAAG,MAAM,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAA;QAC1D,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;IAClB,CAAC;IAED,2BAA2B;IAC3B,MAAM,IAAI,GAAG,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAA;IACnC,MAAM,IAAI,GAAG,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAA;IAClC,MAAM,QAAQ,GAAG,MAAM,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC,EAAE,CAAC,EAAE,MAAM,CAAC,CAAA;IAEnD,cAAc;IACd,MAAM,UAAU,GAAG,MAAM,CAAC,SAAS,CAAC,QAAQ,EAAE,CAAC,EAAE,CAAC,EAAE,OAAO,CAAC,CAAA;IAE5D,SAAS;IACT,KAAK,MAAM,CAAC,IAAI,KAAK;QAAE,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,CAAA;IACxC,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,CAAA;IACpB,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,CAAA;IACpB,MAAM,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAA;IAExB,OAAO,UAAU,CAAA;AACnB,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,iBAAiB,CAAC,MAA+B;IAC/D,IAAI,OAAO,MAAM,CAAC,MAAM,KAAK,QAAQ,IAAI,OAAO,MAAM,CAAC,OAAO,KAAK,QAAQ,EAAE,CAAC;QAC5E,MAAM,IAAI,KAAK,CACb,6EAA6E,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,MAAM,CAAC,aAAa,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,OAAO,CAAC,EAAE,CACxJ,CAAA;IACH,CAAC;IACD,IAAI,OAAO,MAAM,CAAC,MAAM,KAAK,QAAQ,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC;QACzE,MAAM,IAAI,KAAK,CAAC,mDAAmD,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAA;IACrG,CAAC;AACH,CAAC;AAED;;;;;;;;;;;;;;;;;;;;IAoBI;AACJ,MAAM,CAAC,MAAM,KAAK,GAAG,QAAQ,CAAC;IAC5B,IAAI,EAAE,KAAK,EAAE,MAA+B,EAAE,EAAE;QAC9C,iBAAiB,CAAC,MAAM,CAAC,CAAA;QACzB,OAAO,GAAG,CAAC,KAAK,CAAC;YACf,MAAM,EAAE,MAAM,CAAC,MAA+B;YAC9C,OAAO,EAAE,MAAM,CAAC,OAAiB;YACjC,MAAM,EAAE,MAAM,CAAC,MAA+C;YAC9D,WAAW,EAAE,MAAM,CAAC,WAAiC;YACrD,MAAM,EAAE,MAAM,CAAC,MAAgB;YAC/B,IAAI,EAAE,MAAM,CAAC,IAA8B;YAC3C,IAAI,EAAE,MAAM,CAAC,IAA0B;SACxC,CAAC,CAAA;IACJ,CAAC;IACD,IAAI,EAAE,KAAK,EAAE,MAA+B,EAAE,EAAE;QAC9C,iBAAiB,CAAC,MAAM,CAAC,CAAA;QACzB,OAAO,SAAS,CAAC,MAAM,CAAC,CAAA;IAC1B,CAAC;IACD,+DAA+D;IAC/D,OAAO,EAAE,CAAC,MAAM,CAAC;IACjB,MAAM,EAAE,EAAE,IAAI,EAAE,WAAW,EAAE,QAAQ,EAAE,EAAE,GAAG,EAAE,UAAU,EAAE,KAAK,EAAE,EAAE,EAAE,EAAgB;CACtF,CAAC,CAAA","sourcesContent":["/**\n * api screw — 螺丝创建库函数（creator 函数，无输入）\n *\n * 平台分层（narrowing plan Phase 5，D11）：**平台 op（occt）**——BREP 路径的\n * 螺纹经 `threadBrep`（brep-mirror/threadFns.ts）走 occt-only `loft`（D3）→\n * `engines: ['occt']`。mesh 路径（cad.screw）在 auto 模式下正常降级。\n *\n * dispatchPath 静态判定 brep/mesh，产物经 solid()/fromBrep() 构造器创建。\n */\n\nimport type { Shape } from '../mesh/types'\nimport { cad } from '../mesh'\nimport { solidToShape } from '../brep/brep-ops'\nimport { threadBrep } from './brep-mirror/threadFns'\nimport { getScrewSpec, threadToPitchMm, SCREW_HEAD_DIMS } from '../primitives/screw/screw-db'\nimport { getBrepApi } from '../brep/handle-bridge'\nimport { fromBrep } from '../shape'\nimport { defineOp } from '../sdk'\nimport type { Provenance } from '../topology/naming/lineage'\nimport type { BrepHandle } from '../brep/engine/types'\nimport type { BrepEngineApi } from '../brep/engine/primitives'\n\n/** BREP 路径：threadBrep + fuse 构造精确螺纹螺钉 + 三角化 + fromBrep 登记。 */\nasync function screwBrep(params: Record<string, unknown>): Promise<Shape> {\n  // L1 面（D12）：makeCylinder/translate/fuse/makeCone 等全是 L1；螺纹 loft 在\n  // threadFns 内部走 occt 平台面。\n  const kernel = getBrepApi()\n\n  const system = params.system as 'metric' | 'imperial'\n  const specIdx = params.specIdx as number\n  const spec = getScrewSpec(system, specIdx)\n  const length = params.length as number\n  const head = params.head as 'hex' | 'chc' | 'none'\n  const thread = params.thread as 'coarse' | 'fine' | 'custom' | 'none'\n  const pitchCustom = params.pitchCustom as number | undefined\n\n  // 1. 螺杆（圆柱体，居中）\n  const shank = kernel.makeCylinder(spec.dia / 2, length)\n  const centeredShank = kernel.translate(shank, 0, 0, -length / 2)\n  kernel.release(shank)\n\n  let result = centeredShank\n\n  // 2. 螺纹（外螺纹）\n  if (thread !== 'none') {\n    const pitch = threadToPitchMm(system, spec, thread, pitchCustom)\n    if (pitch > 0) {\n      const threadSolid = threadBrep(kernel, {\n        radius: spec.dia / 2,\n        pitch,\n        height: length,\n      })\n      // threadBrep creates thread from Z=0 to Z=height; center it to match shank\n      const centeredThread = kernel.translate(threadSolid, 0, 0, -length / 2)\n      kernel.release(threadSolid)\n      const fused = kernel.fuse(result, centeredThread)\n      kernel.release(result)\n      kernel.release(centeredThread)\n      result = fused\n    }\n  }\n\n  // 3. 螺钉头\n  if (head === 'hex') {\n    // 六棱柱头\n    const headHeight = spec.dia * SCREW_HEAD_DIMS.hex.heightFactor\n    const headRadius = spec.dia * SCREW_HEAD_DIMS.hex.radiusFactor\n    const headSolid = makeHexPrismBrep(kernel, headRadius, headHeight, length / 2)\n    const fused = kernel.fuse(result, headSolid)\n    kernel.release(result)\n    kernel.release(headSolid)\n    result = fused\n  } else if (head === 'chc') {\n    // 沉头（圆锥）\n    const headHeight = spec.dia * SCREW_HEAD_DIMS.chc.heightFactor\n    const headRadius = spec.dia * SCREW_HEAD_DIMS.chc.radiusFactor\n    const cone = kernel.makeCone(headRadius, 0, headHeight)\n    const positioned = kernel.translate(cone, 0, 0, length / 2)\n    kernel.release(cone)\n    const fused = kernel.fuse(result, positioned)\n    kernel.release(result)\n    kernel.release(positioned)\n    result = fused\n  }\n\n  return fromBrep(solidToShape(kernel, result), { solid: result })\n}\n\n/**\n * 构造六棱柱 BREP solid\n */\nfunction makeHexPrismBrep(\n  kernel: BrepEngineApi,\n  radius: number,\n  height: number,\n  zOffset: number,\n): BrepHandle {\n  // 六边形顶点\n  const pts: { x: number; y: number; z: number }[] = []\n  for (let i = 0; i < 6; i++) {\n    const angle = (i * 2 * Math.PI) / 6\n    pts.push({\n      x: radius * Math.cos(angle),\n      y: radius * Math.sin(angle),\n      z: 0,\n    })\n  }\n\n  // 构建边\n  const edges: BrepHandle[] = []\n  for (let i = 0; i < 6; i++) {\n    const edge = kernel.makeLineEdge(pts[i], pts[(i + 1) % 6])\n    edges.push(edge)\n  }\n\n  // 构建 wire → face → extrude\n  const wire = kernel.makeWire(edges)\n  const face = kernel.makeFace(wire)\n  const extruded = kernel.extrude(face, 0, 0, height)\n\n  // 平移到 zOffset\n  const positioned = kernel.translate(extruded, 0, 0, zOffset)\n\n  // 释放中间句柄\n  for (const e of edges) kernel.release(e)\n  kernel.release(wire)\n  kernel.release(face)\n  kernel.release(extruded)\n\n  return positioned\n}\n\n/**\n * Validate screw parameters: `system` and `specIdx` are required, and `length`\n * must be a finite number.\n * @param params - the raw screw operation parameters.\n */\nexport function assertScrewParams(params: Record<string, unknown>): void {\n  if (typeof params.system !== 'string' || typeof params.specIdx !== 'number') {\n    throw new Error(\n      `[api/screw] system (string) and specIdx (number) are required, got system=${JSON.stringify(params.system)}, specIdx=${JSON.stringify(params.specIdx)}`,\n    )\n  }\n  if (typeof params.length !== 'number' || !Number.isFinite(params.length)) {\n    throw new Error(`[api/screw] length must be a finite number, got ${JSON.stringify(params.length)}`)\n  }\n}\n\n/**\n * 生成螺丝零件（螺纹 + 头型）。\n * @group 创建\n * @inputs 0\n * @async true\n * @qual ok\n * @name screw\n * @returns Shape 螺丝几何，生成独立零件。\n * @param params.system - 制式。type:'metric' | 'imperial' required:true\n * @param params.specIdx - 规格索引（决定公称直径，如 5 → M5、6 → M6）。type:number required:true\n * @param params.thread - 螺纹类型。type:'coarse' | 'fine' | 'custom' | 'none' 默认 'coarse'\n * @param params.length - 螺杆长度（mm）。type:number required:true\n * @param params.head - 头型（hex 六角 / chc 沉头 / none 无头）。type:'hex' | 'chc' | 'none' 默认 'none'\n * @param params.pitchCustom - 自定螺距（thread='custom' 时用）。type:number\n * @param params.nRad - 径向分段数（拓扑参数）。type:number 默认 32\n * @note nRad 是拓扑参数不是渲染参数：mesh 路径直接决定分段数；BREP 路径用精确曲面，nRad 仅作 BREP→mesh 三角化角度提示（angular deflection ≈ 2π/nRad）。.fai.js 默认 32 不输出，非默认才输出以保证可复现。\n * @note pitchCustom 执行层已支持（makeScrew/threadBrep 均读取），codegen 曾不序列化（TODO）；当前已机械输出。\n * @example\n * const s = await cad.screw({ system: 'metric', specIdx: 6, thread: 'coarse', length: 20, head: 'hex' })\n * const s = await cad.screw({ system: 'metric', specIdx: 6, thread: 'coarse', length: 20, head: 'hex', nRad: 64 })\n  */\nexport const screw = defineOp({\n  mesh: async (params: Record<string, unknown>) => {\n    assertScrewParams(params)\n    return cad.screw({\n      system: params.system as 'metric' | 'imperial',\n      specIdx: params.specIdx as number,\n      thread: params.thread as 'coarse' | 'fine' | 'custom' | 'none',\n      pitchCustom: params.pitchCustom as number | undefined,\n      length: params.length as number,\n      head: params.head as 'hex' | 'chc' | 'none',\n      nRad: params.nRad as number | undefined,\n    })\n  },\n  brep: async (params: Record<string, unknown>) => {\n    assertScrewParams(params)\n    return screwBrep(params)\n  },\n  // 平台 op（D11）：螺纹 loft 是 occt-only（threadFns.ts，D3）→ engines 声明。\n  engines: ['occt'],\n  naming: { kind: 'construct', newFaces: { via: 'explicit', vocab: [] } } as Provenance,\n})\n"]}
+{"version":3,"file":"screw.js","sourceRoot":"","sources":["../../src/api/screw.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAGH,mGAAmG;AACnG,OAAO,KAAK,cAAc,MAAM,oBAAoB,CAAA;AACpD,OAAO,EAAE,YAAY,EAAE,MAAM,kBAAkB,CAAA;AAC/C,OAAO,EAAE,UAAU,EAAE,MAAM,6BAA6B,CAAA;AACxD,OAAO,EAAE,YAAY,EAAE,eAAe,EAAE,eAAe,EAAE,MAAM,8BAA8B,CAAA;AAC7F,OAAO,EAAE,UAAU,EAAE,MAAM,uBAAuB,CAAA;AAClD,OAAO,EAAE,QAAQ,EAAE,MAAM,UAAU,CAAA;AACnC,OAAO,EAAE,QAAQ,EAAE,MAAM,QAAQ,CAAA;AAKjC,8DAA8D;AAC9D,KAAK,UAAU,SAAS,CAAC,MAA+B;IACtD,kEAAkE;IAClE,0BAA0B;IAC1B,MAAM,MAAM,GAAG,UAAU,EAAE,CAAA;IAE3B,MAAM,MAAM,GAAG,MAAM,CAAC,MAA+B,CAAA;IACrD,MAAM,OAAO,GAAG,MAAM,CAAC,OAAiB,CAAA;IACxC,MAAM,IAAI,GAAG,YAAY,CAAC,MAAM,EAAE,OAAO,CAAC,CAAA;IAC1C,MAAM,MAAM,GAAG,MAAM,CAAC,MAAgB,CAAA;IACtC,MAAM,IAAI,GAAG,MAAM,CAAC,IAA8B,CAAA;IAClD,MAAM,MAAM,GAAG,MAAM,CAAC,MAA+C,CAAA;IACrE,MAAM,WAAW,GAAG,MAAM,CAAC,WAAiC,CAAA;IAE5D,gBAAgB;IAChB,MAAM,KAAK,GAAG,MAAM,CAAC,YAAY,CAAC,IAAI,CAAC,GAAG,GAAG,CAAC,EAAE,MAAM,CAAC,CAAA;IACvD,MAAM,aAAa,GAAG,MAAM,CAAC,SAAS,CAAC,KAAK,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,MAAM,GAAG,CAAC,CAAC,CAAA;IAChE,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,CAAA;IAErB,IAAI,MAAM,GAAG,aAAa,CAAA;IAE1B,aAAa;IACb,IAAI,MAAM,KAAK,MAAM,EAAE,CAAC;QACtB,MAAM,KAAK,GAAG,eAAe,CAAC,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,WAAW,CAAC,CAAA;QAChE,IAAI,KAAK,GAAG,CAAC,EAAE,CAAC;YACd,MAAM,WAAW,GAAG,UAAU,CAAC,MAAM,EAAE;gBACrC,MAAM,EAAE,IAAI,CAAC,GAAG,GAAG,CAAC;gBACpB,KAAK;gBACL,MAAM,EAAE,MAAM;aACf,CAAC,CAAA;YACF,2EAA2E;YAC3E,MAAM,cAAc,GAAG,MAAM,CAAC,SAAS,CAAC,WAAW,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,MAAM,GAAG,CAAC,CAAC,CAAA;YACvE,MAAM,CAAC,OAAO,CAAC,WAAW,CAAC,CAAA;YAC3B,MAAM,KAAK,GAAG,MAAM,CAAC,IAAI,CAAC,MAAM,EAAE,cAAc,CAAC,CAAA;YACjD,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,CAAA;YACtB,MAAM,CAAC,OAAO,CAAC,cAAc,CAAC,CAAA;YAC9B,MAAM,GAAG,KAAK,CAAA;QAChB,CAAC;IACH,CAAC;IAED,SAAS;IACT,IAAI,IAAI,KAAK,KAAK,EAAE,CAAC;QACnB,OAAO;QACP,MAAM,UAAU,GAAG,IAAI,CAAC,GAAG,GAAG,eAAe,CAAC,GAAG,CAAC,YAAY,CAAA;QAC9D,MAAM,UAAU,GAAG,IAAI,CAAC,GAAG,GAAG,eAAe,CAAC,GAAG,CAAC,YAAY,CAAA;QAC9D,MAAM,SAAS,GAAG,gBAAgB,CAAC,MAAM,EAAE,UAAU,EAAE,UAAU,EAAE,MAAM,GAAG,CAAC,CAAC,CAAA;QAC9E,MAAM,KAAK,GAAG,MAAM,CAAC,IAAI,CAAC,MAAM,EAAE,SAAS,CAAC,CAAA;QAC5C,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,CAAA;QACtB,MAAM,CAAC,OAAO,CAAC,SAAS,CAAC,CAAA;QACzB,MAAM,GAAG,KAAK,CAAA;IAChB,CAAC;SAAM,IAAI,IAAI,KAAK,KAAK,EAAE,CAAC;QAC1B,SAAS;QACT,MAAM,UAAU,GAAG,IAAI,CAAC,GAAG,GAAG,eAAe,CAAC,GAAG,CAAC,YAAY,CAAA;QAC9D,MAAM,UAAU,GAAG,IAAI,CAAC,GAAG,GAAG,eAAe,CAAC,GAAG,CAAC,YAAY,CAAA;QAC9D,MAAM,IAAI,GAAG,MAAM,CAAC,QAAQ,CAAC,UAAU,EAAE,CAAC,EAAE,UAAU,CAAC,CAAA;QACvD,MAAM,UAAU,GAAG,MAAM,CAAC,SAAS,CAAC,IAAI,EAAE,CAAC,EAAE,CAAC,EAAE,MAAM,GAAG,CAAC,CAAC,CAAA;QAC3D,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,CAAA;QACpB,MAAM,KAAK,GAAG,MAAM,CAAC,IAAI,CAAC,MAAM,EAAE,UAAU,CAAC,CAAA;QAC7C,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,CAAA;QACtB,MAAM,CAAC,OAAO,CAAC,UAAU,CAAC,CAAA;QAC1B,MAAM,GAAG,KAAK,CAAA;IAChB,CAAC;IAED,OAAO,QAAQ,CAAC,YAAY,CAAC,MAAM,EAAE,MAAM,CAAC,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC,CAAA;AAClE,CAAC;AAED;;GAEG;AACH,SAAS,gBAAgB,CACvB,MAAqB,EACrB,MAAc,EACd,MAAc,EACd,OAAe;IAEf,QAAQ;IACR,MAAM,GAAG,GAA0C,EAAE,CAAA;IACrD,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;QAC3B,MAAM,KAAK,GAAG,CAAC,CAAC,GAAG,CAAC,GAAG,IAAI,CAAC,EAAE,CAAC,GAAG,CAAC,CAAA;QACnC,GAAG,CAAC,IAAI,CAAC;YACP,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC;YAC3B,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC;YAC3B,CAAC,EAAE,CAAC;SACL,CAAC,CAAA;IACJ,CAAC;IAED,MAAM;IACN,MAAM,KAAK,GAAiB,EAAE,CAAA;IAC9B,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;QAC3B,MAAM,IAAI,GAAG,MAAM,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAA;QAC1D,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;IAClB,CAAC;IAED,2BAA2B;IAC3B,MAAM,IAAI,GAAG,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAA;IACnC,MAAM,IAAI,GAAG,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAA;IAClC,MAAM,QAAQ,GAAG,MAAM,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC,EAAE,CAAC,EAAE,MAAM,CAAC,CAAA;IAEnD,cAAc;IACd,MAAM,UAAU,GAAG,MAAM,CAAC,SAAS,CAAC,QAAQ,EAAE,CAAC,EAAE,CAAC,EAAE,OAAO,CAAC,CAAA;IAE5D,SAAS;IACT,KAAK,MAAM,CAAC,IAAI,KAAK;QAAE,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,CAAA;IACxC,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,CAAA;IACpB,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,CAAA;IACpB,MAAM,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAA;IAExB,OAAO,UAAU,CAAA;AACnB,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,iBAAiB,CAAC,MAA+B;IAC/D,IAAI,OAAO,MAAM,CAAC,MAAM,KAAK,QAAQ,IAAI,OAAO,MAAM,CAAC,OAAO,KAAK,QAAQ,EAAE,CAAC;QAC5E,MAAM,IAAI,KAAK,CACb,6EAA6E,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,MAAM,CAAC,aAAa,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,OAAO,CAAC,EAAE,CACxJ,CAAA;IACH,CAAC;IACD,IAAI,OAAO,MAAM,CAAC,MAAM,KAAK,QAAQ,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC;QACzE,MAAM,IAAI,KAAK,CAAC,mDAAmD,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAA;IACrG,CAAC;AACH,CAAC;AAED;;;;;;;;;;;;;;;;;;;;IAoBI;AACJ,MAAM,CAAC,MAAM,KAAK,GAAG,QAAQ,CAAC;IAC5B,IAAI,EAAE,KAAK,EAAE,MAA+B,EAAE,EAAE;QAC9C,iBAAiB,CAAC,MAAM,CAAC,CAAA;QACzB,OAAO,cAAc,CAAC,KAAK,CAAC;YAC1B,MAAM,EAAE,MAAM,CAAC,MAA+B;YAC9C,OAAO,EAAE,MAAM,CAAC,OAAiB;YACjC,MAAM,EAAE,MAAM,CAAC,MAA+C;YAC9D,WAAW,EAAE,MAAM,CAAC,WAAiC;YACrD,MAAM,EAAE,MAAM,CAAC,MAAgB;YAC/B,IAAI,EAAE,MAAM,CAAC,IAA8B;YAC3C,IAAI,EAAE,MAAM,CAAC,IAA0B;SACxC,CAAC,CAAA;IACJ,CAAC;IACD,IAAI,EAAE,KAAK,EAAE,MAA+B,EAAE,EAAE;QAC9C,iBAAiB,CAAC,MAAM,CAAC,CAAA;QACzB,OAAO,SAAS,CAAC,MAAM,CAAC,CAAA;IAC1B,CAAC;IACD,+DAA+D;IAC/D,OAAO,EAAE,CAAC,MAAM,CAAC;IACjB,MAAM,EAAE,EAAE,IAAI,EAAE,WAAW,EAAE,QAAQ,EAAE,EAAE,GAAG,EAAE,UAAU,EAAE,KAAK,EAAE,EAAE,EAAE,EAAgB;CACtF,CAAC,CAAA","sourcesContent":["/**\n * api screw — 螺丝创建库函数（creator 函数，无输入）\n *\n * 平台分层（narrowing plan Phase 5，D11）：**平台 op（occt）**——BREP 路径的\n * 螺纹经 `threadBrep`（brep-operations/threadFns.ts）走 occt-only `loft`（D3）→\n * `engines: ['occt']`。mesh 路径（cad.screw）在 auto 模式下正常降级。\n *\n * dispatchPath 静态判定 brep/mesh，产物经 solid()/fromBrep() 构造器创建。\n */\n\nimport type { Shape } from '../mesh/types'\n// B3 correction (2026-10-06): no library-face cad aggregate — import the impl from its own module.\nimport * as meshPrimitives from '../mesh/primitives'\nimport { solidToShape } from '../brep/brep-ops'\nimport { threadBrep } from './brep-operations/threadFns'\nimport { getScrewSpec, threadToPitchMm, SCREW_HEAD_DIMS } from '../primitives/screw/screw-db'\nimport { getBrepApi } from '../brep/handle-bridge'\nimport { fromBrep } from '../shape'\nimport { defineOp } from '../sdk'\nimport type { Provenance } from '../topology/naming/lineage'\nimport type { BrepHandle } from '../brep/engine/types'\nimport type { BrepEngineApi } from '../brep/engine/primitives'\n\n/** BREP 路径：threadBrep + fuse 构造精确螺纹螺钉 + 三角化 + fromBrep 登记。 */\nasync function screwBrep(params: Record<string, unknown>): Promise<Shape> {\n  // L1 面（D12）：makeCylinder/translate/fuse/makeCone 等全是 L1；螺纹 loft 在\n  // threadFns 内部走 occt 平台面。\n  const kernel = getBrepApi()\n\n  const system = params.system as 'metric' | 'imperial'\n  const specIdx = params.specIdx as number\n  const spec = getScrewSpec(system, specIdx)\n  const length = params.length as number\n  const head = params.head as 'hex' | 'chc' | 'none'\n  const thread = params.thread as 'coarse' | 'fine' | 'custom' | 'none'\n  const pitchCustom = params.pitchCustom as number | undefined\n\n  // 1. 螺杆（圆柱体，居中）\n  const shank = kernel.makeCylinder(spec.dia / 2, length)\n  const centeredShank = kernel.translate(shank, 0, 0, -length / 2)\n  kernel.release(shank)\n\n  let result = centeredShank\n\n  // 2. 螺纹（外螺纹）\n  if (thread !== 'none') {\n    const pitch = threadToPitchMm(system, spec, thread, pitchCustom)\n    if (pitch > 0) {\n      const threadSolid = threadBrep(kernel, {\n        radius: spec.dia / 2,\n        pitch,\n        height: length,\n      })\n      // threadBrep creates thread from Z=0 to Z=height; center it to match shank\n      const centeredThread = kernel.translate(threadSolid, 0, 0, -length / 2)\n      kernel.release(threadSolid)\n      const fused = kernel.fuse(result, centeredThread)\n      kernel.release(result)\n      kernel.release(centeredThread)\n      result = fused\n    }\n  }\n\n  // 3. 螺钉头\n  if (head === 'hex') {\n    // 六棱柱头\n    const headHeight = spec.dia * SCREW_HEAD_DIMS.hex.heightFactor\n    const headRadius = spec.dia * SCREW_HEAD_DIMS.hex.radiusFactor\n    const headSolid = makeHexPrismBrep(kernel, headRadius, headHeight, length / 2)\n    const fused = kernel.fuse(result, headSolid)\n    kernel.release(result)\n    kernel.release(headSolid)\n    result = fused\n  } else if (head === 'chc') {\n    // 沉头（圆锥）\n    const headHeight = spec.dia * SCREW_HEAD_DIMS.chc.heightFactor\n    const headRadius = spec.dia * SCREW_HEAD_DIMS.chc.radiusFactor\n    const cone = kernel.makeCone(headRadius, 0, headHeight)\n    const positioned = kernel.translate(cone, 0, 0, length / 2)\n    kernel.release(cone)\n    const fused = kernel.fuse(result, positioned)\n    kernel.release(result)\n    kernel.release(positioned)\n    result = fused\n  }\n\n  return fromBrep(solidToShape(kernel, result), { solid: result })\n}\n\n/**\n * 构造六棱柱 BREP solid\n */\nfunction makeHexPrismBrep(\n  kernel: BrepEngineApi,\n  radius: number,\n  height: number,\n  zOffset: number,\n): BrepHandle {\n  // 六边形顶点\n  const pts: { x: number; y: number; z: number }[] = []\n  for (let i = 0; i < 6; i++) {\n    const angle = (i * 2 * Math.PI) / 6\n    pts.push({\n      x: radius * Math.cos(angle),\n      y: radius * Math.sin(angle),\n      z: 0,\n    })\n  }\n\n  // 构建边\n  const edges: BrepHandle[] = []\n  for (let i = 0; i < 6; i++) {\n    const edge = kernel.makeLineEdge(pts[i], pts[(i + 1) % 6])\n    edges.push(edge)\n  }\n\n  // 构建 wire → face → extrude\n  const wire = kernel.makeWire(edges)\n  const face = kernel.makeFace(wire)\n  const extruded = kernel.extrude(face, 0, 0, height)\n\n  // 平移到 zOffset\n  const positioned = kernel.translate(extruded, 0, 0, zOffset)\n\n  // 释放中间句柄\n  for (const e of edges) kernel.release(e)\n  kernel.release(wire)\n  kernel.release(face)\n  kernel.release(extruded)\n\n  return positioned\n}\n\n/**\n * Validate screw parameters: `system` and `specIdx` are required, and `length`\n * must be a finite number.\n * @param params - the raw screw operation parameters.\n */\nexport function assertScrewParams(params: Record<string, unknown>): void {\n  if (typeof params.system !== 'string' || typeof params.specIdx !== 'number') {\n    throw new Error(\n      `[api/screw] system (string) and specIdx (number) are required, got system=${JSON.stringify(params.system)}, specIdx=${JSON.stringify(params.specIdx)}`,\n    )\n  }\n  if (typeof params.length !== 'number' || !Number.isFinite(params.length)) {\n    throw new Error(`[api/screw] length must be a finite number, got ${JSON.stringify(params.length)}`)\n  }\n}\n\n/**\n * 生成螺丝零件（螺纹 + 头型）。\n * @group 创建\n * @inputs 0\n * @async true\n * @qual ok\n * @name screw\n * @returns Shape 螺丝几何，生成独立零件。\n * @param params.system - 制式。type:'metric' | 'imperial' required:true\n * @param params.specIdx - 规格索引（决定公称直径，如 5 → M5、6 → M6）。type:number required:true\n * @param params.thread - 螺纹类型。type:'coarse' | 'fine' | 'custom' | 'none' 默认 'coarse'\n * @param params.length - 螺杆长度（mm）。type:number required:true\n * @param params.head - 头型（hex 六角 / chc 沉头 / none 无头）。type:'hex' | 'chc' | 'none' 默认 'none'\n * @param params.pitchCustom - 自定螺距（thread='custom' 时用）。type:number\n * @param params.nRad - 径向分段数（拓扑参数）。type:number 默认 32\n * @note nRad 是拓扑参数不是渲染参数：mesh 路径直接决定分段数；BREP 路径用精确曲面，nRad 仅作 BREP→mesh 三角化角度提示（angular deflection ≈ 2π/nRad）。.fai.js 默认 32 不输出，非默认才输出以保证可复现。\n * @note pitchCustom 执行层已支持（makeScrew/threadBrep 均读取），codegen 曾不序列化（TODO）；当前已机械输出。\n * @example\n * const s = await cad.screw({ system: 'metric', specIdx: 6, thread: 'coarse', length: 20, head: 'hex' })\n * const s = await cad.screw({ system: 'metric', specIdx: 6, thread: 'coarse', length: 20, head: 'hex', nRad: 64 })\n  */\nexport const screw = defineOp({\n  mesh: async (params: Record<string, unknown>) => {\n    assertScrewParams(params)\n    return meshPrimitives.screw({\n      system: params.system as 'metric' | 'imperial',\n      specIdx: params.specIdx as number,\n      thread: params.thread as 'coarse' | 'fine' | 'custom' | 'none',\n      pitchCustom: params.pitchCustom as number | undefined,\n      length: params.length as number,\n      head: params.head as 'hex' | 'chc' | 'none',\n      nRad: params.nRad as number | undefined,\n    })\n  },\n  brep: async (params: Record<string, unknown>) => {\n    assertScrewParams(params)\n    return screwBrep(params)\n  },\n  // 平台 op（D11）：螺纹 loft 是 occt-only（threadFns.ts，D3）→ engines 声明。\n  engines: ['occt'],\n  naming: { kind: 'construct', newFaces: { via: 'explicit', vocab: [] } } as Provenance,\n})\n"]}

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

@@ -1 +1 @@
-{"version":3,"file":"sdf.d.ts","sourceRoot":"","sources":["../../src/api/sdf.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAMH;;;GAGG;AACH,wBAAgB,eAAe,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG,IAAI,CAIrE;AAED;;;;;;;;;;;;;;;IAeI;AACJ,eAAO,MAAM,GAAG;;CAWd,CAAA"}
+{"version":3,"file":"sdf.d.ts","sourceRoot":"","sources":["../../src/api/sdf.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAOH;;;GAGG;AACH,wBAAgB,eAAe,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG,IAAI,CAIrE;AAED;;;;;;;;;;;;;;;IAeI;AACJ,eAAO,MAAM,GAAG;;CAWd,CAAA"}

package/dist/api/sdf.js

@@ -5,7 +5,8 @@
  * sdf 无 BREP 实现（mesh-only）——dispatchPath 在 brep 模式下调用前抛错。
  * part-brep-lost 事件由引擎统一发（P4，库不再 emit）。
  */
-import { cad } from '../mesh/index.js';
+// B3 correction (2026-10-06): no library-face cad aggregate — import the impl from its own module.
+import * as meshPrimitives from '../mesh/primitives.js';
 import { defineOp } from '../sdk.js';
 /**
  * Validate sdf parameters: `code` must be a non-empty string.
@@ -35,7 +36,7 @@ export function assertSdfParams(params) {
 export const sdf = defineOp({
     mesh: async (params) => {
         assertSdfParams(params);
-        return cad.sdf({
+        return meshPrimitives.sdf({
             code: params.code,
             box: params.box,
             resolution: params.resolution,

package/dist/api/sdf.js.map

@@ -1 +1 @@
-{"version":3,"file":"sdf.js","sourceRoot":"","sources":["../../src/api/sdf.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAEH,OAAO,EAAE,GAAG,EAAE,MAAM,SAAS,CAAA;AAC7B,OAAO,EAAE,QAAQ,EAAE,MAAM,QAAQ,CAAA;AAGjC;;;GAGG;AACH,MAAM,UAAU,eAAe,CAAC,MAA+B;IAC7D,IAAI,OAAO,MAAM,CAAC,IAAI,KAAK,QAAQ,IAAI,MAAM,CAAC,IAAI,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC;QACjE,MAAM,IAAI,KAAK,CAAC,kDAAkD,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,CAAA;IAClG,CAAC;AACH,CAAC;AAED;;;;;;;;;;;;;;;IAeI;AACJ,MAAM,CAAC,MAAM,GAAG,GAAG,QAAQ,CAAC;IAC1B,IAAI,EAAE,KAAK,EAAE,MAA+B,EAAE,EAAE;QAC9C,eAAe,CAAC,MAAM,CAAC,CAAA;QACvB,OAAO,GAAG,CAAC,GAAG,CAAC;YACb,IAAI,EAAE,MAAM,CAAC,IAAc;YAC3B,GAAG,EAAE,MAAM,CAAC,GAAuE;YACnF,UAAU,EAAE,MAAM,CAAC,UAAgC;YACnD,MAAM,EAAE,MAAM,CAAC,MAA4C;SAC5D,CAAC,CAAA;IACJ,CAAC;IACD,MAAM,EAAE,EAAE,IAAI,EAAE,WAAW,EAAE,MAAM,EAAE,yCAAyC,EAAgB;CAC/F,CAAC,CAAA","sourcesContent":["/**\n * api sdf — SDF 库函数（mesh-only，创建类无输入）\n *\n *\n * sdf 无 BREP 实现（mesh-only）——dispatchPath 在 brep 模式下调用前抛错。\n * part-brep-lost 事件由引擎统一发（P4，库不再 emit）。\n */\n\nimport { cad } from '../mesh'\nimport { defineOp } from '../sdk'\nimport type { Provenance } from '../topology/naming/lineage'\n\n/**\n * Validate sdf parameters: `code` must be a non-empty string.\n * @param params - the raw sdf operation parameters.\n */\nexport function assertSdfParams(params: Record<string, unknown>): void {\n  if (typeof params.code !== 'string' || params.code.trim() === '') {\n    throw new Error(`[api/sdf] code must be a non-empty string, got ${JSON.stringify(params.code)}`)\n  }\n}\n\n/**\n * 用 SDF（符号距离场）函数生成网格体（mesh-only）。\n * @group 创建\n * @inputs 0\n * @async true\n * @qual warn\n * @name sdf\n * @note SDF 无 BREP 实现（mesh-only）；brep 模式下 dispatchPath 调用前抛 BrepUnsupportedError。SDF 天生是网格操作，允许网格参数（resolution）。\n * @returns Shape SDF 生成的网格体，生成独立零件。\n * @param params.code - SDF 函数源码（`sdf(x,y,z)` 定义或标题模板调用，如 'return sphere(10) - sphere(5, [10,0,0])'）。type:string required:true\n * @param params.box - 采样包围盒。type:[[minX,minY,minZ],[maxX,maxY,maxZ]] 默认 [[-10,-10,-10],[10,10,10]]\n * @param params.resolution - 网格单元边长（越小越精细）。type:number 默认 1.0\n * @param params.params - 参数数值表（SDF 里引用的变量值）。type:object\n * @example\n * const s = await cad.sdf({ code: 'return sphere(10) - sphere(5, [10,0,0])', box: [[-20,-20,-20],[30,20,20]], resolution: 1 })\n  */\nexport const sdf = defineOp({\n  mesh: async (params: Record<string, unknown>) => {\n    assertSdfParams(params)\n    return cad.sdf({\n      code: params.code as string,\n      box: params.box as [[number, number, number], [number, number, number]] | undefined,\n      resolution: params.resolution as number | undefined,\n      params: params.params as Record<string, number> | undefined,\n    })\n  },\n  naming: { kind: 'unmodeled', reason: 'sdf is mesh-only, no BREP face identity' } as Provenance,\n})\n"]}
+{"version":3,"file":"sdf.js","sourceRoot":"","sources":["../../src/api/sdf.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAEH,mGAAmG;AACnG,OAAO,KAAK,cAAc,MAAM,oBAAoB,CAAA;AACpD,OAAO,EAAE,QAAQ,EAAE,MAAM,QAAQ,CAAA;AAGjC;;;GAGG;AACH,MAAM,UAAU,eAAe,CAAC,MAA+B;IAC7D,IAAI,OAAO,MAAM,CAAC,IAAI,KAAK,QAAQ,IAAI,MAAM,CAAC,IAAI,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC;QACjE,MAAM,IAAI,KAAK,CAAC,kDAAkD,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,CAAA;IAClG,CAAC;AACH,CAAC;AAED;;;;;;;;;;;;;;;IAeI;AACJ,MAAM,CAAC,MAAM,GAAG,GAAG,QAAQ,CAAC;IAC1B,IAAI,EAAE,KAAK,EAAE,MAA+B,EAAE,EAAE;QAC9C,eAAe,CAAC,MAAM,CAAC,CAAA;QACvB,OAAO,cAAc,CAAC,GAAG,CAAC;YACxB,IAAI,EAAE,MAAM,CAAC,IAAc;YAC3B,GAAG,EAAE,MAAM,CAAC,GAAuE;YACnF,UAAU,EAAE,MAAM,CAAC,UAAgC;YACnD,MAAM,EAAE,MAAM,CAAC,MAA4C;SAC5D,CAAC,CAAA;IACJ,CAAC;IACD,MAAM,EAAE,EAAE,IAAI,EAAE,WAAW,EAAE,MAAM,EAAE,yCAAyC,EAAgB;CAC/F,CAAC,CAAA","sourcesContent":["/**\n * api sdf — SDF 库函数（mesh-only，创建类无输入）\n *\n *\n * sdf 无 BREP 实现（mesh-only）——dispatchPath 在 brep 模式下调用前抛错。\n * part-brep-lost 事件由引擎统一发（P4，库不再 emit）。\n */\n\n// B3 correction (2026-10-06): no library-face cad aggregate — import the impl from its own module.\nimport * as meshPrimitives from '../mesh/primitives'\nimport { defineOp } from '../sdk'\nimport type { Provenance } from '../topology/naming/lineage'\n\n/**\n * Validate sdf parameters: `code` must be a non-empty string.\n * @param params - the raw sdf operation parameters.\n */\nexport function assertSdfParams(params: Record<string, unknown>): void {\n  if (typeof params.code !== 'string' || params.code.trim() === '') {\n    throw new Error(`[api/sdf] code must be a non-empty string, got ${JSON.stringify(params.code)}`)\n  }\n}\n\n/**\n * 用 SDF（符号距离场）函数生成网格体（mesh-only）。\n * @group 创建\n * @inputs 0\n * @async true\n * @qual warn\n * @name sdf\n * @note SDF 无 BREP 实现（mesh-only）；brep 模式下 dispatchPath 调用前抛 BrepUnsupportedError。SDF 天生是网格操作，允许网格参数（resolution）。\n * @returns Shape SDF 生成的网格体，生成独立零件。\n * @param params.code - SDF 函数源码（`sdf(x,y,z)` 定义或标题模板调用，如 'return sphere(10) - sphere(5, [10,0,0])'）。type:string required:true\n * @param params.box - 采样包围盒。type:[[minX,minY,minZ],[maxX,maxY,maxZ]] 默认 [[-10,-10,-10],[10,10,10]]\n * @param params.resolution - 网格单元边长（越小越精细）。type:number 默认 1.0\n * @param params.params - 参数数值表（SDF 里引用的变量值）。type:object\n * @example\n * const s = await cad.sdf({ code: 'return sphere(10) - sphere(5, [10,0,0])', box: [[-20,-20,-20],[30,20,20]], resolution: 1 })\n  */\nexport const sdf = defineOp({\n  mesh: async (params: Record<string, unknown>) => {\n    assertSdfParams(params)\n    return meshPrimitives.sdf({\n      code: params.code as string,\n      box: params.box as [[number, number, number], [number, number, number]] | undefined,\n      resolution: params.resolution as number | undefined,\n      params: params.params as Record<string, number> | undefined,\n    })\n  },\n  naming: { kind: 'unmodeled', reason: 'sdf is mesh-only, no BREP face identity' } as Provenance,\n})\n"]}

package/dist/api/shape-type/index.d.ts

@@ -0,0 +1,141 @@
+/**
+ * api shape-type — 类型判定谓词族（平台 op engines:['occt']，普通函数形态）
+ *
+ * @platform occt — 8 个布尔谓词（isEdge / isFace / isShell / isVertex / isWire /
+ * isCompound / isCompSolid / isEqual）直调 occt 原生 `isEdge`/`isFace`/…（occt-wasm
+ * 有）。这些原生方法**不在** L1 契约 `BrepEngineApi` 里（L1 只有 `isSolid` 与
+ * `getSubShapes`/`subShapeHashes`，见 brep/engine/primitives.ts）——因此它们不能走
+ * 中立路径，必须声明 `engines: ['occt']` 直调 occt（方案 §3.4.6 校正注）。
+ *
+ * 为什么不是 `defineOp`：本族返回**布尔**（非 Shape）。`defineOp` 的 brep 包装
+ * （define-op.ts#wrapBrepOne）把返回值一律收养为 Shape，装不下布尔。数据型平台 op
+ * 走普通函数，是 `api/export-brep.ts` 的既定口径（先例：projectView 返回 SVG 字符串）。
+ *
+ * 引擎身份**不能**靠 dispatchPath 门控（普通函数不走那条路）⇒ 按
+ * `api/internal/l3-bridge.ts#assertEngineFor` 的既定做法：函数体第一行断言当前引擎，
+ * 触碰内核之前报出与 D11-4 同构的 `E_BREP_UNSUPPORTED`，不补桩、不回退。
+ * （与 dispatchPath 的差异：`assertEngineFor` **不含** D11-3 的 `brep_mock` 豁免——
+ *  mock 句柄不是 occt 句柄，放行只会拿到错形状，故这里如实拦截。）
+ *
+ * 注册：api/api-namespace.ts 手动 import + 进 createApiNamespace 对象；覆盖率扫描器
+ * scan-occt-op-coverage.ts 的 PLAN_C2_EXTRA 补 8 个方法名（普通函数不在 defineOp
+ * 全集口径内，collectOps 看不见）。
+ *
+ * §9.5 降级路径（记录在案）：一旦 brepkit 的 wasm 面把 isEdge/isFace/… 接进 L1 契约
+ * 且两侧适配器同时落地，这些函数删掉 assertEngineFor 并改走 `getBrepApi()`，对应方法
+ * 即从 C2 转入 C1。
+ */
+import type { Shape } from '../../mesh/types.js';
+/**
+ * 形状是否为边（edge）。
+ * @group 查询
+ * @inputs 1
+ * @async false
+ * @qual ok
+ * @name isEdge
+ * @note 平台 op：仅 occt 引擎（原生 isEdge）。非 occt 引擎执行前报 E_BREP_UNSUPPORTED。
+ * @returns boolean 是否为边。
+ * @param shape - 被判别的形状。type:Shape required:true
+ * @example
+ * const e = cad.makeLineEdge([0,0,0],[1,0,0])
+ * const yes = cad.isEdge(e)
+ */
+export declare function isEdge(shape: Shape): boolean;
+/**
+ * 形状是否为面（face）。
+ * @group 查询
+ * @inputs 1
+ * @async false
+ * @qual ok
+ * @name isFace
+ * @note 平台 op：仅 occt 引擎（原生 isFace）。非 occt 引擎执行前报 E_BREP_UNSUPPORTED。
+ * @returns boolean 是否为面。
+ * @param shape - 被判别的形状。type:Shape required:true
+ * @example
+ * const f = cad.makeFace(wire)
+ * const yes = cad.isFace(f)
+ */
+export declare function isFace(shape: Shape): boolean;
+/**
+ * 形状是否为壳（shell）。
+ * @group 查询
+ * @inputs 1
+ * @async false
+ * @qual ok
+ * @name isShell
+ * @note 平台 op：仅 occt 引擎（原生 isShell）。非 occt 引擎执行前报 E_BREP_UNSUPPORTED。
+ * @returns boolean 是否为壳。
+ * @param shape - 被判别的形状。type:Shape required:true
+ */
+export declare function isShell(shape: Shape): boolean;
+/**
+ * 形状是否为顶点（vertex）。
+ * @group 查询
+ * @inputs 1
+ * @async false
+ * @qual ok
+ * @name isVertex
+ * @note 平台 op：仅 occt 引擎（原生 isVertex）。非 occt 引擎执行前报 E_BREP_UNSUPPORTED。
+ * @returns boolean 是否为顶点。
+ * @param shape - 被判别的形状。type:Shape required:true
+ */
+export declare function isVertex(shape: Shape): boolean;
+/**
+ * 形状是否为线（wire）。
+ * @group 查询
+ * @inputs 1
+ * @async false
+ * @qual ok
+ * @name isWire
+ * @note 平台 op：仅 occt 引擎（原生 isWire）。非 occt 引擎执行前报 E_BREP_UNSUPPORTED。
+ * @returns boolean 是否为线。
+ * @param shape - 被判别的形状。type:Shape required:true
+ */
+export declare function isWire(shape: Shape): boolean;
+/**
+ * 形状是否为复合体（compound）。
+ * @group 查询
+ * @inputs 1
+ * @async false
+ * @qual ok
+ * @name isCompound
+ * @note 平台 op：仅 occt 引擎（原生 isCompound）。非 occt 引擎执行前报 E_BREP_UNSUPPORTED。
+ * @returns boolean 是否为复合体。
+ * @param shape - 被判别的形状。type:Shape required:true
+ */
+export declare function isCompound(shape: Shape): boolean;
+/**
+ * 形状是否为组合实体（comp-solid）。
+ * @group 查询
+ * @inputs 1
+ * @async false
+ * @qual ok
+ * @name isCompSolid
+ * @note 平台 op：仅 occt 引擎（原生 isCompSolid）。非 occt 引擎执行前报 E_BREP_UNSUPPORTED。
+ * @returns boolean 是否为组合实体。
+ * @param shape - 被判别的形状。type:Shape required:true
+ */
+export declare function isCompSolid(shape: Shape): boolean;
+/**
+ * 两个形状是否为同一几何实体（occt 原生 `isEqual` 语义）。
+ *
+ * occt 的 `IsEqual` 当且仅当两形状共享同一 `TShape` 且 `Location`/`Orientation`
+ * 相同时返回 true——即「同一几何实体」，不是「几何内容相同但独立构造」。因此两个
+ * 几何相同但各自 `makeBox` 出来的形状会返回 false；要比较「内容相同」需另走几何
+ * 比较（非本 op 职责）。区别于 `isSame`（同一句柄引用）。
+ * @group 查询
+ * @inputs 2
+ * @async false
+ * @qual ok
+ * @name isEqual
+ * @note 平台 op：仅 occt 引擎（原生 isEqual，L1 无对应成员）。非 occt 引擎执行前报
+ *       E_BREP_UNSUPPORTED。
+ * @returns boolean 是否为同一几何实体。
+ * @param a - 第一个形状。type:Shape required:true
+ * @param b - 第二个形状。type:Shape required:true
+ * @example
+ * const same = cad.isEqual(part0, part0)   // true（同一手柄）
+ * const diff = cad.isEqual(part0, part1)   // 独立构造的相同几何 → false
+ */
+export declare function isEqual(a: Shape, b: Shape): boolean;
+//# sourceMappingURL=index.d.ts.map

package/dist/api/shape-type/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/api/shape-type/index.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;GA0BG;AAEH,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,kBAAkB,CAAA;AA+B7C;;;;;;;;;;;;;GAaG;AACH,wBAAgB,MAAM,CAAC,KAAK,EAAE,KAAK,GAAG,OAAO,CAE5C;AAED;;;;;;;;;;;;;GAaG;AACH,wBAAgB,MAAM,CAAC,KAAK,EAAE,KAAK,GAAG,OAAO,CAE5C;AAED;;;;;;;;;;GAUG;AACH,wBAAgB,OAAO,CAAC,KAAK,EAAE,KAAK,GAAG,OAAO,CAE7C;AAED;;;;;;;;;;GAUG;AACH,wBAAgB,QAAQ,CAAC,KAAK,EAAE,KAAK,GAAG,OAAO,CAE9C;AAED;;;;;;;;;;GAUG;AACH,wBAAgB,MAAM,CAAC,KAAK,EAAE,KAAK,GAAG,OAAO,CAE5C;AAED;;;;;;;;;;GAUG;AACH,wBAAgB,UAAU,CAAC,KAAK,EAAE,KAAK,GAAG,OAAO,CAEhD;AAED;;;;;;;;;;GAUG;AACH,wBAAgB,WAAW,CAAC,KAAK,EAAE,KAAK,GAAG,OAAO,CAEjD;AAED;;;;;;;;;;;;;;;;;;;;GAoBG;AACH,wBAAgB,OAAO,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,KAAK,GAAG,OAAO,CAMnD"}

package/dist/api/shape-type/index.js

@@ -0,0 +1,182 @@
+/**
+ * api shape-type — 类型判定谓词族（平台 op engines:['occt']，普通函数形态）
+ *
+ * @platform occt — 8 个布尔谓词（isEdge / isFace / isShell / isVertex / isWire /
+ * isCompound / isCompSolid / isEqual）直调 occt 原生 `isEdge`/`isFace`/…（occt-wasm
+ * 有）。这些原生方法**不在** L1 契约 `BrepEngineApi` 里（L1 只有 `isSolid` 与
+ * `getSubShapes`/`subShapeHashes`，见 brep/engine/primitives.ts）——因此它们不能走
+ * 中立路径，必须声明 `engines: ['occt']` 直调 occt（方案 §3.4.6 校正注）。
+ *
+ * 为什么不是 `defineOp`：本族返回**布尔**（非 Shape）。`defineOp` 的 brep 包装
+ * （define-op.ts#wrapBrepOne）把返回值一律收养为 Shape，装不下布尔。数据型平台 op
+ * 走普通函数，是 `api/export-brep.ts` 的既定口径（先例：projectView 返回 SVG 字符串）。
+ *
+ * 引擎身份**不能**靠 dispatchPath 门控（普通函数不走那条路）⇒ 按
+ * `api/internal/l3-bridge.ts#assertEngineFor` 的既定做法：函数体第一行断言当前引擎，
+ * 触碰内核之前报出与 D11-4 同构的 `E_BREP_UNSUPPORTED`，不补桩、不回退。
+ * （与 dispatchPath 的差异：`assertEngineFor` **不含** D11-3 的 `brep_mock` 豁免——
+ *  mock 句柄不是 occt 句柄，放行只会拿到错形状，故这里如实拦截。）
+ *
+ * 注册：api/api-namespace.ts 手动 import + 进 createApiNamespace 对象；覆盖率扫描器
+ * scan-occt-op-coverage.ts 的 PLAN_C2_EXTRA 补 8 个方法名（普通函数不在 defineOp
+ * 全集口径内，collectOps 看不见）。
+ *
+ * §9.5 降级路径（记录在案）：一旦 brepkit 的 wasm 面把 isEdge/isFace/… 接进 L1 契约
+ * 且两侧适配器同时落地，这些函数删掉 assertEngineFor 并改走 `getBrepApi()`，对应方法
+ * 即从 C2 转入 C1。
+ */
+import { brepOf } from '../../shape.js';
+import { getOcctKernel } from '../../occt-kernel/occtKernel.js';
+import { assertEngineFor } from '../internal/l3-bridge.js';
+/** 借出形状的内核句柄；无 BREP 槽（mesh-only）报错。 */
+function occtHandleOf(shape, op) {
+    const h = brepOf(shape);
+    if (!h) {
+        throw new Error(`E_SHAPE_TYPE_NO_BREP: ${op} requires a BREP handle (mesh-only shape has none)`);
+    }
+    return h;
+}
+/**
+ * 单参数类型判定：先断言引擎身份 → 借出句柄 → occt 原生 is* 直调。
+ * @param method - occt 原生方法名（op 名与之相同）。
+ * @param shape - 被判别的形状。
+ * @returns 该形状是否为对应拓扑类型。
+ */
+function shapePredicate(method, shape) {
+    assertEngineFor(method, ['occt']);
+    const kernel = getOcctKernel();
+    return kernel[method](occtHandleOf(shape, method));
+}
+/**
+ * 形状是否为边（edge）。
+ * @group 查询
+ * @inputs 1
+ * @async false
+ * @qual ok
+ * @name isEdge
+ * @note 平台 op：仅 occt 引擎（原生 isEdge）。非 occt 引擎执行前报 E_BREP_UNSUPPORTED。
+ * @returns boolean 是否为边。
+ * @param shape - 被判别的形状。type:Shape required:true
+ * @example
+ * const e = cad.makeLineEdge([0,0,0],[1,0,0])
+ * const yes = cad.isEdge(e)
+ */
+export function isEdge(shape) {
+    return shapePredicate('isEdge', shape);
+}
+/**
+ * 形状是否为面（face）。
+ * @group 查询
+ * @inputs 1
+ * @async false
+ * @qual ok
+ * @name isFace
+ * @note 平台 op：仅 occt 引擎（原生 isFace）。非 occt 引擎执行前报 E_BREP_UNSUPPORTED。
+ * @returns boolean 是否为面。
+ * @param shape - 被判别的形状。type:Shape required:true
+ * @example
+ * const f = cad.makeFace(wire)
+ * const yes = cad.isFace(f)
+ */
+export function isFace(shape) {
+    return shapePredicate('isFace', shape);
+}
+/**
+ * 形状是否为壳（shell）。
+ * @group 查询
+ * @inputs 1
+ * @async false
+ * @qual ok
+ * @name isShell
+ * @note 平台 op：仅 occt 引擎（原生 isShell）。非 occt 引擎执行前报 E_BREP_UNSUPPORTED。
+ * @returns boolean 是否为壳。
+ * @param shape - 被判别的形状。type:Shape required:true
+ */
+export function isShell(shape) {
+    return shapePredicate('isShell', shape);
+}
+/**
+ * 形状是否为顶点（vertex）。
+ * @group 查询
+ * @inputs 1
+ * @async false
+ * @qual ok
+ * @name isVertex
+ * @note 平台 op：仅 occt 引擎（原生 isVertex）。非 occt 引擎执行前报 E_BREP_UNSUPPORTED。
+ * @returns boolean 是否为顶点。
+ * @param shape - 被判别的形状。type:Shape required:true
+ */
+export function isVertex(shape) {
+    return shapePredicate('isVertex', shape);
+}
+/**
+ * 形状是否为线（wire）。
+ * @group 查询
+ * @inputs 1
+ * @async false
+ * @qual ok
+ * @name isWire
+ * @note 平台 op：仅 occt 引擎（原生 isWire）。非 occt 引擎执行前报 E_BREP_UNSUPPORTED。
+ * @returns boolean 是否为线。
+ * @param shape - 被判别的形状。type:Shape required:true
+ */
+export function isWire(shape) {
+    return shapePredicate('isWire', shape);
+}
+/**
+ * 形状是否为复合体（compound）。
+ * @group 查询
+ * @inputs 1
+ * @async false
+ * @qual ok
+ * @name isCompound
+ * @note 平台 op：仅 occt 引擎（原生 isCompound）。非 occt 引擎执行前报 E_BREP_UNSUPPORTED。
+ * @returns boolean 是否为复合体。
+ * @param shape - 被判别的形状。type:Shape required:true
+ */
+export function isCompound(shape) {
+    return shapePredicate('isCompound', shape);
+}
+/**
+ * 形状是否为组合实体（comp-solid）。
+ * @group 查询
+ * @inputs 1
+ * @async false
+ * @qual ok
+ * @name isCompSolid
+ * @note 平台 op：仅 occt 引擎（原生 isCompSolid）。非 occt 引擎执行前报 E_BREP_UNSUPPORTED。
+ * @returns boolean 是否为组合实体。
+ * @param shape - 被判别的形状。type:Shape required:true
+ */
+export function isCompSolid(shape) {
+    return shapePredicate('isCompSolid', shape);
+}
+/**
+ * 两个形状是否为同一几何实体（occt 原生 `isEqual` 语义）。
+ *
+ * occt 的 `IsEqual` 当且仅当两形状共享同一 `TShape` 且 `Location`/`Orientation`
+ * 相同时返回 true——即「同一几何实体」，不是「几何内容相同但独立构造」。因此两个
+ * 几何相同但各自 `makeBox` 出来的形状会返回 false；要比较「内容相同」需另走几何
+ * 比较（非本 op 职责）。区别于 `isSame`（同一句柄引用）。
+ * @group 查询
+ * @inputs 2
+ * @async false
+ * @qual ok
+ * @name isEqual
+ * @note 平台 op：仅 occt 引擎（原生 isEqual，L1 无对应成员）。非 occt 引擎执行前报
+ *       E_BREP_UNSUPPORTED。
+ * @returns boolean 是否为同一几何实体。
+ * @param a - 第一个形状。type:Shape required:true
+ * @param b - 第二个形状。type:Shape required:true
+ * @example
+ * const same = cad.isEqual(part0, part0)   // true（同一手柄）
+ * const diff = cad.isEqual(part0, part1)   // 独立构造的相同几何 → false
+ */
+export function isEqual(a, b) {
+    assertEngineFor('isEqual', ['occt']);
+    const ka = occtHandleOf(a, 'isEqual');
+    const kb = occtHandleOf(b, 'isEqual');
+    const kernel = getOcctKernel();
+    return kernel.isEqual(ka, kb);
+}
+//# sourceMappingURL=index.js.map

package/dist/api/shape-type/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../src/api/shape-type/index.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;GA0BG;AAIH,OAAO,EAAE,MAAM,EAAE,MAAM,aAAa,CAAA;AACpC,OAAO,EAAE,aAAa,EAAE,MAAM,8BAA8B,CAAA;AAC5D,OAAO,EAAE,eAAe,EAAE,MAAM,uBAAuB,CAAA;AAMvD,uCAAuC;AACvC,SAAS,YAAY,CAAC,KAAY,EAAE,EAAU;IAC5C,MAAM,CAAC,GAAG,MAAM,CAAC,KAAK,CAA2B,CAAA;IACjD,IAAI,CAAC,CAAC,EAAE,CAAC;QACP,MAAM,IAAI,KAAK,CAAC,yBAAyB,EAAE,oDAAoD,CAAC,CAAA;IAClG,CAAC;IACD,OAAO,CAAC,CAAA;AACV,CAAC;AAED;;;;;GAKG;AACH,SAAS,cAAc,CAAC,MAAyB,EAAE,KAAY;IAC7D,eAAe,CAAC,MAAM,EAAE,CAAC,MAAM,CAAC,CAAC,CAAA;IACjC,MAAM,MAAM,GAAG,aAAa,EAAmE,CAAA;IAC/F,OAAO,MAAM,CAAC,MAAM,CAAC,CAAC,YAAY,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC,CAAA;AACpD,CAAC;AAED;;;;;;;;;;;;;GAaG;AACH,MAAM,UAAU,MAAM,CAAC,KAAY;IACjC,OAAO,cAAc,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAA;AACxC,CAAC;AAED;;;;;;;;;;;;;GAaG;AACH,MAAM,UAAU,MAAM,CAAC,KAAY;IACjC,OAAO,cAAc,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAA;AACxC,CAAC;AAED;;;;;;;;;;GAUG;AACH,MAAM,UAAU,OAAO,CAAC,KAAY;IAClC,OAAO,cAAc,CAAC,SAAS,EAAE,KAAK,CAAC,CAAA;AACzC,CAAC;AAED;;;;;;;;;;GAUG;AACH,MAAM,UAAU,QAAQ,CAAC,KAAY;IACnC,OAAO,cAAc,CAAC,UAAU,EAAE,KAAK,CAAC,CAAA;AAC1C,CAAC;AAED;;;;;;;;;;GAUG;AACH,MAAM,UAAU,MAAM,CAAC,KAAY;IACjC,OAAO,cAAc,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAA;AACxC,CAAC;AAED;;;;;;;;;;GAUG;AACH,MAAM,UAAU,UAAU,CAAC,KAAY;IACrC,OAAO,cAAc,CAAC,YAAY,EAAE,KAAK,CAAC,CAAA;AAC5C,CAAC;AAED;;;;;;;;;;GAUG;AACH,MAAM,UAAU,WAAW,CAAC,KAAY;IACtC,OAAO,cAAc,CAAC,aAAa,EAAE,KAAK,CAAC,CAAA;AAC7C,CAAC;AAED;;;;;;;;;;;;;;;;;;;;GAoBG;AACH,MAAM,UAAU,OAAO,CAAC,CAAQ,EAAE,CAAQ;IACxC,eAAe,CAAC,SAAS,EAAE,CAAC,MAAM,CAAC,CAAC,CAAA;IACpC,MAAM,EAAE,GAAG,YAAY,CAAC,CAAC,EAAE,SAAS,CAAC,CAAA;IACrC,MAAM,EAAE,GAAG,YAAY,CAAC,CAAC,EAAE,SAAS,CAAC,CAAA;IACrC,MAAM,MAAM,GAAG,aAAa,EAA8D,CAAA;IAC1F,OAAO,MAAM,CAAC,OAAO,CAAC,EAAE,EAAE,EAAE,CAAC,CAAA;AAC/B,CAAC","sourcesContent":["/**\n * api shape-type — 类型判定谓词族（平台 op engines:['occt']，普通函数形态）\n *\n * @platform occt — 8 个布尔谓词（isEdge / isFace / isShell / isVertex / isWire /\n * isCompound / isCompSolid / isEqual）直调 occt 原生 `isEdge`/`isFace`/…（occt-wasm\n * 有）。这些原生方法**不在** L1 契约 `BrepEngineApi` 里（L1 只有 `isSolid` 与\n * `getSubShapes`/`subShapeHashes`，见 brep/engine/primitives.ts）——因此它们不能走\n * 中立路径，必须声明 `engines: ['occt']` 直调 occt（方案 §3.4.6 校正注）。\n *\n * 为什么不是 `defineOp`：本族返回**布尔**（非 Shape）。`defineOp` 的 brep 包装\n * （define-op.ts#wrapBrepOne）把返回值一律收养为 Shape，装不下布尔。数据型平台 op\n * 走普通函数，是 `api/export-brep.ts` 的既定口径（先例：projectView 返回 SVG 字符串）。\n *\n * 引擎身份**不能**靠 dispatchPath 门控（普通函数不走那条路）⇒ 按\n * `api/internal/l3-bridge.ts#assertEngineFor` 的既定做法：函数体第一行断言当前引擎，\n * 触碰内核之前报出与 D11-4 同构的 `E_BREP_UNSUPPORTED`，不补桩、不回退。\n * （与 dispatchPath 的差异：`assertEngineFor` **不含** D11-3 的 `brep_mock` 豁免——\n *  mock 句柄不是 occt 句柄，放行只会拿到错形状，故这里如实拦截。）\n *\n * 注册：api/api-namespace.ts 手动 import + 进 createApiNamespace 对象；覆盖率扫描器\n * scan-occt-op-coverage.ts 的 PLAN_C2_EXTRA 补 8 个方法名（普通函数不在 defineOp\n * 全集口径内，collectOps 看不见）。\n *\n * §9.5 降级路径（记录在案）：一旦 brepkit 的 wasm 面把 isEdge/isFace/… 接进 L1 契约\n * 且两侧适配器同时落地，这些函数删掉 assertEngineFor 并改走 `getBrepApi()`，对应方法\n * 即从 C2 转入 C1。\n */\n\nimport type { Shape } from '../../mesh/types'\nimport type { BrepHandle } from '../../brep/engine/types'\nimport { brepOf } from '../../shape'\nimport { getOcctKernel } from '../../occt-kernel/occtKernel'\nimport { assertEngineFor } from '../internal/l3-bridge'\n\n/** occt 原生类型判定方法名（与 OcctKernel 导出一一对应）。 */\ntype OcctTypePredicate =\n  | 'isEdge' | 'isFace' | 'isShell' | 'isVertex' | 'isWire' | 'isCompound' | 'isCompSolid'\n\n/** 借出形状的内核句柄；无 BREP 槽（mesh-only）报错。 */\nfunction occtHandleOf(shape: Shape, op: string): BrepHandle {\n  const h = brepOf(shape) as BrepHandle | undefined\n  if (!h) {\n    throw new Error(`E_SHAPE_TYPE_NO_BREP: ${op} requires a BREP handle (mesh-only shape has none)`)\n  }\n  return h\n}\n\n/**\n * 单参数类型判定：先断言引擎身份 → 借出句柄 → occt 原生 is* 直调。\n * @param method - occt 原生方法名（op 名与之相同）。\n * @param shape - 被判别的形状。\n * @returns 该形状是否为对应拓扑类型。\n */\nfunction shapePredicate(method: OcctTypePredicate, shape: Shape): boolean {\n  assertEngineFor(method, ['occt'])\n  const kernel = getOcctKernel() as unknown as Record<OcctTypePredicate, (h: unknown) => boolean>\n  return kernel[method](occtHandleOf(shape, method))\n}\n\n/**\n * 形状是否为边（edge）。\n * @group 查询\n * @inputs 1\n * @async false\n * @qual ok\n * @name isEdge\n * @note 平台 op：仅 occt 引擎（原生 isEdge）。非 occt 引擎执行前报 E_BREP_UNSUPPORTED。\n * @returns boolean 是否为边。\n * @param shape - 被判别的形状。type:Shape required:true\n * @example\n * const e = cad.makeLineEdge([0,0,0],[1,0,0])\n * const yes = cad.isEdge(e)\n */\nexport function isEdge(shape: Shape): boolean {\n  return shapePredicate('isEdge', shape)\n}\n\n/**\n * 形状是否为面（face）。\n * @group 查询\n * @inputs 1\n * @async false\n * @qual ok\n * @name isFace\n * @note 平台 op：仅 occt 引擎（原生 isFace）。非 occt 引擎执行前报 E_BREP_UNSUPPORTED。\n * @returns boolean 是否为面。\n * @param shape - 被判别的形状。type:Shape required:true\n * @example\n * const f = cad.makeFace(wire)\n * const yes = cad.isFace(f)\n */\nexport function isFace(shape: Shape): boolean {\n  return shapePredicate('isFace', shape)\n}\n\n/**\n * 形状是否为壳（shell）。\n * @group 查询\n * @inputs 1\n * @async false\n * @qual ok\n * @name isShell\n * @note 平台 op：仅 occt 引擎（原生 isShell）。非 occt 引擎执行前报 E_BREP_UNSUPPORTED。\n * @returns boolean 是否为壳。\n * @param shape - 被判别的形状。type:Shape required:true\n */\nexport function isShell(shape: Shape): boolean {\n  return shapePredicate('isShell', shape)\n}\n\n/**\n * 形状是否为顶点（vertex）。\n * @group 查询\n * @inputs 1\n * @async false\n * @qual ok\n * @name isVertex\n * @note 平台 op：仅 occt 引擎（原生 isVertex）。非 occt 引擎执行前报 E_BREP_UNSUPPORTED。\n * @returns boolean 是否为顶点。\n * @param shape - 被判别的形状。type:Shape required:true\n */\nexport function isVertex(shape: Shape): boolean {\n  return shapePredicate('isVertex', shape)\n}\n\n/**\n * 形状是否为线（wire）。\n * @group 查询\n * @inputs 1\n * @async false\n * @qual ok\n * @name isWire\n * @note 平台 op：仅 occt 引擎（原生 isWire）。非 occt 引擎执行前报 E_BREP_UNSUPPORTED。\n * @returns boolean 是否为线。\n * @param shape - 被判别的形状。type:Shape required:true\n */\nexport function isWire(shape: Shape): boolean {\n  return shapePredicate('isWire', shape)\n}\n\n/**\n * 形状是否为复合体（compound）。\n * @group 查询\n * @inputs 1\n * @async false\n * @qual ok\n * @name isCompound\n * @note 平台 op：仅 occt 引擎（原生 isCompound）。非 occt 引擎执行前报 E_BREP_UNSUPPORTED。\n * @returns boolean 是否为复合体。\n * @param shape - 被判别的形状。type:Shape required:true\n */\nexport function isCompound(shape: Shape): boolean {\n  return shapePredicate('isCompound', shape)\n}\n\n/**\n * 形状是否为组合实体（comp-solid）。\n * @group 查询\n * @inputs 1\n * @async false\n * @qual ok\n * @name isCompSolid\n * @note 平台 op：仅 occt 引擎（原生 isCompSolid）。非 occt 引擎执行前报 E_BREP_UNSUPPORTED。\n * @returns boolean 是否为组合实体。\n * @param shape - 被判别的形状。type:Shape required:true\n */\nexport function isCompSolid(shape: Shape): boolean {\n  return shapePredicate('isCompSolid', shape)\n}\n\n/**\n * 两个形状是否为同一几何实体（occt 原生 `isEqual` 语义）。\n *\n * occt 的 `IsEqual` 当且仅当两形状共享同一 `TShape` 且 `Location`/`Orientation`\n * 相同时返回 true——即「同一几何实体」，不是「几何内容相同但独立构造」。因此两个\n * 几何相同但各自 `makeBox` 出来的形状会返回 false；要比较「内容相同」需另走几何\n * 比较（非本 op 职责）。区别于 `isSame`（同一句柄引用）。\n * @group 查询\n * @inputs 2\n * @async false\n * @qual ok\n * @name isEqual\n * @note 平台 op：仅 occt 引擎（原生 isEqual，L1 无对应成员）。非 occt 引擎执行前报\n *       E_BREP_UNSUPPORTED。\n * @returns boolean 是否为同一几何实体。\n * @param a - 第一个形状。type:Shape required:true\n * @param b - 第二个形状。type:Shape required:true\n * @example\n * const same = cad.isEqual(part0, part0)   // true（同一手柄）\n * const diff = cad.isEqual(part0, part1)   // 独立构造的相同几何 → false\n */\nexport function isEqual(a: Shape, b: Shape): boolean {\n  assertEngineFor('isEqual', ['occt'])\n  const ka = occtHandleOf(a, 'isEqual')\n  const kb = occtHandleOf(b, 'isEqual')\n  const kernel = getOcctKernel() as unknown as { isEqual(h: unknown, h2: unknown): boolean }\n  return kernel.isEqual(ka, kb)\n}\n"]}

package/dist/api/shell.d.ts

@@ -4,10 +4,10 @@
  * 中立 op：L1 `shell(solid, facesToRemove, thickness, tolerance)` 在 occt 与
  * brepkit 两侧均有真实现（engine-method-map 实测 `dialect`）⇒ 走 `getBrepApi()`
  * （D12），不声明 engines（中立 op：实现只经 L1 契约面）。相对现状是
- * 能力升级——vendored 版是 occt 平台 op（arg-spec `engines:['occt']`，skip）。
+ * 能力升级——旧版是 occt 平台 op（arg-spec `engines:['occt']`，skip）。
  *
  * 选面口径（设计原则 4）：`openFaces: FaceTopoRef[]`（`cad.faceRef` 产物），
- * 与 `fillet` 的 `EdgeTopoRef[]` / `extrude` 的 `upTo` 同族；不复刻 vendored 的
+ * 与 `fillet` 的 `EdgeTopoRef[]` / `extrude` 的 `upTo` 同族；不复刻旧
  * `Face[]` 句柄入参。解析在 op 内一处完成（`buildEdgeResolutionContext` 现场枚举
  * + `resolveTopoRef`）。
  *

package/dist/api/shell.js

@@ -4,10 +4,10 @@
  * 中立 op：L1 `shell(solid, facesToRemove, thickness, tolerance)` 在 occt 与
  * brepkit 两侧均有真实现（engine-method-map 实测 `dialect`）⇒ 走 `getBrepApi()`
  * （D12），不声明 engines（中立 op：实现只经 L1 契约面）。相对现状是
- * 能力升级——vendored 版是 occt 平台 op（arg-spec `engines:['occt']`，skip）。
+ * 能力升级——旧版是 occt 平台 op（arg-spec `engines:['occt']`，skip）。
  *
  * 选面口径（设计原则 4）：`openFaces: FaceTopoRef[]`（`cad.faceRef` 产物），
- * 与 `fillet` 的 `EdgeTopoRef[]` / `extrude` 的 `upTo` 同族；不复刻 vendored 的
+ * 与 `fillet` 的 `EdgeTopoRef[]` / `extrude` 的 `upTo` 同族；不复刻旧
  * `Face[]` 句柄入参。解析在 op 内一处完成（`buildEdgeResolutionContext` 现场枚举
  * + `resolveTopoRef`）。
  *