@faicad/faijs 0.19.0 → 0.29.3

package/dist/api/measurement/index.js

@@ -18,54 +18,81 @@
  * 由 gen-l3-surface.ts re-export 进 api/generated/script-face.ts / script-face-manifest.ts，
  * gen-symbol-table.ts 同步 check() 符号表——cad 命名空间、manifest、符号表三处同源。
  */
-import { brepOf } from '../../shape.js';
+import { brepOf, meshSolidOf } from '../../shape.js';
 import { getBrepApi } from '../../brep/handle-bridge.js';
-/** 读该 Shape 的 BREP 句柄；mesh-only 输入在测量前显式报错（不静默降级）。 */
-function requireBrepHandle(shape, op) {
-    const h = brepOf(shape);
-    if (h === undefined) {
-        throw new Error(`[faijs/measurement] ${op}: E_BREP_ONLY_INPUT: measurement requires a BREP-backed shape (mesh-only input has no BREP handle)`);
+import { getBackends } from '../../runtime-state.js';
+/**
+ * 取量测目标：精度链句柄优先，其次是网格零件句柄；两者都没有 → 显式报错。
+ *
+ * 网格零件（方案 2026-10-01 §4 Phase 4 / B4 批）走**网格后端**的 L1 内核。它的
+ * 量测值是对**面片几何**的精确量（STL 的曲面本来就是离散的：立方体 1000 与解析值
+ * 一致，圆柱侧面则是 32 个面片之和）——不是对原始设计的还原，也不是估算。所以
+ * 这里如实量、如实说，不额外加"近似"折扣，也不静默返回 0。
+ *
+ * @param shape - the shape being measured.
+ * @param op - the measurement op name (error messages).
+ * @returns the handle to measure plus the kernel that can read it.
+ * @throws {Error} `E_MEASUREMENT_NO_HANDLE` when the shape carries neither chain handle.
+ */
+function requireMeasurementTarget(shape, op) {
+    const brep = brepOf(shape);
+    if (brep !== undefined) {
+        return { kernel: getBrepApi(), handle: brep, chain: 'brep' };
+    }
+    const mesh = meshSolidOf(shape);
+    if (mesh !== undefined) {
+        const backend = getBackends().kernel.meshSolid;
+        if (!backend) {
+            throw new Error(`[faijs/measurement] ${op}: E_MESH_SOLID_UNSUPPORTED: this shape is a mesh solid but no mesh ` +
+                'backend is assembled in this host');
+        }
+        return { kernel: backend.kernel, handle: mesh, chain: 'mesh' };
     }
-    return h;
+    throw new Error(`[faijs/measurement] ${op}: E_MEASUREMENT_NO_HANDLE: measurement requires a shape with a chain handle ` +
+        '(a bare mesh has neither a BREP handle nor a mesh solid handle)');
 }
 /**
  * 测量形状的表面积（L1 getSurfaceArea，两引擎同口径）。
  *
- * @param shape - 被测量的形状（Face / Shape3D / compound）。
- * @returns 表面积（mm²）。
+ * @param shape - 被测量的形状（Face / Shape3D / compound / 网格零件）。
+ * @returns 表面积（mm²；网格零件按面片几何计）。
  */
 export async function area(shape) {
-    const h = requireBrepHandle(shape, 'area');
-    return getBrepApi().getSurfaceArea(h);
+    const t = requireMeasurementTarget(shape, 'area');
+    return t.kernel.getSurfaceArea(t.handle);
 }
 /**
  * 测量形状的边长/线长（L1 getLength，两引擎同口径）。
  *
- * @param shape - 被测量的形状（edge / wire / solid，solid 按内核口径计边）。
+ * 口径 = **shape 中所有唯一 edge 的弧长之和**：edge 取自身弧长，wire 取其边之和，
+ * face 取边界边之和，solid 取全部边之和，compound 取各子实体之和。两个 BREP 引擎
+ * 在此口径下逐位一致（2026-10-02 归一化，见 occt / brepkit 适配器的 getLength）。
+ *
+ * @param shape - 被测量的形状（edge / wire / face / solid / compound）。
  * @returns 长度（mm）。
  */
 export async function length(shape) {
-    const h = requireBrepHandle(shape, 'length');
-    return getBrepApi().getLength(h);
+    const t = requireMeasurementTarget(shape, 'length');
+    return t.kernel.getLength(t.handle);
 }
 /**
  * 测量形状的体素体积（L1 getVolume，两引擎同口径）。
  *
  * @param shape - 被测量的形状（solid / compound；对 wire / face 内核按自身口径计，可能返回 0）。
- * @returns 体积（mm³）。
+ * @returns 体积（mm³；网格零件按面片几何计）。
  */
 export async function volume(shape) {
-    const h = requireBrepHandle(shape, 'volume');
-    return getBrepApi().getVolume(h);
+    const t = requireMeasurementTarget(shape, 'volume');
+    return t.kernel.getVolume(t.handle);
 }
 /**
  * 测量形状的质心（L1 getCenterOfMass，两引擎同口径）。
  *
- * @param shape - 被测量的形状（solid / compound / face）。
+ * @param shape - 被测量的形状（solid / compound / face / 网格零件）。
  * @returns 质心坐标（mm，BREP 中立形态 {x,y,z}）。
  */
 export async function centerOfMass(shape) {
-    const h = requireBrepHandle(shape, 'centerOfMass');
-    return getBrepApi().getCenterOfMass(h);
+    const t = requireMeasurementTarget(shape, 'centerOfMass');
+    return t.kernel.getCenterOfMass(t.handle);
 }
 //# sourceMappingURL=index.js.map

package/dist/api/measurement/index.js.map

@@ -1 +1 @@
-{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../src/api/measurement/index.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;GAmBG;AAEH,OAAO,EAAE,MAAM,EAAE,MAAM,aAAa,CAAA;AACpC,OAAO,EAAE,UAAU,EAAE,MAAM,0BAA0B,CAAA;AAIrD,sDAAsD;AACtD,SAAS,iBAAiB,CAAC,KAAY,EAAE,EAAU;IACjD,MAAM,CAAC,GAAG,MAAM,CAAC,KAAK,CAAC,CAAA;IACvB,IAAI,CAAC,KAAK,SAAS,EAAE,CAAC;QACpB,MAAM,IAAI,KAAK,CACb,uBAAuB,EAAE,oGAAoG,CAC9H,CAAA;IACH,CAAC;IACD,OAAO,CAAe,CAAA;AACxB,CAAC;AAED;;;;;GAKG;AACH,MAAM,CAAC,KAAK,UAAU,IAAI,CAAC,KAAY;IACrC,MAAM,CAAC,GAAG,iBAAiB,CAAC,KAAK,EAAE,MAAM,CAAC,CAAA;IAC1C,OAAO,UAAU,EAAE,CAAC,cAAc,CAAC,CAAC,CAAC,CAAA;AACvC,CAAC;AAED;;;;;GAKG;AACH,MAAM,CAAC,KAAK,UAAU,MAAM,CAAC,KAAY;IACvC,MAAM,CAAC,GAAG,iBAAiB,CAAC,KAAK,EAAE,QAAQ,CAAC,CAAA;IAC5C,OAAO,UAAU,EAAE,CAAC,SAAS,CAAC,CAAC,CAAC,CAAA;AAClC,CAAC;AAED;;;;;GAKG;AACH,MAAM,CAAC,KAAK,UAAU,MAAM,CAAC,KAAY;IACvC,MAAM,CAAC,GAAG,iBAAiB,CAAC,KAAK,EAAE,QAAQ,CAAC,CAAA;IAC5C,OAAO,UAAU,EAAE,CAAC,SAAS,CAAC,CAAC,CAAC,CAAA;AAClC,CAAC;AAED;;;;;GAKG;AACH,MAAM,CAAC,KAAK,UAAU,YAAY,CAAC,KAAY;IAC7C,MAAM,CAAC,GAAG,iBAAiB,CAAC,KAAK,EAAE,cAAc,CAAC,CAAA;IAClD,OAAO,UAAU,EAAE,CAAC,eAAe,CAAC,CAAC,CAAC,CAAA;AACxC,CAAC","sourcesContent":["/**\n * measurement — cad 脚本面测量 op（Phase 7，narrowing plan §Phase 7 / Q4）\n *\n * 补齐 §1.5 的反向缺口：BrepEngineApi 的 L1 测量面（getSurfaceArea / getLength）\n * 在脚本面此前没有任何入口——脚本里量不出面积、长度。本模块提供两个**中立**测量\n * op（走 getBrepApi() 的 L1 契约面，occt / brepkit / 小程序端同一份 .fai.js 都可跑）：\n *   - area(shape)         → 表面积（getSurfaceArea）；\n *   - length(shape)       → 边长/线长（getLength）；\n *   - volume(shape)       → 体积（getVolume）；\n *   - centerOfMass(shape) → 质心坐标（getCenterOfMass，BrepVec3 {x,y,z}）。\n *\n * 与 vendored 测量面（api/generated/measurement.ts 的 measureArea / measureLength）\n * 的区别：那些 op 经 l3-bridge 借入层 + vendored 函数绑定 occt-wasm，整体 occt-only\n * （Phase 6 已声明 engines: ['occt']）；本模块直接调 L1 方法，无借入层、无引擎绑定，\n * 是脚本面的中立测量入口。返回纯数字，不产出 Shape、不消费 shape。\n *\n * 三源一致（B1）：本模块经 arg-spec 的 `scriptFace: true` 条目（kind 'faijs'）登记，\n * 由 gen-l3-surface.ts re-export 进 api/generated/script-face.ts / script-face-manifest.ts，\n * gen-symbol-table.ts 同步 check() 符号表——cad 命名空间、manifest、符号表三处同源。\n */\n\nimport { brepOf } from '../../shape'\nimport { getBrepApi } from '../../brep/handle-bridge'\nimport type { Shape } from '../../mesh/types'\nimport type { BrepHandle, BrepVec3 } from '../../brep/engine/types'\n\n/** 读该 Shape 的 BREP 句柄；mesh-only 输入在测量前显式报错（不静默降级）。 */\nfunction requireBrepHandle(shape: Shape, op: string): BrepHandle {\n  const h = brepOf(shape)\n  if (h === undefined) {\n    throw new Error(\n      `[faijs/measurement] ${op}: E_BREP_ONLY_INPUT: measurement requires a BREP-backed shape (mesh-only input has no BREP handle)`,\n    )\n  }\n  return h as BrepHandle\n}\n\n/**\n * 测量形状的表面积（L1 getSurfaceArea，两引擎同口径）。\n *\n * @param shape - 被测量的形状（Face / Shape3D / compound）。\n * @returns 表面积（mm²）。\n */\nexport async function area(shape: Shape): Promise<number> {\n  const h = requireBrepHandle(shape, 'area')\n  return getBrepApi().getSurfaceArea(h)\n}\n\n/**\n * 测量形状的边长/线长（L1 getLength，两引擎同口径）。\n *\n * @param shape - 被测量的形状（edge / wire / solid，solid 按内核口径计边）。\n * @returns 长度（mm）。\n */\nexport async function length(shape: Shape): Promise<number> {\n  const h = requireBrepHandle(shape, 'length')\n  return getBrepApi().getLength(h)\n}\n\n/**\n * 测量形状的体素体积（L1 getVolume，两引擎同口径）。\n *\n * @param shape - 被测量的形状（solid / compound；对 wire / face 内核按自身口径计，可能返回 0）。\n * @returns 体积（mm³）。\n */\nexport async function volume(shape: Shape): Promise<number> {\n  const h = requireBrepHandle(shape, 'volume')\n  return getBrepApi().getVolume(h)\n}\n\n/**\n * 测量形状的质心（L1 getCenterOfMass，两引擎同口径）。\n *\n * @param shape - 被测量的形状（solid / compound / face）。\n * @returns 质心坐标（mm，BREP 中立形态 {x,y,z}）。\n */\nexport async function centerOfMass(shape: Shape): Promise<BrepVec3> {\n  const h = requireBrepHandle(shape, 'centerOfMass')\n  return getBrepApi().getCenterOfMass(h)\n}\n"]}
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../src/api/measurement/index.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;GAmBG;AAEH,OAAO,EAAE,MAAM,EAAE,WAAW,EAAE,MAAM,aAAa,CAAA;AACjD,OAAO,EAAE,UAAU,EAAE,MAAM,0BAA0B,CAAA;AACrD,OAAO,EAAE,WAAW,EAAE,MAAM,qBAAqB,CAAA;AAgBjD;;;;;;;;;;;;GAYG;AACH,SAAS,wBAAwB,CAAC,KAAY,EAAE,EAAU;IACxD,MAAM,IAAI,GAAG,MAAM,CAAC,KAAK,CAA2B,CAAA;IACpD,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;QACvB,OAAO,EAAE,MAAM,EAAE,UAAU,EAAE,EAAE,MAAM,EAAE,IAAI,EAAE,KAAK,EAAE,MAAM,EAAE,CAAA;IAC9D,CAAC;IACD,MAAM,IAAI,GAAG,WAAW,CAAC,KAAK,CAA2B,CAAA;IACzD,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;QACvB,MAAM,OAAO,GAAG,WAAW,EAAE,CAAC,MAAM,CAAC,SAAyC,CAAA;QAC9E,IAAI,CAAC,OAAO,EAAE,CAAC;YACb,MAAM,IAAI,KAAK,CACb,uBAAuB,EAAE,qEAAqE;gBAC9F,mCAAmC,CACpC,CAAA;QACH,CAAC;QACD,OAAO,EAAE,MAAM,EAAE,OAAO,CAAC,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,KAAK,EAAE,MAAM,EAAE,CAAA;IAChE,CAAC;IACD,MAAM,IAAI,KAAK,CACb,uBAAuB,EAAE,8EAA8E;QACvG,iEAAiE,CAClE,CAAA;AACH,CAAC;AAED;;;;;GAKG;AACH,MAAM,CAAC,KAAK,UAAU,IAAI,CAAC,KAAY;IACrC,MAAM,CAAC,GAAG,wBAAwB,CAAC,KAAK,EAAE,MAAM,CAAC,CAAA;IACjD,OAAO,CAAC,CAAC,MAAM,CAAC,cAAc,CAAC,CAAC,CAAC,MAAM,CAAC,CAAA;AAC1C,CAAC;AAED;;;;;;;;;GASG;AACH,MAAM,CAAC,KAAK,UAAU,MAAM,CAAC,KAAY;IACvC,MAAM,CAAC,GAAG,wBAAwB,CAAC,KAAK,EAAE,QAAQ,CAAC,CAAA;IACnD,OAAO,CAAC,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC,CAAA;AACrC,CAAC;AAED;;;;;GAKG;AACH,MAAM,CAAC,KAAK,UAAU,MAAM,CAAC,KAAY;IACvC,MAAM,CAAC,GAAG,wBAAwB,CAAC,KAAK,EAAE,QAAQ,CAAC,CAAA;IACnD,OAAO,CAAC,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC,CAAA;AACrC,CAAC;AAED;;;;;GAKG;AACH,MAAM,CAAC,KAAK,UAAU,YAAY,CAAC,KAAY;IAC7C,MAAM,CAAC,GAAG,wBAAwB,CAAC,KAAK,EAAE,cAAc,CAAC,CAAA;IACzD,OAAO,CAAC,CAAC,MAAM,CAAC,eAAe,CAAC,CAAC,CAAC,MAAM,CAAC,CAAA;AAC3C,CAAC","sourcesContent":["/**\n * measurement — cad 脚本面测量 op（Phase 7，narrowing plan §Phase 7 / Q4）\n *\n * 补齐 §1.5 的反向缺口：BrepEngineApi 的 L1 测量面（getSurfaceArea / getLength）\n * 在脚本面此前没有任何入口——脚本里量不出面积、长度。本模块提供两个**中立**测量\n * op（走 getBrepApi() 的 L1 契约面，occt / brepkit / 小程序端同一份 .fai.js 都可跑）：\n *   - area(shape)         → 表面积（getSurfaceArea）；\n *   - length(shape)       → 边长/线长（getLength）；\n *   - volume(shape)       → 体积（getVolume）；\n *   - centerOfMass(shape) → 质心坐标（getCenterOfMass，BrepVec3 {x,y,z}）。\n *\n * 与 vendored 测量面（api/generated/measurement.ts 的 measureArea / measureLength）\n * 的区别：那些 op 经 l3-bridge 借入层 + vendored 函数绑定 occt-wasm，整体 occt-only\n * （Phase 6 已声明 engines: ['occt']）；本模块直接调 L1 方法，无借入层、无引擎绑定，\n * 是脚本面的中立测量入口。返回纯数字，不产出 Shape、不消费 shape。\n *\n * 三源一致（B1）：本模块经 arg-spec 的 `scriptFace: true` 条目（kind 'faijs'）登记，\n * 由 gen-l3-surface.ts re-export 进 api/generated/script-face.ts / script-face-manifest.ts，\n * gen-symbol-table.ts 同步 check() 符号表——cad 命名空间、manifest、符号表三处同源。\n */\n\nimport { brepOf, meshSolidOf } from '../../shape'\nimport { getBrepApi } from '../../brep/handle-bridge'\nimport { getBackends } from '../../runtime-state'\nimport type { MeshSolidBackend } from '../../brep/mesh-solid'\nimport type { BrepEngineApi } from '../../brep/engine/primitives'\nimport type { Shape } from '../../mesh/types'\nimport type { BrepHandle, BrepVec3 } from '../../brep/engine/types'\n\n/** 量测目标：句柄 + 读它的内核（精度链用 BREP 引擎，网格链用网格后端）。 */\ninterface MeasurementTarget {\n  /** 读该句柄的 L1 契约面。 */\n  readonly kernel: BrepEngineApi\n  /** 被量测的句柄。 */\n  readonly handle: BrepHandle\n  /** 量测所在链（`mesh` = 网格零件，量的是面片几何）。 */\n  readonly chain: 'brep' | 'mesh'\n}\n\n/**\n * 取量测目标：精度链句柄优先，其次是网格零件句柄；两者都没有 → 显式报错。\n *\n * 网格零件（方案 2026-10-01 §4 Phase 4 / B4 批）走**网格后端**的 L1 内核。它的\n * 量测值是对**面片几何**的精确量（STL 的曲面本来就是离散的：立方体 1000 与解析值\n * 一致，圆柱侧面则是 32 个面片之和）——不是对原始设计的还原，也不是估算。所以\n * 这里如实量、如实说，不额外加\"近似\"折扣，也不静默返回 0。\n *\n * @param shape - the shape being measured.\n * @param op - the measurement op name (error messages).\n * @returns the handle to measure plus the kernel that can read it.\n * @throws {Error} `E_MEASUREMENT_NO_HANDLE` when the shape carries neither chain handle.\n */\nfunction requireMeasurementTarget(shape: Shape, op: string): MeasurementTarget {\n  const brep = brepOf(shape) as BrepHandle | undefined\n  if (brep !== undefined) {\n    return { kernel: getBrepApi(), handle: brep, chain: 'brep' }\n  }\n  const mesh = meshSolidOf(shape) as BrepHandle | undefined\n  if (mesh !== undefined) {\n    const backend = getBackends().kernel.meshSolid as MeshSolidBackend | undefined\n    if (!backend) {\n      throw new Error(\n        `[faijs/measurement] ${op}: E_MESH_SOLID_UNSUPPORTED: this shape is a mesh solid but no mesh ` +\n        'backend is assembled in this host',\n      )\n    }\n    return { kernel: backend.kernel, handle: mesh, chain: 'mesh' }\n  }\n  throw new Error(\n    `[faijs/measurement] ${op}: E_MEASUREMENT_NO_HANDLE: measurement requires a shape with a chain handle ` +\n    '(a bare mesh has neither a BREP handle nor a mesh solid handle)',\n  )\n}\n\n/**\n * 测量形状的表面积（L1 getSurfaceArea，两引擎同口径）。\n *\n * @param shape - 被测量的形状（Face / Shape3D / compound / 网格零件）。\n * @returns 表面积（mm²；网格零件按面片几何计）。\n */\nexport async function area(shape: Shape): Promise<number> {\n  const t = requireMeasurementTarget(shape, 'area')\n  return t.kernel.getSurfaceArea(t.handle)\n}\n\n/**\n * 测量形状的边长/线长（L1 getLength，两引擎同口径）。\n *\n * 口径 = **shape 中所有唯一 edge 的弧长之和**：edge 取自身弧长，wire 取其边之和，\n * face 取边界边之和，solid 取全部边之和，compound 取各子实体之和。两个 BREP 引擎\n * 在此口径下逐位一致（2026-10-02 归一化，见 occt / brepkit 适配器的 getLength）。\n *\n * @param shape - 被测量的形状（edge / wire / face / solid / compound）。\n * @returns 长度（mm）。\n */\nexport async function length(shape: Shape): Promise<number> {\n  const t = requireMeasurementTarget(shape, 'length')\n  return t.kernel.getLength(t.handle)\n}\n\n/**\n * 测量形状的体素体积（L1 getVolume，两引擎同口径）。\n *\n * @param shape - 被测量的形状（solid / compound；对 wire / face 内核按自身口径计，可能返回 0）。\n * @returns 体积（mm³；网格零件按面片几何计）。\n */\nexport async function volume(shape: Shape): Promise<number> {\n  const t = requireMeasurementTarget(shape, 'volume')\n  return t.kernel.getVolume(t.handle)\n}\n\n/**\n * 测量形状的质心（L1 getCenterOfMass，两引擎同口径）。\n *\n * @param shape - 被测量的形状（solid / compound / face / 网格零件）。\n * @returns 质心坐标（mm，BREP 中立形态 {x,y,z}）。\n */\nexport async function centerOfMass(shape: Shape): Promise<BrepVec3> {\n  const t = requireMeasurementTarget(shape, 'centerOfMass')\n  return t.kernel.getCenterOfMass(t.handle)\n}\n"]}

package/dist/api/pattern.d.ts

@@ -1,5 +1,5 @@
 /**
- * stdlib pattern — linearPattern（手写覆盖生成投影，Phase 3: L3 `replica[k]` 角色表）
+ * api pattern — linearPattern（手写覆盖生成投影，Phase 3: L3 `replica[k]` 角色表）
  *
  * 生成投影是 brep-only compatOp，不带角色表；本文件手写 defineOp，BREP 路径
  * 用质心聚类把结果面按份数 k 分组、回投影到输入面角色，产出 `replica[k]/<inner>`。
@@ -16,8 +16,10 @@ import type { Shape, Vec3 } from '../mesh/types.js';
  * @async true
  * @qual ok
  * @name linearPattern
- * @note BREP-only：非 BREP 输入抛 E_MESH_UNSUPPORTED。结果面按份数 k 回投影到输入面
- *       角色，产出 `replica[k]/<inner>`（Phase 3 L3 抗重放词汇）。
+ * @note BREP 输入走质心聚类回投，结果面按份数 k 回投影到输入面角色，产出
+ *       `replica[k]/<inner>`（Phase 3 L3 抗重放词汇）；**网格实体**输入走网格后端，
+ *       阵列后融合为一个新的网格零件，近似拓扑没有 role 层故不产 replica 命名。
+ *       裸网格输入仍抛 `E_MESH_UNSUPPORTED`。
  * @returns Shape 所有副本 fused 后的几何。
  * @param input - 目标几何。type:Shape required:true
  * @param direction - 阵列方向。type:[x,y,z] required:true

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;AAoDhD;;;;;;;;;;;;;;;;GAgBG;AACH,eAAO,MAAM,aAAa;;CAUxB,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;;CAiBxB,CAAA"}

package/dist/api/pattern.js

@@ -1,5 +1,5 @@
 /**
- * stdlib pattern — linearPattern（手写覆盖生成投影，Phase 3: L3 `replica[k]` 角色表）
+ * api pattern — linearPattern（手写覆盖生成投影，Phase 3: L3 `replica[k]` 角色表）
  *
  * 生成投影是 brep-only compatOp，不带角色表；本文件手写 defineOp，BREP 路径
  * 用质心聚类把结果面按份数 k 分组、回投影到输入面角色，产出 `replica[k]/<inner>`。
@@ -14,6 +14,7 @@ import { getBrepApi } from '../brep/handle-bridge.js';
 import { fromBrep, brepOf } from '../shape.js';
 import { defineOp } from '../sdk.js';
 import { buildReplicaRoleTable } from './internal/replica-role-table.js';
+import { meshPatternProduct, meshSolidBasicEntry } from './internal/mesh-solid-op.js';
 /** 归一化向量（零向量 → [0,0,1] 兜底）。 */
 function norm(v) {
     const len = Math.hypot(v[0], v[1], v[2]);
@@ -26,7 +27,7 @@ function linearPatternBrep(input, direction, count, spacing) {
     const kernel = getBrepApi();
     const inputSolid = brepOf(input);
     if (!inputSolid)
-        throw new Error('[stdlib/pattern] input is not BREP');
+        throw new Error('[api/pattern] input is not BREP');
     // Phase 1.6：origin = 本次语句 StmtId。
     const outStmt = String(getCurrentStmt()?.id ?? '');
     // 取 count 份副本。Phase 2：BrepEngineApi.linearPattern 契约统一返回 BrepHandle[]
@@ -53,6 +54,24 @@ function linearPatternBrep(input, direction, count, spacing) {
     const roleTable = buildReplicaRoleTable(kernel, input, resultSolid, replicas, outStmt);
     return fromBrep(solidToShape(kernel, resultSolid), { solid: resultSolid, roleTable });
 }
+/**
+ * 网格实体路径：沿 direction 阵列并把副本融成一个网格零件。
+ *
+ * 与 BREP 路径同一条内核契约（`linearPattern` 返回含原位置在内的 count 个句柄，
+ * 再 `fuseAll` 成一体），差别只在**没有 quality 面角色可回投**——近似拓扑没有 role
+ * 层，故不产 `replica[k]/<inner>` 命名（如实缺席，不伪造恒等映射）。
+ *
+ * @param input - the mesh-solid input.
+ * @param direction - the pattern direction.
+ * @param count - total number of copies (including the original).
+ * @param spacing - the spacing between copies.
+ * @returns the fused mesh solid as a new mesh part.
+ */
+function linearPatternMeshSolid(input, direction, count, spacing) {
+    const entry = meshSolidBasicEntry(input, 'linearPattern');
+    const d = norm(direction);
+    return meshPatternProduct(entry, 'linearPattern', 'E_PATTERN_FAILED', () => entry.kernel.linearPattern(entry.solid, { x: d[0], y: d[1], z: d[2] }, spacing, count));
+}
 /**
  * 线性阵列：沿 direction 复制 count 份（含原位置）。
  * @group 特征
@@ -60,8 +79,10 @@ function linearPatternBrep(input, direction, count, spacing) {
  * @async true
  * @qual ok
  * @name linearPattern
- * @note BREP-only：非 BREP 输入抛 E_MESH_UNSUPPORTED。结果面按份数 k 回投影到输入面
- *       角色，产出 `replica[k]/<inner>`（Phase 3 L3 抗重放词汇）。
+ * @note BREP 输入走质心聚类回投，结果面按份数 k 回投影到输入面角色，产出
+ *       `replica[k]/<inner>`（Phase 3 L3 抗重放词汇）；**网格实体**输入走网格后端，
+ *       阵列后融合为一个新的网格零件，近似拓扑没有 role 层故不产 replica 命名。
+ *       裸网格输入仍抛 `E_MESH_UNSUPPORTED`。
  * @returns Shape 所有副本 fused 后的几何。
  * @param input - 目标几何。type:Shape required:true
  * @param direction - 阵列方向。type:[x,y,z] required:true
@@ -71,6 +92,13 @@ function linearPatternBrep(input, direction, count, spacing) {
  * const p = await cad.linearPattern(part0, [1, 0, 0], 3, 20)
  */
 export const linearPattern = defineOp({
+    meshEngines: ['brepkit'],
+    mesh(input, direction, count, spacing) {
+        keep(input);
+        // 裸网格输入由 `meshSolidBasicEntry` 如实拒绝（近似链没有 role 层，也没有句柄）——
+        // 这里不复刻一遍判定，失败面只有一处。
+        return linearPatternMeshSolid(input, direction, count, spacing);
+    },
     brep(input, direction, count, spacing) {
         // copy-like keep semantics: replicate ops preserve their source shape.
         keep(input);

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,IAAI,EAAE,MAAM,kBAAkB,CAAA;AACvD,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;AAE5F,+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,oCAAoC,CAAC,CAAA;IAEtE,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;;;;;;;;;;;;;;;;GAgBG;AACH,MAAM,CAAC,MAAM,aAAa,GAAG,QAAQ,CAAC;IACpC,IAAI,CAAC,KAAY,EAAE,SAAe,EAAE,KAAa,EAAE,OAAe;QAChE,uEAAuE;QACvE,IAAI,CAAC,KAAK,CAAC,CAAA;QACX,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 * stdlib 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, keep } 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'\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('[stdlib/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 复制 count 份（含原位置）。\n * @group 特征\n * @inputs 1\n * @async true\n * @qual ok\n * @name linearPattern\n * @note BREP-only：非 BREP 输入抛 E_MESH_UNSUPPORTED。结果面按份数 k 回投影到输入面\n *       角色，产出 `replica[k]/<inner>`（Phase 3 L3 抗重放词汇）。\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  brep(input: Shape, direction: Vec3, count: number, spacing: number) {\n    // copy-like keep semantics: replicate ops preserve their source shape.\n    keep(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,IAAI,EAAE,MAAM,kBAAkB,CAAA;AACvD,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,IAAI,CAAC,KAAK,CAAC,CAAA;QACX,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,IAAI,CAAC,KAAK,CAAC,CAAA;QACX,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, keep } 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    keep(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    keep(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"]}

package/dist/api/place.d.ts

@@ -1,5 +1,5 @@
 /**
- * stdlib place — 平台刚性放置 op（H11 / 方案 §4.3）
+ * api place — 平台刚性放置 op（H11 / 方案 §4.3）
  *
  *
  * 一个刚体变换：先绕局部原点按 `rotation`（四元数）旋转，再平移 `position`

package/dist/api/place.js

@@ -1,5 +1,5 @@
 /**
- * stdlib place — 平台刚性放置 op（H11 / 方案 §4.3）
+ * api place — 平台刚性放置 op（H11 / 方案 §4.3）
  *
  *
  * 一个刚体变换：先绕局部原点按 `rotation`（四元数）旋转，再平移 `position`

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 * stdlib 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;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"]}

package/dist/api/primitives.d.ts

@@ -1,5 +1,5 @@
 /**
- * stdlib primitives — 基本体创建库函数（box/sphere/cylinder/cone/wedge）
+ * api primitives — 基本体创建库函数（box/sphere/cylinder/cone/wedge）
  *
  *
  * dispatchPath 静态判定 brep/mesh，产物经 solid()/fromBrep() 构造器创建。
@@ -56,10 +56,11 @@ export declare function assertWedgeParams(params: Record<string, unknown>): void
  * @param params.centered - 无 at 时是否居中到原点（type:boolean 默认 false，角点在原点）。
  * @param params.segments - 细分度（影响三角化）。type:number 默认 64（= brepjs standard 等效，P0 §5.0/§5.1）
  * @example
- * const part0 = cad.box(10, 20, 30)
- * const part1 = cad.box(30, 20, 10, { centered: true, at: [1, 2, 3], segments: 64 })
+ * 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 })
  *
- * 位置原生（§4.1/§6.2）：`box(width, depth, height)` 与 `box(10, 20, 30, {centered:true})`
+ * 位置原生（§4.1/§6.2）：`box(width, depth, height)` 与 `box(10 * MM, 20 * MM, 30 * MM, {centered:true})`
+ * 有量纲位必须写单位字面量（基准单位亦然，`10` 裸数字被 D8 R2 拒）。
  * 归一到同一对象（D11 位置→对象 + 尾参 options 合并）。旧 `{ size }` 对象形态已废弃（裁决 3），
  * 传入会抛 `E_ARGS_FORM`（错误提示 ≠ 兼容，§4.1）。
    */

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;AAgB1C;;;;;;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;AAmBD;;;;;;;;;;;;;;;;;;;;;KAqBK;AACL,eAAO,MAAM,GAAG;;CAuBd,CAAA;AAEF;;;;;;;;;;;;;;;;GAgBG;AACH,eAAO,MAAM,MAAM;;CAejB,CAAA;AAWF;;;;;;;;;;;;;;;;;;;;;;IAsBI;AACJ,eAAO,MAAM,QAAQ;;CAenB,CAAA;AAEF;;;;;;;;;;;;;;;;;;;;;;IAsBI;AACJ,eAAO,MAAM,IAAI;;CAsBf,CAAA;AAEF;;;;;;;;;;;;;;;;IAgBI;AACJ,eAAO,MAAM,KAAK;;CAahB,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;AAgB1C;;;;;;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;AAmBD;;;;;;;;;;;;;;;;;;;;;;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

@@ -1,5 +1,5 @@
 /**
- * stdlib primitives — 基本体创建库函数（box/sphere/cylinder/cone/wedge）
+ * api primitives — 基本体创建库函数（box/sphere/cylinder/cone/wedge）
  *
  *
  * dispatchPath 静态判定 brep/mesh，产物经 solid()/fromBrep() 构造器创建。
@@ -15,7 +15,7 @@ import { assignRoles } from '../topology/naming/roles.js';
 import { asPartName } from '../identity.js';
 import { defineOp } from '../sdk.js';
 import { assertPositiveNumber, assertNonNegativeNumber } from './assert.js';
-// ── per-op 参数自校验（Phase 2.2；stdlib 被直接 import 时的防御层） ──
+// ── per-op 参数自校验（Phase 2.2；api 层被直接 import 时的防御层） ──
 /**
  * Validate box parameters (brepjs contract, §4.1 A 决策): `width`, `depth` and
  * `height` must be positive numbers. The legacy `{ size }` object form is
@@ -110,10 +110,11 @@ function primitiveBrep(op, params) {
  * @param params.centered - 无 at 时是否居中到原点（type:boolean 默认 false，角点在原点）。
  * @param params.segments - 细分度（影响三角化）。type:number 默认 64（= brepjs standard 等效，P0 §5.0/§5.1）
  * @example
- * const part0 = cad.box(10, 20, 30)
- * const part1 = cad.box(30, 20, 10, { centered: true, at: [1, 2, 3], segments: 64 })
+ * 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 })
  *
- * 位置原生（§4.1/§6.2）：`box(width, depth, height)` 与 `box(10, 20, 30, {centered:true})`
+ * 位置原生（§4.1/§6.2）：`box(width, depth, height)` 与 `box(10 * MM, 20 * MM, 30 * MM, {centered:true})`
+ * 有量纲位必须写单位字面量（基准单位亦然，`10` 裸数字被 D8 R2 拒）。
  * 归一到同一对象（D11 位置→对象 + 尾参 options 合并）。旧 `{ size }` 对象形态已废弃（裁决 3），
  * 传入会抛 `E_ARGS_FORM`（错误提示 ≠ 兼容，§4.1）。
    */
@@ -139,6 +140,7 @@ export const box = defineOp({
     // D11 位置→对象（§4.1/§6.2）：三个标量装箱成 { width, depth, height }，尾参
     // options 经 dual-form-args 的尾参合并（§6.2）并入。
     slotMap: { keys: ['width', 'depth', 'height'] },
+    paramDims: { width: 'length', depth: 'length', height: 'length' },
     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' }] } },
 });
 /**
@@ -172,6 +174,7 @@ export const sphere = defineOp({
     // D11: `sphere(10)` == `sphere({ radius: 10 })`; 尾参 options（{at, segments}）
     // 经 dual-form-args 的尾参合并规则归一（裁决 4，§6.2）。
     slotMap: { keys: ['radius'] },
+    paramDims: { radius: 'length' },
     naming: { kind: 'unmodeled', reason: 'sphere face vocabulary pending Phase 3' },
 });
 /**
@@ -220,6 +223,7 @@ export const cylinder = defineOp({
     // D11（§4.1/§6.2）：`cylinder(5, 40)` 两个标量装箱成 { radius, height }；尾参 options
     // 经 dual-form-args 尾参合并并入。
     slotMap: { keys: ['radius', 'height'] },
+    paramDims: { radius: 'length', height: 'length' },
     naming: { kind: 'construct', newFaces: { via: 'explicit', vocab: [{ kind: 'semantic', name: 'top' }, { kind: 'semantic', name: 'bottom' }, { kind: 'semantic', name: 'lateral' }] } },
 });
 /**
@@ -266,6 +270,7 @@ export const cone = defineOp({
     // D11（§4.1/§6.2）: `cone(10, 4, 30)` 三个标量装箱成 { radiusBottom, radiusTop, height }。
     // 尾参 options（{at, centered, segments}）经 dual-form-args 尾参合并并入。
     slotMap: { keys: ['radiusBottom', 'radiusTop', 'height'] },
+    paramDims: { radiusBottom: 'length', radiusTop: 'length', height: 'length' },
     naming: { kind: 'construct', newFaces: { via: 'explicit', vocab: [{ kind: 'semantic', name: 'top' }, { kind: 'semantic', name: 'bottom' }, { kind: 'semantic', name: 'lateral' }] } },
 });
 /**
@@ -297,6 +302,7 @@ export const wedge = defineOp({
     },
     // D11: `wedge(30, 20, 45, 10)` == `wedge({ width: 30, height: 20, angle: 45, length: 10 })`.
     slotMap: { keys: ['width', 'height', 'angle', 'length'] },
+    paramDims: { width: 'length', height: 'length', angle: 'angle', length: 'length' },
     naming: { kind: 'unmodeled', reason: 'wedge face vocabulary pending Phase 3' },
 });
 //# sourceMappingURL=primitives.js.map

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,OAAO,EAAE,GAAG,EAAE,MAAM,SAAS,CAAA;AAC7B,OAAO,EAAE,oBAAoB,EAAE,MAAM,+BAA+B,CAAA;AACpE,OAAO,EAAE,YAAY,EAAE,MAAM,kBAAkB,CAAA;AAC/C,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;AAExE,wDAAwD;AAExD;;;;;;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,OAAO,QAAQ,CACb,YAAY,CAAC,MAAM,EAAE,MAAM,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC,MAAM,CAAC,IAAI,IAAI,MAAM,CAAC,QAAQ,CAAW,CAAC,CAAC,EACzF,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;;;;;;;;;;;;;;;;;;;;;KAqBK;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,GAAG,CAAC,GAAG,CAAC,MAAe,CAAC,CAAA;IACjC,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,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,GAAG,CAAC,MAAM,CAAC,YAAY,CAAC,MAAM,CAAU,CAAC,CAAA;IAClD,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,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,GAAG,CAAC,QAAQ,CAAC,MAAe,CAAC,CAAA;IACtC,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,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,GAAG,CAAC,IAAI,CAAC,MAAe,CAAC,CAAA;IAClC,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,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,GAAG,CAAC,KAAK,CAAC,MAAe,CAAC,CAAA;IACnC,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,MAAM,EAAE,EAAE,IAAI,EAAE,WAAW,EAAE,MAAM,EAAE,uCAAuC,EAAgB;CAC7F,CAAC,CAAA","sourcesContent":["/**\n * stdlib 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'\nimport { cad } from '../mesh'\nimport { primitiveToBrepSolid } from '../primitives/brep-primitives'\nimport { solidToShape } from '../brep/brep-ops'\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'\n\n// ── per-op 参数自校验（Phase 2.2；stdlib 被直接 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  return fromBrep(\n    solidToShape(kernel, result.solid, clampNRad((params.nRad ?? params.segments) as number)),\n    { solid: result.solid, roleTable: new Map([[asPartName(origin), roles]]) },\n  )\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, 20, 30)\n * const part1 = cad.box(30, 20, 10, { centered: true, at: [1, 2, 3], segments: 64 })\n *\n * 位置原生（§4.1/§6.2）：`box(width, depth, height)` 与 `box(10, 20, 30, {centered:true})`\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 cad.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  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 cad.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  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 cad.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  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 cad.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  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 cad.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  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,OAAO,EAAE,GAAG,EAAE,MAAM,SAAS,CAAA;AAC7B,OAAO,EAAE,oBAAoB,EAAE,MAAM,+BAA+B,CAAA;AACpE,OAAO,EAAE,YAAY,EAAE,MAAM,kBAAkB,CAAA;AAC/C,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;AAExE,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,OAAO,QAAQ,CACb,YAAY,CAAC,MAAM,EAAE,MAAM,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC,MAAM,CAAC,IAAI,IAAI,MAAM,CAAC,QAAQ,CAAW,CAAC,CAAC,EACzF,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;;;;;;;;;;;;;;;;;;;;;;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,GAAG,CAAC,GAAG,CAAC,MAAe,CAAC,CAAA;IACjC,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,GAAG,CAAC,MAAM,CAAC,YAAY,CAAC,MAAM,CAAU,CAAC,CAAA;IAClD,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,GAAG,CAAC,QAAQ,CAAC,MAAe,CAAC,CAAA;IACtC,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,GAAG,CAAC,IAAI,CAAC,MAAe,CAAC,CAAA;IAClC,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,GAAG,CAAC,KAAK,CAAC,MAAe,CAAC,CAAA;IACnC,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'\nimport { cad } from '../mesh'\nimport { primitiveToBrepSolid } from '../primitives/brep-primitives'\nimport { solidToShape } from '../brep/brep-ops'\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'\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  return fromBrep(\n    solidToShape(kernel, result.solid, clampNRad((params.nRad ?? params.segments) as number)),\n    { solid: result.solid, roleTable: new Map([[asPartName(origin), roles]]) },\n  )\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 cad.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 cad.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 cad.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 cad.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 cad.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"]}