@faicad/faijs 0.22.2 → 0.29.3

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,gFAAgF,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,MAAM,CAAC,aAAa,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,OAAO,CAAC,EAAE,CAC3J,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,sDAAsD,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAA;IACxG,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 * stdlib 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      `[stdlib/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(`[stdlib/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,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"]}

package/dist/api/sdf.d.ts

@@ -1,5 +1,5 @@
 /**
- * stdlib sdf — SDF 库函数（mesh-only，创建类无输入）
+ * api sdf — SDF 库函数（mesh-only，创建类无输入）
  *
  *
  * sdf 无 BREP 实现（mesh-only）——dispatchPath 在 brep 模式下调用前抛错。

package/dist/api/sdf.js

@@ -1,5 +1,5 @@
 /**
- * stdlib sdf — SDF 库函数（mesh-only，创建类无输入）
+ * api sdf — SDF 库函数（mesh-only，创建类无输入）
  *
  *
  * sdf 无 BREP 实现（mesh-only）——dispatchPath 在 brep 模式下调用前抛错。
@@ -13,7 +13,7 @@ import { defineOp } from '../sdk.js';
  */
 export function assertSdfParams(params) {
     if (typeof params.code !== 'string' || params.code.trim() === '') {
-        throw new Error(`[stdlib/sdf] code must be a non-empty string, got ${JSON.stringify(params.code)}`);
+        throw new Error(`[api/sdf] code must be a non-empty string, got ${JSON.stringify(params.code)}`);
     }
 }
 /**

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,qDAAqD,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,CAAA;IACrG,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 * stdlib 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(`[stdlib/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,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"]}

package/dist/api/section-by-plane.d.ts

@@ -1,5 +1,5 @@
 /**
- * stdlib sectionByPlane — 平面截面：solid 与无限平面的精确交线（手写中立 op，Phase 6.2）
+ * api sectionByPlane — 平面截面：solid 与无限平面的精确交线（手写中立 op，Phase 6.2）
  *
  * 中立 op：L1 `sectionByPlane(shape, point, normal)` 在 occt 与 brepkit 两侧均有
  * 真实现 ⇒ 走 `getBrepApi()`（D12），不声明 engines。

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

@@ -1 +1 @@
-{"version":3,"file":"section-by-plane.d.ts","sourceRoot":"","sources":["../../src/api/section-by-plane.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;GAWG;AAEH,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,eAAe,CAAA;AAQ1C,KAAK,IAAI,GAAG,CAAC,MAAM,EAAE,MAAM,EAAE,MAAM,CAAC,CAAA;AAEpC,+BAA+B;AAC/B,MAAM,WAAW,oBAAoB;IACnC,iBAAiB;IACjB,KAAK,EAAE,IAAI,CAAA;IACX,mBAAmB;IACnB,MAAM,EAAE,IAAI,CAAA;CACb;AAwBD;;;;;;;;;;;;;;;GAeG;AACH,eAAO,MAAM,cAAc;;CAMzB,CAAA"}
+{"version":3,"file":"section-by-plane.d.ts","sourceRoot":"","sources":["../../src/api/section-by-plane.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;GAWG;AAEH,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,eAAe,CAAA;AAQ1C,KAAK,IAAI,GAAG,CAAC,MAAM,EAAE,MAAM,EAAE,MAAM,CAAC,CAAA;AAEpC,+BAA+B;AAC/B,MAAM,WAAW,oBAAoB;IACnC,iBAAiB;IACjB,KAAK,EAAE,IAAI,CAAA;IACX,mBAAmB;IACnB,MAAM,EAAE,IAAI,CAAA;CACb;AAwBD;;;;;;;;;;;;;;;GAeG;AACH,eAAO,MAAM,cAAc;;CAOzB,CAAA"}

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

@@ -1,5 +1,5 @@
 /**
- * stdlib sectionByPlane — 平面截面：solid 与无限平面的精确交线（手写中立 op，Phase 6.2）
+ * api sectionByPlane — 平面截面：solid 与无限平面的精确交线（手写中立 op，Phase 6.2）
  *
  * 中立 op：L1 `sectionByPlane(shape, point, normal)` 在 occt 与 brepkit 两侧均有
  * 真实现 ⇒ 走 `getBrepApi()`（D12），不声明 engines。
@@ -53,6 +53,7 @@ function sectionByPlaneBrep(input, params) {
  */
 export const sectionByPlane = defineOp({
     capabilities: ['directEdit'],
+    paramDims: { 'params.point': 'length', 'params.normal': 'length' },
     brep(input, params) {
         return sectionByPlaneBrep(input, params);
     },

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

@@ -1 +1 @@
-{"version":3,"file":"section-by-plane.js","sourceRoot":"","sources":["../../src/api/section-by-plane.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;GAWG;AAIH,OAAO,EAAE,YAAY,EAAE,MAAM,kBAAkB,CAAA;AAC/C,OAAO,EAAE,UAAU,EAAE,MAAM,uBAAuB,CAAA;AAClD,OAAO,EAAE,MAAM,EAAE,aAAa,EAAE,MAAM,UAAU,CAAA;AAChD,OAAO,EAAE,QAAQ,EAAE,MAAM,QAAQ,CAAA;AAajC,8DAA8D;AAC9D,SAAS,MAAM,CAAC,CAAO;IACrB,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,MAAM,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,KAAK,QAAQ,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;QACvG,MAAM,IAAI,KAAK,CAAC,yEAAyE,CAAC,CAAA;IAC5F,CAAC;IACD,OAAO,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAA;AACtC,CAAC;AAED,wEAAwE;AACxE,SAAS,kBAAkB,CAAC,KAAY,EAAE,MAA4B;IACpE,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,GAAG,MAAM,IAAK,EAA2B,CAAA;IAChE,MAAM,MAAM,GAAG,UAAU,EAAE,CAAA;IAC3B,MAAM,KAAK,GAAG,MAAM,CAAC,KAAK,CAA2B,CAAA;IACrD,IAAI,CAAC,KAAK;QAAE,MAAM,IAAI,KAAK,CAAC,8DAA8D,CAAC,CAAA;IAC3F,MAAM,MAAM,GAAG,MAAM,CAAC,cAAc,CAAC,KAAK,EAAE,MAAM,CAAC,KAAK,CAAC,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,CAAA;IAC1E,IAAI,CAAC,MAAM,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACnC,MAAM,IAAI,KAAK,CAAC,wEAAwE,CAAC,CAAA;IAC3F,CAAC;IACD,MAAM,QAAQ,GAAG,MAAM,CAAC,YAAY,CAAC,MAAM,CAAC,CAAA;IAC5C,OAAO,aAAa,CAAC,YAAY,CAAC,MAAM,EAAE,QAAQ,CAAC,EAAE,EAAE,KAAK,EAAE,QAAQ,EAAE,CAAC,CAAA;AAC3E,CAAC;AAED;;;;;;;;;;;;;;;GAeG;AACH,MAAM,CAAC,MAAM,cAAc,GAAG,QAAQ,CAAC;IACrC,YAAY,EAAE,CAAC,YAAY,CAAC;IAC5B,IAAI,CAAC,KAAY,EAAE,MAA4B;QAC7C,OAAO,kBAAkB,CAAC,KAAK,EAAE,MAAM,CAAC,CAAA;IAC1C,CAAC;IACD,MAAM,EAAE,EAAE,IAAI,EAAE,WAAW,EAAE,MAAM,EAAE,gDAAgD,EAAgB;CACtG,CAAC,CAAA","sourcesContent":["/**\n * stdlib sectionByPlane — 平面截面：solid 与无限平面的精确交线（手写中立 op，Phase 6.2）\n *\n * 中立 op：L1 `sectionByPlane(shape, point, normal)` 在 occt 与 brepkit 两侧均有\n * 真实现 ⇒ 走 `getBrepApi()`（D12），不声明 engines。\n *\n * 产物形态（设计原则 5 + §2.4①）：L1 返回交线句柄**数组**（occt 适配器把\n * compound 逐条 downcast 成 edge/wire），数组过不了单产物边界 —— 收拢为\n * **1D compound**（`makeCompound(edges)`）经 `fromBrepCurve` 登记为\n * `kind:'curve'`（Phase 3 判别位；wire/edge 载荷为空，显示走 L1 `wireframe`）。\n * 无交线（平面不与体相交）显式报错 —— 不返回假空产物（原则 9）。\n */\n\nimport type { Shape } from '../mesh/types'\nimport type { BrepHandle, BrepVec3 } from '../brep/engine/types'\nimport { solidToShape } from '../brep/brep-ops'\nimport { getBrepApi } from '../brep/handle-bridge'\nimport { brepOf, fromBrepCurve } from '../shape'\nimport { defineOp } from '../sdk'\nimport type { Provenance } from '../topology/naming/lineage'\n\ntype Vec3 = [number, number, number]\n\n/** `cad.sectionByPlane` 参数。 */\nexport interface SectionByPlaneParams {\n  /** 平面上一点（mm）。 */\n  point: Vec3\n  /** 平面法向（不必单位化）。 */\n  normal: Vec3\n}\n\n/** 元组 → BrepVec3 对象（同 split-by-plane：L1 向量形参是 {x,y,z} 对象）。 */\nfunction toVec3(v: Vec3): BrepVec3 {\n  if (!Array.isArray(v) || v.length !== 3 || v.some((n) => typeof n !== 'number' || !Number.isFinite(n))) {\n    throw new Error('E_SECTION_BY_PLANE_BAD_VEC: point/normal must be [x,y,z] finite numbers')\n  }\n  return { x: v[0], y: v[1], z: v[2] }\n}\n\n/** BREP 路径：L1 sectionByPlane → 交线收拢为 1D compound → fromBrepCurve 登记。 */\nfunction sectionByPlaneBrep(input: Shape, params: SectionByPlaneParams): Shape {\n  const { point, normal } = params ?? ({} as SectionByPlaneParams)\n  const kernel = getBrepApi()\n  const solid = brepOf(input) as BrepHandle | undefined\n  if (!solid) throw new Error('E_SECTION_BY_PLANE_NO_BREP: sectionByPlane input is not BREP')\n  const curves = kernel.sectionByPlane(solid, toVec3(point), toVec3(normal))\n  if (!curves || curves.length === 0) {\n    throw new Error('E_SECTION_BY_PLANE_NO_INTERSECTION: plane does not intersect the shape')\n  }\n  const compound = kernel.makeCompound(curves)\n  return fromBrepCurve(solidToShape(kernel, compound), { solid: compound })\n}\n\n/**\n * 求实体与无限平面的精确截面线（1D 曲线，可继续建模/导出 STEP）。\n * @group 特征\n * @inputs 1\n * @async true\n * @qual ok\n * @name sectionByPlane\n * @note 中立 op：L1 sectionByPlane 两引擎同实现。产物是 1D 曲线（kind:'curve'，\n *       全部交线收拢为一个 compound）；平面不与体相交时显式报错。\n * @returns Shape 1D 截面曲线。\n * @param input - 目标实体。type:Shape required:true\n * @param params.point - 平面上一点 [x,y,z]（mm）。type:Vec3 required:true\n * @param params.normal - 平面法向 [x,y,z]。type:Vec3 required:true\n * @example\n * const sec = await cad.sectionByPlane(part0, { point: [0,0,5], normal: [0,0,1] })\n */\nexport const sectionByPlane = defineOp({\n  capabilities: ['directEdit'],\n  brep(input: Shape, params: SectionByPlaneParams) {\n    return sectionByPlaneBrep(input, params)\n  },\n  naming: { kind: 'unmodeled', reason: '1D section curves have no face role vocabulary' } as Provenance,\n})\n"]}
+{"version":3,"file":"section-by-plane.js","sourceRoot":"","sources":["../../src/api/section-by-plane.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;GAWG;AAIH,OAAO,EAAE,YAAY,EAAE,MAAM,kBAAkB,CAAA;AAC/C,OAAO,EAAE,UAAU,EAAE,MAAM,uBAAuB,CAAA;AAClD,OAAO,EAAE,MAAM,EAAE,aAAa,EAAE,MAAM,UAAU,CAAA;AAChD,OAAO,EAAE,QAAQ,EAAE,MAAM,QAAQ,CAAA;AAajC,8DAA8D;AAC9D,SAAS,MAAM,CAAC,CAAO;IACrB,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,MAAM,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,KAAK,QAAQ,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;QACvG,MAAM,IAAI,KAAK,CAAC,yEAAyE,CAAC,CAAA;IAC5F,CAAC;IACD,OAAO,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAA;AACtC,CAAC;AAED,wEAAwE;AACxE,SAAS,kBAAkB,CAAC,KAAY,EAAE,MAA4B;IACpE,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,GAAG,MAAM,IAAK,EAA2B,CAAA;IAChE,MAAM,MAAM,GAAG,UAAU,EAAE,CAAA;IAC3B,MAAM,KAAK,GAAG,MAAM,CAAC,KAAK,CAA2B,CAAA;IACrD,IAAI,CAAC,KAAK;QAAE,MAAM,IAAI,KAAK,CAAC,8DAA8D,CAAC,CAAA;IAC3F,MAAM,MAAM,GAAG,MAAM,CAAC,cAAc,CAAC,KAAK,EAAE,MAAM,CAAC,KAAK,CAAC,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,CAAA;IAC1E,IAAI,CAAC,MAAM,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACnC,MAAM,IAAI,KAAK,CAAC,wEAAwE,CAAC,CAAA;IAC3F,CAAC;IACD,MAAM,QAAQ,GAAG,MAAM,CAAC,YAAY,CAAC,MAAM,CAAC,CAAA;IAC5C,OAAO,aAAa,CAAC,YAAY,CAAC,MAAM,EAAE,QAAQ,CAAC,EAAE,EAAE,KAAK,EAAE,QAAQ,EAAE,CAAC,CAAA;AAC3E,CAAC;AAED;;;;;;;;;;;;;;;GAeG;AACH,MAAM,CAAC,MAAM,cAAc,GAAG,QAAQ,CAAC;IACrC,YAAY,EAAE,CAAC,YAAY,CAAC;IAC5B,SAAS,EAAE,EAAE,cAAc,EAAE,QAAQ,EAAE,eAAe,EAAE,QAAQ,EAAE;IAClE,IAAI,CAAC,KAAY,EAAE,MAA4B;QAC7C,OAAO,kBAAkB,CAAC,KAAK,EAAE,MAAM,CAAC,CAAA;IAC1C,CAAC;IACD,MAAM,EAAE,EAAE,IAAI,EAAE,WAAW,EAAE,MAAM,EAAE,gDAAgD,EAAgB;CACtG,CAAC,CAAA","sourcesContent":["/**\n * api sectionByPlane — 平面截面：solid 与无限平面的精确交线（手写中立 op，Phase 6.2）\n *\n * 中立 op：L1 `sectionByPlane(shape, point, normal)` 在 occt 与 brepkit 两侧均有\n * 真实现 ⇒ 走 `getBrepApi()`（D12），不声明 engines。\n *\n * 产物形态（设计原则 5 + §2.4①）：L1 返回交线句柄**数组**（occt 适配器把\n * compound 逐条 downcast 成 edge/wire），数组过不了单产物边界 —— 收拢为\n * **1D compound**（`makeCompound(edges)`）经 `fromBrepCurve` 登记为\n * `kind:'curve'`（Phase 3 判别位；wire/edge 载荷为空，显示走 L1 `wireframe`）。\n * 无交线（平面不与体相交）显式报错 —— 不返回假空产物（原则 9）。\n */\n\nimport type { Shape } from '../mesh/types'\nimport type { BrepHandle, BrepVec3 } from '../brep/engine/types'\nimport { solidToShape } from '../brep/brep-ops'\nimport { getBrepApi } from '../brep/handle-bridge'\nimport { brepOf, fromBrepCurve } from '../shape'\nimport { defineOp } from '../sdk'\nimport type { Provenance } from '../topology/naming/lineage'\n\ntype Vec3 = [number, number, number]\n\n/** `cad.sectionByPlane` 参数。 */\nexport interface SectionByPlaneParams {\n  /** 平面上一点（mm）。 */\n  point: Vec3\n  /** 平面法向（不必单位化）。 */\n  normal: Vec3\n}\n\n/** 元组 → BrepVec3 对象（同 split-by-plane：L1 向量形参是 {x,y,z} 对象）。 */\nfunction toVec3(v: Vec3): BrepVec3 {\n  if (!Array.isArray(v) || v.length !== 3 || v.some((n) => typeof n !== 'number' || !Number.isFinite(n))) {\n    throw new Error('E_SECTION_BY_PLANE_BAD_VEC: point/normal must be [x,y,z] finite numbers')\n  }\n  return { x: v[0], y: v[1], z: v[2] }\n}\n\n/** BREP 路径：L1 sectionByPlane → 交线收拢为 1D compound → fromBrepCurve 登记。 */\nfunction sectionByPlaneBrep(input: Shape, params: SectionByPlaneParams): Shape {\n  const { point, normal } = params ?? ({} as SectionByPlaneParams)\n  const kernel = getBrepApi()\n  const solid = brepOf(input) as BrepHandle | undefined\n  if (!solid) throw new Error('E_SECTION_BY_PLANE_NO_BREP: sectionByPlane input is not BREP')\n  const curves = kernel.sectionByPlane(solid, toVec3(point), toVec3(normal))\n  if (!curves || curves.length === 0) {\n    throw new Error('E_SECTION_BY_PLANE_NO_INTERSECTION: plane does not intersect the shape')\n  }\n  const compound = kernel.makeCompound(curves)\n  return fromBrepCurve(solidToShape(kernel, compound), { solid: compound })\n}\n\n/**\n * 求实体与无限平面的精确截面线（1D 曲线，可继续建模/导出 STEP）。\n * @group 特征\n * @inputs 1\n * @async true\n * @qual ok\n * @name sectionByPlane\n * @note 中立 op：L1 sectionByPlane 两引擎同实现。产物是 1D 曲线（kind:'curve'，\n *       全部交线收拢为一个 compound）；平面不与体相交时显式报错。\n * @returns Shape 1D 截面曲线。\n * @param input - 目标实体。type:Shape required:true\n * @param params.point - 平面上一点 [x,y,z]（mm）。type:Vec3 required:true\n * @param params.normal - 平面法向 [x,y,z]。type:Vec3 required:true\n * @example\n * const sec = await cad.sectionByPlane(part0, { point: [0,0,5], normal: [0,0,1] })\n */\nexport const sectionByPlane = defineOp({\n  capabilities: ['directEdit'],\n  paramDims: { 'params.point': 'length', 'params.normal': 'length' },\n  brep(input: Shape, params: SectionByPlaneParams) {\n    return sectionByPlaneBrep(input, params)\n  },\n  naming: { kind: 'unmodeled', reason: '1D section curves have no face role vocabulary' } as Provenance,\n})\n"]}

package/dist/api/shell.d.ts

@@ -1,5 +1,5 @@
 /**
- * stdlib shell — 抽壳：按面移除生成等厚薄壁（手写中立 op，Phase 5）
+ * api shell — 抽壳：按面移除生成等厚薄壁（手写中立 op，Phase 5）
  *
  * 中立 op：L1 `shell(solid, facesToRemove, thickness, tolerance)` 在 occt 与
  * brepkit 两侧均有真实现（engine-method-map 实测 `dialect`）⇒ 走 `getBrepApi()`
@@ -10,13 +10,18 @@
  * 与 `fillet` 的 `EdgeTopoRef[]` / `extrude` 的 `upTo` 同族；不复刻 vendored 的
  * `Face[]` 句柄入参。解析在 op 内一处完成（`buildEdgeResolutionContext` 现场枚举
  * + `resolveTopoRef`）。
+ *
+ * 网格链（方案 2026-10-01 §4 Phase 4 / B3 批）：`mesh:` 实现走网格后端，面按
+ * **序号或 FaceTopoRef** 解析（近似拓扑没有 role 层），产物是新的网格零件。
  */
 import type { Shape } from '../mesh/types.js';
 import type { FaceTopoRef } from '../topology/naming/index.js';
+/** 抽壳时移除的面选择器：精度链用 `FaceTopoRef`；网格链也可用 1 起序号。 */
+export type ShellFaceSelector = number | FaceTopoRef;
 /** `cad.shell` 参数。 */
 export interface ShellParams {
     /** 抽壳时移除的面（FaceTopoRef[]，`cad.faceRef` 产物；空数组 = 全封闭薄壁）。 */
-    openFaces: FaceTopoRef[];
+    openFaces: ShellFaceSelector[];
     /** 壁厚（mm，>0，向内偏置）。 */
     thickness: number;
     /** 容差（mm，可选；默认走内核约定值）。 */
@@ -30,14 +35,16 @@ export interface ShellParams {
  * @qual ok
  * @name shell
  * @note 中立 op：L1 shell 两引擎同实现。`openFaces` 为空数组时生成全封闭薄壁。
- *       仅 BREP 可用：mesh 输入执行前报错（backend-dispatch 静态判定）。
+ *       精度链按 role 线路选面（`cad.faceRef`）；网格链按序号或几何选面——网格零件
+ *       没有 role 层，序号是唯一无歧义的指认方式。
  * @returns Shape 抽壳后的薄壁体。
  * @param input - 目标几何。type:Shape required:true
- * @param params.openFaces - 要移除的面（FaceTopoRef[]，cad.faceRef 产物）。type:FaceTopoRef[] required:true
+ * @param params.openFaces - 要移除的面（FaceTopoRef[]，cad.faceRef 产物；网格链可用 1 起序号）。type:FaceTopoRef[] required:true
  * @param params.thickness - 壁厚（mm，>0）。type:number required:true
  * @param params.tolerance - 容差（mm）。type:number required:false
  * @example
  * const sh = await cad.shell(part0, { openFaces: [cad.faceRef(part0, 1)], thickness: 2 })
+ * const sm = await cad.shell(meshPart, { openFaces: [4], thickness: 2 })
  */
 export declare const shell: ((input: Shape, params: ShellParams) => Promise<Shape>) & {
     __faijs__dualOp?: import("../define-op.js").DualOpMeta;

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

@@ -1 +1 @@
-{"version":3,"file":"shell.d.ts","sourceRoot":"","sources":["../../src/api/shell.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AAEH,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,eAAe,CAAA;AAM1C,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,oBAAoB,CAAA;AAKrD,sBAAsB;AACtB,MAAM,WAAW,WAAW;IAC1B,2DAA2D;IAC3D,SAAS,EAAE,WAAW,EAAE,CAAA;IACxB,sBAAsB;IACtB,SAAS,EAAE,MAAM,CAAA;IACjB,0BAA0B;IAC1B,SAAS,CAAC,EAAE,MAAM,CAAA;CACnB;AAgCD;;;;;;;;;;;;;;;;GAgBG;AACH,eAAO,MAAM,KAAK;;CAMhB,CAAA"}
+{"version":3,"file":"shell.d.ts","sourceRoot":"","sources":["../../src/api/shell.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;GAeG;AAEH,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,eAAe,CAAA;AAM1C,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,oBAAoB,CAAA;AAMrD,kDAAkD;AAClD,MAAM,MAAM,iBAAiB,GAAG,MAAM,GAAG,WAAW,CAAA;AAEpD,sBAAsB;AACtB,MAAM,WAAW,WAAW;IAC1B,2DAA2D;IAC3D,SAAS,EAAE,iBAAiB,EAAE,CAAA;IAC9B,sBAAsB;IACtB,SAAS,EAAE,MAAM,CAAA;IACjB,0BAA0B;IAC1B,SAAS,CAAC,EAAE,MAAM,CAAA;CACnB;AA6ED;;;;;;;;;;;;;;;;;;GAkBG;AACH,eAAO,MAAM,KAAK;;CAUhB,CAAA"}

package/dist/api/shell.js

@@ -1,5 +1,5 @@
 /**
- * stdlib shell — 抽壳：按面移除生成等厚薄壁（手写中立 op，Phase 5）
+ * api shell — 抽壳：按面移除生成等厚薄壁（手写中立 op，Phase 5）
  *
  * 中立 op：L1 `shell(solid, facesToRemove, thickness, tolerance)` 在 occt 与
  * brepkit 两侧均有真实现（engine-method-map 实测 `dialect`）⇒ 走 `getBrepApi()`
@@ -10,6 +10,9 @@
  * 与 `fillet` 的 `EdgeTopoRef[]` / `extrude` 的 `upTo` 同族；不复刻 vendored 的
  * `Face[]` 句柄入参。解析在 op 内一处完成（`buildEdgeResolutionContext` 现场枚举
  * + `resolveTopoRef`）。
+ *
+ * 网格链（方案 2026-10-01 §4 Phase 4 / B3 批）：`mesh:` 实现走网格后端，面按
+ * **序号或 FaceTopoRef** 解析（近似拓扑没有 role 层），产物是新的网格零件。
  */
 import { solidToShape } from '../brep/brep-ops.js';
 import { getBrepApi } from '../brep/handle-bridge.js';
@@ -17,15 +20,21 @@ import { brepOf, fromBrep } from '../shape.js';
 import { defineOp } from '../sdk.js';
 import { resolveTopoRef, TopoRefError } from '../topology/naming/index.js';
 import { buildEdgeResolutionContext } from './topo-resolve.js';
-/** BREP 路径：解析面引用 → L1 shell → 收养。 */
-function shellBrep(input, params) {
-    const { openFaces, thickness, tolerance } = params ?? {};
+import { meshKernelFailure, meshSolidBasicEntry, meshSolidProduct, resolveMeshFaces } from './internal/mesh-solid-op.js';
+/** 参数共校验（两条路径共用；`openFaces` 为空数组合法 = 全封闭薄壁）。 */
+function assertShellParams(params) {
+    const { openFaces, thickness } = params ?? {};
     if (!Array.isArray(openFaces)) {
-        throw new Error('E_SHELL_BAD_OPEN_FACES: shell.openFaces must be an array of FaceTopoRef');
+        throw new Error('E_SHELL_BAD_OPEN_FACES: shell.openFaces must be an array of FaceTopoRef or ordinals');
     }
     if (typeof thickness !== 'number' || !Number.isFinite(thickness) || thickness <= 0) {
         throw new Error('E_SHELL_BAD_THICKNESS: shell.thickness must be a positive number');
     }
+}
+/** BREP 路径：解析面引用 → L1 shell → 收养。 */
+function shellBrep(input, params) {
+    const { openFaces, thickness, tolerance } = params;
+    assertShellParams(params);
     const kernel = getBrepApi();
     const solid = brepOf(input);
     if (!solid)
@@ -34,6 +43,11 @@ function shellBrep(input, params) {
     if (!ctx)
         throw new TopoRefError('E_TOPO_NOT_FOUND', 'face', 'shell: input has no BREP naming context');
     const faceHandles = openFaces.map((ref) => {
+        // 精度链不开序号口子：BREP 的面身份是 `(origin, role)`，序号只是本次枚举序。
+        if (typeof ref === 'number') {
+            throw new Error('E_SHELL_BAD_OPEN_FACES: an ordinal face selector is only available on the mesh chain — ' +
+                'a precision-chain face is identified by its role line (cad.faceRef)');
+        }
         if (!ref || ref.kind !== 'face') {
             throw new Error('E_SHELL_BAD_OPEN_FACES: every openFaces entry must be a FaceTopoRef (cad.faceRef)');
         }
@@ -46,6 +60,32 @@ function shellBrep(input, params) {
     const result = kernel.shell(solid, faceHandles, thickness, tolerance ?? 1e-6);
     return fromBrep(solidToShape(kernel, result), { solid: result });
 }
+/**
+ * 网格实体路径：按序号或几何选出要开口的面，交网格后端抽壳。
+ *
+ * 与 BREP 路径同一条 L1 契约面（`shell(solid, faces, thickness, tolerance)`），
+ * 差别只在选面方式：近似拓扑没有 role 层，面靠**序号**（拓扑 `faces` 数组下标 + 1）
+ * 或 `FaceTopoRef` 的几何匹配（法向/中心/面积）指认。产物是新网格零件，
+ * 近似拓扑由 `meshSolidProduct` 重建。
+ *
+ * @param input - the mesh-solid input.
+ * @param params - the shell parameters.
+ * @returns the shelled mesh solid as a new mesh part.
+ */
+function shellMeshSolid(input, params) {
+    const { openFaces, thickness, tolerance } = params;
+    assertShellParams(params);
+    const entry = meshSolidBasicEntry(input, 'shell');
+    const faceHandles = resolveMeshFaces(entry.kernel, input, openFaces, 'shell');
+    let result;
+    try {
+        result = entry.kernel.shell(entry.solid, faceHandles, thickness, tolerance ?? 1e-6);
+    }
+    catch (cause) {
+        throw meshKernelFailure('shell', 'E_SHELL_FAILED', `shell(thickness=${thickness}) removing ${faceHandles.length} face(s)`, cause);
+    }
+    return meshSolidProduct(entry, result);
+}
 /**
  * 抽壳：移除指定面并把余下面偏置成等厚薄壁。
  * @group 特征
@@ -54,17 +94,23 @@ function shellBrep(input, params) {
  * @qual ok
  * @name shell
  * @note 中立 op：L1 shell 两引擎同实现。`openFaces` 为空数组时生成全封闭薄壁。
- *       仅 BREP 可用：mesh 输入执行前报错（backend-dispatch 静态判定）。
+ *       精度链按 role 线路选面（`cad.faceRef`）；网格链按序号或几何选面——网格零件
+ *       没有 role 层，序号是唯一无歧义的指认方式。
  * @returns Shape 抽壳后的薄壁体。
  * @param input - 目标几何。type:Shape required:true
- * @param params.openFaces - 要移除的面（FaceTopoRef[]，cad.faceRef 产物）。type:FaceTopoRef[] required:true
+ * @param params.openFaces - 要移除的面（FaceTopoRef[]，cad.faceRef 产物；网格链可用 1 起序号）。type:FaceTopoRef[] required:true
  * @param params.thickness - 壁厚（mm，>0）。type:number required:true
  * @param params.tolerance - 容差（mm）。type:number required:false
  * @example
  * const sh = await cad.shell(part0, { openFaces: [cad.faceRef(part0, 1)], thickness: 2 })
+ * const sm = await cad.shell(meshPart, { openFaces: [4], thickness: 2 })
  */
 export const shell = defineOp({
     capabilities: ['directEdit'],
+    meshEngines: ['brepkit'],
+    mesh(input, params) {
+        return shellMeshSolid(input, params);
+    },
     brep(input, params) {
         return shellBrep(input, params);
     },

package/dist/api/shell.js.map

@@ -1 +1 @@
-{"version":3,"file":"shell.js","sourceRoot":"","sources":["../../src/api/shell.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AAIH,OAAO,EAAE,YAAY,EAAE,MAAM,kBAAkB,CAAA;AAC/C,OAAO,EAAE,UAAU,EAAE,MAAM,uBAAuB,CAAA;AAClD,OAAO,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,UAAU,CAAA;AAC3C,OAAO,EAAE,QAAQ,EAAE,MAAM,QAAQ,CAAA;AAEjC,OAAO,EAAE,cAAc,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAA;AAEjE,OAAO,EAAE,0BAA0B,EAAE,MAAM,gBAAgB,CAAA;AAY3D,qCAAqC;AACrC,SAAS,SAAS,CAAC,KAAY,EAAE,MAAmB;IAClD,MAAM,EAAE,SAAS,EAAE,SAAS,EAAE,SAAS,EAAE,GAAG,MAAM,IAAK,EAAkB,CAAA;IACzE,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,SAAS,CAAC,EAAE,CAAC;QAC9B,MAAM,IAAI,KAAK,CAAC,yEAAyE,CAAC,CAAA;IAC5F,CAAC;IACD,IAAI,OAAO,SAAS,KAAK,QAAQ,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,SAAS,CAAC,IAAI,SAAS,IAAI,CAAC,EAAE,CAAC;QACnF,MAAM,IAAI,KAAK,CAAC,kEAAkE,CAAC,CAAA;IACrF,CAAC;IACD,MAAM,MAAM,GAAG,UAAU,EAAE,CAAA;IAC3B,MAAM,KAAK,GAAG,MAAM,CAAC,KAAK,CAA2B,CAAA;IACrD,IAAI,CAAC,KAAK;QAAE,MAAM,IAAI,KAAK,CAAC,0CAA0C,CAAC,CAAA;IAEvE,MAAM,GAAG,GAAG,0BAA0B,CAAC,MAAM,EAAE,KAAe,CAAC,CAAA;IAC/D,IAAI,CAAC,GAAG;QAAE,MAAM,IAAI,YAAY,CAAC,kBAAkB,EAAE,MAAM,EAAE,yCAAyC,CAAC,CAAA;IACvG,MAAM,WAAW,GAAG,SAAS,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE;QACxC,IAAI,CAAC,GAAG,IAAK,GAA0B,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;YACxD,MAAM,IAAI,KAAK,CAAC,mFAAmF,CAAC,CAAA;QACtG,CAAC;QACD,MAAM,CAAC,GAAG,cAAc,CAAC,GAAG,EAAE,GAAG,CAAC,CAAA;QAClC,IAAI,CAAC,CAAC,MAAM,KAAK,SAAS,EAAE,CAAC;YAC3B,MAAM,IAAI,YAAY,CAAC,kBAAkB,EAAE,MAAM,EAAE,wCAAwC,GAAG,CAAC,MAAM,IAAI,GAAG,CAAC,IAAI,GAAG,CAAC,CAAA;QACvH,CAAC;QACD,OAAO,CAAC,CAAC,MAAoB,CAAA;IAC/B,CAAC,CAAC,CAAA;IAEF,MAAM,MAAM,GAAG,MAAM,CAAC,KAAK,CAAC,KAAK,EAAE,WAAW,EAAE,SAAS,EAAE,SAAS,IAAI,IAAI,CAAC,CAAA;IAC7E,OAAO,QAAQ,CAAC,YAAY,CAAC,MAAM,EAAE,MAAM,CAAC,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC,CAAA;AAClE,CAAC;AAED;;;;;;;;;;;;;;;;GAgBG;AACH,MAAM,CAAC,MAAM,KAAK,GAAG,QAAQ,CAAC;IAC5B,YAAY,EAAE,CAAC,YAAY,CAAC;IAC5B,IAAI,CAAC,KAAY,EAAE,MAAmB;QACpC,OAAO,SAAS,CAAC,KAAK,EAAE,MAAM,CAAC,CAAA;IACjC,CAAC;IACD,MAAM,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,QAAQ,EAAE,EAAE,GAAG,EAAE,aAAa,EAAE,EAAgB;CAC3E,CAAC,CAAA","sourcesContent":["/**\n * stdlib shell — 抽壳：按面移除生成等厚薄壁（手写中立 op，Phase 5）\n *\n * 中立 op：L1 `shell(solid, facesToRemove, thickness, tolerance)` 在 occt 与\n * brepkit 两侧均有真实现（engine-method-map 实测 `dialect`）⇒ 走 `getBrepApi()`\n * （D12），不声明 engines（中立 op：实现只经 L1 契约面）。相对现状是\n * 能力升级——vendored 版是 occt 平台 op（arg-spec `engines:['occt']`，skip）。\n *\n * 选面口径（设计原则 4）：`openFaces: FaceTopoRef[]`（`cad.faceRef` 产物），\n * 与 `fillet` 的 `EdgeTopoRef[]` / `extrude` 的 `upTo` 同族；不复刻 vendored 的\n * `Face[]` 句柄入参。解析在 op 内一处完成（`buildEdgeResolutionContext` 现场枚举\n * + `resolveTopoRef`）。\n */\n\nimport type { Shape } from '../mesh/types'\nimport type { BrepHandle } from '../brep/engine/types'\nimport { solidToShape } from '../brep/brep-ops'\nimport { getBrepApi } from '../brep/handle-bridge'\nimport { brepOf, fromBrep } from '../shape'\nimport { defineOp } from '../sdk'\nimport type { FaceTopoRef } from '../topology/naming'\nimport { resolveTopoRef, TopoRefError } from '../topology/naming'\nimport type { Provenance } from '../topology/naming/lineage'\nimport { buildEdgeResolutionContext } from './topo-resolve'\n\n/** `cad.shell` 参数。 */\nexport interface ShellParams {\n  /** 抽壳时移除的面（FaceTopoRef[]，`cad.faceRef` 产物；空数组 = 全封闭薄壁）。 */\n  openFaces: FaceTopoRef[]\n  /** 壁厚（mm，>0，向内偏置）。 */\n  thickness: number\n  /** 容差（mm，可选；默认走内核约定值）。 */\n  tolerance?: number\n}\n\n/** BREP 路径：解析面引用 → L1 shell → 收养。 */\nfunction shellBrep(input: Shape, params: ShellParams): Shape {\n  const { openFaces, thickness, tolerance } = params ?? ({} as ShellParams)\n  if (!Array.isArray(openFaces)) {\n    throw new Error('E_SHELL_BAD_OPEN_FACES: shell.openFaces must be an array of FaceTopoRef')\n  }\n  if (typeof thickness !== 'number' || !Number.isFinite(thickness) || thickness <= 0) {\n    throw new Error('E_SHELL_BAD_THICKNESS: shell.thickness must be a positive number')\n  }\n  const kernel = getBrepApi()\n  const solid = brepOf(input) as BrepHandle | undefined\n  if (!solid) throw new Error('E_SHELL_NO_BREP: shell input is not BREP')\n\n  const ctx = buildEdgeResolutionContext(kernel, input as object)\n  if (!ctx) throw new TopoRefError('E_TOPO_NOT_FOUND', 'face', 'shell: input has no BREP naming context')\n  const faceHandles = openFaces.map((ref) => {\n    if (!ref || (ref as { kind?: unknown }).kind !== 'face') {\n      throw new Error('E_SHELL_BAD_OPEN_FACES: every openFaces entry must be a FaceTopoRef (cad.faceRef)')\n    }\n    const r = resolveTopoRef(ref, ctx)\n    if (r.handle === undefined) {\n      throw new TopoRefError('E_TOPO_NOT_FOUND', 'face', `shell: face resolved without handle (${ref.origin}/${ref.role})`)\n    }\n    return r.handle as BrepHandle\n  })\n\n  const result = kernel.shell(solid, faceHandles, thickness, tolerance ?? 1e-6)\n  return fromBrep(solidToShape(kernel, result), { solid: result })\n}\n\n/**\n * 抽壳：移除指定面并把余下面偏置成等厚薄壁。\n * @group 特征\n * @inputs 1\n * @async true\n * @qual ok\n * @name shell\n * @note 中立 op：L1 shell 两引擎同实现。`openFaces` 为空数组时生成全封闭薄壁。\n *       仅 BREP 可用：mesh 输入执行前报错（backend-dispatch 静态判定）。\n * @returns Shape 抽壳后的薄壁体。\n * @param input - 目标几何。type:Shape required:true\n * @param params.openFaces - 要移除的面（FaceTopoRef[]，cad.faceRef 产物）。type:FaceTopoRef[] required:true\n * @param params.thickness - 壁厚（mm，>0）。type:number required:true\n * @param params.tolerance - 容差（mm）。type:number required:false\n * @example\n * const sh = await cad.shell(part0, { openFaces: [cad.faceRef(part0, 1)], thickness: 2 })\n */\nexport const shell = defineOp({\n  capabilities: ['directEdit'],\n  brep(input: Shape, params: ShellParams) {\n    return shellBrep(input, params)\n  },\n  naming: { kind: 'kernel', newFaces: { via: 'byAdjacency' } } as Provenance,\n})\n"]}
+{"version":3,"file":"shell.js","sourceRoot":"","sources":["../../src/api/shell.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;GAeG;AAIH,OAAO,EAAE,YAAY,EAAE,MAAM,kBAAkB,CAAA;AAC/C,OAAO,EAAE,UAAU,EAAE,MAAM,uBAAuB,CAAA;AAClD,OAAO,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,UAAU,CAAA;AAC3C,OAAO,EAAE,QAAQ,EAAE,MAAM,QAAQ,CAAA;AAEjC,OAAO,EAAE,cAAc,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAA;AAEjE,OAAO,EAAE,0BAA0B,EAAE,MAAM,gBAAgB,CAAA;AAC3D,OAAO,EAAE,iBAAiB,EAAE,mBAAmB,EAAE,gBAAgB,EAAE,gBAAgB,EAAE,MAAM,0BAA0B,CAAA;AAerH,gDAAgD;AAChD,SAAS,iBAAiB,CAAC,MAAmB;IAC5C,MAAM,EAAE,SAAS,EAAE,SAAS,EAAE,GAAG,MAAM,IAAK,EAAkB,CAAA;IAC9D,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,SAAS,CAAC,EAAE,CAAC;QAC9B,MAAM,IAAI,KAAK,CAAC,qFAAqF,CAAC,CAAA;IACxG,CAAC;IACD,IAAI,OAAO,SAAS,KAAK,QAAQ,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,SAAS,CAAC,IAAI,SAAS,IAAI,CAAC,EAAE,CAAC;QACnF,MAAM,IAAI,KAAK,CAAC,kEAAkE,CAAC,CAAA;IACrF,CAAC;AACH,CAAC;AAED,qCAAqC;AACrC,SAAS,SAAS,CAAC,KAAY,EAAE,MAAmB;IAClD,MAAM,EAAE,SAAS,EAAE,SAAS,EAAE,SAAS,EAAE,GAAG,MAAM,CAAA;IAClD,iBAAiB,CAAC,MAAM,CAAC,CAAA;IACzB,MAAM,MAAM,GAAG,UAAU,EAAE,CAAA;IAC3B,MAAM,KAAK,GAAG,MAAM,CAAC,KAAK,CAA2B,CAAA;IACrD,IAAI,CAAC,KAAK;QAAE,MAAM,IAAI,KAAK,CAAC,0CAA0C,CAAC,CAAA;IAEvE,MAAM,GAAG,GAAG,0BAA0B,CAAC,MAAM,EAAE,KAAe,CAAC,CAAA;IAC/D,IAAI,CAAC,GAAG;QAAE,MAAM,IAAI,YAAY,CAAC,kBAAkB,EAAE,MAAM,EAAE,yCAAyC,CAAC,CAAA;IACvG,MAAM,WAAW,GAAG,SAAS,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE;QACxC,mDAAmD;QACnD,IAAI,OAAO,GAAG,KAAK,QAAQ,EAAE,CAAC;YAC5B,MAAM,IAAI,KAAK,CACb,yFAAyF;gBACzF,qEAAqE,CACtE,CAAA;QACH,CAAC;QACD,IAAI,CAAC,GAAG,IAAK,GAA0B,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;YACxD,MAAM,IAAI,KAAK,CAAC,mFAAmF,CAAC,CAAA;QACtG,CAAC;QACD,MAAM,CAAC,GAAG,cAAc,CAAC,GAAG,EAAE,GAAG,CAAC,CAAA;QAClC,IAAI,CAAC,CAAC,MAAM,KAAK,SAAS,EAAE,CAAC;YAC3B,MAAM,IAAI,YAAY,CAAC,kBAAkB,EAAE,MAAM,EAAE,wCAAwC,GAAG,CAAC,MAAM,IAAI,GAAG,CAAC,IAAI,GAAG,CAAC,CAAA;QACvH,CAAC;QACD,OAAO,CAAC,CAAC,MAAoB,CAAA;IAC/B,CAAC,CAAC,CAAA;IAEF,MAAM,MAAM,GAAG,MAAM,CAAC,KAAK,CAAC,KAAK,EAAE,WAAW,EAAE,SAAS,EAAE,SAAS,IAAI,IAAI,CAAC,CAAA;IAC7E,OAAO,QAAQ,CAAC,YAAY,CAAC,MAAM,EAAE,MAAM,CAAC,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC,CAAA;AAClE,CAAC;AAED;;;;;;;;;;;GAWG;AACH,SAAS,cAAc,CAAC,KAAY,EAAE,MAAmB;IACvD,MAAM,EAAE,SAAS,EAAE,SAAS,EAAE,SAAS,EAAE,GAAG,MAAM,CAAA;IAClD,iBAAiB,CAAC,MAAM,CAAC,CAAA;IACzB,MAAM,KAAK,GAAG,mBAAmB,CAAC,KAAK,EAAE,OAAO,CAAC,CAAA;IACjD,MAAM,WAAW,GAAG,gBAAgB,CAAC,KAAK,CAAC,MAAM,EAAE,KAAK,EAAE,SAAS,EAAE,OAAO,CAAC,CAAA;IAE7E,IAAI,MAAkB,CAAA;IACtB,IAAI,CAAC;QACH,MAAM,GAAG,KAAK,CAAC,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,KAAK,EAAE,WAAW,EAAE,SAAS,EAAE,SAAS,IAAI,IAAI,CAAC,CAAA;IACrF,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,MAAM,iBAAiB,CACrB,OAAO,EACP,gBAAgB,EAChB,mBAAmB,SAAS,cAAc,WAAW,CAAC,MAAM,UAAU,EACtE,KAAK,CACN,CAAA;IACH,CAAC;IACD,OAAO,gBAAgB,CAAC,KAAK,EAAE,MAAM,CAAC,CAAA;AACxC,CAAC;AAED;;;;;;;;;;;;;;;;;;GAkBG;AACH,MAAM,CAAC,MAAM,KAAK,GAAG,QAAQ,CAAC;IAC5B,YAAY,EAAE,CAAC,YAAY,CAAC;IAC5B,WAAW,EAAE,CAAC,SAAS,CAAC;IACxB,IAAI,CAAC,KAAY,EAAE,MAAmB;QACpC,OAAO,cAAc,CAAC,KAAK,EAAE,MAAM,CAAC,CAAA;IACtC,CAAC;IACD,IAAI,CAAC,KAAY,EAAE,MAAmB;QACpC,OAAO,SAAS,CAAC,KAAK,EAAE,MAAM,CAAC,CAAA;IACjC,CAAC;IACD,MAAM,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,QAAQ,EAAE,EAAE,GAAG,EAAE,aAAa,EAAE,EAAgB;CAC3E,CAAC,CAAA","sourcesContent":["/**\n * api shell — 抽壳：按面移除生成等厚薄壁（手写中立 op，Phase 5）\n *\n * 中立 op：L1 `shell(solid, facesToRemove, thickness, tolerance)` 在 occt 与\n * brepkit 两侧均有真实现（engine-method-map 实测 `dialect`）⇒ 走 `getBrepApi()`\n * （D12），不声明 engines（中立 op：实现只经 L1 契约面）。相对现状是\n * 能力升级——vendored 版是 occt 平台 op（arg-spec `engines:['occt']`，skip）。\n *\n * 选面口径（设计原则 4）：`openFaces: FaceTopoRef[]`（`cad.faceRef` 产物），\n * 与 `fillet` 的 `EdgeTopoRef[]` / `extrude` 的 `upTo` 同族；不复刻 vendored 的\n * `Face[]` 句柄入参。解析在 op 内一处完成（`buildEdgeResolutionContext` 现场枚举\n * + `resolveTopoRef`）。\n *\n * 网格链（方案 2026-10-01 §4 Phase 4 / B3 批）：`mesh:` 实现走网格后端，面按\n * **序号或 FaceTopoRef** 解析（近似拓扑没有 role 层），产物是新的网格零件。\n */\n\nimport type { Shape } from '../mesh/types'\nimport type { BrepHandle } from '../brep/engine/types'\nimport { solidToShape } from '../brep/brep-ops'\nimport { getBrepApi } from '../brep/handle-bridge'\nimport { brepOf, fromBrep } from '../shape'\nimport { defineOp } from '../sdk'\nimport type { FaceTopoRef } from '../topology/naming'\nimport { resolveTopoRef, TopoRefError } from '../topology/naming'\nimport type { Provenance } from '../topology/naming/lineage'\nimport { buildEdgeResolutionContext } from './topo-resolve'\nimport { meshKernelFailure, meshSolidBasicEntry, meshSolidProduct, resolveMeshFaces } from './internal/mesh-solid-op'\n\n/** 抽壳时移除的面选择器：精度链用 `FaceTopoRef`；网格链也可用 1 起序号。 */\nexport type ShellFaceSelector = number | FaceTopoRef\n\n/** `cad.shell` 参数。 */\nexport interface ShellParams {\n  /** 抽壳时移除的面（FaceTopoRef[]，`cad.faceRef` 产物；空数组 = 全封闭薄壁）。 */\n  openFaces: ShellFaceSelector[]\n  /** 壁厚（mm，>0，向内偏置）。 */\n  thickness: number\n  /** 容差（mm，可选；默认走内核约定值）。 */\n  tolerance?: number\n}\n\n/** 参数共校验（两条路径共用；`openFaces` 为空数组合法 = 全封闭薄壁）。 */\nfunction assertShellParams(params: ShellParams): void {\n  const { openFaces, thickness } = params ?? ({} as ShellParams)\n  if (!Array.isArray(openFaces)) {\n    throw new Error('E_SHELL_BAD_OPEN_FACES: shell.openFaces must be an array of FaceTopoRef or ordinals')\n  }\n  if (typeof thickness !== 'number' || !Number.isFinite(thickness) || thickness <= 0) {\n    throw new Error('E_SHELL_BAD_THICKNESS: shell.thickness must be a positive number')\n  }\n}\n\n/** BREP 路径：解析面引用 → L1 shell → 收养。 */\nfunction shellBrep(input: Shape, params: ShellParams): Shape {\n  const { openFaces, thickness, tolerance } = params\n  assertShellParams(params)\n  const kernel = getBrepApi()\n  const solid = brepOf(input) as BrepHandle | undefined\n  if (!solid) throw new Error('E_SHELL_NO_BREP: shell input is not BREP')\n\n  const ctx = buildEdgeResolutionContext(kernel, input as object)\n  if (!ctx) throw new TopoRefError('E_TOPO_NOT_FOUND', 'face', 'shell: input has no BREP naming context')\n  const faceHandles = openFaces.map((ref) => {\n    // 精度链不开序号口子：BREP 的面身份是 `(origin, role)`，序号只是本次枚举序。\n    if (typeof ref === 'number') {\n      throw new Error(\n        'E_SHELL_BAD_OPEN_FACES: an ordinal face selector is only available on the mesh chain — ' +\n        'a precision-chain face is identified by its role line (cad.faceRef)',\n      )\n    }\n    if (!ref || (ref as { kind?: unknown }).kind !== 'face') {\n      throw new Error('E_SHELL_BAD_OPEN_FACES: every openFaces entry must be a FaceTopoRef (cad.faceRef)')\n    }\n    const r = resolveTopoRef(ref, ctx)\n    if (r.handle === undefined) {\n      throw new TopoRefError('E_TOPO_NOT_FOUND', 'face', `shell: face resolved without handle (${ref.origin}/${ref.role})`)\n    }\n    return r.handle as BrepHandle\n  })\n\n  const result = kernel.shell(solid, faceHandles, thickness, tolerance ?? 1e-6)\n  return fromBrep(solidToShape(kernel, result), { solid: result })\n}\n\n/**\n * 网格实体路径：按序号或几何选出要开口的面，交网格后端抽壳。\n *\n * 与 BREP 路径同一条 L1 契约面（`shell(solid, faces, thickness, tolerance)`），\n * 差别只在选面方式：近似拓扑没有 role 层，面靠**序号**（拓扑 `faces` 数组下标 + 1）\n * 或 `FaceTopoRef` 的几何匹配（法向/中心/面积）指认。产物是新网格零件，\n * 近似拓扑由 `meshSolidProduct` 重建。\n *\n * @param input - the mesh-solid input.\n * @param params - the shell parameters.\n * @returns the shelled mesh solid as a new mesh part.\n */\nfunction shellMeshSolid(input: Shape, params: ShellParams): Shape {\n  const { openFaces, thickness, tolerance } = params\n  assertShellParams(params)\n  const entry = meshSolidBasicEntry(input, 'shell')\n  const faceHandles = resolveMeshFaces(entry.kernel, input, openFaces, 'shell')\n\n  let result: BrepHandle\n  try {\n    result = entry.kernel.shell(entry.solid, faceHandles, thickness, tolerance ?? 1e-6)\n  } catch (cause) {\n    throw meshKernelFailure(\n      'shell',\n      'E_SHELL_FAILED',\n      `shell(thickness=${thickness}) removing ${faceHandles.length} face(s)`,\n      cause,\n    )\n  }\n  return meshSolidProduct(entry, result)\n}\n\n/**\n * 抽壳：移除指定面并把余下面偏置成等厚薄壁。\n * @group 特征\n * @inputs 1\n * @async true\n * @qual ok\n * @name shell\n * @note 中立 op：L1 shell 两引擎同实现。`openFaces` 为空数组时生成全封闭薄壁。\n *       精度链按 role 线路选面（`cad.faceRef`）；网格链按序号或几何选面——网格零件\n *       没有 role 层，序号是唯一无歧义的指认方式。\n * @returns Shape 抽壳后的薄壁体。\n * @param input - 目标几何。type:Shape required:true\n * @param params.openFaces - 要移除的面（FaceTopoRef[]，cad.faceRef 产物；网格链可用 1 起序号）。type:FaceTopoRef[] required:true\n * @param params.thickness - 壁厚（mm，>0）。type:number required:true\n * @param params.tolerance - 容差（mm）。type:number required:false\n * @example\n * const sh = await cad.shell(part0, { openFaces: [cad.faceRef(part0, 1)], thickness: 2 })\n * const sm = await cad.shell(meshPart, { openFaces: [4], thickness: 2 })\n */\nexport const shell = defineOp({\n  capabilities: ['directEdit'],\n  meshEngines: ['brepkit'],\n  mesh(input: Shape, params: ShellParams) {\n    return shellMeshSolid(input, params)\n  },\n  brep(input: Shape, params: ShellParams) {\n    return shellBrep(input, params)\n  },\n  naming: { kind: 'kernel', newFaces: { via: 'byAdjacency' } } as Provenance,\n})\n"]}

package/dist/api/sketch-on-face.d.ts

@@ -16,6 +16,16 @@
  * planar faces; embedding the wire into a genuinely curved host face
  * (`fixWireOnFace`) is a follow-up. The op declares `engines: ['occt']`
  * (surface sampling needs the BREP platform).
+ *
+ * **Two chains, two mechanisms** (plan 2026-10-01 §4 Phase 3). The BREP branch
+ * above maps the contour into the host face's UV domain. The **mesh branch**
+ * (`buildSketchOnFaceMesh`, `meshEngines: ['brepkit']`) works on a mesh solid's
+ * approximate topology and deliberately does NOT use UV space: a brepkit plane's
+ * domain is ±1e6 (an infinite domain), so "place the sketch in the face's UV
+ * range" is meaningless there. It places the contour in the face's own plane
+ * frame instead (origin = face bbox centre, normal = `surfaceNormal`), which
+ * matches `cad.sketchOnPlane`'s semantics. The result is a **mesh-chain face**
+ * (`ShapeSlot.meshFace`), ready for the mesh branch of `cad.extrude`.
  * @module
  */
 import type { Shape } from '../mesh/types.js';
@@ -65,8 +75,39 @@ export declare function placeContoursOnFace(kernel: BrepEngineApi, host: BrepHan
  * @returns Shape on the target face (face, or the outer wire when `as:'wire'`).
  */
 export declare function buildSketchOnFaceWith(kernel: BrepEngineApi, params: SketchOnFaceParams): Shape;
+/**
+ * 网格链上的 `cad.sketchOnFace`：在**识别出的平面网格面**上铺 2D 轮廓，产出网格链面
+ * （方案 2026-10-01 §4 Phase 3-2），可交给 `cad.extrude` 的网格路径拉伸出新实体。
+ *
+ * 与 BREP 侧的三点差别，每一点都是"近似拓扑没有 UV 语义"的直接后果：
+ *
+ * 1. **不走 UV 域**。BREP 侧 `assembleWireOnFace` 把 2D 采样点映射进面的 `(u,v)` 域；
+ *    而平面在 brepkit 上的域是 ±1e6 的**无限域**（方案 §4 Phase 3-1 实测），拿它当
+ *    草图范围毫无意义。这里改用面自己的平面框（原点 = 面包围盒中心、法向 = 面法向），
+ *    2D 坐标直接落在平面坐标系里——与 `cad.sketchOnPlane` 的语义一致。
+ * 2. **`scaleMode` 只接受 `'original'`**。`'bounds'` / `'native'` 的定义是"拟合到面的
+ *    UV 域"，而那个域在这里要么是无限域、要么不存在。静默按 `'original'` 处理会造成
+ *    "同一次调用在两条链上得到不同尺寸"的隐性分歧，所以如实拒绝。
+ * 3. **`as:'wire'` 不支持**。网格链上的一根 wire 没有身份槽（面才有），而 sketch 的
+ *    下游用途（拉伸）要的正是面。需要 wire 的场景请走 BREP 链。
+ *
+ * 另外只支持**平面面**：曲面面（STL 圆柱的侧面片）上铺草图需要曲面嵌入，属未开的能力。
+ *
+ * @param params - contour loops + target mesh solid + face selector + scale mode.
+ * @returns the mesh-chain face Shape on the target face.
+ * @throws {MeshUnsupportedError} when the target is not a mesh solid, the face is not planar,
+ *   the scale mode is not `'original'`, `as:'wire'` was requested, or the sketch is multi-island.
+ */
+export declare function buildSketchOnFaceMesh(params: SketchOnFaceParams): Shape;
 /**
  * `cad.sketchOnFace`: place 2D contours on a face of a solid and construct a Shape.
+ *
+ * **网格链**（`meshEngines: ['brepkit']`，方案 2026-10-01 §4 Phase 3）：`on` 是网格实体
+ * 时，轮廓按面自己的**平面框**铺放（原点 = 面包围盒中心、法向 = 面法向），产物是一张
+ * 网格链面，可直接交给 `cad.extrude` 拉伸。该分支只接受平面面、只接受默认
+ * `scaleMode`（`'bounds'`/`'native'` 相对 UV 域定义，网格链上没有 UV 域）、只接受
+ * `as:'face'`、且只接受单个轮廓岛——每一条越界都以 `E_MESH_SOLID_UNSUPPORTED` 说明原因。
+ *
  * @group 创建
  * @inputs 0
  * @async false

package/dist/api/sketch-on-face.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"sketch-on-face.d.ts","sourceRoot":"","sources":["../../src/api/sketch-on-face.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;GAmBG;AACH,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,eAAe,CAAA;AAC1C,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,2BAA2B,CAAA;AAC9D,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,sBAAsB,CAAA;AAMtD,OAAO,EAAgC,KAAK,WAAW,EAAE,MAAM,oBAAoB,CAAA;AAKnF,OAAO,EAAsB,KAAK,aAAa,EAAE,MAAM,iCAAiC,CAAA;AAExF,OAAO,EAAuB,KAAK,WAAW,EAAE,MAAM,WAAW,CAAA;AAEjE,wGAAwG;AACxG,MAAM,MAAM,YAAY,GAAG,MAAM,GAAG,WAAW,CAAA;AAE/C,8DAA8D;AAC9D,MAAM,WAAW,kBAAkB;IACjC,sFAAsF;IACtF,QAAQ,EAAE,WAAW,EAAE,CAAA;IACvB,qDAAqD;IACrD,EAAE,EAAE,KAAK,CAAA;IACT,+EAA+E;IAC/E,IAAI,EAAE,YAAY,CAAA;IAClB,8GAA8G;IAC9G,SAAS,CAAC,EAAE,aAAa,CAAA;IACzB,gHAAgH;IAChH,EAAE,CAAC,EAAE,MAAM,GAAG,MAAM,CAAA;CACrB;AAED;;;;;;GAMG;AACH,wBAAgB,iBAAiB,CAAC,MAAM,EAAE,aAAa,EAAE,EAAE,EAAE,KAAK,EAAE,QAAQ,EAAE,YAAY,GAAG,UAAU,CA0BtG;AA6BD;;;;;;;;;GASG;AACH,wBAAgB,mBAAmB,CACjC,MAAM,EAAE,aAAa,EACrB,IAAI,EAAE,UAAU,EAChB,IAAI,EAAE,aAAa,EACnB,QAAQ,EAAE,WAAW,EAAE,GACtB,UAAU,EAAE,CAMd;AAED;;;;;GAKG;AACH,wBAAgB,qBAAqB,CAAC,MAAM,EAAE,aAAa,EAAE,MAAM,EAAE,kBAAkB,GAAG,KAAK,CAyB9F;AAED;;;;;;;;;;;;;GAaG;AACH,eAAO,MAAM,YAAY;;CAQvB,CAAA"}
+{"version":3,"file":"sketch-on-face.d.ts","sourceRoot":"","sources":["../../src/api/sketch-on-face.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA6BG;AACH,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,eAAe,CAAA;AAC1C,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,2BAA2B,CAAA;AAC9D,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,sBAAsB,CAAA;AAMtD,OAAO,EAAgC,KAAK,WAAW,EAAE,MAAM,oBAAoB,CAAA;AAKnF,OAAO,EAAsB,KAAK,aAAa,EAAE,MAAM,iCAAiC,CAAA;AAGxF,OAAO,EAA4C,KAAK,WAAW,EAAE,MAAM,WAAW,CAAA;AAStF,wGAAwG;AACxG,MAAM,MAAM,YAAY,GAAG,MAAM,GAAG,WAAW,CAAA;AAE/C,8DAA8D;AAC9D,MAAM,WAAW,kBAAkB;IACjC,sFAAsF;IACtF,QAAQ,EAAE,WAAW,EAAE,CAAA;IACvB,qDAAqD;IACrD,EAAE,EAAE,KAAK,CAAA;IACT,+EAA+E;IAC/E,IAAI,EAAE,YAAY,CAAA;IAClB,8GAA8G;IAC9G,SAAS,CAAC,EAAE,aAAa,CAAA;IACzB,gHAAgH;IAChH,EAAE,CAAC,EAAE,MAAM,GAAG,MAAM,CAAA;CACrB;AAED;;;;;;GAMG;AACH,wBAAgB,iBAAiB,CAAC,MAAM,EAAE,aAAa,EAAE,EAAE,EAAE,KAAK,EAAE,QAAQ,EAAE,YAAY,GAAG,UAAU,CA0BtG;AA6BD;;;;;;;;;GASG;AACH,wBAAgB,mBAAmB,CACjC,MAAM,EAAE,aAAa,EACrB,IAAI,EAAE,UAAU,EAChB,IAAI,EAAE,aAAa,EACnB,QAAQ,EAAE,WAAW,EAAE,GACtB,UAAU,EAAE,CAMd;AAED;;;;;GAKG;AACH,wBAAgB,qBAAqB,CAAC,MAAM,EAAE,aAAa,EAAE,MAAM,EAAE,kBAAkB,GAAG,KAAK,CAyB9F;AAoCD;;;;;;;;;;;;;;;;;;;;;;GAsBG;AACH,wBAAgB,qBAAqB,CAAC,MAAM,EAAE,kBAAkB,GAAG,KAAK,CAgDvE;AAED;;;;;;;;;;;;;;;;;;;;GAoBG;AACH,eAAO,MAAM,YAAY;;CAavB,CAAA"}

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

@@ -8,8 +8,11 @@ import { Blueprint } from '../geometry2d/blueprint.js';
 import { CompoundBlueprint } from '../geometry2d/compound-blueprint.js';
 import { organiseBlueprints } from '../geometry2d/organise.js';
 import { assembleWireOnFace } from '../geometry2d/bridge/on-surface.js';
+import { assembleWire } from '../geometry2d/bridge/lift-on-plane.js';
 import { profileSegToCurve } from '../geometry2d/adapt.js';
-import { assertProfileParams } from './profile.js';
+import { assertProfileParams, toContourBlueprints } from './profile.js';
+import { MeshUnsupportedError, getCurrentStmt } from '../runtime-state.js';
+import { meshBackendOrThrow, meshFacePlane, meshFaceProduct, resolveMeshFaceHandle, } from './internal/mesh-solid-op.js';
 /**
  * Resolve a face on `on` to its live BREP handle (1-based ordinal or `cad.faceRef`).
  * @param kernel - the BREP engine surface.
@@ -110,8 +113,99 @@ export function buildSketchOnFaceWith(kernel, params) {
     const compound = kernel.makeCompound(faces);
     return fromBrep(solidToShape(kernel, compound), { solid: compound });
 }
+/**
+ * 把一张平面的法向对齐到参考方向（外部朝向）。网格链上的复制版：BREP 侧的
+ * `orientLikeHost` 存在的原因是"面朝向反了 → 由它拉出的棱柱壳反向 → 体积归零"，
+ * 这里同一个道理，只是参考法向来自**平面本身**（`meshFacePlane` 的法向就是从宿主面
+ * 的 `surfaceNormal` 取的），不必再回读宿主句柄。
+ *
+ * @param kernel - the mesh backend's L1 kernel.
+ * @param reference - the outward normal the placed face must agree with.
+ * @param face - the face built on the plane.
+ * @returns a handle to the (possibly re-oriented) face.
+ */
+function orientFaceTo(kernel, reference, face) {
+    const uv = kernel.uvBounds(face);
+    const n = kernel.surfaceNormal(face, (uv.uMin + uv.uMax) / 2, (uv.vMin + uv.vMax) / 2);
+    const dot = reference.x * n.x + reference.y * n.y + reference.z * n.z;
+    return dot < 0 ? kernel.reverseShape(face) : face;
+}
+/** 一个已归类的轮廓条目（外环 + 可选孔）在平面坐标系里造一张面。 */
+function buildFaceOnPlane(kernel, plane, outward, entry) {
+    const outerBp = entry instanceof CompoundBlueprint ? entry.blueprints[0] : entry;
+    let face = orientFaceTo(kernel, outward, kernel.makeFace(assembleWire(kernel, plane, outerBp)));
+    if (entry instanceof CompoundBlueprint) {
+        const holes = entry.blueprints.slice(1).map((h) => assembleWire(kernel, plane, h));
+        if (holes.length > 0)
+            face = kernel.addHolesInFace(face, holes);
+    }
+    return face;
+}
+/**
+ * 网格链上的 `cad.sketchOnFace`：在**识别出的平面网格面**上铺 2D 轮廓，产出网格链面
+ * （方案 2026-10-01 §4 Phase 3-2），可交给 `cad.extrude` 的网格路径拉伸出新实体。
+ *
+ * 与 BREP 侧的三点差别，每一点都是"近似拓扑没有 UV 语义"的直接后果：
+ *
+ * 1. **不走 UV 域**。BREP 侧 `assembleWireOnFace` 把 2D 采样点映射进面的 `(u,v)` 域；
+ *    而平面在 brepkit 上的域是 ±1e6 的**无限域**（方案 §4 Phase 3-1 实测），拿它当
+ *    草图范围毫无意义。这里改用面自己的平面框（原点 = 面包围盒中心、法向 = 面法向），
+ *    2D 坐标直接落在平面坐标系里——与 `cad.sketchOnPlane` 的语义一致。
+ * 2. **`scaleMode` 只接受 `'original'`**。`'bounds'` / `'native'` 的定义是"拟合到面的
+ *    UV 域"，而那个域在这里要么是无限域、要么不存在。静默按 `'original'` 处理会造成
+ *    "同一次调用在两条链上得到不同尺寸"的隐性分歧，所以如实拒绝。
+ * 3. **`as:'wire'` 不支持**。网格链上的一根 wire 没有身份槽（面才有），而 sketch 的
+ *    下游用途（拉伸）要的正是面。需要 wire 的场景请走 BREP 链。
+ *
+ * 另外只支持**平面面**：曲面面（STL 圆柱的侧面片）上铺草图需要曲面嵌入，属未开的能力。
+ *
+ * @param params - contour loops + target mesh solid + face selector + scale mode.
+ * @returns the mesh-chain face Shape on the target face.
+ * @throws {MeshUnsupportedError} when the target is not a mesh solid, the face is not planar,
+ *   the scale mode is not `'original'`, `as:'wire'` was requested, or the sketch is multi-island.
+ */
+export function buildSketchOnFaceMesh(params) {
+    const opLabel = 'sketchOnFace';
+    const backend = meshBackendOrThrow(opLabel);
+    const kernel = backend.kernel;
+    const mode = params.scaleMode ?? 'original';
+    if (mode !== 'original') {
+        throw new MeshUnsupportedError(`E_MESH_SOLID_UNSUPPORTED: ${opLabel} scaleMode '${mode}' is defined against the face's UV domain, ` +
+            'which a mesh-chain face does not have — use the default \'original\' (2D coords live in the face plane)', getCurrentStmt());
+    }
+    if (params.as === 'wire') {
+        throw new MeshUnsupportedError(`E_MESH_SOLID_UNSUPPORTED: ${opLabel} as:'wire' has no mesh-chain representation — ` +
+            'a mesh-chain wire has no identity slot; ask for the default as:\'face\' instead', getCurrentStmt());
+    }
+    const host = resolveMeshFaceHandle(kernel, params.on, params.face, opLabel);
+    const surface = kernel.surfaceType(host);
+    if (surface !== 'plane') {
+        throw new MeshUnsupportedError(`E_MESH_SOLID_UNSUPPORTED: ${opLabel} needs a planar mesh face to sketch on — this face reports ` +
+            `surfaceType '${surface}'. Sketches on curved approximate faces are not implemented ` +
+            '(an STL cylinder is 32 planar strips, each of which IS usable)', getCurrentStmt());
+    }
+    const plane = meshFacePlane(kernel, host);
+    const outward = { x: plane.zDir.x, y: plane.zDir.y, z: plane.zDir.z };
+    const organised = organiseBlueprints(toContourBlueprints(params.contours));
+    if (organised.blueprints.length === 0)
+        throw new Error('sketchOnFace: no contours to place');
+    if (organised.blueprints.length > 1) {
+        throw new MeshUnsupportedError(`E_MESH_SOLID_UNSUPPORTED: ${opLabel} produced ${organised.blueprints.length} disjoint islands — ` +
+            'the mesh backend can only extrude a single face (brepkit extrude takes one face, not a compound). ' +
+            'Sketch and extrude each island separately, then unite them with a boolean', getCurrentStmt());
+    }
+    const face = buildFaceOnPlane(kernel, plane, outward, organised.blueprints[0]);
+    return meshFaceProduct(backend, face);
+}
 /**
  * `cad.sketchOnFace`: place 2D contours on a face of a solid and construct a Shape.
+ *
+ * **网格链**（`meshEngines: ['brepkit']`，方案 2026-10-01 §4 Phase 3）：`on` 是网格实体
+ * 时，轮廓按面自己的**平面框**铺放（原点 = 面包围盒中心、法向 = 面法向），产物是一张
+ * 网格链面，可直接交给 `cad.extrude` 拉伸。该分支只接受平面面、只接受默认
+ * `scaleMode`（`'bounds'`/`'native'` 相对 UV 域定义，网格链上没有 UV 域）、只接受
+ * `as:'face'`、且只接受单个轮廓岛——每一条越界都以 `E_MESH_SOLID_UNSUPPORTED` 说明原因。
+ *
  * @group 创建
  * @inputs 0
  * @async false
@@ -127,6 +221,11 @@ export function buildSketchOnFaceWith(kernel, params) {
 export const sketchOnFace = defineOp({
     capabilities: ['directEdit'],
     engines: ['occt'],
+    meshEngines: ['brepkit'],
+    mesh(params) {
+        assertProfileParams(params);
+        return buildSketchOnFaceMesh(params);
+    },
     brep(params) {
         assertProfileParams(params);
         return buildSketchOnFaceWith(getBrepApi(), params);