@faicad/faijs 0.29.5 → 0.30.9

package/dist/result/vec3.js

@@ -2,7 +2,7 @@
  * 第一方模块（2026-09-25 core-decouple Phase 1）：`wasmIndex` 复制自 brepjs
  * `src/utils/vec3.ts`（同源复制，仅提取 errors.ts 依赖的最小符号）。
  */
-/** Safe typed array index access（brepjs 原语义：`arr[i] as T`）。
+/** Safe typed array index access（原 brepjs 语义：`arr[i] as T`）。
  *
  * @param arr - The array to index into.
  * @param i - The index to access.

package/dist/result/vec3.js.map

@@ -1 +1 @@
-{"version":3,"file":"vec3.js","sourceRoot":"","sources":["../../src/result/vec3.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH;;;;;GAKG;AACH,MAAM,UAAU,SAAS,CAAI,GAAiB,EAAE,CAAS;IACvD,OAAO,GAAG,CAAC,CAAC,CAAM,CAAC;AACrB,CAAC","sourcesContent":["/**\n * 第一方模块（2026-09-25 core-decouple Phase 1）：`wasmIndex` 复制自 brepjs\n * `src/utils/vec3.ts`（同源复制，仅提取 errors.ts 依赖的最小符号）。\n */\n\n/** Safe typed array index access（brepjs 原语义：`arr[i] as T`）。\n *\n * @param arr - The array to index into.\n * @param i - The index to access.\n * @returns The element at index `i`.\n */\nexport function wasmIndex<T>(arr: ArrayLike<T>, i: number): T {\n  return arr[i] as T;\n}\n"]}
+{"version":3,"file":"vec3.js","sourceRoot":"","sources":["../../src/result/vec3.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH;;;;;GAKG;AACH,MAAM,UAAU,SAAS,CAAI,GAAiB,EAAE,CAAS;IACvD,OAAO,GAAG,CAAC,CAAC,CAAM,CAAC;AACrB,CAAC","sourcesContent":["/**\n * 第一方模块（2026-09-25 core-decouple Phase 1）：`wasmIndex` 复制自 brepjs\n * `src/utils/vec3.ts`（同源复制，仅提取 errors.ts 依赖的最小符号）。\n */\n\n/** Safe typed array index access（原 brepjs 语义：`arr[i] as T`）。\n *\n * @param arr - The array to index into.\n * @param i - The index to access.\n * @returns The element at index `i`.\n */\nexport function wasmIndex<T>(arr: ArrayLike<T>, i: number): T {\n  return arr[i] as T;\n}\n"]}

package/dist/runtime-state.d.ts

@@ -14,6 +14,7 @@
  * ⚠️ 依赖方向红线：本文件不得 import 任何 src/ 下的模块（只可 import type）。
  */
 import type { PartName, StmtId } from './identity.js';
+import type { ImportModel } from './mesh/import-model.js';
 /**
  * Lightweight execution anchor — carries only the fields consumed by
  * library functions via getCurrentStmt(): `id` (StmtId), `outputs` (PartName[]),
@@ -388,6 +389,21 @@ export declare function setPendingMultiPartCount(partName: PartName, partCount:
  * @returns a fresh Map of part name → part count, copied from the pending store.
  */
 export declare function takePendingMultiPartCounts(): MultiPartCounts;
+/**
+ * Register a part's import model (called from the load op body; the geometry
+ * lives in the returned Shape / CompoundShape.children, this is structure only).
+ *
+ * @param partName - the variable name the loaded shape will be bound to.
+ * @param model - the import model (parts + optional assembly / bambu views).
+ */
+export declare function setPendingImportModel(partName: PartName, model: ImportModel): void;
+/**
+ * Take all pending import models and clear them (engine, after each statement;
+ * consumed exactly once).
+ *
+ * @returns a fresh Map of part name → import model, copied from the pending store.
+ */
+export declare function takePendingImportModels(): Map<PartName, ImportModel>;
 /**
  * 登记某 part 的网格实体句柄（load op 调用；由引擎在语句执行后收编）。
  *

package/dist/runtime-state.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"runtime-state.d.ts","sourceRoot":"","sources":["../src/runtime-state.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;GAcG;AAEH,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,EAAE,MAAM,YAAY,CAAA;AAElD;;;;;GAKG;AACH,MAAM,WAAW,eAAe;IAC9B,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAA;IACnB,QAAQ,CAAC,OAAO,EAAE,QAAQ,EAAE,CAAA;IAC5B,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,CAAA;IACxB,QAAQ,CAAC,aAAa,CAAC,EAAE,OAAO,CAAA;CACjC;AAID;;;;;;;GAOG;AACH,MAAM,MAAM,oBAAoB,GAAG,MAAM,GAAG,MAAM,GAAG,MAAM,CAAA;AAE3D,uCAAuC;AACvC,MAAM,WAAW,QAAQ;IACvB,yBAAyB;IACzB,QAAQ,CAAC,eAAe,EAAE,MAAM,CAAA;IAChC,2BAA2B;IAC3B,QAAQ,CAAC,MAAM,EAAE;QACf,IAAI,EAAE,oBAAoB,CAAA;QAC1B,qDAAqD;QACrD,YAAY,CAAC,EAAE,MAAM,GAAG,IAAI,CAAA;QAC5B;;;;;;;;WAQG;QACH,gBAAgB,CAAC,EAAE;YACjB,SAAS,CAAC,EAAE,SAAS,MAAM,EAAE,CAAA;YAC7B;;;;;;;eAOG;YACH,OAAO,CAAC,EAAE,SAAS,MAAM,EAAE,CAAA;YAC3B,IAAI,CAAC,EAAE,OAAO,CAAA;YACd,UAAU,CAAC,EAAE,OAAO,CAAA;YACpB,UAAU,CAAC,EAAE,OAAO,CAAA;YACpB,QAAQ,CAAC,EAAE,OAAO,CAAA;YAClB,QAAQ,CAAC,EAAE,OAAO,CAAA;SACnB,CAAA;QACD,aAAa,CAAC,EAAE;YAAE,QAAQ,EAAE,CAAC,MAAM,EAAE,MAAM,EAAE,MAAM,CAAC,CAAC;YAAC,KAAK,CAAC,EAAE,CAAC,MAAM,EAAE,MAAM,EAAE,MAAM,CAAC,CAAA;SAAE,CAAA;KACzF,CAAA;IACD,oCAAoC;IACpC,QAAQ,CAAC,MAAM,EAAE;QACf,QAAQ,CAAC,IAAI,EAAE,OAAO,GAAG,IAAI,CAAA;QAC7B,QAAQ,CAAC,GAAG,EAAE,OAAO,GAAG,SAAS,CAAA;QACjC,QAAQ,CAAC,GAAG,EAAE,OAAO,GAAG,SAAS,CAAA;QACjC;;;;;;;;;WASG;QACH,QAAQ,CAAC,SAAS,CAAC,EAAE,OAAO,CAAA;KAC7B,CAAA;IACD,yBAAyB;IACzB,QAAQ,CAAC,KAAK,EAAE,OAAO,CAAA;IACvB,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAA;IACzB,QAAQ,CAAC,MAAM,EAAE,OAAO,CAAA;IACxB,QAAQ,CAAC,MAAM,EAAE,OAAO,CAAA;IACxB,yDAAyD;IACzD,QAAQ,CAAC,GAAG,CAAC,EAAE,YAAY,CAAA;CAC5B;AAED;;;;;;;GAOG;AACH,eAAO,MAAM,gBAAgB,IAAI,CAAA;AAEjC,0CAA0C;AAC1C,MAAM,MAAM,KAAK,GAAG,CAAC,GAAG,IAAI,EAAE,GAAG,EAAE,KAAK,OAAO,CAAA;AAE/C,yCAAyC;AACzC,MAAM,WAAW,YAAY;IAC3B,CAAC,IAAI,EAAE,MAAM,GAAG,KAAK,CAAA;CACtB;AAED;;;;;GAKG;AACH,wBAAgB,qBAAqB,CAAC,GAAG,EAAE;IAAE,eAAe,CAAC,EAAE,OAAO,CAAA;CAAE,GAAG,IAAI,CAM9E;AAED;;;;;;GAMG;AACH,qBAAa,oBAAqB,SAAQ,KAAK;IAC7C,8EAA8E;IAC9E,QAAQ,CAAC,IAAI,CAAC,EAAE,eAAe,CAAA;gBACnB,OAAO,EAAE,MAAM,EAAE,IAAI,CAAC,EAAE,eAAe;CAKpD;AAED;;;;;;;;;GASG;AACH,qBAAa,oBAAqB,SAAQ,KAAK;IAC7C,8EAA8E;IAC9E,QAAQ,CAAC,IAAI,CAAC,EAAE,eAAe,CAAA;gBACnB,OAAO,EAAE,MAAM,EAAE,IAAI,CAAC,EAAE,eAAe;CAKpD;AAID;;;;GAIG;AACH,MAAM,WAAW,iBAAiB;IAChC,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAA;IAC7B,iCAAiC;IACjC,QAAQ,EAAE,QAAQ,GAAG,SAAS,CAAA;IAC9B,8BAA8B;IAC9B,WAAW,EAAE,eAAe,GAAG,SAAS,CAAA;IACxC,iCAAiC;IACjC,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAC,MAAM,CAAC,CAAA;IACjC,gBAAgB;IAChB,QAAQ,CAAC,KAAK,EAAE,OAAO,CAAC,MAAM,EAAE,SAAS,CAAC,CAAA;IAC1C,iDAAiD;IACjD,QAAQ,CAAC,WAAW,EAAE,OAAO,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAA;IAC/C,6DAA6D;IAC7D,gBAAgB,EAAE,MAAM,GAAG,SAAS,CAAA;CACrC;AAWD,uDAAuD;AACvD,wBAAgB,iBAAiB,IAAI,IAAI,CAGxC;AAED,6BAA6B;AAC7B,wBAAgB,gBAAgB,IAAI,IAAI,CAEvC;AAED;;;;GAIG;AACH,wBAAgB,oBAAoB,CAAC,KAAK,EAAE,OAAO,GAAG,IAAI,CAEzD;AAED;;;GAGG;AACH,wBAAgB,sBAAsB,IAAI,OAAO,EAAE,CAIlD;AAED,+DAA+D;AAC/D,MAAM,WAAW,SAAS;IACxB,+DAA+D;IAC/D,KAAK,CAAC,EAAE,OAAO,CAAA;IACf;;;;;;;OAOG;IACH,SAAS,CAAC,EAAE,OAAO,CAAA;IACnB;;;;;;;;;OASG;IACH,QAAQ,CAAC,EAAE,OAAO,CAAA;IAClB,aAAa,CAAC,EAAE,GAAG,CAAC,MAAM,EAAE,MAAM,EAAE,CAAC,CAAA;IAIrC,0EAA0E;IAC1E,SAAS,CAAC,EAAE,OAAO,CAAA;IACnB,QAAQ,CAAC,EAAE,OAAO,CAAA;CACnB;AAED;;;GAGG;AACH,MAAM,WAAW,iBAAiB;IAChC,KAAK,EAAE,MAAM,CAAA;IACb,UAAU,EAAE,CAAC,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,CAAC,CAAA;IAC5C,KAAK,EAAE,CAAC,MAAM,EAAE,MAAM,EAAE,MAAM,CAAC,CAAA;IAC/B,WAAW,EAAE,CAAC,MAAM,EAAE,MAAM,EAAE,MAAM,CAAC,CAAA;IACrC,cAAc,EAAE,MAAM,EAAE,CAAA;CACzB;AASD;;;;;;GAMG;AACH,wBAAgB,4BAA4B,CAAC,CAAC,EAAE,MAAM,EAAE,EAAE,EAAE,iBAAiB,EAAE,GAAG,IAAI,CAKrF;AAED;;;;;GAKG;AACH,wBAAgB,6BAA6B,IAAI,KAAK,CAAC;IAAE,QAAQ,EAAE,MAAM,CAAC;IAAC,UAAU,EAAE,iBAAiB,EAAE,CAAA;CAAE,CAAC,CAS5G;AAOD,gGAAgG;AAChG,MAAM,WAAW,sBAAsB;IACrC,QAAQ,EAAE,CAAC,MAAM,EAAE,MAAM,EAAE,MAAM,CAAC,CAAA;IAClC,QAAQ,EAAE,CAAC,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,CAAC,CAAA;CAC3C;AAED,4DAA4D;AAC5D,MAAM,MAAM,kBAAkB,GAAG,MAAM,CAAC,MAAM,EAAE,sBAAsB,CAAC,CAAA;AAKvE;;;;;;GAMG;AACH,wBAAgB,4BAA4B,CAAC,CAAC,EAAE,MAAM,EAAE,GAAG,EAAE,kBAAkB,GAAG,IAAI,CAGrF;AAED;;;;;GAKG;AACH,wBAAgB,6BAA6B,IAAI,KAAK,CAAC;IAAE,QAAQ,EAAE,MAAM,CAAC;IAAC,UAAU,EAAE,kBAAkB,CAAA;CAAE,CAAC,CAS3G;AAKD;;;;;;;;GAQG;AACH,wBAAgB,eAAe,IAAI,iBAAiB,CAsBnD;AAID;;;;GAIG;AACH,wBAAgB,iBAAiB,CAAC,QAAQ,EAAE,QAAQ,GAAG,IAAI,CAE1D;AAED;;;;;;GAMG;AACH,wBAAgB,WAAW,IAAI,QAAQ,CAMtC;AAID;;;;GAIG;AACH,wBAAgB,cAAc,CAAC,IAAI,EAAE,eAAe,GAAG,SAAS,GAAG,IAAI,CAQtE;AAED;;;;GAIG;AACH,wBAAgB,cAAc,IAAI,eAAe,GAAG,SAAS,CAE5D;AAID;;;;;GAKG;AACH,wBAAgB,MAAM,CAAC,KAAK,EAAE,MAAM,GAAG,QAAQ,GAAG,SAAS,CAE1D;AAED;;;;;GAKG;AACH,wBAAgB,OAAO,CAAC,KAAK,EAAE,MAAM,EAAE,IAAI,EAAE,QAAQ,GAAG,IAAI,CAE3D;AAID;;GAEG;AACH,MAAM,MAAM,QAAQ,GAAG,CAAC,MAAM,EAAE,MAAM,EAAE,KAAK,EAAE,QAAQ,EAAE,EAAE,MAAM,EAAE,OAAO,KAAK,IAAI,CAAA;AAInF;;;;GAIG;AACH,wBAAgB,WAAW,CAAC,IAAI,EAAE,QAAQ,GAAG,SAAS,GAAG,IAAI,CAE5D;AAED;;;;;;;;;;;;;;;;GAgBG;AACH,wBAAgB,IAAI,CAAC,GAAG,MAAM,EAAE,OAAO,EAAE,GAAG,IAAI,CAE/C;AAED;;;;GAIG;AACH,wBAAgB,UAAU,CAAC,GAAG,MAAM,EAAE,OAAO,EAAE,GAAG,IAAI,CAErD;AAoBD,wFAAwF;AACxF,MAAM,MAAM,aAAa,GAAG,GAAG,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAA;AAIjD;;;;;;GAMG;AACH,wBAAgB,sBAAsB,CAAC,QAAQ,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,GAAG,IAAI,CAE7E;AAED;;;;;;GAMG;AACH,wBAAgB,wBAAwB,IAAI,aAAa,CAIxD;AAQD,sFAAsF;AACtF,MAAM,MAAM,eAAe,GAAG,GAAG,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAA;AAInD;;;;;;GAMG;AACH,wBAAgB,wBAAwB,CAAC,QAAQ,EAAE,QAAQ,EAAE,SAAS,EAAE,MAAM,GAAG,IAAI,CAEpF;AAED;;;;;GAKG;AACH,wBAAgB,0BAA0B,IAAI,eAAe,CAI5D;AAaD;;;;;GAKG;AACH,wBAAgB,mBAAmB,CAAC,QAAQ,EAAE,QAAQ,EAAE,KAAK,EAAE,OAAO,GAAG,IAAI,CAE5E;AAED;;;;GAIG;AACH,wBAAgB,qBAAqB,IAAI,GAAG,CAAC,QAAQ,EAAE,OAAO,CAAC,CAI9D;AAED;;;;;;GAMG;AACH,wBAAgB,sBAAsB,CAAC,QAAQ,EAAE,QAAQ,EAAE,IAAI,EAAE,OAAO,GAAG,IAAI,CAE9E;AAED;;;;GAIG;AACH,wBAAgB,yBAAyB,IAAI,GAAG,CAAC,QAAQ,EAAE,OAAO,CAAC,CAIlE"}
+{"version":3,"file":"runtime-state.d.ts","sourceRoot":"","sources":["../src/runtime-state.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;GAcG;AAEH,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,EAAE,MAAM,YAAY,CAAA;AAClD,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,qBAAqB,CAAA;AAEtD;;;;;GAKG;AACH,MAAM,WAAW,eAAe;IAC9B,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAA;IACnB,QAAQ,CAAC,OAAO,EAAE,QAAQ,EAAE,CAAA;IAC5B,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,CAAA;IACxB,QAAQ,CAAC,aAAa,CAAC,EAAE,OAAO,CAAA;CACjC;AAID;;;;;;;GAOG;AACH,MAAM,MAAM,oBAAoB,GAAG,MAAM,GAAG,MAAM,GAAG,MAAM,CAAA;AAE3D,uCAAuC;AACvC,MAAM,WAAW,QAAQ;IACvB,yBAAyB;IACzB,QAAQ,CAAC,eAAe,EAAE,MAAM,CAAA;IAChC,2BAA2B;IAC3B,QAAQ,CAAC,MAAM,EAAE;QACf,IAAI,EAAE,oBAAoB,CAAA;QAC1B,qDAAqD;QACrD,YAAY,CAAC,EAAE,MAAM,GAAG,IAAI,CAAA;QAC5B;;;;;;;;WAQG;QACH,gBAAgB,CAAC,EAAE;YACjB,SAAS,CAAC,EAAE,SAAS,MAAM,EAAE,CAAA;YAC7B;;;;;;;eAOG;YACH,OAAO,CAAC,EAAE,SAAS,MAAM,EAAE,CAAA;YAC3B,IAAI,CAAC,EAAE,OAAO,CAAA;YACd,UAAU,CAAC,EAAE,OAAO,CAAA;YACpB,UAAU,CAAC,EAAE,OAAO,CAAA;YACpB,QAAQ,CAAC,EAAE,OAAO,CAAA;YAClB,QAAQ,CAAC,EAAE,OAAO,CAAA;SACnB,CAAA;QACD,aAAa,CAAC,EAAE;YAAE,QAAQ,EAAE,CAAC,MAAM,EAAE,MAAM,EAAE,MAAM,CAAC,CAAC;YAAC,KAAK,CAAC,EAAE,CAAC,MAAM,EAAE,MAAM,EAAE,MAAM,CAAC,CAAA;SAAE,CAAA;KACzF,CAAA;IACD,oCAAoC;IACpC,QAAQ,CAAC,MAAM,EAAE;QACf,QAAQ,CAAC,IAAI,EAAE,OAAO,GAAG,IAAI,CAAA;QAC7B,QAAQ,CAAC,GAAG,EAAE,OAAO,GAAG,SAAS,CAAA;QACjC,QAAQ,CAAC,GAAG,EAAE,OAAO,GAAG,SAAS,CAAA;QACjC;;;;;;;;;WASG;QACH,QAAQ,CAAC,SAAS,CAAC,EAAE,OAAO,CAAA;KAC7B,CAAA;IACD,yBAAyB;IACzB,QAAQ,CAAC,KAAK,EAAE,OAAO,CAAA;IACvB,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAA;IACzB,QAAQ,CAAC,MAAM,EAAE,OAAO,CAAA;IACxB,QAAQ,CAAC,MAAM,EAAE,OAAO,CAAA;IACxB,yDAAyD;IACzD,QAAQ,CAAC,GAAG,CAAC,EAAE,YAAY,CAAA;CAC5B;AAED;;;;;;;GAOG;AACH,eAAO,MAAM,gBAAgB,IAAI,CAAA;AAEjC,0CAA0C;AAC1C,MAAM,MAAM,KAAK,GAAG,CAAC,GAAG,IAAI,EAAE,GAAG,EAAE,KAAK,OAAO,CAAA;AAE/C,yCAAyC;AACzC,MAAM,WAAW,YAAY;IAC3B,CAAC,IAAI,EAAE,MAAM,GAAG,KAAK,CAAA;CACtB;AAED;;;;;GAKG;AACH,wBAAgB,qBAAqB,CAAC,GAAG,EAAE;IAAE,eAAe,CAAC,EAAE,OAAO,CAAA;CAAE,GAAG,IAAI,CAM9E;AAED;;;;;;GAMG;AACH,qBAAa,oBAAqB,SAAQ,KAAK;IAC7C,8EAA8E;IAC9E,QAAQ,CAAC,IAAI,CAAC,EAAE,eAAe,CAAA;gBACnB,OAAO,EAAE,MAAM,EAAE,IAAI,CAAC,EAAE,eAAe;CAKpD;AAED;;;;;;;;;GASG;AACH,qBAAa,oBAAqB,SAAQ,KAAK;IAC7C,8EAA8E;IAC9E,QAAQ,CAAC,IAAI,CAAC,EAAE,eAAe,CAAA;gBACnB,OAAO,EAAE,MAAM,EAAE,IAAI,CAAC,EAAE,eAAe;CAKpD;AAID;;;;GAIG;AACH,MAAM,WAAW,iBAAiB;IAChC,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAA;IAC7B,iCAAiC;IACjC,QAAQ,EAAE,QAAQ,GAAG,SAAS,CAAA;IAC9B,8BAA8B;IAC9B,WAAW,EAAE,eAAe,GAAG,SAAS,CAAA;IACxC,iCAAiC;IACjC,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAC,MAAM,CAAC,CAAA;IACjC,gBAAgB;IAChB,QAAQ,CAAC,KAAK,EAAE,OAAO,CAAC,MAAM,EAAE,SAAS,CAAC,CAAA;IAC1C,iDAAiD;IACjD,QAAQ,CAAC,WAAW,EAAE,OAAO,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAA;IAC/C,6DAA6D;IAC7D,gBAAgB,EAAE,MAAM,GAAG,SAAS,CAAA;CACrC;AAWD,uDAAuD;AACvD,wBAAgB,iBAAiB,IAAI,IAAI,CAGxC;AAED,6BAA6B;AAC7B,wBAAgB,gBAAgB,IAAI,IAAI,CAEvC;AAED;;;;GAIG;AACH,wBAAgB,oBAAoB,CAAC,KAAK,EAAE,OAAO,GAAG,IAAI,CAEzD;AAED;;;GAGG;AACH,wBAAgB,sBAAsB,IAAI,OAAO,EAAE,CAIlD;AAED,+DAA+D;AAC/D,MAAM,WAAW,SAAS;IACxB,+DAA+D;IAC/D,KAAK,CAAC,EAAE,OAAO,CAAA;IACf;;;;;;;OAOG;IACH,SAAS,CAAC,EAAE,OAAO,CAAA;IACnB;;;;;;;;;OASG;IACH,QAAQ,CAAC,EAAE,OAAO,CAAA;IAClB,aAAa,CAAC,EAAE,GAAG,CAAC,MAAM,EAAE,MAAM,EAAE,CAAC,CAAA;IAIrC,0EAA0E;IAC1E,SAAS,CAAC,EAAE,OAAO,CAAA;IACnB,QAAQ,CAAC,EAAE,OAAO,CAAA;CACnB;AAED;;;GAGG;AACH,MAAM,WAAW,iBAAiB;IAChC,KAAK,EAAE,MAAM,CAAA;IACb,UAAU,EAAE,CAAC,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,CAAC,CAAA;IAC5C,KAAK,EAAE,CAAC,MAAM,EAAE,MAAM,EAAE,MAAM,CAAC,CAAA;IAC/B,WAAW,EAAE,CAAC,MAAM,EAAE,MAAM,EAAE,MAAM,CAAC,CAAA;IACrC,cAAc,EAAE,MAAM,EAAE,CAAA;CACzB;AASD;;;;;;GAMG;AACH,wBAAgB,4BAA4B,CAAC,CAAC,EAAE,MAAM,EAAE,EAAE,EAAE,iBAAiB,EAAE,GAAG,IAAI,CAKrF;AAED;;;;;GAKG;AACH,wBAAgB,6BAA6B,IAAI,KAAK,CAAC;IAAE,QAAQ,EAAE,MAAM,CAAC;IAAC,UAAU,EAAE,iBAAiB,EAAE,CAAA;CAAE,CAAC,CAS5G;AAOD,gGAAgG;AAChG,MAAM,WAAW,sBAAsB;IACrC,QAAQ,EAAE,CAAC,MAAM,EAAE,MAAM,EAAE,MAAM,CAAC,CAAA;IAClC,QAAQ,EAAE,CAAC,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,CAAC,CAAA;CAC3C;AAED,4DAA4D;AAC5D,MAAM,MAAM,kBAAkB,GAAG,MAAM,CAAC,MAAM,EAAE,sBAAsB,CAAC,CAAA;AAKvE;;;;;;GAMG;AACH,wBAAgB,4BAA4B,CAAC,CAAC,EAAE,MAAM,EAAE,GAAG,EAAE,kBAAkB,GAAG,IAAI,CAGrF;AAED;;;;;GAKG;AACH,wBAAgB,6BAA6B,IAAI,KAAK,CAAC;IAAE,QAAQ,EAAE,MAAM,CAAC;IAAC,UAAU,EAAE,kBAAkB,CAAA;CAAE,CAAC,CAS3G;AAKD;;;;;;;;GAQG;AACH,wBAAgB,eAAe,IAAI,iBAAiB,CAsBnD;AAID;;;;GAIG;AACH,wBAAgB,iBAAiB,CAAC,QAAQ,EAAE,QAAQ,GAAG,IAAI,CAE1D;AAED;;;;;;GAMG;AACH,wBAAgB,WAAW,IAAI,QAAQ,CAMtC;AAID;;;;GAIG;AACH,wBAAgB,cAAc,CAAC,IAAI,EAAE,eAAe,GAAG,SAAS,GAAG,IAAI,CAQtE;AAED;;;;GAIG;AACH,wBAAgB,cAAc,IAAI,eAAe,GAAG,SAAS,CAE5D;AAID;;;;;GAKG;AACH,wBAAgB,MAAM,CAAC,KAAK,EAAE,MAAM,GAAG,QAAQ,GAAG,SAAS,CAE1D;AAED;;;;;GAKG;AACH,wBAAgB,OAAO,CAAC,KAAK,EAAE,MAAM,EAAE,IAAI,EAAE,QAAQ,GAAG,IAAI,CAE3D;AAID;;GAEG;AACH,MAAM,MAAM,QAAQ,GAAG,CAAC,MAAM,EAAE,MAAM,EAAE,KAAK,EAAE,QAAQ,EAAE,EAAE,MAAM,EAAE,OAAO,KAAK,IAAI,CAAA;AAInF;;;;GAIG;AACH,wBAAgB,WAAW,CAAC,IAAI,EAAE,QAAQ,GAAG,SAAS,GAAG,IAAI,CAE5D;AAED;;;;;;;;;;;;;;;;GAgBG;AACH,wBAAgB,IAAI,CAAC,GAAG,MAAM,EAAE,OAAO,EAAE,GAAG,IAAI,CAE/C;AAED;;;;GAIG;AACH,wBAAgB,UAAU,CAAC,GAAG,MAAM,EAAE,OAAO,EAAE,GAAG,IAAI,CAErD;AAoBD,wFAAwF;AACxF,MAAM,MAAM,aAAa,GAAG,GAAG,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAA;AAIjD;;;;;;GAMG;AACH,wBAAgB,sBAAsB,CAAC,QAAQ,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,GAAG,IAAI,CAE7E;AAED;;;;;;GAMG;AACH,wBAAgB,wBAAwB,IAAI,aAAa,CAIxD;AAQD,sFAAsF;AACtF,MAAM,MAAM,eAAe,GAAG,GAAG,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAA;AAInD;;;;;;GAMG;AACH,wBAAgB,wBAAwB,CAAC,QAAQ,EAAE,QAAQ,EAAE,SAAS,EAAE,MAAM,GAAG,IAAI,CAEpF;AAED;;;;;GAKG;AACH,wBAAgB,0BAA0B,IAAI,eAAe,CAI5D;AAUD;;;;;;GAMG;AACH,wBAAgB,qBAAqB,CAAC,QAAQ,EAAE,QAAQ,EAAE,KAAK,EAAE,WAAW,GAAG,IAAI,CAElF;AAED;;;;;GAKG;AACH,wBAAgB,uBAAuB,IAAI,GAAG,CAAC,QAAQ,EAAE,WAAW,CAAC,CAIpE;AAaD;;;;;GAKG;AACH,wBAAgB,mBAAmB,CAAC,QAAQ,EAAE,QAAQ,EAAE,KAAK,EAAE,OAAO,GAAG,IAAI,CAE5E;AAED;;;;GAIG;AACH,wBAAgB,qBAAqB,IAAI,GAAG,CAAC,QAAQ,EAAE,OAAO,CAAC,CAI9D;AAED;;;;;;GAMG;AACH,wBAAgB,sBAAsB,CAAC,QAAQ,EAAE,QAAQ,EAAE,IAAI,EAAE,OAAO,GAAG,IAAI,CAE9E;AAED;;;;GAIG;AACH,wBAAgB,yBAAyB,IAAI,GAAG,CAAC,QAAQ,EAAE,OAAO,CAAC,CAIlE"}

package/dist/runtime-state.js

@@ -366,6 +366,33 @@ export function takePendingMultiPartCounts() {
     pendingMultiPartCounts.clear();
     return out;
 }
+// ── 导入模型结构登记（方案 2026-10-06-step-3mf-multipart-import-plan.md §5.5）──
+// 与 pendingDetectedUnits 同模式：`cad.load` op 在解析文件后把 ImportModel（零件
+// 身份表 + 装配层级 + Bambu 视图）登记到这里；引擎在语句执行后取走并按 part 名
+// 放进 ExecutionResult.importModels（宿主据此批量建 part / 消费装配结构）。单/多
+// 零件均登记（单零件 parts 长度 1），宿主有统一消费入口，不必分叉。
+const pendingImportModels = new Map();
+/**
+ * Register a part's import model (called from the load op body; the geometry
+ * lives in the returned Shape / CompoundShape.children, this is structure only).
+ *
+ * @param partName - the variable name the loaded shape will be bound to.
+ * @param model - the import model (parts + optional assembly / bambu views).
+ */
+export function setPendingImportModel(partName, model) {
+    pendingImportModels.set(partName, model);
+}
+/**
+ * Take all pending import models and clear them (engine, after each statement;
+ * consumed exactly once).
+ *
+ * @returns a fresh Map of part name → import model, copied from the pending store.
+ */
+export function takePendingImportModels() {
+    const out = new Map(pendingImportModels);
+    pendingImportModels.clear();
+    return out;
+}
 // ── 网格实体登记（方案 2026-10-01 §3.3：load 的 mesh 路径产出网格实体 + 近似拓扑）──
 // 与 pendingDetectedUnits 同模式：load op（在 @faicad/faijs-extra）不能直接持有
 // CadRuntime 实例，故把"规范化得到的句柄"与"近似拓扑数据"登记到这里，引擎在语句

package/dist/runtime-state.js.map

@@ -1 +1 @@
-{"version":3,"file":"runtime-state.js","sourceRoot":"","sources":["../src/runtime-state.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;GAcG;AA4FH;;;;;;;GAOG;AACH,MAAM,CAAC,MAAM,gBAAgB,GAAG,CAAC,CAAA;AAUjC;;;;;GAKG;AACH,MAAM,UAAU,qBAAqB,CAAC,GAAkC;IACtE,IAAI,GAAG,CAAC,eAAe,KAAK,SAAS,IAAI,GAAG,CAAC,eAAe,KAAK,gBAAgB,EAAE,CAAC;QAClF,MAAM,IAAI,KAAK,CACb,kDAAkD,MAAM,CAAC,GAAG,CAAC,eAAe,CAAC,cAAc,gBAAgB,EAAE,CAC9G,CAAA;IACH,CAAC;AACH,CAAC;AAED;;;;;;GAMG;AACH,MAAM,OAAO,oBAAqB,SAAQ,KAAK;IAC7C,8EAA8E;IACrE,IAAI,CAAkB;IAC/B,YAAY,OAAe,EAAE,IAAsB;QACjD,KAAK,CAAC,OAAO,CAAC,CAAA;QACd,IAAI,CAAC,IAAI,GAAG,sBAAsB,CAAA;QAClC,IAAI,CAAC,IAAI,GAAG,IAAI,CAAA;IAClB,CAAC;CACF;AAED;;;;;;;;;GASG;AACH,MAAM,OAAO,oBAAqB,SAAQ,KAAK;IAC7C,8EAA8E;IACrE,IAAI,CAAkB;IAC/B,YAAY,OAAe,EAAE,IAAsB;QACjD,KAAK,CAAC,OAAO,CAAC,CAAA;QACd,IAAI,CAAC,IAAI,GAAG,sBAAsB,CAAA;QAClC,IAAI,CAAC,IAAI,GAAG,IAAI,CAAA;IAClB,CAAC;CACF;AAyBD,sCAAsC;AACtC,2CAA2C;AAC3C,qDAAqD;AACrD,4DAA4D;AAC5D,+EAA+E;AAE/E,IAAI,iBAAiB,GAAG,CAAC,CAAA;AACzB,MAAM,kBAAkB,GAAc,EAAE,CAAA;AAExC,uDAAuD;AACvD,MAAM,UAAU,iBAAiB;IAC/B,IAAI,iBAAiB,KAAK,CAAC;QAAE,kBAAkB,CAAC,MAAM,GAAG,CAAC,CAAA;IAC1D,iBAAiB,EAAE,CAAA;AACrB,CAAC;AAED,6BAA6B;AAC7B,MAAM,UAAU,gBAAgB;IAC9B,iBAAiB,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,iBAAiB,GAAG,CAAC,CAAC,CAAA;AACxD,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,oBAAoB,CAAC,KAAc;IACjD,IAAI,iBAAiB,GAAG,CAAC;QAAE,kBAAkB,CAAC,IAAI,CAAC,KAAK,CAAC,CAAA;AAC3D,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,sBAAsB;IACpC,MAAM,MAAM,GAAG,CAAC,GAAG,kBAAkB,CAAC,CAAA;IACtC,kBAAkB,CAAC,MAAM,GAAG,CAAC,CAAA;IAC7B,OAAO,MAAM,CAAA;AACf,CAAC;AA+CD;;;GAGG;AACH,MAAM,mBAAmB,GAAG,IAAI,GAAG,EAAU,CAAA;AAC7C,MAAM,yBAAyB,GAAG,IAAI,OAAO,EAA+B,CAAA;AAE5E;;;;;;GAMG;AACH,MAAM,UAAU,4BAA4B,CAAC,CAAS,EAAE,EAAuB;IAC7E,IAAI,EAAE,CAAC,MAAM,KAAK,CAAC;QAAE,OAAM;IAC3B,mBAAmB,CAAC,GAAG,CAAC,CAAC,CAAC,CAAA;IAC1B,MAAM,QAAQ,GAAG,yBAAyB,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,CAAA;IACvD,yBAAyB,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,GAAG,QAAQ,EAAE,GAAG,EAAE,CAAC,CAAC,CAAA;AACxD,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,6BAA6B;IAC3C,MAAM,GAAG,GAAiE,EAAE,CAAA;IAC5E,KAAK,MAAM,CAAC,IAAI,mBAAmB,EAAE,CAAC;QACpC,MAAM,EAAE,GAAG,yBAAyB,CAAC,GAAG,CAAC,CAAC,CAAC,CAAA;QAC3C,IAAI,EAAE,IAAI,EAAE,CAAC,MAAM,GAAG,CAAC;YAAE,GAAG,CAAC,IAAI,CAAC,EAAE,QAAQ,EAAE,CAAC,EAAE,UAAU,EAAE,EAAE,EAAE,CAAC,CAAA;QAClE,yBAAyB,CAAC,MAAM,CAAC,CAAC,CAAC,CAAA;IACrC,CAAC;IACD,mBAAmB,CAAC,KAAK,EAAE,CAAA;IAC3B,OAAO,GAAG,CAAA;AACZ,CAAC;AAgBD,MAAM,qBAAqB,GAAG,IAAI,GAAG,EAAU,CAAA;AAC/C,MAAM,yBAAyB,GAAG,IAAI,OAAO,EAA8B,CAAA;AAE3E;;;;;;GAMG;AACH,MAAM,UAAU,4BAA4B,CAAC,CAAS,EAAE,GAAuB;IAC7E,qBAAqB,CAAC,GAAG,CAAC,CAAC,CAAC,CAAA;IAC5B,yBAAyB,CAAC,GAAG,CAAC,CAAC,EAAE,GAAG,CAAC,CAAA;AACvC,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,6BAA6B;IAC3C,MAAM,GAAG,GAAgE,EAAE,CAAA;IAC3E,KAAK,MAAM,CAAC,IAAI,qBAAqB,EAAE,CAAC;QACtC,MAAM,GAAG,GAAG,yBAAyB,CAAC,GAAG,CAAC,CAAC,CAAC,CAAA;QAC5C,IAAI,GAAG;YAAE,GAAG,CAAC,IAAI,CAAC,EAAE,QAAQ,EAAE,CAAC,EAAE,UAAU,EAAE,GAAG,EAAE,CAAC,CAAA;QACnD,yBAAyB,CAAC,MAAM,CAAC,CAAC,CAAC,CAAA;IACrC,CAAC;IACD,qBAAqB,CAAC,KAAK,EAAE,CAAA;IAC7B,OAAO,GAAG,CAAA;AACZ,CAAC;AAED,MAAM,aAAa,GAAG,CAAC,CAAA;AACvB,MAAM,GAAG,GAAG,0BAA0B,CAAA;AAEtC;;;;;;;;GAQG;AACH,MAAM,UAAU,eAAe;IAC7B,MAAM,CAAC,GAAG,UAAgD,CAAA;IAC1D,MAAM,QAAQ,GAAG,CAAC,CAAC,GAAG,CAAkC,CAAA;IACxD,IAAI,QAAQ,EAAE,CAAC;QACb,IAAI,QAAQ,CAAC,YAAY,KAAK,aAAa,EAAE,CAAC;YAC5C,MAAM,IAAI,KAAK,CACb,kDAAkD,QAAQ,CAAC,YAAY,cAAc,aAAa,EAAE,CACrG,CAAA;QACH,CAAC;QACD,OAAO,QAAQ,CAAA;IACjB,CAAC;IACD,MAAM,OAAO,GAAsB;QACjC,YAAY,EAAE,aAAa;QAC3B,QAAQ,EAAE,SAAS;QACnB,WAAW,EAAE,SAAS;QACtB,OAAO,EAAE,IAAI,OAAO,EAAU;QAC9B,KAAK,EAAE,IAAI,OAAO,EAAqB;QACvC,WAAW,EAAE,IAAI,OAAO,EAAoB;QAC5C,gBAAgB,EAAE,SAAS;KAC5B,CAAA;IACD,CAAC,CAAC,GAAG,CAAC,GAAG,OAAO,CAAA;IAChB,OAAO,OAAO,CAAA;AAChB,CAAC;AAED,eAAe;AAEf;;;;GAIG;AACH,MAAM,UAAU,iBAAiB,CAAC,QAAkB;IAClD,eAAe,EAAE,CAAC,QAAQ,GAAG,QAAQ,CAAA;AACvC,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,WAAW;IACzB,MAAM,CAAC,GAAG,eAAe,EAAE,CAAC,QAAQ,CAAA;IACpC,IAAI,CAAC,CAAC,EAAE,CAAC;QACP,MAAM,IAAI,KAAK,CAAC,4EAA4E,CAAC,CAAA;IAC/F,CAAC;IACD,OAAO,CAAC,CAAA;AACV,CAAC;AAED,sBAAsB;AAEtB;;;;GAIG;AACH,MAAM,UAAU,cAAc,CAAC,IAAiC;IAC9D,MAAM,CAAC,GAAG,eAAe,EAAE,CAAA;IAC3B,kDAAkD;IAClD,yCAAyC;IACzC,uDAAuD;IACvD,2CAA2C;IAC3C,IAAI,CAAC,CAAC,WAAW,EAAE,EAAE,KAAK,IAAI,EAAE,EAAE;QAAE,CAAC,CAAC,gBAAgB,GAAG,SAAS,CAAA;IAClE,CAAC,CAAC,WAAW,GAAG,IAAI,CAAA;AACtB,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,cAAc;IAC5B,OAAO,eAAe,EAAE,CAAC,WAAW,CAAA;AACtC,CAAC;AAED,kBAAkB;AAElB;;;;;GAKG;AACH,MAAM,UAAU,MAAM,CAAC,KAAa;IAClC,OAAO,eAAe,EAAE,CAAC,WAAW,CAAC,GAAG,CAAC,KAAK,CAAC,CAAA;AACjD,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,OAAO,CAAC,KAAa,EAAE,IAAc;IACnD,eAAe,EAAE,CAAC,WAAW,CAAC,GAAG,CAAC,KAAK,EAAE,IAAI,CAAC,CAAA;AAChD,CAAC;AASD,IAAI,QAA8B,CAAA;AAElC;;;;GAIG;AACH,MAAM,UAAU,WAAW,CAAC,IAA0B;IACpD,QAAQ,GAAG,IAAI,CAAA;AACjB,CAAC;AAED;;;;;;;;;;;;;;;;GAgBG;AACH,MAAM,UAAU,IAAI,CAAC,GAAG,MAAiB;IACvC,YAAY,CAAC,MAAM,EAAE,KAAK,CAAC,CAAA;AAC7B,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,UAAU,CAAC,GAAG,MAAiB;IAC7C,YAAY,CAAC,MAAM,EAAE,IAAI,CAAC,CAAA;AAC5B,CAAC;AAED,SAAS,YAAY,CAAC,MAAiB,EAAE,MAAe;IACtD,MAAM,IAAI,GAAG,eAAe,EAAE,CAAC,WAAW,CAAA;IAC1C,IAAI,CAAC,IAAI,IAAI,CAAC,QAAQ;QAAE,OAAM;IAC9B,MAAM,KAAK,GAAe,EAAE,CAAA;IAC5B,KAAK,MAAM,CAAC,IAAI,MAAM,EAAE,CAAC;QACvB,IAAI,CAAC,KAAK,IAAI,IAAI,OAAO,CAAC,KAAK,QAAQ;YAAE,SAAQ;QACjD,MAAM,CAAC,GAAG,MAAM,CAAC,CAAC,CAAC,CAAA;QACnB,IAAI,CAAC,KAAK,SAAS;YAAE,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAA;IACpC,CAAC;IACD,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC;QAAE,OAAM;IAC9B,QAAQ,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,KAAK,EAAE,MAAM,CAAC,CAAA;AAC1C,CAAC;AAUD,MAAM,oBAAoB,GAAG,IAAI,GAAG,EAAoB,CAAA;AAExD;;;;;;GAMG;AACH,MAAM,UAAU,sBAAsB,CAAC,QAAkB,EAAE,IAAY;IACrE,oBAAoB,CAAC,GAAG,CAAC,QAAQ,EAAE,IAAI,CAAC,CAAA;AAC1C,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,wBAAwB;IACtC,MAAM,GAAG,GAAG,IAAI,GAAG,CAAC,oBAAoB,CAAC,CAAA;IACzC,oBAAoB,CAAC,KAAK,EAAE,CAAA;IAC5B,OAAO,GAAG,CAAA;AACZ,CAAC;AAWD,MAAM,sBAAsB,GAAG,IAAI,GAAG,EAAoB,CAAA;AAE1D;;;;;;GAMG;AACH,MAAM,UAAU,wBAAwB,CAAC,QAAkB,EAAE,SAAiB;IAC5E,sBAAsB,CAAC,GAAG,CAAC,QAAQ,EAAE,SAAS,CAAC,CAAA;AACjD,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,0BAA0B;IACxC,MAAM,GAAG,GAAG,IAAI,GAAG,CAAC,sBAAsB,CAAC,CAAA;IAC3C,sBAAsB,CAAC,KAAK,EAAE,CAAA;IAC9B,OAAO,GAAG,CAAA;AACZ,CAAC;AAED,8DAA8D;AAC9D,kEAAkE;AAClE,iDAAiD;AACjD,6DAA6D;AAC7D,EAAE;AACF,8CAA8C;AAC9C,4CAA4C;AAE5C,MAAM,iBAAiB,GAAG,IAAI,GAAG,EAAqB,CAAA;AACtD,MAAM,qBAAqB,GAAG,IAAI,GAAG,EAAqB,CAAA;AAE1D;;;;;GAKG;AACH,MAAM,UAAU,mBAAmB,CAAC,QAAkB,EAAE,KAAc;IACpE,iBAAiB,CAAC,GAAG,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAA;AACxC,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,qBAAqB;IACnC,MAAM,GAAG,GAAG,IAAI,GAAG,CAAC,iBAAiB,CAAC,CAAA;IACtC,iBAAiB,CAAC,KAAK,EAAE,CAAA;IACzB,OAAO,GAAG,CAAA;AACZ,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,sBAAsB,CAAC,QAAkB,EAAE,IAAa;IACtE,qBAAqB,CAAC,GAAG,CAAC,QAAQ,EAAE,IAAI,CAAC,CAAA;AAC3C,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,yBAAyB;IACvC,MAAM,GAAG,GAAG,IAAI,GAAG,CAAC,qBAAqB,CAAC,CAAA;IAC1C,qBAAqB,CAAC,KAAK,EAAE,CAAA;IAC7B,OAAO,GAAG,CAAA;AACZ,CAAC","sourcesContent":["/**\n * runtime-state — 全局运行时状态锚点（零依赖层）\n *\n *\n * 本模块位于 L0+（零运行时依赖），是 L3 API 面（core/src/api）与\n * cad-runtime（L2）之间唯一的共享状态。**放在这一层是为了避免循环依赖**：\n * api/ 不能 import cad-runtime（cad-runtime/api-namespace.ts 已经 import 了 api/）。\n *\n * 承载三类状态：\n * 1. Backends —— 宿主注入的环境资源（内核 / 端口 / 模式 / 平台库命名空间）\n * 2. 当前执行语句 —— keep() 归属用（引擎在语句 fn 之前设置）\n * 3. Shape 身份表 —— 构造器登记（isShape 依据）与 Shape→PartName 反查\n *\n * ⚠️ 依赖方向红线：本文件不得 import 任何 src/ 下的模块（只可 import type）。\n */\n\nimport type { PartName, StmtId } from './identity'\n\n/**\n * Lightweight execution anchor — carries only the fields consumed by\n * library functions via getCurrentStmt(): `id` (StmtId), `outputs` (PartName[]),\n * `callee`, and `hasAssignment`. The DirectExecutor creates these from\n * line-number + writes.\n */\nexport interface ExecutionAnchor {\n  readonly id: string\n  readonly outputs: PartName[]\n  readonly callee?: string\n  readonly hasAssignment?: boolean\n}\n\n// ── 后端配置（宿主注入的环境资源）──\n\n/**\n * 执行模式（与 src/cad-runtime/ports.ts 的 ExecutionMode 保持一致）。\n *\n * 此处重复定义是为了保持本模块零依赖。一致性由 `cad-runtime/runtime.ts:460`\n * （`mode: this.mode`，`ExecutionMode` → 本类型的赋值）在编译期间接钉住：\n * 只给 `ExecutionMode` 加成员而不加到这里 → 该行 tsc 报错。\n * （2026-09-22 核实：无独立守卫测试。）\n */\nexport type RuntimeExecutionMode = 'auto' | 'brep' | 'mesh'\n\n/** 宿主注入的环境资源。字段类型用宽松结构，避免本模块依赖具体实现。 */\nexport interface Backends {\n  /** 契约版本（装配期校验，不兼容即抛错） */\n  readonly contractVersion: number\n  /** 执行配置（可变对象，宿主可在运行期切换） */\n  readonly config: {\n    mode: RuntimeExecutionMode\n    /** 当前 BREP 引擎 id（注册表首个注册者；未注册为 null）。能力路由读（§8.4）。 */\n    brepEngineId?: string | null\n    /**\n     * 当前引擎能力声明（宽松结构，零依赖）。能力路由读（§8.4）。\n     *\n     * `evolution` = 本引擎**实际提供**的 `*WithHistory` 核函数名名单\n     * （`brep/engine/types.ts` 的 `BrepEvolutionKind`）。**不是**族级布尔——\n     * 族级布尔会多报能力、使静态判定失效（Phase 0.2）。\n     * 本模块须零依赖，故此处只写 `readonly string[]`；权威类型见\n     * `BrepCapabilities`，消费侧由 `backend-dispatch.engineCapabilitySet` 归一化。\n     */\n    brepCapabilities?: {\n      evolution?: readonly string[]\n      /**\n       * 非演化内核方法名（D5）：本引擎**实际提供**的 L1 中立方法名\n       * （`getBoundingBox` / `getVolume` / `getSurfaceArea` / `getLength` /\n       * `getCenterOfMass` 等）。2026-09-24 narrowing plan §2.4：与\n       * `backend-dispatch.EngineCapabilitiesLike` 对齐（该类型有 `methods`，\n       * 运行时配置镜像此前缺失——非字面量赋值不做 excess property 检查，\n       * `methods` 判定\"能用但没被契约钉住\"）。\n       */\n      methods?: readonly string[]\n      heal?: boolean\n      directEdit?: boolean\n      advSurface?: boolean\n      assembly?: boolean\n      meshLift?: boolean\n    }\n    partTransform?: { position: [number, number, number]; scale?: [number, number, number] }\n  }\n  /** 几何后端。brep 引擎异步初始化 → 用 getter。 */\n  readonly kernel: {\n    readonly brep: unknown | null\n    readonly csg: unknown | undefined\n    readonly sdf: unknown | undefined\n    /**\n     * 网格实体后端（网格语义路径的内核；`brep/mesh-solid.ts` 的 `MeshSolidBackend`）。\n     *\n     * **与 `brep` 独立**：mesh 零件既可以在「宿主用 OCCT 做 BREP、用 brepkit 做\n     * mesh」的装配下产出，也可以在纯 mesh 模式下产出。未装配 → `undefined`，\n     * 此时 `load` 的 mesh 路径保持\"裸网格、无近似拓扑\"的历史行为（这不是静默\n     * 降级：没有网格内核是宿主的装配事实，与\"规范化失败\"是两回事）。\n     *\n     * 类型在本模块里写 `unknown`（零依赖红线），权威类型见 `MeshSolidBackend`。\n     */\n    readonly meshSolid?: unknown\n  }\n  /** 宿主端口（透传 HostPorts） */\n  readonly fonts: unknown\n  readonly texture: unknown\n  readonly assets: unknown\n  readonly events: unknown\n  /** faijs 平台库命名空间（引擎不区分它与第三方库——都是库函数；由宿主注入，core 不默认装配） */\n  readonly cad?: LibNamespace\n}\n\n/**\n * 契约版本。破坏性变更 +1。加载第三方库时校验，不兼容即抛错。\n *\n * v3（P23，§5.2 / D11）：`defineOp` 的实现边界统一为 Result 语义——实现可返回\n * `Result`（边界 unwrap，`err` → 抛错）、可抛错（归一为带 op 名的错误），\n * 也可照旧返回裸产物（透传）；并新增 D11 `positional` 位置形态声明。\n * v2 → v3 是破坏性变更：按 v2 契约构建的库必须重新构建。\n */\nexport const CONTRACT_VERSION = 3\n\n/** 库函数签名（引擎视角：任意参数的普通函数，信息均匀化，不按名字分支）。 */\nexport type LibFn = (...args: any[]) => unknown\n\n/** 库命名空间：函数名 → 库函数（faijs 平台库与第三方库同构）。 */\nexport interface LibNamespace {\n  [name: string]: LibFn\n}\n\n/**\n * 契约版本校验（P7 第三方库通道）：加载时校验，不兼容即抛错（不静默降级）。\n * 第三方库模块若带 contractVersion 字段（与 CONTRACT_VERSION 对齐），必须匹配。\n *\n * @param lib - the library module whose contractVersion field is validated.\n */\nexport function assertContractVersion(lib: { contractVersion?: unknown }): void {\n  if (lib.contractVersion !== undefined && lib.contractVersion !== CONTRACT_VERSION) {\n    throw new Error(\n      `[faijs] library contract version mismatch: got ${String(lib.contractVersion)}, expected ${CONTRACT_VERSION}`,\n    )\n  }\n}\n\n/**\n * brep 强制模式下的不支持错误（mesh-only 函数 / 输入不在 BREP 链）。\n *\n * 由分派路径抛出，CadRuntime 捕获后转换为 ExecutionResult.failedAt\n * （与旧解释器\"brep 模式立即返回 E_BREP_UNSUPPORTED，不静默回退 mesh\"的语义一致）。\n * P2 起定义在本层（零依赖），L3 API 命名空间与引擎共享同一类（instanceof 判定）。\n */\nexport class BrepUnsupportedError extends Error {\n  /** The statement that triggered the unsupported operation, when available. */\n  readonly stmt?: ExecutionAnchor\n  constructor(message: string, stmt?: ExecutionAnchor) {\n    super(message)\n    this.name = 'BrepUnsupportedError'\n    this.stmt = stmt\n  }\n}\n\n/**\n * Unsupported error for mesh-forced mode (brep-only functions, or auto-mode\n * brep-only functions with a broken input chain).\n *\n * Symmetric to BrepUnsupportedError: thrown statically by the dispatch path,\n * caught by CadRuntime and converted into ExecutionResult.failedAt. A brep-only\n * function being unavailable in mesh mode is expected behavior (mode ×\n * implementation-set mismatch), not a bug fallback — the static-dispatch red\n * line (no try-catch, no runtime fallback) is unchanged.\n */\nexport class MeshUnsupportedError extends Error {\n  /** The statement that triggered the unsupported operation, when available. */\n  readonly stmt?: ExecutionAnchor\n  constructor(message: string, stmt?: ExecutionAnchor) {\n    super(message)\n    this.name = 'MeshUnsupportedError'\n    this.stmt = stmt\n  }\n}\n\n// ── 状态容器 ──\n\n/**\n * The global runtime state singleton: backend configuration, the currently\n * executing statement, and the Shape identity tables (constructor registry,\n * identity slots, and Shape → PartName reverse lookup).\n */\nexport interface FaijsRuntimeState {\n  readonly stateVersion: number\n  /** 后端配置（configureBackends 写入） */\n  backends: Backends | undefined\n  /** 当前执行语句锚点（引擎在语句 fn 之前设置） */\n  currentStmt: ExecutionAnchor | undefined\n  /** Shape 构造器登记（isShape 的唯一依据） */\n  readonly created: WeakSet<object>\n  /** Shape 身份槽 */\n  readonly slots: WeakMap<object, ShapeSlot>\n  /** Shape → PartName 反查（keep 与 dependentsOf 用） */\n  readonly shapeToName: WeakMap<object, PartName>\n  /** 同语句 lineage 去重标记（define-op 写入；语句边界 setCurrentStmt 重置）。 */\n  registeredStmtId: StmtId | undefined\n}\n\n// ── 函数 BREP 域（控制流放松方案 §5.6 / D13） ──\n// 本机函数体内的瞬态 BREP 句柄：进入函数时开启登记域，op 输出句柄写入时经\n// registerFunctionBrep 登记；函数返回后引擎取走域、释放除返回值可到达句柄外的全部\n// （对齐「调用方负责句柄生命周期」brep-ops.ts 与 meshesToStep 的 finally 模式）。\n// 全局计数与 DirectExecutor.userFunctionDepth 同步（单 runtime 场景，与 setCurrentStmt 同构）。\n\nlet functionBrepDepth = 0\nconst functionBrepDomain: unknown[] = []\n\n/** 进入函数 BREP 域（DirectExecutor 执行 local 语句 fn 之前调用）。 */\nexport function enterFunctionBrep(): void {\n  if (functionBrepDepth === 0) functionBrepDomain.length = 0\n  functionBrepDepth++\n}\n\n/** 退出函数 BREP 域（fn 结束后调用）。 */\nexport function exitFunctionBrep(): void {\n  functionBrepDepth = Math.max(0, functionBrepDepth - 1)\n}\n\n/**\n * 登记函数域内新产生的 BREP 句柄（hook 点在 op 输出 shape 槽位写入处——fromBrep）。\n * 非函数域（depth = 0）时 no-op（零开销，现状路径不变）。\n * @param solid - 新产生的 OCCT 句柄。\n */\nexport function registerFunctionBrep(solid: unknown): void {\n  if (functionBrepDepth > 0) functionBrepDomain.push(solid)\n}\n\n/**\n * 取走当前函数域的句柄登记表并清空（引擎在 fn 结束后调用，随后释放非返回值句柄）。\n * @returns 当前函数域的句柄登记表快照。\n */\nexport function takeFunctionBrepDomain(): unknown[] {\n  const domain = [...functionBrepDomain]\n  functionBrepDomain.length = 0\n  return domain\n}\n\n/** Shape 身份槽（OCCT 句柄 + 网格实体句柄 + 网格面句柄 + 面演化 + 拓扑命名 + 装配行为）。 */\nexport interface ShapeSlot {\n  /** BREP 精度链句柄。与 `meshSolid` / `meshFace` **互斥**（同时存在 = 缺陷）。 */\n  solid?: unknown\n  /**\n   * 网格实体句柄（近似链）。与 `solid` **互斥**——网格零件按定义没有精度链，\n   * BREP 实体也不携带网格实体。互斥由 `backend-dispatch.assertShapeSlotExclusive`\n   * 在分派前静态校验（不给运行时\"选边站\"的机会；方案 §3.2）。\n   *\n   * 它只表示\"这个 Shape 是网格零件\"这一事实，句柄的生命周期由\n   * `brep/mesh-solid.ts` 的 `MeshSolidRegistry` 持有。\n   */\n  meshSolid?: unknown\n  /**\n   * 网格链**面**句柄（近似链的构造中几何，方案 2026-10-01 §4 Phase 3）。\n   *\n   * 与 `solid` / `meshSolid` 互斥：它是网格链上的一张面（`sketchOnFace` 在\n   * 近似拓扑面上铺草图后的产物），既不是精度链实体，也不是网格零件本身。\n   * 它存在的原因和 BREP 链上「面 Shape」完全对称——BREP 侧 `sketchOnFace` 返回\n   * `fromBrep(face, { solid: face })`，面句柄同样占着 `solid` 槽；网格侧若把面句柄\n   * 塞进 `solid`，`hasBrep` 会变真、分派会走精度链，在只有网格后端的宿主上必然报错。\n   * 所以面句柄需要自己的一格，不能借位。\n   */\n  meshFace?: unknown\n  faceEvolution?: Map<number, number[]>\n  // 1.10 前置③：roleTable 槽字段已删除——权威落点在血缘图旁挂\n  // （topology/naming/lineage.ts 的 recordOutput / tableOfPart），\n  // 解析缓存 miss 由回走重算恢复（api/topo-resolve.ts）。\n  /** mesh/primitive 面 hint 快照（§3.6 setTopology 注入时由 runtime 提炼写入，解析兜底用）。 */\n  faceHints?: unknown\n  behavior?: unknown\n}\n\n/**\n * 装配变换（引擎应用）：求解在库（solveTransforms），应用与下游失效在引擎（P6）。\n * index = 成员下标（compound.children 内）。\n */\nexport interface AssemblyTransform {\n  index: number\n  quaternion: [number, number, number, number]\n  pivot: [number, number, number]\n  translation: [number, number, number]\n  rotationMatrix: number[]\n}\n\n/**\n * do_assemble 的待应用变换登记（P6：求解 ≠ 传播）。\n * 库只把求解结果写到这里；引擎在语句执行后取走并应用 + 失效下游。\n */\nconst pendingAssemblyKeys = new Set<object>()\nconst pendingAssemblyTransforms = new WeakMap<object, AssemblyTransform[]>()\n\n/**\n * Register a compound's pending assembly transforms (called from the\n * do_assemble method body; accumulates across calls).\n *\n * @param c - the compound object that owns the transforms.\n * @param ts - the assembly transforms to append.\n */\nexport function setPendingAssemblyTransforms(c: object, ts: AssemblyTransform[]): void {\n  if (ts.length === 0) return\n  pendingAssemblyKeys.add(c)\n  const existing = pendingAssemblyTransforms.get(c) ?? []\n  pendingAssemblyTransforms.set(c, [...existing, ...ts])\n}\n\n/**\n * Take all pending assembly transforms and clear them (called by the engine's\n * afterStatement hook; consumed exactly once).\n *\n * @returns the list of compounds with their accumulated transforms.\n */\nexport function takePendingAssemblyTransforms(): Array<{ compound: object; transforms: AssemblyTransform[] }> {\n  const out: Array<{ compound: object; transforms: AssemblyTransform[] }> = []\n  for (const c of pendingAssemblyKeys) {\n    const ts = pendingAssemblyTransforms.get(c)\n    if (ts && ts.length > 0) out.push({ compound: c, transforms: ts })\n    pendingAssemblyTransforms.delete(c)\n  }\n  pendingAssemblyKeys.clear()\n  return out\n}\n\n// ── P3：运动副位姿登记（ExecutionResult.kinematics）──\n// 与 pendingAssemblyTransforms 同模式：库只把 solveKinematics 的 per-member 位姿\n// 写到这里，引擎在语句执行后取走并放入 ExecutionResult.kinematics（宿主动画/导出\n// 从 ExecutionResult 读取，不新增返回值消费语义）。\n\n/** 单个成员的位姿（position + faijs [x,y,z,w] rotation；与 api/assembly/joints 的 KinematicsPose 结构一致）。 */\nexport interface AssemblyKinematicsPose {\n  position: [number, number, number]\n  rotation: [number, number, number, number]\n}\n\n/** 位姿键：成员名 → AssemblyKinematicsPose（含恒等链根；键 = PartName）。 */\nexport type AssemblyKinematics = Record<string, AssemblyKinematicsPose>\n\nconst pendingKinematicsKeys = new Set<object>()\nconst pendingAssemblyKinematics = new WeakMap<object, AssemblyKinematics>()\n\n/**\n * Register a compound's pending assembly kinematics (P3; called from the\n * do_assemble/solve method body; accumulates across calls).\n *\n * @param c - the compound object that owns the kinematics.\n * @param kin - per-member poses keyed by member name (all members, incl. identity).\n */\nexport function setPendingAssemblyKinematics(c: object, kin: AssemblyKinematics): void {\n  pendingKinematicsKeys.add(c)\n  pendingAssemblyKinematics.set(c, kin)\n}\n\n/**\n * Take all pending assembly kinematics and clear them (called by the engine after\n * an assembly statement; consumed exactly once).\n *\n * @returns the list of compounds with their per-member kinematics.\n */\nexport function takePendingAssemblyKinematics(): Array<{ compound: object; kinematics: AssemblyKinematics }> {\n  const out: Array<{ compound: object; kinematics: AssemblyKinematics }> = []\n  for (const c of pendingKinematicsKeys) {\n    const kin = pendingAssemblyKinematics.get(c)\n    if (kin) out.push({ compound: c, kinematics: kin })\n    pendingAssemblyKinematics.delete(c)\n  }\n  pendingKinematicsKeys.clear()\n  return out\n}\n\nconst STATE_VERSION = 1\nconst KEY = '__FAICAD_FAIJS_RUNTIME__'\n\n/**\n * 获取全局状态（单例）。\n *\n * 挂在 globalThis 上是为了让\"两份 faijs 代码\"（宿主 bundle 一份、第三方库\n * 打进一份）共享同一份状态——两份 WeakSet 会导致 Shape 身份不通（几何孤岛）。\n * 构建期去重（external）是主手段，这里是兜底。\n *\n * @returns the shared global runtime state singleton.\n */\nexport function getRuntimeState(): FaijsRuntimeState {\n  const g = globalThis as unknown as Record<string, unknown>\n  const existing = g[KEY] as FaijsRuntimeState | undefined\n  if (existing) {\n    if (existing.stateVersion !== STATE_VERSION) {\n      throw new Error(\n        `[faijs] runtime state version mismatch: loaded=${existing.stateVersion}, expected=${STATE_VERSION}`,\n      )\n    }\n    return existing\n  }\n  const created: FaijsRuntimeState = {\n    stateVersion: STATE_VERSION,\n    backends: undefined,\n    currentStmt: undefined,\n    created: new WeakSet<object>(),\n    slots: new WeakMap<object, ShapeSlot>(),\n    shapeToName: new WeakMap<object, PartName>(),\n    registeredStmtId: undefined,\n  }\n  g[KEY] = created\n  return created\n}\n\n// ── 后端配置读写 ──\n\n/**\n * 宿主在启动时调用一次，注入环境资源。\n *\n * @param backends - the host-injected environment resources.\n */\nexport function configureBackends(backends: Backends): void {\n  getRuntimeState().backends = backends\n}\n\n/**\n * 读取后端配置。库函数通过它获取内核与宿主端口。\n *\n * 未配置时抛错——不要返回默认值兜底（配置是宿主的责任，缺失必须暴露）。\n *\n * @returns the configured backend resources.\n */\nexport function getBackends(): Backends {\n  const b = getRuntimeState().backends\n  if (!b) {\n    throw new Error('[faijs] backends not configured: call configureBackends() before executing')\n  }\n  return b\n}\n\n// ── 当前执行语句（引擎内部状态）──\n\n/**\n * 引擎在语句 fn 之前调用（替换现状的 exec.currentStmt = source）。\n *\n * @param stmt - the statement currently being executed.\n */\nexport function setCurrentStmt(stmt: ExecutionAnchor | undefined): void {\n  const s = getRuntimeState()\n  // 语句边界：锚点变化（含语句结束置 undefined）时解除同语句 lineage 去重标记，\n  // 使下一条语句（或同 id 复跑）重新获得注册资格；同一条语句内 TS 库函数\n  // （如 cq-compat Workplane op）连续调用多个 defineOp 时共享锚点，标记保持\n  // 生效，嵌套调用正确跳过注册（见 define-op 的 isOuter 判定）。\n  if (s.currentStmt?.id !== stmt?.id) s.registeredStmtId = undefined\n  s.currentStmt = stmt\n}\n\n/**\n * 读取当前执行语句。库函数不应调用它（F1）。\n *\n * @returns the currently executing statement, or undefined if none.\n */\nexport function getCurrentStmt(): ExecutionAnchor | undefined {\n  return getRuntimeState().currentStmt\n}\n\n// ── Shape 身份表 ──\n\n/**\n * Shape → 变量名反查（keep 与 dependentsOf 依赖）。\n *\n * @param shape - the shape to look up.\n * @returns the part name registered for the shape, or undefined.\n */\nexport function nameOf(shape: object): PartName | undefined {\n  return getRuntimeState().shapeToName.get(shape)\n}\n\n/**\n * 登记 Shape → 变量名映射。\n *\n * @param shape - the shape to register.\n * @param name - the part name to associate with the shape.\n */\nexport function setName(shape: object, name: PartName): void {\n  getRuntimeState().shapeToName.set(shape, name)\n}\n\n// ── keep 声明（库函数体调用）──\n\n/**\n * 登记回调类型。由 DirectExecutor 在装配时注入（保持 runtime-state 零依赖）。\n */\nexport type KeepSink = (stmtId: string, names: PartName[], hidden: boolean) => void\n\nlet keepSink: KeepSink | undefined\n\n/**\n * 引擎装配 keep 的落地目标（DirectExecutor.registerKeep）。\n *\n * @param sink - the keep callback registered by the engine, or undefined to clear.\n */\nexport function setKeepSink(sink: KeepSink | undefined): void {\n  keepSink = sink\n}\n\n/**\n * 函数体 keep 声明：声明保留这些 Shape 对应的变量（可见）。\n *\n * 库作者在库函数体内调用：\n * ```ts\n * import { keep } from '@faicad/faijs'\n * export function group(params) {\n *   keep(...params.members)\n *   return compound(params.members)\n * }\n * ```\n *\n * 归属到\"当前正在执行的语句\"（引擎在 fn 之前 setCurrentStmt）。\n * 未登记在 shapeToName 的对象（库内部的自定义对象）被忽略——这是刻意的静默。\n *\n * @param shapes - the shapes whose corresponding variables should be kept.\n */\nexport function keep(...shapes: unknown[]): void {\n  registerKeep(shapes, false)\n}\n\n/**\n * 函数体 keep 声明：保留但 canvas 不渲染（布尔系函数的源）。\n *\n * @param shapes - the shapes whose corresponding variables should be kept hidden.\n */\nexport function keepHidden(...shapes: unknown[]): void {\n  registerKeep(shapes, true)\n}\n\nfunction registerKeep(shapes: unknown[], hidden: boolean): void {\n  const stmt = getRuntimeState().currentStmt\n  if (!stmt || !keepSink) return\n  const names: PartName[] = []\n  for (const s of shapes) {\n    if (s === null || typeof s !== 'object') continue\n    const n = nameOf(s)\n    if (n !== undefined) names.push(n)\n  }\n  if (names.length === 0) return\n  keepSink(String(stmt.id), names, hidden)\n}\n\n// ── 文件单位登记（unit-system §10.6：load op 的 detectedUnit 回传）──\n// 与 pendingAssemblyTransforms 同模式：load op 把读出的文件声明单位写到这里，\n// 引擎在语句执行后取走并按 part 名放进 ExecutionResult.detectedUnits（宿主写进\n// LoadedFileModel.sourceUnit，不新增返回值消费语义）。\n\n/** Per-part declared file units (key = PartName; null-never — absent key = unknown). */\nexport type DetectedUnits = Map<PartName, string>\n\nconst pendingDetectedUnits = new Map<PartName, string>()\n\n/**\n * Register a part's declared file unit (called from the load op body; the unit\n * is metadata only — coordinates are already base-unit, never re-scaled).\n *\n * @param partName - the variable name the loaded shape will be bound to.\n * @param unit - the file's own declared unit (faijs UnitName).\n */\nexport function setPendingDetectedUnit(partName: PartName, unit: string): void {\n  pendingDetectedUnits.set(partName, unit)\n}\n\n/**\n * Take all pending detected units and clear them (engine, after each statement;\n * consumed exactly once).\n *\n * @returns a fresh Map of part name → declared unit, copied from the pending\n *   store and cleared so it is consumed exactly once.\n */\nexport function takePendingDetectedUnits(): DetectedUnits {\n  const out = new Map(pendingDetectedUnits)\n  pendingDetectedUnits.clear()\n  return out\n}\n\n// ── 多零件降级登记（fileid-container-and-nesting §5.4：cad.load 只支持单零件）──\n// 与 pendingDetectedUnits 同模式：`cad.load` op 读到多零件文件（多 solid STEP /\n// 多 object 3MF）时降级取第一个零件，并把\"原文件零件数\"登记到这里；引擎在语句\n// 执行后取走并按 part 名放进 ExecutionResult.multiPartCounts（宿主据此弹警告\n// 「该文件包含 N 个零件，当前仅加载第一个」，§5.4:166）。\n\n/** Per-part declared multi-part degradation (key = PartName; absent = 单零件/无多零件文件). */\nexport type MultiPartCounts = Map<PartName, number>\n\nconst pendingMultiPartCounts = new Map<PartName, number>()\n\n/**\n * Register a part that was downgraded from a multi-part file (called from the\n * load op body; the shape returned is only the first-part geometry).\n *\n * @param partName - the variable name the loaded (single) shape is bound to.\n * @param partCount - the total number of parts the source file declared (>= 2).\n */\nexport function setPendingMultiPartCount(partName: PartName, partCount: number): void {\n  pendingMultiPartCounts.set(partName, partCount)\n}\n\n/**\n * Take all pending multi-part counts and clear them (engine, after each\n * statement; consumed exactly once).\n *\n * @returns a fresh Map of part name → part count, copied from the pending store.\n */\nexport function takePendingMultiPartCounts(): MultiPartCounts {\n  const out = new Map(pendingMultiPartCounts)\n  pendingMultiPartCounts.clear()\n  return out\n}\n\n// ── 网格实体登记（方案 2026-10-01 §3.3：load 的 mesh 路径产出网格实体 + 近似拓扑）──\n// 与 pendingDetectedUnits 同模式：load op（在 @faicad/faijs-extra）不能直接持有\n// CadRuntime 实例，故把\"规范化得到的句柄\"与\"近似拓扑数据\"登记到这里，引擎在语句\n// 执行后取走：句柄进 MeshSolidRegistry + 写 Shape 槽，拓扑进 topologyCache。\n//\n// 两步分开登记（而不是塞进一个结构）是为了让**拓扑可缺失**：句柄是 mesh 零件的\n// 身份，拓扑是它的可用性；将来若出现\"只有句柄、拓扑延后构建\"的路径，不需要改协议。\n\nconst pendingMeshSolids = new Map<PartName, unknown>()\nconst pendingMeshTopologies = new Map<PartName, unknown>()\n\n/**\n * 登记某 part 的网格实体句柄（load op 调用；由引擎在语句执行后收编）。\n *\n * @param partName - the variable name the loaded mesh shape will be bound to.\n * @param solid - the normalized mesh solid handle (opaque outside the mesh backend).\n */\nexport function setPendingMeshSolid(partName: PartName, solid: unknown): void {\n  pendingMeshSolids.set(partName, solid)\n}\n\n/**\n * 取走全部待收编的网格实体句柄并清空（引擎在语句执行后调用，消费一次）。\n *\n * @returns a fresh Map of part name → mesh solid handle.\n */\nexport function takePendingMeshSolids(): Map<PartName, unknown> {\n  const out = new Map(pendingMeshSolids)\n  pendingMeshSolids.clear()\n  return out\n}\n\n/**\n * 登记某 part 的近似拓扑数据（load op 调用；`SelectorRuntimeData`，本层只按\n * `unknown` 透传——零依赖红线）。\n *\n * @param partName - the variable name the loaded mesh shape will be bound to.\n * @param data - the serializable selector runtime data built from the mesh solid.\n */\nexport function setPendingMeshTopology(partName: PartName, data: unknown): void {\n  pendingMeshTopologies.set(partName, data)\n}\n\n/**\n * 取走全部待收编的近似拓扑数据并清空（引擎在语句执行后调用，消费一次）。\n *\n * @returns a fresh Map of part name → selector runtime data.\n */\nexport function takePendingMeshTopologies(): Map<PartName, unknown> {\n  const out = new Map(pendingMeshTopologies)\n  pendingMeshTopologies.clear()\n  return out\n}\n"]}
+{"version":3,"file":"runtime-state.js","sourceRoot":"","sources":["../src/runtime-state.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;GAcG;AA6FH;;;;;;;GAOG;AACH,MAAM,CAAC,MAAM,gBAAgB,GAAG,CAAC,CAAA;AAUjC;;;;;GAKG;AACH,MAAM,UAAU,qBAAqB,CAAC,GAAkC;IACtE,IAAI,GAAG,CAAC,eAAe,KAAK,SAAS,IAAI,GAAG,CAAC,eAAe,KAAK,gBAAgB,EAAE,CAAC;QAClF,MAAM,IAAI,KAAK,CACb,kDAAkD,MAAM,CAAC,GAAG,CAAC,eAAe,CAAC,cAAc,gBAAgB,EAAE,CAC9G,CAAA;IACH,CAAC;AACH,CAAC;AAED;;;;;;GAMG;AACH,MAAM,OAAO,oBAAqB,SAAQ,KAAK;IAC7C,8EAA8E;IACrE,IAAI,CAAkB;IAC/B,YAAY,OAAe,EAAE,IAAsB;QACjD,KAAK,CAAC,OAAO,CAAC,CAAA;QACd,IAAI,CAAC,IAAI,GAAG,sBAAsB,CAAA;QAClC,IAAI,CAAC,IAAI,GAAG,IAAI,CAAA;IAClB,CAAC;CACF;AAED;;;;;;;;;GASG;AACH,MAAM,OAAO,oBAAqB,SAAQ,KAAK;IAC7C,8EAA8E;IACrE,IAAI,CAAkB;IAC/B,YAAY,OAAe,EAAE,IAAsB;QACjD,KAAK,CAAC,OAAO,CAAC,CAAA;QACd,IAAI,CAAC,IAAI,GAAG,sBAAsB,CAAA;QAClC,IAAI,CAAC,IAAI,GAAG,IAAI,CAAA;IAClB,CAAC;CACF;AAyBD,sCAAsC;AACtC,2CAA2C;AAC3C,qDAAqD;AACrD,4DAA4D;AAC5D,+EAA+E;AAE/E,IAAI,iBAAiB,GAAG,CAAC,CAAA;AACzB,MAAM,kBAAkB,GAAc,EAAE,CAAA;AAExC,uDAAuD;AACvD,MAAM,UAAU,iBAAiB;IAC/B,IAAI,iBAAiB,KAAK,CAAC;QAAE,kBAAkB,CAAC,MAAM,GAAG,CAAC,CAAA;IAC1D,iBAAiB,EAAE,CAAA;AACrB,CAAC;AAED,6BAA6B;AAC7B,MAAM,UAAU,gBAAgB;IAC9B,iBAAiB,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,iBAAiB,GAAG,CAAC,CAAC,CAAA;AACxD,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,oBAAoB,CAAC,KAAc;IACjD,IAAI,iBAAiB,GAAG,CAAC;QAAE,kBAAkB,CAAC,IAAI,CAAC,KAAK,CAAC,CAAA;AAC3D,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,sBAAsB;IACpC,MAAM,MAAM,GAAG,CAAC,GAAG,kBAAkB,CAAC,CAAA;IACtC,kBAAkB,CAAC,MAAM,GAAG,CAAC,CAAA;IAC7B,OAAO,MAAM,CAAA;AACf,CAAC;AA+CD;;;GAGG;AACH,MAAM,mBAAmB,GAAG,IAAI,GAAG,EAAU,CAAA;AAC7C,MAAM,yBAAyB,GAAG,IAAI,OAAO,EAA+B,CAAA;AAE5E;;;;;;GAMG;AACH,MAAM,UAAU,4BAA4B,CAAC,CAAS,EAAE,EAAuB;IAC7E,IAAI,EAAE,CAAC,MAAM,KAAK,CAAC;QAAE,OAAM;IAC3B,mBAAmB,CAAC,GAAG,CAAC,CAAC,CAAC,CAAA;IAC1B,MAAM,QAAQ,GAAG,yBAAyB,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,CAAA;IACvD,yBAAyB,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,GAAG,QAAQ,EAAE,GAAG,EAAE,CAAC,CAAC,CAAA;AACxD,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,6BAA6B;IAC3C,MAAM,GAAG,GAAiE,EAAE,CAAA;IAC5E,KAAK,MAAM,CAAC,IAAI,mBAAmB,EAAE,CAAC;QACpC,MAAM,EAAE,GAAG,yBAAyB,CAAC,GAAG,CAAC,CAAC,CAAC,CAAA;QAC3C,IAAI,EAAE,IAAI,EAAE,CAAC,MAAM,GAAG,CAAC;YAAE,GAAG,CAAC,IAAI,CAAC,EAAE,QAAQ,EAAE,CAAC,EAAE,UAAU,EAAE,EAAE,EAAE,CAAC,CAAA;QAClE,yBAAyB,CAAC,MAAM,CAAC,CAAC,CAAC,CAAA;IACrC,CAAC;IACD,mBAAmB,CAAC,KAAK,EAAE,CAAA;IAC3B,OAAO,GAAG,CAAA;AACZ,CAAC;AAgBD,MAAM,qBAAqB,GAAG,IAAI,GAAG,EAAU,CAAA;AAC/C,MAAM,yBAAyB,GAAG,IAAI,OAAO,EAA8B,CAAA;AAE3E;;;;;;GAMG;AACH,MAAM,UAAU,4BAA4B,CAAC,CAAS,EAAE,GAAuB;IAC7E,qBAAqB,CAAC,GAAG,CAAC,CAAC,CAAC,CAAA;IAC5B,yBAAyB,CAAC,GAAG,CAAC,CAAC,EAAE,GAAG,CAAC,CAAA;AACvC,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,6BAA6B;IAC3C,MAAM,GAAG,GAAgE,EAAE,CAAA;IAC3E,KAAK,MAAM,CAAC,IAAI,qBAAqB,EAAE,CAAC;QACtC,MAAM,GAAG,GAAG,yBAAyB,CAAC,GAAG,CAAC,CAAC,CAAC,CAAA;QAC5C,IAAI,GAAG;YAAE,GAAG,CAAC,IAAI,CAAC,EAAE,QAAQ,EAAE,CAAC,EAAE,UAAU,EAAE,GAAG,EAAE,CAAC,CAAA;QACnD,yBAAyB,CAAC,MAAM,CAAC,CAAC,CAAC,CAAA;IACrC,CAAC;IACD,qBAAqB,CAAC,KAAK,EAAE,CAAA;IAC7B,OAAO,GAAG,CAAA;AACZ,CAAC;AAED,MAAM,aAAa,GAAG,CAAC,CAAA;AACvB,MAAM,GAAG,GAAG,0BAA0B,CAAA;AAEtC;;;;;;;;GAQG;AACH,MAAM,UAAU,eAAe;IAC7B,MAAM,CAAC,GAAG,UAAgD,CAAA;IAC1D,MAAM,QAAQ,GAAG,CAAC,CAAC,GAAG,CAAkC,CAAA;IACxD,IAAI,QAAQ,EAAE,CAAC;QACb,IAAI,QAAQ,CAAC,YAAY,KAAK,aAAa,EAAE,CAAC;YAC5C,MAAM,IAAI,KAAK,CACb,kDAAkD,QAAQ,CAAC,YAAY,cAAc,aAAa,EAAE,CACrG,CAAA;QACH,CAAC;QACD,OAAO,QAAQ,CAAA;IACjB,CAAC;IACD,MAAM,OAAO,GAAsB;QACjC,YAAY,EAAE,aAAa;QAC3B,QAAQ,EAAE,SAAS;QACnB,WAAW,EAAE,SAAS;QACtB,OAAO,EAAE,IAAI,OAAO,EAAU;QAC9B,KAAK,EAAE,IAAI,OAAO,EAAqB;QACvC,WAAW,EAAE,IAAI,OAAO,EAAoB;QAC5C,gBAAgB,EAAE,SAAS;KAC5B,CAAA;IACD,CAAC,CAAC,GAAG,CAAC,GAAG,OAAO,CAAA;IAChB,OAAO,OAAO,CAAA;AAChB,CAAC;AAED,eAAe;AAEf;;;;GAIG;AACH,MAAM,UAAU,iBAAiB,CAAC,QAAkB;IAClD,eAAe,EAAE,CAAC,QAAQ,GAAG,QAAQ,CAAA;AACvC,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,WAAW;IACzB,MAAM,CAAC,GAAG,eAAe,EAAE,CAAC,QAAQ,CAAA;IACpC,IAAI,CAAC,CAAC,EAAE,CAAC;QACP,MAAM,IAAI,KAAK,CAAC,4EAA4E,CAAC,CAAA;IAC/F,CAAC;IACD,OAAO,CAAC,CAAA;AACV,CAAC;AAED,sBAAsB;AAEtB;;;;GAIG;AACH,MAAM,UAAU,cAAc,CAAC,IAAiC;IAC9D,MAAM,CAAC,GAAG,eAAe,EAAE,CAAA;IAC3B,kDAAkD;IAClD,yCAAyC;IACzC,uDAAuD;IACvD,2CAA2C;IAC3C,IAAI,CAAC,CAAC,WAAW,EAAE,EAAE,KAAK,IAAI,EAAE,EAAE;QAAE,CAAC,CAAC,gBAAgB,GAAG,SAAS,CAAA;IAClE,CAAC,CAAC,WAAW,GAAG,IAAI,CAAA;AACtB,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,cAAc;IAC5B,OAAO,eAAe,EAAE,CAAC,WAAW,CAAA;AACtC,CAAC;AAED,kBAAkB;AAElB;;;;;GAKG;AACH,MAAM,UAAU,MAAM,CAAC,KAAa;IAClC,OAAO,eAAe,EAAE,CAAC,WAAW,CAAC,GAAG,CAAC,KAAK,CAAC,CAAA;AACjD,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,OAAO,CAAC,KAAa,EAAE,IAAc;IACnD,eAAe,EAAE,CAAC,WAAW,CAAC,GAAG,CAAC,KAAK,EAAE,IAAI,CAAC,CAAA;AAChD,CAAC;AASD,IAAI,QAA8B,CAAA;AAElC;;;;GAIG;AACH,MAAM,UAAU,WAAW,CAAC,IAA0B;IACpD,QAAQ,GAAG,IAAI,CAAA;AACjB,CAAC;AAED;;;;;;;;;;;;;;;;GAgBG;AACH,MAAM,UAAU,IAAI,CAAC,GAAG,MAAiB;IACvC,YAAY,CAAC,MAAM,EAAE,KAAK,CAAC,CAAA;AAC7B,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,UAAU,CAAC,GAAG,MAAiB;IAC7C,YAAY,CAAC,MAAM,EAAE,IAAI,CAAC,CAAA;AAC5B,CAAC;AAED,SAAS,YAAY,CAAC,MAAiB,EAAE,MAAe;IACtD,MAAM,IAAI,GAAG,eAAe,EAAE,CAAC,WAAW,CAAA;IAC1C,IAAI,CAAC,IAAI,IAAI,CAAC,QAAQ;QAAE,OAAM;IAC9B,MAAM,KAAK,GAAe,EAAE,CAAA;IAC5B,KAAK,MAAM,CAAC,IAAI,MAAM,EAAE,CAAC;QACvB,IAAI,CAAC,KAAK,IAAI,IAAI,OAAO,CAAC,KAAK,QAAQ;YAAE,SAAQ;QACjD,MAAM,CAAC,GAAG,MAAM,CAAC,CAAC,CAAC,CAAA;QACnB,IAAI,CAAC,KAAK,SAAS;YAAE,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAA;IACpC,CAAC;IACD,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC;QAAE,OAAM;IAC9B,QAAQ,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,KAAK,EAAE,MAAM,CAAC,CAAA;AAC1C,CAAC;AAUD,MAAM,oBAAoB,GAAG,IAAI,GAAG,EAAoB,CAAA;AAExD;;;;;;GAMG;AACH,MAAM,UAAU,sBAAsB,CAAC,QAAkB,EAAE,IAAY;IACrE,oBAAoB,CAAC,GAAG,CAAC,QAAQ,EAAE,IAAI,CAAC,CAAA;AAC1C,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,wBAAwB;IACtC,MAAM,GAAG,GAAG,IAAI,GAAG,CAAC,oBAAoB,CAAC,CAAA;IACzC,oBAAoB,CAAC,KAAK,EAAE,CAAA;IAC5B,OAAO,GAAG,CAAA;AACZ,CAAC;AAWD,MAAM,sBAAsB,GAAG,IAAI,GAAG,EAAoB,CAAA;AAE1D;;;;;;GAMG;AACH,MAAM,UAAU,wBAAwB,CAAC,QAAkB,EAAE,SAAiB;IAC5E,sBAAsB,CAAC,GAAG,CAAC,QAAQ,EAAE,SAAS,CAAC,CAAA;AACjD,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,0BAA0B;IACxC,MAAM,GAAG,GAAG,IAAI,GAAG,CAAC,sBAAsB,CAAC,CAAA;IAC3C,sBAAsB,CAAC,KAAK,EAAE,CAAA;IAC9B,OAAO,GAAG,CAAA;AACZ,CAAC;AAED,sEAAsE;AACtE,kEAAkE;AAClE,kDAAkD;AAClD,6DAA6D;AAC7D,wCAAwC;AAExC,MAAM,mBAAmB,GAAG,IAAI,GAAG,EAAyB,CAAA;AAE5D;;;;;;GAMG;AACH,MAAM,UAAU,qBAAqB,CAAC,QAAkB,EAAE,KAAkB;IAC1E,mBAAmB,CAAC,GAAG,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAA;AAC1C,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,uBAAuB;IACrC,MAAM,GAAG,GAAG,IAAI,GAAG,CAAC,mBAAmB,CAAC,CAAA;IACxC,mBAAmB,CAAC,KAAK,EAAE,CAAA;IAC3B,OAAO,GAAG,CAAA;AACZ,CAAC;AAED,8DAA8D;AAC9D,kEAAkE;AAClE,iDAAiD;AACjD,6DAA6D;AAC7D,EAAE;AACF,8CAA8C;AAC9C,4CAA4C;AAE5C,MAAM,iBAAiB,GAAG,IAAI,GAAG,EAAqB,CAAA;AACtD,MAAM,qBAAqB,GAAG,IAAI,GAAG,EAAqB,CAAA;AAE1D;;;;;GAKG;AACH,MAAM,UAAU,mBAAmB,CAAC,QAAkB,EAAE,KAAc;IACpE,iBAAiB,CAAC,GAAG,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAA;AACxC,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,qBAAqB;IACnC,MAAM,GAAG,GAAG,IAAI,GAAG,CAAC,iBAAiB,CAAC,CAAA;IACtC,iBAAiB,CAAC,KAAK,EAAE,CAAA;IACzB,OAAO,GAAG,CAAA;AACZ,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,sBAAsB,CAAC,QAAkB,EAAE,IAAa;IACtE,qBAAqB,CAAC,GAAG,CAAC,QAAQ,EAAE,IAAI,CAAC,CAAA;AAC3C,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,yBAAyB;IACvC,MAAM,GAAG,GAAG,IAAI,GAAG,CAAC,qBAAqB,CAAC,CAAA;IAC1C,qBAAqB,CAAC,KAAK,EAAE,CAAA;IAC7B,OAAO,GAAG,CAAA;AACZ,CAAC","sourcesContent":["/**\n * runtime-state — 全局运行时状态锚点（零依赖层）\n *\n *\n * 本模块位于 L0+（零运行时依赖），是 L3 API 面（core/src/api）与\n * cad-runtime（L2）之间唯一的共享状态。**放在这一层是为了避免循环依赖**：\n * api/ 不能 import cad-runtime（cad-runtime/api-namespace.ts 已经 import 了 api/）。\n *\n * 承载三类状态：\n * 1. Backends —— 宿主注入的环境资源（内核 / 端口 / 模式 / 平台库命名空间）\n * 2. 当前执行语句 —— keep() 归属用（引擎在语句 fn 之前设置）\n * 3. Shape 身份表 —— 构造器登记（isShape 依据）与 Shape→PartName 反查\n *\n * ⚠️ 依赖方向红线：本文件不得 import 任何 src/ 下的模块（只可 import type）。\n */\n\nimport type { PartName, StmtId } from './identity'\nimport type { ImportModel } from './mesh/import-model'\n\n/**\n * Lightweight execution anchor — carries only the fields consumed by\n * library functions via getCurrentStmt(): `id` (StmtId), `outputs` (PartName[]),\n * `callee`, and `hasAssignment`. The DirectExecutor creates these from\n * line-number + writes.\n */\nexport interface ExecutionAnchor {\n  readonly id: string\n  readonly outputs: PartName[]\n  readonly callee?: string\n  readonly hasAssignment?: boolean\n}\n\n// ── 后端配置（宿主注入的环境资源）──\n\n/**\n * 执行模式（与 src/cad-runtime/ports.ts 的 ExecutionMode 保持一致）。\n *\n * 此处重复定义是为了保持本模块零依赖。一致性由 `cad-runtime/runtime.ts:460`\n * （`mode: this.mode`，`ExecutionMode` → 本类型的赋值）在编译期间接钉住：\n * 只给 `ExecutionMode` 加成员而不加到这里 → 该行 tsc 报错。\n * （2026-09-22 核实：无独立守卫测试。）\n */\nexport type RuntimeExecutionMode = 'auto' | 'brep' | 'mesh'\n\n/** 宿主注入的环境资源。字段类型用宽松结构，避免本模块依赖具体实现。 */\nexport interface Backends {\n  /** 契约版本（装配期校验，不兼容即抛错） */\n  readonly contractVersion: number\n  /** 执行配置（可变对象，宿主可在运行期切换） */\n  readonly config: {\n    mode: RuntimeExecutionMode\n    /** 当前 BREP 引擎 id（注册表首个注册者；未注册为 null）。能力路由读（§8.4）。 */\n    brepEngineId?: string | null\n    /**\n     * 当前引擎能力声明（宽松结构，零依赖）。能力路由读（§8.4）。\n     *\n     * `evolution` = 本引擎**实际提供**的 `*WithHistory` 核函数名名单\n     * （`brep/engine/types.ts` 的 `BrepEvolutionKind`）。**不是**族级布尔——\n     * 族级布尔会多报能力、使静态判定失效（Phase 0.2）。\n     * 本模块须零依赖，故此处只写 `readonly string[]`；权威类型见\n     * `BrepCapabilities`，消费侧由 `backend-dispatch.engineCapabilitySet` 归一化。\n     */\n    brepCapabilities?: {\n      evolution?: readonly string[]\n      /**\n       * 非演化内核方法名（D5）：本引擎**实际提供**的 L1 中立方法名\n       * （`getBoundingBox` / `getVolume` / `getSurfaceArea` / `getLength` /\n       * `getCenterOfMass` 等）。2026-09-24 narrowing plan §2.4：与\n       * `backend-dispatch.EngineCapabilitiesLike` 对齐（该类型有 `methods`，\n       * 运行时配置镜像此前缺失——非字面量赋值不做 excess property 检查，\n       * `methods` 判定\"能用但没被契约钉住\"）。\n       */\n      methods?: readonly string[]\n      heal?: boolean\n      directEdit?: boolean\n      advSurface?: boolean\n      assembly?: boolean\n      meshLift?: boolean\n    }\n    partTransform?: { position: [number, number, number]; scale?: [number, number, number] }\n  }\n  /** 几何后端。brep 引擎异步初始化 → 用 getter。 */\n  readonly kernel: {\n    readonly brep: unknown | null\n    readonly csg: unknown | undefined\n    readonly sdf: unknown | undefined\n    /**\n     * 网格实体后端（网格语义路径的内核；`brep/mesh-solid.ts` 的 `MeshSolidBackend`）。\n     *\n     * **与 `brep` 独立**：mesh 零件既可以在「宿主用 OCCT 做 BREP、用 brepkit 做\n     * mesh」的装配下产出，也可以在纯 mesh 模式下产出。未装配 → `undefined`，\n     * 此时 `load` 的 mesh 路径保持\"裸网格、无近似拓扑\"的历史行为（这不是静默\n     * 降级：没有网格内核是宿主的装配事实，与\"规范化失败\"是两回事）。\n     *\n     * 类型在本模块里写 `unknown`（零依赖红线），权威类型见 `MeshSolidBackend`。\n     */\n    readonly meshSolid?: unknown\n  }\n  /** 宿主端口（透传 HostPorts） */\n  readonly fonts: unknown\n  readonly texture: unknown\n  readonly assets: unknown\n  readonly events: unknown\n  /** faijs 平台库命名空间（引擎不区分它与第三方库——都是库函数；由宿主注入，core 不默认装配） */\n  readonly cad?: LibNamespace\n}\n\n/**\n * 契约版本。破坏性变更 +1。加载第三方库时校验，不兼容即抛错。\n *\n * v3（P23，§5.2 / D11）：`defineOp` 的实现边界统一为 Result 语义——实现可返回\n * `Result`（边界 unwrap，`err` → 抛错）、可抛错（归一为带 op 名的错误），\n * 也可照旧返回裸产物（透传）；并新增 D11 `positional` 位置形态声明。\n * v2 → v3 是破坏性变更：按 v2 契约构建的库必须重新构建。\n */\nexport const CONTRACT_VERSION = 3\n\n/** 库函数签名（引擎视角：任意参数的普通函数，信息均匀化，不按名字分支）。 */\nexport type LibFn = (...args: any[]) => unknown\n\n/** 库命名空间：函数名 → 库函数（faijs 平台库与第三方库同构）。 */\nexport interface LibNamespace {\n  [name: string]: LibFn\n}\n\n/**\n * 契约版本校验（P7 第三方库通道）：加载时校验，不兼容即抛错（不静默降级）。\n * 第三方库模块若带 contractVersion 字段（与 CONTRACT_VERSION 对齐），必须匹配。\n *\n * @param lib - the library module whose contractVersion field is validated.\n */\nexport function assertContractVersion(lib: { contractVersion?: unknown }): void {\n  if (lib.contractVersion !== undefined && lib.contractVersion !== CONTRACT_VERSION) {\n    throw new Error(\n      `[faijs] library contract version mismatch: got ${String(lib.contractVersion)}, expected ${CONTRACT_VERSION}`,\n    )\n  }\n}\n\n/**\n * brep 强制模式下的不支持错误（mesh-only 函数 / 输入不在 BREP 链）。\n *\n * 由分派路径抛出，CadRuntime 捕获后转换为 ExecutionResult.failedAt\n * （与旧解释器\"brep 模式立即返回 E_BREP_UNSUPPORTED，不静默回退 mesh\"的语义一致）。\n * P2 起定义在本层（零依赖），L3 API 命名空间与引擎共享同一类（instanceof 判定）。\n */\nexport class BrepUnsupportedError extends Error {\n  /** The statement that triggered the unsupported operation, when available. */\n  readonly stmt?: ExecutionAnchor\n  constructor(message: string, stmt?: ExecutionAnchor) {\n    super(message)\n    this.name = 'BrepUnsupportedError'\n    this.stmt = stmt\n  }\n}\n\n/**\n * Unsupported error for mesh-forced mode (brep-only functions, or auto-mode\n * brep-only functions with a broken input chain).\n *\n * Symmetric to BrepUnsupportedError: thrown statically by the dispatch path,\n * caught by CadRuntime and converted into ExecutionResult.failedAt. A brep-only\n * function being unavailable in mesh mode is expected behavior (mode ×\n * implementation-set mismatch), not a bug fallback — the static-dispatch red\n * line (no try-catch, no runtime fallback) is unchanged.\n */\nexport class MeshUnsupportedError extends Error {\n  /** The statement that triggered the unsupported operation, when available. */\n  readonly stmt?: ExecutionAnchor\n  constructor(message: string, stmt?: ExecutionAnchor) {\n    super(message)\n    this.name = 'MeshUnsupportedError'\n    this.stmt = stmt\n  }\n}\n\n// ── 状态容器 ──\n\n/**\n * The global runtime state singleton: backend configuration, the currently\n * executing statement, and the Shape identity tables (constructor registry,\n * identity slots, and Shape → PartName reverse lookup).\n */\nexport interface FaijsRuntimeState {\n  readonly stateVersion: number\n  /** 后端配置（configureBackends 写入） */\n  backends: Backends | undefined\n  /** 当前执行语句锚点（引擎在语句 fn 之前设置） */\n  currentStmt: ExecutionAnchor | undefined\n  /** Shape 构造器登记（isShape 的唯一依据） */\n  readonly created: WeakSet<object>\n  /** Shape 身份槽 */\n  readonly slots: WeakMap<object, ShapeSlot>\n  /** Shape → PartName 反查（keep 与 dependentsOf 用） */\n  readonly shapeToName: WeakMap<object, PartName>\n  /** 同语句 lineage 去重标记（define-op 写入；语句边界 setCurrentStmt 重置）。 */\n  registeredStmtId: StmtId | undefined\n}\n\n// ── 函数 BREP 域（控制流放松方案 §5.6 / D13） ──\n// 本机函数体内的瞬态 BREP 句柄：进入函数时开启登记域，op 输出句柄写入时经\n// registerFunctionBrep 登记；函数返回后引擎取走域、释放除返回值可到达句柄外的全部\n// （对齐「调用方负责句柄生命周期」brep-ops.ts 与 meshesToStep 的 finally 模式）。\n// 全局计数与 DirectExecutor.userFunctionDepth 同步（单 runtime 场景，与 setCurrentStmt 同构）。\n\nlet functionBrepDepth = 0\nconst functionBrepDomain: unknown[] = []\n\n/** 进入函数 BREP 域（DirectExecutor 执行 local 语句 fn 之前调用）。 */\nexport function enterFunctionBrep(): void {\n  if (functionBrepDepth === 0) functionBrepDomain.length = 0\n  functionBrepDepth++\n}\n\n/** 退出函数 BREP 域（fn 结束后调用）。 */\nexport function exitFunctionBrep(): void {\n  functionBrepDepth = Math.max(0, functionBrepDepth - 1)\n}\n\n/**\n * 登记函数域内新产生的 BREP 句柄（hook 点在 op 输出 shape 槽位写入处——fromBrep）。\n * 非函数域（depth = 0）时 no-op（零开销，现状路径不变）。\n * @param solid - 新产生的 OCCT 句柄。\n */\nexport function registerFunctionBrep(solid: unknown): void {\n  if (functionBrepDepth > 0) functionBrepDomain.push(solid)\n}\n\n/**\n * 取走当前函数域的句柄登记表并清空（引擎在 fn 结束后调用，随后释放非返回值句柄）。\n * @returns 当前函数域的句柄登记表快照。\n */\nexport function takeFunctionBrepDomain(): unknown[] {\n  const domain = [...functionBrepDomain]\n  functionBrepDomain.length = 0\n  return domain\n}\n\n/** Shape 身份槽（OCCT 句柄 + 网格实体句柄 + 网格面句柄 + 面演化 + 拓扑命名 + 装配行为）。 */\nexport interface ShapeSlot {\n  /** BREP 精度链句柄。与 `meshSolid` / `meshFace` **互斥**（同时存在 = 缺陷）。 */\n  solid?: unknown\n  /**\n   * 网格实体句柄（近似链）。与 `solid` **互斥**——网格零件按定义没有精度链，\n   * BREP 实体也不携带网格实体。互斥由 `backend-dispatch.assertShapeSlotExclusive`\n   * 在分派前静态校验（不给运行时\"选边站\"的机会；方案 §3.2）。\n   *\n   * 它只表示\"这个 Shape 是网格零件\"这一事实，句柄的生命周期由\n   * `brep/mesh-solid.ts` 的 `MeshSolidRegistry` 持有。\n   */\n  meshSolid?: unknown\n  /**\n   * 网格链**面**句柄（近似链的构造中几何，方案 2026-10-01 §4 Phase 3）。\n   *\n   * 与 `solid` / `meshSolid` 互斥：它是网格链上的一张面（`sketchOnFace` 在\n   * 近似拓扑面上铺草图后的产物），既不是精度链实体，也不是网格零件本身。\n   * 它存在的原因和 BREP 链上「面 Shape」完全对称——BREP 侧 `sketchOnFace` 返回\n   * `fromBrep(face, { solid: face })`，面句柄同样占着 `solid` 槽；网格侧若把面句柄\n   * 塞进 `solid`，`hasBrep` 会变真、分派会走精度链，在只有网格后端的宿主上必然报错。\n   * 所以面句柄需要自己的一格，不能借位。\n   */\n  meshFace?: unknown\n  faceEvolution?: Map<number, number[]>\n  // 1.10 前置③：roleTable 槽字段已删除——权威落点在血缘图旁挂\n  // （topology/naming/lineage.ts 的 recordOutput / tableOfPart），\n  // 解析缓存 miss 由回走重算恢复（api/topo-resolve.ts）。\n  /** mesh/primitive 面 hint 快照（§3.6 setTopology 注入时由 runtime 提炼写入，解析兜底用）。 */\n  faceHints?: unknown\n  behavior?: unknown\n}\n\n/**\n * 装配变换（引擎应用）：求解在库（solveTransforms），应用与下游失效在引擎（P6）。\n * index = 成员下标（compound.children 内）。\n */\nexport interface AssemblyTransform {\n  index: number\n  quaternion: [number, number, number, number]\n  pivot: [number, number, number]\n  translation: [number, number, number]\n  rotationMatrix: number[]\n}\n\n/**\n * do_assemble 的待应用变换登记（P6：求解 ≠ 传播）。\n * 库只把求解结果写到这里；引擎在语句执行后取走并应用 + 失效下游。\n */\nconst pendingAssemblyKeys = new Set<object>()\nconst pendingAssemblyTransforms = new WeakMap<object, AssemblyTransform[]>()\n\n/**\n * Register a compound's pending assembly transforms (called from the\n * do_assemble method body; accumulates across calls).\n *\n * @param c - the compound object that owns the transforms.\n * @param ts - the assembly transforms to append.\n */\nexport function setPendingAssemblyTransforms(c: object, ts: AssemblyTransform[]): void {\n  if (ts.length === 0) return\n  pendingAssemblyKeys.add(c)\n  const existing = pendingAssemblyTransforms.get(c) ?? []\n  pendingAssemblyTransforms.set(c, [...existing, ...ts])\n}\n\n/**\n * Take all pending assembly transforms and clear them (called by the engine's\n * afterStatement hook; consumed exactly once).\n *\n * @returns the list of compounds with their accumulated transforms.\n */\nexport function takePendingAssemblyTransforms(): Array<{ compound: object; transforms: AssemblyTransform[] }> {\n  const out: Array<{ compound: object; transforms: AssemblyTransform[] }> = []\n  for (const c of pendingAssemblyKeys) {\n    const ts = pendingAssemblyTransforms.get(c)\n    if (ts && ts.length > 0) out.push({ compound: c, transforms: ts })\n    pendingAssemblyTransforms.delete(c)\n  }\n  pendingAssemblyKeys.clear()\n  return out\n}\n\n// ── P3：运动副位姿登记（ExecutionResult.kinematics）──\n// 与 pendingAssemblyTransforms 同模式：库只把 solveKinematics 的 per-member 位姿\n// 写到这里，引擎在语句执行后取走并放入 ExecutionResult.kinematics（宿主动画/导出\n// 从 ExecutionResult 读取，不新增返回值消费语义）。\n\n/** 单个成员的位姿（position + faijs [x,y,z,w] rotation；与 api/assembly/joints 的 KinematicsPose 结构一致）。 */\nexport interface AssemblyKinematicsPose {\n  position: [number, number, number]\n  rotation: [number, number, number, number]\n}\n\n/** 位姿键：成员名 → AssemblyKinematicsPose（含恒等链根；键 = PartName）。 */\nexport type AssemblyKinematics = Record<string, AssemblyKinematicsPose>\n\nconst pendingKinematicsKeys = new Set<object>()\nconst pendingAssemblyKinematics = new WeakMap<object, AssemblyKinematics>()\n\n/**\n * Register a compound's pending assembly kinematics (P3; called from the\n * do_assemble/solve method body; accumulates across calls).\n *\n * @param c - the compound object that owns the kinematics.\n * @param kin - per-member poses keyed by member name (all members, incl. identity).\n */\nexport function setPendingAssemblyKinematics(c: object, kin: AssemblyKinematics): void {\n  pendingKinematicsKeys.add(c)\n  pendingAssemblyKinematics.set(c, kin)\n}\n\n/**\n * Take all pending assembly kinematics and clear them (called by the engine after\n * an assembly statement; consumed exactly once).\n *\n * @returns the list of compounds with their per-member kinematics.\n */\nexport function takePendingAssemblyKinematics(): Array<{ compound: object; kinematics: AssemblyKinematics }> {\n  const out: Array<{ compound: object; kinematics: AssemblyKinematics }> = []\n  for (const c of pendingKinematicsKeys) {\n    const kin = pendingAssemblyKinematics.get(c)\n    if (kin) out.push({ compound: c, kinematics: kin })\n    pendingAssemblyKinematics.delete(c)\n  }\n  pendingKinematicsKeys.clear()\n  return out\n}\n\nconst STATE_VERSION = 1\nconst KEY = '__FAICAD_FAIJS_RUNTIME__'\n\n/**\n * 获取全局状态（单例）。\n *\n * 挂在 globalThis 上是为了让\"两份 faijs 代码\"（宿主 bundle 一份、第三方库\n * 打进一份）共享同一份状态——两份 WeakSet 会导致 Shape 身份不通（几何孤岛）。\n * 构建期去重（external）是主手段，这里是兜底。\n *\n * @returns the shared global runtime state singleton.\n */\nexport function getRuntimeState(): FaijsRuntimeState {\n  const g = globalThis as unknown as Record<string, unknown>\n  const existing = g[KEY] as FaijsRuntimeState | undefined\n  if (existing) {\n    if (existing.stateVersion !== STATE_VERSION) {\n      throw new Error(\n        `[faijs] runtime state version mismatch: loaded=${existing.stateVersion}, expected=${STATE_VERSION}`,\n      )\n    }\n    return existing\n  }\n  const created: FaijsRuntimeState = {\n    stateVersion: STATE_VERSION,\n    backends: undefined,\n    currentStmt: undefined,\n    created: new WeakSet<object>(),\n    slots: new WeakMap<object, ShapeSlot>(),\n    shapeToName: new WeakMap<object, PartName>(),\n    registeredStmtId: undefined,\n  }\n  g[KEY] = created\n  return created\n}\n\n// ── 后端配置读写 ──\n\n/**\n * 宿主在启动时调用一次，注入环境资源。\n *\n * @param backends - the host-injected environment resources.\n */\nexport function configureBackends(backends: Backends): void {\n  getRuntimeState().backends = backends\n}\n\n/**\n * 读取后端配置。库函数通过它获取内核与宿主端口。\n *\n * 未配置时抛错——不要返回默认值兜底（配置是宿主的责任，缺失必须暴露）。\n *\n * @returns the configured backend resources.\n */\nexport function getBackends(): Backends {\n  const b = getRuntimeState().backends\n  if (!b) {\n    throw new Error('[faijs] backends not configured: call configureBackends() before executing')\n  }\n  return b\n}\n\n// ── 当前执行语句（引擎内部状态）──\n\n/**\n * 引擎在语句 fn 之前调用（替换现状的 exec.currentStmt = source）。\n *\n * @param stmt - the statement currently being executed.\n */\nexport function setCurrentStmt(stmt: ExecutionAnchor | undefined): void {\n  const s = getRuntimeState()\n  // 语句边界：锚点变化（含语句结束置 undefined）时解除同语句 lineage 去重标记，\n  // 使下一条语句（或同 id 复跑）重新获得注册资格；同一条语句内 TS 库函数\n  // （如 cq-compat Workplane op）连续调用多个 defineOp 时共享锚点，标记保持\n  // 生效，嵌套调用正确跳过注册（见 define-op 的 isOuter 判定）。\n  if (s.currentStmt?.id !== stmt?.id) s.registeredStmtId = undefined\n  s.currentStmt = stmt\n}\n\n/**\n * 读取当前执行语句。库函数不应调用它（F1）。\n *\n * @returns the currently executing statement, or undefined if none.\n */\nexport function getCurrentStmt(): ExecutionAnchor | undefined {\n  return getRuntimeState().currentStmt\n}\n\n// ── Shape 身份表 ──\n\n/**\n * Shape → 变量名反查（keep 与 dependentsOf 依赖）。\n *\n * @param shape - the shape to look up.\n * @returns the part name registered for the shape, or undefined.\n */\nexport function nameOf(shape: object): PartName | undefined {\n  return getRuntimeState().shapeToName.get(shape)\n}\n\n/**\n * 登记 Shape → 变量名映射。\n *\n * @param shape - the shape to register.\n * @param name - the part name to associate with the shape.\n */\nexport function setName(shape: object, name: PartName): void {\n  getRuntimeState().shapeToName.set(shape, name)\n}\n\n// ── keep 声明（库函数体调用）──\n\n/**\n * 登记回调类型。由 DirectExecutor 在装配时注入（保持 runtime-state 零依赖）。\n */\nexport type KeepSink = (stmtId: string, names: PartName[], hidden: boolean) => void\n\nlet keepSink: KeepSink | undefined\n\n/**\n * 引擎装配 keep 的落地目标（DirectExecutor.registerKeep）。\n *\n * @param sink - the keep callback registered by the engine, or undefined to clear.\n */\nexport function setKeepSink(sink: KeepSink | undefined): void {\n  keepSink = sink\n}\n\n/**\n * 函数体 keep 声明：声明保留这些 Shape 对应的变量（可见）。\n *\n * 库作者在库函数体内调用：\n * ```ts\n * import { keep } from '@faicad/faijs'\n * export function group(params) {\n *   keep(...params.members)\n *   return compound(params.members)\n * }\n * ```\n *\n * 归属到\"当前正在执行的语句\"（引擎在 fn 之前 setCurrentStmt）。\n * 未登记在 shapeToName 的对象（库内部的自定义对象）被忽略——这是刻意的静默。\n *\n * @param shapes - the shapes whose corresponding variables should be kept.\n */\nexport function keep(...shapes: unknown[]): void {\n  registerKeep(shapes, false)\n}\n\n/**\n * 函数体 keep 声明：保留但 canvas 不渲染（布尔系函数的源）。\n *\n * @param shapes - the shapes whose corresponding variables should be kept hidden.\n */\nexport function keepHidden(...shapes: unknown[]): void {\n  registerKeep(shapes, true)\n}\n\nfunction registerKeep(shapes: unknown[], hidden: boolean): void {\n  const stmt = getRuntimeState().currentStmt\n  if (!stmt || !keepSink) return\n  const names: PartName[] = []\n  for (const s of shapes) {\n    if (s === null || typeof s !== 'object') continue\n    const n = nameOf(s)\n    if (n !== undefined) names.push(n)\n  }\n  if (names.length === 0) return\n  keepSink(String(stmt.id), names, hidden)\n}\n\n// ── 文件单位登记（unit-system §10.6：load op 的 detectedUnit 回传）──\n// 与 pendingAssemblyTransforms 同模式：load op 把读出的文件声明单位写到这里，\n// 引擎在语句执行后取走并按 part 名放进 ExecutionResult.detectedUnits（宿主写进\n// LoadedFileModel.sourceUnit，不新增返回值消费语义）。\n\n/** Per-part declared file units (key = PartName; null-never — absent key = unknown). */\nexport type DetectedUnits = Map<PartName, string>\n\nconst pendingDetectedUnits = new Map<PartName, string>()\n\n/**\n * Register a part's declared file unit (called from the load op body; the unit\n * is metadata only — coordinates are already base-unit, never re-scaled).\n *\n * @param partName - the variable name the loaded shape will be bound to.\n * @param unit - the file's own declared unit (faijs UnitName).\n */\nexport function setPendingDetectedUnit(partName: PartName, unit: string): void {\n  pendingDetectedUnits.set(partName, unit)\n}\n\n/**\n * Take all pending detected units and clear them (engine, after each statement;\n * consumed exactly once).\n *\n * @returns a fresh Map of part name → declared unit, copied from the pending\n *   store and cleared so it is consumed exactly once.\n */\nexport function takePendingDetectedUnits(): DetectedUnits {\n  const out = new Map(pendingDetectedUnits)\n  pendingDetectedUnits.clear()\n  return out\n}\n\n// ── 多零件降级登记（fileid-container-and-nesting §5.4：cad.load 只支持单零件）──\n// 与 pendingDetectedUnits 同模式：`cad.load` op 读到多零件文件（多 solid STEP /\n// 多 object 3MF）时降级取第一个零件，并把\"原文件零件数\"登记到这里；引擎在语句\n// 执行后取走并按 part 名放进 ExecutionResult.multiPartCounts（宿主据此弹警告\n// 「该文件包含 N 个零件，当前仅加载第一个」，§5.4:166）。\n\n/** Per-part declared multi-part degradation (key = PartName; absent = 单零件/无多零件文件). */\nexport type MultiPartCounts = Map<PartName, number>\n\nconst pendingMultiPartCounts = new Map<PartName, number>()\n\n/**\n * Register a part that was downgraded from a multi-part file (called from the\n * load op body; the shape returned is only the first-part geometry).\n *\n * @param partName - the variable name the loaded (single) shape is bound to.\n * @param partCount - the total number of parts the source file declared (>= 2).\n */\nexport function setPendingMultiPartCount(partName: PartName, partCount: number): void {\n  pendingMultiPartCounts.set(partName, partCount)\n}\n\n/**\n * Take all pending multi-part counts and clear them (engine, after each\n * statement; consumed exactly once).\n *\n * @returns a fresh Map of part name → part count, copied from the pending store.\n */\nexport function takePendingMultiPartCounts(): MultiPartCounts {\n  const out = new Map(pendingMultiPartCounts)\n  pendingMultiPartCounts.clear()\n  return out\n}\n\n// ── 导入模型结构登记（方案 2026-10-06-step-3mf-multipart-import-plan.md §5.5）──\n// 与 pendingDetectedUnits 同模式：`cad.load` op 在解析文件后把 ImportModel（零件\n// 身份表 + 装配层级 + Bambu 视图）登记到这里；引擎在语句执行后取走并按 part 名\n// 放进 ExecutionResult.importModels（宿主据此批量建 part / 消费装配结构）。单/多\n// 零件均登记（单零件 parts 长度 1），宿主有统一消费入口，不必分叉。\n\nconst pendingImportModels = new Map<PartName, ImportModel>()\n\n/**\n * Register a part's import model (called from the load op body; the geometry\n * lives in the returned Shape / CompoundShape.children, this is structure only).\n *\n * @param partName - the variable name the loaded shape will be bound to.\n * @param model - the import model (parts + optional assembly / bambu views).\n */\nexport function setPendingImportModel(partName: PartName, model: ImportModel): void {\n  pendingImportModels.set(partName, model)\n}\n\n/**\n * Take all pending import models and clear them (engine, after each statement;\n * consumed exactly once).\n *\n * @returns a fresh Map of part name → import model, copied from the pending store.\n */\nexport function takePendingImportModels(): Map<PartName, ImportModel> {\n  const out = new Map(pendingImportModels)\n  pendingImportModels.clear()\n  return out\n}\n\n// ── 网格实体登记（方案 2026-10-01 §3.3：load 的 mesh 路径产出网格实体 + 近似拓扑）──\n// 与 pendingDetectedUnits 同模式：load op（在 @faicad/faijs-extra）不能直接持有\n// CadRuntime 实例，故把\"规范化得到的句柄\"与\"近似拓扑数据\"登记到这里，引擎在语句\n// 执行后取走：句柄进 MeshSolidRegistry + 写 Shape 槽，拓扑进 topologyCache。\n//\n// 两步分开登记（而不是塞进一个结构）是为了让**拓扑可缺失**：句柄是 mesh 零件的\n// 身份，拓扑是它的可用性；将来若出现\"只有句柄、拓扑延后构建\"的路径，不需要改协议。\n\nconst pendingMeshSolids = new Map<PartName, unknown>()\nconst pendingMeshTopologies = new Map<PartName, unknown>()\n\n/**\n * 登记某 part 的网格实体句柄（load op 调用；由引擎在语句执行后收编）。\n *\n * @param partName - the variable name the loaded mesh shape will be bound to.\n * @param solid - the normalized mesh solid handle (opaque outside the mesh backend).\n */\nexport function setPendingMeshSolid(partName: PartName, solid: unknown): void {\n  pendingMeshSolids.set(partName, solid)\n}\n\n/**\n * 取走全部待收编的网格实体句柄并清空（引擎在语句执行后调用，消费一次）。\n *\n * @returns a fresh Map of part name → mesh solid handle.\n */\nexport function takePendingMeshSolids(): Map<PartName, unknown> {\n  const out = new Map(pendingMeshSolids)\n  pendingMeshSolids.clear()\n  return out\n}\n\n/**\n * 登记某 part 的近似拓扑数据（load op 调用；`SelectorRuntimeData`，本层只按\n * `unknown` 透传——零依赖红线）。\n *\n * @param partName - the variable name the loaded mesh shape will be bound to.\n * @param data - the serializable selector runtime data built from the mesh solid.\n */\nexport function setPendingMeshTopology(partName: PartName, data: unknown): void {\n  pendingMeshTopologies.set(partName, data)\n}\n\n/**\n * 取走全部待收编的近似拓扑数据并清空（引擎在语句执行后调用，消费一次）。\n *\n * @returns a fresh Map of part name → selector runtime data.\n */\nexport function takePendingMeshTopologies(): Map<PartName, unknown> {\n  const out = new Map(pendingMeshTopologies)\n  pendingMeshTopologies.clear()\n  return out\n}\n"]}

package/dist/script-globals.d.ts

@@ -0,0 +1,24 @@
+/**
+ * script-globals — 脚本内置全局（免 import 安全全局）的对外查询入口。
+ *
+ * `.fai.js` 有一组**不需要任何 import** 的裸标识符：JS 语言内置（`Math` / `JSON` /
+ * `Number` / `console` / `Infinity` / `NaN` / `undefined` / `parseInt` / …）与单位常量
+ * （`MM` / `INCH` / `DEGREE` / …）。脚本作者直接书写即为预期用法。
+ *
+ * 背景（A2）：这份名单此前只存在于 `lang/security-scanner.ts` 的实现里——既不在主导出，
+ * 也没有子路径，脚本作者与编辑器只能读源码才能回答「`Math` 能不能用」。本模块把它开成
+ * 一个稳定入口，供编辑器补全、实时校验与宿主侧「可用名字」提示使用。语义（两类求值方式）
+ * 见 [`docs/language-design.md`](../docs/language-design.md) 的「内置全局」一节。
+ *
+ * 两个子路径消费者分工：
+ * - **编辑器 / 宿主**：读 `S4_SAFE_GLOBALS` 做补全与校验；
+ * - **不变量守卫**：`isSafeGlobalIdent` 是六处判定点共用的唯一入口，本模块只转发不复制名单。
+ */
+export { 
+/** 脚本免 import 可用的安全全局名单（JS 语言内置 + 单位常量）。 */
+S4_SAFE_GLOBALS, 
+/** 不可被脚本声明/遮蔽的单位常量名（`S4_SAFE_GLOBALS` 的子集）。 */
+RESERVED_UNIT_NAMES, 
+/** 裸标识符是否为免 import 安全全局——六处判定点共用的唯一判定入口。 */
+isSafeGlobalIdent, } from './lang/security-scanner.js';
+//# sourceMappingURL=script-globals.d.ts.map

package/dist/script-globals.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"script-globals.d.ts","sourceRoot":"","sources":["../src/script-globals.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;GAeG;AAEH,OAAO;AACL,4CAA4C;AAC5C,eAAe;AACf,+CAA+C;AAC/C,mBAAmB;AACnB,4CAA4C;AAC5C,iBAAiB,GAClB,MAAM,yBAAyB,CAAA"}

package/dist/script-globals.js

@@ -0,0 +1,24 @@
+/**
+ * script-globals — 脚本内置全局（免 import 安全全局）的对外查询入口。
+ *
+ * `.fai.js` 有一组**不需要任何 import** 的裸标识符：JS 语言内置（`Math` / `JSON` /
+ * `Number` / `console` / `Infinity` / `NaN` / `undefined` / `parseInt` / …）与单位常量
+ * （`MM` / `INCH` / `DEGREE` / …）。脚本作者直接书写即为预期用法。
+ *
+ * 背景（A2）：这份名单此前只存在于 `lang/security-scanner.ts` 的实现里——既不在主导出，
+ * 也没有子路径，脚本作者与编辑器只能读源码才能回答「`Math` 能不能用」。本模块把它开成
+ * 一个稳定入口，供编辑器补全、实时校验与宿主侧「可用名字」提示使用。语义（两类求值方式）
+ * 见 [`docs/language-design.md`](../docs/language-design.md) 的「内置全局」一节。
+ *
+ * 两个子路径消费者分工：
+ * - **编辑器 / 宿主**：读 `S4_SAFE_GLOBALS` 做补全与校验；
+ * - **不变量守卫**：`isSafeGlobalIdent` 是六处判定点共用的唯一入口，本模块只转发不复制名单。
+ */
+export { 
+/** 脚本免 import 可用的安全全局名单（JS 语言内置 + 单位常量）。 */
+S4_SAFE_GLOBALS, 
+/** 不可被脚本声明/遮蔽的单位常量名（`S4_SAFE_GLOBALS` 的子集）。 */
+RESERVED_UNIT_NAMES, 
+/** 裸标识符是否为免 import 安全全局——六处判定点共用的唯一判定入口。 */
+isSafeGlobalIdent, } from './lang/security-scanner.js';
+//# sourceMappingURL=script-globals.js.map

package/dist/script-globals.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"script-globals.js","sourceRoot":"","sources":["../src/script-globals.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;GAeG;AAEH,OAAO;AACL,4CAA4C;AAC5C,eAAe;AACf,+CAA+C;AAC/C,mBAAmB;AACnB,4CAA4C;AAC5C,iBAAiB,GAClB,MAAM,yBAAyB,CAAA","sourcesContent":["/**\n * script-globals — 脚本内置全局（免 import 安全全局）的对外查询入口。\n *\n * `.fai.js` 有一组**不需要任何 import** 的裸标识符：JS 语言内置（`Math` / `JSON` /\n * `Number` / `console` / `Infinity` / `NaN` / `undefined` / `parseInt` / …）与单位常量\n * （`MM` / `INCH` / `DEGREE` / …）。脚本作者直接书写即为预期用法。\n *\n * 背景（A2）：这份名单此前只存在于 `lang/security-scanner.ts` 的实现里——既不在主导出，\n * 也没有子路径，脚本作者与编辑器只能读源码才能回答「`Math` 能不能用」。本模块把它开成\n * 一个稳定入口，供编辑器补全、实时校验与宿主侧「可用名字」提示使用。语义（两类求值方式）\n * 见 [`docs/language-design.md`](../docs/language-design.md) 的「内置全局」一节。\n *\n * 两个子路径消费者分工：\n * - **编辑器 / 宿主**：读 `S4_SAFE_GLOBALS` 做补全与校验；\n * - **不变量守卫**：`isSafeGlobalIdent` 是六处判定点共用的唯一入口，本模块只转发不复制名单。\n */\n\nexport {\n  /** 脚本免 import 可用的安全全局名单（JS 语言内置 + 单位常量）。 */\n  S4_SAFE_GLOBALS,\n  /** 不可被脚本声明/遮蔽的单位常量名（`S4_SAFE_GLOBALS` 的子集）。 */\n  RESERVED_UNIT_NAMES,\n  /** 裸标识符是否为免 import 安全全局——六处判定点共用的唯一判定入口。 */\n  isSafeGlobalIdent,\n} from './lang/security-scanner'\n"]}

package/dist/shape.d.ts

@@ -219,6 +219,30 @@ export declare function isCompound(v: unknown): v is CompoundShape;
  * @returns true if the value has compound shape structure.
  */
 export declare function isCompoundLike(v: unknown): v is CompoundShape;
+/**
+ * P2（2026-10-06-step-3mf-multipart-import-plan.md）：多零件 load 的输出是
+ * compound（children 匿名，无独立变量名）——单零件消费 op（fai_extrude /
+ * fai_drill 等）以 `params.partIndex` 指定目标成员。入参是普通 Shape 时原样
+ * 返回（partIndex 被忽略，保持既有行为）；越界或空 children 抛清晰错误。
+ *
+ * @param input - 消费 op 的输入（多零件为 CompoundShape；普通 Shape 原样返回）
+ * @param partIndex - 目标成员下标（0 起，对应 load 返回 compound.children 序；
+ *   非 number 视为 0，与单零件行为一致）
+ * @param callee - op 名（错误消息定位用）
+ * @returns 目标成员 Shape（compound 的 children 是匿名几何，可直接接特征链）
+ */
+export declare function resolveCompoundMember(input: Shape, partIndex: unknown, callee: string): Shape;
+/**
+ * P2：消费 op（extrude/drill）作用于 compound 的目标成员后，把结果替换回
+ * 原 compound（其余 children 原样保留）——多零件结构不因单成员修改而坍缩成
+ * 单一 Shape。入参非 compound 时原样返回 replacement（单零件行为不变）。
+ *
+ * @param input - 消费 op 的输入（多零件为 CompoundShape；普通 Shape 时直接返回 replacement）
+ * @param partIndex - 被替换成员下标（0 起；非 number 视为 0，与单零件行为一致）
+ * @param replacement - 目标成员的新 Shape（op 结果）
+ * @returns 替换后的 compound（其余 children 原样）或 replacement（入参非 compound 时）
+ */
+export declare function replaceCompoundMember(input: Shape, partIndex: unknown, replacement: Shape): Shape | CompoundShape;
 /**
  * 1D 曲线判定（1D 判别位，Phase 3）：`kind === 'curve'`。
  *

package/dist/shape.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"shape.d.ts","sourceRoot":"","sources":["../src/shape.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AAEH,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,cAAc,CAAA;AACzC,OAAO,EAA2B,KAAK,sBAAsB,EAAE,MAAM,kBAAkB,CAAA;AACvF,OAAO,EAAqB,KAAK,gBAAgB,EAAE,MAAM,YAAY,CAAA;AACrE,OAAO,EAAiE,KAAK,SAAS,EAAE,MAAM,iBAAiB,CAAA;AAM/G,kDAAkD;AAClD,MAAM,MAAM,SAAS,GAAG,OAAO,GAAG,SAAS,GAAG,OAAO,GAAG,UAAU,CAAA;AAElE;;;;;;GAMG;AACH,MAAM,WAAW,UAAW,SAAQ,KAAK,EAAE,sBAAsB,EAAE,gBAAgB;IACjF,IAAI,EAAE,OAAO,CAAA;CACd;AAED,6DAA6D;AAC7D,MAAM,WAAW,aAAa;IAC5B,IAAI,EAAE,UAAU,CAAA;IAChB,QAAQ,EAAE,KAAK,EAAE,CAAA;CAClB;AAED;;;;;;GAMG;AACH,MAAM,WAAW,UAAW,SAAQ,KAAK,EAAE,sBAAsB,EAAE,gBAAgB;IACjF,IAAI,EAAE,OAAO,CAAA;CACd;AAED,+DAA+D;AAC/D,MAAM,MAAM,QAAQ,GAAG,UAAU,GAAG,aAAa,GAAG,UAAU,CAAA;AAE9D;;;;;GAKG;AACH,wBAAgB,KAAK,CAAC,IAAI,EAAE,KAAK,GAAG,UAAU,CAI7C;AAED;;;;;;;;GAQG;AACH,wBAAgB,KAAK,CAAC,IAAI,EAAE,KAAK,GAAG,UAAU,CAI7C;AAED;;;;;;;;;;;;;;GAcG;AACH,wBAAgB,QAAQ,CAAC,IAAI,EAAE,KAAK,EAAE,MAAM,EAAE,UAAU,GAAG,UAAU,CAIpE;AAED;;;;;;;;GAQG;AACH,wBAAgB,aAAa,CAAC,IAAI,EAAE,KAAK,EAAE,MAAM,EAAE,UAAU,GAAG,UAAU,CAIzE;AAED;;;;;;;;;;;;;;;;;GAiBG;AACH,wBAAgB,aAAa,CAAC,IAAI,EAAE,KAAK,EAAE,MAAM,EAAE,eAAe,GAAG,UAAU,CAI9E;AAED,sDAAsD;AACtD,MAAM,WAAW,eAAe;IAC9B,gDAAgD;IAChD,SAAS,EAAE,OAAO,CAAA;CACnB;AAED;;;;;;;;;;;;GAYG;AACH,wBAAgB,YAAY,CAAC,IAAI,EAAE,KAAK,EAAE,MAAM,EAAE,cAAc,GAAG,UAAU,CAI5E;AAED,2DAA2D;AAC3D,MAAM,WAAW,cAAc;IAC7B,qBAAqB;IACrB,QAAQ,EAAE,OAAO,CAAA;CAClB;AAED;;;;;;;;;GASG;AACH,wBAAgB,eAAe,CAAC,CAAC,EAAE,KAAK,EAAE,SAAS,EAAE,OAAO,GAAG,IAAI,CAelE;AAED;;;;;;;;GAQG;AACH,wBAAgB,cAAc,CAAC,CAAC,EAAE,KAAK,EAAE,QAAQ,EAAE,OAAO,GAAG,IAAI,CAUhE;AAED;;;;;GAKG;AACH,wBAAgB,WAAW,CAAC,KAAK,EAAE,KAAK,GAAG,OAAO,CAEjD;AAED;;;;;GAKG;AACH,wBAAgB,UAAU,CAAC,KAAK,EAAE,KAAK,GAAG,OAAO,GAAG,SAAS,CAE5D;AAED;;;;;;;;GAQG;AACH,wBAAgB,YAAY,CAAC,KAAK,EAAE,KAAK,GAAG,OAAO,CAElD;AAED;;;;;GAKG;AACH,wBAAgB,WAAW,CAAC,KAAK,EAAE,KAAK,GAAG,OAAO,GAAG,SAAS,CAE7D;AA2CD,gFAAgF;AAChF,MAAM,WAAW,UAAU;IACzB,KAAK,EAAE,OAAO,CAAA;IACd,aAAa,CAAC,EAAE,GAAG,CAAC,MAAM,EAAE,MAAM,EAAE,CAAC,CAAA;IACrC;;;OAGG;IACH,SAAS,CAAC,EAAE,OAAO,CAAA;CACpB;AAED;;;;;GAKG;AACH,wBAAgB,QAAQ,CAAC,QAAQ,EAAE,KAAK,EAAE,GAAG,aAAa,CAIzD;AAED;;;;;GAKG;AACH,wBAAgB,OAAO,CAAC,CAAC,EAAE,OAAO,GAAG,CAAC,IAAI,KAAK,CAE9C;AAED;;;;;GAKG;AACH,wBAAgB,UAAU,CAAC,CAAC,EAAE,OAAO,GAAG,CAAC,IAAI,aAAa,CAEzD;AAED;;;;;;GAMG;AACH,wBAAgB,cAAc,CAAC,CAAC,EAAE,OAAO,GAAG,CAAC,IAAI,aAAa,CAI7D;AAED;;;;;;;;;;GAUG;AACH,wBAAgB,YAAY,CAAC,CAAC,EAAE,OAAO,GAAG,CAAC,IAAI,UAAU,CAExD;AAID,YAAY,EAAE,SAAS,EAAE,CAAA;AAEzB;;;;;GAKG;AACH,wBAAgB,OAAO,CAAC,KAAK,EAAE,MAAM,GAAG,SAAS,GAAG,SAAS,CAE5D;AAED;;;;;GAKG;AACH,wBAAgB,UAAU,CAAC,KAAK,EAAE,MAAM,GAAG,SAAS,CAQnD;AAED;;;;;;;;;GASG;AACH,wBAAgB,cAAc,CAAC,KAAK,EAAE,MAAM,GAAG,OAAO,GAAG,SAAS,CAGjE;AAED;;;;;GAKG;AACH,wBAAgB,OAAO,CAAC,KAAK,EAAE,KAAK,GAAG,OAAO,CAE7C;AAED;;;;;GAKG;AACH,wBAAgB,MAAM,CAAC,KAAK,EAAE,KAAK,GAAG,OAAO,GAAG,SAAS,CAExD;AAED;;;;;GAKG;AACH,wBAAgB,YAAY,CAAC,MAAM,EAAE,KAAK,EAAE,GAAG,MAAM,EAAE,CAEtD"}
+{"version":3,"file":"shape.d.ts","sourceRoot":"","sources":["../src/shape.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AAEH,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,cAAc,CAAA;AACzC,OAAO,EAA2B,KAAK,sBAAsB,EAAE,MAAM,kBAAkB,CAAA;AACvF,OAAO,EAAqB,KAAK,gBAAgB,EAAE,MAAM,YAAY,CAAA;AACrE,OAAO,EAAiE,KAAK,SAAS,EAAE,MAAM,iBAAiB,CAAA;AAM/G,kDAAkD;AAClD,MAAM,MAAM,SAAS,GAAG,OAAO,GAAG,SAAS,GAAG,OAAO,GAAG,UAAU,CAAA;AAElE;;;;;;GAMG;AACH,MAAM,WAAW,UAAW,SAAQ,KAAK,EAAE,sBAAsB,EAAE,gBAAgB;IACjF,IAAI,EAAE,OAAO,CAAA;CACd;AAED,6DAA6D;AAC7D,MAAM,WAAW,aAAa;IAC5B,IAAI,EAAE,UAAU,CAAA;IAChB,QAAQ,EAAE,KAAK,EAAE,CAAA;CAClB;AAED;;;;;;GAMG;AACH,MAAM,WAAW,UAAW,SAAQ,KAAK,EAAE,sBAAsB,EAAE,gBAAgB;IACjF,IAAI,EAAE,OAAO,CAAA;CACd;AAED,+DAA+D;AAC/D,MAAM,MAAM,QAAQ,GAAG,UAAU,GAAG,aAAa,GAAG,UAAU,CAAA;AAE9D;;;;;GAKG;AACH,wBAAgB,KAAK,CAAC,IAAI,EAAE,KAAK,GAAG,UAAU,CAI7C;AAED;;;;;;;;GAQG;AACH,wBAAgB,KAAK,CAAC,IAAI,EAAE,KAAK,GAAG,UAAU,CAI7C;AAED;;;;;;;;;;;;;;GAcG;AACH,wBAAgB,QAAQ,CAAC,IAAI,EAAE,KAAK,EAAE,MAAM,EAAE,UAAU,GAAG,UAAU,CAIpE;AAED;;;;;;;;GAQG;AACH,wBAAgB,aAAa,CAAC,IAAI,EAAE,KAAK,EAAE,MAAM,EAAE,UAAU,GAAG,UAAU,CAIzE;AAED;;;;;;;;;;;;;;;;;GAiBG;AACH,wBAAgB,aAAa,CAAC,IAAI,EAAE,KAAK,EAAE,MAAM,EAAE,eAAe,GAAG,UAAU,CAI9E;AAED,sDAAsD;AACtD,MAAM,WAAW,eAAe;IAC9B,gDAAgD;IAChD,SAAS,EAAE,OAAO,CAAA;CACnB;AAED;;;;;;;;;;;;GAYG;AACH,wBAAgB,YAAY,CAAC,IAAI,EAAE,KAAK,EAAE,MAAM,EAAE,cAAc,GAAG,UAAU,CAI5E;AAED,2DAA2D;AAC3D,MAAM,WAAW,cAAc;IAC7B,qBAAqB;IACrB,QAAQ,EAAE,OAAO,CAAA;CAClB;AAED;;;;;;;;;GASG;AACH,wBAAgB,eAAe,CAAC,CAAC,EAAE,KAAK,EAAE,SAAS,EAAE,OAAO,GAAG,IAAI,CAelE;AAED;;;;;;;;GAQG;AACH,wBAAgB,cAAc,CAAC,CAAC,EAAE,KAAK,EAAE,QAAQ,EAAE,OAAO,GAAG,IAAI,CAUhE;AAED;;;;;GAKG;AACH,wBAAgB,WAAW,CAAC,KAAK,EAAE,KAAK,GAAG,OAAO,CAEjD;AAED;;;;;GAKG;AACH,wBAAgB,UAAU,CAAC,KAAK,EAAE,KAAK,GAAG,OAAO,GAAG,SAAS,CAE5D;AAED;;;;;;;;GAQG;AACH,wBAAgB,YAAY,CAAC,KAAK,EAAE,KAAK,GAAG,OAAO,CAElD;AAED;;;;;GAKG;AACH,wBAAgB,WAAW,CAAC,KAAK,EAAE,KAAK,GAAG,OAAO,GAAG,SAAS,CAE7D;AA2CD,gFAAgF;AAChF,MAAM,WAAW,UAAU;IACzB,KAAK,EAAE,OAAO,CAAA;IACd,aAAa,CAAC,EAAE,GAAG,CAAC,MAAM,EAAE,MAAM,EAAE,CAAC,CAAA;IACrC;;;OAGG;IACH,SAAS,CAAC,EAAE,OAAO,CAAA;CACpB;AAED;;;;;GAKG;AACH,wBAAgB,QAAQ,CAAC,QAAQ,EAAE,KAAK,EAAE,GAAG,aAAa,CAIzD;AAED;;;;;GAKG;AACH,wBAAgB,OAAO,CAAC,CAAC,EAAE,OAAO,GAAG,CAAC,IAAI,KAAK,CAE9C;AAED;;;;;GAKG;AACH,wBAAgB,UAAU,CAAC,CAAC,EAAE,OAAO,GAAG,CAAC,IAAI,aAAa,CAEzD;AAED;;;;;;GAMG;AACH,wBAAgB,cAAc,CAAC,CAAC,EAAE,OAAO,GAAG,CAAC,IAAI,aAAa,CAI7D;AAED;;;;;;;;;;;GAWG;AACH,wBAAgB,qBAAqB,CAAC,KAAK,EAAE,KAAK,EAAE,SAAS,EAAE,OAAO,EAAE,MAAM,EAAE,MAAM,GAAG,KAAK,CAU7F;AAED;;;;;;;;;GASG;AACH,wBAAgB,qBAAqB,CAAC,KAAK,EAAE,KAAK,EAAE,SAAS,EAAE,OAAO,EAAE,WAAW,EAAE,KAAK,GAAG,KAAK,GAAG,aAAa,CAMjH;AAED;;;;;;;;;;GAUG;AACH,wBAAgB,YAAY,CAAC,CAAC,EAAE,OAAO,GAAG,CAAC,IAAI,UAAU,CAExD;AAID,YAAY,EAAE,SAAS,EAAE,CAAA;AAEzB;;;;;GAKG;AACH,wBAAgB,OAAO,CAAC,KAAK,EAAE,MAAM,GAAG,SAAS,GAAG,SAAS,CAE5D;AAED;;;;;GAKG;AACH,wBAAgB,UAAU,CAAC,KAAK,EAAE,MAAM,GAAG,SAAS,CAQnD;AAED;;;;;;;;;GASG;AACH,wBAAgB,cAAc,CAAC,KAAK,EAAE,MAAM,GAAG,OAAO,GAAG,SAAS,CAGjE;AAED;;;;;GAKG;AACH,wBAAgB,OAAO,CAAC,KAAK,EAAE,KAAK,GAAG,OAAO,CAE7C;AAED;;;;;GAKG;AACH,wBAAgB,MAAM,CAAC,KAAK,EAAE,KAAK,GAAG,OAAO,GAAG,SAAS,CAExD;AAED;;;;;GAKG;AACH,wBAAgB,YAAY,CAAC,MAAM,EAAE,KAAK,EAAE,GAAG,MAAM,EAAE,CAEtD"}

package/dist/shape.js

@@ -269,6 +269,46 @@ export function isCompoundLike(v) {
         && v.kind === 'compound'
         && Array.isArray(v.children);
 }
+/**
+ * P2（2026-10-06-step-3mf-multipart-import-plan.md）：多零件 load 的输出是
+ * compound（children 匿名，无独立变量名）——单零件消费 op（fai_extrude /
+ * fai_drill 等）以 `params.partIndex` 指定目标成员。入参是普通 Shape 时原样
+ * 返回（partIndex 被忽略，保持既有行为）；越界或空 children 抛清晰错误。
+ *
+ * @param input - 消费 op 的输入（多零件为 CompoundShape；普通 Shape 原样返回）
+ * @param partIndex - 目标成员下标（0 起，对应 load 返回 compound.children 序；
+ *   非 number 视为 0，与单零件行为一致）
+ * @param callee - op 名（错误消息定位用）
+ * @returns 目标成员 Shape（compound 的 children 是匿名几何，可直接接特征链）
+ */
+export function resolveCompoundMember(input, partIndex, callee) {
+    if (!isCompoundLike(input))
+        return input;
+    const idx = typeof partIndex === 'number' ? partIndex : 0;
+    const child = input.children[idx];
+    if (!child) {
+        throw new Error(`[${callee}] compound has no member at partIndex=${idx} (children=${input.children.length})`);
+    }
+    return child;
+}
+/**
+ * P2：消费 op（extrude/drill）作用于 compound 的目标成员后，把结果替换回
+ * 原 compound（其余 children 原样保留）——多零件结构不因单成员修改而坍缩成
+ * 单一 Shape。入参非 compound 时原样返回 replacement（单零件行为不变）。
+ *
+ * @param input - 消费 op 的输入（多零件为 CompoundShape；普通 Shape 时直接返回 replacement）
+ * @param partIndex - 被替换成员下标（0 起；非 number 视为 0，与单零件行为一致）
+ * @param replacement - 目标成员的新 Shape（op 结果）
+ * @returns 替换后的 compound（其余 children 原样）或 replacement（入参非 compound 时）
+ */
+export function replaceCompoundMember(input, partIndex, replacement) {
+    if (!isCompoundLike(input))
+        return replacement;
+    const idx = typeof partIndex === 'number' ? partIndex : 0;
+    const children = input.children.slice();
+    children[idx] = replacement;
+    return compound(children);
+}
 /**
  * 1D 曲线判定（1D 判别位，Phase 3）：`kind === 'curve'`。
  *

package/dist/shape.js.map

@@ -1 +1 @@
-{"version":3,"file":"shape.js","sourceRoot":"","sources":["../src/shape.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AAGH,OAAO,EAAE,uBAAuB,EAA+B,MAAM,kBAAkB,CAAA;AACvF,OAAO,EAAE,iBAAiB,EAAyB,MAAM,YAAY,CAAA;AACrE,OAAO,EAAE,eAAe,EAAE,oBAAoB,EAAE,MAAM,EAAE,cAAc,EAAkB,MAAM,iBAAiB,CAAA;AAC/G,OAAO,EAAE,QAAQ,EAAE,MAAM,YAAY,CAAA;AACrC,OAAO,EAAE,cAAc,EAAE,MAAM,2BAA2B,CAAA;AAsC1D;;;;;GAKG;AACH,MAAM,UAAU,KAAK,CAAC,IAAW;IAC/B,MAAM,CAAC,GAAG,EAAE,GAAG,IAAI,EAAE,IAAI,EAAE,OAAO,EAAgB,CAAA;IAClD,eAAe,EAAE,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,CAAA;IAChC,OAAO,iBAAiB,CAAC,uBAAuB,CAAC,CAAC,CAAC,CAAe,CAAA;AACpE,CAAC;AAED;;;;;;;;GAQG;AACH,MAAM,UAAU,KAAK,CAAC,IAAW;IAC/B,MAAM,CAAC,GAAG,EAAE,GAAG,IAAI,EAAE,IAAI,EAAE,OAAO,EAAgB,CAAA;IAClD,eAAe,EAAE,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,CAAA;IAChC,OAAO,iBAAiB,CAAC,uBAAuB,CAAC,CAAC,CAAC,CAAe,CAAA;AACpE,CAAC;AAED;;;;;;;;;;;;;;GAcG;AACH,MAAM,UAAU,QAAQ,CAAC,IAAW,EAAE,MAAkB;IACtD,MAAM,CAAC,GAAG,KAAK,CAAC,IAAI,CAAC,CAAA;IACrB,UAAU,CAAC,CAAC,EAAE,MAAM,CAAC,CAAA;IACrB,OAAO,CAAC,CAAA;AACV,CAAC;AAED;;;;;;;;GAQG;AACH,MAAM,UAAU,aAAa,CAAC,IAAW,EAAE,MAAkB;IAC3D,MAAM,CAAC,GAAG,KAAK,CAAC,IAAI,CAAC,CAAA;IACrB,UAAU,CAAC,CAAC,EAAE,MAAM,CAAC,CAAA;IACrB,OAAO,CAAC,CAAA;AACV,CAAC;AAED;;;;;;;;;;;;;;;;;GAiBG;AACH,MAAM,UAAU,aAAa,CAAC,IAAW,EAAE,MAAuB;IAChE,MAAM,CAAC,GAAG,KAAK,CAAC,IAAI,CAAC,CAAA;IACrB,eAAe,CAAC,CAAC,EAAE,MAAM,CAAC,SAAS,CAAC,CAAA;IACpC,OAAO,CAAC,CAAA;AACV,CAAC;AAQD;;;;;;;;;;;;GAYG;AACH,MAAM,UAAU,YAAY,CAAC,IAAW,EAAE,MAAsB;IAC9D,MAAM,CAAC,GAAG,KAAK,CAAC,IAAI,CAAC,CAAA;IACrB,cAAc,CAAC,CAAC,EAAE,MAAM,CAAC,QAAQ,CAAC,CAAA;IAClC,OAAO,CAAC,CAAA;AACV,CAAC;AAQD;;;;;;;;;GASG;AACH,MAAM,UAAU,eAAe,CAAC,CAAQ,EAAE,SAAkB;IAC1D,MAAM,KAAK,GAAG,eAAe,EAAE,CAAA;IAC/B,MAAM,IAAI,GAAG,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,CAAA;IACrC,IAAI,IAAI,CAAC,KAAK,KAAK,SAAS,EAAE,CAAC;QAC7B,MAAM,IAAI,KAAK,CACb,sIAAsI,CACvI,CAAA;IACH,CAAC;IACD,IAAI,IAAI,CAAC,QAAQ,KAAK,SAAS,EAAE,CAAC;QAChC,MAAM,IAAI,KAAK,CACb,0IAA0I,CAC3I,CAAA;IACH,CAAC;IACD,IAAI,CAAC,SAAS,GAAG,SAAS,CAAA;IAC1B,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,CAAA;AAC1B,CAAC;AAED;;;;;;;;GAQG;AACH,MAAM,UAAU,cAAc,CAAC,CAAQ,EAAE,QAAiB;IACxD,MAAM,KAAK,GAAG,eAAe,EAAE,CAAA;IAC/B,MAAM,IAAI,GAAG,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,CAAA;IACrC,IAAI,IAAI,CAAC,KAAK,KAAK,SAAS,IAAI,IAAI,CAAC,SAAS,KAAK,SAAS,EAAE,CAAC;QAC7D,MAAM,IAAI,KAAK,CACb,mHAAmH,CACpH,CAAA;IACH,CAAC;IACD,IAAI,CAAC,QAAQ,GAAG,QAAQ,CAAA;IACxB,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,CAAA;AAC1B,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,WAAW,CAAC,KAAY;IACtC,OAAO,eAAe,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,QAAQ,KAAK,SAAS,CAAA;AACnE,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,UAAU,CAAC,KAAY;IACrC,OAAO,eAAe,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,QAAQ,CAAA;AACrD,CAAC;AAED;;;;;;;;GAQG;AACH,MAAM,UAAU,YAAY,CAAC,KAAY;IACvC,OAAO,eAAe,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,SAAS,KAAK,SAAS,CAAA;AACpE,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,WAAW,CAAC,KAAY;IACtC,OAAO,eAAe,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,SAAS,CAAA;AACtD,CAAC;AAED;;;;;;;;;;GAUG;AACH,SAAS,UAAU,CAAC,CAAQ,EAAE,MAAkB;IAC9C,MAAM,KAAK,GAAG,eAAe,EAAE,CAAA;IAC/B,MAAM,IAAI,GAAG,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,CAAA;IACrC,IAAI,IAAI,CAAC,SAAS,KAAK,SAAS,IAAI,IAAI,CAAC,QAAQ,KAAK,SAAS,EAAE,CAAC;QAChE,4CAA4C;QAC5C,gBAAgB;QAChB,MAAM,IAAI,KAAK,CACb,4IAA4I,CAC7I,CAAA;IACH,CAAC;IACD,IAAI,CAAC,KAAK,GAAG,MAAM,CAAC,KAAK,CAAA;IACzB,IAAI,MAAM,CAAC,aAAa;QAAE,IAAI,CAAC,aAAa,GAAG,MAAM,CAAC,aAAa,CAAA;IACnE,oDAAoD;IACpD,sCAAsC;IACtC,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,CAAA;IACxB,kDAAkD;IAClD,+DAA+D;IAC/D,qDAAqD;IACrD,MAAM,IAAI,GAAG,cAAc,EAAE,CAAA;IAC7B,IAAI,IAAI,IAAI,CAAC,MAAM,CAAC,SAAS,IAAI,MAAM,CAAC,KAAK,KAAK,SAAS,CAAC,EAAE,CAAC;QAC7D,cAAc,CAAC,YAAY,CACzB,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC,EACjB,MAAM,CAAC,SAAoF,EAC3F,MAAM,CAAC,KAAK,CACb,CAAA;IACH,CAAC;IACD,iDAAiD;IACjD,oBAAoB,CAAC,MAAM,CAAC,KAAK,CAAC,CAAA;AACpC,CAAC;AAaD;;;;;GAKG;AACH,MAAM,UAAU,QAAQ,CAAC,QAAiB;IACxC,MAAM,CAAC,GAAkB,EAAE,IAAI,EAAE,UAAU,EAAE,QAAQ,EAAE,CAAA;IACvD,eAAe,EAAE,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,CAAA;IAChC,OAAO,CAAC,CAAA;AACV,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,OAAO,CAAC,CAAU;IAChC,OAAO,CAAC,CAAC,CAAC,IAAI,OAAO,CAAC,KAAK,QAAQ,IAAI,eAAe,EAAE,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,CAAA;AACzE,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,UAAU,CAAC,CAAU;IACnC,OAAO,OAAO,CAAC,CAAC,CAAC,IAAK,CAAuB,CAAC,IAAI,KAAK,UAAU,CAAA;AACnE,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,cAAc,CAAC,CAAU;IACvC,OAAO,CAAC,CAAC,CAAC,IAAI,OAAO,CAAC,KAAK,QAAQ;WAC7B,CAAuB,CAAC,IAAI,KAAK,UAAU;WAC5C,KAAK,CAAC,OAAO,CAAE,CAA4B,CAAC,QAAQ,CAAC,CAAA;AAC5D,CAAC;AAED;;;;;;;;;;GAUG;AACH,MAAM,UAAU,YAAY,CAAC,CAAU;IACrC,OAAO,CAAC,CAAC,CAAC,IAAI,OAAO,CAAC,KAAK,QAAQ,IAAK,CAAuB,CAAC,IAAI,KAAK,OAAO,CAAA;AAClF,CAAC;AAMD;;;;;GAKG;AACH,MAAM,UAAU,OAAO,CAAC,KAAa;IACnC,OAAO,eAAe,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,CAAA;AAC3C,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,UAAU,CAAC,KAAa;IACtC,MAAM,KAAK,GAAG,eAAe,EAAE,CAAA;IAC/B,IAAI,IAAI,GAAG,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,CAAA;IACjC,IAAI,CAAC,IAAI,EAAE,CAAC;QACV,IAAI,GAAG,EAAE,CAAA;QACT,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,KAAK,EAAE,IAAI,CAAC,CAAA;IAC9B,CAAC;IACD,OAAO,IAAI,CAAA;AACb,CAAC;AAED;;;;;;;;;GASG;AACH,MAAM,UAAU,cAAc,CAAC,KAAa;IAC1C,MAAM,IAAI,GAAG,MAAM,CAAC,KAAK,CAAC,CAAA;IAC1B,OAAO,IAAI,CAAC,CAAC,CAAC,cAAc,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,SAAS,CAAA;AAC5D,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,OAAO,CAAC,KAAY;IAClC,OAAO,eAAe,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,KAAK,KAAK,SAAS,CAAA;AAChE,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,MAAM,CAAC,KAAY;IACjC,OAAO,eAAe,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,KAAK,CAAA;AAClD,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,YAAY,CAAC,MAAe;IAC1C,OAAO,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAA;AACnD,CAAC","sourcesContent":["/**\n * api shape — 类型化构造器 + 身份槽\n *\n *\n * 变更要点：\n * - 身份表（created / slots / shapeToName）改读全局锚点 runtime-state，\n *   使\"两份 faijs 代码\"共享同一份状态（解决 Shape 身份孤岛）。\n * - 新增 fromBrep(mesh, holder)：BREP 产物一次登记句柄与面演化，\n *   库函数不再手动登记（P2 落地）。\n * - 新增 hasBrep / brepOf：引擎侧判定\"某 Shape 是否在 BREP 链上\"。\n */\n\nimport type { Shape } from './mesh/types'\nimport { attachAppearanceMethods, type ShapeAppearanceMethods } from './api/appearance'\nimport { attachMetaMethods, type ShapeMetaMethods } from './api/meta'\nimport { getRuntimeState, registerFunctionBrep, nameOf, getCurrentStmt, type ShapeSlot } from './runtime-state'\nimport { asStmtId } from './identity'\nimport { runtimeLineage } from './topology/naming/lineage'\n\n// ── Shape 构造器 ──\n\n/** Discriminator for the concrete shape kinds. */\nexport type ShapeKind = 'solid' | 'shape2d' | 'curve' | 'compound'\n\n/**\n * A solid mesh shape produced by a constructor.\n *\n * 运行时形态带外观方法（attachAppearanceMethods 在 solid()/curve() 挂载，\n * 设计文档 2026-10-05 v2 §3.2/§4.2）：`box1.setColor(...)` 等成员调用走\n * `asm1.solve()` 同款语句形态；方法不序列化，`appearance` 字段随产物传递。\n */\nexport interface SolidShape extends Shape, ShapeAppearanceMethods, ShapeMetaMethods {\n  kind: 'solid'\n}\n\n/** A structural compound grouping a list of child shapes. */\nexport interface CompoundShape {\n  kind: 'compound'\n  children: Shape[]\n}\n\n/**\n * 1D 曲线 Shape（wire / helix / edge-loop 等无三角载荷的 1D 几何）。\n *\n * `kind: 'curve'` 表达「无三角载荷」，与 `'solid'` 对称（见 `curve()` /\n * `fromBrepCurve()`）。执行链路照走 `solidToShape`（wire → 空 0/0 载荷，不抛），\n * 显示经 `wireframe`。\n */\nexport interface CurveShape extends Shape, ShapeAppearanceMethods, ShapeMetaMethods {\n  kind: 'curve'\n}\n\n/** A shape that the api layer exports as a finished result. */\nexport type StdShape = SolidShape | CompoundShape | CurveShape\n\n/**\n * 实体 Shape 构造器：mesh 产物必须经此创建。\n *\n * @param mesh - the mesh shape to wrap as a solid.\n * @returns the created solid shape.\n */\nexport function solid(mesh: Shape): SolidShape {\n  const s = { ...mesh, kind: 'solid' } as SolidShape\n  getRuntimeState().created.add(s)\n  return attachMetaMethods(attachAppearanceMethods(s)) as SolidShape\n}\n\n/**\n * 1D 曲线 Shape 构造器（wire / helix / edge-loop 等 1D 产物）。\n *\n * 与 `solid` 对称：登记到 identity 表（供 `isShape` 识别），`kind` 设为 `'curve'`\n * 以表达「无三角载荷的 1D 几何」（执行链路照走 `solidToShape`，显示经 `wireframe`）。\n *\n * @param mesh - the mesh payload (positions/indices) to wrap as a curve.\n * @returns the created curve shape.\n */\nexport function curve(mesh: Shape): CurveShape {\n  const s = { ...mesh, kind: 'curve' } as CurveShape\n  getRuntimeState().created.add(s)\n  return attachMetaMethods(attachAppearanceMethods(s)) as CurveShape\n}\n\n/**\n * BREP 产物构造器：同时登记 mesh 与 OCCT 句柄（+ 可选面演化）。\n *\n * 库函数用它替代 `solid(mesh)` + 手动登记句柄两步行：\n * ```ts\n * return fromBrep(solidToShape(kernel, resultSolid), {\n *   solid: resultSolid,\n *   faceEvolution: identityEvolution(kernel, resultSolid),\n * })\n * ```\n *\n * @param mesh - the mesh shape to register.\n * @param holder - the BREP holder providing the OCCT handle and optional face evolution.\n * @returns the created solid shape with the BREP handle attached.\n */\nexport function fromBrep(mesh: Shape, holder: BrepHolder): SolidShape {\n  const s = solid(mesh)\n  attachBrep(s, holder)\n  return s\n}\n\n/**\n * 1D 曲线产物的 BREP 登记构造器：与 `fromBrep` 对称，但 `kind` 取 `'curve'`\n * （维持既有「有无三角载荷」语义——1D 几何无三角载荷，不得报 `'solid'`）。\n * 登记逻辑与 `fromBrep` 共用 `attachBrep`，保证两种形态走同一份身份/血缘/释放语义。\n *\n * @param mesh - the mesh payload (positions/indices) to wrap as a curve.\n * @param holder - the BREP holder providing the OCCT handle and optional face evolution.\n * @returns the created curve shape with the BREP handle attached.\n */\nexport function fromBrepCurve(mesh: Shape, holder: BrepHolder): CurveShape {\n  const s = curve(mesh)\n  attachBrep(s, holder)\n  return s\n}\n\n/**\n * 网格实体产物的构造器：与 `fromBrep` 对称，登记网格实体句柄（近似链）而非\n * BREP 句柄（精度链）。\n *\n * ```ts\n * return fromMeshSolid(displayMesh, { meshSolid: result.solid })\n * ```\n *\n * 与 `fromBrep` 的三点差别（方案 §3.2）：\n * 1. 写 `slot.meshSolid`，**不写** `slot.solid`——网格零件永不进 BREP 链；\n * 2. 不登记函数 BREP 域（`registerFunctionBrep`）——句柄所有权在\n *    `MeshSolidRegistry`，按 BREP 内核释放是错的（可能是另一个内核）；\n * 3. 不旁挂 roleTable（近似拓扑不给语义 role——role 是 BREP 真拓扑的专有能力）。\n *\n * @param mesh - the mesh shape to wrap as a solid (display mesh).\n * @param holder - the mesh-solid holder providing the handle identity.\n * @returns the created solid shape carrying the mesh-solid slot.\n */\nexport function fromMeshSolid(mesh: Shape, holder: MeshSolidHolder): SolidShape {\n  const s = solid(mesh)\n  attachMeshSolid(s, holder.meshSolid)\n  return s\n}\n\n/** 网格实体句柄容器（与 `BrepHolder` 对称；类型为 unknown 以保持零依赖）。 */\nexport interface MeshSolidHolder {\n  /** 网格实体句柄的**身份**（句柄本体在 `MeshSolidRegistry`）。 */\n  meshSolid: unknown\n}\n\n/**\n * 网格链**面**产物的构造器（方案 2026-10-01 §4 Phase 3）。与 `fromBrep` 的\n * 面产物对称：BREP 侧 `sketchOnFace` 返回 `fromBrep(solidToShape(kernel, face),\n * { solid: face })`，这里返回 `fromMeshFace(meshShape(face), { meshFace: face })`。\n *\n * `kind` 沿用 `'solid'`（不是 `'shape2d'`）：与 BREP 侧的面 Shape 保持同一形态，\n * 好让 `extrude` 的 `isCurveShape` 预检在两条链上行为一致——面不是 1D 曲线，\n * 不该被面消费 op 当成曲线拒掉。\n *\n * @param mesh - the face's display mesh (its own tessellation).\n * @param holder - the mesh-face holder providing the handle identity.\n * @returns the created shape carrying the mesh-face slot.\n */\nexport function fromMeshFace(mesh: Shape, holder: MeshFaceHolder): SolidShape {\n  const s = solid(mesh)\n  attachMeshFace(s, holder.meshFace)\n  return s\n}\n\n/** 网格链面句柄容器（与 `MeshSolidHolder` 对称；类型为 unknown 以保持零依赖）。 */\nexport interface MeshFaceHolder {\n  /** 网格链面句柄的**身份**。 */\n  meshFace: unknown\n}\n\n/**\n * 把网格实体句柄登记到已构造的 Shape。\n *\n * 互斥红线：该 Shape 已有 BREP 句柄或网格链面句柄时**直接抛错**——一个 Shape\n * 同时声称两种链身份是设计缺陷，不能静默覆盖任何一侧。\n *\n * @param s - the already-constructed shape.\n * @param meshSolid - the mesh solid handle.\n * @throws {Error} `E_SHAPE_SLOT_EXCLUSIVE` when the shape already carries another chain identity.\n */\nexport function attachMeshSolid(s: Shape, meshSolid: unknown): void {\n  const state = getRuntimeState()\n  const slot = state.slots.get(s) ?? {}\n  if (slot.solid !== undefined) {\n    throw new Error(\n      'E_SHAPE_SLOT_EXCLUSIVE: shape already carries a BREP handle — a shape is either on the precision chain or the mesh chain, never both',\n    )\n  }\n  if (slot.meshFace !== undefined) {\n    throw new Error(\n      'E_SHAPE_SLOT_EXCLUSIVE: shape already carries a mesh-chain face handle — a shape is either a mesh solid or a mesh-chain face, never both',\n    )\n  }\n  slot.meshSolid = meshSolid\n  state.slots.set(s, slot)\n}\n\n/**\n * 把网格链**面**句柄登记到已构造的 Shape。\n *\n * 与 `attachMeshSolid` 同一条互斥红线：已有任意另一种链身份即抛错。\n *\n * @param s - the already-constructed shape.\n * @param meshFace - the mesh-chain face handle.\n * @throws {Error} `E_SHAPE_SLOT_EXCLUSIVE` when the shape already carries another chain identity.\n */\nexport function attachMeshFace(s: Shape, meshFace: unknown): void {\n  const state = getRuntimeState()\n  const slot = state.slots.get(s) ?? {}\n  if (slot.solid !== undefined || slot.meshSolid !== undefined) {\n    throw new Error(\n      'E_SHAPE_SLOT_EXCLUSIVE: shape already carries a BREP or mesh-solid handle — a mesh-chain face is its own identity',\n    )\n  }\n  slot.meshFace = meshFace\n  state.slots.set(s, slot)\n}\n\n/**\n * 该 Shape 是否携带网格链面（`sketchOnFace` 在近似拓扑面上的产物）。\n *\n * @param shape - the shape to test.\n * @returns true if the shape carries a mesh-chain face handle.\n */\nexport function hasMeshFace(shape: Shape): boolean {\n  return getRuntimeState().slots.get(shape)?.meshFace !== undefined\n}\n\n/**\n * 读取该 Shape 的网格链面句柄（无则 undefined）。\n *\n * @param shape - the shape whose mesh-chain face handle to read.\n * @returns the mesh-chain face handle, or undefined if none.\n */\nexport function meshFaceOf(shape: Shape): unknown | undefined {\n  return getRuntimeState().slots.get(shape)?.meshFace\n}\n\n/**\n * 该 Shape 是否携带网格实体（网格零件）。引擎分派与 UI 查询用。\n *\n * 与 `hasBrep` 互斥：正常路径下二者不可能同时为真（`attachMeshSolid` 已经把\n * 互斥钉在写入侧，`assertShapeSlotExclusive` 在分派前再兜一层）。\n *\n * @param shape - the shape to test.\n * @returns true if the shape carries a mesh solid handle.\n */\nexport function hasMeshSolid(shape: Shape): boolean {\n  return getRuntimeState().slots.get(shape)?.meshSolid !== undefined\n}\n\n/**\n * 读取该 Shape 的网格实体句柄（无则 undefined）。\n *\n * @param shape - the shape whose mesh solid handle to read.\n * @returns the mesh solid handle, or undefined if none.\n */\nexport function meshSolidOf(shape: Shape): unknown | undefined {\n  return getRuntimeState().slots.get(shape)?.meshSolid\n}\n\n/**\n * 把 BREP 句柄登记到已构造的 Shape（由 `solid` / `curve` 产出）。\n *\n * 集中 brep 登记的四步（identity 槽登记已由构造器完成；此处只补：① 身份槽挂载\n * 句柄 / ② 血缘图语句键旁挂 roleTable / ③ 函数 BREP 域登记）。供 `fromBrep` /\n * `fromBrepCurve` 共用——禁止绕开本函数手写登记（否则等于复制一整套身份、血缘与\n * 释放语义）。\n *\n * @param s - the already-constructed shape (solid or curve).\n * @param holder - the BREP holder to attach.\n */\nfunction attachBrep(s: Shape, holder: BrepHolder): void {\n  const state = getRuntimeState()\n  const slot = state.slots.get(s) ?? {}\n  if (slot.meshSolid !== undefined || slot.meshFace !== undefined) {\n    // 互斥红线的另一侧：网格链产物不得再被登记成 BREP 实体（一个 Shape 只能\n    // 在精度链或网格链之一上）。\n    throw new Error(\n      'E_SHAPE_SLOT_EXCLUSIVE: shape already carries a mesh-chain handle — a shape is either on the precision chain or the mesh chain, never both',\n    )\n  }\n  slot.solid = holder.solid\n  if (holder.faceEvolution) slot.faceEvolution = holder.faceEvolution\n  // 1.10 前置③：roleTable **不再写 slot**（字段已删）——权威落点是下方血缘图\n  // 旁挂（语句键 + part 键），解析缓存 miss 由回走重算恢复。\n  state.slots.set(s, slot)\n  // 1.10 前置③：roleTable 权威旁挂（**语句键**）在血缘图。part 键的记录在\n  // define-op.wrapped（impl 返回后 anchor.outputs 名字已定）——此处 shape 还未\n  // 被 executor 命名，nameOf(s) 为 undefined，不能在这里记 part 键。\n  const stmt = getCurrentStmt()\n  if (stmt && (holder.roleTable || holder.solid !== undefined)) {\n    runtimeLineage.recordOutput(\n      asStmtId(stmt.id),\n      holder.roleTable as ReadonlyMap<string, ReadonlyMap<string, readonly number[]>> | undefined,\n      holder.solid,\n    )\n  }\n  // 函数 BREP 域（§5.6）：函数体内 op 产生的新句柄登记到当前域，函数返回后统一释放\n  registerFunctionBrep(holder.solid)\n}\n\n/** BREP 句柄 + 面演化 + 拓扑命名 RoleTable（对应 OCCT 的 ShapeHandle）。类型为 unknown 以保持零依赖。 */\nexport interface BrepHolder {\n  solid: unknown\n  faceEvolution?: Map<number, number[]>\n  /**\n   * 1.10 前置③：产形 op 交付 role 表的唯一入口。fromBrep 把它**旁挂到血缘图**\n   * （语句键 + part 键）；slot 侧的缓存存储已删（ShapeSlot 不再有该字段）。\n   */\n  roleTable?: unknown\n}\n\n/**\n * compound Shape 构造器：结构（层级）而非新几何。\n *\n * @param children - the child shapes to group.\n * @returns the created compound shape.\n */\nexport function compound(children: Shape[]): CompoundShape {\n  const c: CompoundShape = { kind: 'compound', children }\n  getRuntimeState().created.add(c)\n  return c\n}\n\n/**\n * 是否为构造器产物（终端判定与 compound 检测的依据）。\n *\n * @param v - the value to test.\n * @returns true if the value was created by a shape constructor.\n */\nexport function isShape(v: unknown): v is Shape {\n  return !!v && typeof v === 'object' && getRuntimeState().created.has(v)\n}\n\n/**\n * Returns true if the value is a strict compound shape created by a constructor.\n *\n * @param v - the value to test.\n * @returns true if the value is a strict compound shape.\n */\nexport function isCompound(v: unknown): v is CompoundShape {\n  return isShape(v) && (v as { kind?: string }).kind === 'compound'\n}\n\n/**\n * 结构判定：是否为 compound 形态（keep-syntax §5.3 D5，对任意库函数零要求）。\n * 引擎内部的终端/消费判定用结构判定；SDK 公开的 isShape/isCompound 保持 WeakSet 严格。\n *\n * @param v - the value to test.\n * @returns true if the value has compound shape structure.\n */\nexport function isCompoundLike(v: unknown): v is CompoundShape {\n  return !!v && typeof v === 'object'\n    && (v as { kind?: string }).kind === 'compound'\n    && Array.isArray((v as { children?: unknown }).children)\n}\n\n/**\n * 1D 曲线判定（1D 判别位，Phase 3）：`kind === 'curve'`。\n *\n * 面消费 op（extrude / revolve / sweep 等）用它做**执行前**输入维度预检——\n * 1D 产物（wire / helix / sketch as:'wire'）喂给面 op 时必须是明确的预检失败，\n * 不得落进内核深层才报「操作失败」。与 SDK 的 WeakSet 严格 `isShape` 不同，\n * 本判定是结构判定（与 `isCompoundLike` 同族），对跨库产物零要求。\n *\n * @param v - the value to test.\n * @returns true when the value is a 1D curve shape.\n */\nexport function isCurveShape(v: unknown): v is CurveShape {\n  return !!v && typeof v === 'object' && (v as { kind?: string }).kind === 'curve'\n}\n\n// ── 身份槽 ──\n\nexport type { ShapeSlot }\n\n/**\n * 读取 Shape 的身份槽（无则 undefined）。\n *\n * @param shape - the shape whose slot to read.\n * @returns the identity slot, or undefined if none is registered.\n */\nexport function getSlot(shape: object): ShapeSlot | undefined {\n  return getRuntimeState().slots.get(shape)\n}\n\n/**\n * 读取或创建 Shape 的身份槽。\n *\n * @param shape - the shape whose slot to read or create.\n * @returns the shape's identity slot.\n */\nexport function ensureSlot(shape: object): ShapeSlot {\n  const state = getRuntimeState()\n  let slot = state.slots.get(shape)\n  if (!slot) {\n    slot = {}\n    state.slots.set(shape, slot)\n  }\n  return slot\n}\n\n/**\n * 读输入 Shape 的 roleTable（op 实现读**输入**表的唯一读口，1.10 前置③）。\n *\n * 语义 = 旧 `getSlot(shape)?.roleTable`：权威落点在血缘图的 part 键旁挂\n * （上一条语句 fromBrep 时记录），slot 缓存字段已删除。未记录 → undefined\n * （mesh 产物 / 无命名）。\n *\n * @param shape - the input shape whose role table to read.\n * @returns the role table (unknown — callers assert their table type), or undefined.\n */\nexport function inputRoleTable(shape: object): unknown | undefined {\n  const name = nameOf(shape)\n  return name ? runtimeLineage.tableOfPart(name) : undefined\n}\n\n/**\n * 该 Shape 是否在 BREP 链上（有 OCCT 句柄）。引擎分派与 UI 查询用。\n *\n * @param shape - the shape to test.\n * @returns true if the shape has an attached OCCT handle.\n */\nexport function hasBrep(shape: Shape): boolean {\n  return getRuntimeState().slots.get(shape)?.solid !== undefined\n}\n\n/**\n * 读取该 Shape 的 OCCT 句柄（无则 undefined）。库函数用前必须判空。\n *\n * @param shape - the shape whose handle to read.\n * @returns the OCCT handle, or undefined if none.\n */\nexport function brepOf(shape: Shape): unknown | undefined {\n  return getRuntimeState().slots.get(shape)?.solid\n}\n\n/**\n * nameOf 批量版：Shape[] → 成员名（装配 memberNames，P6 替代读 IR）。\n *\n * @param shapes - the shapes to name.\n * @returns the member names, one per shape (empty string when unnamed).\n */\nexport function nameOfShapes(shapes: Shape[]): string[] {\n  return shapes.map((s) => String(nameOf(s) ?? ''))\n}\n"]}
+{"version":3,"file":"shape.js","sourceRoot":"","sources":["../src/shape.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AAGH,OAAO,EAAE,uBAAuB,EAA+B,MAAM,kBAAkB,CAAA;AACvF,OAAO,EAAE,iBAAiB,EAAyB,MAAM,YAAY,CAAA;AACrE,OAAO,EAAE,eAAe,EAAE,oBAAoB,EAAE,MAAM,EAAE,cAAc,EAAkB,MAAM,iBAAiB,CAAA;AAC/G,OAAO,EAAE,QAAQ,EAAE,MAAM,YAAY,CAAA;AACrC,OAAO,EAAE,cAAc,EAAE,MAAM,2BAA2B,CAAA;AAsC1D;;;;;GAKG;AACH,MAAM,UAAU,KAAK,CAAC,IAAW;IAC/B,MAAM,CAAC,GAAG,EAAE,GAAG,IAAI,EAAE,IAAI,EAAE,OAAO,EAAgB,CAAA;IAClD,eAAe,EAAE,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,CAAA;IAChC,OAAO,iBAAiB,CAAC,uBAAuB,CAAC,CAAC,CAAC,CAAe,CAAA;AACpE,CAAC;AAED;;;;;;;;GAQG;AACH,MAAM,UAAU,KAAK,CAAC,IAAW;IAC/B,MAAM,CAAC,GAAG,EAAE,GAAG,IAAI,EAAE,IAAI,EAAE,OAAO,EAAgB,CAAA;IAClD,eAAe,EAAE,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,CAAA;IAChC,OAAO,iBAAiB,CAAC,uBAAuB,CAAC,CAAC,CAAC,CAAe,CAAA;AACpE,CAAC;AAED;;;;;;;;;;;;;;GAcG;AACH,MAAM,UAAU,QAAQ,CAAC,IAAW,EAAE,MAAkB;IACtD,MAAM,CAAC,GAAG,KAAK,CAAC,IAAI,CAAC,CAAA;IACrB,UAAU,CAAC,CAAC,EAAE,MAAM,CAAC,CAAA;IACrB,OAAO,CAAC,CAAA;AACV,CAAC;AAED;;;;;;;;GAQG;AACH,MAAM,UAAU,aAAa,CAAC,IAAW,EAAE,MAAkB;IAC3D,MAAM,CAAC,GAAG,KAAK,CAAC,IAAI,CAAC,CAAA;IACrB,UAAU,CAAC,CAAC,EAAE,MAAM,CAAC,CAAA;IACrB,OAAO,CAAC,CAAA;AACV,CAAC;AAED;;;;;;;;;;;;;;;;;GAiBG;AACH,MAAM,UAAU,aAAa,CAAC,IAAW,EAAE,MAAuB;IAChE,MAAM,CAAC,GAAG,KAAK,CAAC,IAAI,CAAC,CAAA;IACrB,eAAe,CAAC,CAAC,EAAE,MAAM,CAAC,SAAS,CAAC,CAAA;IACpC,OAAO,CAAC,CAAA;AACV,CAAC;AAQD;;;;;;;;;;;;GAYG;AACH,MAAM,UAAU,YAAY,CAAC,IAAW,EAAE,MAAsB;IAC9D,MAAM,CAAC,GAAG,KAAK,CAAC,IAAI,CAAC,CAAA;IACrB,cAAc,CAAC,CAAC,EAAE,MAAM,CAAC,QAAQ,CAAC,CAAA;IAClC,OAAO,CAAC,CAAA;AACV,CAAC;AAQD;;;;;;;;;GASG;AACH,MAAM,UAAU,eAAe,CAAC,CAAQ,EAAE,SAAkB;IAC1D,MAAM,KAAK,GAAG,eAAe,EAAE,CAAA;IAC/B,MAAM,IAAI,GAAG,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,CAAA;IACrC,IAAI,IAAI,CAAC,KAAK,KAAK,SAAS,EAAE,CAAC;QAC7B,MAAM,IAAI,KAAK,CACb,sIAAsI,CACvI,CAAA;IACH,CAAC;IACD,IAAI,IAAI,CAAC,QAAQ,KAAK,SAAS,EAAE,CAAC;QAChC,MAAM,IAAI,KAAK,CACb,0IAA0I,CAC3I,CAAA;IACH,CAAC;IACD,IAAI,CAAC,SAAS,GAAG,SAAS,CAAA;IAC1B,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,CAAA;AAC1B,CAAC;AAED;;;;;;;;GAQG;AACH,MAAM,UAAU,cAAc,CAAC,CAAQ,EAAE,QAAiB;IACxD,MAAM,KAAK,GAAG,eAAe,EAAE,CAAA;IAC/B,MAAM,IAAI,GAAG,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,CAAA;IACrC,IAAI,IAAI,CAAC,KAAK,KAAK,SAAS,IAAI,IAAI,CAAC,SAAS,KAAK,SAAS,EAAE,CAAC;QAC7D,MAAM,IAAI,KAAK,CACb,mHAAmH,CACpH,CAAA;IACH,CAAC;IACD,IAAI,CAAC,QAAQ,GAAG,QAAQ,CAAA;IACxB,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,CAAA;AAC1B,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,WAAW,CAAC,KAAY;IACtC,OAAO,eAAe,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,QAAQ,KAAK,SAAS,CAAA;AACnE,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,UAAU,CAAC,KAAY;IACrC,OAAO,eAAe,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,QAAQ,CAAA;AACrD,CAAC;AAED;;;;;;;;GAQG;AACH,MAAM,UAAU,YAAY,CAAC,KAAY;IACvC,OAAO,eAAe,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,SAAS,KAAK,SAAS,CAAA;AACpE,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,WAAW,CAAC,KAAY;IACtC,OAAO,eAAe,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,SAAS,CAAA;AACtD,CAAC;AAED;;;;;;;;;;GAUG;AACH,SAAS,UAAU,CAAC,CAAQ,EAAE,MAAkB;IAC9C,MAAM,KAAK,GAAG,eAAe,EAAE,CAAA;IAC/B,MAAM,IAAI,GAAG,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,CAAA;IACrC,IAAI,IAAI,CAAC,SAAS,KAAK,SAAS,IAAI,IAAI,CAAC,QAAQ,KAAK,SAAS,EAAE,CAAC;QAChE,4CAA4C;QAC5C,gBAAgB;QAChB,MAAM,IAAI,KAAK,CACb,4IAA4I,CAC7I,CAAA;IACH,CAAC;IACD,IAAI,CAAC,KAAK,GAAG,MAAM,CAAC,KAAK,CAAA;IACzB,IAAI,MAAM,CAAC,aAAa;QAAE,IAAI,CAAC,aAAa,GAAG,MAAM,CAAC,aAAa,CAAA;IACnE,oDAAoD;IACpD,sCAAsC;IACtC,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,CAAA;IACxB,kDAAkD;IAClD,+DAA+D;IAC/D,qDAAqD;IACrD,MAAM,IAAI,GAAG,cAAc,EAAE,CAAA;IAC7B,IAAI,IAAI,IAAI,CAAC,MAAM,CAAC,SAAS,IAAI,MAAM,CAAC,KAAK,KAAK,SAAS,CAAC,EAAE,CAAC;QAC7D,cAAc,CAAC,YAAY,CACzB,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC,EACjB,MAAM,CAAC,SAAoF,EAC3F,MAAM,CAAC,KAAK,CACb,CAAA;IACH,CAAC;IACD,iDAAiD;IACjD,oBAAoB,CAAC,MAAM,CAAC,KAAK,CAAC,CAAA;AACpC,CAAC;AAaD;;;;;GAKG;AACH,MAAM,UAAU,QAAQ,CAAC,QAAiB;IACxC,MAAM,CAAC,GAAkB,EAAE,IAAI,EAAE,UAAU,EAAE,QAAQ,EAAE,CAAA;IACvD,eAAe,EAAE,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,CAAA;IAChC,OAAO,CAAC,CAAA;AACV,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,OAAO,CAAC,CAAU;IAChC,OAAO,CAAC,CAAC,CAAC,IAAI,OAAO,CAAC,KAAK,QAAQ,IAAI,eAAe,EAAE,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,CAAA;AACzE,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,UAAU,CAAC,CAAU;IACnC,OAAO,OAAO,CAAC,CAAC,CAAC,IAAK,CAAuB,CAAC,IAAI,KAAK,UAAU,CAAA;AACnE,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,cAAc,CAAC,CAAU;IACvC,OAAO,CAAC,CAAC,CAAC,IAAI,OAAO,CAAC,KAAK,QAAQ;WAC7B,CAAuB,CAAC,IAAI,KAAK,UAAU;WAC5C,KAAK,CAAC,OAAO,CAAE,CAA4B,CAAC,QAAQ,CAAC,CAAA;AAC5D,CAAC;AAED;;;;;;;;;;;GAWG;AACH,MAAM,UAAU,qBAAqB,CAAC,KAAY,EAAE,SAAkB,EAAE,MAAc;IACpF,IAAI,CAAC,cAAc,CAAC,KAAK,CAAC;QAAE,OAAO,KAAK,CAAA;IACxC,MAAM,GAAG,GAAG,OAAO,SAAS,KAAK,QAAQ,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAA;IACzD,MAAM,KAAK,GAAG,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAA;IACjC,IAAI,CAAC,KAAK,EAAE,CAAC;QACX,MAAM,IAAI,KAAK,CACb,IAAI,MAAM,yCAAyC,GAAG,cAAc,KAAK,CAAC,QAAQ,CAAC,MAAM,GAAG,CAC7F,CAAA;IACH,CAAC;IACD,OAAO,KAAK,CAAA;AACd,CAAC;AAED;;;;;;;;;GASG;AACH,MAAM,UAAU,qBAAqB,CAAC,KAAY,EAAE,SAAkB,EAAE,WAAkB;IACxF,IAAI,CAAC,cAAc,CAAC,KAAK,CAAC;QAAE,OAAO,WAAW,CAAA;IAC9C,MAAM,GAAG,GAAG,OAAO,SAAS,KAAK,QAAQ,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAA;IACzD,MAAM,QAAQ,GAAG,KAAK,CAAC,QAAQ,CAAC,KAAK,EAAE,CAAA;IACvC,QAAQ,CAAC,GAAG,CAAC,GAAG,WAAW,CAAA;IAC3B,OAAO,QAAQ,CAAC,QAAQ,CAAC,CAAA;AAC3B,CAAC;AAED;;;;;;;;;;GAUG;AACH,MAAM,UAAU,YAAY,CAAC,CAAU;IACrC,OAAO,CAAC,CAAC,CAAC,IAAI,OAAO,CAAC,KAAK,QAAQ,IAAK,CAAuB,CAAC,IAAI,KAAK,OAAO,CAAA;AAClF,CAAC;AAMD;;;;;GAKG;AACH,MAAM,UAAU,OAAO,CAAC,KAAa;IACnC,OAAO,eAAe,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,CAAA;AAC3C,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,UAAU,CAAC,KAAa;IACtC,MAAM,KAAK,GAAG,eAAe,EAAE,CAAA;IAC/B,IAAI,IAAI,GAAG,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,CAAA;IACjC,IAAI,CAAC,IAAI,EAAE,CAAC;QACV,IAAI,GAAG,EAAE,CAAA;QACT,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,KAAK,EAAE,IAAI,CAAC,CAAA;IAC9B,CAAC;IACD,OAAO,IAAI,CAAA;AACb,CAAC;AAED;;;;;;;;;GASG;AACH,MAAM,UAAU,cAAc,CAAC,KAAa;IAC1C,MAAM,IAAI,GAAG,MAAM,CAAC,KAAK,CAAC,CAAA;IAC1B,OAAO,IAAI,CAAC,CAAC,CAAC,cAAc,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,SAAS,CAAA;AAC5D,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,OAAO,CAAC,KAAY;IAClC,OAAO,eAAe,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,KAAK,KAAK,SAAS,CAAA;AAChE,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,MAAM,CAAC,KAAY;IACjC,OAAO,eAAe,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,KAAK,CAAA;AAClD,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,YAAY,CAAC,MAAe;IAC1C,OAAO,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAA;AACnD,CAAC","sourcesContent":["/**\n * api shape — 类型化构造器 + 身份槽\n *\n *\n * 变更要点：\n * - 身份表（created / slots / shapeToName）改读全局锚点 runtime-state，\n *   使\"两份 faijs 代码\"共享同一份状态（解决 Shape 身份孤岛）。\n * - 新增 fromBrep(mesh, holder)：BREP 产物一次登记句柄与面演化，\n *   库函数不再手动登记（P2 落地）。\n * - 新增 hasBrep / brepOf：引擎侧判定\"某 Shape 是否在 BREP 链上\"。\n */\n\nimport type { Shape } from './mesh/types'\nimport { attachAppearanceMethods, type ShapeAppearanceMethods } from './api/appearance'\nimport { attachMetaMethods, type ShapeMetaMethods } from './api/meta'\nimport { getRuntimeState, registerFunctionBrep, nameOf, getCurrentStmt, type ShapeSlot } from './runtime-state'\nimport { asStmtId } from './identity'\nimport { runtimeLineage } from './topology/naming/lineage'\n\n// ── Shape 构造器 ──\n\n/** Discriminator for the concrete shape kinds. */\nexport type ShapeKind = 'solid' | 'shape2d' | 'curve' | 'compound'\n\n/**\n * A solid mesh shape produced by a constructor.\n *\n * 运行时形态带外观方法（attachAppearanceMethods 在 solid()/curve() 挂载，\n * 设计文档 2026-10-05 v2 §3.2/§4.2）：`box1.setColor(...)` 等成员调用走\n * `asm1.solve()` 同款语句形态；方法不序列化，`appearance` 字段随产物传递。\n */\nexport interface SolidShape extends Shape, ShapeAppearanceMethods, ShapeMetaMethods {\n  kind: 'solid'\n}\n\n/** A structural compound grouping a list of child shapes. */\nexport interface CompoundShape {\n  kind: 'compound'\n  children: Shape[]\n}\n\n/**\n * 1D 曲线 Shape（wire / helix / edge-loop 等无三角载荷的 1D 几何）。\n *\n * `kind: 'curve'` 表达「无三角载荷」，与 `'solid'` 对称（见 `curve()` /\n * `fromBrepCurve()`）。执行链路照走 `solidToShape`（wire → 空 0/0 载荷，不抛），\n * 显示经 `wireframe`。\n */\nexport interface CurveShape extends Shape, ShapeAppearanceMethods, ShapeMetaMethods {\n  kind: 'curve'\n}\n\n/** A shape that the api layer exports as a finished result. */\nexport type StdShape = SolidShape | CompoundShape | CurveShape\n\n/**\n * 实体 Shape 构造器：mesh 产物必须经此创建。\n *\n * @param mesh - the mesh shape to wrap as a solid.\n * @returns the created solid shape.\n */\nexport function solid(mesh: Shape): SolidShape {\n  const s = { ...mesh, kind: 'solid' } as SolidShape\n  getRuntimeState().created.add(s)\n  return attachMetaMethods(attachAppearanceMethods(s)) as SolidShape\n}\n\n/**\n * 1D 曲线 Shape 构造器（wire / helix / edge-loop 等 1D 产物）。\n *\n * 与 `solid` 对称：登记到 identity 表（供 `isShape` 识别），`kind` 设为 `'curve'`\n * 以表达「无三角载荷的 1D 几何」（执行链路照走 `solidToShape`，显示经 `wireframe`）。\n *\n * @param mesh - the mesh payload (positions/indices) to wrap as a curve.\n * @returns the created curve shape.\n */\nexport function curve(mesh: Shape): CurveShape {\n  const s = { ...mesh, kind: 'curve' } as CurveShape\n  getRuntimeState().created.add(s)\n  return attachMetaMethods(attachAppearanceMethods(s)) as CurveShape\n}\n\n/**\n * BREP 产物构造器：同时登记 mesh 与 OCCT 句柄（+ 可选面演化）。\n *\n * 库函数用它替代 `solid(mesh)` + 手动登记句柄两步行：\n * ```ts\n * return fromBrep(solidToShape(kernel, resultSolid), {\n *   solid: resultSolid,\n *   faceEvolution: identityEvolution(kernel, resultSolid),\n * })\n * ```\n *\n * @param mesh - the mesh shape to register.\n * @param holder - the BREP holder providing the OCCT handle and optional face evolution.\n * @returns the created solid shape with the BREP handle attached.\n */\nexport function fromBrep(mesh: Shape, holder: BrepHolder): SolidShape {\n  const s = solid(mesh)\n  attachBrep(s, holder)\n  return s\n}\n\n/**\n * 1D 曲线产物的 BREP 登记构造器：与 `fromBrep` 对称，但 `kind` 取 `'curve'`\n * （维持既有「有无三角载荷」语义——1D 几何无三角载荷，不得报 `'solid'`）。\n * 登记逻辑与 `fromBrep` 共用 `attachBrep`，保证两种形态走同一份身份/血缘/释放语义。\n *\n * @param mesh - the mesh payload (positions/indices) to wrap as a curve.\n * @param holder - the BREP holder providing the OCCT handle and optional face evolution.\n * @returns the created curve shape with the BREP handle attached.\n */\nexport function fromBrepCurve(mesh: Shape, holder: BrepHolder): CurveShape {\n  const s = curve(mesh)\n  attachBrep(s, holder)\n  return s\n}\n\n/**\n * 网格实体产物的构造器：与 `fromBrep` 对称，登记网格实体句柄（近似链）而非\n * BREP 句柄（精度链）。\n *\n * ```ts\n * return fromMeshSolid(displayMesh, { meshSolid: result.solid })\n * ```\n *\n * 与 `fromBrep` 的三点差别（方案 §3.2）：\n * 1. 写 `slot.meshSolid`，**不写** `slot.solid`——网格零件永不进 BREP 链；\n * 2. 不登记函数 BREP 域（`registerFunctionBrep`）——句柄所有权在\n *    `MeshSolidRegistry`，按 BREP 内核释放是错的（可能是另一个内核）；\n * 3. 不旁挂 roleTable（近似拓扑不给语义 role——role 是 BREP 真拓扑的专有能力）。\n *\n * @param mesh - the mesh shape to wrap as a solid (display mesh).\n * @param holder - the mesh-solid holder providing the handle identity.\n * @returns the created solid shape carrying the mesh-solid slot.\n */\nexport function fromMeshSolid(mesh: Shape, holder: MeshSolidHolder): SolidShape {\n  const s = solid(mesh)\n  attachMeshSolid(s, holder.meshSolid)\n  return s\n}\n\n/** 网格实体句柄容器（与 `BrepHolder` 对称；类型为 unknown 以保持零依赖）。 */\nexport interface MeshSolidHolder {\n  /** 网格实体句柄的**身份**（句柄本体在 `MeshSolidRegistry`）。 */\n  meshSolid: unknown\n}\n\n/**\n * 网格链**面**产物的构造器（方案 2026-10-01 §4 Phase 3）。与 `fromBrep` 的\n * 面产物对称：BREP 侧 `sketchOnFace` 返回 `fromBrep(solidToShape(kernel, face),\n * { solid: face })`，这里返回 `fromMeshFace(meshShape(face), { meshFace: face })`。\n *\n * `kind` 沿用 `'solid'`（不是 `'shape2d'`）：与 BREP 侧的面 Shape 保持同一形态，\n * 好让 `extrude` 的 `isCurveShape` 预检在两条链上行为一致——面不是 1D 曲线，\n * 不该被面消费 op 当成曲线拒掉。\n *\n * @param mesh - the face's display mesh (its own tessellation).\n * @param holder - the mesh-face holder providing the handle identity.\n * @returns the created shape carrying the mesh-face slot.\n */\nexport function fromMeshFace(mesh: Shape, holder: MeshFaceHolder): SolidShape {\n  const s = solid(mesh)\n  attachMeshFace(s, holder.meshFace)\n  return s\n}\n\n/** 网格链面句柄容器（与 `MeshSolidHolder` 对称；类型为 unknown 以保持零依赖）。 */\nexport interface MeshFaceHolder {\n  /** 网格链面句柄的**身份**。 */\n  meshFace: unknown\n}\n\n/**\n * 把网格实体句柄登记到已构造的 Shape。\n *\n * 互斥红线：该 Shape 已有 BREP 句柄或网格链面句柄时**直接抛错**——一个 Shape\n * 同时声称两种链身份是设计缺陷，不能静默覆盖任何一侧。\n *\n * @param s - the already-constructed shape.\n * @param meshSolid - the mesh solid handle.\n * @throws {Error} `E_SHAPE_SLOT_EXCLUSIVE` when the shape already carries another chain identity.\n */\nexport function attachMeshSolid(s: Shape, meshSolid: unknown): void {\n  const state = getRuntimeState()\n  const slot = state.slots.get(s) ?? {}\n  if (slot.solid !== undefined) {\n    throw new Error(\n      'E_SHAPE_SLOT_EXCLUSIVE: shape already carries a BREP handle — a shape is either on the precision chain or the mesh chain, never both',\n    )\n  }\n  if (slot.meshFace !== undefined) {\n    throw new Error(\n      'E_SHAPE_SLOT_EXCLUSIVE: shape already carries a mesh-chain face handle — a shape is either a mesh solid or a mesh-chain face, never both',\n    )\n  }\n  slot.meshSolid = meshSolid\n  state.slots.set(s, slot)\n}\n\n/**\n * 把网格链**面**句柄登记到已构造的 Shape。\n *\n * 与 `attachMeshSolid` 同一条互斥红线：已有任意另一种链身份即抛错。\n *\n * @param s - the already-constructed shape.\n * @param meshFace - the mesh-chain face handle.\n * @throws {Error} `E_SHAPE_SLOT_EXCLUSIVE` when the shape already carries another chain identity.\n */\nexport function attachMeshFace(s: Shape, meshFace: unknown): void {\n  const state = getRuntimeState()\n  const slot = state.slots.get(s) ?? {}\n  if (slot.solid !== undefined || slot.meshSolid !== undefined) {\n    throw new Error(\n      'E_SHAPE_SLOT_EXCLUSIVE: shape already carries a BREP or mesh-solid handle — a mesh-chain face is its own identity',\n    )\n  }\n  slot.meshFace = meshFace\n  state.slots.set(s, slot)\n}\n\n/**\n * 该 Shape 是否携带网格链面（`sketchOnFace` 在近似拓扑面上的产物）。\n *\n * @param shape - the shape to test.\n * @returns true if the shape carries a mesh-chain face handle.\n */\nexport function hasMeshFace(shape: Shape): boolean {\n  return getRuntimeState().slots.get(shape)?.meshFace !== undefined\n}\n\n/**\n * 读取该 Shape 的网格链面句柄（无则 undefined）。\n *\n * @param shape - the shape whose mesh-chain face handle to read.\n * @returns the mesh-chain face handle, or undefined if none.\n */\nexport function meshFaceOf(shape: Shape): unknown | undefined {\n  return getRuntimeState().slots.get(shape)?.meshFace\n}\n\n/**\n * 该 Shape 是否携带网格实体（网格零件）。引擎分派与 UI 查询用。\n *\n * 与 `hasBrep` 互斥：正常路径下二者不可能同时为真（`attachMeshSolid` 已经把\n * 互斥钉在写入侧，`assertShapeSlotExclusive` 在分派前再兜一层）。\n *\n * @param shape - the shape to test.\n * @returns true if the shape carries a mesh solid handle.\n */\nexport function hasMeshSolid(shape: Shape): boolean {\n  return getRuntimeState().slots.get(shape)?.meshSolid !== undefined\n}\n\n/**\n * 读取该 Shape 的网格实体句柄（无则 undefined）。\n *\n * @param shape - the shape whose mesh solid handle to read.\n * @returns the mesh solid handle, or undefined if none.\n */\nexport function meshSolidOf(shape: Shape): unknown | undefined {\n  return getRuntimeState().slots.get(shape)?.meshSolid\n}\n\n/**\n * 把 BREP 句柄登记到已构造的 Shape（由 `solid` / `curve` 产出）。\n *\n * 集中 brep 登记的四步（identity 槽登记已由构造器完成；此处只补：① 身份槽挂载\n * 句柄 / ② 血缘图语句键旁挂 roleTable / ③ 函数 BREP 域登记）。供 `fromBrep` /\n * `fromBrepCurve` 共用——禁止绕开本函数手写登记（否则等于复制一整套身份、血缘与\n * 释放语义）。\n *\n * @param s - the already-constructed shape (solid or curve).\n * @param holder - the BREP holder to attach.\n */\nfunction attachBrep(s: Shape, holder: BrepHolder): void {\n  const state = getRuntimeState()\n  const slot = state.slots.get(s) ?? {}\n  if (slot.meshSolid !== undefined || slot.meshFace !== undefined) {\n    // 互斥红线的另一侧：网格链产物不得再被登记成 BREP 实体（一个 Shape 只能\n    // 在精度链或网格链之一上）。\n    throw new Error(\n      'E_SHAPE_SLOT_EXCLUSIVE: shape already carries a mesh-chain handle — a shape is either on the precision chain or the mesh chain, never both',\n    )\n  }\n  slot.solid = holder.solid\n  if (holder.faceEvolution) slot.faceEvolution = holder.faceEvolution\n  // 1.10 前置③：roleTable **不再写 slot**（字段已删）——权威落点是下方血缘图\n  // 旁挂（语句键 + part 键），解析缓存 miss 由回走重算恢复。\n  state.slots.set(s, slot)\n  // 1.10 前置③：roleTable 权威旁挂（**语句键**）在血缘图。part 键的记录在\n  // define-op.wrapped（impl 返回后 anchor.outputs 名字已定）——此处 shape 还未\n  // 被 executor 命名，nameOf(s) 为 undefined，不能在这里记 part 键。\n  const stmt = getCurrentStmt()\n  if (stmt && (holder.roleTable || holder.solid !== undefined)) {\n    runtimeLineage.recordOutput(\n      asStmtId(stmt.id),\n      holder.roleTable as ReadonlyMap<string, ReadonlyMap<string, readonly number[]>> | undefined,\n      holder.solid,\n    )\n  }\n  // 函数 BREP 域（§5.6）：函数体内 op 产生的新句柄登记到当前域，函数返回后统一释放\n  registerFunctionBrep(holder.solid)\n}\n\n/** BREP 句柄 + 面演化 + 拓扑命名 RoleTable（对应 OCCT 的 ShapeHandle）。类型为 unknown 以保持零依赖。 */\nexport interface BrepHolder {\n  solid: unknown\n  faceEvolution?: Map<number, number[]>\n  /**\n   * 1.10 前置③：产形 op 交付 role 表的唯一入口。fromBrep 把它**旁挂到血缘图**\n   * （语句键 + part 键）；slot 侧的缓存存储已删（ShapeSlot 不再有该字段）。\n   */\n  roleTable?: unknown\n}\n\n/**\n * compound Shape 构造器：结构（层级）而非新几何。\n *\n * @param children - the child shapes to group.\n * @returns the created compound shape.\n */\nexport function compound(children: Shape[]): CompoundShape {\n  const c: CompoundShape = { kind: 'compound', children }\n  getRuntimeState().created.add(c)\n  return c\n}\n\n/**\n * 是否为构造器产物（终端判定与 compound 检测的依据）。\n *\n * @param v - the value to test.\n * @returns true if the value was created by a shape constructor.\n */\nexport function isShape(v: unknown): v is Shape {\n  return !!v && typeof v === 'object' && getRuntimeState().created.has(v)\n}\n\n/**\n * Returns true if the value is a strict compound shape created by a constructor.\n *\n * @param v - the value to test.\n * @returns true if the value is a strict compound shape.\n */\nexport function isCompound(v: unknown): v is CompoundShape {\n  return isShape(v) && (v as { kind?: string }).kind === 'compound'\n}\n\n/**\n * 结构判定：是否为 compound 形态（keep-syntax §5.3 D5，对任意库函数零要求）。\n * 引擎内部的终端/消费判定用结构判定；SDK 公开的 isShape/isCompound 保持 WeakSet 严格。\n *\n * @param v - the value to test.\n * @returns true if the value has compound shape structure.\n */\nexport function isCompoundLike(v: unknown): v is CompoundShape {\n  return !!v && typeof v === 'object'\n    && (v as { kind?: string }).kind === 'compound'\n    && Array.isArray((v as { children?: unknown }).children)\n}\n\n/**\n * P2（2026-10-06-step-3mf-multipart-import-plan.md）：多零件 load 的输出是\n * compound（children 匿名，无独立变量名）——单零件消费 op（fai_extrude /\n * fai_drill 等）以 `params.partIndex` 指定目标成员。入参是普通 Shape 时原样\n * 返回（partIndex 被忽略，保持既有行为）；越界或空 children 抛清晰错误。\n *\n * @param input - 消费 op 的输入（多零件为 CompoundShape；普通 Shape 原样返回）\n * @param partIndex - 目标成员下标（0 起，对应 load 返回 compound.children 序；\n *   非 number 视为 0，与单零件行为一致）\n * @param callee - op 名（错误消息定位用）\n * @returns 目标成员 Shape（compound 的 children 是匿名几何，可直接接特征链）\n */\nexport function resolveCompoundMember(input: Shape, partIndex: unknown, callee: string): Shape {\n  if (!isCompoundLike(input)) return input\n  const idx = typeof partIndex === 'number' ? partIndex : 0\n  const child = input.children[idx]\n  if (!child) {\n    throw new Error(\n      `[${callee}] compound has no member at partIndex=${idx} (children=${input.children.length})`,\n    )\n  }\n  return child\n}\n\n/**\n * P2：消费 op（extrude/drill）作用于 compound 的目标成员后，把结果替换回\n * 原 compound（其余 children 原样保留）——多零件结构不因单成员修改而坍缩成\n * 单一 Shape。入参非 compound 时原样返回 replacement（单零件行为不变）。\n *\n * @param input - 消费 op 的输入（多零件为 CompoundShape；普通 Shape 时直接返回 replacement）\n * @param partIndex - 被替换成员下标（0 起；非 number 视为 0，与单零件行为一致）\n * @param replacement - 目标成员的新 Shape（op 结果）\n * @returns 替换后的 compound（其余 children 原样）或 replacement（入参非 compound 时）\n */\nexport function replaceCompoundMember(input: Shape, partIndex: unknown, replacement: Shape): Shape | CompoundShape {\n  if (!isCompoundLike(input)) return replacement\n  const idx = typeof partIndex === 'number' ? partIndex : 0\n  const children = input.children.slice()\n  children[idx] = replacement\n  return compound(children)\n}\n\n/**\n * 1D 曲线判定（1D 判别位，Phase 3）：`kind === 'curve'`。\n *\n * 面消费 op（extrude / revolve / sweep 等）用它做**执行前**输入维度预检——\n * 1D 产物（wire / helix / sketch as:'wire'）喂给面 op 时必须是明确的预检失败，\n * 不得落进内核深层才报「操作失败」。与 SDK 的 WeakSet 严格 `isShape` 不同，\n * 本判定是结构判定（与 `isCompoundLike` 同族），对跨库产物零要求。\n *\n * @param v - the value to test.\n * @returns true when the value is a 1D curve shape.\n */\nexport function isCurveShape(v: unknown): v is CurveShape {\n  return !!v && typeof v === 'object' && (v as { kind?: string }).kind === 'curve'\n}\n\n// ── 身份槽 ──\n\nexport type { ShapeSlot }\n\n/**\n * 读取 Shape 的身份槽（无则 undefined）。\n *\n * @param shape - the shape whose slot to read.\n * @returns the identity slot, or undefined if none is registered.\n */\nexport function getSlot(shape: object): ShapeSlot | undefined {\n  return getRuntimeState().slots.get(shape)\n}\n\n/**\n * 读取或创建 Shape 的身份槽。\n *\n * @param shape - the shape whose slot to read or create.\n * @returns the shape's identity slot.\n */\nexport function ensureSlot(shape: object): ShapeSlot {\n  const state = getRuntimeState()\n  let slot = state.slots.get(shape)\n  if (!slot) {\n    slot = {}\n    state.slots.set(shape, slot)\n  }\n  return slot\n}\n\n/**\n * 读输入 Shape 的 roleTable（op 实现读**输入**表的唯一读口，1.10 前置③）。\n *\n * 语义 = 旧 `getSlot(shape)?.roleTable`：权威落点在血缘图的 part 键旁挂\n * （上一条语句 fromBrep 时记录），slot 缓存字段已删除。未记录 → undefined\n * （mesh 产物 / 无命名）。\n *\n * @param shape - the input shape whose role table to read.\n * @returns the role table (unknown — callers assert their table type), or undefined.\n */\nexport function inputRoleTable(shape: object): unknown | undefined {\n  const name = nameOf(shape)\n  return name ? runtimeLineage.tableOfPart(name) : undefined\n}\n\n/**\n * 该 Shape 是否在 BREP 链上（有 OCCT 句柄）。引擎分派与 UI 查询用。\n *\n * @param shape - the shape to test.\n * @returns true if the shape has an attached OCCT handle.\n */\nexport function hasBrep(shape: Shape): boolean {\n  return getRuntimeState().slots.get(shape)?.solid !== undefined\n}\n\n/**\n * 读取该 Shape 的 OCCT 句柄（无则 undefined）。库函数用前必须判空。\n *\n * @param shape - the shape whose handle to read.\n * @returns the OCCT handle, or undefined if none.\n */\nexport function brepOf(shape: Shape): unknown | undefined {\n  return getRuntimeState().slots.get(shape)?.solid\n}\n\n/**\n * nameOf 批量版：Shape[] → 成员名（装配 memberNames，P6 替代读 IR）。\n *\n * @param shapes - the shapes to name.\n * @returns the member names, one per shape (empty string when unnamed).\n */\nexport function nameOfShapes(shapes: Shape[]): string[] {\n  return shapes.map((s) => String(nameOf(s) ?? ''))\n}\n"]}

package/dist/topology/naming/lineage.d.ts

@@ -70,7 +70,8 @@ export type NewFaceRule = {
  * **继承面的处置完全由类别决定，op 不写**；只有 `construct` 和 `kernel` 会造新面，
  * 才有词汇这一项 ⇒ `identity` / `subdivide` / `replicate(k)` **零声明**。
  *
- * 本表是**类别归属**，不是接线状态（例：`sweep` 属 `construct` 类但未接线，见 §1 D10）。
+ * 本表是**六个类别的定义**；某个 op 实际声明哪一类，以该 op 的 `defineOp` 为准
+ * （实测：`sweep`、`loft` 声明 `unmodeled`；`extrude`、`revolve`、`makeBox` 声明 `construct`）。
  */
 export type Provenance = 
 /** 内核给历史：boolean / fillet / chamfer / shell / offset / 刚体变换 */
@@ -78,7 +79,7 @@ export type Provenance =
     readonly kind: 'kernel';
     readonly newFaces: NewFaceRule;
 }
-/** 输出面 ↔ 输入的构造规则：extrude / revolve / sweep / loft / primitives / sketch / import_brep */
+/** 输出面 ↔ 输入的构造规则：extrude / revolve / primitives（`via: 'explicit'` 词汇表给出） */
  | {
     readonly kind: 'construct';
     readonly newFaces: Extract<NewFaceRule, {