@faicad/faijs 0.16.1 → 0.18.0

package/dist/api/screw.js.map

@@ -1 +1 @@
-{"version":3,"file":"screw.js","sourceRoot":"","sources":["../../src/api/screw.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;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,WAAW,EAAE,MAAM,kBAAkB,CAAA;AAC9C,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,MAAM,MAAM,GAAG,WAAW,EAAE,CAAC,MAAM,CAAC,IAA4B,CAAA;IAChE,IAAI,CAAC,MAAM;QAAE,MAAM,IAAI,KAAK,CAAC,+BAA+B,CAAC,CAAA;IAE7D,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,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 *\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 { getBackends } from '../runtime-state'\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  const kernel = getBackends().kernel.brep as BrepEngineApi | null\n  if (!kernel) throw new Error('[stdlib/screw] no OCCT kernel')\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  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,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"]}

package/dist/api/sdf.d.ts

@@ -26,7 +26,7 @@ export declare function assertSdfParams(params: Record<string, unknown>): void;
  * @example
  * const s = await cad.sdf({ code: 'return sphere(10) - sphere(5, [10,0,0])', box: [[-20,-20,-20],[30,20,20]], resolution: 1 })
   */
-export declare const sdf: ((params: Record<string, unknown>) => Promise<import("..").Shape>) & {
+export declare const sdf: ((params: Record<string, unknown>) => Promise<import(".").Shape>) & {
     __faijs__dualOp?: import("../define-op.js").DualOpMeta;
 };
 //# sourceMappingURL=sdf.d.ts.map

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

@@ -0,0 +1,42 @@
+/**
+ * stdlib sectionByPlane — 平面截面：solid 与无限平面的精确交线（手写中立 op，Phase 6.2）
+ *
+ * 中立 op：L1 `sectionByPlane(shape, point, normal)` 在 occt 与 brepkit 两侧均有
+ * 真实现 ⇒ 走 `getBrepApi()`（D12），不声明 engines。
+ *
+ * 产物形态（设计原则 5 + §2.4①）：L1 返回交线句柄**数组**（occt 适配器把
+ * compound 逐条 downcast 成 edge/wire），数组过不了单产物边界 —— 收拢为
+ * **1D compound**（`makeCompound(edges)`）经 `fromBrepCurve` 登记为
+ * `kind:'curve'`（Phase 3 判别位；wire/edge 载荷为空，显示走 L1 `wireframe`）。
+ * 无交线（平面不与体相交）显式报错 —— 不返回假空产物（原则 9）。
+ */
+import type { Shape } from '../mesh/types.js';
+type Vec3 = [number, number, number];
+/** `cad.sectionByPlane` 参数。 */
+export interface SectionByPlaneParams {
+    /** 平面上一点（mm）。 */
+    point: Vec3;
+    /** 平面法向（不必单位化）。 */
+    normal: Vec3;
+}
+/**
+ * 求实体与无限平面的精确截面线（1D 曲线，可继续建模/导出 STEP）。
+ * @group 特征
+ * @inputs 1
+ * @async true
+ * @qual ok
+ * @name sectionByPlane
+ * @note 中立 op：L1 sectionByPlane 两引擎同实现。产物是 1D 曲线（kind:'curve'，
+ *       全部交线收拢为一个 compound）；平面不与体相交时显式报错。
+ * @returns Shape 1D 截面曲线。
+ * @param input - 目标实体。type:Shape required:true
+ * @param params.point - 平面上一点 [x,y,z]（mm）。type:Vec3 required:true
+ * @param params.normal - 平面法向 [x,y,z]。type:Vec3 required:true
+ * @example
+ * const sec = await cad.sectionByPlane(part0, { point: [0,0,5], normal: [0,0,1] })
+ */
+export declare const sectionByPlane: ((input: Shape, params: SectionByPlaneParams) => Promise<Shape>) & {
+    __faijs__dualOp?: import("../define-op.js").DualOpMeta;
+};
+export {};
+//# sourceMappingURL=section-by-plane.d.ts.map

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

@@ -0,0 +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"}

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

@@ -0,0 +1,61 @@
+/**
+ * stdlib sectionByPlane — 平面截面：solid 与无限平面的精确交线（手写中立 op，Phase 6.2）
+ *
+ * 中立 op：L1 `sectionByPlane(shape, point, normal)` 在 occt 与 brepkit 两侧均有
+ * 真实现 ⇒ 走 `getBrepApi()`（D12），不声明 engines。
+ *
+ * 产物形态（设计原则 5 + §2.4①）：L1 返回交线句柄**数组**（occt 适配器把
+ * compound 逐条 downcast 成 edge/wire），数组过不了单产物边界 —— 收拢为
+ * **1D compound**（`makeCompound(edges)`）经 `fromBrepCurve` 登记为
+ * `kind:'curve'`（Phase 3 判别位；wire/edge 载荷为空，显示走 L1 `wireframe`）。
+ * 无交线（平面不与体相交）显式报错 —— 不返回假空产物（原则 9）。
+ */
+import { solidToShape } from '../brep/brep-ops.js';
+import { getBrepApi } from '../brep/handle-bridge.js';
+import { brepOf, fromBrepCurve } from '../shape.js';
+import { defineOp } from '../sdk.js';
+/** 元组 → BrepVec3 对象（同 split-by-plane：L1 向量形参是 {x,y,z} 对象）。 */
+function toVec3(v) {
+    if (!Array.isArray(v) || v.length !== 3 || v.some((n) => typeof n !== 'number' || !Number.isFinite(n))) {
+        throw new Error('E_SECTION_BY_PLANE_BAD_VEC: point/normal must be [x,y,z] finite numbers');
+    }
+    return { x: v[0], y: v[1], z: v[2] };
+}
+/** BREP 路径：L1 sectionByPlane → 交线收拢为 1D compound → fromBrepCurve 登记。 */
+function sectionByPlaneBrep(input, params) {
+    const { point, normal } = params ?? {};
+    const kernel = getBrepApi();
+    const solid = brepOf(input);
+    if (!solid)
+        throw new Error('E_SECTION_BY_PLANE_NO_BREP: sectionByPlane input is not BREP');
+    const curves = kernel.sectionByPlane(solid, toVec3(point), toVec3(normal));
+    if (!curves || curves.length === 0) {
+        throw new Error('E_SECTION_BY_PLANE_NO_INTERSECTION: plane does not intersect the shape');
+    }
+    const compound = kernel.makeCompound(curves);
+    return fromBrepCurve(solidToShape(kernel, compound), { solid: compound });
+}
+/**
+ * 求实体与无限平面的精确截面线（1D 曲线，可继续建模/导出 STEP）。
+ * @group 特征
+ * @inputs 1
+ * @async true
+ * @qual ok
+ * @name sectionByPlane
+ * @note 中立 op：L1 sectionByPlane 两引擎同实现。产物是 1D 曲线（kind:'curve'，
+ *       全部交线收拢为一个 compound）；平面不与体相交时显式报错。
+ * @returns Shape 1D 截面曲线。
+ * @param input - 目标实体。type:Shape required:true
+ * @param params.point - 平面上一点 [x,y,z]（mm）。type:Vec3 required:true
+ * @param params.normal - 平面法向 [x,y,z]。type:Vec3 required:true
+ * @example
+ * const sec = await cad.sectionByPlane(part0, { point: [0,0,5], normal: [0,0,1] })
+ */
+export const sectionByPlane = defineOp({
+    capabilities: ['directEdit'],
+    brep(input, params) {
+        return sectionByPlaneBrep(input, params);
+    },
+    naming: { kind: 'unmodeled', reason: '1D section curves have no face role vocabulary' },
+});
+//# sourceMappingURL=section-by-plane.js.map

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

@@ -0,0 +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"]}

package/dist/api/shell.d.ts

@@ -0,0 +1,45 @@
+/**
+ * stdlib shell — 抽壳：按面移除生成等厚薄壁（手写中立 op，Phase 5）
+ *
+ * 中立 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）。
+ *
+ * 选面口径（设计原则 4）：`openFaces: FaceTopoRef[]`（`cad.faceRef` 产物），
+ * 与 `fillet` 的 `EdgeTopoRef[]` / `extrude` 的 `upTo` 同族；不复刻 vendored 的
+ * `Face[]` 句柄入参。解析在 op 内一处完成（`buildEdgeResolutionContext` 现场枚举
+ * + `resolveTopoRef`）。
+ */
+import type { Shape } from '../mesh/types.js';
+import type { FaceTopoRef } from '../topology/naming/index.js';
+/** `cad.shell` 参数。 */
+export interface ShellParams {
+    /** 抽壳时移除的面（FaceTopoRef[]，`cad.faceRef` 产物；空数组 = 全封闭薄壁）。 */
+    openFaces: FaceTopoRef[];
+    /** 壁厚（mm，>0，向内偏置）。 */
+    thickness: number;
+    /** 容差（mm，可选；默认走内核约定值）。 */
+    tolerance?: number;
+}
+/**
+ * 抽壳：移除指定面并把余下面偏置成等厚薄壁。
+ * @group 特征
+ * @inputs 1
+ * @async true
+ * @qual ok
+ * @name shell
+ * @note 中立 op：L1 shell 两引擎同实现。`openFaces` 为空数组时生成全封闭薄壁。
+ *       仅 BREP 可用：mesh 输入执行前报错（backend-dispatch 静态判定）。
+ * @returns Shape 抽壳后的薄壁体。
+ * @param input - 目标几何。type:Shape required:true
+ * @param params.openFaces - 要移除的面（FaceTopoRef[]，cad.faceRef 产物）。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 })
+ */
+export declare const shell: ((input: Shape, params: ShellParams) => Promise<Shape>) & {
+    __faijs__dualOp?: import("../define-op.js").DualOpMeta;
+};
+//# sourceMappingURL=shell.d.ts.map

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

@@ -0,0 +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"}

package/dist/api/shell.js

@@ -0,0 +1,73 @@
+/**
+ * stdlib shell — 抽壳：按面移除生成等厚薄壁（手写中立 op，Phase 5）
+ *
+ * 中立 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）。
+ *
+ * 选面口径（设计原则 4）：`openFaces: FaceTopoRef[]`（`cad.faceRef` 产物），
+ * 与 `fillet` 的 `EdgeTopoRef[]` / `extrude` 的 `upTo` 同族；不复刻 vendored 的
+ * `Face[]` 句柄入参。解析在 op 内一处完成（`buildEdgeResolutionContext` 现场枚举
+ * + `resolveTopoRef`）。
+ */
+import { solidToShape } from '../brep/brep-ops.js';
+import { getBrepApi } from '../brep/handle-bridge.js';
+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 ?? {};
+    if (!Array.isArray(openFaces)) {
+        throw new Error('E_SHELL_BAD_OPEN_FACES: shell.openFaces must be an array of FaceTopoRef');
+    }
+    if (typeof thickness !== 'number' || !Number.isFinite(thickness) || thickness <= 0) {
+        throw new Error('E_SHELL_BAD_THICKNESS: shell.thickness must be a positive number');
+    }
+    const kernel = getBrepApi();
+    const solid = brepOf(input);
+    if (!solid)
+        throw new Error('E_SHELL_NO_BREP: shell input is not BREP');
+    const ctx = buildEdgeResolutionContext(kernel, input);
+    if (!ctx)
+        throw new TopoRefError('E_TOPO_NOT_FOUND', 'face', 'shell: input has no BREP naming context');
+    const faceHandles = openFaces.map((ref) => {
+        if (!ref || ref.kind !== 'face') {
+            throw new Error('E_SHELL_BAD_OPEN_FACES: every openFaces entry must be a FaceTopoRef (cad.faceRef)');
+        }
+        const r = resolveTopoRef(ref, ctx);
+        if (r.handle === undefined) {
+            throw new TopoRefError('E_TOPO_NOT_FOUND', 'face', `shell: face resolved without handle (${ref.origin}/${ref.role})`);
+        }
+        return r.handle;
+    });
+    const result = kernel.shell(solid, faceHandles, thickness, tolerance ?? 1e-6);
+    return fromBrep(solidToShape(kernel, result), { solid: result });
+}
+/**
+ * 抽壳：移除指定面并把余下面偏置成等厚薄壁。
+ * @group 特征
+ * @inputs 1
+ * @async true
+ * @qual ok
+ * @name shell
+ * @note 中立 op：L1 shell 两引擎同实现。`openFaces` 为空数组时生成全封闭薄壁。
+ *       仅 BREP 可用：mesh 输入执行前报错（backend-dispatch 静态判定）。
+ * @returns Shape 抽壳后的薄壁体。
+ * @param input - 目标几何。type:Shape required:true
+ * @param params.openFaces - 要移除的面（FaceTopoRef[]，cad.faceRef 产物）。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 })
+ */
+export const shell = defineOp({
+    capabilities: ['directEdit'],
+    brep(input, params) {
+        return shellBrep(input, params);
+    },
+    naming: { kind: 'kernel', newFaces: { via: 'byAdjacency' } },
+});
+//# sourceMappingURL=shell.js.map

package/dist/api/shell.js.map

@@ -0,0 +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"]}

package/dist/api/sketch.d.ts

@@ -48,6 +48,11 @@ export interface SketchLoop {
 /** `cad.sketch` 参数：轮廓环集合（第一个为外环，其余为孔）。 */
 export interface SketchContoursParams {
     contours: SketchLoop[];
+    /**
+     * 产物形态：'face'（默认）构面；'wire' 只交出不带面的外环 wire（1D 曲线），
+     * 供扫掠族（sweep/loft/…）直接作 spine。'wire' 形态丢弃孔环（扫掠脊柱为单闭合轮廓）。
+     */
+    as?: 'face' | 'wire';
 }
 /**
  * Validate sketch parameters: `contours` must be a non-empty array of loops,
@@ -62,10 +67,12 @@ export declare function assertSketchParams(params: Record<string, unknown>): voi
  * @async false
  * @qual ok
  * @name sketch
- * @returns Shape 平面几何（mesh 三角化 + BREP 句柄）。
+ * @returns Shape 平面几何（mesh 三角化 + BREP 句柄）；`as:'wire'` 时返回 1D 曲线（kind:'curve'）。
  * @param params.contours - 有序 2D 轮廓（线段/圆弧；外环 + 孔）。type:SketchLoop[] required:true
+ * @param params.as - 产物形态：'face'（默认）构面；'wire' 只交外环 wire（1D 曲线）。type:'face'|'wire' required:false
  * @example
  * const f = cad.sketch({ contours: [{ segments: [{ kind:'line', x1:0,y1:0,x2:10,y2:0 }, ...] }] })
+ * const w = cad.sketch({ contours: [{ segments: [{ kind:'line', x1:0,y1:0,x2:10,y2:0 }, ...] }], as: 'wire' })
  */
 export declare const sketch: ((params: Record<string, unknown>) => Promise<Shape>) & {
     __faijs__dualOp?: import("../define-op.js").DualOpMeta;

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

@@ -1 +1 @@
-{"version":3,"file":"sketch.d.ts","sourceRoot":"","sources":["../../src/api/sketch.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;GAeG;AAEH,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,eAAe,CAAA;AAU1C,2BAA2B;AAC3B,MAAM,WAAW,aAAa;IAC5B,IAAI,EAAE,MAAM,CAAA;IACZ,EAAE,EAAE,MAAM,CAAA;IACV,EAAE,EAAE,MAAM,CAAA;IACV,EAAE,EAAE,MAAM,CAAA;IACV,EAAE,EAAE,MAAM,CAAA;CACX;AAED,iCAAiC;AACjC,MAAM,WAAW,YAAY;IAC3B,IAAI,EAAE,KAAK,CAAA;IACX,EAAE,EAAE,MAAM,CAAA;IACV,EAAE,EAAE,MAAM,CAAA;IACV,MAAM,EAAE,MAAM,CAAA;IACd,cAAc;IACd,UAAU,EAAE,MAAM,CAAA;IAClB,cAAc;IACd,QAAQ,EAAE,MAAM,CAAA;IAChB,GAAG,EAAE,OAAO,CAAA;IACZ,EAAE,EAAE,MAAM,CAAA;IACV,EAAE,EAAE,MAAM,CAAA;IACV,EAAE,EAAE,MAAM,CAAA;IACV,EAAE,EAAE,MAAM,CAAA;CACX;AAED,0BAA0B;AAC1B,MAAM,MAAM,SAAS,GAAG,aAAa,GAAG,YAAY,CAAA;AAEpD,yBAAyB;AACzB,MAAM,WAAW,UAAU;IACzB,QAAQ,EAAE,SAAS,EAAE,CAAA;CACtB;AAED,0CAA0C;AAC1C,MAAM,WAAW,oBAAoB;IACnC,QAAQ,EAAE,UAAU,EAAE,CAAA;CACvB;AAID;;;;GAIG;AACH,wBAAgB,kBAAkB,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG,IAAI,CAaxE;AA+FD;;;;;;;;;;;GAWG;AACH,eAAO,MAAM,MAAM;;CAOjB,CAAA"}
+{"version":3,"file":"sketch.d.ts","sourceRoot":"","sources":["../../src/api/sketch.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;GAeG;AAEH,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,eAAe,CAAA;AAU1C,2BAA2B;AAC3B,MAAM,WAAW,aAAa;IAC5B,IAAI,EAAE,MAAM,CAAA;IACZ,EAAE,EAAE,MAAM,CAAA;IACV,EAAE,EAAE,MAAM,CAAA;IACV,EAAE,EAAE,MAAM,CAAA;IACV,EAAE,EAAE,MAAM,CAAA;CACX;AAED,iCAAiC;AACjC,MAAM,WAAW,YAAY;IAC3B,IAAI,EAAE,KAAK,CAAA;IACX,EAAE,EAAE,MAAM,CAAA;IACV,EAAE,EAAE,MAAM,CAAA;IACV,MAAM,EAAE,MAAM,CAAA;IACd,cAAc;IACd,UAAU,EAAE,MAAM,CAAA;IAClB,cAAc;IACd,QAAQ,EAAE,MAAM,CAAA;IAChB,GAAG,EAAE,OAAO,CAAA;IACZ,EAAE,EAAE,MAAM,CAAA;IACV,EAAE,EAAE,MAAM,CAAA;IACV,EAAE,EAAE,MAAM,CAAA;IACV,EAAE,EAAE,MAAM,CAAA;CACX;AAED,0BAA0B;AAC1B,MAAM,MAAM,SAAS,GAAG,aAAa,GAAG,YAAY,CAAA;AAEpD,yBAAyB;AACzB,MAAM,WAAW,UAAU;IACzB,QAAQ,EAAE,SAAS,EAAE,CAAA;CACtB;AAED,0CAA0C;AAC1C,MAAM,WAAW,oBAAoB;IACnC,QAAQ,EAAE,UAAU,EAAE,CAAA;IACtB;;;OAGG;IACH,EAAE,CAAC,EAAE,MAAM,GAAG,MAAM,CAAA;CACrB;AAID;;;;GAIG;AACH,wBAAgB,kBAAkB,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG,IAAI,CAaxE;AAqGD;;;;;;;;;;;;;GAaG;AACH,eAAO,MAAM,MAAM;;CAOjB,CAAA"}

package/dist/api/sketch.js

@@ -14,9 +14,9 @@
  * 坐标系：输入 2D 点即 (x, y, 0)，法向 +Z；草图在 Body 局部系内的定位由调用方（fcstd 端口）
  * 在轮廓坐标里预先变换，或由下游特征的 Placement 承担。
  */
-import { getBackends } from '../runtime-state.js';
+import { getBrepApi } from '../brep/handle-bridge.js';
 import { solidToShape } from '../brep/brep-ops.js';
-import { fromBrep } from '../shape.js';
+import { fromBrep, fromBrepCurve } from '../shape.js';
 import { defineOp } from '../sdk.js';
 // ── 参数自校验 ──
 /**
@@ -99,11 +99,10 @@ function loopToWire(kernel, loop) {
     }
     return kernel.makeWire(edges);
 }
-/** BREP 路径：2D 轮廓 → planar face（外环 + 孔）。 */
+/** BREP 路径：2D 轮廓 → planar face（外环 + 孔），或 'wire' 形态仅交外环 wire。 */
 function sketchBrep(params) {
-    const kernel = getBackends().kernel.brep;
-    if (!kernel)
-        throw new Error('[stdlib/sketch] no BREP kernel');
+    const kernel = getBrepApi();
+    const as = params.as ?? 'face';
     const loops = params.contours.map((loop) => ({ loop, area: Math.abs(loopSignedArea(loop)) }));
     // 面积最大者为外环，其余为孔
     let outerIdx = 0;
@@ -112,6 +111,10 @@ function sketchBrep(params) {
             outerIdx = i;
     }
     const outerWire = loopToWire(kernel, loops[outerIdx].loop);
+    // 'wire' 形态：只交外环 wire（1D 曲线），不构面 —— 供扫掠族作 spine。
+    if (as === 'wire') {
+        return fromBrepCurve(solidToShape(kernel, outerWire), { solid: outerWire });
+    }
     const face = kernel.makeFace(outerWire);
     const holeWires = [];
     for (let i = 0; i < loops.length; i++) {
@@ -134,10 +137,12 @@ function sketchBrep(params) {
  * @async false
  * @qual ok
  * @name sketch
- * @returns Shape 平面几何（mesh 三角化 + BREP 句柄）。
+ * @returns Shape 平面几何（mesh 三角化 + BREP 句柄）；`as:'wire'` 时返回 1D 曲线（kind:'curve'）。
  * @param params.contours - 有序 2D 轮廓（线段/圆弧；外环 + 孔）。type:SketchLoop[] required:true
+ * @param params.as - 产物形态：'face'（默认）构面；'wire' 只交外环 wire（1D 曲线）。type:'face'|'wire' required:false
  * @example
  * const f = cad.sketch({ contours: [{ segments: [{ kind:'line', x1:0,y1:0,x2:10,y2:0 }, ...] }] })
+ * const w = cad.sketch({ contours: [{ segments: [{ kind:'line', x1:0,y1:0,x2:10,y2:0 }, ...] }], as: 'wire' })
  */
 export const sketch = defineOp({
     capabilities: ['directEdit'],

package/dist/api/sketch.js.map

@@ -1 +1 @@
-{"version":3,"file":"sketch.js","sourceRoot":"","sources":["../../src/api/sketch.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;GAeG;AAIH,OAAO,EAAE,WAAW,EAAE,MAAM,kBAAkB,CAAA;AAC9C,OAAO,EAAE,YAAY,EAAE,MAAM,kBAAkB,CAAA;AAC/C,OAAO,EAAE,QAAQ,EAAE,MAAM,UAAU,CAAA;AACnC,OAAO,EAAE,QAAQ,EAAE,MAAM,QAAQ,CAAA;AA4CjC,cAAc;AAEd;;;;GAIG;AACH,MAAM,UAAU,kBAAkB,CAAC,MAA+B;IAChE,MAAM,QAAQ,GAAG,MAAM,CAAC,QAAQ,CAAA;IAChC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,QAAQ,CAAC,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACtD,MAAM,IAAI,KAAK,CAAC,4DAA4D,CAAC,CAAA;IAC/E,CAAC;IACD,KAAK,MAAM,IAAI,IAAI,QAAQ,EAAE,CAAC;QAC5B,IAAI,CAAC,IAAI,IAAI,OAAO,IAAI,KAAK,QAAQ,IAAI,CAAC,KAAK,CAAC,OAAO,CAAE,IAAmB,CAAC,QAAQ,CAAC,EAAE,CAAC;YACvF,MAAM,IAAI,KAAK,CAAC,4DAA4D,CAAC,CAAA;QAC/E,CAAC;QACD,IAAK,IAAmB,CAAC,QAAQ,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YAC/C,MAAM,IAAI,KAAK,CAAC,+DAA+D,CAAC,CAAA;QAClF,CAAC;IACH,CAAC;AACH,CAAC;AAED,2BAA2B;AAC3B,SAAS,cAAc,CAAC,IAAgB;IACtC,MAAM,GAAG,GAA4B,EAAE,CAAA;IACvC,KAAK,MAAM,GAAG,IAAI,IAAI,CAAC,QAAQ,EAAE,CAAC;QAChC,GAAG,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,EAAE,EAAE,GAAG,CAAC,EAAE,CAAC,CAAC,CAAA;IAC5B,CAAC;IACD,IAAI,CAAC,GAAG,CAAC,CAAA;IACT,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,GAAG,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACpC,MAAM,CAAC,EAAE,EAAE,EAAE,CAAC,GAAG,GAAG,CAAC,CAAC,CAAE,CAAA;QACxB,MAAM,CAAC,EAAE,EAAE,EAAE,CAAC,GAAG,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,GAAG,CAAC,MAAM,CAAE,CAAA;QAC3C,CAAC,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,CAAA;IACxB,CAAC;IACD,OAAO,CAAC,GAAG,CAAC,CAAA;AACd,CAAC;AAED,oCAAoC;AACpC,SAAS,YAAY,CACnB,MAAqB,EACrB,GAAiB;IAEjB,MAAM,EAAE,EAAE,EAAE,EAAE,EAAE,MAAM,EAAE,UAAU,EAAE,QAAQ,EAAE,GAAG,GAAG,CAAA;IACpD,IAAI,KAAK,GAAG,QAAQ,GAAG,UAAU,CAAA;IACjC,sBAAsB;IACtB,OAAO,KAAK,IAAI,CAAC;QAAE,KAAK,IAAI,CAAC,GAAG,IAAI,CAAC,EAAE,CAAA;IACvC,OAAO,KAAK,GAAG,CAAC,GAAG,IAAI,CAAC,EAAE;QAAE,KAAK,IAAI,CAAC,GAAG,IAAI,CAAC,EAAE,CAAA;IAEhD,MAAM,OAAO,GAAG,CAAC,EAAU,EAAE,EAAU,EAA4C,EAAE;QACnF,MAAM,GAAG,GAAG,CAAC,EAAE,GAAG,EAAE,CAAC,GAAG,CAAC,CAAA;QACzB,MAAM,KAAK,GAAG,EAAE,CAAC,EAAE,EAAE,GAAG,MAAM,GAAG,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,GAAG,MAAM,GAAG,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAA;QACpF,MAAM,CAAC,GAAG,EAAE,CAAC,EAAE,EAAE,GAAG,MAAM,GAAG,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,EAAE,GAAG,MAAM,GAAG,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAA;QAClF,MAAM,GAAG,GAAG,EAAE,CAAC,EAAE,EAAE,GAAG,MAAM,GAAG,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,GAAG,MAAM,GAAG,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAA;QAClF,OAAO,MAAM,CAAC,WAAW,CAAC,KAAK,EAAE,CAAC,EAAE,GAAG,CAAC,CAAA;IAC1C,CAAC,CAAA;IAED,6CAA6C;IAC7C,IAAI,KAAK,IAAI,CAAC,GAAG,IAAI,CAAC,EAAE,GAAG,IAAI,EAAE,CAAC;QAChC,MAAM,IAAI,GAAG,CAAC,GAAG,IAAI,CAAC,EAAE,GAAG,CAAC,CAAA;QAC5B,OAAO,CAAC,OAAO,CAAC,UAAU,EAAE,UAAU,GAAG,IAAI,CAAC,EAAE,OAAO,CAAC,UAAU,GAAG,IAAI,EAAE,UAAU,GAAG,CAAC,GAAG,IAAI,CAAC,EAAE,CAAC,CAAC,CAAA;IACvG,CAAC;IACD,OAAO,CAAC,OAAO,CAAC,UAAU,EAAE,QAAQ,CAAC,CAAC,CAAA;AACxC,CAAC;AAED,4CAA4C;AAC5C,SAAS,UAAU,CAAC,MAAqB,EAAE,IAAgB;IACzD,MAAM,KAAK,GAAgD,EAAE,CAAA;IAC7D,KAAK,MAAM,GAAG,IAAI,IAAI,CAAC,QAAQ,EAAE,CAAC;QAChC,IAAI,GAAG,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;YACxB,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,YAAY,CAAC,EAAE,CAAC,EAAE,GAAG,CAAC,EAAE,EAAE,CAAC,EAAE,GAAG,CAAC,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,GAAG,CAAC,EAAE,EAAE,CAAC,EAAE,GAAG,CAAC,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAA;QACjG,CAAC;aAAM,CAAC;YACN,0BAA0B;YAC1B,IAAI,KAAK,GAAG,GAAG,CAAC,QAAQ,GAAG,GAAG,CAAC,UAAU,CAAA;YACzC,OAAO,KAAK,IAAI,CAAC;gBAAE,KAAK,IAAI,CAAC,GAAG,IAAI,CAAC,EAAE,CAAA;YACvC,OAAO,KAAK,GAAG,CAAC,GAAG,IAAI,CAAC,EAAE;gBAAE,KAAK,IAAI,CAAC,GAAG,IAAI,CAAC,EAAE,CAAA;YAChD,IAAI,KAAK,GAAG,IAAI,EAAE,CAAC;gBACjB,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,YAAY,CAAC,EAAE,CAAC,EAAE,GAAG,CAAC,EAAE,EAAE,CAAC,EAAE,GAAG,CAAC,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,GAAG,CAAC,EAAE,EAAE,CAAC,EAAE,GAAG,CAAC,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAA;YACjG,CAAC;iBAAM,CAAC;gBACN,KAAK,CAAC,IAAI,CAAC,GAAG,YAAY,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC,CAAA;YAC1C,CAAC;QACH,CAAC;IACH,CAAC;IACD,OAAO,MAAM,CAAC,QAAQ,CAAC,KAAoD,CAAC,CAAA;AAC9E,CAAC;AAED,2CAA2C;AAC3C,SAAS,UAAU,CAAC,MAA+B;IACjD,MAAM,MAAM,GAAG,WAAW,EAAE,CAAC,MAAM,CAAC,IAA4B,CAAA;IAChE,IAAI,CAAC,MAAM;QAAE,MAAM,IAAI,KAAK,CAAC,gCAAgC,CAAC,CAAA;IAE9D,MAAM,KAAK,GAAI,MAAM,CAAC,QAAyB,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,CAAC,GAAG,CAAC,cAAc,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,CAAC,CAAA;IAC/G,gBAAgB;IAChB,IAAI,QAAQ,GAAG,CAAC,CAAA;IAChB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACtC,IAAI,KAAK,CAAC,CAAC,CAAE,CAAC,IAAI,GAAG,KAAK,CAAC,QAAQ,CAAE,CAAC,IAAI;YAAE,QAAQ,GAAG,CAAC,CAAA;IAC1D,CAAC;IAED,MAAM,SAAS,GAAG,UAAU,CAAC,MAAM,EAAE,KAAK,CAAC,QAAQ,CAAE,CAAC,IAAI,CAAC,CAAA;IAC3D,MAAM,IAAI,GAAG,MAAM,CAAC,QAAQ,CAAC,SAAS,CAAC,CAAA;IAEvC,MAAM,SAAS,GAA4C,EAAE,CAAA;IAC7D,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACtC,IAAI,CAAC,KAAK,QAAQ;YAAE,SAAQ;QAC5B,SAAS,CAAC,IAAI,CAAC,UAAU,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC,CAAE,CAAC,IAAI,CAAC,CAAC,CAAA;IACpD,CAAC;IACD,IAAI,SAAS,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACzB,MAAM,KAAK,GAAG,MAAM,CAAC,cAAc,CAAC,IAAI,EAAE,SAAS,CAAC,CAAA;QACpD,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,CAAA;QACpB,OAAO,QAAQ,CAAC,YAAY,CAAC,MAAM,EAAE,KAAK,CAAC,EAAE,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC,CAAA;IAChE,CAAC;IAED,MAAM,CAAC,OAAO,CAAC,SAAS,CAAC,CAAA;IACzB,OAAO,QAAQ,CAAC,YAAY,CAAC,MAAM,EAAE,IAAI,CAAC,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAA;AAC9D,CAAC;AAED;;;;;;;;;;;GAWG;AACH,MAAM,CAAC,MAAM,MAAM,GAAG,QAAQ,CAAC;IAC7B,YAAY,EAAE,CAAC,YAAY,CAAC;IAC5B,IAAI,CAAC,MAA+B;QAClC,kBAAkB,CAAC,MAAM,CAAC,CAAA;QAC1B,OAAO,UAAU,CAAC,MAAM,CAAC,CAAA;IAC3B,CAAC;IACD,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 sketch — 从 2D 轮廓构面（creator 函数，无输入，brep-only）。\n *\n * 用途：faijs 此前没有「从 2D 轮廓构造 planar face」的能力，导致草图轮廓无法喂给\n * extrude/revolve。本 op 接收 2D 轮廓（线段 + 圆弧），在 z=0 平面用 OCCT 构面：\n *   makeLineEdge/makeArcEdge → makeWire → makeFace（+ addHolesInFace）。\n *\n * 设计：\n * - 输入：{ contours: SketchLoop[] }，每个 loop = 有序 segments（line / arc，z=0）。\n * - 外环 = 面积（shoelace）绝对值最大的 loop；其余 loop 作为孔。\n * - 圆弧：用起点/中点/终点三点的 makeArcEdge；整圆（sweep≈2π）拆成两段弧。\n * - 输出：Shape（mesh 三角化 + 句柄登记）。brep-only（下游 extrude/revolve 亦 brep-only）。\n *\n * 坐标系：输入 2D 点即 (x, y, 0)，法向 +Z；草图在 Body 局部系内的定位由调用方（fcstd 端口）\n * 在轮廓坐标里预先变换，或由下游特征的 Placement 承担。\n */\n\nimport type { Shape } from '../mesh/types'\nimport type { BrepEngineApi } from '../brep/engine/primitives'\nimport { getBackends } from '../runtime-state'\nimport { solidToShape } from '../brep/brep-ops'\nimport { fromBrep } from '../shape'\nimport { defineOp } from '../sdk'\nimport type { Provenance } from '../topology/naming/lineage'\n\n// ── 参数形状（与 fcstd Contour 结构相同，避免引擎依赖端口层）──\n\n/** 直线段（2D，z=0；端点为绝对坐标）。 */\nexport interface SketchLineSeg {\n  kind: 'line'\n  x1: number\n  y1: number\n  x2: number\n  y2: number\n}\n\n/** 圆弧段（圆心 + 半径 + 起止角，弧度；z=0）。 */\nexport interface SketchArcSeg {\n  kind: 'arc'\n  cx: number\n  cy: number\n  radius: number\n  /** 起始角（弧度） */\n  startAngle: number\n  /** 终止角（弧度） */\n  endAngle: number\n  ccw: boolean\n  x1: number\n  y1: number\n  x2: number\n  y2: number\n}\n\n/** 一条有序 2D 轮廓段（直线或圆弧）。 */\nexport type SketchSeg = SketchLineSeg | SketchArcSeg\n\n/** 单个轮廓环：有序段序列（首尾相接）。 */\nexport interface SketchLoop {\n  segments: SketchSeg[]\n}\n\n/** `cad.sketch` 参数：轮廓环集合（第一个为外环，其余为孔）。 */\nexport interface SketchContoursParams {\n  contours: SketchLoop[]\n}\n\n// ── 参数自校验 ──\n\n/**\n * Validate sketch parameters: `contours` must be a non-empty array of loops,\n * each with at least one segment.\n * @param params the raw sketch operation parameters.\n */\nexport function assertSketchParams(params: Record<string, unknown>): void {\n  const contours = params.contours\n  if (!Array.isArray(contours) || contours.length === 0) {\n    throw new Error('E_SKETCH_NO_CONTOURS: sketch requires at least one contour')\n  }\n  for (const loop of contours) {\n    if (!loop || typeof loop !== 'object' || !Array.isArray((loop as SketchLoop).segments)) {\n      throw new Error('E_SKETCH_BAD_LOOP: each contour must have a segments array')\n    }\n    if ((loop as SketchLoop).segments.length === 0) {\n      throw new Error('E_SKETCH_EMPTY_LOOP: a contour must have at least one segment')\n    }\n  }\n}\n\n/** 单环 shoelace 面积（带符号）。 */\nfunction loopSignedArea(loop: SketchLoop): number {\n  const pts: Array<[number, number]> = []\n  for (const seg of loop.segments) {\n    pts.push([seg.x1, seg.y1])\n  }\n  let a = 0\n  for (let i = 0; i < pts.length; i++) {\n    const [x1, y1] = pts[i]!\n    const [x2, y2] = pts[(i + 1) % pts.length]!\n    a += x1 * y2 - x2 * y1\n  }\n  return a / 2\n}\n\n/** 圆弧 → 一条或两条 makeArcEdge（整圆拆分）。 */\nfunction arcToHandles(\n  kernel: BrepEngineApi,\n  seg: SketchArcSeg,\n): ReturnType<BrepEngineApi['makeArcEdge']>[] {\n  const { cx, cy, radius, startAngle, endAngle } = seg\n  let sweep = endAngle - startAngle\n  // 归一化到 (0, 2π]，处理角度回绕\n  while (sweep <= 0) sweep += 2 * Math.PI\n  while (sweep > 2 * Math.PI) sweep -= 2 * Math.PI\n\n  const makeOne = (a0: number, a1: number): ReturnType<BrepEngineApi['makeArcEdge']> => {\n    const mid = (a0 + a1) / 2\n    const start = { x: cx + radius * Math.cos(a0), y: cy + radius * Math.sin(a0), z: 0 }\n    const m = { x: cx + radius * Math.cos(mid), y: cy + radius * Math.sin(mid), z: 0 }\n    const end = { x: cx + radius * Math.cos(a1), y: cy + radius * Math.sin(a1), z: 0 }\n    return kernel.makeArcEdge(start, m, end)\n  }\n\n  // 整圆（sweep≈2π）：拆成两段半圆，避免 makeArcEdge 起点≈终点退化\n  if (sweep >= 2 * Math.PI - 1e-9) {\n    const half = 2 * Math.PI / 2\n    return [makeOne(startAngle, startAngle + half), makeOne(startAngle + half, startAngle + 2 * Math.PI)]\n  }\n  return [makeOne(startAngle, endAngle)]\n}\n\n/** 单环 → wire handle（仅构面，不释放中间句柄，遵循现有惯例）。 */\nfunction loopToWire(kernel: BrepEngineApi, loop: SketchLoop): ReturnType<BrepEngineApi['makeWire']> {\n  const edges: ReturnType<BrepEngineApi['makeLineEdge']>[] = []\n  for (const seg of loop.segments) {\n    if (seg.kind === 'line') {\n      edges.push(kernel.makeLineEdge({ x: seg.x1, y: seg.y1, z: 0 }, { x: seg.x2, y: seg.y2, z: 0 }))\n    } else {\n      // 极小扫角（退化弧）→ 退化为线段，避免构边失败\n      let sweep = seg.endAngle - seg.startAngle\n      while (sweep <= 0) sweep += 2 * Math.PI\n      while (sweep > 2 * Math.PI) sweep -= 2 * Math.PI\n      if (sweep < 1e-9) {\n        edges.push(kernel.makeLineEdge({ x: seg.x1, y: seg.y1, z: 0 }, { x: seg.x2, y: seg.y2, z: 0 }))\n      } else {\n        edges.push(...arcToHandles(kernel, seg))\n      }\n    }\n  }\n  return kernel.makeWire(edges as ReturnType<BrepEngineApi['makeLineEdge']>[])\n}\n\n/** BREP 路径：2D 轮廓 → planar face（外环 + 孔）。 */\nfunction sketchBrep(params: Record<string, unknown>): Shape {\n  const kernel = getBackends().kernel.brep as BrepEngineApi | null\n  if (!kernel) throw new Error('[stdlib/sketch] no BREP kernel')\n\n  const loops = (params.contours as SketchLoop[]).map((loop) => ({ loop, area: Math.abs(loopSignedArea(loop)) }))\n  // 面积最大者为外环，其余为孔\n  let outerIdx = 0\n  for (let i = 1; i < loops.length; i++) {\n    if (loops[i]!.area > loops[outerIdx]!.area) outerIdx = i\n  }\n\n  const outerWire = loopToWire(kernel, loops[outerIdx]!.loop)\n  const face = kernel.makeFace(outerWire)\n\n  const holeWires: ReturnType<BrepEngineApi['makeWire']>[] = []\n  for (let i = 0; i < loops.length; i++) {\n    if (i === outerIdx) continue\n    holeWires.push(loopToWire(kernel, loops[i]!.loop))\n  }\n  if (holeWires.length > 0) {\n    const faced = kernel.addHolesInFace(face, holeWires)\n    kernel.release(face)\n    return fromBrep(solidToShape(kernel, faced), { solid: faced })\n  }\n\n  kernel.release(outerWire)\n  return fromBrep(solidToShape(kernel, face), { solid: face })\n}\n\n/**\n * 从 2D 轮廓构造平面（creator，无输入）。仅 BREP 可用。\n * @group 创建\n * @inputs 0\n * @async false\n * @qual ok\n * @name sketch\n * @returns Shape 平面几何（mesh 三角化 + BREP 句柄）。\n * @param params.contours - 有序 2D 轮廓（线段/圆弧；外环 + 孔）。type:SketchLoop[] required:true\n * @example\n * const f = cad.sketch({ contours: [{ segments: [{ kind:'line', x1:0,y1:0,x2:10,y2:0 }, ...] }] })\n */\nexport const sketch = defineOp({\n  capabilities: ['directEdit'],\n  brep(params: Record<string, unknown>) {\n    assertSketchParams(params)\n    return sketchBrep(params)\n  },\n  naming: { kind: 'construct', newFaces: { via: 'explicit', vocab: [] } } as Provenance,\n})\n"]}
+{"version":3,"file":"sketch.js","sourceRoot":"","sources":["../../src/api/sketch.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;GAeG;AAIH,OAAO,EAAE,UAAU,EAAE,MAAM,uBAAuB,CAAA;AAClD,OAAO,EAAE,YAAY,EAAE,MAAM,kBAAkB,CAAA;AAC/C,OAAO,EAAE,QAAQ,EAAE,aAAa,EAAE,MAAM,UAAU,CAAA;AAClD,OAAO,EAAE,QAAQ,EAAE,MAAM,QAAQ,CAAA;AAiDjC,cAAc;AAEd;;;;GAIG;AACH,MAAM,UAAU,kBAAkB,CAAC,MAA+B;IAChE,MAAM,QAAQ,GAAG,MAAM,CAAC,QAAQ,CAAA;IAChC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,QAAQ,CAAC,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACtD,MAAM,IAAI,KAAK,CAAC,4DAA4D,CAAC,CAAA;IAC/E,CAAC;IACD,KAAK,MAAM,IAAI,IAAI,QAAQ,EAAE,CAAC;QAC5B,IAAI,CAAC,IAAI,IAAI,OAAO,IAAI,KAAK,QAAQ,IAAI,CAAC,KAAK,CAAC,OAAO,CAAE,IAAmB,CAAC,QAAQ,CAAC,EAAE,CAAC;YACvF,MAAM,IAAI,KAAK,CAAC,4DAA4D,CAAC,CAAA;QAC/E,CAAC;QACD,IAAK,IAAmB,CAAC,QAAQ,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YAC/C,MAAM,IAAI,KAAK,CAAC,+DAA+D,CAAC,CAAA;QAClF,CAAC;IACH,CAAC;AACH,CAAC;AAED,2BAA2B;AAC3B,SAAS,cAAc,CAAC,IAAgB;IACtC,MAAM,GAAG,GAA4B,EAAE,CAAA;IACvC,KAAK,MAAM,GAAG,IAAI,IAAI,CAAC,QAAQ,EAAE,CAAC;QAChC,GAAG,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,EAAE,EAAE,GAAG,CAAC,EAAE,CAAC,CAAC,CAAA;IAC5B,CAAC;IACD,IAAI,CAAC,GAAG,CAAC,CAAA;IACT,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,GAAG,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACpC,MAAM,CAAC,EAAE,EAAE,EAAE,CAAC,GAAG,GAAG,CAAC,CAAC,CAAE,CAAA;QACxB,MAAM,CAAC,EAAE,EAAE,EAAE,CAAC,GAAG,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,GAAG,CAAC,MAAM,CAAE,CAAA;QAC3C,CAAC,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,CAAA;IACxB,CAAC;IACD,OAAO,CAAC,GAAG,CAAC,CAAA;AACd,CAAC;AAED,oCAAoC;AACpC,SAAS,YAAY,CACnB,MAAqB,EACrB,GAAiB;IAEjB,MAAM,EAAE,EAAE,EAAE,EAAE,EAAE,MAAM,EAAE,UAAU,EAAE,QAAQ,EAAE,GAAG,GAAG,CAAA;IACpD,IAAI,KAAK,GAAG,QAAQ,GAAG,UAAU,CAAA;IACjC,sBAAsB;IACtB,OAAO,KAAK,IAAI,CAAC;QAAE,KAAK,IAAI,CAAC,GAAG,IAAI,CAAC,EAAE,CAAA;IACvC,OAAO,KAAK,GAAG,CAAC,GAAG,IAAI,CAAC,EAAE;QAAE,KAAK,IAAI,CAAC,GAAG,IAAI,CAAC,EAAE,CAAA;IAEhD,MAAM,OAAO,GAAG,CAAC,EAAU,EAAE,EAAU,EAA4C,EAAE;QACnF,MAAM,GAAG,GAAG,CAAC,EAAE,GAAG,EAAE,CAAC,GAAG,CAAC,CAAA;QACzB,MAAM,KAAK,GAAG,EAAE,CAAC,EAAE,EAAE,GAAG,MAAM,GAAG,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,GAAG,MAAM,GAAG,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAA;QACpF,MAAM,CAAC,GAAG,EAAE,CAAC,EAAE,EAAE,GAAG,MAAM,GAAG,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,EAAE,GAAG,MAAM,GAAG,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAA;QAClF,MAAM,GAAG,GAAG,EAAE,CAAC,EAAE,EAAE,GAAG,MAAM,GAAG,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,GAAG,MAAM,GAAG,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAA;QAClF,OAAO,MAAM,CAAC,WAAW,CAAC,KAAK,EAAE,CAAC,EAAE,GAAG,CAAC,CAAA;IAC1C,CAAC,CAAA;IAED,6CAA6C;IAC7C,IAAI,KAAK,IAAI,CAAC,GAAG,IAAI,CAAC,EAAE,GAAG,IAAI,EAAE,CAAC;QAChC,MAAM,IAAI,GAAG,CAAC,GAAG,IAAI,CAAC,EAAE,GAAG,CAAC,CAAA;QAC5B,OAAO,CAAC,OAAO,CAAC,UAAU,EAAE,UAAU,GAAG,IAAI,CAAC,EAAE,OAAO,CAAC,UAAU,GAAG,IAAI,EAAE,UAAU,GAAG,CAAC,GAAG,IAAI,CAAC,EAAE,CAAC,CAAC,CAAA;IACvG,CAAC;IACD,OAAO,CAAC,OAAO,CAAC,UAAU,EAAE,QAAQ,CAAC,CAAC,CAAA;AACxC,CAAC;AAED,4CAA4C;AAC5C,SAAS,UAAU,CAAC,MAAqB,EAAE,IAAgB;IACzD,MAAM,KAAK,GAAgD,EAAE,CAAA;IAC7D,KAAK,MAAM,GAAG,IAAI,IAAI,CAAC,QAAQ,EAAE,CAAC;QAChC,IAAI,GAAG,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;YACxB,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,YAAY,CAAC,EAAE,CAAC,EAAE,GAAG,CAAC,EAAE,EAAE,CAAC,EAAE,GAAG,CAAC,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,GAAG,CAAC,EAAE,EAAE,CAAC,EAAE,GAAG,CAAC,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAA;QACjG,CAAC;aAAM,CAAC;YACN,0BAA0B;YAC1B,IAAI,KAAK,GAAG,GAAG,CAAC,QAAQ,GAAG,GAAG,CAAC,UAAU,CAAA;YACzC,OAAO,KAAK,IAAI,CAAC;gBAAE,KAAK,IAAI,CAAC,GAAG,IAAI,CAAC,EAAE,CAAA;YACvC,OAAO,KAAK,GAAG,CAAC,GAAG,IAAI,CAAC,EAAE;gBAAE,KAAK,IAAI,CAAC,GAAG,IAAI,CAAC,EAAE,CAAA;YAChD,IAAI,KAAK,GAAG,IAAI,EAAE,CAAC;gBACjB,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,YAAY,CAAC,EAAE,CAAC,EAAE,GAAG,CAAC,EAAE,EAAE,CAAC,EAAE,GAAG,CAAC,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,GAAG,CAAC,EAAE,EAAE,CAAC,EAAE,GAAG,CAAC,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAA;YACjG,CAAC;iBAAM,CAAC;gBACN,KAAK,CAAC,IAAI,CAAC,GAAG,YAAY,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC,CAAA;YAC1C,CAAC;QACH,CAAC;IACH,CAAC;IACD,OAAO,MAAM,CAAC,QAAQ,CAAC,KAAoD,CAAC,CAAA;AAC9E,CAAC;AAED,gEAAgE;AAChE,SAAS,UAAU,CAAC,MAA+B;IACjD,MAAM,MAAM,GAAG,UAAU,EAAE,CAAA;IAC3B,MAAM,EAAE,GAAI,MAAM,CAAC,EAAkC,IAAI,MAAM,CAAA;IAE/D,MAAM,KAAK,GAAI,MAAM,CAAC,QAAyB,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,CAAC,GAAG,CAAC,cAAc,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,CAAC,CAAA;IAC/G,gBAAgB;IAChB,IAAI,QAAQ,GAAG,CAAC,CAAA;IAChB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACtC,IAAI,KAAK,CAAC,CAAC,CAAE,CAAC,IAAI,GAAG,KAAK,CAAC,QAAQ,CAAE,CAAC,IAAI;YAAE,QAAQ,GAAG,CAAC,CAAA;IAC1D,CAAC;IAED,MAAM,SAAS,GAAG,UAAU,CAAC,MAAM,EAAE,KAAK,CAAC,QAAQ,CAAE,CAAC,IAAI,CAAC,CAAA;IAE3D,iDAAiD;IACjD,IAAI,EAAE,KAAK,MAAM,EAAE,CAAC;QAClB,OAAO,aAAa,CAAC,YAAY,CAAC,MAAM,EAAE,SAAS,CAAC,EAAE,EAAE,KAAK,EAAE,SAAS,EAAE,CAAC,CAAA;IAC7E,CAAC;IAED,MAAM,IAAI,GAAG,MAAM,CAAC,QAAQ,CAAC,SAAS,CAAC,CAAA;IAEvC,MAAM,SAAS,GAA4C,EAAE,CAAA;IAC7D,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACtC,IAAI,CAAC,KAAK,QAAQ;YAAE,SAAQ;QAC5B,SAAS,CAAC,IAAI,CAAC,UAAU,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC,CAAE,CAAC,IAAI,CAAC,CAAC,CAAA;IACpD,CAAC;IACD,IAAI,SAAS,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACzB,MAAM,KAAK,GAAG,MAAM,CAAC,cAAc,CAAC,IAAI,EAAE,SAAS,CAAC,CAAA;QACpD,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,CAAA;QACpB,OAAO,QAAQ,CAAC,YAAY,CAAC,MAAM,EAAE,KAAK,CAAC,EAAE,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC,CAAA;IAChE,CAAC;IAED,MAAM,CAAC,OAAO,CAAC,SAAS,CAAC,CAAA;IACzB,OAAO,QAAQ,CAAC,YAAY,CAAC,MAAM,EAAE,IAAI,CAAC,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAA;AAC9D,CAAC;AAED;;;;;;;;;;;;;GAaG;AACH,MAAM,CAAC,MAAM,MAAM,GAAG,QAAQ,CAAC;IAC7B,YAAY,EAAE,CAAC,YAAY,CAAC;IAC5B,IAAI,CAAC,MAA+B;QAClC,kBAAkB,CAAC,MAAM,CAAC,CAAA;QAC1B,OAAO,UAAU,CAAC,MAAM,CAAC,CAAA;IAC3B,CAAC;IACD,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 sketch — 从 2D 轮廓构面（creator 函数，无输入，brep-only）。\n *\n * 用途：faijs 此前没有「从 2D 轮廓构造 planar face」的能力，导致草图轮廓无法喂给\n * extrude/revolve。本 op 接收 2D 轮廓（线段 + 圆弧），在 z=0 平面用 OCCT 构面：\n *   makeLineEdge/makeArcEdge → makeWire → makeFace（+ addHolesInFace）。\n *\n * 设计：\n * - 输入：{ contours: SketchLoop[] }，每个 loop = 有序 segments（line / arc，z=0）。\n * - 外环 = 面积（shoelace）绝对值最大的 loop；其余 loop 作为孔。\n * - 圆弧：用起点/中点/终点三点的 makeArcEdge；整圆（sweep≈2π）拆成两段弧。\n * - 输出：Shape（mesh 三角化 + 句柄登记）。brep-only（下游 extrude/revolve 亦 brep-only）。\n *\n * 坐标系：输入 2D 点即 (x, y, 0)，法向 +Z；草图在 Body 局部系内的定位由调用方（fcstd 端口）\n * 在轮廓坐标里预先变换，或由下游特征的 Placement 承担。\n */\n\nimport type { Shape } from '../mesh/types'\nimport type { BrepEngineApi } from '../brep/engine/primitives'\nimport { getBrepApi } from '../brep/handle-bridge'\nimport { solidToShape } from '../brep/brep-ops'\nimport { fromBrep, fromBrepCurve } from '../shape'\nimport { defineOp } from '../sdk'\nimport type { Provenance } from '../topology/naming/lineage'\n\n// ── 参数形状（与 fcstd Contour 结构相同，避免引擎依赖端口层）──\n\n/** 直线段（2D，z=0；端点为绝对坐标）。 */\nexport interface SketchLineSeg {\n  kind: 'line'\n  x1: number\n  y1: number\n  x2: number\n  y2: number\n}\n\n/** 圆弧段（圆心 + 半径 + 起止角，弧度；z=0）。 */\nexport interface SketchArcSeg {\n  kind: 'arc'\n  cx: number\n  cy: number\n  radius: number\n  /** 起始角（弧度） */\n  startAngle: number\n  /** 终止角（弧度） */\n  endAngle: number\n  ccw: boolean\n  x1: number\n  y1: number\n  x2: number\n  y2: number\n}\n\n/** 一条有序 2D 轮廓段（直线或圆弧）。 */\nexport type SketchSeg = SketchLineSeg | SketchArcSeg\n\n/** 单个轮廓环：有序段序列（首尾相接）。 */\nexport interface SketchLoop {\n  segments: SketchSeg[]\n}\n\n/** `cad.sketch` 参数：轮廓环集合（第一个为外环，其余为孔）。 */\nexport interface SketchContoursParams {\n  contours: SketchLoop[]\n  /**\n   * 产物形态：'face'（默认）构面；'wire' 只交出不带面的外环 wire（1D 曲线），\n   * 供扫掠族（sweep/loft/…）直接作 spine。'wire' 形态丢弃孔环（扫掠脊柱为单闭合轮廓）。\n   */\n  as?: 'face' | 'wire'\n}\n\n// ── 参数自校验 ──\n\n/**\n * Validate sketch parameters: `contours` must be a non-empty array of loops,\n * each with at least one segment.\n * @param params the raw sketch operation parameters.\n */\nexport function assertSketchParams(params: Record<string, unknown>): void {\n  const contours = params.contours\n  if (!Array.isArray(contours) || contours.length === 0) {\n    throw new Error('E_SKETCH_NO_CONTOURS: sketch requires at least one contour')\n  }\n  for (const loop of contours) {\n    if (!loop || typeof loop !== 'object' || !Array.isArray((loop as SketchLoop).segments)) {\n      throw new Error('E_SKETCH_BAD_LOOP: each contour must have a segments array')\n    }\n    if ((loop as SketchLoop).segments.length === 0) {\n      throw new Error('E_SKETCH_EMPTY_LOOP: a contour must have at least one segment')\n    }\n  }\n}\n\n/** 单环 shoelace 面积（带符号）。 */\nfunction loopSignedArea(loop: SketchLoop): number {\n  const pts: Array<[number, number]> = []\n  for (const seg of loop.segments) {\n    pts.push([seg.x1, seg.y1])\n  }\n  let a = 0\n  for (let i = 0; i < pts.length; i++) {\n    const [x1, y1] = pts[i]!\n    const [x2, y2] = pts[(i + 1) % pts.length]!\n    a += x1 * y2 - x2 * y1\n  }\n  return a / 2\n}\n\n/** 圆弧 → 一条或两条 makeArcEdge（整圆拆分）。 */\nfunction arcToHandles(\n  kernel: BrepEngineApi,\n  seg: SketchArcSeg,\n): ReturnType<BrepEngineApi['makeArcEdge']>[] {\n  const { cx, cy, radius, startAngle, endAngle } = seg\n  let sweep = endAngle - startAngle\n  // 归一化到 (0, 2π]，处理角度回绕\n  while (sweep <= 0) sweep += 2 * Math.PI\n  while (sweep > 2 * Math.PI) sweep -= 2 * Math.PI\n\n  const makeOne = (a0: number, a1: number): ReturnType<BrepEngineApi['makeArcEdge']> => {\n    const mid = (a0 + a1) / 2\n    const start = { x: cx + radius * Math.cos(a0), y: cy + radius * Math.sin(a0), z: 0 }\n    const m = { x: cx + radius * Math.cos(mid), y: cy + radius * Math.sin(mid), z: 0 }\n    const end = { x: cx + radius * Math.cos(a1), y: cy + radius * Math.sin(a1), z: 0 }\n    return kernel.makeArcEdge(start, m, end)\n  }\n\n  // 整圆（sweep≈2π）：拆成两段半圆，避免 makeArcEdge 起点≈终点退化\n  if (sweep >= 2 * Math.PI - 1e-9) {\n    const half = 2 * Math.PI / 2\n    return [makeOne(startAngle, startAngle + half), makeOne(startAngle + half, startAngle + 2 * Math.PI)]\n  }\n  return [makeOne(startAngle, endAngle)]\n}\n\n/** 单环 → wire handle（仅构面，不释放中间句柄，遵循现有惯例）。 */\nfunction loopToWire(kernel: BrepEngineApi, loop: SketchLoop): ReturnType<BrepEngineApi['makeWire']> {\n  const edges: ReturnType<BrepEngineApi['makeLineEdge']>[] = []\n  for (const seg of loop.segments) {\n    if (seg.kind === 'line') {\n      edges.push(kernel.makeLineEdge({ x: seg.x1, y: seg.y1, z: 0 }, { x: seg.x2, y: seg.y2, z: 0 }))\n    } else {\n      // 极小扫角（退化弧）→ 退化为线段，避免构边失败\n      let sweep = seg.endAngle - seg.startAngle\n      while (sweep <= 0) sweep += 2 * Math.PI\n      while (sweep > 2 * Math.PI) sweep -= 2 * Math.PI\n      if (sweep < 1e-9) {\n        edges.push(kernel.makeLineEdge({ x: seg.x1, y: seg.y1, z: 0 }, { x: seg.x2, y: seg.y2, z: 0 }))\n      } else {\n        edges.push(...arcToHandles(kernel, seg))\n      }\n    }\n  }\n  return kernel.makeWire(edges as ReturnType<BrepEngineApi['makeLineEdge']>[])\n}\n\n/** BREP 路径：2D 轮廓 → planar face（外环 + 孔），或 'wire' 形态仅交外环 wire。 */\nfunction sketchBrep(params: Record<string, unknown>): Shape {\n  const kernel = getBrepApi()\n  const as = (params.as as 'face' | 'wire' | undefined) ?? 'face'\n\n  const loops = (params.contours as SketchLoop[]).map((loop) => ({ loop, area: Math.abs(loopSignedArea(loop)) }))\n  // 面积最大者为外环，其余为孔\n  let outerIdx = 0\n  for (let i = 1; i < loops.length; i++) {\n    if (loops[i]!.area > loops[outerIdx]!.area) outerIdx = i\n  }\n\n  const outerWire = loopToWire(kernel, loops[outerIdx]!.loop)\n\n  // 'wire' 形态：只交外环 wire（1D 曲线），不构面 —— 供扫掠族作 spine。\n  if (as === 'wire') {\n    return fromBrepCurve(solidToShape(kernel, outerWire), { solid: outerWire })\n  }\n\n  const face = kernel.makeFace(outerWire)\n\n  const holeWires: ReturnType<BrepEngineApi['makeWire']>[] = []\n  for (let i = 0; i < loops.length; i++) {\n    if (i === outerIdx) continue\n    holeWires.push(loopToWire(kernel, loops[i]!.loop))\n  }\n  if (holeWires.length > 0) {\n    const faced = kernel.addHolesInFace(face, holeWires)\n    kernel.release(face)\n    return fromBrep(solidToShape(kernel, faced), { solid: faced })\n  }\n\n  kernel.release(outerWire)\n  return fromBrep(solidToShape(kernel, face), { solid: face })\n}\n\n/**\n * 从 2D 轮廓构造平面（creator，无输入）。仅 BREP 可用。\n * @group 创建\n * @inputs 0\n * @async false\n * @qual ok\n * @name sketch\n * @returns Shape 平面几何（mesh 三角化 + BREP 句柄）；`as:'wire'` 时返回 1D 曲线（kind:'curve'）。\n * @param params.contours - 有序 2D 轮廓（线段/圆弧；外环 + 孔）。type:SketchLoop[] required:true\n * @param params.as - 产物形态：'face'（默认）构面；'wire' 只交外环 wire（1D 曲线）。type:'face'|'wire' required:false\n * @example\n * const f = cad.sketch({ contours: [{ segments: [{ kind:'line', x1:0,y1:0,x2:10,y2:0 }, ...] }] })\n * const w = cad.sketch({ contours: [{ segments: [{ kind:'line', x1:0,y1:0,x2:10,y2:0 }, ...] }], as: 'wire' })\n */\nexport const sketch = defineOp({\n  capabilities: ['directEdit'],\n  brep(params: Record<string, unknown>) {\n    assertSketchParams(params)\n    return sketchBrep(params)\n  },\n  naming: { kind: 'construct', newFaces: { via: 'explicit', vocab: [] } } as Provenance,\n})\n"]}

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

@@ -0,0 +1,41 @@
+/**
+ * stdlib splitByPlane — 平面二分：把 solid 沿无限平面切成两半（手写中立 op，Phase 6.1）
+ *
+ * 中立 op：L1 `splitByPlane(shape, point, normal)` 在 occt 与 brepkit 两侧均有
+ * 真实现（occt-kernel/occt-primitives.ts / brepkit-kernel/brepkitKernel.ts）⇒
+ * 走 `getBrepApi()`（D12），不声明 engines（实现只经 L1 契约面）。
+ *
+ * 产物形态（设计原则 5）：两半不是数组，是具名 `outputs: ['positive','negative']`
+ * ——法向正侧 = positive（L1 契约 §3.7 口径，occt 适配器按质心投影分类）。
+ * 先例：occt 适配器的 splitByPlane 直接返回 `{positive, negative}`。
+ */
+import type { Shape } from '../mesh/types.js';
+type Vec3 = [number, number, number];
+/** `cad.splitByPlane` 参数。 */
+export interface SplitByPlaneParams {
+    /** 平面上一点（mm）。 */
+    point: Vec3;
+    /** 平面法向（不必单位化；其正侧为 `positive`）。 */
+    normal: Vec3;
+}
+/**
+ * 沿无限平面把实体切成两半，返回法向正/负两半（具名产物）。
+ * @group 特征
+ * @inputs 1
+ * @async true
+ * @qual ok
+ * @name splitByPlane
+ * @note 中立 op：L1 splitByPlane 两引擎同实现。产物是具名两半
+ *       `{ positive, negative }`（不是数组）；法向正侧 = positive。
+ * @returns 具名产物 positive/negative。
+ * @param input - 目标实体。type:Shape required:true
+ * @param params.point - 平面上一点 [x,y,z]（mm）。type:Vec3 required:true
+ * @param params.normal - 平面法向 [x,y,z]。type:Vec3 required:true
+ * @example
+ * const { positive, negative } = await cad.splitByPlane(part0, { point: [0,0,5], normal: [0,0,1] })
+ */
+export declare const splitByPlane: ((input: Shape, params: SplitByPlaneParams) => Promise<Record<string, Shape>>) & {
+    __faijs__dualOp?: import("../define-op.js").DualOpMeta;
+};
+export {};
+//# sourceMappingURL=split-by-plane.d.ts.map

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

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

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

@@ -0,0 +1,60 @@
+/**
+ * stdlib splitByPlane — 平面二分：把 solid 沿无限平面切成两半（手写中立 op，Phase 6.1）
+ *
+ * 中立 op：L1 `splitByPlane(shape, point, normal)` 在 occt 与 brepkit 两侧均有
+ * 真实现（occt-kernel/occt-primitives.ts / brepkit-kernel/brepkitKernel.ts）⇒
+ * 走 `getBrepApi()`（D12），不声明 engines（实现只经 L1 契约面）。
+ *
+ * 产物形态（设计原则 5）：两半不是数组，是具名 `outputs: ['positive','negative']`
+ * ——法向正侧 = positive（L1 契约 §3.7 口径，occt 适配器按质心投影分类）。
+ * 先例：occt 适配器的 splitByPlane 直接返回 `{positive, negative}`。
+ */
+import { solidToShape } from '../brep/brep-ops.js';
+import { getBrepApi } from '../brep/handle-bridge.js';
+import { brepOf, fromBrep } from '../shape.js';
+import { defineOp } from '../sdk.js';
+/** 元组 → BrepVec3 对象（GOTCHA：L1 向量形参是 {x,y,z} 对象，元组会被读成零向量）。 */
+function toVec3(v) {
+    if (!Array.isArray(v) || v.length !== 3 || v.some((n) => typeof n !== 'number' || !Number.isFinite(n))) {
+        throw new Error('E_SPLIT_BY_PLANE_BAD_VEC: point/normal must be [x,y,z] finite numbers');
+    }
+    return { x: v[0], y: v[1], z: v[2] };
+}
+/** BREP 路径：L1 splitByPlane → 两半各自收养。 */
+function splitByPlaneBrep(input, params) {
+    const { point, normal } = params ?? {};
+    const kernel = getBrepApi();
+    const solid = brepOf(input);
+    if (!solid)
+        throw new Error('E_SPLIT_BY_PLANE_NO_BREP: splitByPlane input is not BREP');
+    const halves = kernel.splitByPlane(solid, toVec3(point), toVec3(normal));
+    return {
+        positive: fromBrep(solidToShape(kernel, halves.positive), { solid: halves.positive }),
+        negative: fromBrep(solidToShape(kernel, halves.negative), { solid: halves.negative }),
+    };
+}
+/**
+ * 沿无限平面把实体切成两半，返回法向正/负两半（具名产物）。
+ * @group 特征
+ * @inputs 1
+ * @async true
+ * @qual ok
+ * @name splitByPlane
+ * @note 中立 op：L1 splitByPlane 两引擎同实现。产物是具名两半
+ *       `{ positive, negative }`（不是数组）；法向正侧 = positive。
+ * @returns 具名产物 positive/negative。
+ * @param input - 目标实体。type:Shape required:true
+ * @param params.point - 平面上一点 [x,y,z]（mm）。type:Vec3 required:true
+ * @param params.normal - 平面法向 [x,y,z]。type:Vec3 required:true
+ * @example
+ * const { positive, negative } = await cad.splitByPlane(part0, { point: [0,0,5], normal: [0,0,1] })
+ */
+export const splitByPlane = defineOp({
+    capabilities: ['directEdit'],
+    outputs: ['positive', 'negative'],
+    brep(input, params) {
+        return splitByPlaneBrep(input, params);
+    },
+    naming: { kind: 'subdivide' },
+});
+//# sourceMappingURL=split-by-plane.js.map

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

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