@faicad/faijs 0.30.9 → 0.32.2

package/dist/api/measure-query/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../src/api/measure-query/index.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAkCG;AAKH,OAAO,EAAE,YAAY,EAAE,MAAM,qBAAqB,CAAA;AAClD,OAAO,EAAE,UAAU,EAAE,MAAM,0BAA0B,CAAA;AACrD,OAAO,EAAE,MAAM,EAAE,QAAQ,EAAE,aAAa,EAAE,MAAM,aAAa,CAAA;AAC7D,OAAO,EAAE,QAAQ,EAAE,MAAM,WAAW,CAAA;AAEpC,OAAO,EAAE,aAAa,EAAE,MAAM,8BAA8B,CAAA;AAC5D,OAAO,EAAE,eAAe,EAAE,MAAM,uBAAuB,CAAA;AAKvD,MAAM,eAAe,GAA4B,CAAC,QAAQ,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,OAAO,EAAE,OAAO,CAAC,CAAA;AAErG,mCAAmC;AACnC,SAAS,YAAY,CAAC,KAAY,EAAE,EAAU;IAC5C,MAAM,CAAC,GAAG,MAAM,CAAC,KAAK,CAA2B,CAAA;IACjD,IAAI,CAAC,CAAC,EAAE,CAAC;QACP,MAAM,IAAI,KAAK,CAAC,yBAAyB,EAAE,oDAAoD,CAAC,CAAA;IAClG,CAAC;IACD,OAAO,CAAC,CAAA;AACV,CAAC;AAED,gDAAgD;AAChD,SAAS,YAAY,CAAC,CAAO,EAAE,EAAU,EAAE,KAAa;IACtD,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,KAAK,EAAE,CAAC,WAAW,EAAE,QAAQ,KAAK,CAAC,WAAW,EAAE,KAAK,KAAK,2BAA2B,CAAC,CAAA;IACxG,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,cAAc,CAAC,CAAsC;IAC5D,OAAO,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAA;AACxB,CAAC;AAED,+DAA+D;AAC/D,SAAS,KAAK,CAAC,MAAkB;IAC/B,MAAM,IAAI,GAAG,YAAY,CAAC,UAAU,EAAE,EAAE,MAAM,CAAC,CAAA;IAC/C,MAAM,CAAC,GAAG,aAAa,EAAE,CAAC,YAAY,CAAC,MAAe,CAAC,CAAA;IACvD,IAAI,CAAC,KAAK,QAAQ,IAAI,CAAC,KAAK,MAAM,IAAI,CAAC,KAAK,MAAM,EAAE,CAAC;QACnD,OAAO,aAAa,CAAC,IAAI,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC,CAAA;IAC/C,CAAC;IACD,OAAO,QAAQ,CAAC,IAAI,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC,CAAA;AAC1C,CAAC;AAED,gFAAgF;AAChF,qCAAqC;AACrC,gFAAgF;AAEhF;;;;;;;;;;;;;;;GAeG;AACH,MAAM,UAAU,aAAa,CAAC,KAAY,EAAE,KAAW,EAAE,SAAkB;IACzE,eAAe,CAAC,eAAe,EAAE,CAAC,MAAM,CAAC,CAAC,CAAA;IAC1C,MAAM,CAAC,GAAG,YAAY,CAAC,KAAK,EAAE,eAAe,EAAE,OAAO,CAAC,CAAA;IACvD,OAAO,aAAa,EAAE,CAAC,aAAa,CAAC,YAAY,CAAC,KAAK,EAAE,eAAe,CAAU,EAAE,CAAC,EAAE,SAAS,CAAC,CAAA;AACnG,CAAC;AAED;;;;;;;;;;;;;;GAcG;AACH,MAAM,UAAU,eAAe,CAAC,CAAQ,EAAE,CAAQ;IAChD,eAAe,CAAC,iBAAiB,EAAE,CAAC,MAAM,CAAC,CAAC,CAAA;IAC5C,MAAM,EAAE,GAAG,YAAY,CAAC,CAAC,EAAE,iBAAiB,CAAC,CAAA;IAC7C,MAAM,EAAE,GAAG,YAAY,CAAC,CAAC,EAAE,iBAAiB,CAAC,CAAA;IAC7C,OAAO,aAAa,EAAE,CAAC,eAAe,CAAC,EAAW,EAAE,EAAW,CAAC,CAAA;AAClE,CAAC;AAED;;;;;;;;;;;;;GAaG;AACH,MAAM,UAAU,OAAO,CAAC,KAAY;IAClC,eAAe,CAAC,SAAS,EAAE,CAAC,MAAM,CAAC,CAAC,CAAA;IACpC,OAAO,aAAa,EAAE,CAAC,UAAU,CAAC,YAAY,CAAC,KAAK,EAAE,SAAS,CAAU,CAAC,CAAA;AAC5E,CAAC;AAED;;;;;;;;;;;;;GAaG;AACH,MAAM,UAAU,kBAAkB,CAAC,KAAY;IAC7C,eAAe,CAAC,oBAAoB,EAAE,CAAC,MAAM,CAAC,CAAC,CAAA;IAC/C,OAAO,cAAc,CAAC,aAAa,EAAE,CAAC,qBAAqB,CAAC,YAAY,CAAC,KAAK,EAAE,oBAAoB,CAAU,CAAC,CAAC,CAAA;AAClH,CAAC;AAED;;;;;;;;;;;;;;GAcG;AACH,MAAM,UAAU,kBAAkB,CAChC,IAAW,EACX,KAAW;IAEX,eAAe,CAAC,oBAAoB,EAAE,CAAC,MAAM,CAAC,CAAC,CAAA;IAC/C,MAAM,CAAC,GAAG,YAAY,CAAC,KAAK,EAAE,oBAAoB,EAAE,OAAO,CAAC,CAAA;IAC5D,MAAM,CAAC,GAAG,aAAa,EAAE,CAAC,kBAAkB,CAAC,YAAY,CAAC,IAAI,EAAE,oBAAoB,CAAU,EAAE,CAAC,CAAC,CAAA;IAClG,OAAO,EAAE,KAAK,EAAE,cAAc,CAAC,CAAC,CAAC,KAAK,CAAC,EAAE,OAAO,EAAE,cAAc,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,SAAS,EAAE,CAAC,CAAC,SAAS,EAAE,CAAA;AACvG,CAAC;AAED;;;;;;;;;;;;;;GAcG;AACH,MAAM,UAAU,kBAAkB,CAAC,IAAW,EAAE,KAAW;IACzD,eAAe,CAAC,oBAAoB,EAAE,CAAC,MAAM,CAAC,CAAC,CAAA;IAC/C,MAAM,CAAC,GAAG,YAAY,CAAC,KAAK,EAAE,oBAAoB,EAAE,OAAO,CAAC,CAAA;IAC5D,OAAO,cAAc,CAAC,aAAa,EAAE,CAAC,kBAAkB,CAAC,YAAY,CAAC,IAAI,EAAE,oBAAoB,CAAU,EAAE,CAAC,CAAC,CAAC,CAAA;AACjH,CAAC;AAED;;;;;;;;;;;;;;;GAeG;AACH,MAAM,UAAU,mBAAmB,CAAC,IAAW,EAAE,CAAS,EAAE,CAAS;IACnE,eAAe,CAAC,qBAAqB,EAAE,CAAC,MAAM,CAAC,CAAC,CAAA;IAChD,IAAI,OAAO,CAAC,KAAK,QAAQ,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,OAAO,CAAC,KAAK,QAAQ,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC;QACjG,MAAM,IAAI,KAAK,CAAC,8DAA8D,CAAC,CAAA;IACjF,CAAC;IACD,OAAO,aAAa,EAAE,CAAC,mBAAmB,CAAC,YAAY,CAAC,IAAI,EAAE,qBAAqB,CAAU,EAAE,CAAC,EAAE,CAAC,CAAC,CAAA;AACtG,CAAC;AAED;;;;;;;;;;;;;;GAcG;AACH,MAAM,UAAU,WAAW,CAAC,IAAW,EAAE,KAAW;IAClD,eAAe,CAAC,aAAa,EAAE,CAAC,MAAM,CAAC,CAAC,CAAA;IACxC,MAAM,CAAC,GAAG,YAAY,CAAC,KAAK,EAAE,aAAa,EAAE,OAAO,CAAC,CAAA;IACrD,OAAO,aAAa,EAAE,CAAC,WAAW,CAAC,YAAY,CAAC,IAAI,EAAE,aAAa,CAAU,EAAE,CAAC,CAAC,CAAA;AACnF,CAAC;AAED;;;;;;;;;;;;;GAaG;AACH,MAAM,UAAU,cAAc,CAAC,MAAa;IAC1C,eAAe,CAAC,gBAAgB,EAAE,CAAC,MAAM,CAAC,CAAC,CAAA;IAC3C,OAAO,cAAc,CAAC,aAAa,EAAE,CAAC,cAAc,CAAC,YAAY,CAAC,MAAM,EAAE,gBAAgB,CAAU,CAAC,CAAC,CAAA;AACxG,CAAC;AAED;;;;;;;;;;;;;;GAcG;AACH,MAAM,UAAU,aAAa,CAAC,KAAY,EAAE,IAAkB;IAC5D,eAAe,CAAC,eAAe,EAAE,CAAC,MAAM,CAAC,CAAC,CAAA;IAC1C,IAAI,CAAC,eAAe,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC;QACpC,MAAM,IAAI,KAAK,CACb,iDAAiD,eAAe,CAAC,IAAI,CAAC,GAAG,CAAC,SAAS,MAAM,CAAC,IAAI,CAAC,GAAG,CACnG,CAAA;IACH,CAAC;IACD,OAAO,aAAa,EAAE,CAAC,aAAa,CAAC,YAAY,CAAC,KAAK,EAAE,eAAe,CAAU,EAAE,IAAI,CAAC,CAAA;AAC3F,CAAC;AAED;;;;;;;;;;;;;;GAcG;AACH,MAAM,UAAU,UAAU,CAAC,KAAY;IACrC,eAAe,CAAC,YAAY,EAAE,CAAC,MAAM,CAAC,CAAC,CAAA;IACvC,MAAM,OAAO,GAAG,aAAa,EAAE,CAAC,UAAU,CAAC,YAAY,CAAC,KAAK,EAAE,YAAY,CAAU,CAAC,CAAA;IACtF,OAAQ,OAAmC,CAAC,GAAG,CAAC,KAAK,CAAC,CAAA;AACxD,CAAC;AAED,gFAAgF;AAChF,qDAAqD;AACrD,gFAAgF;AAEhF,iEAAiE;AACjE,SAAS,eAAe,CACtB,QAAiC,EACjC,WAAiB,EACjB,MAAY,EACZ,MAAY;IAEZ,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,QAAQ,CAAC,IAAI,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACpD,MAAM,IAAI,KAAK,CAAC,sEAAsE,CAAC,CAAA;IACzF,CAAC;IACD,MAAM,GAAG,GAAG,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE;QAChC,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;YACvG,MAAM,IAAI,KAAK,CAAC,qCAAqC,CAAC,0BAA0B,CAAC,CAAA;QACnF,CAAC;QACD,OAAO,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAA;IAC7B,CAAC,CAAC,CAAA;IACF,MAAM,CAAC,GAAG,YAAY,CAAC,WAAW,EAAE,aAAa,EAAE,aAAa,CAAC,CAAA;IACjE,MAAM,CAAC,GAAG,YAAY,CAAC,MAAM,EAAE,aAAa,EAAE,QAAQ,CAAC,CAAA;IACvD,MAAM,CAAC,GAAG,YAAY,CAAC,MAAM,EAAE,aAAa,EAAE,QAAQ,CAAC,CAAA;IACvD,MAAM,MAAM,GAAG,aAAa,EAAE,CAAC,kBAAkB,CAAC,GAAG,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAA0B,CAAA;IACxF,OAAO,aAAa,CAAC,YAAY,CAAC,UAAU,EAAE,EAAE,MAAM,CAAC,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC,CAAA;AAC7E,CAAC;AAED;;;;;;;;;;;;;;;;;;GAkBG;AACH,MAAM,CAAC,MAAM,WAAW,GAAG,QAAQ,CAAC;IAClC,IAAI,EAAE,aAAa;IACnB,IAAI,CAAC,QAAiC,EAAE,WAAiB,EAAE,MAAY,EAAE,MAAY;QACnF,OAAO,eAAe,CAAC,QAAQ,EAAE,WAAW,EAAE,MAAM,EAAE,MAAM,CAAC,CAAA;IAC/D,CAAC;IACD,OAAO,EAAE,CAAC,MAAM,CAAC;IACjB,MAAM,EAAE;QACN,IAAI,EAAE,WAAW;QACjB,MAAM,EAAE,2DAA2D;KACtD;IAEf,SAAS,EAAE,EAAE;CACd,CAAC,CAAA;AAEF,gFAAgF;AAChF,0DAA0D;AAC1D,gFAAgF;AAEhF,sDAAsD;AACtD,SAAS,eAAe,CAAC,MAAe;IACtC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,IAAI,MAAM,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAChD,MAAM,IAAI,KAAK,CAAC,+DAA+D,CAAC,CAAA;IAClF,CAAC;IACD,MAAM,OAAO,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE;QAClC,IAAI,CAAC,CAAC;YAAE,MAAM,IAAI,KAAK,CAAC,qCAAqC,CAAC,YAAY,CAAC,CAAA;QAC3E,OAAO,YAAY,CAAC,CAAC,EAAE,aAAa,CAAC,CAAA;IACvC,CAAC,CAAC,CAAA;IACF,MAAM,MAAM,GAAG,aAAa,EAAE,CAAC,iBAAiB,CAAC,OAAkB,CAA0B,CAAA;IAC7F,OAAO,QAAQ,CAAC,YAAY,CAAC,UAAU,EAAE,EAAE,MAAM,CAAC,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC,CAAA;AACxE,CAAC;AAED;;;;;;;;;;;;;;GAcG;AACH,MAAM,CAAC,MAAM,WAAW,GAAG,QAAQ,CAAC;IAClC,IAAI,EAAE,aAAa;IACnB,IAAI,CAAC,MAAe;QAClB,OAAO,eAAe,CAAC,MAAM,CAAC,CAAA;IAChC,CAAC;IACD,OAAO,EAAE,CAAC,MAAM,CAAC;IACjB,MAAM,EAAE;QACN,kDAAkD;QAClD,sDAAsD;QACtD,IAAI,EAAE,WAAW;QACjB,MAAM,EAAE,oEAAoE;KAC/D;IAEf,SAAS,EAAE,EAAE;CACd,CAAC,CAAA","sourcesContent":["/**\n * api measure-query — 测量与查询族（S4 剩余，平台 op engines:['occt']）\n *\n * @platform occt — 13 个原生方法直调 occt-wasm（occt-wasm 5.6.0 有，见\n * `dist/index.d.ts` 的 `OcctKernel`）：\n *   containsPoint / distanceBetween / getInertia / getLinearCenterOfMass /\n *   projectPointOnEdge / projectPointOnFace / classifyPointOnFace / uvFromPoint /\n *   vertexPosition / subShapeCount / iterShapes / liftCurve2dToPlane / intersectionCells\n * 它们**不在** L1 契约 `BrepEngineApi` 里（L1 只有 getCenterOfMass / getVolume /\n * getSurfaceArea / getBoundingBox 等子集，见 brep/engine/primitives.ts）⇒ 全族平台 op。\n *\n * 方案落点：docs/plans/2026-10-07-occt-wasm-op-enablement-plan.md §3.4.6。\n *\n * **形态二分**（沿用 shape-type / view-export / curve-sketch 的既定口径）：\n * - 返回 Shape 的两项（`liftCurve2d` / `commonCells`）走 `defineOp` + `engines:['occt']`，\n *   由 dispatchPath 门控（D11-4，brep_mock 豁免走 D11-3）；\n * - 其余返回标量 / Vec3 / 对象 / Shape[] 的 11 项走**普通函数** +\n *   `assertEngineFor('<name>', ['occt'])`：defineOp 的 brep 包装\n *   （define-op.ts#wrapBrepOne）把返回值一律收养为 Shape，装不下这些形态。普通函数\n *   形态的 op 由覆盖率扫描器 `scan-occt-op-coverage.ts` 的 PLAN_C2_EXTRA 计入 C2。\n *\n * **GOTCHA（上游载体差异，务必读）**：occt-wasm 的 `Vec3` 是 **`{x, y, z}` 对象接口**\n * （dist/types.d.ts:52-56），而 faijs 脚本面的 `Vec3` 是 **`[x, y, z]` 数组**\n * （mesh/types，见 api/geom.ts 里 `normal = [n.x, n.y, n.z]` 的同款转接）。因此本文件\n * 在**边界处做双向转换**，不外泄载体差异：入参 `[x,y,z]` → `{x,y,z}`，返回值\n * `{x,y,z}` → `[x,y,z]`。漏掉这层转换时症状是原生方法读到 `undefined` 坐标\n * （`{}.x` 静默取不到 → 落在原点）而非显式报错，故每条都配了返回值数组的测试。\n *\n * `iterShapes` 返回的子形状既有实体/面也有边/wire ⇒ 按 `getShapeType` 判定收养形态\n * （vertex/edge/wire → `fromBrepCurve`，其余 → `fromBrep`），避免把 1D 产物谎报成实体。\n *\n * §9.5 降级路径（记录在案）：一旦 brepkit 把这些测量/查询接进 L1 契约且两侧适配器\n * 同时落地，普通函数删掉 assertEngineFor 改走 getBrepApi()、defineOp 删掉 engines\n * 声明，对应方法即从 C2 转入 C1。\n */\n\nimport type { Shape, Vec3 } from '../../mesh/types'\nimport type { BrepHandle } from '../../brep/engine/types'\nimport type { PointClassification } from 'occt-wasm'\nimport { solidToShape } from '../../brep/brep-ops'\nimport { getBrepApi } from '../../brep/handle-bridge'\nimport { brepOf, fromBrep, fromBrepCurve } from '../../shape'\nimport { defineOp } from '../../sdk'\nimport type { Provenance } from '../../topology/naming/lineage'\nimport { getOcctKernel } from '../../occt-kernel/occtKernel'\nimport { assertEngineFor } from '../internal/l3-bridge'\n\n/** 子形状类型（与 occt 原生同名形参的字面量联合一致）。 */\nexport type SubShapeType = 'vertex' | 'edge' | 'wire' | 'face' | 'shell' | 'solid'\n\nconst SUB_SHAPE_TYPES: readonly SubShapeType[] = ['vertex', 'edge', 'wire', 'face', 'shell', 'solid']\n\n/** 输入 Shape → 内核句柄（无 BREP 槽报错）。 */\nfunction occtHandleOf(shape: Shape, op: string): BrepHandle {\n  const h = brepOf(shape) as BrepHandle | undefined\n  if (!h) {\n    throw new Error(`E_SHAPE_TYPE_NO_BREP: ${op} requires a BREP handle (mesh-only shape has none)`)\n  }\n  return h\n}\n\n/** 脚本面 `[x,y,z]` → 原生 `{x,y,z}`（见头注 GOTCHA）。 */\nfunction toNativeVec3(v: Vec3, op: string, which: string): { x: number; y: number; z: number } {\n  if (!Array.isArray(v) || v.length !== 3 || v.some((n) => typeof n !== 'number' || !Number.isFinite(n))) {\n    throw new Error(`E_${op.toUpperCase()}_BAD_${which.toUpperCase()}: ${which} must be a finite [x,y,z]`)\n  }\n  return { x: v[0], y: v[1], z: v[2] }\n}\n\n/** 原生 `{x,y,z}` → 脚本面 `[x,y,z]`（同上）。 */\nfunction fromNativeVec3(v: { x: number; y: number; z: number }): Vec3 {\n  return [v.x, v.y, v.z]\n}\n\n/** 句柄 → Shape：1D（vertex/edge/wire）登记为 kind:'curve'，其余为实体/面。 */\nfunction adopt(handle: BrepHandle): Shape {\n  const mesh = solidToShape(getBrepApi(), handle)\n  const t = getOcctKernel().getShapeType(handle as never)\n  if (t === 'vertex' || t === 'edge' || t === 'wire') {\n    return fromBrepCurve(mesh, { solid: handle })\n  }\n  return fromBrep(mesh, { solid: handle })\n}\n\n// ─────────────────────────────────────────────────────────────────────────────\n// 标量/数据型查询（普通函数形态 + assertEngineFor）\n// ─────────────────────────────────────────────────────────────────────────────\n\n/**\n * 点是否在实体内（含边界，带容差）。\n * @group 查询\n * @inputs 1\n * @async false\n * @qual ok\n * @name containsPoint\n * @note 平台 op：仅 occt 引擎（原生 containsPoint，L1 契约无对应成员）。\n *       非 occt 引擎执行前报 E_BREP_UNSUPPORTED。坐标收脚本面的 [x,y,z]。\n * @returns boolean 点是否在形状内。\n * @param shape - 被检测的形状（语义上是实体/壳）。type:Shape required:true\n * @param point - 待判定点 [x,y,z]。type:Vec3 required:true\n * @param tolerance - 判定容差（模型单位）。type:number required:false\n * @example\n * const inside = cad.containsPoint(box, [1, 1, 1])\n */\nexport function containsPoint(shape: Shape, point: Vec3, tolerance?: number): boolean {\n  assertEngineFor('containsPoint', ['occt'])\n  const p = toNativeVec3(point, 'containsPoint', 'point')\n  return getOcctKernel().containsPoint(occtHandleOf(shape, 'containsPoint') as never, p, tolerance)\n}\n\n/**\n * 两形状之间的最短距离。\n * @group 查询\n * @inputs 2\n * @async false\n * @qual ok\n * @name distanceBetween\n * @note 平台 op：仅 occt 引擎（原生 distanceBetween，BRepExtrema_DistShapeShape）。\n *       非 occt 引擎执行前报 E_BREP_UNSUPPORTED。\n * @returns number 最短距离（模型单位；相交为 0）。\n * @param a - 第一个形状。type:Shape required:true\n * @param b - 第二个形状。type:Shape required:true\n * @example\n * const gap = cad.distanceBetween(box1, box2)\n */\nexport function distanceBetween(a: Shape, b: Shape): number {\n  assertEngineFor('distanceBetween', ['occt'])\n  const ha = occtHandleOf(a, 'distanceBetween')\n  const hb = occtHandleOf(b, 'distanceBetween')\n  return getOcctKernel().distanceBetween(ha as never, hb as never)\n}\n\n/**\n * 绕质心的惯性矩阵（row-major 3×3，长度 9；对称：[1]==[3]、[2]==[6]、[5]==[7]）。\n * @group 查询\n * @inputs 1\n * @async false\n * @qual ok\n * @name inertia\n * @note 平台 op：仅 occt 引擎（原生 getInertia）。非 occt 引擎执行前报\n *       E_BREP_UNSUPPORTED。\n * @returns number[] row-major 3×3 惯性矩阵。\n * @param shape - 被测量的形状。type:Shape required:true\n * @example\n * const m = cad.inertia(box)\n */\nexport function inertia(shape: Shape): number[] {\n  assertEngineFor('inertia', ['occt'])\n  return getOcctKernel().getInertia(occtHandleOf(shape, 'inertia') as never)\n}\n\n/**\n * 线性质心（按边长加权的质心；wire/edge 用它与体积质心区分）。\n * @group 查询\n * @inputs 1\n * @async false\n * @qual ok\n * @name linearCenterOfMass\n * @note 平台 op：仅 occt 引擎（原生 getLinearCenterOfMass）。非 occt 引擎执行前报\n *       E_BREP_UNSUPPORTED。返回脚本面的 [x,y,z]（非 occt 的 {x,y,z} 对象）。\n * @returns Vec3 线性质心坐标 [x,y,z]。\n * @param shape - 被测量的形状。type:Shape required:true\n * @example\n * const c = cad.linearCenterOfMass(wire)\n */\nexport function linearCenterOfMass(shape: Shape): Vec3 {\n  assertEngineFor('linearCenterOfMass', ['occt'])\n  return fromNativeVec3(getOcctKernel().getLinearCenterOfMass(occtHandleOf(shape, 'linearCenterOfMass') as never))\n}\n\n/**\n * 点到边的最近点（含该处切向与参数）。\n * @group 查询\n * @inputs 2\n * @async false\n * @qual ok\n * @name projectPointOnEdge\n * @note 平台 op：仅 occt 引擎（原生 projectPointOnEdge）。非 occt 引擎执行前报\n *       E_BREP_UNSUPPORTED。返回体里的 point/tangent 是脚本面的 [x,y,z]。\n * @returns object { point: Vec3; tangent: Vec3; parameter: number }。\n * @param edge - 被投影的边。type:Shape required:true\n * @param point - 待投影点 [x,y,z]。type:Vec3 required:true\n * @example\n * const hit = cad.projectPointOnEdge(e, [3, 4, 0])\n */\nexport function projectPointOnEdge(\n  edge: Shape,\n  point: Vec3,\n): { point: Vec3; tangent: Vec3; parameter: number } {\n  assertEngineFor('projectPointOnEdge', ['occt'])\n  const p = toNativeVec3(point, 'projectPointOnEdge', 'point')\n  const r = getOcctKernel().projectPointOnEdge(occtHandleOf(edge, 'projectPointOnEdge') as never, p)\n  return { point: fromNativeVec3(r.point), tangent: fromNativeVec3(r.tangent), parameter: r.parameter }\n}\n\n/**\n * 点到面的最近点（三维坐标）。\n * @group 查询\n * @inputs 2\n * @async false\n * @qual ok\n * @name projectPointOnFace\n * @note 平台 op：仅 occt 引擎（原生 projectPointOnFace）。非 occt 引擎执行前报\n *       E_BREP_UNSUPPORTED。要 UV 参数用 `uvFromPoint`。\n * @returns Vec3 面上的最近点 [x,y,z]。\n * @param face - 被投影的面。type:Shape required:true\n * @param point - 待投影点 [x,y,z]。type:Vec3 required:true\n * @example\n * const p = cad.projectPointOnFace(f, [3, 4, 5])\n */\nexport function projectPointOnFace(face: Shape, point: Vec3): Vec3 {\n  assertEngineFor('projectPointOnFace', ['occt'])\n  const p = toNativeVec3(point, 'projectPointOnFace', 'point')\n  return fromNativeVec3(getOcctKernel().projectPointOnFace(occtHandleOf(face, 'projectPointOnFace') as never, p))\n}\n\n/**\n * UV 点相对面边界的分类（BRepClass_FaceClassifier）。\n * @group 查询\n * @inputs 3\n * @async false\n * @qual ok\n * @name classifyPointOnFace\n * @note 平台 op：仅 occt 引擎（原生 classifyPointOnFace）。非 occt 引擎执行前报\n *       E_BREP_UNSUPPORTED。\n * @returns string 'in' | 'on' | 'out'。\n * @param face - 被判定的面。type:Shape required:true\n * @param u - U 参数。type:number required:true\n * @param v - V 参数。type:number required:true\n * @example\n * const cls = cad.classifyPointOnFace(f, 0.5, 0.5)\n */\nexport function classifyPointOnFace(face: Shape, u: number, v: number): PointClassification {\n  assertEngineFor('classifyPointOnFace', ['occt'])\n  if (typeof u !== 'number' || !Number.isFinite(u) || typeof v !== 'number' || !Number.isFinite(v)) {\n    throw new Error('E_CLASSIFYPOINTONFACE_BAD_UV: u and v must be finite numbers')\n  }\n  return getOcctKernel().classifyPointOnFace(occtHandleOf(face, 'classifyPointOnFace') as never, u, v)\n}\n\n/**\n * 三维点 → 面的 UV 参数。\n * @group 查询\n * @inputs 2\n * @async false\n * @qual ok\n * @name uvFromPoint\n * @note 平台 op：仅 occt 引擎（原生 uvFromPoint）。非 occt 引擎执行前报\n *       E_BREP_UNSUPPORTED。\n * @returns object { u: number; v: number }。\n * @param face - 目标面。type:Shape required:true\n * @param point - 三维点 [x,y,z]。type:Vec3 required:true\n * @example\n * const { u, v } = cad.uvFromPoint(f, [1, 2, 0])\n */\nexport function uvFromPoint(face: Shape, point: Vec3): { u: number; v: number } {\n  assertEngineFor('uvFromPoint', ['occt'])\n  const p = toNativeVec3(point, 'uvFromPoint', 'point')\n  return getOcctKernel().uvFromPoint(occtHandleOf(face, 'uvFromPoint') as never, p)\n}\n\n/**\n * 顶点坐标。\n * @group 查询\n * @inputs 1\n * @async false\n * @qual ok\n * @name vertexPosition\n * @note 平台 op：仅 occt 引擎（原生 vertexPosition）。非 occt 引擎执行前报\n *       E_BREP_UNSUPPORTED。返回脚本面的 [x,y,z]。\n * @returns Vec3 顶点坐标 [x,y,z]。\n * @param vertex - 顶点形状。type:Shape required:true\n * @example\n * const p = cad.vertexPosition(v)\n */\nexport function vertexPosition(vertex: Shape): Vec3 {\n  assertEngineFor('vertexPosition', ['occt'])\n  return fromNativeVec3(getOcctKernel().vertexPosition(occtHandleOf(vertex, 'vertexPosition') as never))\n}\n\n/**\n * 子形状计数（不物化逐个子形状句柄）。\n * @group 查询\n * @inputs 2\n * @async false\n * @qual ok\n * @name subShapeCount\n * @note 平台 op：仅 occt 引擎（原生 subShapeCount；L1 契约只有 getSubShapes，\n *       计数能力是 occt 独有）。非 occt 引擎执行前报 E_BREP_UNSUPPORTED。\n * @returns number 该类子形状的个数。\n * @param shape - 被统计的形状。type:Shape required:true\n * @param type - 子形状类型（vertex/edge/wire/face/shell/solid）。type:string required:true\n * @example\n * const n = cad.subShapeCount(box, 'face')\n */\nexport function subShapeCount(shape: Shape, type: SubShapeType): number {\n  assertEngineFor('subShapeCount', ['occt'])\n  if (!SUB_SHAPE_TYPES.includes(type)) {\n    throw new Error(\n      `E_SUBSHAPECOUNT_BAD_TYPE: type must be one of ${SUB_SHAPE_TYPES.join('/')} (got ${String(type)})`,\n    )\n  }\n  return getOcctKernel().subShapeCount(occtHandleOf(shape, 'subShapeCount') as never, type)\n}\n\n/**\n * 遍历全部子形状（递归展平，返回 Shape[]）。\n * @group 查询\n * @inputs 1\n * @async false\n * @qual ok\n * @name iterShapes\n * @note 平台 op：仅 occt 引擎（原生 iterShapes；L1 契约的 getSubShapes 只按类型单层取）。\n *       非 occt 引擎执行前报 E_BREP_UNSUPPORTED。\n *       返回 Shape 数组（非单个 Shape）⇒ 普通函数形态，与 shape-type 同口径。\n * @returns Shape[] 子形状列表（vertex/edge/wire 形态为 curve）。\n * @param shape - 被遍历的形状。type:Shape required:true\n * @example\n * const subs = cad.iterShapes(box)\n */\nexport function iterShapes(shape: Shape): Shape[] {\n  assertEngineFor('iterShapes', ['occt'])\n  const handles = getOcctKernel().iterShapes(occtHandleOf(shape, 'iterShapes') as never)\n  return (handles as unknown as BrepHandle[]).map(adopt)\n}\n\n// ─────────────────────────────────────────────────────────────────────────────\n// liftCurve2d — 2D 点集 → 平面 wire（返回 Shape ⇒ defineOp）\n// ─────────────────────────────────────────────────────────────────────────────\n\n/** BREP 路径：occt 原生 liftCurve2dToPlane（脚本面收 [x,y]，此处转成 {x,y}）。 */\nfunction liftCurve2dBrep(\n  points2d: Array<[number, number]>,\n  planeOrigin: Vec3,\n  planeZ: Vec3,\n  planeX: Vec3,\n): Shape {\n  if (!Array.isArray(points2d) || points2d.length < 2) {\n    throw new Error('E_LIFTCURVE2D_TOO_FEW_POINTS: liftCurve2d requires at least 2 points')\n  }\n  const pts = points2d.map((p, i) => {\n    if (!Array.isArray(p) || p.length !== 2 || p.some((n) => typeof n !== 'number' || !Number.isFinite(n))) {\n      throw new Error(`E_LIFTCURVE2D_BAD_POINT: points2d[${i}] must be a finite [x,y]`)\n    }\n    return { x: p[0], y: p[1] }\n  })\n  const o = toNativeVec3(planeOrigin, 'liftCurve2d', 'planeOrigin')\n  const z = toNativeVec3(planeZ, 'liftCurve2d', 'planeZ')\n  const x = toNativeVec3(planeX, 'liftCurve2d', 'planeX')\n  const handle = getOcctKernel().liftCurve2dToPlane(pts, o, z, x) as unknown as BrepHandle\n  return fromBrepCurve(solidToShape(getBrepApi(), handle), { solid: handle })\n}\n\n/**\n * 把 2D 点集抬升到指定平面上，构造平面 wire。\n * @group 创建\n * @inputs 4\n * @async false\n * @qual ok\n * @name liftCurve2d\n * @note 平台 op：仅 occt 引擎（原生 liftCurve2dToPlane，L1 契约无对应成员）。\n *       非 occt 引擎执行前报错；brep_mock 不拦截。\n *       坐标收 `[x,y]` 数对（脚本面习惯），内部转成上游的 `{x,y}` 对象；\n *       planeZ/planeX 须非零且互不平行。\n * @returns Shape 平面上的 wire（登记为 kind:'curve'）。\n * @param points2d - 2D 点集 [[x,y], …]（≥2 点）。type:Array required:true\n * @param planeOrigin - 平面原点 [x,y,z]。type:Vec3 required:true\n * @param planeZ - 平面法向 [x,y,z]（非零）。type:Vec3 required:true\n * @param planeX - 平面内 X 轴方向 [x,y,z]（非零）。type:Vec3 required:true\n * @example\n * const w = cad.liftCurve2d([[0,0],[10,0],[10,5]], [0,0,0], [0,0,1], [1,0,0])\n */\nexport const liftCurve2d = defineOp({\n  name: 'liftCurve2d',\n  brep(points2d: Array<[number, number]>, planeOrigin: Vec3, planeZ: Vec3, planeX: Vec3) {\n    return liftCurve2dBrep(points2d, planeOrigin, planeZ, planeX)\n  },\n  engines: ['occt'],\n  naming: {\n    kind: 'unmodeled',\n    reason: '1D wire lifted from 2D points has no face role vocabulary',\n  } as Provenance,\n\n  paramDims: {},\n})\n\n// ─────────────────────────────────────────────────────────────────────────────\n// commonCells — ≥2 输入的重叠区域（干涉/通用熔合胞元，返回 Shape ⇒ defineOp）\n// ─────────────────────────────────────────────────────────────────────────────\n\n/** BREP 路径：occt 原生 intersectionCells（≥2 输入，不足则报错）。 */\nfunction commonCellsBrep(shapes: Shape[]): Shape {\n  if (!Array.isArray(shapes) || shapes.length < 2) {\n    throw new Error('E_COMMONCELLS_TOO_FEW: commonCells requires at least 2 shapes')\n  }\n  const handles = shapes.map((s, i) => {\n    if (!s) throw new Error(`E_COMMONCELLS_MISSING_ARG: shapes[${i}] is empty`)\n    return occtHandleOf(s, 'commonCells')\n  })\n  const handle = getOcctKernel().intersectionCells(handles as never[]) as unknown as BrepHandle\n  return fromBrep(solidToShape(getBrepApi(), handle), { solid: handle })\n}\n\n/**\n * 求多个形状的重叠区域（通用熔合胞元，常用于干涉检查）。\n * @group 布尔\n * @inputs 1\n * @async false\n * @qual ok\n * @name commonCells\n * @note 平台 op：仅 occt 引擎（原生 intersectionCells；与 `intersect` 的区别：\n *       后者是两形状求交，本 op 支持 ≥2 输入并返回全部重叠胞元）。\n *       非 occt 引擎执行前报错；brep_mock 不拦截。\n * @returns Shape 重叠区域（无重叠时为空复合体）。\n * @param shapes - 输入形状数组（≥2）。type:Shape[] required:true\n * @example\n * const overlap = cad.commonCells([boxA, boxB, boxC])\n */\nexport const commonCells = defineOp({\n  name: 'commonCells',\n  brep(shapes: Shape[]) {\n    return commonCellsBrep(shapes)\n  },\n  engines: ['occt'],\n  naming: {\n    // 原生 intersectionCells 只回 Shape（无 EvolutionData），\n    // 无法给出新面的来源词汇 —— 方案 §4.2「词汇未定义就用 unmodeled + reason」。\n    kind: 'unmodeled',\n    reason: 'intersectionCells returns a bare shape with no face evolution data',\n  } as Provenance,\n\n  paramDims: {},\n})\n"]}

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

@@ -1 +1 @@
-{"version":3,"file":"pattern.d.ts","sourceRoot":"","sources":["../../src/api/pattern.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AAEH,OAAO,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,eAAe,CAAA;AA0EhD;;;;;;;;;;;;;;;;;;GAkBG;AACH,eAAO,MAAM,aAAa;;CAiBxB,CAAA"}
+{"version":3,"file":"pattern.d.ts","sourceRoot":"","sources":["../../src/api/pattern.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AAEH,OAAO,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,eAAe,CAAA;AA0EhD;;;;;;;;;;;;;;;;;;GAkBG;AACH,eAAO,MAAM,aAAa;;CAgBxB,CAAA"}

package/dist/api/pattern.js

@@ -104,9 +104,7 @@ export const linearPattern = defineOp({
         keepHidden(input);
         return linearPatternBrep(input, direction, count, spacing);
     },
-    // Phase 1（Brep 引擎可切换重构）：能力前置判定——linearPattern 需要内核的
-    // 线性阵列方法（BrepMethodKind），brepkit 装配下缺失时执行前静态报错。
-    capabilities: ['linearPattern'],
     naming: { kind: 'replicate', k: 0 },
+    paramDims: {},
 });
 //# sourceMappingURL=pattern.js.map

package/dist/api/pattern.js.map

@@ -1 +1 @@
-{"version":3,"file":"pattern.js","sourceRoot":"","sources":["../../src/api/pattern.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AAGH,OAAO,EAAE,YAAY,EAAE,MAAM,kBAAkB,CAAA;AAC/C,OAAO,EAAE,cAAc,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAA;AAC7D,OAAO,EAAE,UAAU,EAAE,MAAM,uBAAuB,CAAA;AAClD,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,MAAM,UAAU,CAAA;AAC3C,OAAO,EAAE,QAAQ,EAAE,MAAM,QAAQ,CAAA;AAGjC,OAAO,EAAE,qBAAqB,EAAyB,MAAM,+BAA+B,CAAA;AAC5F,OAAO,EAAE,kBAAkB,EAAE,mBAAmB,EAAE,MAAM,0BAA0B,CAAA;AAElF,+BAA+B;AAC/B,SAAS,IAAI,CAAC,CAAO;IACnB,MAAM,GAAG,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAA;IACxC,IAAI,GAAG,GAAG,IAAI;QAAE,OAAO,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAA;IAChC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC,GAAG,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC,GAAG,GAAG,CAAC,CAAA;AAC7C,CAAC;AAED,kDAAkD;AAClD,SAAS,iBAAiB,CAAC,KAAY,EAAE,SAAe,EAAE,KAAa,EAAE,OAAe;IACtF,MAAM,MAAM,GAAG,UAAU,EAAE,CAAA;IAC3B,MAAM,UAAU,GAAG,MAAM,CAAC,KAAK,CAA2B,CAAA;IAC1D,IAAI,CAAC,UAAU;QAAE,MAAM,IAAI,KAAK,CAAC,iCAAiC,CAAC,CAAA;IAEnE,kCAAkC;IAClC,MAAM,OAAO,GAAG,MAAM,CAAC,cAAc,EAAE,EAAE,EAAE,IAAI,EAAE,CAAC,CAAA;IAElD,sEAAsE;IACtE,kDAAkD;IAClD,MAAM,GAAG,GAAG,IAAI,CAAC,SAAS,CAAC,CAAA;IAC3B,MAAM,GAAG,GAAG,MAAM,CAAC,aAAa,CAAC,UAAU,EAAE,EAAE,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,OAAO,EAAE,KAAK,CAAC,CAAA;IAEjG,IAAI,WAAuB,CAAA;IAC3B,IAAI,CAAC;QACH,WAAW,GAAG,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,CAAA;IACnC,CAAC;YAAS,CAAC;QACT,KAAK,MAAM,CAAC,IAAI,GAAG;YAAE,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,CAAA;IACxC,CAAC;IAED,kDAAkD;IAClD,MAAM,QAAQ,GAAuB,EAAE,CAAA;IACvC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,EAAE,CAAC,EAAE,EAAE,CAAC;QAC/B,MAAM,GAAG,GAAG,CAAC,GAAG,OAAO,CAAA;QACvB,QAAQ,CAAC,IAAI,CAAC;YACZ,KAAK,EAAE,WAAW,CAAC,GAAG;YACtB,OAAO,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,GAAG,GAAG,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,GAAG,GAAG,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,GAAG,GAAG,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;SAC1F,CAAC,CAAA;IACJ,CAAC;IACD,MAAM,SAAS,GAAG,qBAAqB,CAAC,MAAM,EAAE,KAAK,EAAE,WAAW,EAAE,QAAQ,EAAE,OAAO,CAAC,CAAA;IAEtF,OAAO,QAAQ,CAAC,YAAY,CAAC,MAAM,EAAE,WAAW,CAAC,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE,SAAS,EAAE,CAAC,CAAA;AACvF,CAAC;AAED;;;;;;;;;;;;GAYG;AACH,SAAS,sBAAsB,CAAC,KAAY,EAAE,SAAe,EAAE,KAAa,EAAE,OAAe;IAC3F,MAAM,KAAK,GAAG,mBAAmB,CAAC,KAAK,EAAE,eAAe,CAAC,CAAA;IACzD,MAAM,CAAC,GAAG,IAAI,CAAC,SAAS,CAAC,CAAA;IACzB,OAAO,kBAAkB,CAAC,KAAK,EAAE,eAAe,EAAE,kBAAkB,EAAE,GAAG,EAAE,CACzE,KAAK,CAAC,MAAM,CAAC,aAAa,CAAC,KAAK,CAAC,KAAK,EAAE,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,OAAO,EAAE,KAAK,CAAC,CACvF,CAAA;AACH,CAAC;AAED;;;;;;;;;;;;;;;;;;GAkBG;AACH,MAAM,CAAC,MAAM,aAAa,GAAG,QAAQ,CAAC;IACpC,WAAW,EAAE,CAAC,SAAS,CAAC;IACxB,IAAI,CAAC,KAAY,EAAE,SAAe,EAAE,KAAa,EAAE,OAAe;QAChE,UAAU,CAAC,KAAK,CAAC,CAAA;QACjB,0DAA0D;QAC1D,qBAAqB;QACrB,OAAO,sBAAsB,CAAC,KAAK,EAAE,SAAS,EAAE,KAAK,EAAE,OAAO,CAAC,CAAA;IACjE,CAAC;IACD,IAAI,CAAC,KAAY,EAAE,SAAe,EAAE,KAAa,EAAE,OAAe;QAChE,uEAAuE;QACvE,UAAU,CAAC,KAAK,CAAC,CAAA;QACjB,OAAO,iBAAiB,CAAC,KAAK,EAAE,SAAS,EAAE,KAAK,EAAE,OAAO,CAAC,CAAA;IAC5D,CAAC;IACD,oDAAoD;IACpD,gDAAgD;IAChD,YAAY,EAAE,CAAC,eAAe,CAAC;IAC/B,MAAM,EAAE,EAAE,IAAI,EAAE,WAAW,EAAE,CAAC,EAAE,CAAC,EAAgB;CAClD,CAAC,CAAA","sourcesContent":["/**\n * api pattern — linearPattern（手写覆盖生成投影，Phase 3: L3 `replica[k]` 角色表）\n *\n * 生成投影是 brep-only compatOp，不带角色表；本文件手写 defineOp，BREP 路径\n * 用质心聚类把结果面按份数 k 分组、回投影到输入面角色，产出 `replica[k]/<inner>`。\n *\n * 机制（无内核历史，纯几何推理）：pattern 的每份副本都是输入的精确平移，副本面\n * 几何相同但质心不同。结果面沿 pattern 方向投影得到份数坐标 t，四舍五入到 spacing\n * 倍数即得 k；再按「面内坐标」（centroid − t·dir）匹配输入面对应面，回投其 inner role。\n */\n\nimport type { Shape, Vec3 } from '../mesh/types'\nimport { solidToShape } from '../brep/brep-ops'\nimport { getCurrentStmt, keepHidden } from '../runtime-state'\nimport { getBrepApi } from '../brep/handle-bridge'\nimport { fromBrep, brepOf } from '../shape'\nimport { defineOp } from '../sdk'\nimport type { Provenance } from '../topology/naming/lineage'\nimport type { BrepHandle } from '../brep/engine/types'\nimport { buildReplicaRoleTable, type ReplicaTransform } from './internal/replica-role-table'\nimport { meshPatternProduct, meshSolidBasicEntry } from './internal/mesh-solid-op'\n\n/** 归一化向量（零向量 → [0,0,1] 兜底）。 */\nfunction norm(v: Vec3): [number, number, number] {\n  const len = Math.hypot(v[0], v[1], v[2])\n  if (len < 1e-9) return [0, 0, 1]\n  return [v[0] / len, v[1] / len, v[2] / len]\n}\n\n/** BREP 路径：沿 direction 复制 count 份，质心聚类回投输入面角色。 */\nfunction linearPatternBrep(input: Shape, direction: Vec3, count: number, spacing: number): Shape {\n  const kernel = getBrepApi()\n  const inputSolid = brepOf(input) as BrepHandle | undefined\n  if (!inputSolid) throw new Error('[api/pattern] input is not BREP')\n\n  // Phase 1.6：origin = 本次语句 StmtId。\n  const outStmt = String(getCurrentStmt()?.id ?? '')\n\n  // 取 count 份副本。Phase 2：BrepEngineApi.linearPattern 契约统一返回 BrepHandle[]\n  // （两内核原生都返回 compound，由适配器拆成数组）——不再有「单句柄 fused」形态。\n  const dir = norm(direction)\n  const raw = kernel.linearPattern(inputSolid, { x: dir[0], y: dir[1], z: dir[2] }, spacing, count)\n\n  let resultSolid: BrepHandle\n  try {\n    resultSolid = kernel.fuseAll(raw)\n  } finally {\n    for (const c of raw) kernel.release(c)\n  }\n\n  // 第 k 份副本是输入沿 dir 平移 k*spacing：质心反投回输入坐标系（T_k⁻¹）。\n  const replicas: ReplicaTransform[] = []\n  for (let k = 0; k < count; k++) {\n    const off = k * spacing\n    replicas.push({\n      label: `replica[${k}]`,\n      inverse: (c) => ({ x: c.x - off * dir[0], y: c.y - off * dir[1], z: c.z - off * dir[2] }),\n    })\n  }\n  const roleTable = buildReplicaRoleTable(kernel, input, resultSolid, replicas, outStmt)\n\n  return fromBrep(solidToShape(kernel, resultSolid), { solid: resultSolid, roleTable })\n}\n\n/**\n * 网格实体路径：沿 direction 阵列并把副本融成一个网格零件。\n *\n * 与 BREP 路径同一条内核契约（`linearPattern` 返回含原位置在内的 count 个句柄，\n * 再 `fuseAll` 成一体），差别只在**没有 quality 面角色可回投**——近似拓扑没有 role\n * 层，故不产 `replica[k]/<inner>` 命名（如实缺席，不伪造恒等映射）。\n *\n * @param input - the mesh-solid input.\n * @param direction - the pattern direction.\n * @param count - total number of copies (including the original).\n * @param spacing - the spacing between copies.\n * @returns the fused mesh solid as a new mesh part.\n */\nfunction linearPatternMeshSolid(input: Shape, direction: Vec3, count: number, spacing: number): Shape {\n  const entry = meshSolidBasicEntry(input, 'linearPattern')\n  const d = norm(direction)\n  return meshPatternProduct(entry, 'linearPattern', 'E_PATTERN_FAILED', () =>\n    entry.kernel.linearPattern(entry.solid, { x: d[0], y: d[1], z: d[2] }, spacing, count),\n  )\n}\n\n/**\n * 线性阵列：沿 direction 复制 count 份（含原位置）。\n * @group 特征\n * @inputs 1\n * @async true\n * @qual ok\n * @name linearPattern\n * @note BREP 输入走质心聚类回投，结果面按份数 k 回投影到输入面角色，产出\n *       `replica[k]/<inner>`（Phase 3 L3 抗重放词汇）；**网格实体**输入走网格后端，\n *       阵列后融合为一个新的网格零件，近似拓扑没有 role 层故不产 replica 命名。\n *       裸网格输入仍抛 `E_MESH_UNSUPPORTED`。\n * @returns Shape 所有副本 fused 后的几何。\n * @param input - 目标几何。type:Shape required:true\n * @param direction - 阵列方向。type:[x,y,z] required:true\n * @param count - 副本总数（含原位置）。type:number required:true\n * @param spacing - 副本间距。type:number required:true\n * @example\n * const p = await cad.linearPattern(part0, [1, 0, 0], 3, 20)\n */\nexport const linearPattern = defineOp({\n  meshEngines: ['brepkit'],\n  mesh(input: Shape, direction: Vec3, count: number, spacing: number) {\n    keepHidden(input)\n    // 裸网格输入由 `meshSolidBasicEntry` 如实拒绝（近似链没有 role 层，也没有句柄）——\n    // 这里不复刻一遍判定，失败面只有一处。\n    return linearPatternMeshSolid(input, direction, count, spacing)\n  },\n  brep(input: Shape, direction: Vec3, count: number, spacing: number) {\n    // copy-like keep semantics: replicate ops preserve their source shape.\n    keepHidden(input)\n    return linearPatternBrep(input, direction, count, spacing)\n  },\n  // Phase 1（Brep 引擎可切换重构）：能力前置判定——linearPattern 需要内核的\n  // 线性阵列方法（BrepMethodKind），brepkit 装配下缺失时执行前静态报错。\n  capabilities: ['linearPattern'],\n  naming: { kind: 'replicate', k: 0 } as Provenance,\n})\n"]}
+{"version":3,"file":"pattern.js","sourceRoot":"","sources":["../../src/api/pattern.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AAGH,OAAO,EAAE,YAAY,EAAE,MAAM,kBAAkB,CAAA;AAC/C,OAAO,EAAE,cAAc,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAA;AAC7D,OAAO,EAAE,UAAU,EAAE,MAAM,uBAAuB,CAAA;AAClD,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,MAAM,UAAU,CAAA;AAC3C,OAAO,EAAE,QAAQ,EAAE,MAAM,QAAQ,CAAA;AAGjC,OAAO,EAAE,qBAAqB,EAAyB,MAAM,+BAA+B,CAAA;AAC5F,OAAO,EAAE,kBAAkB,EAAE,mBAAmB,EAAE,MAAM,0BAA0B,CAAA;AAElF,+BAA+B;AAC/B,SAAS,IAAI,CAAC,CAAO;IACnB,MAAM,GAAG,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAA;IACxC,IAAI,GAAG,GAAG,IAAI;QAAE,OAAO,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAA;IAChC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC,GAAG,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC,GAAG,GAAG,CAAC,CAAA;AAC7C,CAAC;AAED,kDAAkD;AAClD,SAAS,iBAAiB,CAAC,KAAY,EAAE,SAAe,EAAE,KAAa,EAAE,OAAe;IACtF,MAAM,MAAM,GAAG,UAAU,EAAE,CAAA;IAC3B,MAAM,UAAU,GAAG,MAAM,CAAC,KAAK,CAA2B,CAAA;IAC1D,IAAI,CAAC,UAAU;QAAE,MAAM,IAAI,KAAK,CAAC,iCAAiC,CAAC,CAAA;IAEnE,kCAAkC;IAClC,MAAM,OAAO,GAAG,MAAM,CAAC,cAAc,EAAE,EAAE,EAAE,IAAI,EAAE,CAAC,CAAA;IAElD,sEAAsE;IACtE,kDAAkD;IAClD,MAAM,GAAG,GAAG,IAAI,CAAC,SAAS,CAAC,CAAA;IAC3B,MAAM,GAAG,GAAG,MAAM,CAAC,aAAa,CAAC,UAAU,EAAE,EAAE,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,OAAO,EAAE,KAAK,CAAC,CAAA;IAEjG,IAAI,WAAuB,CAAA;IAC3B,IAAI,CAAC;QACH,WAAW,GAAG,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,CAAA;IACnC,CAAC;YAAS,CAAC;QACT,KAAK,MAAM,CAAC,IAAI,GAAG;YAAE,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,CAAA;IACxC,CAAC;IAED,kDAAkD;IAClD,MAAM,QAAQ,GAAuB,EAAE,CAAA;IACvC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,EAAE,CAAC,EAAE,EAAE,CAAC;QAC/B,MAAM,GAAG,GAAG,CAAC,GAAG,OAAO,CAAA;QACvB,QAAQ,CAAC,IAAI,CAAC;YACZ,KAAK,EAAE,WAAW,CAAC,GAAG;YACtB,OAAO,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,GAAG,GAAG,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,GAAG,GAAG,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,GAAG,GAAG,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;SAC1F,CAAC,CAAA;IACJ,CAAC;IACD,MAAM,SAAS,GAAG,qBAAqB,CAAC,MAAM,EAAE,KAAK,EAAE,WAAW,EAAE,QAAQ,EAAE,OAAO,CAAC,CAAA;IAEtF,OAAO,QAAQ,CAAC,YAAY,CAAC,MAAM,EAAE,WAAW,CAAC,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE,SAAS,EAAE,CAAC,CAAA;AACvF,CAAC;AAED;;;;;;;;;;;;GAYG;AACH,SAAS,sBAAsB,CAAC,KAAY,EAAE,SAAe,EAAE,KAAa,EAAE,OAAe;IAC3F,MAAM,KAAK,GAAG,mBAAmB,CAAC,KAAK,EAAE,eAAe,CAAC,CAAA;IACzD,MAAM,CAAC,GAAG,IAAI,CAAC,SAAS,CAAC,CAAA;IACzB,OAAO,kBAAkB,CAAC,KAAK,EAAE,eAAe,EAAE,kBAAkB,EAAE,GAAG,EAAE,CACzE,KAAK,CAAC,MAAM,CAAC,aAAa,CAAC,KAAK,CAAC,KAAK,EAAE,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,OAAO,EAAE,KAAK,CAAC,CACvF,CAAA;AACH,CAAC;AAED;;;;;;;;;;;;;;;;;;GAkBG;AACH,MAAM,CAAC,MAAM,aAAa,GAAG,QAAQ,CAAC;IACpC,WAAW,EAAE,CAAC,SAAS,CAAC;IACxB,IAAI,CAAC,KAAY,EAAE,SAAe,EAAE,KAAa,EAAE,OAAe;QAChE,UAAU,CAAC,KAAK,CAAC,CAAA;QACjB,0DAA0D;QAC1D,qBAAqB;QACrB,OAAO,sBAAsB,CAAC,KAAK,EAAE,SAAS,EAAE,KAAK,EAAE,OAAO,CAAC,CAAA;IACjE,CAAC;IACD,IAAI,CAAC,KAAY,EAAE,SAAe,EAAE,KAAa,EAAE,OAAe;QAChE,uEAAuE;QACvE,UAAU,CAAC,KAAK,CAAC,CAAA;QACjB,OAAO,iBAAiB,CAAC,KAAK,EAAE,SAAS,EAAE,KAAK,EAAE,OAAO,CAAC,CAAA;IAC5D,CAAC;IACD,MAAM,EAAE,EAAE,IAAI,EAAE,WAAW,EAAE,CAAC,EAAE,CAAC,EAAgB;IAEjD,SAAS,EAAE,EAAE;CACd,CAAC,CAAA","sourcesContent":["/**\n * api pattern — linearPattern（手写覆盖生成投影，Phase 3: L3 `replica[k]` 角色表）\n *\n * 生成投影是 brep-only compatOp，不带角色表；本文件手写 defineOp，BREP 路径\n * 用质心聚类把结果面按份数 k 分组、回投影到输入面角色，产出 `replica[k]/<inner>`。\n *\n * 机制（无内核历史，纯几何推理）：pattern 的每份副本都是输入的精确平移，副本面\n * 几何相同但质心不同。结果面沿 pattern 方向投影得到份数坐标 t，四舍五入到 spacing\n * 倍数即得 k；再按「面内坐标」（centroid − t·dir）匹配输入面对应面，回投其 inner role。\n */\n\nimport type { Shape, Vec3 } from '../mesh/types'\nimport { solidToShape } from '../brep/brep-ops'\nimport { getCurrentStmt, keepHidden } from '../runtime-state'\nimport { getBrepApi } from '../brep/handle-bridge'\nimport { fromBrep, brepOf } from '../shape'\nimport { defineOp } from '../sdk'\nimport type { Provenance } from '../topology/naming/lineage'\nimport type { BrepHandle } from '../brep/engine/types'\nimport { buildReplicaRoleTable, type ReplicaTransform } from './internal/replica-role-table'\nimport { meshPatternProduct, meshSolidBasicEntry } from './internal/mesh-solid-op'\n\n/** 归一化向量（零向量 → [0,0,1] 兜底）。 */\nfunction norm(v: Vec3): [number, number, number] {\n  const len = Math.hypot(v[0], v[1], v[2])\n  if (len < 1e-9) return [0, 0, 1]\n  return [v[0] / len, v[1] / len, v[2] / len]\n}\n\n/** BREP 路径：沿 direction 复制 count 份，质心聚类回投输入面角色。 */\nfunction linearPatternBrep(input: Shape, direction: Vec3, count: number, spacing: number): Shape {\n  const kernel = getBrepApi()\n  const inputSolid = brepOf(input) as BrepHandle | undefined\n  if (!inputSolid) throw new Error('[api/pattern] input is not BREP')\n\n  // Phase 1.6：origin = 本次语句 StmtId。\n  const outStmt = String(getCurrentStmt()?.id ?? '')\n\n  // 取 count 份副本。Phase 2：BrepEngineApi.linearPattern 契约统一返回 BrepHandle[]\n  // （两内核原生都返回 compound，由适配器拆成数组）——不再有「单句柄 fused」形态。\n  const dir = norm(direction)\n  const raw = kernel.linearPattern(inputSolid, { x: dir[0], y: dir[1], z: dir[2] }, spacing, count)\n\n  let resultSolid: BrepHandle\n  try {\n    resultSolid = kernel.fuseAll(raw)\n  } finally {\n    for (const c of raw) kernel.release(c)\n  }\n\n  // 第 k 份副本是输入沿 dir 平移 k*spacing：质心反投回输入坐标系（T_k⁻¹）。\n  const replicas: ReplicaTransform[] = []\n  for (let k = 0; k < count; k++) {\n    const off = k * spacing\n    replicas.push({\n      label: `replica[${k}]`,\n      inverse: (c) => ({ x: c.x - off * dir[0], y: c.y - off * dir[1], z: c.z - off * dir[2] }),\n    })\n  }\n  const roleTable = buildReplicaRoleTable(kernel, input, resultSolid, replicas, outStmt)\n\n  return fromBrep(solidToShape(kernel, resultSolid), { solid: resultSolid, roleTable })\n}\n\n/**\n * 网格实体路径：沿 direction 阵列并把副本融成一个网格零件。\n *\n * 与 BREP 路径同一条内核契约（`linearPattern` 返回含原位置在内的 count 个句柄，\n * 再 `fuseAll` 成一体），差别只在**没有 quality 面角色可回投**——近似拓扑没有 role\n * 层，故不产 `replica[k]/<inner>` 命名（如实缺席，不伪造恒等映射）。\n *\n * @param input - the mesh-solid input.\n * @param direction - the pattern direction.\n * @param count - total number of copies (including the original).\n * @param spacing - the spacing between copies.\n * @returns the fused mesh solid as a new mesh part.\n */\nfunction linearPatternMeshSolid(input: Shape, direction: Vec3, count: number, spacing: number): Shape {\n  const entry = meshSolidBasicEntry(input, 'linearPattern')\n  const d = norm(direction)\n  return meshPatternProduct(entry, 'linearPattern', 'E_PATTERN_FAILED', () =>\n    entry.kernel.linearPattern(entry.solid, { x: d[0], y: d[1], z: d[2] }, spacing, count),\n  )\n}\n\n/**\n * 线性阵列：沿 direction 复制 count 份（含原位置）。\n * @group 特征\n * @inputs 1\n * @async true\n * @qual ok\n * @name linearPattern\n * @note BREP 输入走质心聚类回投，结果面按份数 k 回投影到输入面角色，产出\n *       `replica[k]/<inner>`（Phase 3 L3 抗重放词汇）；**网格实体**输入走网格后端，\n *       阵列后融合为一个新的网格零件，近似拓扑没有 role 层故不产 replica 命名。\n *       裸网格输入仍抛 `E_MESH_UNSUPPORTED`。\n * @returns Shape 所有副本 fused 后的几何。\n * @param input - 目标几何。type:Shape required:true\n * @param direction - 阵列方向。type:[x,y,z] required:true\n * @param count - 副本总数（含原位置）。type:number required:true\n * @param spacing - 副本间距。type:number required:true\n * @example\n * const p = await cad.linearPattern(part0, [1, 0, 0], 3, 20)\n */\nexport const linearPattern = defineOp({\n  meshEngines: ['brepkit'],\n  mesh(input: Shape, direction: Vec3, count: number, spacing: number) {\n    keepHidden(input)\n    // 裸网格输入由 `meshSolidBasicEntry` 如实拒绝（近似链没有 role 层，也没有句柄）——\n    // 这里不复刻一遍判定，失败面只有一处。\n    return linearPatternMeshSolid(input, direction, count, spacing)\n  },\n  brep(input: Shape, direction: Vec3, count: number, spacing: number) {\n    // copy-like keep semantics: replicate ops preserve their source shape.\n    keepHidden(input)\n    return linearPatternBrep(input, direction, count, spacing)\n  },\n  naming: { kind: 'replicate', k: 0 } as Provenance,\n\n  paramDims: {},\n})\n"]}

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

@@ -1 +1 @@
-{"version":3,"file":"place.d.ts","sourceRoot":"","sources":["../../src/api/place.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;GAeG;AAEH,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,eAAe,CAAA;AAyE1C;;;;;;;;;;;;;GAaG;AACH,eAAO,MAAM,KAAK;;CAgBhB,CAAA"}
+{"version":3,"file":"place.d.ts","sourceRoot":"","sources":["../../src/api/place.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;GAeG;AAEH,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,eAAe,CAAA;AAyE1C;;;;;;;;;;;;;GAaG;AACH,eAAO,MAAM,KAAK;;CAkBhB,CAAA"}

package/dist/api/place.js

@@ -107,5 +107,6 @@ export const place = defineOp({
     },
     schema: { position: 'vec3?', rotation: 'quat?' },
     naming: { kind: 'identity' },
+    paramDims: {},
 });
 //# sourceMappingURL=place.js.map

package/dist/api/place.js.map

@@ -1 +1 @@
-{"version":3,"file":"place.js","sourceRoot":"","sources":["../../src/api/place.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;GAeG;AAGH,OAAO,EAAE,UAAU,EAAE,MAAM,uBAAuB,CAAA;AAClD,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,cAAc,EAAE,cAAc,EAAE,MAAM,UAAU,CAAA;AAC3E,OAAO,EAAE,YAAY,EAAE,kBAAkB,EAAE,MAAM,kBAAkB,CAAA;AACnE,OAAO,EAAE,cAAc,EAAE,MAAM,yBAAyB,CAAA;AACxD,OAAO,EAAE,iBAAiB,EAAE,qBAAqB,EAAE,MAAM,wBAAwB,CAAA;AACjF,OAAO,EAAE,mBAAmB,EAAE,MAAM,0BAA0B,CAAA;AAG9D,OAAO,EAAE,QAAQ,EAAE,MAAM,QAAQ,CAAA;AAGjC,wEAAwE;AACxE,SAAS,UAAU,CAAC,CAAmC;IACrD,MAAM,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,CAAA;IACtB,MAAM,EAAE,GAAG,CAAC,GAAG,CAAC,CAAA;IAChB,MAAM,EAAE,GAAG,CAAC,GAAG,CAAC,CAAA;IAChB,MAAM,EAAE,GAAG,CAAC,GAAG,CAAC,CAAA;IAChB,OAAO;QACL,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QAC3D,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QAC3D,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,GAAG,EAAE,CAAC;KAC5D,CAAA;AACH,CAAC;AAED,+CAA+C;AAC/C,SAAS,SAAS,CAChB,KAAY,EACZ,QAA0C,EAC1C,QAAkC,EAClC,IAAc;IAEd,MAAM,OAAO,GAAG,CAAC,CAAQ,EAAE,GAAY,EAAQ,EAAE;QAC/C,IAAI,cAAc,CAAC,CAAC,CAAC,IAAK,CAA4B,CAAC,QAAQ,EAAE,CAAC;YAChE,KAAK,MAAM,CAAC,IAAK,CAA2B,CAAC,QAAQ;gBAAE,OAAO,CAAC,CAAC,EAAE,GAAG,CAAC,CAAA;YACtE,OAAM;QACR,CAAC;QACD,IAAI,CAAC,CAAC,SAAS,IAAI,CAAC,CAAC,OAAO;YAAE,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAA;IAC3C,CAAC,CAAA;IACD,MAAM,IAAI,GAAY,EAAE,CAAA;IACxB,OAAO,CAAC,KAAK,EAAE,IAAI,CAAC,CAAA;IACpB,MAAM,SAAS,GAAa,EAAE,CAAA;IAC9B,MAAM,OAAO,GAAa,EAAE,CAAA;IAC5B,KAAK,MAAM,GAAG,IAAI,IAAI,EAAE,CAAC;QACvB,MAAM,CAAC,GAAG,cAAc,CAAC,GAAG,EAAE,QAAQ,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,QAAQ,EAAE,IAAI,CAAC,CAAA;QAClE,MAAM,IAAI,GAAG,SAAS,CAAC,MAAM,GAAG,CAAC,CAAA;QACjC,SAAS,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,SAAS,CAAC,CAAA;QAC9B,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,OAAO,CAAC,MAAM,EAAE,CAAC,EAAE;YAAE,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,CAAA;IAC9E,CAAC;IACD,OAAO,EAAE,SAAS,EAAE,IAAI,YAAY,CAAC,SAAS,CAAC,EAAE,OAAO,EAAE,IAAI,WAAW,CAAC,OAAO,CAAC,EAAE,CAAA;AACtF,CAAC;AAED,oEAAoE;AACpE,SAAS,SAAS,CAAC,KAAY,EAAE,QAA0C,EAAE,QAAkC;IAC7G,MAAM,MAAM,GAAG,UAAU,EAAE,CAAA;IAC3B,MAAM,UAAU,GAAG,MAAM,CAAC,KAAK,CAA2B,CAAA;IAC1D,IAAI,CAAC,UAAU;QAAE,MAAM,IAAI,KAAK,CAAC,+BAA+B,CAAC,CAAA;IAEjE,MAAM,WAAW,GAAG,kBAAkB,CAAC,MAAM,EAAE,UAAU,EAAE,QAAQ,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,QAAQ,CAAC,CAAA;IAEzF,MAAM,UAAU,GAAG,cAAc,CAAC,KAAK,CAA0B,CAAA;IACjE,IAAI,SAAgC,CAAA;IACpC,IAAI,UAAU,IAAI,UAAU,CAAC,IAAI,GAAG,CAAC,EAAE,CAAC;QACtC,SAAS,GAAG,mBAAmB,CAAC,UAAU,EAAE,qBAAqB,CAAC,MAAM,EAAE,UAAU,EAAE,WAAW,CAAC,CAAC,CAAA;IACrG,CAAC;IAED,OAAO,QAAQ,CAAC,YAAY,CAAC,MAAM,EAAE,WAAW,CAAC,EAAE;QACjD,KAAK,EAAE,WAAW;QAClB,aAAa,EAAE,iBAAiB,CAAC,MAAM,EAAE,WAAW,CAAC;QACrD,SAAS;KACV,CAAC,CAAA;AACJ,CAAC;AAED;;;;;;;;;;;;;GAaG;AACH,MAAM,CAAC,MAAM,KAAK,GAAG,QAAQ,CAAC;IAC5B,IAAI,EAAE,OAAO;IACb,IAAI,EAAE,CAAC,KAAY,EAAE,MAA+B,EAAE,EAAE;QACtD,IAAI,CAAC,KAAK;YAAE,MAAM,IAAI,KAAK,CAAC,+BAA+B,CAAC,CAAA;QAC5D,MAAM,QAAQ,GAAI,MAAM,CAAC,QAA6C,IAAI,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAA;QACtF,MAAM,QAAQ,GAAI,MAAM,CAAC,QAAqC,IAAI,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAA;QAC3E,OAAO,SAAS,CAAC,KAAK,EAAE,QAAQ,EAAE,QAAQ,EAAE,UAAU,CAAC,QAAQ,CAAC,CAAC,CAAA;IACnE,CAAC;IACD,IAAI,EAAE,CAAC,KAAY,EAAE,MAA+B,EAAE,EAAE;QACtD,IAAI,CAAC,KAAK;YAAE,MAAM,IAAI,KAAK,CAAC,+BAA+B,CAAC,CAAA;QAC5D,MAAM,QAAQ,GAAI,MAAM,CAAC,QAA6C,IAAI,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAA;QACtF,MAAM,QAAQ,GAAI,MAAM,CAAC,QAAqC,IAAI,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAA;QAC3E,OAAO,SAAS,CAAC,KAAK,EAAE,QAAQ,EAAE,QAAQ,CAAC,CAAA;IAC7C,CAAC;IACD,MAAM,EAAE,EAAE,QAAQ,EAAE,OAAO,EAAE,QAAQ,EAAE,OAAO,EAAE;IAChD,MAAM,EAAE,EAAE,IAAI,EAAE,UAAU,EAAgB;CAC3C,CAAC,CAAA","sourcesContent":["/**\n * api place — 平台刚性放置 op（H11 / 方案 §4.3）\n *\n *\n * 一个刚体变换：先绕局部原点按 `rotation`（四元数）旋转，再平移 `position`\n * （= FreeCAD `Placement` 的 T(P)∘R(Q)）。不接受 pivot——FCStd 语义就是绕局部原点。\n *\n * 路径：\n * - brep 路径：`applyTransformBrep(kernel, solid, quat, [0,0,0], position)`\n *   （复用 api/compound 装配求解已标定的代码，矩阵约定见 §4.3 必做标定）。\n * - mesh 路径：`applyTransform`（与 brep 路径同数学：p' = R·(p−0) + 0 + t）。\n *   四元数→row-major 3×3 用手动 Hamilton 公式（与 THREE / FreeCAD gp_Quaternion\n *   同约定），不引入 three 依赖。\n *\n * 变换不改变拓扑，面 ordinal 不变——roleTable 恒等传播（与 transform.ts 同）。\n */\n\nimport type { Shape } from '../mesh/types'\nimport { getBrepApi } from '../brep/handle-bridge'\nimport { fromBrep, brepOf, inputRoleTable, isCompoundLike } from '../shape'\nimport { solidToShape, applyTransformBrep } from '../brep/brep-ops'\nimport { applyTransform } from '../mesh/rigid-transform'\nimport { identityEvolution, identityHashEvolution } from '../brep/face-evolution'\nimport { propagateAllOrigins } from '../topology/naming/roles'\nimport type { RoleTable } from '../topology/naming/types'\nimport type { Provenance } from '../topology/naming/lineage'\nimport { defineOp } from '../sdk'\nimport type { BrepHandle } from '../brep/engine/types'\n\n/** 四元数 (x,y,z,w) → row-major 3×3 旋转矩阵（Hamilton，与 THREE/FreeCAD 同约定）。 */\nfunction quatToMat3(q: [number, number, number, number]): number[] {\n  const [x, y, z, w] = q\n  const x2 = x * x\n  const y2 = y * y\n  const z2 = z * z\n  return [\n    1 - 2 * (y2 + z2), 2 * (x * y - w * z), 2 * (x * z + w * y),\n    2 * (x * y + w * z), 1 - 2 * (x2 + z2), 2 * (y * z - w * x),\n    2 * (x * z - w * y), 2 * (y * z + w * x), 1 - 2 * (x2 + y2),\n  ]\n}\n\n/** mesh 路径：展平结构 compound 子节点，逐子 mesh 变换后合并。 */\nfunction placeMesh(\n  input: Shape,\n  rotation: [number, number, number, number],\n  position: [number, number, number],\n  mat3: number[],\n): Shape {\n  const collect = (s: Shape, out: Shape[]): void => {\n    if (isCompoundLike(s) && (s as { children?: Shape[] }).children) {\n      for (const c of (s as { children: Shape[] }).children) collect(c, out)\n      return\n    }\n    if (s.positions && s.indices) out.push(s)\n  }\n  const subs: Shape[] = []\n  collect(input, subs)\n  const positions: number[] = []\n  const indices: number[] = []\n  for (const sub of subs) {\n    const t = applyTransform(sub, rotation, [0, 0, 0], position, mat3)\n    const base = positions.length / 3\n    positions.push(...t.positions)\n    for (let i = 0; i < t.indices.length; i++) indices.push(t.indices[i] + base)\n  }\n  return { positions: new Float32Array(positions), indices: new Uint32Array(indices) }\n}\n\n/** brep 路径：刚体变换实体 + 恒等面演化 + 恒等 roleTable 传播 + 三角化 + fromBrep 登记。 */\nfunction placeBrep(input: Shape, rotation: [number, number, number, number], position: [number, number, number]): Shape {\n  const kernel = getBrepApi()\n  const inputSolid = brepOf(input) as BrepHandle | undefined\n  if (!inputSolid) throw new Error('[api/place] input is not BREP')\n\n  const resultSolid = applyTransformBrep(kernel, inputSolid, rotation, [0, 0, 0], position)\n\n  const inputTable = inputRoleTable(input) as RoleTable | undefined\n  let roleTable: RoleTable | undefined\n  if (inputTable && inputTable.size > 0) {\n    roleTable = propagateAllOrigins(inputTable, identityHashEvolution(kernel, inputSolid, resultSolid))\n  }\n\n  return fromBrep(solidToShape(kernel, resultSolid), {\n    solid: resultSolid,\n    faceEvolution: identityEvolution(kernel, resultSolid),\n    roleTable,\n  })\n}\n\n/**\n * 刚性放置几何体：旋转（四元数，绕局部原点）后平移。两者皆可缺省 = 恒等。\n * @group 变换\n * @inputs 1\n * @async false\n * @qual ok\n * @name place\n * @returns Shape 放置后的几何（持 OCCT 句柄，可继续变换/导出）。\n * @param input - 目标几何。type:Shape required:true\n * @param params.rotation - 旋转四元数 [x,y,z,w]（Hamilton，绕局部原点）。type:[number,number,number,number]\n * @param params.position - 平移向量 [x,y,z]（mm）。type:[number,number,number]\n * @example\n * const p = cad.place(part0, { rotation: [0, 0, Math.sin(Math.PI/4), Math.cos(Math.PI/4)], position: [10, 0, 0] })\n */\nexport const place = defineOp({\n  name: 'place',\n  mesh: (input: Shape, params: Record<string, unknown>) => {\n    if (!input) throw new Error('[api/place] no input geometry')\n    const rotation = (params.rotation as [number, number, number, number]) ?? [0, 0, 0, 1]\n    const position = (params.position as [number, number, number]) ?? [0, 0, 0]\n    return placeMesh(input, rotation, position, quatToMat3(rotation))\n  },\n  brep: (input: Shape, params: Record<string, unknown>) => {\n    if (!input) throw new Error('[api/place] no input geometry')\n    const rotation = (params.rotation as [number, number, number, number]) ?? [0, 0, 0, 1]\n    const position = (params.position as [number, number, number]) ?? [0, 0, 0]\n    return placeBrep(input, rotation, position)\n  },\n  schema: { position: 'vec3?', rotation: 'quat?' },\n  naming: { kind: 'identity' } as Provenance,\n})\n"]}
+{"version":3,"file":"place.js","sourceRoot":"","sources":["../../src/api/place.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;GAeG;AAGH,OAAO,EAAE,UAAU,EAAE,MAAM,uBAAuB,CAAA;AAClD,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,cAAc,EAAE,cAAc,EAAE,MAAM,UAAU,CAAA;AAC3E,OAAO,EAAE,YAAY,EAAE,kBAAkB,EAAE,MAAM,kBAAkB,CAAA;AACnE,OAAO,EAAE,cAAc,EAAE,MAAM,yBAAyB,CAAA;AACxD,OAAO,EAAE,iBAAiB,EAAE,qBAAqB,EAAE,MAAM,wBAAwB,CAAA;AACjF,OAAO,EAAE,mBAAmB,EAAE,MAAM,0BAA0B,CAAA;AAG9D,OAAO,EAAE,QAAQ,EAAE,MAAM,QAAQ,CAAA;AAGjC,wEAAwE;AACxE,SAAS,UAAU,CAAC,CAAmC;IACrD,MAAM,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,CAAA;IACtB,MAAM,EAAE,GAAG,CAAC,GAAG,CAAC,CAAA;IAChB,MAAM,EAAE,GAAG,CAAC,GAAG,CAAC,CAAA;IAChB,MAAM,EAAE,GAAG,CAAC,GAAG,CAAC,CAAA;IAChB,OAAO;QACL,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QAC3D,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QAC3D,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,GAAG,EAAE,CAAC;KAC5D,CAAA;AACH,CAAC;AAED,+CAA+C;AAC/C,SAAS,SAAS,CAChB,KAAY,EACZ,QAA0C,EAC1C,QAAkC,EAClC,IAAc;IAEd,MAAM,OAAO,GAAG,CAAC,CAAQ,EAAE,GAAY,EAAQ,EAAE;QAC/C,IAAI,cAAc,CAAC,CAAC,CAAC,IAAK,CAA4B,CAAC,QAAQ,EAAE,CAAC;YAChE,KAAK,MAAM,CAAC,IAAK,CAA2B,CAAC,QAAQ;gBAAE,OAAO,CAAC,CAAC,EAAE,GAAG,CAAC,CAAA;YACtE,OAAM;QACR,CAAC;QACD,IAAI,CAAC,CAAC,SAAS,IAAI,CAAC,CAAC,OAAO;YAAE,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAA;IAC3C,CAAC,CAAA;IACD,MAAM,IAAI,GAAY,EAAE,CAAA;IACxB,OAAO,CAAC,KAAK,EAAE,IAAI,CAAC,CAAA;IACpB,MAAM,SAAS,GAAa,EAAE,CAAA;IAC9B,MAAM,OAAO,GAAa,EAAE,CAAA;IAC5B,KAAK,MAAM,GAAG,IAAI,IAAI,EAAE,CAAC;QACvB,MAAM,CAAC,GAAG,cAAc,CAAC,GAAG,EAAE,QAAQ,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,QAAQ,EAAE,IAAI,CAAC,CAAA;QAClE,MAAM,IAAI,GAAG,SAAS,CAAC,MAAM,GAAG,CAAC,CAAA;QACjC,SAAS,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,SAAS,CAAC,CAAA;QAC9B,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,OAAO,CAAC,MAAM,EAAE,CAAC,EAAE;YAAE,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,CAAA;IAC9E,CAAC;IACD,OAAO,EAAE,SAAS,EAAE,IAAI,YAAY,CAAC,SAAS,CAAC,EAAE,OAAO,EAAE,IAAI,WAAW,CAAC,OAAO,CAAC,EAAE,CAAA;AACtF,CAAC;AAED,oEAAoE;AACpE,SAAS,SAAS,CAAC,KAAY,EAAE,QAA0C,EAAE,QAAkC;IAC7G,MAAM,MAAM,GAAG,UAAU,EAAE,CAAA;IAC3B,MAAM,UAAU,GAAG,MAAM,CAAC,KAAK,CAA2B,CAAA;IAC1D,IAAI,CAAC,UAAU;QAAE,MAAM,IAAI,KAAK,CAAC,+BAA+B,CAAC,CAAA;IAEjE,MAAM,WAAW,GAAG,kBAAkB,CAAC,MAAM,EAAE,UAAU,EAAE,QAAQ,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,QAAQ,CAAC,CAAA;IAEzF,MAAM,UAAU,GAAG,cAAc,CAAC,KAAK,CAA0B,CAAA;IACjE,IAAI,SAAgC,CAAA;IACpC,IAAI,UAAU,IAAI,UAAU,CAAC,IAAI,GAAG,CAAC,EAAE,CAAC;QACtC,SAAS,GAAG,mBAAmB,CAAC,UAAU,EAAE,qBAAqB,CAAC,MAAM,EAAE,UAAU,EAAE,WAAW,CAAC,CAAC,CAAA;IACrG,CAAC;IAED,OAAO,QAAQ,CAAC,YAAY,CAAC,MAAM,EAAE,WAAW,CAAC,EAAE;QACjD,KAAK,EAAE,WAAW;QAClB,aAAa,EAAE,iBAAiB,CAAC,MAAM,EAAE,WAAW,CAAC;QACrD,SAAS;KACV,CAAC,CAAA;AACJ,CAAC;AAED;;;;;;;;;;;;;GAaG;AACH,MAAM,CAAC,MAAM,KAAK,GAAG,QAAQ,CAAC;IAC5B,IAAI,EAAE,OAAO;IACb,IAAI,EAAE,CAAC,KAAY,EAAE,MAA+B,EAAE,EAAE;QACtD,IAAI,CAAC,KAAK;YAAE,MAAM,IAAI,KAAK,CAAC,+BAA+B,CAAC,CAAA;QAC5D,MAAM,QAAQ,GAAI,MAAM,CAAC,QAA6C,IAAI,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAA;QACtF,MAAM,QAAQ,GAAI,MAAM,CAAC,QAAqC,IAAI,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAA;QAC3E,OAAO,SAAS,CAAC,KAAK,EAAE,QAAQ,EAAE,QAAQ,EAAE,UAAU,CAAC,QAAQ,CAAC,CAAC,CAAA;IACnE,CAAC;IACD,IAAI,EAAE,CAAC,KAAY,EAAE,MAA+B,EAAE,EAAE;QACtD,IAAI,CAAC,KAAK;YAAE,MAAM,IAAI,KAAK,CAAC,+BAA+B,CAAC,CAAA;QAC5D,MAAM,QAAQ,GAAI,MAAM,CAAC,QAA6C,IAAI,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAA;QACtF,MAAM,QAAQ,GAAI,MAAM,CAAC,QAAqC,IAAI,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAA;QAC3E,OAAO,SAAS,CAAC,KAAK,EAAE,QAAQ,EAAE,QAAQ,CAAC,CAAA;IAC7C,CAAC;IACD,MAAM,EAAE,EAAE,QAAQ,EAAE,OAAO,EAAE,QAAQ,EAAE,OAAO,EAAE;IAChD,MAAM,EAAE,EAAE,IAAI,EAAE,UAAU,EAAgB;IAE1C,SAAS,EAAE,EAAE;CACd,CAAC,CAAA","sourcesContent":["/**\n * api place — 平台刚性放置 op（H11 / 方案 §4.3）\n *\n *\n * 一个刚体变换：先绕局部原点按 `rotation`（四元数）旋转，再平移 `position`\n * （= FreeCAD `Placement` 的 T(P)∘R(Q)）。不接受 pivot——FCStd 语义就是绕局部原点。\n *\n * 路径：\n * - brep 路径：`applyTransformBrep(kernel, solid, quat, [0,0,0], position)`\n *   （复用 api/compound 装配求解已标定的代码，矩阵约定见 §4.3 必做标定）。\n * - mesh 路径：`applyTransform`（与 brep 路径同数学：p' = R·(p−0) + 0 + t）。\n *   四元数→row-major 3×3 用手动 Hamilton 公式（与 THREE / FreeCAD gp_Quaternion\n *   同约定），不引入 three 依赖。\n *\n * 变换不改变拓扑，面 ordinal 不变——roleTable 恒等传播（与 transform.ts 同）。\n */\n\nimport type { Shape } from '../mesh/types'\nimport { getBrepApi } from '../brep/handle-bridge'\nimport { fromBrep, brepOf, inputRoleTable, isCompoundLike } from '../shape'\nimport { solidToShape, applyTransformBrep } from '../brep/brep-ops'\nimport { applyTransform } from '../mesh/rigid-transform'\nimport { identityEvolution, identityHashEvolution } from '../brep/face-evolution'\nimport { propagateAllOrigins } from '../topology/naming/roles'\nimport type { RoleTable } from '../topology/naming/types'\nimport type { Provenance } from '../topology/naming/lineage'\nimport { defineOp } from '../sdk'\nimport type { BrepHandle } from '../brep/engine/types'\n\n/** 四元数 (x,y,z,w) → row-major 3×3 旋转矩阵（Hamilton，与 THREE/FreeCAD 同约定）。 */\nfunction quatToMat3(q: [number, number, number, number]): number[] {\n  const [x, y, z, w] = q\n  const x2 = x * x\n  const y2 = y * y\n  const z2 = z * z\n  return [\n    1 - 2 * (y2 + z2), 2 * (x * y - w * z), 2 * (x * z + w * y),\n    2 * (x * y + w * z), 1 - 2 * (x2 + z2), 2 * (y * z - w * x),\n    2 * (x * z - w * y), 2 * (y * z + w * x), 1 - 2 * (x2 + y2),\n  ]\n}\n\n/** mesh 路径：展平结构 compound 子节点，逐子 mesh 变换后合并。 */\nfunction placeMesh(\n  input: Shape,\n  rotation: [number, number, number, number],\n  position: [number, number, number],\n  mat3: number[],\n): Shape {\n  const collect = (s: Shape, out: Shape[]): void => {\n    if (isCompoundLike(s) && (s as { children?: Shape[] }).children) {\n      for (const c of (s as { children: Shape[] }).children) collect(c, out)\n      return\n    }\n    if (s.positions && s.indices) out.push(s)\n  }\n  const subs: Shape[] = []\n  collect(input, subs)\n  const positions: number[] = []\n  const indices: number[] = []\n  for (const sub of subs) {\n    const t = applyTransform(sub, rotation, [0, 0, 0], position, mat3)\n    const base = positions.length / 3\n    positions.push(...t.positions)\n    for (let i = 0; i < t.indices.length; i++) indices.push(t.indices[i] + base)\n  }\n  return { positions: new Float32Array(positions), indices: new Uint32Array(indices) }\n}\n\n/** brep 路径：刚体变换实体 + 恒等面演化 + 恒等 roleTable 传播 + 三角化 + fromBrep 登记。 */\nfunction placeBrep(input: Shape, rotation: [number, number, number, number], position: [number, number, number]): Shape {\n  const kernel = getBrepApi()\n  const inputSolid = brepOf(input) as BrepHandle | undefined\n  if (!inputSolid) throw new Error('[api/place] input is not BREP')\n\n  const resultSolid = applyTransformBrep(kernel, inputSolid, rotation, [0, 0, 0], position)\n\n  const inputTable = inputRoleTable(input) as RoleTable | undefined\n  let roleTable: RoleTable | undefined\n  if (inputTable && inputTable.size > 0) {\n    roleTable = propagateAllOrigins(inputTable, identityHashEvolution(kernel, inputSolid, resultSolid))\n  }\n\n  return fromBrep(solidToShape(kernel, resultSolid), {\n    solid: resultSolid,\n    faceEvolution: identityEvolution(kernel, resultSolid),\n    roleTable,\n  })\n}\n\n/**\n * 刚性放置几何体：旋转（四元数，绕局部原点）后平移。两者皆可缺省 = 恒等。\n * @group 变换\n * @inputs 1\n * @async false\n * @qual ok\n * @name place\n * @returns Shape 放置后的几何（持 OCCT 句柄，可继续变换/导出）。\n * @param input - 目标几何。type:Shape required:true\n * @param params.rotation - 旋转四元数 [x,y,z,w]（Hamilton，绕局部原点）。type:[number,number,number,number]\n * @param params.position - 平移向量 [x,y,z]（mm）。type:[number,number,number]\n * @example\n * const p = cad.place(part0, { rotation: [0, 0, Math.sin(Math.PI/4), Math.cos(Math.PI/4)], position: [10, 0, 0] })\n */\nexport const place = defineOp({\n  name: 'place',\n  mesh: (input: Shape, params: Record<string, unknown>) => {\n    if (!input) throw new Error('[api/place] no input geometry')\n    const rotation = (params.rotation as [number, number, number, number]) ?? [0, 0, 0, 1]\n    const position = (params.position as [number, number, number]) ?? [0, 0, 0]\n    return placeMesh(input, rotation, position, quatToMat3(rotation))\n  },\n  brep: (input: Shape, params: Record<string, unknown>) => {\n    if (!input) throw new Error('[api/place] no input geometry')\n    const rotation = (params.rotation as [number, number, number, number]) ?? [0, 0, 0, 1]\n    const position = (params.position as [number, number, number]) ?? [0, 0, 0]\n    return placeBrep(input, rotation, position)\n  },\n  schema: { position: 'vec3?', rotation: 'quat?' },\n  naming: { kind: 'identity' } as Provenance,\n\n  paramDims: {},\n})\n"]}

package/dist/api/primitives.d.ts

@@ -57,9 +57,9 @@ export declare function assertWedgeParams(params: Record<string, unknown>): void
  * @param params.segments - 细分度（影响三角化）。type:number 默认 64（= brepjs standard 等效，P0 §5.0/§5.1）
  * @example
  * const part0 = cad.box(10 * MM, 20 * MM, 30 * MM)
- * const part1 = cad.box(30 * MM, 20 * MM, 10 * MM, { centered: true, at: [1, 2, 3], segments: 64 })
+ * const part1 = cad.box(30 * MM, 20 * MM, 10 * MM, { at: [1, 2, 3], segments: 64 })
  *
- * 位置原生（§4.1/§6.2）：`box(width, depth, height)` 与 `box(10 * MM, 20 * MM, 30 * MM, {centered:true})`
+ * 位置原生（§4.1/§6.2）：`box(width, depth, height)` 与 `box(10 * MM, 20 * MM, 30 * MM, { at: [1, 2, 3] })`
  * 有量纲位必须写单位字面量（基准单位亦然，`10` 裸数字被 D8 R2 拒）。
  * 归一到同一对象（D11 位置→对象 + 尾参 options 合并）。旧 `{ size }` 对象形态已废弃（裁决 3），
  * 传入会抛 `E_ARGS_FORM`（错误提示 ≠ 兼容，§4.1）。
@@ -104,9 +104,9 @@ export declare const sphere: ((params: Record<string, unknown>) => Promise<Shape
  * @param params.segments - 细分度（影响三角化）。type:number 默认 64（= brepjs standard 等效，P0 §5.0/§5.1）
  * @example
  * const c = cad.cylinder(5, 40)
- * const c = cad.cylinder(5, 40, { centered: true, at: [0, 0, 20], segments: 64 })
+ * const c = cad.cylinder(5, 40, { at: [0, 0, 20], segments: 64 })
  *
- * 位置原生（§4.1/§6.2）：`cylinder(5, 40)` 与 `cylinder(5, 40, {centered:true})`
+ * 位置原生（§4.1/§6.2）：`cylinder(5, 40)` 与 `cylinder(5, 40, { at: [0, 0, 20] })`
  * 归一到同一对象（D11 位置→装箱 + 尾参 options 合并）。旧 `{ center }` 对象形态已废弃
  * （裁决 3），传入会抛 `E_ARGS_FORM`（错误提示 ≠ 兼容，§4.3）。
   */
@@ -131,8 +131,8 @@ export declare const cylinder: ((params: Record<string, unknown>) => Promise<Sha
  * @param params.segments - 细分度（影响三角化）。type:number 默认 64（= brepjs standard 等效，P0 §5.0/§5.1）
  * @example
  * const c = cad.cone(10, 4, 30)
- * const c = cad.cone(10, 0, 30, { centered: true, at: [0, 0, 20], segments: 64 })
- * 位置原生（§4.1/§6.2）：`cone(10, 4, 30)` 与 `cone(10, 4, 30, { centered: true })`
+ * const c = cad.cone(10, 0, 30, { at: [0, 0, 20], segments: 64 })
+ * 位置原生（§4.1/§6.2）：`cone(10, 4, 30)` 与 `cone(10, 4, 30, { at: [0, 0, 20] })`
  * 归一到同一对象（D11 位置→装箱 + 尾参 options 合并）。旧 `{ center }`/`{ size }` 对象形态
  * 已废弃（裁决 3），传入会抛 E_ARGS_FORM（错误提示 ≠ 兼容）。
   */

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

@@ -1 +1 @@
-{"version":3,"file":"primitives.d.ts","sourceRoot":"","sources":["../../src/api/primitives.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,eAAe,CAAA;AAoB1C;;;;;;GAMG;AACH,wBAAgB,eAAe,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG,IAAI,CAUrE;AAED;;;GAGG;AACH,wBAAgB,kBAAkB,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG,IAAI,CAExE;AAED;;;;;;GAMG;AACH,wBAAgB,oBAAoB,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG,IAAI,CAS1E;AAED;;;;;;;GAOG;AACH,wBAAgB,gBAAgB,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG,IAAI,CAUtE;AAED;;;;GAIG;AACH,wBAAgB,iBAAiB,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG,IAAI,CAKvE;AAyHD;;;;;;;;;;;;;;;;;;;;;;KAsBK;AACL,eAAO,MAAM,GAAG;;CAwBd,CAAA;AAEF;;;;;;;;;;;;;;;;GAgBG;AACH,eAAO,MAAM,MAAM;;CAgBjB,CAAA;AAWF;;;;;;;;;;;;;;;;;;;;;;IAsBI;AACJ,eAAO,MAAM,QAAQ;;CAgBnB,CAAA;AAEF;;;;;;;;;;;;;;;;;;;;;;IAsBI;AACJ,eAAO,MAAM,IAAI;;CAuBf,CAAA;AAEF;;;;;;;;;;;;;;;;IAgBI;AACJ,eAAO,MAAM,KAAK;;CAchB,CAAA"}
+{"version":3,"file":"primitives.d.ts","sourceRoot":"","sources":["../../src/api/primitives.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,eAAe,CAAA;AAkB1C;;;;;;GAMG;AACH,wBAAgB,eAAe,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG,IAAI,CAUrE;AAED;;;GAGG;AACH,wBAAgB,kBAAkB,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG,IAAI,CAExE;AAED;;;;;;GAMG;AACH,wBAAgB,oBAAoB,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG,IAAI,CAS1E;AAED;;;;;;;GAOG;AACH,wBAAgB,gBAAgB,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG,IAAI,CAUtE;AAED;;;;GAIG;AACH,wBAAgB,iBAAiB,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG,IAAI,CAKvE;AA4HD;;;;;;;;;;;;;;;;;;;;;;KAsBK;AACL,eAAO,MAAM,GAAG;;CAwBd,CAAA;AAEF;;;;;;;;;;;;;;;;GAgBG;AACH,eAAO,MAAM,MAAM;;CAgBjB,CAAA;AAWF;;;;;;;;;;;;;;;;;;;;;;IAsBI;AACJ,eAAO,MAAM,QAAQ;;CAgBnB,CAAA;AAEF;;;;;;;;;;;;;;;;;;;;;;IAsBI;AACJ,eAAO,MAAM,IAAI;;CAuBf,CAAA;AAEF;;;;;;;;;;;;;;;;IAgBI;AACJ,eAAO,MAAM,KAAK;;CAchB,CAAA"}

package/dist/api/primitives.js

@@ -8,15 +8,13 @@ import { clampNRad } from '../mesh/types.js';
 // B3 correction (2026-10-06): no library-face cad aggregate — import the impl from its own module.
 import * as meshPrimitives from '../mesh/primitives.js';
 import { primitiveToBrepSolid } from '../primitives/brep-primitives.js';
-import { getCurrentStmt } from '../runtime-state.js';
+import { getCurrentStmt, getTessellation } from '../runtime-state.js';
 import { getBrepApi } from '../brep/handle-bridge.js';
 import { fromBrep } from '../shape.js';
 import { assignRoles } from '../topology/naming/roles.js';
 import { asPartName } from '../identity.js';
 import { defineOp } from '../sdk.js';
 import { assertPositiveNumber, assertNonNegativeNumber } from './assert.js';
-import { DEFAULT_LINEAR_DEFLECTION } from '../tolerance.js';
-import { mm } from '../units.js';
 // ── per-op 参数自校验（Phase 2.2；api 层被直接 import 时的防御层） ──
 /**
  * Validate box parameters (brepjs contract, §4.1 A 决策): `width`, `depth` and
@@ -95,7 +93,10 @@ function primitiveBrep(op, params) {
     // 改名/复用，StmtId 全局唯一，保证多个同类型 primitive 不撞 origin。
     const origin = String(getCurrentStmt()?.id ?? op);
     const roles = assignRoles(kernel, result.solid, op);
-    const segments = clampNRad((params.nRad ?? params.segments));
+    // Explicit segments/nRad wins ($fn override); otherwise derive from the global
+    // tessellation knob (proposal 2026-10-07) — default still 2π/64 ≈ 64 segments.
+    const rawSegments = (params.nRad ?? params.segments);
+    const segments = clampNRad(rawSegments ?? (2 * Math.PI) / getTessellation().angularDeflection);
     // P4 面级：brep 链基本体也挂契约序 faceRanges（编辑器默认 brep 链——
     // setFaceColor 必须可用）。box 的 OCCT 面枚举序（实测 0=−X,1=+Y,…）与契约
     // （+X/−X/+Y/−Y/+Z/−Z）不一致，按面法线重排 indices；cylinder/cone 的
@@ -162,7 +163,7 @@ function faceNormalAxis(mesh, triStart, triCount) {
 function brepPrimitiveMesh(kernel, solid, op, segments) {
     const angularDeflection = (2 * Math.PI) / Math.max(3, segments);
     const mesh = kernel.meshShape(solid, {
-        linearDeflection: DEFAULT_LINEAR_DEFLECTION.as(mm),
+        linearDeflection: getTessellation().linearDeflection,
         angularDeflection,
     });
     const shape = {
@@ -227,9 +228,9 @@ function brepPrimitiveMesh(kernel, solid, op, segments) {
  * @param params.segments - 细分度（影响三角化）。type:number 默认 64（= brepjs standard 等效，P0 §5.0/§5.1）
  * @example
  * const part0 = cad.box(10 * MM, 20 * MM, 30 * MM)
- * const part1 = cad.box(30 * MM, 20 * MM, 10 * MM, { centered: true, at: [1, 2, 3], segments: 64 })
+ * const part1 = cad.box(30 * MM, 20 * MM, 10 * MM, { at: [1, 2, 3], segments: 64 })
  *
- * 位置原生（§4.1/§6.2）：`box(width, depth, height)` 与 `box(10 * MM, 20 * MM, 30 * MM, {centered:true})`
+ * 位置原生（§4.1/§6.2）：`box(width, depth, height)` 与 `box(10 * MM, 20 * MM, 30 * MM, { at: [1, 2, 3] })`
  * 有量纲位必须写单位字面量（基准单位亦然，`10` 裸数字被 D8 R2 拒）。
  * 归一到同一对象（D11 位置→对象 + 尾参 options 合并）。旧 `{ size }` 对象形态已废弃（裁决 3），
  * 传入会抛 `E_ARGS_FORM`（错误提示 ≠ 兼容，§4.1）。
@@ -319,9 +320,9 @@ function centerParams(params) {
  * @param params.segments - 细分度（影响三角化）。type:number 默认 64（= brepjs standard 等效，P0 §5.0/§5.1）
  * @example
  * const c = cad.cylinder(5, 40)
- * const c = cad.cylinder(5, 40, { centered: true, at: [0, 0, 20], segments: 64 })
+ * const c = cad.cylinder(5, 40, { at: [0, 0, 20], segments: 64 })
  *
- * 位置原生（§4.1/§6.2）：`cylinder(5, 40)` 与 `cylinder(5, 40, {centered:true})`
+ * 位置原生（§4.1/§6.2）：`cylinder(5, 40)` 与 `cylinder(5, 40, { at: [0, 0, 20] })`
  * 归一到同一对象（D11 位置→装箱 + 尾参 options 合并）。旧 `{ center }` 对象形态已废弃
  * （裁决 3），传入会抛 `E_ARGS_FORM`（错误提示 ≠ 兼容，§4.3）。
   */
@@ -360,8 +361,8 @@ export const cylinder = defineOp({
  * @param params.segments - 细分度（影响三角化）。type:number 默认 64（= brepjs standard 等效，P0 §5.0/§5.1）
  * @example
  * const c = cad.cone(10, 4, 30)
- * const c = cad.cone(10, 0, 30, { centered: true, at: [0, 0, 20], segments: 64 })
- * 位置原生（§4.1/§6.2）：`cone(10, 4, 30)` 与 `cone(10, 4, 30, { centered: true })`
+ * const c = cad.cone(10, 0, 30, { at: [0, 0, 20], segments: 64 })
+ * 位置原生（§4.1/§6.2）：`cone(10, 4, 30)` 与 `cone(10, 4, 30, { at: [0, 0, 20] })`
  * 归一到同一对象（D11 位置→装箱 + 尾参 options 合并）。旧 `{ center }`/`{ size }` 对象形态
  * 已废弃（裁决 3），传入会抛 E_ARGS_FORM（错误提示 ≠ 兼容）。
   */

package/dist/api/primitives.js.map

@@ -1 +1 @@
-{"version":3,"file":"primitives.js","sourceRoot":"","sources":["../../src/api/primitives.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAGH,OAAO,EAAE,SAAS,EAAE,MAAM,eAAe,CAAA;AACzC,mGAAmG;AACnG,OAAO,KAAK,cAAc,MAAM,oBAAoB,CAAA;AACpD,OAAO,EAAE,oBAAoB,EAAE,MAAM,+BAA+B,CAAA;AACpE,OAAO,EAAE,cAAc,EAAE,MAAM,kBAAkB,CAAA;AACjD,OAAO,EAAE,UAAU,EAAE,MAAM,uBAAuB,CAAA;AAClD,OAAO,EAAE,QAAQ,EAAE,MAAM,UAAU,CAAA;AACnC,OAAO,EAAE,WAAW,EAAE,MAAM,0BAA0B,CAAA;AAEtD,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAA;AACxC,OAAO,EAAE,QAAQ,EAAE,MAAM,QAAQ,CAAA;AACjC,OAAO,EAAE,oBAAoB,EAAE,uBAAuB,EAAE,MAAM,UAAU,CAAA;AAGxE,OAAO,EAAE,yBAAyB,EAAE,MAAM,cAAc,CAAA;AACxD,OAAO,EAAE,EAAE,EAAE,MAAM,UAAU,CAAA;AAE7B,sDAAsD;AAEtD;;;;;;GAMG;AACH,MAAM,UAAU,eAAe,CAAC,MAA+B;IAC7D,IAAI,MAAM,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;QAC9B,MAAM,IAAI,KAAK,CACb,6EAA6E;YAC7E,0EAA0E,CAC3E,CAAA;IACH,CAAC;IACD,oBAAoB,CAAC,MAAM,CAAC,KAAK,EAAE,WAAW,CAAC,CAAA;IAC/C,oBAAoB,CAAC,MAAM,CAAC,KAAK,EAAE,WAAW,CAAC,CAAA;IAC/C,oBAAoB,CAAC,MAAM,CAAC,MAAM,EAAE,YAAY,CAAC,CAAA;AACnD,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,kBAAkB,CAAC,MAA+B;IAChE,oBAAoB,CAAC,MAAM,CAAC,MAAM,EAAE,eAAe,CAAC,CAAA;AACtD,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,oBAAoB,CAAC,MAA+B;IAClE,IAAI,MAAM,CAAC,MAAM,KAAK,SAAS,IAAI,MAAM,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;QAC7D,MAAM,IAAI,KAAK,CACb,yEAAyE;YACzE,8EAA8E,CAC/E,CAAA;IACH,CAAC;IACD,oBAAoB,CAAC,MAAM,CAAC,MAAM,EAAE,iBAAiB,CAAC,CAAA;IACtD,oBAAoB,CAAC,MAAM,CAAC,MAAM,EAAE,iBAAiB,CAAC,CAAA;AACxD,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,UAAU,gBAAgB,CAAC,MAA+B;IAC9D,IAAI,MAAM,CAAC,MAAM,KAAK,SAAS,IAAI,MAAM,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;QAC7D,MAAM,IAAI,KAAK,CACb,qEAAqE;YACrE,uFAAuF,CACxF,CAAA;IACH,CAAC;IACD,oBAAoB,CAAC,MAAM,CAAC,YAAY,EAAE,mBAAmB,CAAC,CAAA;IAC9D,uBAAuB,CAAC,MAAM,CAAC,SAAS,EAAE,gBAAgB,CAAC,CAAA;IAC3D,oBAAoB,CAAC,MAAM,CAAC,MAAM,EAAE,aAAa,CAAC,CAAA;AACpD,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,iBAAiB,CAAC,MAA+B;IAC/D,oBAAoB,CAAC,MAAM,CAAC,KAAK,EAAE,aAAa,CAAC,CAAA;IACjD,oBAAoB,CAAC,MAAM,CAAC,MAAM,EAAE,cAAc,CAAC,CAAA;IACnD,oBAAoB,CAAC,MAAM,CAAC,KAAK,EAAE,aAAa,CAAC,CAAA;IACjD,oBAAoB,CAAC,MAAM,CAAC,MAAM,EAAE,cAAc,CAAC,CAAA;AACrD,CAAC;AAED,oEAAoE;AACpE,SAAS,aAAa,CAAC,EAAU,EAAE,MAA+B;IAChE,MAAM,MAAM,GAAG,UAAU,EAAE,CAAA;IAC3B,MAAM,IAAI,GAAG,EAAE,KAAK,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAA;IACvC,MAAM,MAAM,GAAG,oBAAoB,CAAC,MAAM,EAAE,IAAyD,EAAE,MAAe,CAAC,CAAA;IACvH,0DAA0D;IAC1D,gCAAgC;IAChC,2DAA2D;IAC3D,iDAAiD;IACjD,MAAM,MAAM,GAAG,MAAM,CAAC,cAAc,EAAE,EAAE,EAAE,IAAI,EAAE,CAAC,CAAA;IACjD,MAAM,KAAK,GAAG,WAAW,CAAC,MAAM,EAAE,MAAM,CAAC,KAAK,EAAE,EAAE,CAAC,CAAA;IACnD,MAAM,QAAQ,GAAG,SAAS,CAAC,CAAC,MAAM,CAAC,IAAI,IAAI,MAAM,CAAC,QAAQ,CAAW,CAAC,CAAA;IACtE,iDAAiD;IACjD,wDAAwD;IACxD,wDAAwD;IACxD,0DAA0D;IAC1D,kBAAkB;IAClB,MAAM,EAAE,KAAK,EAAE,UAAU,EAAE,GAAG,iBAAiB,CAAC,MAAM,EAAE,MAAM,CAAC,KAAK,EAAE,EAAE,EAAE,QAAQ,CAAC,CAAA;IACnF,IAAI,UAAU;QAAE,KAAK,CAAC,UAAU,GAAG,UAAU,CAAA;IAC7C,OAAO,QAAQ,CACb,KAAK,EACL,EAAE,KAAK,EAAE,MAAM,CAAC,KAAK,EAAE,SAAS,EAAE,IAAI,GAAG,CAAC,CAAC,CAAC,UAAU,CAAC,MAAM,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC,EAAE,CAC3E,CAAA;AACH,CAAC;AAED,qDAAqD;AACrD,SAAS,cAAc,CACrB,IAAoB,EACpB,QAAgB,EAChB,QAAgB;IAEhB,IAAI,EAAE,GAAG,CAAC,CAAA;IACV,IAAI,EAAE,GAAG,CAAC,CAAA;IACV,IAAI,EAAE,GAAG,CAAC,CAAA;IACV,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,QAAQ,EAAE,CAAC,EAAE,EAAE,CAAC;QAClC,MAAM,EAAE,GAAG,IAAI,CAAC,OAAO,CAAC,CAAC,QAAQ,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAA;QAC3C,MAAM,EAAE,GAAG,IAAI,CAAC,OAAO,CAAC,CAAC,QAAQ,GAAG,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAA;QAC/C,MAAM,EAAE,GAAG,IAAI,CAAC,OAAO,CAAC,CAAC,QAAQ,GAAG,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAA;QAC/C,MAAM,GAAG,GAAG,IAAI,CAAC,SAAS,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC;QAAC,MAAM,GAAG,GAAG,IAAI,CAAC,SAAS,CAAC,EAAE,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC;QAAC,MAAM,GAAG,GAAG,IAAI,CAAC,SAAS,CAAC,EAAE,GAAG,CAAC,GAAG,CAAC,CAAC,CAAA;QAClH,MAAM,GAAG,GAAG,IAAI,CAAC,SAAS,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC;QAAC,MAAM,GAAG,GAAG,IAAI,CAAC,SAAS,CAAC,EAAE,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC;QAAC,MAAM,GAAG,GAAG,IAAI,CAAC,SAAS,CAAC,EAAE,GAAG,CAAC,GAAG,CAAC,CAAC,CAAA;QAClH,MAAM,GAAG,GAAG,IAAI,CAAC,SAAS,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC;QAAC,MAAM,GAAG,GAAG,IAAI,CAAC,SAAS,CAAC,EAAE,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC;QAAC,MAAM,GAAG,GAAG,IAAI,CAAC,SAAS,CAAC,EAAE,GAAG,CAAC,GAAG,CAAC,CAAC,CAAA;QAClH,MAAM,EAAE,GAAG,GAAG,GAAG,GAAG,CAAC;QAAC,MAAM,EAAE,GAAG,GAAG,GAAG,GAAG,CAAC;QAAC,MAAM,EAAE,GAAG,GAAG,GAAG,GAAG,CAAA;QAChE,MAAM,EAAE,GAAG,GAAG,GAAG,GAAG,CAAC;QAAC,MAAM,EAAE,GAAG,GAAG,GAAG,GAAG,CAAC;QAAC,MAAM,EAAE,GAAG,GAAG,GAAG,GAAG,CAAA;QAChE,MAAM,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,CAAA;QAC5B,MAAM,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,CAAA;QAC5B,MAAM,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,CAAA;QAC5B,MAAM,GAAG,GAAG,IAAI,CAAC,KAAK,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,CAAA;QAClC,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,GAAG,GAAG,KAAK;YAAE,SAAQ;QAClD,EAAE,IAAI,EAAE,CAAC;QAAC,EAAE,IAAI,EAAE,CAAC;QAAC,EAAE,IAAI,EAAE,CAAA;IAC9B,CAAC;IACD,MAAM,EAAE,GAAG,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;IAAC,MAAM,EAAE,GAAG,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;IAAC,MAAM,EAAE,GAAG,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAA;IACzE,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,KAAK;QAAE,OAAO,IAAI,CAAA;IACvE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE;QAAE,OAAO,EAAE,IAAI,EAAE,CAAC,EAAE,IAAI,EAAE,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAA;IACnE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE;QAAE,OAAO,EAAE,IAAI,EAAE,CAAC,EAAE,IAAI,EAAE,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAA;IACnE,OAAO,EAAE,IAAI,EAAE,CAAC,EAAE,IAAI,EAAE,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAA;AAC3C,CAAC;AAED;;;;;;;GAOG;AACH,SAAS,iBAAiB,CACxB,MAAqB,EACrB,KAAiB,EACjB,EAAU,EACV,QAAgB;IAEhB,MAAM,iBAAiB,GAAG,CAAC,CAAC,GAAG,IAAI,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,QAAQ,CAAC,CAAA;IAC/D,MAAM,IAAI,GAAG,MAAM,CAAC,SAAS,CAAC,KAAK,EAAE;QACnC,gBAAgB,EAAE,yBAAyB,CAAC,EAAE,CAAC,EAAE,CAAC;QAClD,iBAAiB;KAClB,CAAC,CAAA;IACF,MAAM,KAAK,GAAU;QACnB,SAAS,EAAE,IAAI,YAAY,CAAC,IAAI,CAAC,SAAS,CAAC;QAC3C,OAAO,EAAE,IAAI,WAAW,CAAC,IAAI,CAAC,OAAO,CAAC;KACvC,CAAA;IACD,MAAM,EAAE,GAAG,IAAI,CAAC,UAAU,CAAA;IAC1B,IAAI,CAAC,EAAE;QAAE,OAAO,EAAE,KAAK,EAAE,CAAA;IACzB,MAAM,KAAK,GAAkD,EAAE,CAAA;IAC/D,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,EAAE,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;QACvC,KAAK,CAAC,IAAI,CAAC,EAAE,QAAQ,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,EAAE,QAAQ,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAA;IACtE,CAAC;IACD,IAAI,EAAE,KAAK,KAAK,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACvC,qDAAqD;QACrD,MAAM,UAAU,GAA8C,IAAI,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAA;QAC1F,KAAK,MAAM,CAAC,IAAI,KAAK,EAAE,CAAC;YACtB,MAAM,EAAE,GAAG,cAAc,CAAC,IAAI,EAAE,CAAC,CAAC,QAAQ,EAAE,CAAC,CAAC,QAAQ,CAAC,CAAA;YACvD,IAAI,CAAC,EAAE;gBAAE,OAAO,EAAE,KAAK,EAAE,CAAA;YACzB,MAAM,GAAG,GAAG,EAAE,CAAC,IAAI,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAA;YACjH,IAAI,UAAU,CAAC,GAAG,CAAC,KAAK,SAAS;gBAAE,OAAO,EAAE,KAAK,EAAE,CAAA,CAAC,cAAc;YAClE,UAAU,CAAC,GAAG,CAAC,GAAG,CAAC,CAAA;QACrB,CAAC;QACD,IAAI,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,SAAS,CAAC;YAAE,OAAO,EAAE,KAAK,EAAE,CAAA;QAC7D,MAAM,UAAU,GAAG,IAAI,WAAW,CAAC,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,CAAA;QACvD,MAAM,UAAU,GAAqC,EAAE,CAAA;QACvD,IAAI,MAAM,GAAG,CAAC,CAAA;QACd,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;YAC3B,MAAM,CAAC,GAAG,UAAU,CAAC,CAAC,CAAE,CAAA;YACxB,UAAU,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,MAAM,EAAE,KAAK,EAAE,CAAC,CAAC,QAAQ,EAAE,CAAC,CAAA;YACrD,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,QAAQ,EAAE,CAAC,EAAE,EAAE,CAAC;gBACpC,UAAU,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,QAAQ,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAA;gBACjE,UAAU,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,GAAG,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,QAAQ,GAAG,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAA;gBACzE,UAAU,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,GAAG,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,QAAQ,GAAG,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAA;YAC3E,CAAC;YACD,MAAM,IAAI,CAAC,CAAC,QAAQ,CAAA;QACtB,CAAC;QACD,OAAO,EAAE,KAAK,EAAE,EAAE,GAAG,KAAK,EAAE,OAAO,EAAE,UAAU,EAAE,EAAE,UAAU,EAAE,CAAA;IACjE,CAAC;IACD,IAAI,CAAC,EAAE,KAAK,UAAU,IAAI,EAAE,KAAK,MAAM,CAAC,IAAI,KAAK,CAAC,MAAM,IAAI,CAAC,EAAE,CAAC;QAC9D,8DAA8D;QAC9D,OAAO,EAAE,KAAK,EAAE,UAAU,EAAE,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,QAAQ,EAAE,KAAK,EAAE,CAAC,CAAC,QAAQ,EAAE,CAAC,CAAC,EAAE,CAAA;IAC5F,CAAC;IACD,OAAO,EAAE,KAAK,EAAE,CAAA;AAClB,CAAC;AAED;;;;;;;;;;;;;;;;;;;;;;KAsBK;AACL,MAAM,CAAC,MAAM,GAAG,GAAG,QAAQ,CAAC;IAC1B,IAAI,EAAE,KAAK;IACX,IAAI,EAAE,CAAC,MAA+B,EAAE,EAAE;QACxC,eAAe,CAAC,MAAM,CAAC,CAAA;QACvB,OAAO,cAAc,CAAC,GAAG,CAAC,MAAe,CAAC,CAAA;IAC5C,CAAC;IACD,IAAI,EAAE,CAAC,MAA+B,EAAE,EAAE;QACxC,eAAe,CAAC,MAAM,CAAC,CAAA;QACvB,OAAO,aAAa,CAAC,KAAK,EAAE,MAAM,CAAC,CAAA;IACrC,CAAC;IACD,4CAA4C;IAC5C,MAAM,EAAE;QACN,KAAK,EAAE,QAAQ;QACf,KAAK,EAAE,QAAQ;QACf,MAAM,EAAE,QAAQ;QAChB,EAAE,EAAE,OAAO;QACX,QAAQ,EAAE,UAAU;QACpB,QAAQ,EAAE,SAAS;KACpB;IACD,2DAA2D;IAC3D,0CAA0C;IAC1C,OAAO,EAAE,EAAE,IAAI,EAAE,CAAC,OAAO,EAAE,OAAO,EAAE,QAAQ,CAAC,EAAE;IAC/C,SAAS,EAAE,EAAE,KAAK,EAAE,QAAQ,EAAE,KAAK,EAAE,QAAQ,EAAE,MAAM,EAAE,QAAQ,EAAE;IACjE,MAAM,EAAE,EAAE,IAAI,EAAE,WAAW,EAAE,QAAQ,EAAE,EAAE,GAAG,EAAE,UAAU,EAAE,KAAK,EAAE,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,KAAK,EAAE,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,QAAQ,EAAE,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC,EAAE,EAAgB;CAC/S,CAAC,CAAA;AAEF;;;;;;;;;;;;;;;;GAgBG;AACH,MAAM,CAAC,MAAM,MAAM,GAAG,QAAQ,CAAC;IAC7B,IAAI,EAAE,QAAQ;IACd,IAAI,EAAE,CAAC,MAA+B,EAAE,EAAE;QACxC,kBAAkB,CAAC,MAAM,CAAC,CAAA;QAC1B,OAAO,cAAc,CAAC,MAAM,CAAC,YAAY,CAAC,MAAM,CAAU,CAAC,CAAA;IAC7D,CAAC;IACD,IAAI,EAAE,CAAC,MAA+B,EAAE,EAAE;QACxC,kBAAkB,CAAC,MAAM,CAAC,CAAA;QAC1B,OAAO,aAAa,CAAC,QAAQ,EAAE,YAAY,CAAC,MAAM,CAAC,CAAC,CAAA;IACtD,CAAC;IACD,MAAM,EAAE,EAAE,MAAM,EAAE,QAAQ,EAAE,QAAQ,EAAE,SAAS,EAAE,MAAM,EAAE,OAAO,EAAE,EAAE,EAAE,OAAO,EAAE;IAC/E,4EAA4E;IAC5E,yCAAyC;IACzC,OAAO,EAAE,EAAE,IAAI,EAAE,CAAC,QAAQ,CAAC,EAAE;IAC7B,SAAS,EAAE,EAAE,MAAM,EAAE,QAAQ,EAAE;IAC/B,MAAM,EAAE,EAAE,IAAI,EAAE,WAAW,EAAE,MAAM,EAAE,wCAAwC,EAAgB;CAC9F,CAAC,CAAA;AAEF;;;GAGG;AACH,SAAS,YAAY,CAAC,MAA+B;IACnD,IAAI,MAAM,CAAC,EAAE,KAAK,SAAS;QAAE,OAAO,EAAE,GAAG,MAAM,EAAE,MAAM,EAAE,MAAM,CAAC,EAAE,EAAE,CAAA;IACpE,OAAO,MAAM,CAAA;AACf,CAAC;AAED;;;;;;;;;;;;;;;;;;;;;;IAsBI;AACJ,MAAM,CAAC,MAAM,QAAQ,GAAG,QAAQ,CAAC;IAC/B,IAAI,EAAE,UAAU;IAChB,IAAI,EAAE,CAAC,MAA+B,EAAE,EAAE;QACxC,oBAAoB,CAAC,MAAM,CAAC,CAAA;QAC5B,OAAO,cAAc,CAAC,QAAQ,CAAC,MAAe,CAAC,CAAA;IACjD,CAAC;IACD,IAAI,EAAE,CAAC,MAA+B,EAAE,EAAE;QACxC,oBAAoB,CAAC,MAAM,CAAC,CAAA;QAC5B,OAAO,aAAa,CAAC,UAAU,EAAE,MAAM,CAAC,CAAA;IAC1C,CAAC;IACD,MAAM,EAAE,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,EAAE,QAAQ,EAAE,EAAE,EAAE,OAAO,EAAE,QAAQ,EAAE,UAAU,EAAE,QAAQ,EAAE,SAAS,EAAE;IACtG,yEAAyE;IACzE,2BAA2B;IAC3B,OAAO,EAAE,EAAE,IAAI,EAAE,CAAC,QAAQ,EAAE,QAAQ,CAAC,EAAE;IACvC,SAAS,EAAE,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,EAAE,QAAQ,EAAE;IACjD,MAAM,EAAE,EAAE,IAAI,EAAE,WAAW,EAAE,QAAQ,EAAE,EAAE,GAAG,EAAE,UAAU,EAAE,KAAK,EAAE,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,KAAK,EAAE,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,QAAQ,EAAE,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC,EAAE,EAAgB;CACpM,CAAC,CAAA;AAEF;;;;;;;;;;;;;;;;;;;;;;IAsBI;AACJ,MAAM,CAAC,MAAM,IAAI,GAAG,QAAQ,CAAC;IAC3B,IAAI,EAAE,MAAM;IACZ,IAAI,EAAE,CAAC,MAA+B,EAAE,EAAE;QACxC,gBAAgB,CAAC,MAAM,CAAC,CAAA;QACxB,OAAO,cAAc,CAAC,IAAI,CAAC,MAAe,CAAC,CAAA;IAC7C,CAAC;IACD,IAAI,EAAE,CAAC,MAA+B,EAAE,EAAE;QACxC,gBAAgB,CAAC,MAAM,CAAC,CAAA;QACxB,OAAO,aAAa,CAAC,MAAM,EAAE,MAAM,CAAC,CAAA;IACtC,CAAC;IACD,MAAM,EAAE;QACN,YAAY,EAAE,QAAQ;QACtB,SAAS,EAAE,QAAQ;QACnB,MAAM,EAAE,QAAQ;QAChB,EAAE,EAAE,OAAO;QACX,QAAQ,EAAE,UAAU;QACpB,QAAQ,EAAE,SAAS;KACpB;IACD,iFAAiF;IACjF,+DAA+D;IAC/D,OAAO,EAAE,EAAE,IAAI,EAAE,CAAC,cAAc,EAAE,WAAW,EAAE,QAAQ,CAAC,EAAE;IAC1D,SAAS,EAAE,EAAE,YAAY,EAAE,QAAQ,EAAE,SAAS,EAAE,QAAQ,EAAE,MAAM,EAAE,QAAQ,EAAE;IAC5E,MAAM,EAAE,EAAE,IAAI,EAAE,WAAW,EAAE,QAAQ,EAAE,EAAE,GAAG,EAAE,UAAU,EAAE,KAAK,EAAE,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,KAAK,EAAE,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,QAAQ,EAAE,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC,EAAE,EAAgB;CACpM,CAAC,CAAA;AAEF;;;;;;;;;;;;;;;;IAgBI;AACJ,MAAM,CAAC,MAAM,KAAK,GAAG,QAAQ,CAAC;IAC5B,IAAI,EAAE,OAAO;IACb,IAAI,EAAE,CAAC,MAA+B,EAAE,EAAE;QACxC,iBAAiB,CAAC,MAAM,CAAC,CAAA;QACzB,OAAO,cAAc,CAAC,KAAK,CAAC,MAAe,CAAC,CAAA;IAC9C,CAAC;IACD,IAAI,EAAE,CAAC,MAA+B,EAAE,EAAE;QACxC,iBAAiB,CAAC,MAAM,CAAC,CAAA;QACzB,OAAO,aAAa,CAAC,OAAO,EAAE,MAAM,CAAC,CAAA;IACvC,CAAC;IACD,6FAA6F;IAC7F,OAAO,EAAE,EAAE,IAAI,EAAE,CAAC,OAAO,EAAE,QAAQ,EAAE,OAAO,EAAE,QAAQ,CAAC,EAAE;IACzD,SAAS,EAAE,EAAE,KAAK,EAAE,QAAQ,EAAE,MAAM,EAAE,QAAQ,EAAE,KAAK,EAAE,OAAO,EAAE,MAAM,EAAE,QAAQ,EAAE;IAClF,MAAM,EAAE,EAAE,IAAI,EAAE,WAAW,EAAE,MAAM,EAAE,uCAAuC,EAAgB;CAC7F,CAAC,CAAA","sourcesContent":["/**\n * api primitives — 基本体创建库函数（box/sphere/cylinder/cone/wedge）\n *\n *\n * dispatchPath 静态判定 brep/mesh，产物经 solid()/fromBrep() 构造器创建。\n */\n\nimport type { Shape } from '../mesh/types'\nimport { clampNRad } from '../mesh/types'\n// B3 correction (2026-10-06): no library-face cad aggregate — import the impl from its own module.\nimport * as meshPrimitives from '../mesh/primitives'\nimport { primitiveToBrepSolid } from '../primitives/brep-primitives'\nimport { getCurrentStmt } from '../runtime-state'\nimport { getBrepApi } from '../brep/handle-bridge'\nimport { fromBrep } from '../shape'\nimport { assignRoles } from '../topology/naming/roles'\nimport type { Provenance } from '../topology/naming/lineage'\nimport { asPartName } from '../identity'\nimport { defineOp } from '../sdk'\nimport { assertPositiveNumber, assertNonNegativeNumber } from './assert'\nimport type { BrepMeshResult, BrepHandle } from '../brep/engine/types'\nimport type { BrepEngineApi } from '../brep/engine/primitives'\nimport { DEFAULT_LINEAR_DEFLECTION } from '../tolerance'\nimport { mm } from '../units'\n\n// ── per-op 参数自校验（Phase 2.2；api 层被直接 import 时的防御层） ──\n\n/**\n * Validate box parameters (brepjs contract, §4.1 A 决策): `width`, `depth` and\n * `height` must be positive numbers. The legacy `{ size }` object form is\n * removed — any call still passing `size` throws an explicit `E_ARGS_FORM`\n * error pointing at the new signature (error hint ≠ compatibility).\n * @param params - the raw box operation parameters.\n */\nexport function assertBoxParams(params: Record<string, unknown>): void {\n  if (params.size !== undefined) {\n    throw new Error(\n      '[faijs/args] box: E_ARGS_FORM: the `box({ size })` object form is removed. ' +\n      'box now uses `box(width, depth, height, { at?, centered?, segments? })`.',\n    )\n  }\n  assertPositiveNumber(params.width, 'box.width')\n  assertPositiveNumber(params.depth, 'box.depth')\n  assertPositiveNumber(params.height, 'box.height')\n}\n\n/**\n * Validate sphere parameters: `radius` must be a positive number.\n * @param params - the raw sphere operation parameters.\n */\nexport function assertSphereParams(params: Record<string, unknown>): void {\n  assertPositiveNumber(params.radius, 'sphere.radius')\n}\n\n/**\n * Validate cylinder parameters (brepjs contract, §4.3 A 决策): `radius` and\n * `height` must be positive. The legacy `{ center }` object key is removed — any\n * call still passing `center` throws an explicit `E_ARGS_FORM` error pointing at\n * the new signature (error hint ≠ compatibility, 裁决 3).\n * @param params - the raw cylinder operation parameters.\n */\nexport function assertCylinderParams(params: Record<string, unknown>): void {\n  if (params.center !== undefined || params.size !== undefined) {\n    throw new Error(\n      '[faijs/args] cylinder: E_ARGS_FORM: the legacy object form is removed. ' +\n      'cylinder now uses `cylinder(radius, height, { at?, centered?, segments? })`.',\n    )\n  }\n  assertPositiveNumber(params.radius, 'cylinder.radius')\n  assertPositiveNumber(params.height, 'cylinder.height')\n}\n\n/**\n * Validate cone parameters (brepjs contract, §4.1 P 决策): `radiusBottom` and\n * `height` must be positive, `radiusTop` must be non-negative. The legacy\n * `{ center }` object key is removed — any call still passing `center` throws an\n * explicit `E_ARGS_FORM` error pointing at the new signature (error hint ≠\n * compatibility, 裁决 3).\n * @param params - the raw cone operation parameters.\n */\nexport function assertConeParams(params: Record<string, unknown>): void {\n  if (params.center !== undefined || params.size !== undefined) {\n    throw new Error(\n      '[faijs/args] cone: E_ARGS_FORM: the legacy object form is removed. ' +\n      'cone now uses `cone(bottomRadius, topRadius, height, { at?, centered?, segments? })`.',\n    )\n  }\n  assertPositiveNumber(params.radiusBottom, 'cone.radiusBottom')\n  assertNonNegativeNumber(params.radiusTop, 'cone.radiusTop')\n  assertPositiveNumber(params.height, 'cone.height')\n}\n\n/**\n * Validate wedge parameters: `width`, `height`, `angle`, and `length` must be\n * positive numbers.\n * @param params - the raw wedge operation parameters.\n */\nexport function assertWedgeParams(params: Record<string, unknown>): void {\n  assertPositiveNumber(params.width, 'wedge.width')\n  assertPositiveNumber(params.height, 'wedge.height')\n  assertPositiveNumber(params.angle, 'wedge.angle')\n  assertPositiveNumber(params.length, 'wedge.length')\n}\n\n/** BREP 路径：OCCT 精确构造 + 三角化 + fromBrep 登记（基本体无面演化；链根建 roleTable）。 */\nfunction primitiveBrep(op: string, params: Record<string, unknown>): Shape {\n  const kernel = getBrepApi()\n  const type = op === 'box' ? 'cube' : op\n  const result = primitiveToBrepSolid(kernel, type as 'cube' | 'sphere' | 'cylinder' | 'cone' | 'wedge', params as never)\n  // §3.2：链根建表——语义命名器按 op 类型给面命名（semantic 'top'/'lateral' 等，\n  // Phase 1.7 已删 'box:' 前缀与位置兜底）。\n  // Phase 1.6：origin 用链根语句的 StmtId（当前语句 id，§2.2/§4.1）——变量名会被\n  // 改名/复用，StmtId 全局唯一，保证多个同类型 primitive 不撞 origin。\n  const origin = String(getCurrentStmt()?.id ?? op)\n  const roles = assignRoles(kernel, result.solid, op)\n  const segments = clampNRad((params.nRad ?? params.segments) as number)\n  // P4 面级：brep 链基本体也挂契约序 faceRanges（编辑器默认 brep 链——\n  // setFaceColor 必须可用）。box 的 OCCT 面枚举序（实测 0=−X,1=+Y,…）与契约\n  // （+X/−X/+Y/−Y/+Z/−Z）不一致，按面法线重排 indices；cylinder/cone 的\n  // OCCT 序与契约一致（实测锁定：cylinder 0=侧面,1=顶,2=底；cone radiusTop=0\n  // 0=侧面,1=底），直接透传。\n  const { shape, faceRanges } = brepPrimitiveMesh(kernel, result.solid, op, segments)\n  if (faceRanges) shape.faceRanges = faceRanges\n  return fromBrep(\n    shape,\n    { solid: result.solid, roleTable: new Map([[asPartName(origin), roles]]) },\n  )\n}\n\n/** 面法线主轴向：用该面非退化三角形的法线和定轴与符号（OCCT 统一 outward 绕向）。 */\nfunction faceNormalAxis(\n  mesh: BrepMeshResult,\n  triStart: number,\n  triCount: number,\n): { axis: 0 | 1 | 2; sign: 1 | -1 } | null {\n  let sx = 0\n  let sy = 0\n  let sz = 0\n  for (let t = 0; t < triCount; t++) {\n    const i0 = mesh.indices[(triStart + t) * 3]\n    const i1 = mesh.indices[(triStart + t) * 3 + 1]\n    const i2 = mesh.indices[(triStart + t) * 3 + 2]\n    const p0x = mesh.positions[i0 * 3]; const p0y = mesh.positions[i0 * 3 + 1]; const p0z = mesh.positions[i0 * 3 + 2]\n    const p1x = mesh.positions[i1 * 3]; const p1y = mesh.positions[i1 * 3 + 1]; const p1z = mesh.positions[i1 * 3 + 2]\n    const p2x = mesh.positions[i2 * 3]; const p2y = mesh.positions[i2 * 3 + 1]; const p2z = mesh.positions[i2 * 3 + 2]\n    const ux = p1x - p0x; const uy = p1y - p0y; const uz = p1z - p0z\n    const vx = p2x - p0x; const vy = p2y - p0y; const vz = p2z - p0z\n    const nx = uy * vz - uz * vy\n    const ny = uz * vx - ux * vz\n    const nz = ux * vy - uy * vx\n    const len = Math.hypot(nx, ny, nz)\n    if (!Number.isFinite(len) || len < 1e-12) continue\n    sx += nx; sy += ny; sz += nz\n  }\n  const ax = Math.abs(sx); const ay = Math.abs(sy); const az = Math.abs(sz)\n  if (!Number.isFinite(ax + ay + az) || ax + ay + az < 1e-12) return null\n  if (ax >= ay && ax >= az) return { axis: 0, sign: sx > 0 ? 1 : -1 }\n  if (ay >= ax && ay >= az) return { axis: 1, sign: sy > 0 ? 1 : -1 }\n  return { axis: 2, sign: sz > 0 ? 1 : -1 }\n}\n\n/**\n * 三角化基本体并附 P4 契约序 faceRanges。\n * faceGroups 三元组 = [triStart, triCount, faceHash]，前两元是索引单位\n * （brep-ops.ts 注释）→ 三角形单位 = 索引/3。\n * - box：6 面 → 按面法线重排 indices 到契约序（0=+X,1=−X,2=+Y,3=−Y,4=+Z,5=−Z）。\n * - cylinder/cone：OCCT 枚举序与契约一致（探针实测锁定），直接透传，不重排。\n * - wedge/sphere 及其它：无契约，不挂 faceRanges（setFaceColor 抛 E_FACE_UNAVAILABLE）。\n */\nfunction brepPrimitiveMesh(\n  kernel: BrepEngineApi,\n  solid: BrepHandle,\n  op: string,\n  segments: number,\n): { shape: Shape; faceRanges?: Shape['faceRanges'] } {\n  const angularDeflection = (2 * Math.PI) / Math.max(3, segments)\n  const mesh = kernel.meshShape(solid, {\n    linearDeflection: DEFAULT_LINEAR_DEFLECTION.as(mm),\n    angularDeflection,\n  })\n  const shape: Shape = {\n    positions: new Float32Array(mesh.positions),\n    indices: new Uint32Array(mesh.indices),\n  }\n  const fg = mesh.faceGroups\n  if (!fg) return { shape }\n  const faces: Array<{ triStart: number; triCount: number }> = []\n  for (let f = 0; f < fg.length / 3; f++) {\n    faces.push({ triStart: fg[f * 3] / 3, triCount: fg[f * 3 + 1] / 3 })\n  }\n  if (op === 'box' && faces.length === 6) {\n    // 契约序重排：每面判向 → 契约 idx（+X=0,−X=1,+Y=2,−Y=3,+Z=4,−Z=5）\n    const byContract: Array<(typeof faces)[number] | undefined> = new Array(6).fill(undefined)\n    for (const f of faces) {\n      const na = faceNormalAxis(mesh, f.triStart, f.triCount)\n      if (!na) return { shape }\n      const idx = na.axis === 0 ? (na.sign > 0 ? 0 : 1) : na.axis === 1 ? (na.sign > 0 ? 2 : 3) : (na.sign > 0 ? 4 : 5)\n      if (byContract[idx] !== undefined) return { shape } // 法线判向歧义 → 不挂\n      byContract[idx] = f\n    }\n    if (byContract.some((f) => f === undefined)) return { shape }\n    const newIndices = new Uint32Array(mesh.indices.length)\n    const faceRanges: NonNullable<Shape['faceRanges']> = []\n    let outTri = 0\n    for (let c = 0; c < 6; c++) {\n      const f = byContract[c]!\n      faceRanges.push({ start: outTri, count: f.triCount })\n      for (let t = 0; t < f.triCount; t++) {\n        newIndices[(outTri + t) * 3] = mesh.indices[(f.triStart + t) * 3]\n        newIndices[(outTri + t) * 3 + 1] = mesh.indices[(f.triStart + t) * 3 + 1]\n        newIndices[(outTri + t) * 3 + 2] = mesh.indices[(f.triStart + t) * 3 + 2]\n      }\n      outTri += f.triCount\n    }\n    return { shape: { ...shape, indices: newIndices }, faceRanges }\n  }\n  if ((op === 'cylinder' || op === 'cone') && faces.length >= 2) {\n    // OCCT 枚举序 = P4a 契约序（探针实测）：0=侧面, 1=顶, 2=底（cone 无顶盖时 0=侧面,1=底）\n    return { shape, faceRanges: faces.map((f) => ({ start: f.triStart, count: f.triCount })) }\n  }\n  return { shape }\n}\n\n/**\n * 创建长方体（brepjs 契约，§4.1 A 决策）。\n * @group 创建\n * @inputs 0\n * @async false\n * @qual ok\n * @name box\n * @returns Shape 长方体几何，可作为后续 op 的输入。\n * @param params.width - X 方向边长（mm）。type:number required:true\n * @param params.depth - Y 方向边长（mm）。type:number required:true\n * @param params.height - Z 方向边长（mm）。type:number required:true\n * @param params.at - 中心点（CENTER 语义，优先于 centered）。type:[x,y,z] 可选\n * @param params.centered - 无 at 时是否居中到原点（type:boolean 默认 false，角点在原点）。\n * @param params.segments - 细分度（影响三角化）。type:number 默认 64（= brepjs standard 等效，P0 §5.0/§5.1）\n * @example\n * const part0 = cad.box(10 * MM, 20 * MM, 30 * MM)\n * const part1 = cad.box(30 * MM, 20 * MM, 10 * MM, { centered: true, at: [1, 2, 3], segments: 64 })\n *\n * 位置原生（§4.1/§6.2）：`box(width, depth, height)` 与 `box(10 * MM, 20 * MM, 30 * MM, {centered:true})`\n * 有量纲位必须写单位字面量（基准单位亦然，`10` 裸数字被 D8 R2 拒）。\n * 归一到同一对象（D11 位置→对象 + 尾参 options 合并）。旧 `{ size }` 对象形态已废弃（裁决 3），\n * 传入会抛 `E_ARGS_FORM`（错误提示 ≠ 兼容，§4.1）。\n   */\nexport const box = defineOp({\n  name: 'box',\n  mesh: (params: Record<string, unknown>) => {\n    assertBoxParams(params)\n    return meshPrimitives.box(params as never)\n  },\n  brep: (params: Record<string, unknown>) => {\n    assertBoxParams(params)\n    return primitiveBrep('box', params)\n  },\n  // schema feeds codegen/UI parameter panels.\n  schema: {\n    width: 'number',\n    depth: 'number',\n    height: 'number',\n    at: 'vec3?',\n    centered: 'boolean?',\n    segments: 'number?',\n  },\n  // D11 位置→对象（§4.1/§6.2）：三个标量装箱成 { width, depth, height }，尾参\n  // options 经 dual-form-args 的尾参合并（§6.2）并入。\n  slotMap: { keys: ['width', 'depth', 'height'] },\n  paramDims: { width: 'length', depth: 'length', height: 'length' },\n  naming: { kind: 'construct', newFaces: { via: 'explicit', vocab: [{ kind: 'semantic', name: 'top' }, { kind: 'semantic', name: 'bottom' }, { kind: 'semantic', name: 'front' }, { kind: 'semantic', name: 'back' }, { kind: 'semantic', name: 'left' }, { kind: 'semantic', name: 'right' }] } } as Provenance,\n})\n\n/**\n * 创建球体。\n * @group 创建\n * @inputs 0\n * @async false\n * @qual ok\n * @name sphere\n * @returns Shape 球体几何，可作为后续 op 的输入。\n * @param params.radius - 半径（mm）。type:number required:true\n * @param params.segments - 细分度（影响面数）。type:number 默认 64（= brepjs standard 等效，P0 §5.0/§5.1）\n * @param params.center - 球心位置（at 的同义别名）。type:[x,y,z] 默认 [0,0,0]（原点）。\n * @param params.at - 球心位置（center 的同义别名，brepjs 契约；裁决 4 双形态合法）。\n * @example\n * const r = cad.sphere({ radius: 10 })\n * const r = cad.sphere(10, { at: [0, 0, 10], segments: 64 })\n * const r = cad.sphere({ radius: 10, segments: 64, center: [0,0,10] })\n */\nexport const sphere = defineOp({\n  name: 'sphere',\n  mesh: (params: Record<string, unknown>) => {\n    assertSphereParams(params)\n    return meshPrimitives.sphere(centerParams(params) as never)\n  },\n  brep: (params: Record<string, unknown>) => {\n    assertSphereParams(params)\n    return primitiveBrep('sphere', centerParams(params))\n  },\n  schema: { radius: 'number', segments: 'number?', center: 'vec3?', at: 'vec3?' },\n  // D11: `sphere(10)` == `sphere({ radius: 10 })`; 尾参 options（{at, segments}）\n  // 经 dual-form-args 的尾参合并规则归一（裁决 4，§6.2）。\n  slotMap: { keys: ['radius'] },\n  paramDims: { radius: 'length' },\n  naming: { kind: 'unmodeled', reason: 'sphere face vocabulary pending Phase 3' } as Provenance,\n})\n\n/**\n * 位置归一：把 brepjs 契约的 `at`（= faijs 的 `center`，球心语义）归一为一个\n * `center` 输入，mesh/brep 两条消费路径共用（裁决 1/4，§4.2）。\n */\nfunction centerParams(params: Record<string, unknown>): Record<string, unknown> {\n  if (params.at !== undefined) return { ...params, center: params.at }\n  return params\n}\n\n/**\n * 创建圆柱体（brepjs 契约，§4.3 A 决策）。\n * 锚点：`at` 是**底面轴心**（BASE 语义，默认 [0,0,0]，底面在原点、+Z 延伸）；`centered:true`\n * 指底面落到 −h/2（无 at 时居中到原点；与 `at` 同给时以 `at` 为中心）。\n * @group 创建\n * @inputs 0\n * @async false\n * @qual ok\n * @name cylinder\n * @returns Shape 圆柱体几何，可作为后续 op 的输入。\n * @param params.radius - 底面半径（mm）。type:number required:true\n * @param params.height - 高度（mm），沿 +Z 轴。type:number required:true\n * @param params.at - 底面中心（BASE 语义）。type:[x,y,z] 可选\n * @param params.centered - 是否居中（底面 −h/2；与 at 同给时以 at 为中心）。type:boolean 默认 false\n * @param params.segments - 细分度（影响三角化）。type:number 默认 64（= brepjs standard 等效，P0 §5.0/§5.1）\n * @example\n * const c = cad.cylinder(5, 40)\n * const c = cad.cylinder(5, 40, { centered: true, at: [0, 0, 20], segments: 64 })\n *\n * 位置原生（§4.1/§6.2）：`cylinder(5, 40)` 与 `cylinder(5, 40, {centered:true})`\n * 归一到同一对象（D11 位置→装箱 + 尾参 options 合并）。旧 `{ center }` 对象形态已废弃\n * （裁决 3），传入会抛 `E_ARGS_FORM`（错误提示 ≠ 兼容，§4.3）。\n  */\nexport const cylinder = defineOp({\n  name: 'cylinder',\n  mesh: (params: Record<string, unknown>) => {\n    assertCylinderParams(params)\n    return meshPrimitives.cylinder(params as never)\n  },\n  brep: (params: Record<string, unknown>) => {\n    assertCylinderParams(params)\n    return primitiveBrep('cylinder', params)\n  },\n  schema: { radius: 'number', height: 'number', at: 'vec3?', centered: 'boolean?', segments: 'number?' },\n  // D11（§4.1/§6.2）：`cylinder(5, 40)` 两个标量装箱成 { radius, height }；尾参 options\n  // 经 dual-form-args 尾参合并并入。\n  slotMap: { keys: ['radius', 'height'] },\n  paramDims: { radius: 'length', height: 'length' },\n  naming: { kind: 'construct', newFaces: { via: 'explicit', vocab: [{ kind: 'semantic', name: 'top' }, { kind: 'semantic', name: 'bottom' }, { kind: 'semantic', name: 'lateral' }] } } as Provenance,\n})\n\n/**\n * 创建圆锥体（brepjs 契约，§4.1 P 决策）。radiusTop 等于 radiusBottom 时即圆柱，0 为尖锥。\n * 锚点：`at` 是**底面轴心**（BASE 语义，默认 [0,0,0]，底面在原点、+Z 延伸）；`centered:true`\n * 指底面落到 −h/2（无 at 时居中到原点；与 `at` 同给时以 `at` 为中心）。\n * @group 创建\n * @inputs 0\n * @async false\n * @qual ok\n * @name cone\n * @returns Shape 圆锥体几何，可作为后续 op 的输入。\n * @param params.radiusBottom - 底半径（mm）。type:number required:true\n * @param params.radiusTop - 顶半径（mm），0 为尖锥，非负，等于 radiusBottom 得圆柱。type:number required:true\n * @param params.height - 高度（mm），沿 +Z 轴。type:number required:true\n * @param params.at - 底面轴心（BASE 语义）。type:[x,y,z] 可选\n * @param params.centered - 是否居中（底面 −h/2；与 at 同给时以 at 为中心）。type:boolean 默认 false\n * @param params.segments - 细分度（影响三角化）。type:number 默认 64（= brepjs standard 等效，P0 §5.0/§5.1）\n * @example\n * const c = cad.cone(10, 4, 30)\n * const c = cad.cone(10, 0, 30, { centered: true, at: [0, 0, 20], segments: 64 })\n * 位置原生（§4.1/§6.2）：`cone(10, 4, 30)` 与 `cone(10, 4, 30, { centered: true })`\n * 归一到同一对象（D11 位置→装箱 + 尾参 options 合并）。旧 `{ center }`/`{ size }` 对象形态\n * 已废弃（裁决 3），传入会抛 E_ARGS_FORM（错误提示 ≠ 兼容）。\n  */\nexport const cone = defineOp({\n  name: 'cone',\n  mesh: (params: Record<string, unknown>) => {\n    assertConeParams(params)\n    return meshPrimitives.cone(params as never)\n  },\n  brep: (params: Record<string, unknown>) => {\n    assertConeParams(params)\n    return primitiveBrep('cone', params)\n  },\n  schema: {\n    radiusBottom: 'number',\n    radiusTop: 'number',\n    height: 'number',\n    at: 'vec3?',\n    centered: 'boolean?',\n    segments: 'number?',\n  },\n  // D11（§4.1/§6.2）: `cone(10, 4, 30)` 三个标量装箱成 { radiusBottom, radiusTop, height }。\n  // 尾参 options（{at, centered, segments}）经 dual-form-args 尾参合并并入。\n  slotMap: { keys: ['radiusBottom', 'radiusTop', 'height'] },\n  paramDims: { radiusBottom: 'length', radiusTop: 'length', height: 'length' },\n  naming: { kind: 'construct', newFaces: { via: 'explicit', vocab: [{ kind: 'semantic', name: 'top' }, { kind: 'semantic', name: 'bottom' }, { kind: 'semantic', name: 'lateral' }] } } as Provenance,\n})\n\n/**\n * 创建楔形体。唯一契约是 width/height/angle/length（width/height/angle 为正数，length 沿切割方向），\n * 旧文档的 size 形态已废弃，传 { size } 会抛错。\n * @group 创建\n * @inputs 0\n * @async false\n * @qual ok\n * @name wedge\n * @note 曾与 UI 面板的 `size` 形态并存并写入文档，但断言层确认唯一合法契约是 width/height/angle/length；传 `{ size }` 直接抛错。已按真源收敛。\n * @returns Shape 楔形体几何，可作为后续 op 的输入。\n * @param params.width - 底面宽度（mm）。type:number required:true\n * @param params.height - 高度（mm）。type:number required:true\n * @param params.angle - 楔形角度（度）。type:number required:true\n * @param params.length - 沿切割方向的长度（mm）。type:number required:true\n * @example\n * const w = cad.wedge({ width: 30, height: 20, angle: 45, length: 10 })\n  */\nexport const wedge = defineOp({\n  name: 'wedge',\n  mesh: (params: Record<string, unknown>) => {\n    assertWedgeParams(params)\n    return meshPrimitives.wedge(params as never)\n  },\n  brep: (params: Record<string, unknown>) => {\n    assertWedgeParams(params)\n    return primitiveBrep('wedge', params)\n  },\n  // D11: `wedge(30, 20, 45, 10)` == `wedge({ width: 30, height: 20, angle: 45, length: 10 })`.\n  slotMap: { keys: ['width', 'height', 'angle', 'length'] },\n  paramDims: { width: 'length', height: 'length', angle: 'angle', length: 'length' },\n  naming: { kind: 'unmodeled', reason: 'wedge face vocabulary pending Phase 3' } as Provenance,\n})\n"]}
+{"version":3,"file":"primitives.js","sourceRoot":"","sources":["../../src/api/primitives.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAGH,OAAO,EAAE,SAAS,EAAE,MAAM,eAAe,CAAA;AACzC,mGAAmG;AACnG,OAAO,KAAK,cAAc,MAAM,oBAAoB,CAAA;AACpD,OAAO,EAAE,oBAAoB,EAAE,MAAM,+BAA+B,CAAA;AACpE,OAAO,EAAE,cAAc,EAAE,eAAe,EAAE,MAAM,kBAAkB,CAAA;AAClE,OAAO,EAAE,UAAU,EAAE,MAAM,uBAAuB,CAAA;AAClD,OAAO,EAAE,QAAQ,EAAE,MAAM,UAAU,CAAA;AACnC,OAAO,EAAE,WAAW,EAAE,MAAM,0BAA0B,CAAA;AAEtD,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAA;AACxC,OAAO,EAAE,QAAQ,EAAE,MAAM,QAAQ,CAAA;AACjC,OAAO,EAAE,oBAAoB,EAAE,uBAAuB,EAAE,MAAM,UAAU,CAAA;AAIxE,sDAAsD;AAEtD;;;;;;GAMG;AACH,MAAM,UAAU,eAAe,CAAC,MAA+B;IAC7D,IAAI,MAAM,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;QAC9B,MAAM,IAAI,KAAK,CACb,6EAA6E;YAC7E,0EAA0E,CAC3E,CAAA;IACH,CAAC;IACD,oBAAoB,CAAC,MAAM,CAAC,KAAK,EAAE,WAAW,CAAC,CAAA;IAC/C,oBAAoB,CAAC,MAAM,CAAC,KAAK,EAAE,WAAW,CAAC,CAAA;IAC/C,oBAAoB,CAAC,MAAM,CAAC,MAAM,EAAE,YAAY,CAAC,CAAA;AACnD,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,kBAAkB,CAAC,MAA+B;IAChE,oBAAoB,CAAC,MAAM,CAAC,MAAM,EAAE,eAAe,CAAC,CAAA;AACtD,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,oBAAoB,CAAC,MAA+B;IAClE,IAAI,MAAM,CAAC,MAAM,KAAK,SAAS,IAAI,MAAM,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;QAC7D,MAAM,IAAI,KAAK,CACb,yEAAyE;YACzE,8EAA8E,CAC/E,CAAA;IACH,CAAC;IACD,oBAAoB,CAAC,MAAM,CAAC,MAAM,EAAE,iBAAiB,CAAC,CAAA;IACtD,oBAAoB,CAAC,MAAM,CAAC,MAAM,EAAE,iBAAiB,CAAC,CAAA;AACxD,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,UAAU,gBAAgB,CAAC,MAA+B;IAC9D,IAAI,MAAM,CAAC,MAAM,KAAK,SAAS,IAAI,MAAM,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;QAC7D,MAAM,IAAI,KAAK,CACb,qEAAqE;YACrE,uFAAuF,CACxF,CAAA;IACH,CAAC;IACD,oBAAoB,CAAC,MAAM,CAAC,YAAY,EAAE,mBAAmB,CAAC,CAAA;IAC9D,uBAAuB,CAAC,MAAM,CAAC,SAAS,EAAE,gBAAgB,CAAC,CAAA;IAC3D,oBAAoB,CAAC,MAAM,CAAC,MAAM,EAAE,aAAa,CAAC,CAAA;AACpD,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,iBAAiB,CAAC,MAA+B;IAC/D,oBAAoB,CAAC,MAAM,CAAC,KAAK,EAAE,aAAa,CAAC,CAAA;IACjD,oBAAoB,CAAC,MAAM,CAAC,MAAM,EAAE,cAAc,CAAC,CAAA;IACnD,oBAAoB,CAAC,MAAM,CAAC,KAAK,EAAE,aAAa,CAAC,CAAA;IACjD,oBAAoB,CAAC,MAAM,CAAC,MAAM,EAAE,cAAc,CAAC,CAAA;AACrD,CAAC;AAED,oEAAoE;AACpE,SAAS,aAAa,CAAC,EAAU,EAAE,MAA+B;IAChE,MAAM,MAAM,GAAG,UAAU,EAAE,CAAA;IAC3B,MAAM,IAAI,GAAG,EAAE,KAAK,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAA;IACvC,MAAM,MAAM,GAAG,oBAAoB,CAAC,MAAM,EAAE,IAAyD,EAAE,MAAe,CAAC,CAAA;IACvH,0DAA0D;IAC1D,gCAAgC;IAChC,2DAA2D;IAC3D,iDAAiD;IACjD,MAAM,MAAM,GAAG,MAAM,CAAC,cAAc,EAAE,EAAE,EAAE,IAAI,EAAE,CAAC,CAAA;IACjD,MAAM,KAAK,GAAG,WAAW,CAAC,MAAM,EAAE,MAAM,CAAC,KAAK,EAAE,EAAE,CAAC,CAAA;IACnD,+EAA+E;IAC/E,+EAA+E;IAC/E,MAAM,WAAW,GAAG,CAAC,MAAM,CAAC,IAAI,IAAI,MAAM,CAAC,QAAQ,CAAuB,CAAA;IAC1E,MAAM,QAAQ,GAAG,SAAS,CAAC,WAAW,IAAI,CAAC,CAAC,GAAG,IAAI,CAAC,EAAE,CAAC,GAAG,eAAe,EAAE,CAAC,iBAAiB,CAAC,CAAA;IAC9F,iDAAiD;IACjD,wDAAwD;IACxD,wDAAwD;IACxD,0DAA0D;IAC1D,kBAAkB;IAClB,MAAM,EAAE,KAAK,EAAE,UAAU,EAAE,GAAG,iBAAiB,CAAC,MAAM,EAAE,MAAM,CAAC,KAAK,EAAE,EAAE,EAAE,QAAQ,CAAC,CAAA;IACnF,IAAI,UAAU;QAAE,KAAK,CAAC,UAAU,GAAG,UAAU,CAAA;IAC7C,OAAO,QAAQ,CACb,KAAK,EACL,EAAE,KAAK,EAAE,MAAM,CAAC,KAAK,EAAE,SAAS,EAAE,IAAI,GAAG,CAAC,CAAC,CAAC,UAAU,CAAC,MAAM,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC,EAAE,CAC3E,CAAA;AACH,CAAC;AAED,qDAAqD;AACrD,SAAS,cAAc,CACrB,IAAoB,EACpB,QAAgB,EAChB,QAAgB;IAEhB,IAAI,EAAE,GAAG,CAAC,CAAA;IACV,IAAI,EAAE,GAAG,CAAC,CAAA;IACV,IAAI,EAAE,GAAG,CAAC,CAAA;IACV,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,QAAQ,EAAE,CAAC,EAAE,EAAE,CAAC;QAClC,MAAM,EAAE,GAAG,IAAI,CAAC,OAAO,CAAC,CAAC,QAAQ,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAA;QAC3C,MAAM,EAAE,GAAG,IAAI,CAAC,OAAO,CAAC,CAAC,QAAQ,GAAG,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAA;QAC/C,MAAM,EAAE,GAAG,IAAI,CAAC,OAAO,CAAC,CAAC,QAAQ,GAAG,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAA;QAC/C,MAAM,GAAG,GAAG,IAAI,CAAC,SAAS,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC;QAAC,MAAM,GAAG,GAAG,IAAI,CAAC,SAAS,CAAC,EAAE,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC;QAAC,MAAM,GAAG,GAAG,IAAI,CAAC,SAAS,CAAC,EAAE,GAAG,CAAC,GAAG,CAAC,CAAC,CAAA;QAClH,MAAM,GAAG,GAAG,IAAI,CAAC,SAAS,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC;QAAC,MAAM,GAAG,GAAG,IAAI,CAAC,SAAS,CAAC,EAAE,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC;QAAC,MAAM,GAAG,GAAG,IAAI,CAAC,SAAS,CAAC,EAAE,GAAG,CAAC,GAAG,CAAC,CAAC,CAAA;QAClH,MAAM,GAAG,GAAG,IAAI,CAAC,SAAS,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC;QAAC,MAAM,GAAG,GAAG,IAAI,CAAC,SAAS,CAAC,EAAE,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC;QAAC,MAAM,GAAG,GAAG,IAAI,CAAC,SAAS,CAAC,EAAE,GAAG,CAAC,GAAG,CAAC,CAAC,CAAA;QAClH,MAAM,EAAE,GAAG,GAAG,GAAG,GAAG,CAAC;QAAC,MAAM,EAAE,GAAG,GAAG,GAAG,GAAG,CAAC;QAAC,MAAM,EAAE,GAAG,GAAG,GAAG,GAAG,CAAA;QAChE,MAAM,EAAE,GAAG,GAAG,GAAG,GAAG,CAAC;QAAC,MAAM,EAAE,GAAG,GAAG,GAAG,GAAG,CAAC;QAAC,MAAM,EAAE,GAAG,GAAG,GAAG,GAAG,CAAA;QAChE,MAAM,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,CAAA;QAC5B,MAAM,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,CAAA;QAC5B,MAAM,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,CAAA;QAC5B,MAAM,GAAG,GAAG,IAAI,CAAC,KAAK,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,CAAA;QAClC,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,GAAG,GAAG,KAAK;YAAE,SAAQ;QAClD,EAAE,IAAI,EAAE,CAAC;QAAC,EAAE,IAAI,EAAE,CAAC;QAAC,EAAE,IAAI,EAAE,CAAA;IAC9B,CAAC;IACD,MAAM,EAAE,GAAG,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;IAAC,MAAM,EAAE,GAAG,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;IAAC,MAAM,EAAE,GAAG,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAA;IACzE,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,KAAK;QAAE,OAAO,IAAI,CAAA;IACvE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE;QAAE,OAAO,EAAE,IAAI,EAAE,CAAC,EAAE,IAAI,EAAE,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAA;IACnE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE;QAAE,OAAO,EAAE,IAAI,EAAE,CAAC,EAAE,IAAI,EAAE,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAA;IACnE,OAAO,EAAE,IAAI,EAAE,CAAC,EAAE,IAAI,EAAE,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAA;AAC3C,CAAC;AAED;;;;;;;GAOG;AACH,SAAS,iBAAiB,CACxB,MAAqB,EACrB,KAAiB,EACjB,EAAU,EACV,QAAgB;IAEhB,MAAM,iBAAiB,GAAG,CAAC,CAAC,GAAG,IAAI,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,QAAQ,CAAC,CAAA;IAC/D,MAAM,IAAI,GAAG,MAAM,CAAC,SAAS,CAAC,KAAK,EAAE;QACnC,gBAAgB,EAAE,eAAe,EAAE,CAAC,gBAAgB;QACpD,iBAAiB;KAClB,CAAC,CAAA;IACF,MAAM,KAAK,GAAU;QACnB,SAAS,EAAE,IAAI,YAAY,CAAC,IAAI,CAAC,SAAS,CAAC;QAC3C,OAAO,EAAE,IAAI,WAAW,CAAC,IAAI,CAAC,OAAO,CAAC;KACvC,CAAA;IACD,MAAM,EAAE,GAAG,IAAI,CAAC,UAAU,CAAA;IAC1B,IAAI,CAAC,EAAE;QAAE,OAAO,EAAE,KAAK,EAAE,CAAA;IACzB,MAAM,KAAK,GAAkD,EAAE,CAAA;IAC/D,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,EAAE,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;QACvC,KAAK,CAAC,IAAI,CAAC,EAAE,QAAQ,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,EAAE,QAAQ,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAA;IACtE,CAAC;IACD,IAAI,EAAE,KAAK,KAAK,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACvC,qDAAqD;QACrD,MAAM,UAAU,GAA8C,IAAI,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAA;QAC1F,KAAK,MAAM,CAAC,IAAI,KAAK,EAAE,CAAC;YACtB,MAAM,EAAE,GAAG,cAAc,CAAC,IAAI,EAAE,CAAC,CAAC,QAAQ,EAAE,CAAC,CAAC,QAAQ,CAAC,CAAA;YACvD,IAAI,CAAC,EAAE;gBAAE,OAAO,EAAE,KAAK,EAAE,CAAA;YACzB,MAAM,GAAG,GAAG,EAAE,CAAC,IAAI,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAA;YACjH,IAAI,UAAU,CAAC,GAAG,CAAC,KAAK,SAAS;gBAAE,OAAO,EAAE,KAAK,EAAE,CAAA,CAAC,cAAc;YAClE,UAAU,CAAC,GAAG,CAAC,GAAG,CAAC,CAAA;QACrB,CAAC;QACD,IAAI,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,SAAS,CAAC;YAAE,OAAO,EAAE,KAAK,EAAE,CAAA;QAC7D,MAAM,UAAU,GAAG,IAAI,WAAW,CAAC,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,CAAA;QACvD,MAAM,UAAU,GAAqC,EAAE,CAAA;QACvD,IAAI,MAAM,GAAG,CAAC,CAAA;QACd,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;YAC3B,MAAM,CAAC,GAAG,UAAU,CAAC,CAAC,CAAE,CAAA;YACxB,UAAU,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,MAAM,EAAE,KAAK,EAAE,CAAC,CAAC,QAAQ,EAAE,CAAC,CAAA;YACrD,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,QAAQ,EAAE,CAAC,EAAE,EAAE,CAAC;gBACpC,UAAU,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,QAAQ,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAA;gBACjE,UAAU,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,GAAG,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,QAAQ,GAAG,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAA;gBACzE,UAAU,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,GAAG,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,QAAQ,GAAG,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAA;YAC3E,CAAC;YACD,MAAM,IAAI,CAAC,CAAC,QAAQ,CAAA;QACtB,CAAC;QACD,OAAO,EAAE,KAAK,EAAE,EAAE,GAAG,KAAK,EAAE,OAAO,EAAE,UAAU,EAAE,EAAE,UAAU,EAAE,CAAA;IACjE,CAAC;IACD,IAAI,CAAC,EAAE,KAAK,UAAU,IAAI,EAAE,KAAK,MAAM,CAAC,IAAI,KAAK,CAAC,MAAM,IAAI,CAAC,EAAE,CAAC;QAC9D,8DAA8D;QAC9D,OAAO,EAAE,KAAK,EAAE,UAAU,EAAE,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,QAAQ,EAAE,KAAK,EAAE,CAAC,CAAC,QAAQ,EAAE,CAAC,CAAC,EAAE,CAAA;IAC5F,CAAC;IACD,OAAO,EAAE,KAAK,EAAE,CAAA;AAClB,CAAC;AAED;;;;;;;;;;;;;;;;;;;;;;KAsBK;AACL,MAAM,CAAC,MAAM,GAAG,GAAG,QAAQ,CAAC;IAC1B,IAAI,EAAE,KAAK;IACX,IAAI,EAAE,CAAC,MAA+B,EAAE,EAAE;QACxC,eAAe,CAAC,MAAM,CAAC,CAAA;QACvB,OAAO,cAAc,CAAC,GAAG,CAAC,MAAe,CAAC,CAAA;IAC5C,CAAC;IACD,IAAI,EAAE,CAAC,MAA+B,EAAE,EAAE;QACxC,eAAe,CAAC,MAAM,CAAC,CAAA;QACvB,OAAO,aAAa,CAAC,KAAK,EAAE,MAAM,CAAC,CAAA;IACrC,CAAC;IACD,4CAA4C;IAC5C,MAAM,EAAE;QACN,KAAK,EAAE,QAAQ;QACf,KAAK,EAAE,QAAQ;QACf,MAAM,EAAE,QAAQ;QAChB,EAAE,EAAE,OAAO;QACX,QAAQ,EAAE,UAAU;QACpB,QAAQ,EAAE,SAAS;KACpB;IACD,2DAA2D;IAC3D,0CAA0C;IAC1C,OAAO,EAAE,EAAE,IAAI,EAAE,CAAC,OAAO,EAAE,OAAO,EAAE,QAAQ,CAAC,EAAE;IAC/C,SAAS,EAAE,EAAE,KAAK,EAAE,QAAQ,EAAE,KAAK,EAAE,QAAQ,EAAE,MAAM,EAAE,QAAQ,EAAE;IACjE,MAAM,EAAE,EAAE,IAAI,EAAE,WAAW,EAAE,QAAQ,EAAE,EAAE,GAAG,EAAE,UAAU,EAAE,KAAK,EAAE,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,KAAK,EAAE,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,QAAQ,EAAE,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC,EAAE,EAAgB;CAC/S,CAAC,CAAA;AAEF;;;;;;;;;;;;;;;;GAgBG;AACH,MAAM,CAAC,MAAM,MAAM,GAAG,QAAQ,CAAC;IAC7B,IAAI,EAAE,QAAQ;IACd,IAAI,EAAE,CAAC,MAA+B,EAAE,EAAE;QACxC,kBAAkB,CAAC,MAAM,CAAC,CAAA;QAC1B,OAAO,cAAc,CAAC,MAAM,CAAC,YAAY,CAAC,MAAM,CAAU,CAAC,CAAA;IAC7D,CAAC;IACD,IAAI,EAAE,CAAC,MAA+B,EAAE,EAAE;QACxC,kBAAkB,CAAC,MAAM,CAAC,CAAA;QAC1B,OAAO,aAAa,CAAC,QAAQ,EAAE,YAAY,CAAC,MAAM,CAAC,CAAC,CAAA;IACtD,CAAC;IACD,MAAM,EAAE,EAAE,MAAM,EAAE,QAAQ,EAAE,QAAQ,EAAE,SAAS,EAAE,MAAM,EAAE,OAAO,EAAE,EAAE,EAAE,OAAO,EAAE;IAC/E,4EAA4E;IAC5E,yCAAyC;IACzC,OAAO,EAAE,EAAE,IAAI,EAAE,CAAC,QAAQ,CAAC,EAAE;IAC7B,SAAS,EAAE,EAAE,MAAM,EAAE,QAAQ,EAAE;IAC/B,MAAM,EAAE,EAAE,IAAI,EAAE,WAAW,EAAE,MAAM,EAAE,wCAAwC,EAAgB;CAC9F,CAAC,CAAA;AAEF;;;GAGG;AACH,SAAS,YAAY,CAAC,MAA+B;IACnD,IAAI,MAAM,CAAC,EAAE,KAAK,SAAS;QAAE,OAAO,EAAE,GAAG,MAAM,EAAE,MAAM,EAAE,MAAM,CAAC,EAAE,EAAE,CAAA;IACpE,OAAO,MAAM,CAAA;AACf,CAAC;AAED;;;;;;;;;;;;;;;;;;;;;;IAsBI;AACJ,MAAM,CAAC,MAAM,QAAQ,GAAG,QAAQ,CAAC;IAC/B,IAAI,EAAE,UAAU;IAChB,IAAI,EAAE,CAAC,MAA+B,EAAE,EAAE;QACxC,oBAAoB,CAAC,MAAM,CAAC,CAAA;QAC5B,OAAO,cAAc,CAAC,QAAQ,CAAC,MAAe,CAAC,CAAA;IACjD,CAAC;IACD,IAAI,EAAE,CAAC,MAA+B,EAAE,EAAE;QACxC,oBAAoB,CAAC,MAAM,CAAC,CAAA;QAC5B,OAAO,aAAa,CAAC,UAAU,EAAE,MAAM,CAAC,CAAA;IAC1C,CAAC;IACD,MAAM,EAAE,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,EAAE,QAAQ,EAAE,EAAE,EAAE,OAAO,EAAE,QAAQ,EAAE,UAAU,EAAE,QAAQ,EAAE,SAAS,EAAE;IACtG,yEAAyE;IACzE,2BAA2B;IAC3B,OAAO,EAAE,EAAE,IAAI,EAAE,CAAC,QAAQ,EAAE,QAAQ,CAAC,EAAE;IACvC,SAAS,EAAE,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,EAAE,QAAQ,EAAE;IACjD,MAAM,EAAE,EAAE,IAAI,EAAE,WAAW,EAAE,QAAQ,EAAE,EAAE,GAAG,EAAE,UAAU,EAAE,KAAK,EAAE,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,KAAK,EAAE,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,QAAQ,EAAE,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC,EAAE,EAAgB;CACpM,CAAC,CAAA;AAEF;;;;;;;;;;;;;;;;;;;;;;IAsBI;AACJ,MAAM,CAAC,MAAM,IAAI,GAAG,QAAQ,CAAC;IAC3B,IAAI,EAAE,MAAM;IACZ,IAAI,EAAE,CAAC,MAA+B,EAAE,EAAE;QACxC,gBAAgB,CAAC,MAAM,CAAC,CAAA;QACxB,OAAO,cAAc,CAAC,IAAI,CAAC,MAAe,CAAC,CAAA;IAC7C,CAAC;IACD,IAAI,EAAE,CAAC,MAA+B,EAAE,EAAE;QACxC,gBAAgB,CAAC,MAAM,CAAC,CAAA;QACxB,OAAO,aAAa,CAAC,MAAM,EAAE,MAAM,CAAC,CAAA;IACtC,CAAC;IACD,MAAM,EAAE;QACN,YAAY,EAAE,QAAQ;QACtB,SAAS,EAAE,QAAQ;QACnB,MAAM,EAAE,QAAQ;QAChB,EAAE,EAAE,OAAO;QACX,QAAQ,EAAE,UAAU;QACpB,QAAQ,EAAE,SAAS;KACpB;IACD,iFAAiF;IACjF,+DAA+D;IAC/D,OAAO,EAAE,EAAE,IAAI,EAAE,CAAC,cAAc,EAAE,WAAW,EAAE,QAAQ,CAAC,EAAE;IAC1D,SAAS,EAAE,EAAE,YAAY,EAAE,QAAQ,EAAE,SAAS,EAAE,QAAQ,EAAE,MAAM,EAAE,QAAQ,EAAE;IAC5E,MAAM,EAAE,EAAE,IAAI,EAAE,WAAW,EAAE,QAAQ,EAAE,EAAE,GAAG,EAAE,UAAU,EAAE,KAAK,EAAE,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,KAAK,EAAE,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,QAAQ,EAAE,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC,EAAE,EAAgB;CACpM,CAAC,CAAA;AAEF;;;;;;;;;;;;;;;;IAgBI;AACJ,MAAM,CAAC,MAAM,KAAK,GAAG,QAAQ,CAAC;IAC5B,IAAI,EAAE,OAAO;IACb,IAAI,EAAE,CAAC,MAA+B,EAAE,EAAE;QACxC,iBAAiB,CAAC,MAAM,CAAC,CAAA;QACzB,OAAO,cAAc,CAAC,KAAK,CAAC,MAAe,CAAC,CAAA;IAC9C,CAAC;IACD,IAAI,EAAE,CAAC,MAA+B,EAAE,EAAE;QACxC,iBAAiB,CAAC,MAAM,CAAC,CAAA;QACzB,OAAO,aAAa,CAAC,OAAO,EAAE,MAAM,CAAC,CAAA;IACvC,CAAC;IACD,6FAA6F;IAC7F,OAAO,EAAE,EAAE,IAAI,EAAE,CAAC,OAAO,EAAE,QAAQ,EAAE,OAAO,EAAE,QAAQ,CAAC,EAAE;IACzD,SAAS,EAAE,EAAE,KAAK,EAAE,QAAQ,EAAE,MAAM,EAAE,QAAQ,EAAE,KAAK,EAAE,OAAO,EAAE,MAAM,EAAE,QAAQ,EAAE;IAClF,MAAM,EAAE,EAAE,IAAI,EAAE,WAAW,EAAE,MAAM,EAAE,uCAAuC,EAAgB;CAC7F,CAAC,CAAA","sourcesContent":["/**\n * api primitives — 基本体创建库函数（box/sphere/cylinder/cone/wedge）\n *\n *\n * dispatchPath 静态判定 brep/mesh，产物经 solid()/fromBrep() 构造器创建。\n */\n\nimport type { Shape } from '../mesh/types'\nimport { clampNRad } from '../mesh/types'\n// B3 correction (2026-10-06): no library-face cad aggregate — import the impl from its own module.\nimport * as meshPrimitives from '../mesh/primitives'\nimport { primitiveToBrepSolid } from '../primitives/brep-primitives'\nimport { getCurrentStmt, getTessellation } from '../runtime-state'\nimport { getBrepApi } from '../brep/handle-bridge'\nimport { fromBrep } from '../shape'\nimport { assignRoles } from '../topology/naming/roles'\nimport type { Provenance } from '../topology/naming/lineage'\nimport { asPartName } from '../identity'\nimport { defineOp } from '../sdk'\nimport { assertPositiveNumber, assertNonNegativeNumber } from './assert'\nimport type { BrepMeshResult, BrepHandle } from '../brep/engine/types'\nimport type { BrepEngineApi } from '../brep/engine/primitives'\n\n// ── per-op 参数自校验（Phase 2.2；api 层被直接 import 时的防御层） ──\n\n/**\n * Validate box parameters (brepjs contract, §4.1 A 决策): `width`, `depth` and\n * `height` must be positive numbers. The legacy `{ size }` object form is\n * removed — any call still passing `size` throws an explicit `E_ARGS_FORM`\n * error pointing at the new signature (error hint ≠ compatibility).\n * @param params - the raw box operation parameters.\n */\nexport function assertBoxParams(params: Record<string, unknown>): void {\n  if (params.size !== undefined) {\n    throw new Error(\n      '[faijs/args] box: E_ARGS_FORM: the `box({ size })` object form is removed. ' +\n      'box now uses `box(width, depth, height, { at?, centered?, segments? })`.',\n    )\n  }\n  assertPositiveNumber(params.width, 'box.width')\n  assertPositiveNumber(params.depth, 'box.depth')\n  assertPositiveNumber(params.height, 'box.height')\n}\n\n/**\n * Validate sphere parameters: `radius` must be a positive number.\n * @param params - the raw sphere operation parameters.\n */\nexport function assertSphereParams(params: Record<string, unknown>): void {\n  assertPositiveNumber(params.radius, 'sphere.radius')\n}\n\n/**\n * Validate cylinder parameters (brepjs contract, §4.3 A 决策): `radius` and\n * `height` must be positive. The legacy `{ center }` object key is removed — any\n * call still passing `center` throws an explicit `E_ARGS_FORM` error pointing at\n * the new signature (error hint ≠ compatibility, 裁决 3).\n * @param params - the raw cylinder operation parameters.\n */\nexport function assertCylinderParams(params: Record<string, unknown>): void {\n  if (params.center !== undefined || params.size !== undefined) {\n    throw new Error(\n      '[faijs/args] cylinder: E_ARGS_FORM: the legacy object form is removed. ' +\n      'cylinder now uses `cylinder(radius, height, { at?, centered?, segments? })`.',\n    )\n  }\n  assertPositiveNumber(params.radius, 'cylinder.radius')\n  assertPositiveNumber(params.height, 'cylinder.height')\n}\n\n/**\n * Validate cone parameters (brepjs contract, §4.1 P 决策): `radiusBottom` and\n * `height` must be positive, `radiusTop` must be non-negative. The legacy\n * `{ center }` object key is removed — any call still passing `center` throws an\n * explicit `E_ARGS_FORM` error pointing at the new signature (error hint ≠\n * compatibility, 裁决 3).\n * @param params - the raw cone operation parameters.\n */\nexport function assertConeParams(params: Record<string, unknown>): void {\n  if (params.center !== undefined || params.size !== undefined) {\n    throw new Error(\n      '[faijs/args] cone: E_ARGS_FORM: the legacy object form is removed. ' +\n      'cone now uses `cone(bottomRadius, topRadius, height, { at?, centered?, segments? })`.',\n    )\n  }\n  assertPositiveNumber(params.radiusBottom, 'cone.radiusBottom')\n  assertNonNegativeNumber(params.radiusTop, 'cone.radiusTop')\n  assertPositiveNumber(params.height, 'cone.height')\n}\n\n/**\n * Validate wedge parameters: `width`, `height`, `angle`, and `length` must be\n * positive numbers.\n * @param params - the raw wedge operation parameters.\n */\nexport function assertWedgeParams(params: Record<string, unknown>): void {\n  assertPositiveNumber(params.width, 'wedge.width')\n  assertPositiveNumber(params.height, 'wedge.height')\n  assertPositiveNumber(params.angle, 'wedge.angle')\n  assertPositiveNumber(params.length, 'wedge.length')\n}\n\n/** BREP 路径：OCCT 精确构造 + 三角化 + fromBrep 登记（基本体无面演化；链根建 roleTable）。 */\nfunction primitiveBrep(op: string, params: Record<string, unknown>): Shape {\n  const kernel = getBrepApi()\n  const type = op === 'box' ? 'cube' : op\n  const result = primitiveToBrepSolid(kernel, type as 'cube' | 'sphere' | 'cylinder' | 'cone' | 'wedge', params as never)\n  // §3.2：链根建表——语义命名器按 op 类型给面命名（semantic 'top'/'lateral' 等，\n  // Phase 1.7 已删 'box:' 前缀与位置兜底）。\n  // Phase 1.6：origin 用链根语句的 StmtId（当前语句 id，§2.2/§4.1）——变量名会被\n  // 改名/复用，StmtId 全局唯一，保证多个同类型 primitive 不撞 origin。\n  const origin = String(getCurrentStmt()?.id ?? op)\n  const roles = assignRoles(kernel, result.solid, op)\n  // Explicit segments/nRad wins ($fn override); otherwise derive from the global\n  // tessellation knob (proposal 2026-10-07) — default still 2π/64 ≈ 64 segments.\n  const rawSegments = (params.nRad ?? params.segments) as number | undefined\n  const segments = clampNRad(rawSegments ?? (2 * Math.PI) / getTessellation().angularDeflection)\n  // P4 面级：brep 链基本体也挂契约序 faceRanges（编辑器默认 brep 链——\n  // setFaceColor 必须可用）。box 的 OCCT 面枚举序（实测 0=−X,1=+Y,…）与契约\n  // （+X/−X/+Y/−Y/+Z/−Z）不一致，按面法线重排 indices；cylinder/cone 的\n  // OCCT 序与契约一致（实测锁定：cylinder 0=侧面,1=顶,2=底；cone radiusTop=0\n  // 0=侧面,1=底），直接透传。\n  const { shape, faceRanges } = brepPrimitiveMesh(kernel, result.solid, op, segments)\n  if (faceRanges) shape.faceRanges = faceRanges\n  return fromBrep(\n    shape,\n    { solid: result.solid, roleTable: new Map([[asPartName(origin), roles]]) },\n  )\n}\n\n/** 面法线主轴向：用该面非退化三角形的法线和定轴与符号（OCCT 统一 outward 绕向）。 */\nfunction faceNormalAxis(\n  mesh: BrepMeshResult,\n  triStart: number,\n  triCount: number,\n): { axis: 0 | 1 | 2; sign: 1 | -1 } | null {\n  let sx = 0\n  let sy = 0\n  let sz = 0\n  for (let t = 0; t < triCount; t++) {\n    const i0 = mesh.indices[(triStart + t) * 3]\n    const i1 = mesh.indices[(triStart + t) * 3 + 1]\n    const i2 = mesh.indices[(triStart + t) * 3 + 2]\n    const p0x = mesh.positions[i0 * 3]; const p0y = mesh.positions[i0 * 3 + 1]; const p0z = mesh.positions[i0 * 3 + 2]\n    const p1x = mesh.positions[i1 * 3]; const p1y = mesh.positions[i1 * 3 + 1]; const p1z = mesh.positions[i1 * 3 + 2]\n    const p2x = mesh.positions[i2 * 3]; const p2y = mesh.positions[i2 * 3 + 1]; const p2z = mesh.positions[i2 * 3 + 2]\n    const ux = p1x - p0x; const uy = p1y - p0y; const uz = p1z - p0z\n    const vx = p2x - p0x; const vy = p2y - p0y; const vz = p2z - p0z\n    const nx = uy * vz - uz * vy\n    const ny = uz * vx - ux * vz\n    const nz = ux * vy - uy * vx\n    const len = Math.hypot(nx, ny, nz)\n    if (!Number.isFinite(len) || len < 1e-12) continue\n    sx += nx; sy += ny; sz += nz\n  }\n  const ax = Math.abs(sx); const ay = Math.abs(sy); const az = Math.abs(sz)\n  if (!Number.isFinite(ax + ay + az) || ax + ay + az < 1e-12) return null\n  if (ax >= ay && ax >= az) return { axis: 0, sign: sx > 0 ? 1 : -1 }\n  if (ay >= ax && ay >= az) return { axis: 1, sign: sy > 0 ? 1 : -1 }\n  return { axis: 2, sign: sz > 0 ? 1 : -1 }\n}\n\n/**\n * 三角化基本体并附 P4 契约序 faceRanges。\n * faceGroups 三元组 = [triStart, triCount, faceHash]，前两元是索引单位\n * （brep-ops.ts 注释）→ 三角形单位 = 索引/3。\n * - box：6 面 → 按面法线重排 indices 到契约序（0=+X,1=−X,2=+Y,3=−Y,4=+Z,5=−Z）。\n * - cylinder/cone：OCCT 枚举序与契约一致（探针实测锁定），直接透传，不重排。\n * - wedge/sphere 及其它：无契约，不挂 faceRanges（setFaceColor 抛 E_FACE_UNAVAILABLE）。\n */\nfunction brepPrimitiveMesh(\n  kernel: BrepEngineApi,\n  solid: BrepHandle,\n  op: string,\n  segments: number,\n): { shape: Shape; faceRanges?: Shape['faceRanges'] } {\n  const angularDeflection = (2 * Math.PI) / Math.max(3, segments)\n  const mesh = kernel.meshShape(solid, {\n    linearDeflection: getTessellation().linearDeflection,\n    angularDeflection,\n  })\n  const shape: Shape = {\n    positions: new Float32Array(mesh.positions),\n    indices: new Uint32Array(mesh.indices),\n  }\n  const fg = mesh.faceGroups\n  if (!fg) return { shape }\n  const faces: Array<{ triStart: number; triCount: number }> = []\n  for (let f = 0; f < fg.length / 3; f++) {\n    faces.push({ triStart: fg[f * 3] / 3, triCount: fg[f * 3 + 1] / 3 })\n  }\n  if (op === 'box' && faces.length === 6) {\n    // 契约序重排：每面判向 → 契约 idx（+X=0,−X=1,+Y=2,−Y=3,+Z=4,−Z=5）\n    const byContract: Array<(typeof faces)[number] | undefined> = new Array(6).fill(undefined)\n    for (const f of faces) {\n      const na = faceNormalAxis(mesh, f.triStart, f.triCount)\n      if (!na) return { shape }\n      const idx = na.axis === 0 ? (na.sign > 0 ? 0 : 1) : na.axis === 1 ? (na.sign > 0 ? 2 : 3) : (na.sign > 0 ? 4 : 5)\n      if (byContract[idx] !== undefined) return { shape } // 法线判向歧义 → 不挂\n      byContract[idx] = f\n    }\n    if (byContract.some((f) => f === undefined)) return { shape }\n    const newIndices = new Uint32Array(mesh.indices.length)\n    const faceRanges: NonNullable<Shape['faceRanges']> = []\n    let outTri = 0\n    for (let c = 0; c < 6; c++) {\n      const f = byContract[c]!\n      faceRanges.push({ start: outTri, count: f.triCount })\n      for (let t = 0; t < f.triCount; t++) {\n        newIndices[(outTri + t) * 3] = mesh.indices[(f.triStart + t) * 3]\n        newIndices[(outTri + t) * 3 + 1] = mesh.indices[(f.triStart + t) * 3 + 1]\n        newIndices[(outTri + t) * 3 + 2] = mesh.indices[(f.triStart + t) * 3 + 2]\n      }\n      outTri += f.triCount\n    }\n    return { shape: { ...shape, indices: newIndices }, faceRanges }\n  }\n  if ((op === 'cylinder' || op === 'cone') && faces.length >= 2) {\n    // OCCT 枚举序 = P4a 契约序（探针实测）：0=侧面, 1=顶, 2=底（cone 无顶盖时 0=侧面,1=底）\n    return { shape, faceRanges: faces.map((f) => ({ start: f.triStart, count: f.triCount })) }\n  }\n  return { shape }\n}\n\n/**\n * 创建长方体（brepjs 契约，§4.1 A 决策）。\n * @group 创建\n * @inputs 0\n * @async false\n * @qual ok\n * @name box\n * @returns Shape 长方体几何，可作为后续 op 的输入。\n * @param params.width - X 方向边长（mm）。type:number required:true\n * @param params.depth - Y 方向边长（mm）。type:number required:true\n * @param params.height - Z 方向边长（mm）。type:number required:true\n * @param params.at - 中心点（CENTER 语义，优先于 centered）。type:[x,y,z] 可选\n * @param params.centered - 无 at 时是否居中到原点（type:boolean 默认 false，角点在原点）。\n * @param params.segments - 细分度（影响三角化）。type:number 默认 64（= brepjs standard 等效，P0 §5.0/§5.1）\n * @example\n * const part0 = cad.box(10 * MM, 20 * MM, 30 * MM)\n * const part1 = cad.box(30 * MM, 20 * MM, 10 * MM, { at: [1, 2, 3], segments: 64 })\n *\n * 位置原生（§4.1/§6.2）：`box(width, depth, height)` 与 `box(10 * MM, 20 * MM, 30 * MM, { at: [1, 2, 3] })`\n * 有量纲位必须写单位字面量（基准单位亦然，`10` 裸数字被 D8 R2 拒）。\n * 归一到同一对象（D11 位置→对象 + 尾参 options 合并）。旧 `{ size }` 对象形态已废弃（裁决 3），\n * 传入会抛 `E_ARGS_FORM`（错误提示 ≠ 兼容，§4.1）。\n   */\nexport const box = defineOp({\n  name: 'box',\n  mesh: (params: Record<string, unknown>) => {\n    assertBoxParams(params)\n    return meshPrimitives.box(params as never)\n  },\n  brep: (params: Record<string, unknown>) => {\n    assertBoxParams(params)\n    return primitiveBrep('box', params)\n  },\n  // schema feeds codegen/UI parameter panels.\n  schema: {\n    width: 'number',\n    depth: 'number',\n    height: 'number',\n    at: 'vec3?',\n    centered: 'boolean?',\n    segments: 'number?',\n  },\n  // D11 位置→对象（§4.1/§6.2）：三个标量装箱成 { width, depth, height }，尾参\n  // options 经 dual-form-args 的尾参合并（§6.2）并入。\n  slotMap: { keys: ['width', 'depth', 'height'] },\n  paramDims: { width: 'length', depth: 'length', height: 'length' },\n  naming: { kind: 'construct', newFaces: { via: 'explicit', vocab: [{ kind: 'semantic', name: 'top' }, { kind: 'semantic', name: 'bottom' }, { kind: 'semantic', name: 'front' }, { kind: 'semantic', name: 'back' }, { kind: 'semantic', name: 'left' }, { kind: 'semantic', name: 'right' }] } } as Provenance,\n})\n\n/**\n * 创建球体。\n * @group 创建\n * @inputs 0\n * @async false\n * @qual ok\n * @name sphere\n * @returns Shape 球体几何，可作为后续 op 的输入。\n * @param params.radius - 半径（mm）。type:number required:true\n * @param params.segments - 细分度（影响面数）。type:number 默认 64（= brepjs standard 等效，P0 §5.0/§5.1）\n * @param params.center - 球心位置（at 的同义别名）。type:[x,y,z] 默认 [0,0,0]（原点）。\n * @param params.at - 球心位置（center 的同义别名，brepjs 契约；裁决 4 双形态合法）。\n * @example\n * const r = cad.sphere({ radius: 10 })\n * const r = cad.sphere(10, { at: [0, 0, 10], segments: 64 })\n * const r = cad.sphere({ radius: 10, segments: 64, center: [0,0,10] })\n */\nexport const sphere = defineOp({\n  name: 'sphere',\n  mesh: (params: Record<string, unknown>) => {\n    assertSphereParams(params)\n    return meshPrimitives.sphere(centerParams(params) as never)\n  },\n  brep: (params: Record<string, unknown>) => {\n    assertSphereParams(params)\n    return primitiveBrep('sphere', centerParams(params))\n  },\n  schema: { radius: 'number', segments: 'number?', center: 'vec3?', at: 'vec3?' },\n  // D11: `sphere(10)` == `sphere({ radius: 10 })`; 尾参 options（{at, segments}）\n  // 经 dual-form-args 的尾参合并规则归一（裁决 4，§6.2）。\n  slotMap: { keys: ['radius'] },\n  paramDims: { radius: 'length' },\n  naming: { kind: 'unmodeled', reason: 'sphere face vocabulary pending Phase 3' } as Provenance,\n})\n\n/**\n * 位置归一：把 brepjs 契约的 `at`（= faijs 的 `center`，球心语义）归一为一个\n * `center` 输入，mesh/brep 两条消费路径共用（裁决 1/4，§4.2）。\n */\nfunction centerParams(params: Record<string, unknown>): Record<string, unknown> {\n  if (params.at !== undefined) return { ...params, center: params.at }\n  return params\n}\n\n/**\n * 创建圆柱体（brepjs 契约，§4.3 A 决策）。\n * 锚点：`at` 是**底面轴心**（BASE 语义，默认 [0,0,0]，底面在原点、+Z 延伸）；`centered:true`\n * 指底面落到 −h/2（无 at 时居中到原点；与 `at` 同给时以 `at` 为中心）。\n * @group 创建\n * @inputs 0\n * @async false\n * @qual ok\n * @name cylinder\n * @returns Shape 圆柱体几何，可作为后续 op 的输入。\n * @param params.radius - 底面半径（mm）。type:number required:true\n * @param params.height - 高度（mm），沿 +Z 轴。type:number required:true\n * @param params.at - 底面中心（BASE 语义）。type:[x,y,z] 可选\n * @param params.centered - 是否居中（底面 −h/2；与 at 同给时以 at 为中心）。type:boolean 默认 false\n * @param params.segments - 细分度（影响三角化）。type:number 默认 64（= brepjs standard 等效，P0 §5.0/§5.1）\n * @example\n * const c = cad.cylinder(5, 40)\n * const c = cad.cylinder(5, 40, { at: [0, 0, 20], segments: 64 })\n *\n * 位置原生（§4.1/§6.2）：`cylinder(5, 40)` 与 `cylinder(5, 40, { at: [0, 0, 20] })`\n * 归一到同一对象（D11 位置→装箱 + 尾参 options 合并）。旧 `{ center }` 对象形态已废弃\n * （裁决 3），传入会抛 `E_ARGS_FORM`（错误提示 ≠ 兼容，§4.3）。\n  */\nexport const cylinder = defineOp({\n  name: 'cylinder',\n  mesh: (params: Record<string, unknown>) => {\n    assertCylinderParams(params)\n    return meshPrimitives.cylinder(params as never)\n  },\n  brep: (params: Record<string, unknown>) => {\n    assertCylinderParams(params)\n    return primitiveBrep('cylinder', params)\n  },\n  schema: { radius: 'number', height: 'number', at: 'vec3?', centered: 'boolean?', segments: 'number?' },\n  // D11（§4.1/§6.2）：`cylinder(5, 40)` 两个标量装箱成 { radius, height }；尾参 options\n  // 经 dual-form-args 尾参合并并入。\n  slotMap: { keys: ['radius', 'height'] },\n  paramDims: { radius: 'length', height: 'length' },\n  naming: { kind: 'construct', newFaces: { via: 'explicit', vocab: [{ kind: 'semantic', name: 'top' }, { kind: 'semantic', name: 'bottom' }, { kind: 'semantic', name: 'lateral' }] } } as Provenance,\n})\n\n/**\n * 创建圆锥体（brepjs 契约，§4.1 P 决策）。radiusTop 等于 radiusBottom 时即圆柱，0 为尖锥。\n * 锚点：`at` 是**底面轴心**（BASE 语义，默认 [0,0,0]，底面在原点、+Z 延伸）；`centered:true`\n * 指底面落到 −h/2（无 at 时居中到原点；与 `at` 同给时以 `at` 为中心）。\n * @group 创建\n * @inputs 0\n * @async false\n * @qual ok\n * @name cone\n * @returns Shape 圆锥体几何，可作为后续 op 的输入。\n * @param params.radiusBottom - 底半径（mm）。type:number required:true\n * @param params.radiusTop - 顶半径（mm），0 为尖锥，非负，等于 radiusBottom 得圆柱。type:number required:true\n * @param params.height - 高度（mm），沿 +Z 轴。type:number required:true\n * @param params.at - 底面轴心（BASE 语义）。type:[x,y,z] 可选\n * @param params.centered - 是否居中（底面 −h/2；与 at 同给时以 at 为中心）。type:boolean 默认 false\n * @param params.segments - 细分度（影响三角化）。type:number 默认 64（= brepjs standard 等效，P0 §5.0/§5.1）\n * @example\n * const c = cad.cone(10, 4, 30)\n * const c = cad.cone(10, 0, 30, { at: [0, 0, 20], segments: 64 })\n * 位置原生（§4.1/§6.2）：`cone(10, 4, 30)` 与 `cone(10, 4, 30, { at: [0, 0, 20] })`\n * 归一到同一对象（D11 位置→装箱 + 尾参 options 合并）。旧 `{ center }`/`{ size }` 对象形态\n * 已废弃（裁决 3），传入会抛 E_ARGS_FORM（错误提示 ≠ 兼容）。\n  */\nexport const cone = defineOp({\n  name: 'cone',\n  mesh: (params: Record<string, unknown>) => {\n    assertConeParams(params)\n    return meshPrimitives.cone(params as never)\n  },\n  brep: (params: Record<string, unknown>) => {\n    assertConeParams(params)\n    return primitiveBrep('cone', params)\n  },\n  schema: {\n    radiusBottom: 'number',\n    radiusTop: 'number',\n    height: 'number',\n    at: 'vec3?',\n    centered: 'boolean?',\n    segments: 'number?',\n  },\n  // D11（§4.1/§6.2）: `cone(10, 4, 30)` 三个标量装箱成 { radiusBottom, radiusTop, height }。\n  // 尾参 options（{at, centered, segments}）经 dual-form-args 尾参合并并入。\n  slotMap: { keys: ['radiusBottom', 'radiusTop', 'height'] },\n  paramDims: { radiusBottom: 'length', radiusTop: 'length', height: 'length' },\n  naming: { kind: 'construct', newFaces: { via: 'explicit', vocab: [{ kind: 'semantic', name: 'top' }, { kind: 'semantic', name: 'bottom' }, { kind: 'semantic', name: 'lateral' }] } } as Provenance,\n})\n\n/**\n * 创建楔形体。唯一契约是 width/height/angle/length（width/height/angle 为正数，length 沿切割方向），\n * 旧文档的 size 形态已废弃，传 { size } 会抛错。\n * @group 创建\n * @inputs 0\n * @async false\n * @qual ok\n * @name wedge\n * @note 曾与 UI 面板的 `size` 形态并存并写入文档，但断言层确认唯一合法契约是 width/height/angle/length；传 `{ size }` 直接抛错。已按真源收敛。\n * @returns Shape 楔形体几何，可作为后续 op 的输入。\n * @param params.width - 底面宽度（mm）。type:number required:true\n * @param params.height - 高度（mm）。type:number required:true\n * @param params.angle - 楔形角度（度）。type:number required:true\n * @param params.length - 沿切割方向的长度（mm）。type:number required:true\n * @example\n * const w = cad.wedge({ width: 30, height: 20, angle: 45, length: 10 })\n  */\nexport const wedge = defineOp({\n  name: 'wedge',\n  mesh: (params: Record<string, unknown>) => {\n    assertWedgeParams(params)\n    return meshPrimitives.wedge(params as never)\n  },\n  brep: (params: Record<string, unknown>) => {\n    assertWedgeParams(params)\n    return primitiveBrep('wedge', params)\n  },\n  // D11: `wedge(30, 20, 45, 10)` == `wedge({ width: 30, height: 20, angle: 45, length: 10 })`.\n  slotMap: { keys: ['width', 'height', 'angle', 'length'] },\n  paramDims: { width: 'length', height: 'length', angle: 'angle', length: 'length' },\n  naming: { kind: 'unmodeled', reason: 'wedge face vocabulary pending Phase 3' } as Provenance,\n})\n"]}

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

@@ -1 +1 @@
-{"version":3,"file":"profile.d.ts","sourceRoot":"","sources":["../../src/api/profile.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;GAeG;AAEH,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,eAAe,CAAA;AAO1C,OAAO,EAAE,SAAS,EAAE,MAAM,yBAAyB,CAAA;AAQnD,2BAA2B;AAC3B,MAAM,WAAW,cAAc;IAC7B,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,aAAa;IAC5B,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;;;;;;;GAOG;AACH,MAAM,WAAW,gBAAgB;IAC/B,IAAI,EAAE,QAAQ,CAAA;IACd,YAAY;IACZ,MAAM,EAAE,MAAM,CAAA;IACd,8BAA8B;IAC9B,KAAK,EAAE,MAAM,EAAE,CAAA;IACf,qCAAqC;IACrC,KAAK,EAAE,MAAM,EAAE,CAAA;IACf,aAAa;IACb,cAAc,EAAE,MAAM,EAAE,CAAA;IACxB,iBAAiB;IACjB,QAAQ,CAAC,EAAE,OAAO,CAAA;IAClB,sBAAsB;IACtB,OAAO,CAAC,EAAE,MAAM,EAAE,CAAA;IAClB,mBAAmB;IACnB,KAAK,CAAC,EAAE,MAAM,CAAA;IACd,mBAAmB;IACnB,IAAI,CAAC,EAAE,MAAM,CAAA;CACd;AAED,+BAA+B;AAC/B,MAAM,MAAM,UAAU,GAAG,cAAc,GAAG,aAAa,GAAG,gBAAgB,CAAA;AAE1E,yBAAyB;AACzB,MAAM,WAAW,WAAW;IAC1B,QAAQ,EAAE,UAAU,EAAE,CAAA;CACvB;AAED;;;;;;;;;;;GAWG;AACH,MAAM,MAAM,aAAa,GAAG,SAAS,GAAG,SAAS,EAAE,CAAA;AAEnD,0EAA0E;AAC1E,MAAM,WAAW,aAAa;IAC5B;;;OAGG;IACH,QAAQ,EAAE,WAAW,EAAE,GAAG,aAAa,CAAA;IACvC;;;OAGG;IACH,EAAE,CAAC,EAAE,MAAM,GAAG,MAAM,CAAA;CACrB;AAeD;;;;;;;;;GASG;AACH,wBAAgB,mBAAmB,CAAC,QAAQ,EAAE,OAAO,GAAG,SAAS,EAAE,CAsBlE;AAED;;;;GAIG;AACH,wBAAgB,mBAAmB,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG,IAAI,CA2BzE;AAED;;;;;;;;;;;GAWG;AACH,wBAAgB,iBAAiB,CAAC,MAAM,EAAE,aAAa,GAAG,KAAK,CAiD9D;AA+ED;;;;;;;;;;;;;GAaG;AACH,eAAO,MAAM,OAAO;;CAOlB,CAAA"}
+{"version":3,"file":"profile.d.ts","sourceRoot":"","sources":["../../src/api/profile.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;GAeG;AAEH,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,eAAe,CAAA;AAO1C,OAAO,EAAE,SAAS,EAAE,MAAM,yBAAyB,CAAA;AAQnD,2BAA2B;AAC3B,MAAM,WAAW,cAAc;IAC7B,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,aAAa;IAC5B,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;;;;;;;GAOG;AACH,MAAM,WAAW,gBAAgB;IAC/B,IAAI,EAAE,QAAQ,CAAA;IACd,YAAY;IACZ,MAAM,EAAE,MAAM,CAAA;IACd,8BAA8B;IAC9B,KAAK,EAAE,MAAM,EAAE,CAAA;IACf,qCAAqC;IACrC,KAAK,EAAE,MAAM,EAAE,CAAA;IACf,aAAa;IACb,cAAc,EAAE,MAAM,EAAE,CAAA;IACxB,iBAAiB;IACjB,QAAQ,CAAC,EAAE,OAAO,CAAA;IAClB,sBAAsB;IACtB,OAAO,CAAC,EAAE,MAAM,EAAE,CAAA;IAClB,mBAAmB;IACnB,KAAK,CAAC,EAAE,MAAM,CAAA;IACd,mBAAmB;IACnB,IAAI,CAAC,EAAE,MAAM,CAAA;CACd;AAED,+BAA+B;AAC/B,MAAM,MAAM,UAAU,GAAG,cAAc,GAAG,aAAa,GAAG,gBAAgB,CAAA;AAE1E,yBAAyB;AACzB,MAAM,WAAW,WAAW;IAC1B,QAAQ,EAAE,UAAU,EAAE,CAAA;CACvB;AAED;;;;;;;;;;;GAWG;AACH,MAAM,MAAM,aAAa,GAAG,SAAS,GAAG,SAAS,EAAE,CAAA;AAEnD,0EAA0E;AAC1E,MAAM,WAAW,aAAa;IAC5B;;;OAGG;IACH,QAAQ,EAAE,WAAW,EAAE,GAAG,aAAa,CAAA;IACvC;;;OAGG;IACH,EAAE,CAAC,EAAE,MAAM,GAAG,MAAM,CAAA;CACrB;AAeD;;;;;;;;;GASG;AACH,wBAAgB,mBAAmB,CAAC,QAAQ,EAAE,OAAO,GAAG,SAAS,EAAE,CAsBlE;AAED;;;;GAIG;AACH,wBAAgB,mBAAmB,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG,IAAI,CA2BzE;AAED;;;;;;;;;;;GAWG;AACH,wBAAgB,iBAAiB,CAAC,MAAM,EAAE,aAAa,GAAG,KAAK,CAiD9D;AA+ED;;;;;;;;;;;;;GAaG;AACH,eAAO,MAAM,OAAO;;CAQlB,CAAA"}

package/dist/api/profile.js

@@ -248,11 +248,11 @@ function blueprintArea(entry) {
  * const w = cad.profile({ contours: [{ segments: [{ kind:'line', x1:0,y1:0,x2:10,y2:0 }, ...] }], as: 'wire' })
  */
 export const profile = defineOp({
-    capabilities: ['directEdit'],
     brep(params) {
         assertProfileParams(params);
         return buildProfileShape(params);
     },
     naming: { kind: 'construct', newFaces: { via: 'explicit', vocab: [] } },
+    paramDims: {},
 });
 //# sourceMappingURL=profile.js.map