@faicad/faijs 0.22.2 → 0.29.5

package/dist/shape.d.ts

@@ -1,5 +1,5 @@
 /**
- * stdlib shape — 类型化构造器 + 身份槽
+ * api shape — 类型化构造器 + 身份槽
  *
  *
  * 变更要点：
@@ -10,11 +10,19 @@
  * - 新增 hasBrep / brepOf：引擎侧判定"某 Shape 是否在 BREP 链上"。
  */
 import type { Shape } from './mesh/types.js';
+import { type ShapeAppearanceMethods } from './api/appearance.js';
+import { type ShapeMetaMethods } from './api/meta.js';
 import { type ShapeSlot } from './runtime-state.js';
 /** Discriminator for the concrete shape kinds. */
 export type ShapeKind = 'solid' | 'shape2d' | 'curve' | 'compound';
-/** A solid mesh shape produced by a constructor. */
-export interface SolidShape extends Shape {
+/**
+ * A solid mesh shape produced by a constructor.
+ *
+ * 运行时形态带外观方法（attachAppearanceMethods 在 solid()/curve() 挂载，
+ * 设计文档 2026-10-05 v2 §3.2/§4.2）：`box1.setColor(...)` 等成员调用走
+ * `asm1.solve()` 同款语句形态；方法不序列化，`appearance` 字段随产物传递。
+ */
+export interface SolidShape extends Shape, ShapeAppearanceMethods, ShapeMetaMethods {
     kind: 'solid';
 }
 /** A structural compound grouping a list of child shapes. */
@@ -29,10 +37,10 @@ export interface CompoundShape {
  * `fromBrepCurve()`）。执行链路照走 `solidToShape`（wire → 空 0/0 载荷，不抛），
  * 显示经 `wireframe`。
  */
-export interface CurveShape extends Shape {
+export interface CurveShape extends Shape, ShapeAppearanceMethods, ShapeMetaMethods {
     kind: 'curve';
 }
-/** A shape that the stdlib exports as a finished result. */
+/** A shape that the api layer exports as a finished result. */
 export type StdShape = SolidShape | CompoundShape | CurveShape;
 /**
  * 实体 Shape 构造器：mesh 产物必须经此创建。
@@ -77,6 +85,101 @@ export declare function fromBrep(mesh: Shape, holder: BrepHolder): SolidShape;
  * @returns the created curve shape with the BREP handle attached.
  */
 export declare function fromBrepCurve(mesh: Shape, holder: BrepHolder): CurveShape;
+/**
+ * 网格实体产物的构造器：与 `fromBrep` 对称，登记网格实体句柄（近似链）而非
+ * BREP 句柄（精度链）。
+ *
+ * ```ts
+ * return fromMeshSolid(displayMesh, { meshSolid: result.solid })
+ * ```
+ *
+ * 与 `fromBrep` 的三点差别（方案 §3.2）：
+ * 1. 写 `slot.meshSolid`，**不写** `slot.solid`——网格零件永不进 BREP 链；
+ * 2. 不登记函数 BREP 域（`registerFunctionBrep`）——句柄所有权在
+ *    `MeshSolidRegistry`，按 BREP 内核释放是错的（可能是另一个内核）；
+ * 3. 不旁挂 roleTable（近似拓扑不给语义 role——role 是 BREP 真拓扑的专有能力）。
+ *
+ * @param mesh - the mesh shape to wrap as a solid (display mesh).
+ * @param holder - the mesh-solid holder providing the handle identity.
+ * @returns the created solid shape carrying the mesh-solid slot.
+ */
+export declare function fromMeshSolid(mesh: Shape, holder: MeshSolidHolder): SolidShape;
+/** 网格实体句柄容器（与 `BrepHolder` 对称；类型为 unknown 以保持零依赖）。 */
+export interface MeshSolidHolder {
+    /** 网格实体句柄的**身份**（句柄本体在 `MeshSolidRegistry`）。 */
+    meshSolid: unknown;
+}
+/**
+ * 网格链**面**产物的构造器（方案 2026-10-01 §4 Phase 3）。与 `fromBrep` 的
+ * 面产物对称：BREP 侧 `sketchOnFace` 返回 `fromBrep(solidToShape(kernel, face),
+ * { solid: face })`，这里返回 `fromMeshFace(meshShape(face), { meshFace: face })`。
+ *
+ * `kind` 沿用 `'solid'`（不是 `'shape2d'`）：与 BREP 侧的面 Shape 保持同一形态，
+ * 好让 `extrude` 的 `isCurveShape` 预检在两条链上行为一致——面不是 1D 曲线，
+ * 不该被面消费 op 当成曲线拒掉。
+ *
+ * @param mesh - the face's display mesh (its own tessellation).
+ * @param holder - the mesh-face holder providing the handle identity.
+ * @returns the created shape carrying the mesh-face slot.
+ */
+export declare function fromMeshFace(mesh: Shape, holder: MeshFaceHolder): SolidShape;
+/** 网格链面句柄容器（与 `MeshSolidHolder` 对称；类型为 unknown 以保持零依赖）。 */
+export interface MeshFaceHolder {
+    /** 网格链面句柄的**身份**。 */
+    meshFace: unknown;
+}
+/**
+ * 把网格实体句柄登记到已构造的 Shape。
+ *
+ * 互斥红线：该 Shape 已有 BREP 句柄或网格链面句柄时**直接抛错**——一个 Shape
+ * 同时声称两种链身份是设计缺陷，不能静默覆盖任何一侧。
+ *
+ * @param s - the already-constructed shape.
+ * @param meshSolid - the mesh solid handle.
+ * @throws {Error} `E_SHAPE_SLOT_EXCLUSIVE` when the shape already carries another chain identity.
+ */
+export declare function attachMeshSolid(s: Shape, meshSolid: unknown): void;
+/**
+ * 把网格链**面**句柄登记到已构造的 Shape。
+ *
+ * 与 `attachMeshSolid` 同一条互斥红线：已有任意另一种链身份即抛错。
+ *
+ * @param s - the already-constructed shape.
+ * @param meshFace - the mesh-chain face handle.
+ * @throws {Error} `E_SHAPE_SLOT_EXCLUSIVE` when the shape already carries another chain identity.
+ */
+export declare function attachMeshFace(s: Shape, meshFace: unknown): void;
+/**
+ * 该 Shape 是否携带网格链面（`sketchOnFace` 在近似拓扑面上的产物）。
+ *
+ * @param shape - the shape to test.
+ * @returns true if the shape carries a mesh-chain face handle.
+ */
+export declare function hasMeshFace(shape: Shape): boolean;
+/**
+ * 读取该 Shape 的网格链面句柄（无则 undefined）。
+ *
+ * @param shape - the shape whose mesh-chain face handle to read.
+ * @returns the mesh-chain face handle, or undefined if none.
+ */
+export declare function meshFaceOf(shape: Shape): unknown | undefined;
+/**
+ * 该 Shape 是否携带网格实体（网格零件）。引擎分派与 UI 查询用。
+ *
+ * 与 `hasBrep` 互斥：正常路径下二者不可能同时为真（`attachMeshSolid` 已经把
+ * 互斥钉在写入侧，`assertShapeSlotExclusive` 在分派前再兜一层）。
+ *
+ * @param shape - the shape to test.
+ * @returns true if the shape carries a mesh solid handle.
+ */
+export declare function hasMeshSolid(shape: Shape): boolean;
+/**
+ * 读取该 Shape 的网格实体句柄（无则 undefined）。
+ *
+ * @param shape - the shape whose mesh solid handle to read.
+ * @returns the mesh solid handle, or undefined if none.
+ */
+export declare function meshSolidOf(shape: Shape): unknown | undefined;
 /** BREP 句柄 + 面演化 + 拓扑命名 RoleTable（对应 OCCT 的 ShapeHandle）。类型为 unknown 以保持零依赖。 */
 export interface BrepHolder {
     solid: unknown;

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,EAAiE,KAAK,SAAS,EAAE,MAAM,iBAAiB,CAAA;AAM/G,kDAAkD;AAClD,MAAM,MAAM,SAAS,GAAG,OAAO,GAAG,SAAS,GAAG,OAAO,GAAG,UAAU,CAAA;AAElE,oDAAoD;AACpD,MAAM,WAAW,UAAW,SAAQ,KAAK;IACvC,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;IACvC,IAAI,EAAE,OAAO,CAAA;CACd;AAED,4DAA4D;AAC5D,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;AAoCD,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;;;;;;;;;;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

@@ -1,5 +1,5 @@
 /**
- * stdlib shape — 类型化构造器 + 身份槽
+ * api shape — 类型化构造器 + 身份槽
  *
  *
  * 变更要点：
@@ -9,6 +9,8 @@
  *   库函数不再手动登记（P2 落地）。
  * - 新增 hasBrep / brepOf：引擎侧判定"某 Shape 是否在 BREP 链上"。
  */
+import { attachAppearanceMethods } from './api/appearance.js';
+import { attachMetaMethods } from './api/meta.js';
 import { getRuntimeState, registerFunctionBrep, nameOf, getCurrentStmt } from './runtime-state.js';
 import { asStmtId } from './identity.js';
 import { runtimeLineage } from './topology/naming/lineage.js';
@@ -21,7 +23,7 @@ import { runtimeLineage } from './topology/naming/lineage.js';
 export function solid(mesh) {
     const s = { ...mesh, kind: 'solid' };
     getRuntimeState().created.add(s);
-    return s;
+    return attachMetaMethods(attachAppearanceMethods(s));
 }
 /**
  * 1D 曲线 Shape 构造器（wire / helix / edge-loop 等 1D 产物）。
@@ -35,7 +37,7 @@ export function solid(mesh) {
 export function curve(mesh) {
     const s = { ...mesh, kind: 'curve' };
     getRuntimeState().created.add(s);
-    return s;
+    return attachMetaMethods(attachAppearanceMethods(s));
 }
 /**
  * BREP 产物构造器：同时登记 mesh 与 OCCT 句柄（+ 可选面演化）。
@@ -71,6 +73,126 @@ export function fromBrepCurve(mesh, holder) {
     attachBrep(s, holder);
     return s;
 }
+/**
+ * 网格实体产物的构造器：与 `fromBrep` 对称，登记网格实体句柄（近似链）而非
+ * BREP 句柄（精度链）。
+ *
+ * ```ts
+ * return fromMeshSolid(displayMesh, { meshSolid: result.solid })
+ * ```
+ *
+ * 与 `fromBrep` 的三点差别（方案 §3.2）：
+ * 1. 写 `slot.meshSolid`，**不写** `slot.solid`——网格零件永不进 BREP 链；
+ * 2. 不登记函数 BREP 域（`registerFunctionBrep`）——句柄所有权在
+ *    `MeshSolidRegistry`，按 BREP 内核释放是错的（可能是另一个内核）；
+ * 3. 不旁挂 roleTable（近似拓扑不给语义 role——role 是 BREP 真拓扑的专有能力）。
+ *
+ * @param mesh - the mesh shape to wrap as a solid (display mesh).
+ * @param holder - the mesh-solid holder providing the handle identity.
+ * @returns the created solid shape carrying the mesh-solid slot.
+ */
+export function fromMeshSolid(mesh, holder) {
+    const s = solid(mesh);
+    attachMeshSolid(s, holder.meshSolid);
+    return s;
+}
+/**
+ * 网格链**面**产物的构造器（方案 2026-10-01 §4 Phase 3）。与 `fromBrep` 的
+ * 面产物对称：BREP 侧 `sketchOnFace` 返回 `fromBrep(solidToShape(kernel, face),
+ * { solid: face })`，这里返回 `fromMeshFace(meshShape(face), { meshFace: face })`。
+ *
+ * `kind` 沿用 `'solid'`（不是 `'shape2d'`）：与 BREP 侧的面 Shape 保持同一形态，
+ * 好让 `extrude` 的 `isCurveShape` 预检在两条链上行为一致——面不是 1D 曲线，
+ * 不该被面消费 op 当成曲线拒掉。
+ *
+ * @param mesh - the face's display mesh (its own tessellation).
+ * @param holder - the mesh-face holder providing the handle identity.
+ * @returns the created shape carrying the mesh-face slot.
+ */
+export function fromMeshFace(mesh, holder) {
+    const s = solid(mesh);
+    attachMeshFace(s, holder.meshFace);
+    return s;
+}
+/**
+ * 把网格实体句柄登记到已构造的 Shape。
+ *
+ * 互斥红线：该 Shape 已有 BREP 句柄或网格链面句柄时**直接抛错**——一个 Shape
+ * 同时声称两种链身份是设计缺陷，不能静默覆盖任何一侧。
+ *
+ * @param s - the already-constructed shape.
+ * @param meshSolid - the mesh solid handle.
+ * @throws {Error} `E_SHAPE_SLOT_EXCLUSIVE` when the shape already carries another chain identity.
+ */
+export function attachMeshSolid(s, meshSolid) {
+    const state = getRuntimeState();
+    const slot = state.slots.get(s) ?? {};
+    if (slot.solid !== undefined) {
+        throw new Error('E_SHAPE_SLOT_EXCLUSIVE: shape already carries a BREP handle — a shape is either on the precision chain or the mesh chain, never both');
+    }
+    if (slot.meshFace !== undefined) {
+        throw new Error('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');
+    }
+    slot.meshSolid = meshSolid;
+    state.slots.set(s, slot);
+}
+/**
+ * 把网格链**面**句柄登记到已构造的 Shape。
+ *
+ * 与 `attachMeshSolid` 同一条互斥红线：已有任意另一种链身份即抛错。
+ *
+ * @param s - the already-constructed shape.
+ * @param meshFace - the mesh-chain face handle.
+ * @throws {Error} `E_SHAPE_SLOT_EXCLUSIVE` when the shape already carries another chain identity.
+ */
+export function attachMeshFace(s, meshFace) {
+    const state = getRuntimeState();
+    const slot = state.slots.get(s) ?? {};
+    if (slot.solid !== undefined || slot.meshSolid !== undefined) {
+        throw new Error('E_SHAPE_SLOT_EXCLUSIVE: shape already carries a BREP or mesh-solid handle — a mesh-chain face is its own identity');
+    }
+    slot.meshFace = meshFace;
+    state.slots.set(s, slot);
+}
+/**
+ * 该 Shape 是否携带网格链面（`sketchOnFace` 在近似拓扑面上的产物）。
+ *
+ * @param shape - the shape to test.
+ * @returns true if the shape carries a mesh-chain face handle.
+ */
+export function hasMeshFace(shape) {
+    return getRuntimeState().slots.get(shape)?.meshFace !== undefined;
+}
+/**
+ * 读取该 Shape 的网格链面句柄（无则 undefined）。
+ *
+ * @param shape - the shape whose mesh-chain face handle to read.
+ * @returns the mesh-chain face handle, or undefined if none.
+ */
+export function meshFaceOf(shape) {
+    return getRuntimeState().slots.get(shape)?.meshFace;
+}
+/**
+ * 该 Shape 是否携带网格实体（网格零件）。引擎分派与 UI 查询用。
+ *
+ * 与 `hasBrep` 互斥：正常路径下二者不可能同时为真（`attachMeshSolid` 已经把
+ * 互斥钉在写入侧，`assertShapeSlotExclusive` 在分派前再兜一层）。
+ *
+ * @param shape - the shape to test.
+ * @returns true if the shape carries a mesh solid handle.
+ */
+export function hasMeshSolid(shape) {
+    return getRuntimeState().slots.get(shape)?.meshSolid !== undefined;
+}
+/**
+ * 读取该 Shape 的网格实体句柄（无则 undefined）。
+ *
+ * @param shape - the shape whose mesh solid handle to read.
+ * @returns the mesh solid handle, or undefined if none.
+ */
+export function meshSolidOf(shape) {
+    return getRuntimeState().slots.get(shape)?.meshSolid;
+}
 /**
  * 把 BREP 句柄登记到已构造的 Shape（由 `solid` / `curve` 产出）。
  *
@@ -85,6 +207,11 @@ export function fromBrepCurve(mesh, holder) {
 function attachBrep(s, holder) {
     const state = getRuntimeState();
     const slot = state.slots.get(s) ?? {};
+    if (slot.meshSolid !== undefined || slot.meshFace !== undefined) {
+        // 互斥红线的另一侧：网格链产物不得再被登记成 BREP 实体（一个 Shape 只能
+        // 在精度链或网格链之一上）。
+        throw new Error('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');
+    }
     slot.solid = holder.solid;
     if (holder.faceEvolution)
         slot.faceEvolution = holder.faceEvolution;

package/dist/shape.js.map

@@ -1 +1 @@
-{"version":3,"file":"shape.js","sourceRoot":"","sources":["../src/shape.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AAGH,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;AAgC1D;;;;;GAKG;AACH,MAAM,UAAU,KAAK,CAAC,IAAW;IAC/B,MAAM,CAAC,GAAe,EAAE,GAAG,IAAI,EAAE,IAAI,EAAE,OAAO,EAAE,CAAA;IAChD,eAAe,EAAE,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,CAAA;IAChC,OAAO,CAAC,CAAA;AACV,CAAC;AAED;;;;;;;;GAQG;AACH,MAAM,UAAU,KAAK,CAAC,IAAW;IAC/B,MAAM,CAAC,GAAe,EAAE,GAAG,IAAI,EAAE,IAAI,EAAE,OAAO,EAAE,CAAA;IAChD,eAAe,EAAE,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,CAAA;IAChC,OAAO,CAAC,CAAA;AACV,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;;;;;;;;;;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,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 * stdlib 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 { 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/** A solid mesh shape produced by a constructor. */\nexport interface SolidShape extends Shape {\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 {\n  kind: 'curve'\n}\n\n/** A shape that the stdlib 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: SolidShape = { ...mesh, kind: 'solid' }\n  getRuntimeState().created.add(s)\n  return s\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: CurveShape = { ...mesh, kind: 'curve' }\n  getRuntimeState().created.add(s)\n  return s\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 * 把 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  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;;;;;;;;;;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"]}

package/dist/step/stepMetaParser.d.ts

@@ -0,0 +1,55 @@
+/**
+ * STEP 元数据解析器 — 从 STEP (P21) 文本头部与 PRODUCT 层提取
+ * FileMeta（文件级）与 ShapeMeta（零件级描述字/料号）。
+ *
+ * 与 stepColorParser 同一原则：纯文本扫描，不依赖 OCCT 内核（XCAF label 层
+ * 是否暴露 description/属性不确定，见设计文档 2026-10-05-meta §6.3 风险 2）。
+ *
+ * 读取面映射（§3.3）：
+ * - HEADER FILE_NAME(name,time_stamp,author,organization,preprocessor,originator)
+ *   → title / creationDate / author / organization / application / designer。
+ * - HEADER FILE_DESCRIPTION(...) → description（逗号拼接，去首尾引号）。
+ * - DATA PRODUCT(name,description,frame)（第一个、leaf 使用的）→ 零件 description。
+ *   name 已由 OCCT label 提供（不在本解析器处理）。
+ * - PRODUCT → PRODUCT_DEFINITION_FORMATION/WITH_SPECIFIED_SOURCE-关联的料号通道：
+ *   PART_NUMBER_PROPERTY/IDENTIFICATION 命名在 §3.3 表里列出的 PART 层通道（P4
+ *   标 "IDENTIFICATION 内核支持" 待实测），这里尽量从 PRODUCT_DEFINITION 挂的
+ *   UDA（GENERAL_PROPERTY + PROPERTY_DEFINITION）捞自定义属性。
+ *
+ * 所有扫描都容错：找不到就不给对应字段，绝不让解析器抛（信息性收益）。
+ */
+/** Header 级人物贡献字段（FILE_NAME 组内的三四五参数）。 */
+export interface StepFileMeta {
+    title?: string;
+    creationDate?: string;
+    designer?: string;
+    author?: string;
+    organization?: string;
+    application?: string;
+    description?: string;
+    /** 自定义 FILE_DESCRIPTION/FILE_NAME 之外的 vendor 属性（metadata 笼）。 */
+    metadata?: Record<string, string>;
+}
+/** STEP 伙伴级 P21 解析出的轻量属性。 */
+export interface StepPartMeta {
+    /** 产品描述（PRODUCT( ..., description, id )）。空串/缺省不设。 */
+    description?: string;
+    /** 自定义属性：`PROPERTY_DEFINITION(...)` + `GENERAL_PROPERTY('name', value, ...)`。 */
+    metadata?: Record<string, string>;
+}
+/**
+ * Header 段整块（FILE_NAME / FILE_DESCRIPTION）→ `StepFileMeta`。
+ *
+ * @param text STEP 全文（ISO-10303-21）。
+ * @returns 解析出的文件级元数据；无 header 时返回空对象。
+ */
+export declare function parseStepHeaderMeta(text: string): StepFileMeta;
+/**
+ * 伙伴层 `PRODUCT` 描述 + 根自定义属性（UDA，`GENERAL_PROPERTY`）解析
+ * （简化：description 只取第一个 `PRODUCT`）。
+ *
+ * @param text STEP 全文（ISO-10303-21）。
+ * @returns 解析出的部分级元数据（`description`/`metadata`）。
+ */
+export declare function parseStepPartMeta(text: string): StepPartMeta;
+//# sourceMappingURL=stepMetaParser.d.ts.map

package/dist/step/stepMetaParser.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"stepMetaParser.d.ts","sourceRoot":"","sources":["../../src/step/stepMetaParser.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;GAmBG;AAEH,0CAA0C;AAC1C,MAAM,WAAW,YAAY;IAC3B,KAAK,CAAC,EAAE,MAAM,CAAA;IACd,YAAY,CAAC,EAAE,MAAM,CAAA;IACrB,QAAQ,CAAC,EAAE,MAAM,CAAA;IACjB,MAAM,CAAC,EAAE,MAAM,CAAA;IACf,YAAY,CAAC,EAAE,MAAM,CAAA;IACrB,WAAW,CAAC,EAAE,MAAM,CAAA;IACpB,WAAW,CAAC,EAAE,MAAM,CAAA;IACpB,gEAAgE;IAChE,QAAQ,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAA;CAClC;AAED,6BAA6B;AAC7B,MAAM,WAAW,YAAY;IAC3B,qDAAqD;IACrD,WAAW,CAAC,EAAE,MAAM,CAAA;IACpB,iFAAiF;IACjF,QAAQ,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAA;CAClC;AA2DD;;;;;GAKG;AACH,wBAAgB,mBAAmB,CAAC,IAAI,EAAE,MAAM,GAAG,YAAY,CA+C9D;AAED;;;;;;GAMG;AACH,wBAAgB,iBAAiB,CAAC,IAAI,EAAE,MAAM,GAAG,YAAY,CAyB5D"}

package/dist/step/stepMetaParser.js

@@ -0,0 +1,177 @@
+/**
+ * STEP 元数据解析器 — 从 STEP (P21) 文本头部与 PRODUCT 层提取
+ * FileMeta（文件级）与 ShapeMeta（零件级描述字/料号）。
+ *
+ * 与 stepColorParser 同一原则：纯文本扫描，不依赖 OCCT 内核（XCAF label 层
+ * 是否暴露 description/属性不确定，见设计文档 2026-10-05-meta §6.3 风险 2）。
+ *
+ * 读取面映射（§3.3）：
+ * - HEADER FILE_NAME(name,time_stamp,author,organization,preprocessor,originator)
+ *   → title / creationDate / author / organization / application / designer。
+ * - HEADER FILE_DESCRIPTION(...) → description（逗号拼接，去首尾引号）。
+ * - DATA PRODUCT(name,description,frame)（第一个、leaf 使用的）→ 零件 description。
+ *   name 已由 OCCT label 提供（不在本解析器处理）。
+ * - PRODUCT → PRODUCT_DEFINITION_FORMATION/WITH_SPECIFIED_SOURCE-关联的料号通道：
+ *   PART_NUMBER_PROPERTY/IDENTIFICATION 命名在 §3.3 表里列出的 PART 层通道（P4
+ *   标 "IDENTIFICATION 内核支持" 待实测），这里尽量从 PRODUCT_DEFINITION 挂的
+ *   UDA（GENERAL_PROPERTY + PROPERTY_DEFINITION）捞自定义属性。
+ *
+ * 所有扫描都容错：找不到就不给对应字段，绝不让解析器抛（信息性收益）。
+ */
+/** 剥离一层引号（STEP 字符串形如 `'abc'`），出双引号化转义；去末尾换行。 */
+function unquote(s) {
+    const t = s.trim();
+    if (t.startsWith("'") && t.endsWith("'"))
+        return t.slice(1, -1);
+    return t;
+}
+/** 任一 `HEADER`/`DATA` 段中的实体文本（多行），从 header 段中取整行。 */
+function headerLines(text) {
+    const m = /HEADER;\n([\s\S]*?)\nENDSEC;/.exec(text);
+    return m ? m[1] : '';
+}
+/** `TYPE(...)` 实体块捕获：从开括号起做括号配平扫描到闭合（容错 LIST/嵌套）。 */
+function entityBlock(text, type) {
+    const re = new RegExp(`${type}\\s*\\(`, 'g');
+    let m;
+    while ((m = re.exec(text)) !== null) {
+        let depth = 0;
+        let inQuote = false;
+        let i = m.index + m[0].length - 1; // 停在开括号
+        for (; i < text.length; i++) {
+            const c = text[i];
+            if (c === "'")
+                inQuote = !inQuote;
+            if (inQuote)
+                continue;
+            if (c === '(')
+                depth++;
+            else if (c === ')') {
+                depth--;
+                if (depth === 0)
+                    return text.slice(m.index, i + 1);
+            }
+        }
+    }
+    return undefined;
+}
+/** 逗号分隔的顶层简单参数（忽略嵌套括号内容仍按逗号简单切——够用即可）。 */
+function splitTopLevel(body) {
+    // 剥离外层括号后，按未被引号包裹的逗号切分（不处理嵌套括号——STEP 伙伴级
+    // FILE_NAME/FILE_DESCRIPTION 参数都是简单标量/字符串，不涉及深层嵌套）。
+    const s = body.slice(body.indexOf('(') + 1, body.lastIndexOf(')'));
+    const parts = [];
+    let cur = '';
+    let inQuote = false;
+    for (let i = 0; i < s.length; i++) {
+        const c = s[i];
+        if (c === "'")
+            inQuote = !inQuote;
+        if (c === ',' && !inQuote) {
+            parts.push(cur);
+            cur = '';
+        }
+        else {
+            cur += c;
+        }
+    }
+    parts.push(cur);
+    return parts.map((p) => p.trim());
+}
+/**
+ * Header 段整块（FILE_NAME / FILE_DESCRIPTION）→ `StepFileMeta`。
+ *
+ * @param text STEP 全文（ISO-10303-21）。
+ * @returns 解析出的文件级元数据；无 header 时返回空对象。
+ */
+export function parseStepHeaderMeta(text) {
+    const meta = {};
+    const header = headerLines(text);
+    if (!header)
+        return meta;
+    const fileBlock = entityBlock(header, 'FILE_NAME');
+    if (fileBlock) {
+        const parts = splitTopLevel(fileBlock);
+        // FILE_NAME(name, time_stamp, author(list), organization(list), preprocessor, originator)
+        // 引号数组形如 `('x')`，去首尾括号后 unquote；author/organization 可能为列表。
+        const inline = (p) => {
+            if (!p)
+                return undefined;
+            const v = unquote(p.replace(/^\(|\)$/g, ''));
+            return v === '' ? undefined : v;
+        };
+        const title = inline(parts[0]);
+        if (title)
+            meta.title = title;
+        const cdate = inline(parts[1]);
+        if (cdate)
+            meta.creationDate = cdate;
+        const author = inline(parts[2] ?? '');
+        if (author)
+            meta.author = author;
+        const org = inline(parts[3] ?? '');
+        if (org)
+            meta.organization = org;
+        // preprocessor → application（编辑器导入后端把 preprocessor 视为 APP）；
+        // originator → designer。
+        const pre = inline(parts[4] ?? '');
+        if (pre)
+            meta.application = pre;
+        const origin = inline(parts[5] ?? '');
+        if (origin)
+            meta.designer = origin;
+    }
+    const descBlock = entityBlock(header, 'FILE_DESCRIPTION');
+    if (descBlock) {
+        // FILE_DESCRIPTION(description_list, implementation_context)：描述只取第一个
+        // 顶层参数（描述串列表，`('a','b')` 形态含内层逗号）；实现上下文不算。
+        // 直接取 `FILE_DESCRIPTION((…),` 里第一层括号内的引号字符串列表。
+        const m = /FILE_DESCRIPTION\s*\(\s*\((.*?)\)\s*,\s*/.exec(descBlock);
+        if (m) {
+            const joined = m[1]
+                .split(',')
+                .map((p) => unquote(p.trim()))
+                .filter((v) => v !== '');
+            if (joined.length > 0)
+                meta.description = joined.join(', ');
+        }
+    }
+    return meta;
+}
+/**
+ * 伙伴层 `PRODUCT` 描述 + 根自定义属性（UDA，`GENERAL_PROPERTY`）解析
+ * （简化：description 只取第一个 `PRODUCT`）。
+ *
+ * @param text STEP 全文（ISO-10303-21）。
+ * @returns 解析出的部分级元数据（`description`/`metadata`）。
+ */
+export function parseStepPartMeta(text) {
+    const out = {};
+    // 逐 PRODUCT 取 description（第 2 个参数）。
+    const dataRe = /PRODUCT\s*\(/g;
+    let m;
+    while ((m = dataRe.exec(text)) !== null) {
+        const close = text.indexOf(')', m.index);
+        if (close < 0)
+            break;
+        const inner = text.slice(m.index, close + 1);
+        const descM = /,\s*'([^']*)'/.exec(inner);
+        if (descM) {
+            const d = descM[1];
+            if (d !== '')
+                out.description = d;
+            break; // 只取第一个
+        }
+    }
+    // 属性笼（UDA：GENERAL_PROPERTY('name', value?) 挂在 PROPERTY_DEFINITION 上）。
+    const props = {};
+    const gpRe = /GENERAL_PROPERTY\s*\(\s*'([^']*)'\s*,\s*([^,)]+)/g;
+    let gm;
+    while ((gm = gpRe.exec(text)) !== null) {
+        props[gm[1]] = unquote(gm[2]);
+    }
+    if (Object.keys(props).length > 0)
+        out.metadata = props;
+    return out;
+}
+//# sourceMappingURL=stepMetaParser.js.map