@faicad/faijs 0.22.2 → 0.29.3

package/dist/api/topo-resolve.js

@@ -3,7 +3,7 @@
  *
  * 与 core/topology/naming 的分工：
  * - naming（core）负责纯解析：给 ReactsContext + FaceTopoRef → ordinal/handle；
- * - 本模块（stdlib）是「活 Shape → React块(ResolutionContext)」的引擎胶水：
+ * - 本模块（api 层）是「活 Shape → React块(ResolutionContext)」的引擎胶水：
  *   从 Shape 身份槽读出运行期数据（BREP 活句柄 + RoleTable，或 setTopology 注入的
  *   面 hint 快照），并把解析结果还原成求解需要的几何（center/normal/surfaceType）。
  *
@@ -15,7 +15,7 @@
 import { getSlot } from '../shape.js';
 import { nameOf } from '../runtime-state.js';
 import { HASH_UPPER_BOUND } from '../brep/face-evolution.js';
-import { runtimeLineage } from '../topology/naming/lineage.js';
+import { runtimeLineage, isHashEvolution } from '../topology/naming/lineage.js';
 import { resolveViaLineage } from '../topology/naming/lineage-resolve.js';
 import { asStmtId } from '../identity.js';
 import { resolveTopoRef, captureFaceHint, captureEdgeHint, faceRowToHint, TopoRefError, } from '../topology/naming/index.js';
@@ -58,6 +58,122 @@ function recomputeViaLineage(ref, shape, kernel) {
         return undefined;
     return result.hashes;
 }
+/**
+ * 边路径「无血统邻面」恢复（1.10 前置③ 推广到边路径）。
+ *
+ * `edgeRef` 正查 `findOriginRole(table, ordinalToHash, fo)`（面 hash → `(origin, role)`）
+ * 失败，通常因为**目标 part** 的 roleTable 缓存**残缺**（丢了该面的条目），而**根节点**
+ * （名字的诞生处）的表是完整的：该面的 `(origin, role)` 真实存在，只是没被缓存到目标 part
+ * 的表副本里（drift / 中间 op 原样带走旧 hash 表）。
+ *
+ * 与面路径 `recomputeViaLineage` 同构、方向相反——已知面 hash、不知道它属于哪个
+ * `(origin, role)`。恢复策略：遍历血缘图所有候选 `(origin, role)`，沿 DAG 从根走到目标
+ * part，把根序（该 role 的 hash 集）推进到目标序、换算成目标 hash 集，取**含该面当前 hash**
+ * 者，即该面的真实身份。
+ *
+ * 推进规则（自带，不依赖 `resolveViaLineage` 的严格契约）：
+ * - 中间节点有 ordinal 演化（Map）→ 照用；
+ * - 中间节点是 identity 类（copy/place/transform）但**未挂演化**（既有缺口，见
+ *   `place.ts` 经 compat 路径未 `attachEvolution`）→ 按 1:1 推进（语义正确：identity 不改
+ *   面序）；
+ * - 其余无演化 → 放弃该候选（不乱猜）。
+ *
+ * 命中即回填 `{origin, role}` 让 `resolveEdgeTopo` 继续（exact 或几何兜底）；未命中返回
+ * undefined，调用方保持原 `no role lineage` 报错——零回归。仅跑在 `findOriginRole` 失败
+ * 之后（错误路径），不进热路径。
+ *
+ * @param kernel - the OCCT kernel (hash 换算需要).
+ * @param part - the live part whose adjacent face we are recovering.
+ * @param faceOrdinal - the 1-based face ordinal whose role is missing.
+ * @param ordinalToHash - the part's current face ordinal → hash array.
+ * @returns the recovered `{origin, role}`, or undefined when no lineage walk matches.
+ */
+export function recoverEdgeFaceRole(kernel, part, faceOrdinal, ordinalToHash) {
+    const targetHash = ordinalToHash[faceOrdinal - 1];
+    if (targetHash === undefined)
+        return undefined;
+    // 候选 (origin, role)：血缘图所有节点的输出表（根节点诞生名字处）
+    const candidates = [];
+    for (const stmt of runtimeLineage.stmtIds()) {
+        const tbl = runtimeLineage.outputTableOf(stmt);
+        if (!tbl)
+            continue;
+        for (const [origin, roles] of tbl) {
+            for (const roleLine of roles.keys())
+                candidates.push({ origin, role: roleLine });
+        }
+    }
+    for (const c of candidates) {
+        const hashes = lineageHashesAt(kernel, c.origin, c.role, part);
+        if (hashes && hashes.includes(targetHash))
+            return { origin: asStmtId(c.origin), role: c.role };
+    }
+    return undefined;
+}
+/**
+ * 沿血缘从 `(origin, role)` 的根走到 `targetPart`，把根序推进到目标序、换算成目标 hash 集。
+ *
+ * @returns the target part's face hashes for this role, or undefined when the
+ *   chain cannot be walked (unreachable / non-identity node without evolution).
+ */
+function lineageHashesAt(kernel, origin, roleLine, targetPart) {
+    const root = runtimeLineage.node(asStmtId(origin));
+    if (!root)
+        return undefined;
+    const rootPart = root.outputs[0];
+    if (!rootPart)
+        return undefined;
+    const rootHandle = runtimeLineage.outputHandleOf(asStmtId(origin));
+    const rootTable = runtimeLineage.outputTableOf(asStmtId(origin));
+    if (rootHandle === undefined || !rootTable)
+        return undefined;
+    const rootHashes = rootTable.get(origin)?.get(roleLine);
+    if (rootHashes === undefined || rootHashes.length === 0)
+        return undefined;
+    const rootAll = Array.from(kernel.subShapeHashes(rootHandle, 'face', HASH_UPPER_BOUND));
+    let ordinals = [];
+    for (const h of rootHashes) {
+        const idx = rootAll.indexOf(h);
+        if (idx >= 0)
+            ordinals.push(idx + 1); // ordinal 1 起
+    }
+    if (ordinals.length === 0)
+        return undefined;
+    // 逐节点推进：root → targetPart（带访问守卫，防异常 DAG 环路挂死执行）
+    const seen = new Set();
+    let currentPart = rootPart;
+    while (currentPart !== targetPart) {
+        if (seen.has(currentPart))
+            return undefined;
+        seen.add(currentPart);
+        const consumer = runtimeLineage.nodeConsuming(currentPart);
+        if (!consumer)
+            return undefined;
+        const evo = consumer.evolution;
+        if (evo && !isHashEvolution(evo)) {
+            ordinals = ordinals.flatMap((o) => evo.get(o) ?? [o]);
+        }
+        else if (consumer.provenance.kind === 'identity') {
+            // identity 类未挂演化 → 1:1 推进（语义正确）
+        }
+        else {
+            return undefined;
+        }
+        const carry = consumer.outputs.includes(targetPart) ? targetPart : consumer.outputs[0];
+        currentPart = carry;
+    }
+    const targetHandle = runtimeLineage.outputHandleOf(runtimeLineage.stmtOf(targetPart) ?? asStmtId(''));
+    if (targetHandle === undefined)
+        return undefined;
+    const targetAll = Array.from(kernel.subShapeHashes(targetHandle, 'face', HASH_UPPER_BOUND));
+    const hashes = [];
+    for (const o of ordinals) {
+        const h = targetAll[o - 1];
+        if (h !== undefined)
+            hashes.push(h);
+    }
+    return hashes.length > 0 ? hashes : undefined;
+}
 /**
  * 从活 Shape 的组装槽构建 ResolutionContext（BREAK 或 mesh/primitive 两条路）。
  *
@@ -150,6 +266,68 @@ export function buildEdgeResolutionContext(kernel, shape) {
     });
     return { kernel, faces, edges, roleTable, faceEdgeAdjacency, edgeFaceAdjacency };
 }
+/**
+ * 为**网格实体**构建带边候选的 ResolutionContext（近似拓扑的边解析入口）。
+ *
+ * 与 `buildEdgeResolutionContext` 的差别只有两点，两点都是"网格零件没有 role 层"
+ * 的直接后果：
+ * 1. 句柄来自 `slot.meshSolid`（网格实体句柄）而不是 `slot.solid`（BREP 句柄）；
+ * 2. **刻意不给 `faceEdgeAdjacency` / `edgeFaceAdjacency`**。
+ *
+ * 第 2 点是有意的，不是省事：邻接表存在的意义是"两面之交 = 一条边"，
+ * 而 `EdgeTopoRef.faces` 是两个 **RoleQualifier**——网格零件没有 role
+ * （Phase 1.8：primitive/mesh 行 origin/role 显式为 null），限定符只是占位。
+ * 带上邻接表反而会让 `resolveEdgeTopo` 走进"按角色取公共边"的分支并必然 not-found；
+ * 不带它，解析就走「无 role 层 → 整个边表的纯几何匹配」（resolve-edge.ts 明写）。
+ * 边身份只能几何，这是如实的能力边界。
+ *
+ * @param kernel - the mesh backend's L1 kernel (live edge handles come from it).
+ * @param shape - the live mesh-solid shape whose naming slot is read.
+ * @returns the edge-enabled resolution context, or undefined when the shape is not a mesh solid.
+ */
+export function buildMeshEdgeResolutionContext(kernel, shape) {
+    if (!shape)
+        return undefined;
+    const slot = getSlot(shape);
+    const solid = slot?.meshSolid;
+    if (!solid)
+        return undefined;
+    const faceHandles = kernel.getSubShapes(solid, 'face');
+    const faces = faceHandles.map((handle, i) => ({ ordinal: i + 1, handle }));
+    const edges = kernel.getSubShapes(solid, 'edge').map((handle, i) => ({
+        ordinal: i + 1,
+        handle,
+        hint: captureEdgeHint(kernel, handle),
+    }));
+    return { kernel, faces, edges };
+}
+/**
+ * 为**网格实体**构建面解析上下文（`sketchOnFace` 的网格链入口）。
+ *
+ * 面候选直接来自 `slot.meshSolid` 的 `getSubShapes(solid,'face')` 现场句柄——
+ * 与 `buildMeshEdgeResolutionContext` 的面表同源（同一枚举序）。**刻意不给
+ * `roleTable` / 邻接**：网格零件没有 role 层（Phase 1.8），带上 roleTable 只会让
+ * `resolveFaceTopo` 走进 exact 分支并必然落空；不带它，解析就走「全形状按 hint
+ * 几何打分」（resolve-face.ts 步骤 2），命中即 `geometric-fallback`。
+ *
+ * 也因此，网格链上的面只能用**几何**识别（法向 / 中心 / 面积）——这是如实的能力
+ * 边界，不是省事：同尺寸的两个平行面（如立方体的顶面与底面）在几何上无法区分，
+ * 调用方应改用序号。
+ *
+ * @param kernel - the mesh backend's L1 kernel (live face handles come from it).
+ * @param shape - the live mesh-solid shape whose naming slot is read.
+ * @returns the face resolution context, or undefined when the shape is not a mesh solid.
+ */
+export function buildMeshFaceResolutionContext(kernel, shape) {
+    if (!shape)
+        return undefined;
+    const slot = getSlot(shape);
+    const solid = slot?.meshSolid;
+    if (!solid)
+        return undefined;
+    const faces = kernel.getSubShapes(solid, 'face').map((handle, i) => ({ ordinal: i + 1, handle }));
+    return { kernel, faces };
+}
 /**
  * 从 BREP 现场句柄建带边候选/邻接的 ResolutionContext（twoDistances 逐边重建用）。
  *

package/dist/api/topo-resolve.js.map

@@ -1 +1 @@
-{"version":3,"file":"topo-resolve.js","sourceRoot":"","sources":["../../src/api/topo-resolve.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;GAaG;AAGH,OAAO,EAAE,OAAO,EAAE,MAAM,UAAU,CAAA;AAClC,OAAO,EAAE,MAAM,EAAE,MAAM,kBAAkB,CAAA;AAGzC,OAAO,EAAE,gBAAgB,EAAE,MAAM,wBAAwB,CAAA;AACzD,OAAO,EAAE,cAAc,EAAE,MAAM,4BAA4B,CAAA;AAC3D,OAAO,EAAE,iBAAiB,EAAE,MAAM,oCAAoC,CAAA;AACtE,OAAO,EAAE,QAAQ,EAAE,MAAM,aAAa,CAAA;AACtC,OAAO,EACL,cAAc,EACd,eAAe,EACf,eAAe,EACf,aAAa,EACb,YAAY,GAOb,MAAM,oBAAoB,CAAA;AAW3B;;;;;;;;;;;;GAYG;AACH,SAAS,mBAAmB,CAC1B,GAAgB,EAChB,KAAa,EACb,MAA4B;IAE5B,IAAI,CAAC,MAAM;QAAE,OAAO,SAAS,CAAA;IAC7B,MAAM,IAAI,GAAG,MAAM,CAAC,KAAK,CAAC,CAAA;IAC1B,IAAI,CAAC,IAAI;QAAE,OAAO,SAAS,CAAA;IAC3B,MAAM,MAAM,GAAG,iBAAiB,CAAC,cAAc,EAAE,QAAQ,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,GAAG,CAAC,IAAI,EAAE,IAAI,EAAE;QACrF,oCAAoC;QACpC,wCAAwC;QACxC,MAAM,EAAE,CAAC,CAAC,EAAE,EAAE;YACZ,MAAM,IAAI,GAAG,cAAc,CAAC,MAAM,CAAC,CAAC,CAAC,CAAA;YACrC,MAAM,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC,cAAc,CAAC,cAAc,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,SAAS,CAAA;YAChE,IAAI,CAAC,KAAK,SAAS;gBAAE,OAAO,CAAC,CAAA;YAC7B,OAAO,SAAS,CAAA;QAClB,CAAC;QACD,UAAU,EAAE,CAAC,MAAM,EAAE,EAAE,CACrB,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,cAAc,CAAC,MAAoB,EAAE,MAAM,EAAE,gBAAgB,CAAC,CAAC;QACnF,WAAW,EAAE,CAAC,CAAC,EAAE,EAAE;YACjB,MAAM,IAAI,GAAG,cAAc,CAAC,MAAM,CAAC,CAAC,CAAC,CAAA;YACrC,OAAO,IAAI,CAAC,CAAC,CAAC,cAAc,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,SAAS,CAAA;QAC9D,CAAC;KACF,CAAC,CAAA;IACF,IAAI,CAAC,CAAC,QAAQ,IAAI,MAAM,CAAC;QAAE,OAAO,SAAS,CAAA;IAC3C,OAAO,MAAM,CAAC,MAAM,CAAA;AACtB,CAAC;AAED;;;;;;;;;;;GAWG;AACH,MAAM,UAAU,2BAA2B,CACzC,MAA4B,EAC5B,KAAyB;IAEzB,IAAI,CAAC,KAAK;QAAE,OAAO,SAAS,CAAA;IAC5B,MAAM,IAAI,GAAG,OAAO,CAAC,KAAK,CAAC,CAAA;IAC3B,IAAI,CAAC,IAAI;QAAE,OAAO,SAAS,CAAA;IAC3B,qDAAqD;IACrD,MAAM,IAAI,GAAG,MAAM,CAAC,KAAK,CAAC,CAAA;IAC1B,MAAM,SAAS,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,cAAc,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,SAAS,CAA0B,CAAA;IAEhG,MAAM,KAAK,GAAG,IAAI,CAAC,KAA+B,CAAA;IAClD,IAAI,MAAM,IAAI,KAAK,EAAE,CAAC;QACpB,MAAM,OAAO,GAAG,MAAM,CAAC,YAAY,CAAC,KAAK,EAAE,MAAM,CAAC,CAAA;QAClD,MAAM,MAAM,GAAG,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,cAAc,CAAC,KAAK,EAAE,MAAM,EAAE,gBAAgB,CAAC,CAAC,CAAA;QACjF,MAAM,KAAK,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,OAAO,EAAE,CAAC,GAAG,CAAC,EAAE,IAAI,EAAE,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,CAAC,CAAC,CAAA;QAC5F,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,SAAS,EAAE,CAAA;IACrC,CAAC;IAED,MAAM,KAAK,GAAG,IAAI,CAAC,SAAmC,CAAA;IACtD,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC7C,MAAM,KAAK,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,OAAO,EAAE,CAAC,GAAG,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC,CAAA;QAC9D,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,KAAK,EAAE,SAAS,EAAE,CAAA;IAC3C,CAAC;IACD,OAAO,SAAS,CAAA;AAClB,CAAC;AAED;;;;;;;;;;;;;;;GAeG;AACH,MAAM,UAAU,0BAA0B,CACxC,MAAqB,EACrB,KAAyB;IAEzB,IAAI,CAAC,KAAK;QAAE,OAAO,SAAS,CAAA;IAC5B,MAAM,IAAI,GAAG,OAAO,CAAC,KAAK,CAAC,CAAA;IAC3B,IAAI,CAAC,IAAI;QAAE,OAAO,SAAS,CAAA;IAC3B,qDAAqD;IACrD,MAAM,QAAQ,GAAG,MAAM,CAAC,KAAK,CAAC,CAAA;IAC9B,MAAM,SAAS,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,cAAc,CAAC,WAAW,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,SAAS,CAA0B,CAAA;IACxG,MAAM,KAAK,GAAG,IAAI,CAAC,KAA+B,CAAA;IAClD,IAAI,CAAC,KAAK;QAAE,OAAO,SAAS,CAAA;IAE5B,MAAM,WAAW,GAAG,MAAM,CAAC,YAAY,CAAC,KAAK,EAAE,MAAM,CAAC,CAAA;IACtD,MAAM,UAAU,GAAG,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,cAAc,CAAC,KAAK,EAAE,MAAM,EAAE,gBAAgB,CAAC,CAAC,CAAA;IACrF,MAAM,KAAK,GAAG,WAAW,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,OAAO,EAAE,CAAC,GAAG,CAAC,EAAE,IAAI,EAAE,UAAU,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,CAAC,CAAC,CAAA;IAEpG,MAAM,WAAW,GAAG,MAAM,CAAC,YAAY,CAAC,KAAK,EAAE,MAAM,CAAC,CAAA;IACtD,MAAM,KAAK,GAAyB,WAAW,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC;QAClE,OAAO,EAAE,CAAC,GAAG,CAAC;QACd,MAAM;QACN,IAAI,EAAE,eAAe,CAAC,MAAM,EAAE,MAAM,CAAC;KACtC,CAAC,CAAC,CAAA;IACH,MAAM,SAAS,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAoD,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,SAAS,CAAC,CAAA;IAE/G,iEAAiE;IACjE,MAAM,cAAc,GAAG,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,OAAO,EAAE,EAAE,GAAG,CAAC,EAAE,CAAC,CAAC,CAAA;IAEnF,MAAM,iBAAiB,GAAG,cAAc,CAAC,GAAG,CAAC,CAAC,EAAE,MAAM,EAAE,EAAE,EAAE;QAC1D,MAAM,GAAG,GAAG,MAAM,CAAC,YAAY,CAAC,MAAM,EAAE,MAAM,CAAC,CAAA;QAC/C,OAAO,GAAG;aACP,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,EAAE,OAAO,CAAC;aACxE,MAAM,CAAC,CAAC,CAAC,EAAe,EAAE,CAAC,CAAC,KAAK,SAAS,CAAC,CAAA;IAChD,CAAC,CAAC,CAAA;IACF,MAAM,iBAAiB,GAAG,SAAS,CAAC,GAAG,CAAC,CAAC,EAAE,MAAM,EAAE,EAAE,EAAE;QACrD,MAAM,GAAG,GAAa,EAAE,CAAA;QACxB,KAAK,MAAM,CAAC,IAAI,cAAc,EAAE,CAAC;YAC/B,IAAI,MAAM,CAAC,YAAY,CAAC,CAAC,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,EAAE,MAAM,CAAC,CAAC,EAAE,CAAC;gBAClF,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC,CAAA;YACrB,CAAC;QACH,CAAC;QACD,OAAO,GAAG,CAAA;IACZ,CAAC,CAAC,CAAA;IAEF,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,KAAK,EAAE,SAAS,EAAE,iBAAiB,EAAE,iBAAiB,EAAE,CAAA;AAClF,CAAC;AAED;;;;;;;;;;;GAWG;AACH,MAAM,UAAU,yBAAyB,CACvC,MAAqB,EACrB,KAAiB,EACjB,SAAqB;IAErB,MAAM,WAAW,GAAG,MAAM,CAAC,YAAY,CAAC,KAAK,EAAE,MAAM,CAAC,CAAA;IACtD,MAAM,KAAK,GAAG,WAAW,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,OAAO,EAAE,CAAC,GAAG,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,MAAM,EAAE,CAAC,CAAC,CAAA;IAC3F,MAAM,WAAW,GAAG,MAAM,CAAC,YAAY,CAAC,KAAK,EAAE,MAAM,CAAC,CAAA;IACtD,MAAM,KAAK,GAAyB,WAAW,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC;QAClE,OAAO,EAAE,CAAC,GAAG,CAAC;QACd,MAAM;QACN,IAAI,EAAE,eAAe,CAAC,MAAM,EAAE,MAAM,CAAC;KACtC,CAAC,CAAC,CAAA;IACH,MAAM,SAAS,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAoD,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,SAAS,CAAC,CAAA;IAC/G,MAAM,cAAc,GAAG,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,OAAO,EAAE,EAAE,GAAG,CAAC,EAAE,CAAC,CAAC,CAAA;IACnF,MAAM,iBAAiB,GAAG,cAAc,CAAC,GAAG,CAAC,CAAC,EAAE,MAAM,EAAE,EAAE,EAAE;QAC1D,MAAM,GAAG,GAAG,MAAM,CAAC,YAAY,CAAC,MAAM,EAAE,MAAM,CAAC,CAAA;QAC/C,OAAO,GAAG;aACP,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,EAAE,OAAO,CAAC;aACxE,MAAM,CAAC,CAAC,CAAC,EAAe,EAAE,CAAC,CAAC,KAAK,SAAS,CAAC,CAAA;IAChD,CAAC,CAAC,CAAA;IACF,MAAM,iBAAiB,GAAG,SAAS,CAAC,GAAG,CAAC,CAAC,EAAE,MAAM,EAAE,EAAE,EAAE;QACrD,MAAM,GAAG,GAAa,EAAE,CAAA;QACxB,KAAK,MAAM,CAAC,IAAI,cAAc,EAAE,CAAC;YAC/B,IAAI,MAAM,CAAC,YAAY,CAAC,CAAC,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,EAAE,MAAM,CAAC,CAAC;gBAAE,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC,CAAA;QACxG,CAAC;QACD,OAAO,GAAG,CAAA;IACZ,CAAC,CAAC,CAAA;IACF,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,KAAK,EAAE,SAAS,EAAE,iBAAiB,EAAE,iBAAiB,EAAE,CAAA;AAClF,CAAC;AAED;;;;;;;;;;GAUG;AACH,MAAM,UAAU,mBAAmB,CACjC,MAA4B,EAC5B,KAAY,EACZ,GAAgB;IAEhB,uDAAuD;IACvD,2CAA2C;IAC3C,IAAI,GAAG,GAAG,2BAA2B,CAAC,MAAM,EAAE,KAAK,CAAC,CAAA;IACpD,IAAI,CAAC,GAAG,EAAE,CAAC;QACT,MAAM,IAAI,YAAY,CACpB,kBAAkB,EAClB,MAAM,EACN,4CAA4C,GAAG,CAAC,MAAM,UAAU,GAAG,CAAC,IAAI,GAAG,CAC5E,CAAA;IACH,CAAC;IACD,uDAAuD;IACvD,2CAA2C;IAC3C,IAAI,GAAG,CAAC,SAAS,IAAI,MAAM,EAAE,CAAC;QAC5B,MAAM,MAAM,GAAG,GAAG,CAAC,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,CAAA;QAC3D,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;YACzB,MAAM,UAAU,GAAG,mBAAmB,CAAC,GAAG,EAAE,KAAK,EAAE,MAAM,CAAC,CAAA;YAC1D,IAAI,UAAU,EAAE,CAAC;gBACf,MAAM,MAAM,GAAG,IAAI,GAAG,CAAC,GAAG,CAAC,SAAwE,CAAC,CAAA;gBACpG,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,MAAM,EAAE,IAAI,GAAG,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,IAAI,GAAG,EAAE,CAAC,EAAE,CAAC,GAAG,CAAC,IAAI,EAAE,UAAU,CAAC,CAAC,CAAC,CAAC,CAAA;gBAC1G,GAAG,GAAG,EAAE,GAAG,GAAG,EAAE,SAAS,EAAE,MAAyC,EAAE,CAAA;YACxE,CAAC;QACH,CAAC;IACH,CAAC;IACD,MAAM,MAAM,GAAG,cAAc,CAAC,GAAG,EAAE,GAAG,CAAC,CAAA;IACvC,MAAM,KAAK,GAAG,GAAG,CAAC,KAAK,CAAC,MAAM,CAAC,OAAO,GAAG,CAAC,CAAC,CAAA;IAC3C,IAAI,CAAC,KAAK,EAAE,CAAC;QACX,MAAM,IAAI,YAAY,CACpB,kBAAkB,EAClB,MAAM,EACN,oBAAoB,MAAM,CAAC,OAAO,wCAAwC,GAAG,CAAC,MAAM,UAAU,GAAG,CAAC,IAAI,GAAG,CAC1G,CAAA;IACH,CAAC;IACD,mCAAmC;IACnC,IAAI,KAAK,CAAC,MAAM,IAAI,GAAG,CAAC,MAAM,EAAE,CAAC;QAC/B,MAAM,IAAI,GAAG,eAAe,CAAC,GAAG,CAAC,MAAM,EAAE,KAAK,CAAC,MAAM,CAAC,CAAA;QACtD,OAAO;YACL,WAAW,EAAE,IAAI,CAAC,WAAW;YAC7B,MAAM,EAAE,IAAI,CAAC,MAAM,IAAI,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;YAChC,MAAM,EAAE,IAAI,CAAC,MAAM,IAAI,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;YAChC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;SAC1C,CAAA;IACH,CAAC;IACD,4CAA4C;IAC5C,MAAM,GAAG,GAAG,KAAK,CAAC,GAAG,CAAA;IACrB,MAAM,IAAI,GAAG,GAAG,CAAC,CAAC,CAAC,aAAa,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,SAAS,CAAA;IACjD,OAAO;QACL,WAAW,EAAE,IAAI,EAAE,WAAW;QAC9B,MAAM,EAAE,IAAI,EAAE,MAAM,IAAI,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;QACjC,MAAM,EAAE,IAAI,EAAE,MAAM,IAAI,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;QACjC,GAAG,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;KAC3C,CAAA;AACH,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,aAAa,CAAC,CAAU;IACtC,OAAO,CAAC,CAAC,CAAC,IAAI,OAAO,CAAC,KAAK,QAAQ,IAAK,CAAwB,CAAC,IAAI,KAAK,MAAM,CAAA;AAClF,CAAC","sourcesContent":["/**\n * topo-resolve — 运行期 TopoRef 解析（装配/钻孔等面引用 op 共享，§6.2）\n *\n * 与 core/topology/naming 的分工：\n * - naming（core）负责纯解析：给 ReactsContext + FaceTopoRef → ordinal/handle；\n * - 本模块（stdlib）是「活 Shape → React块(ResolutionContext)」的引擎胶水：\n *   从 Shape 身份槽读出运行期数据（BREP 活句柄 + RoleTable，或 setTopology 注入的\n *   面 hint 快照），并把解析结果还原成求解需要的几何（center/normal/surfaceType）。\n *\n * 这样 drill（面 → 法向）与 compound/assembly（约束固定/移动面 → 几何）共用同一\n * 条「TopoRef 执行期派生」通道，且不动 core 的纯 naming 层职责。\n *\n * 任何一步定不了案 → 抛 TopoRefError（三态错误码），绝不静默拿序号硬取。\n */\n\nimport type { Shape } from '../mesh/types'\nimport { getSlot } from '../shape'\nimport { nameOf } from '../runtime-state'\nimport type { BrepEngineApi } from '../brep/engine/primitives'\nimport type { BrepHandle } from '../brep/engine/types'\nimport { HASH_UPPER_BOUND } from '../brep/face-evolution'\nimport { runtimeLineage } from '../topology/naming/lineage'\nimport { resolveViaLineage } from '../topology/naming/lineage-resolve'\nimport { asStmtId } from '../identity'\nimport {\n  resolveTopoRef,\n  captureFaceHint,\n  captureEdgeHint,\n  faceRowToHint,\n  TopoRefError,\n  type FaceTopoRef,\n  type ResolutionContext,\n  type FaceHint,\n  type AxisHint,\n  type EdgeCandidateEntry,\n  type RoleTable,\n} from '../topology/naming'\n\n/** 求解面需要的当前几何（执行期派生）：与旧契约 fixedFace/movingFace 的 surfaceType/center/normal 同形。 */\nexport interface ResolvedFaceGeometry {\n  surfaceType?: string\n  center: [number, number, number]\n  normal: [number, number, number]\n  /** 圆柱/回转面的轴（装配轴约束用；平面/球面缺省，mesh 行快照由宿主注入）。 */\n  axis?: AxisHint\n}\n\n/**\n * roleTable miss 时沿血缘回走重算（1.10 前置③：缓存降级）。\n *\n * 「产物上的 roleTable 不再是身份的唯一来源」的落点：精确解析读不到\n * `roleTable[origin][role]` 时，按血缘 DAG 从 origin 语句回走推进到当前 part，\n * 产出该 role 的 hash 集合并**回填缓存**——miss 可恢复，不再是无名错误。\n * 回走失败（链断 / 无演化）返回 undefined，调用方落到几何兜底（既有三态语义不变）。\n *\n * @param ref - the face TopoRef being resolved.\n * @param shape - the live part shape being resolved against.\n * @param kernel - the OCCT kernel (hash 换算需要；null 时回走不可用).\n * @returns the recomputed hash list, or undefined when lineage re-walk cannot produce one.\n */\nfunction recomputeViaLineage(\n  ref: FaceTopoRef,\n  shape: object,\n  kernel: BrepEngineApi | null,\n): readonly number[] | undefined {\n  if (!kernel) return undefined\n  const part = nameOf(shape)\n  if (!part) return undefined\n  const result = resolveViaLineage(runtimeLineage, asStmtId(ref.origin), ref.role, part, {\n    // 回走链上的中间产物句柄：优先血缘图旁挂（本仓 op 执行时记录），\n    // 兜底读 runtime 全局 nameOf 反查（slot.solid）。\n    brepOf: (p) => {\n      const stmt = runtimeLineage.stmtOf(p)\n      const h = stmt ? runtimeLineage.outputHandleOf(stmt) : undefined\n      if (h !== undefined) return h\n      return undefined\n    },\n    faceHashes: (handle) =>\n      Array.from(kernel.subShapeHashes(handle as BrepHandle, 'face', HASH_UPPER_BOUND)),\n    roleTableOf: (p) => {\n      const stmt = runtimeLineage.stmtOf(p)\n      return stmt ? runtimeLineage.outputTableOf(stmt) : undefined\n    },\n  })\n  if (!('hashes' in result)) return undefined\n  return result.hashes\n}\n\n/**\n * 从活 Shape 的组装槽构建 ResolutionContext（BREAK 或 mesh/primitive 两条路）。\n *\n * - BREAK：`slot.solid` + `slot.roleTable` → 内核现场句柄 + hash（exact 路径）；\n * - mesh/primitive：`slot.faceHints`（setTopology 注入时提炼写入）→ 行快照（geometric 路径）。\n *\n * 无命名槽 → undefined（调用方按 not-found 抛错）。\n *\n * @param kernel - the OCCT kernel (null on the mesh/primitive path).\n * @param shape - the live input shape whose naming slot is read.\n * @returns the resolution context (live BREP or hint rows), or undefined when the shape has no naming slot.\n */\nexport function buildShapeResolutionContext(\n  kernel: BrepEngineApi | null,\n  shape: object | undefined,\n): ResolutionContext | undefined {\n  if (!shape) return undefined\n  const slot = getSlot(shape)\n  if (!slot) return undefined\n  // 1.10 前置③：roleTable 权威落点在血缘图旁挂（part 键），slot 缓存字段已删。\n  const part = nameOf(shape)\n  const roleTable = (part ? runtimeLineage.tableOfPart(part) : undefined) as RoleTable | undefined\n\n  const solid = slot.solid as BrepHandle | undefined\n  if (kernel && solid) {\n    const handles = kernel.getSubShapes(solid, 'face')\n    const hashes = Array.from(kernel.subShapeHashes(solid, 'face', HASH_UPPER_BOUND))\n    const faces = handles.map((handle, i) => ({ ordinal: i + 1, hash: hashes[i] ?? 0, handle }))\n    return { kernel, faces, roleTable }\n  }\n\n  const hints = slot.faceHints as FaceHint[] | undefined\n  if (Array.isArray(hints) && hints.length > 0) {\n    const faces = hints.map((row, i) => ({ ordinal: i + 1, row }))\n    return { kernel: null, faces, roleTable }\n  }\n  return undefined\n}\n\n/**\n * 为 BREP 现场构建带边候选与邻接表的 ResolutionContext（edge TopoRef 解析用）。\n *\n * 与 `buildBrepResolutionContext` 的面候选同源（同一枚举序），并补充：\n * - `edges`：边候选表（ordinal 1 起，含活句柄 + length/midpoint hint）；\n * - `faceEdgeAdjacency` / `edgeFaceAdjacency`：邻接表（edge lineage 解析用，M3）。\n *\n * 只支持 BREP 现场（edge lineage 需要 face→edge 邻接）；mesh/primitive 路径\n * 没有邻接能力（build-mesh-topology.ts:262，§5.3）→ 返回 undefined，调用方\n * 按 E_TOPO_NOT_FOUND 处理。\n *\n * @param kernel - the OCCT kernel.\n * @param shape - the live input shape whose naming slot is read.\n * @returns the edge-enabled resolution context, or undefined when the shape has\n *   no BREP naming slot.\n */\nexport function buildEdgeResolutionContext(\n  kernel: BrepEngineApi,\n  shape: object | undefined,\n): ResolutionContext | undefined {\n  if (!shape) return undefined\n  const slot = getSlot(shape)\n  if (!slot) return undefined\n  // 1.10 前置③：roleTable 权威落点在血缘图旁挂（part 键），slot 缓存字段已删。\n  const edgePart = nameOf(shape)\n  const roleTable = (edgePart ? runtimeLineage.tableOfPart(edgePart) : undefined) as RoleTable | undefined\n  const solid = slot.solid as BrepHandle | undefined\n  if (!solid) return undefined\n\n  const faceHandles = kernel.getSubShapes(solid, 'face')\n  const faceHashes = Array.from(kernel.subShapeHashes(solid, 'face', HASH_UPPER_BOUND))\n  const faces = faceHandles.map((handle, i) => ({ ordinal: i + 1, hash: faceHashes[i] ?? 0, handle }))\n\n  const edgeHandles = kernel.getSubShapes(solid, 'edge')\n  const edges: EdgeCandidateEntry[] = edgeHandles.map((handle, i) => ({\n    ordinal: i + 1,\n    handle,\n    hint: captureEdgeHint(kernel, handle),\n  }))\n  const liveEdges = edges.filter((e): e is EdgeCandidateEntry & { handle: BrepHandle } => e.handle !== undefined)\n\n  // face → 邻接 edges（ordinal 1 起）。mesh 无 face→edge 邻接，这里 BREP 现场直取。\n  const faceHandlesArr = faceHandles.map((h, hi) => ({ handle: h, ordinal: hi + 1 }))\n\n  const faceEdgeAdjacency = faceHandlesArr.map(({ handle }) => {\n    const sub = kernel.getSubShapes(handle, 'edge')\n    return sub\n      .map((eh) => liveEdges.find((e) => kernel.isSame(eh, e.handle))?.ordinal)\n      .filter((v): v is number => v !== undefined)\n  })\n  const edgeFaceAdjacency = liveEdges.map(({ handle }) => {\n    const adj: number[] = []\n    for (const f of faceHandlesArr) {\n      if (kernel.getSubShapes(f.handle, 'edge').some((fe) => kernel.isSame(fe, handle))) {\n        adj.push(f.ordinal)\n      }\n    }\n    return adj\n  })\n\n  return { kernel, faces, edges, roleTable, faceEdgeAdjacency, edgeFaceAdjacency }\n}\n\n/**\n * 从 BREP 现场句柄建带边候选/邻接的 ResolutionContext（twoDistances 逐边重建用）。\n *\n * 与 `buildEdgeResolutionContext` 相同，但直接接收 live solid 句柄而非 Shape 槽——\n * 用于真机逐边构建后，输入已从上一次结果演化，Shape 槽里的 roleTable/hash 不再\n * 与当前句柄对应（§3.6 逐边构建，后续边要重新 resolve）。\n *\n * @param kernel - the OCCT kernel.\n * @param solid - the live BREP solid handle.\n * @param roleTable - optional role table to carry over (not used for strict matching).\n * @returns the edge-enabled resolution context (faces/edges/adjacency live from `solid`).\n */\nexport function buildEdgeContextFromSolid(\n  kernel: BrepEngineApi,\n  solid: BrepHandle,\n  roleTable?: RoleTable,\n): ResolutionContext {\n  const faceHandles = kernel.getSubShapes(solid, 'face')\n  const faces = faceHandles.map((handle, i) => ({ ordinal: i + 1, hash: undefined, handle }))\n  const edgeHandles = kernel.getSubShapes(solid, 'edge')\n  const edges: EdgeCandidateEntry[] = edgeHandles.map((handle, i) => ({\n    ordinal: i + 1,\n    handle,\n    hint: captureEdgeHint(kernel, handle),\n  }))\n  const liveEdges = edges.filter((e): e is EdgeCandidateEntry & { handle: BrepHandle } => e.handle !== undefined)\n  const faceHandlesArr = faceHandles.map((h, hi) => ({ handle: h, ordinal: hi + 1 }))\n  const faceEdgeAdjacency = faceHandlesArr.map(({ handle }) => {\n    const sub = kernel.getSubShapes(handle, 'edge')\n    return sub\n      .map((eh) => liveEdges.find((e) => kernel.isSame(eh, e.handle))?.ordinal)\n      .filter((v): v is number => v !== undefined)\n  })\n  const edgeFaceAdjacency = liveEdges.map(({ handle }) => {\n    const adj: number[] = []\n    for (const f of faceHandlesArr) {\n      if (kernel.getSubShapes(f.handle, 'edge').some((fe) => kernel.isSame(fe, handle))) adj.push(f.ordinal)\n    }\n    return adj\n  })\n  return { kernel, faces, edges, roleTable, faceEdgeAdjacency, edgeFaceAdjacency }\n}\n\n/**\n * 解析一个 face TopoRef 到「当前几何」，并从解析出的候选面派生求解几何。\n *\n * 结果与命名行的 surfaceType/center/normal 同口径（BREAK 现场 captureFaceHint /\n * mesh 行快照），保证两侧派生值一致。\n *\n * @param kernel - the OCCT kernel (can be null on the mesh/primitive path).\n * @param shape - the live input shape whose naming slot is being resolved.\n * @param ref - the FaceTopoRef captured earlier.\n * @returns the current face geometry (center/normal/surfaceType).\n */\nexport function resolveFaceGeometry(\n  kernel: BrepEngineApi | null,\n  shape: Shape,\n  ref: FaceTopoRef,\n): ResolvedFaceGeometry {\n  // 1.10 前置③：roleTable 是解析缓存。origin/role 条目 miss 时先沿血缘回走\n  // 重算并回填（miss 可恢复），再进解析——不再是\"缓存 miss = 无名\"。\n  let ctx = buildShapeResolutionContext(kernel, shape)\n  if (!ctx) {\n    throw new TopoRefError(\n      'E_TOPO_NOT_FOUND',\n      'face',\n      `no naming context on input shape (origin=${ref.origin}, role=${ref.role})`,\n    )\n  }\n  // 1.10 前置③：roleTable 是解析缓存。origin/role 条目 miss 时先沿血缘回走\n  // 重算并回填（miss 可恢复），再进解析——不再是\"缓存 miss = 无名\"。\n  if (ctx.roleTable && kernel) {\n    const entry0 = ctx.roleTable.get(ref.origin)?.get(ref.role)\n    if (entry0 === undefined) {\n      const recomputed = recomputeViaLineage(ref, shape, kernel)\n      if (recomputed) {\n        const merged = new Map(ctx.roleTable as ReadonlyMap<string, ReadonlyMap<string, readonly number[]>>)\n        merged.set(ref.origin, new Map([...(ctx.roleTable.get(ref.origin) ?? new Map()), [ref.role, recomputed]]))\n        ctx = { ...ctx, roleTable: merged as unknown as typeof ctx.roleTable }\n      }\n    }\n  }\n  const entity = resolveTopoRef(ref, ctx)\n  const entry = ctx.faces[entity.ordinal - 1]\n  if (!entry) {\n    throw new TopoRefError(\n      'E_TOPO_NOT_FOUND',\n      'face',\n      `resolved ordinal ${entity.ordinal} has no candidate in context (origin=${ref.origin}, role=${ref.role})`,\n    )\n  }\n  // BREAK 现场：capture 出当前法向/中心（圆柱面含轴）\n  if (entry.handle && ctx.kernel) {\n    const hint = captureFaceHint(ctx.kernel, entry.handle)\n    return {\n      surfaceType: hint.surfaceType,\n      center: hint.center ?? [0, 0, 0],\n      normal: hint.normal ?? [0, 0, 1],\n      ...(hint.axis ? { axis: hint.axis } : {}),\n    }\n  }\n  // mesh/行快照：直接用行几何（axis 由宿主行注入，缺省 undefined）\n  const ext = entry.row\n  const hint = ext ? faceRowToHint(ext) : undefined\n  return {\n    surfaceType: hint?.surfaceType,\n    center: hint?.center ?? [0, 0, 0],\n    normal: hint?.normal ?? [0, 0, 1],\n    ...(hint?.axis ? { axis: hint.axis } : {}),\n  }\n}\n\n/**\n * FaceMateConstraint 面的等价重载：face 参数对象（`{topoRef}` 或旧快照）的守卫。\n *\n * @param v - the value to test.\n * @returns true when the value is a FaceTopoRef (kind === 'face').\n */\nexport function isFaceTopoRef(v: unknown): v is FaceTopoRef {\n  return !!v && typeof v === 'object' && (v as { kind?: unknown }).kind === 'face'\n}"]}
+{"version":3,"file":"topo-resolve.js","sourceRoot":"","sources":["../../src/api/topo-resolve.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;GAaG;AAGH,OAAO,EAAE,OAAO,EAAE,MAAM,UAAU,CAAA;AAClC,OAAO,EAAE,MAAM,EAAE,MAAM,kBAAkB,CAAA;AAGzC,OAAO,EAAE,gBAAgB,EAAE,MAAM,wBAAwB,CAAA;AACzD,OAAO,EAAE,cAAc,EAAE,eAAe,EAAE,MAAM,4BAA4B,CAAA;AAC5E,OAAO,EAAE,iBAAiB,EAAE,MAAM,oCAAoC,CAAA;AACtE,OAAO,EAAE,QAAQ,EAA8B,MAAM,aAAa,CAAA;AAClE,OAAO,EACL,cAAc,EACd,eAAe,EACf,eAAe,EACf,aAAa,EACb,YAAY,GAOb,MAAM,oBAAoB,CAAA;AAW3B;;;;;;;;;;;;GAYG;AACH,SAAS,mBAAmB,CAC1B,GAAgB,EAChB,KAAa,EACb,MAA4B;IAE5B,IAAI,CAAC,MAAM;QAAE,OAAO,SAAS,CAAA;IAC7B,MAAM,IAAI,GAAG,MAAM,CAAC,KAAK,CAAC,CAAA;IAC1B,IAAI,CAAC,IAAI;QAAE,OAAO,SAAS,CAAA;IAC3B,MAAM,MAAM,GAAG,iBAAiB,CAAC,cAAc,EAAE,QAAQ,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,GAAG,CAAC,IAAI,EAAE,IAAI,EAAE;QACrF,oCAAoC;QACpC,wCAAwC;QACxC,MAAM,EAAE,CAAC,CAAC,EAAE,EAAE;YACZ,MAAM,IAAI,GAAG,cAAc,CAAC,MAAM,CAAC,CAAC,CAAC,CAAA;YACrC,MAAM,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC,cAAc,CAAC,cAAc,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,SAAS,CAAA;YAChE,IAAI,CAAC,KAAK,SAAS;gBAAE,OAAO,CAAC,CAAA;YAC7B,OAAO,SAAS,CAAA;QAClB,CAAC;QACD,UAAU,EAAE,CAAC,MAAM,EAAE,EAAE,CACrB,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,cAAc,CAAC,MAAoB,EAAE,MAAM,EAAE,gBAAgB,CAAC,CAAC;QACnF,WAAW,EAAE,CAAC,CAAC,EAAE,EAAE;YACjB,MAAM,IAAI,GAAG,cAAc,CAAC,MAAM,CAAC,CAAC,CAAC,CAAA;YACrC,OAAO,IAAI,CAAC,CAAC,CAAC,cAAc,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,SAAS,CAAA;QAC9D,CAAC;KACF,CAAC,CAAA;IACF,IAAI,CAAC,CAAC,QAAQ,IAAI,MAAM,CAAC;QAAE,OAAO,SAAS,CAAA;IAC3C,OAAO,MAAM,CAAC,MAAM,CAAA;AACtB,CAAC;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA6BG;AACH,MAAM,UAAU,mBAAmB,CACjC,MAAqB,EACrB,IAAc,EACd,WAAmB,EACnB,aAAgC;IAEhC,MAAM,UAAU,GAAG,aAAa,CAAC,WAAW,GAAG,CAAC,CAAC,CAAA;IACjD,IAAI,UAAU,KAAK,SAAS;QAAE,OAAO,SAAS,CAAA;IAE9C,0CAA0C;IAC1C,MAAM,UAAU,GAA4C,EAAE,CAAA;IAC9D,KAAK,MAAM,IAAI,IAAI,cAAc,CAAC,OAAO,EAAE,EAAE,CAAC;QAC5C,MAAM,GAAG,GAAG,cAAc,CAAC,aAAa,CAAC,IAAI,CAAC,CAAA;QAC9C,IAAI,CAAC,GAAG;YAAE,SAAQ;QAClB,KAAK,MAAM,CAAC,MAAM,EAAE,KAAK,CAAC,IAAI,GAAG,EAAE,CAAC;YAClC,KAAK,MAAM,QAAQ,IAAI,KAAK,CAAC,IAAI,EAAE;gBAAE,UAAU,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC,CAAA;QAClF,CAAC;IACH,CAAC;IAED,KAAK,MAAM,CAAC,IAAI,UAAU,EAAE,CAAC;QAC3B,MAAM,MAAM,GAAG,eAAe,CAAC,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,IAAI,EAAE,IAAI,CAAC,CAAA;QAC9D,IAAI,MAAM,IAAI,MAAM,CAAC,QAAQ,CAAC,UAAU,CAAC;YAAE,OAAO,EAAE,MAAM,EAAE,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,CAAA;IAChG,CAAC;IACD,OAAO,SAAS,CAAA;AAClB,CAAC;AAED;;;;;GAKG;AACH,SAAS,eAAe,CACtB,MAAqB,EACrB,MAAc,EACd,QAAgB,EAChB,UAAoB;IAEpB,MAAM,IAAI,GAAG,cAAc,CAAC,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAA;IAClD,IAAI,CAAC,IAAI;QAAE,OAAO,SAAS,CAAA;IAC3B,MAAM,QAAQ,GAAG,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,CAAA;IAChC,IAAI,CAAC,QAAQ;QAAE,OAAO,SAAS,CAAA;IAC/B,MAAM,UAAU,GAAG,cAAc,CAAC,cAAc,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAA;IAClE,MAAM,SAAS,GAAG,cAAc,CAAC,aAAa,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAA;IAChE,IAAI,UAAU,KAAK,SAAS,IAAI,CAAC,SAAS;QAAE,OAAO,SAAS,CAAA;IAE5D,MAAM,UAAU,GAAG,SAAS,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,GAAG,CAAC,QAAQ,CAAC,CAAA;IACvD,IAAI,UAAU,KAAK,SAAS,IAAI,UAAU,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,SAAS,CAAA;IACzE,MAAM,OAAO,GAAG,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,cAAc,CAAC,UAAwB,EAAE,MAAM,EAAE,gBAAgB,CAAC,CAAC,CAAA;IACrG,IAAI,QAAQ,GAAa,EAAE,CAAA;IAC3B,KAAK,MAAM,CAAC,IAAI,UAAU,EAAE,CAAC;QAC3B,MAAM,GAAG,GAAG,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC,CAAA;QAC9B,IAAI,GAAG,IAAI,CAAC;YAAE,QAAQ,CAAC,IAAI,CAAC,GAAG,GAAG,CAAC,CAAC,CAAA,CAAC,cAAc;IACrD,CAAC;IACD,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,SAAS,CAAA;IAE3C,gDAAgD;IAChD,MAAM,IAAI,GAAG,IAAI,GAAG,EAAY,CAAA;IAChC,IAAI,WAAW,GAAa,QAAQ,CAAA;IACpC,OAAO,WAAW,KAAK,UAAU,EAAE,CAAC;QAClC,IAAI,IAAI,CAAC,GAAG,CAAC,WAAW,CAAC;YAAE,OAAO,SAAS,CAAA;QAC3C,IAAI,CAAC,GAAG,CAAC,WAAW,CAAC,CAAA;QACrB,MAAM,QAAQ,GAAG,cAAc,CAAC,aAAa,CAAC,WAAW,CAAC,CAAA;QAC1D,IAAI,CAAC,QAAQ;YAAE,OAAO,SAAS,CAAA;QAC/B,MAAM,GAAG,GAAG,QAAQ,CAAC,SAAS,CAAA;QAC9B,IAAI,GAAG,IAAI,CAAC,eAAe,CAAC,GAAG,CAAC,EAAE,CAAC;YACjC,QAAQ,GAAG,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAA;QACvD,CAAC;aAAM,IAAI,QAAQ,CAAC,UAAU,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;YACnD,gCAAgC;QAClC,CAAC;aAAM,CAAC;YACN,OAAO,SAAS,CAAA;QAClB,CAAC;QACD,MAAM,KAAK,GAAG,QAAQ,CAAC,OAAO,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAE,CAAA;QACvF,WAAW,GAAG,KAAK,CAAA;IACrB,CAAC;IAED,MAAM,YAAY,GAAG,cAAc,CAAC,cAAc,CAAC,cAAc,CAAC,MAAM,CAAC,UAAU,CAAC,IAAI,QAAQ,CAAC,EAAE,CAAC,CAAC,CAAA;IACrG,IAAI,YAAY,KAAK,SAAS;QAAE,OAAO,SAAS,CAAA;IAChD,MAAM,SAAS,GAAG,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,cAAc,CAAC,YAA0B,EAAE,MAAM,EAAE,gBAAgB,CAAC,CAAC,CAAA;IACzG,MAAM,MAAM,GAAa,EAAE,CAAA;IAC3B,KAAK,MAAM,CAAC,IAAI,QAAQ,EAAE,CAAC;QACzB,MAAM,CAAC,GAAG,SAAS,CAAC,CAAC,GAAG,CAAC,CAAC,CAAA;QAC1B,IAAI,CAAC,KAAK,SAAS;YAAE,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAA;IACrC,CAAC;IACD,OAAO,MAAM,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,SAAS,CAAA;AAC/C,CAAC;AAED;;;;;;;;;;;GAWG;AACH,MAAM,UAAU,2BAA2B,CACzC,MAA4B,EAC5B,KAAyB;IAEzB,IAAI,CAAC,KAAK;QAAE,OAAO,SAAS,CAAA;IAC5B,MAAM,IAAI,GAAG,OAAO,CAAC,KAAK,CAAC,CAAA;IAC3B,IAAI,CAAC,IAAI;QAAE,OAAO,SAAS,CAAA;IAC3B,qDAAqD;IACrD,MAAM,IAAI,GAAG,MAAM,CAAC,KAAK,CAAC,CAAA;IAC1B,MAAM,SAAS,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,cAAc,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,SAAS,CAA0B,CAAA;IAEhG,MAAM,KAAK,GAAG,IAAI,CAAC,KAA+B,CAAA;IAClD,IAAI,MAAM,IAAI,KAAK,EAAE,CAAC;QACpB,MAAM,OAAO,GAAG,MAAM,CAAC,YAAY,CAAC,KAAK,EAAE,MAAM,CAAC,CAAA;QAClD,MAAM,MAAM,GAAG,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,cAAc,CAAC,KAAK,EAAE,MAAM,EAAE,gBAAgB,CAAC,CAAC,CAAA;QACjF,MAAM,KAAK,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,OAAO,EAAE,CAAC,GAAG,CAAC,EAAE,IAAI,EAAE,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,CAAC,CAAC,CAAA;QAC5F,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,SAAS,EAAE,CAAA;IACrC,CAAC;IAED,MAAM,KAAK,GAAG,IAAI,CAAC,SAAmC,CAAA;IACtD,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC7C,MAAM,KAAK,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,OAAO,EAAE,CAAC,GAAG,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC,CAAA;QAC9D,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,KAAK,EAAE,SAAS,EAAE,CAAA;IAC3C,CAAC;IACD,OAAO,SAAS,CAAA;AAClB,CAAC;AAED;;;;;;;;;;;;;;;GAeG;AACH,MAAM,UAAU,0BAA0B,CACxC,MAAqB,EACrB,KAAyB;IAEzB,IAAI,CAAC,KAAK;QAAE,OAAO,SAAS,CAAA;IAC5B,MAAM,IAAI,GAAG,OAAO,CAAC,KAAK,CAAC,CAAA;IAC3B,IAAI,CAAC,IAAI;QAAE,OAAO,SAAS,CAAA;IAC3B,qDAAqD;IACrD,MAAM,QAAQ,GAAG,MAAM,CAAC,KAAK,CAAC,CAAA;IAC9B,MAAM,SAAS,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,cAAc,CAAC,WAAW,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,SAAS,CAA0B,CAAA;IACxG,MAAM,KAAK,GAAG,IAAI,CAAC,KAA+B,CAAA;IAClD,IAAI,CAAC,KAAK;QAAE,OAAO,SAAS,CAAA;IAE5B,MAAM,WAAW,GAAG,MAAM,CAAC,YAAY,CAAC,KAAK,EAAE,MAAM,CAAC,CAAA;IACtD,MAAM,UAAU,GAAG,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,cAAc,CAAC,KAAK,EAAE,MAAM,EAAE,gBAAgB,CAAC,CAAC,CAAA;IACrF,MAAM,KAAK,GAAG,WAAW,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,OAAO,EAAE,CAAC,GAAG,CAAC,EAAE,IAAI,EAAE,UAAU,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,CAAC,CAAC,CAAA;IAEpG,MAAM,WAAW,GAAG,MAAM,CAAC,YAAY,CAAC,KAAK,EAAE,MAAM,CAAC,CAAA;IACtD,MAAM,KAAK,GAAyB,WAAW,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC;QAClE,OAAO,EAAE,CAAC,GAAG,CAAC;QACd,MAAM;QACN,IAAI,EAAE,eAAe,CAAC,MAAM,EAAE,MAAM,CAAC;KACtC,CAAC,CAAC,CAAA;IACH,MAAM,SAAS,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAoD,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,SAAS,CAAC,CAAA;IAE/G,iEAAiE;IACjE,MAAM,cAAc,GAAG,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,OAAO,EAAE,EAAE,GAAG,CAAC,EAAE,CAAC,CAAC,CAAA;IAEnF,MAAM,iBAAiB,GAAG,cAAc,CAAC,GAAG,CAAC,CAAC,EAAE,MAAM,EAAE,EAAE,EAAE;QAC1D,MAAM,GAAG,GAAG,MAAM,CAAC,YAAY,CAAC,MAAM,EAAE,MAAM,CAAC,CAAA;QAC/C,OAAO,GAAG;aACP,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,EAAE,OAAO,CAAC;aACxE,MAAM,CAAC,CAAC,CAAC,EAAe,EAAE,CAAC,CAAC,KAAK,SAAS,CAAC,CAAA;IAChD,CAAC,CAAC,CAAA;IACF,MAAM,iBAAiB,GAAG,SAAS,CAAC,GAAG,CAAC,CAAC,EAAE,MAAM,EAAE,EAAE,EAAE;QACrD,MAAM,GAAG,GAAa,EAAE,CAAA;QACxB,KAAK,MAAM,CAAC,IAAI,cAAc,EAAE,CAAC;YAC/B,IAAI,MAAM,CAAC,YAAY,CAAC,CAAC,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,EAAE,MAAM,CAAC,CAAC,EAAE,CAAC;gBAClF,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC,CAAA;YACrB,CAAC;QACH,CAAC;QACD,OAAO,GAAG,CAAA;IACZ,CAAC,CAAC,CAAA;IAEF,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,KAAK,EAAE,SAAS,EAAE,iBAAiB,EAAE,iBAAiB,EAAE,CAAA;AAClF,CAAC;AAED;;;;;;;;;;;;;;;;;;GAkBG;AACH,MAAM,UAAU,8BAA8B,CAC5C,MAAqB,EACrB,KAAyB;IAEzB,IAAI,CAAC,KAAK;QAAE,OAAO,SAAS,CAAA;IAC5B,MAAM,IAAI,GAAG,OAAO,CAAC,KAAK,CAAC,CAAA;IAC3B,MAAM,KAAK,GAAG,IAAI,EAAE,SAAmC,CAAA;IACvD,IAAI,CAAC,KAAK;QAAE,OAAO,SAAS,CAAA;IAE5B,MAAM,WAAW,GAAG,MAAM,CAAC,YAAY,CAAC,KAAK,EAAE,MAAM,CAAC,CAAA;IACtD,MAAM,KAAK,GAAG,WAAW,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,OAAO,EAAE,CAAC,GAAG,CAAC,EAAE,MAAM,EAAE,CAAC,CAAC,CAAA;IAC1E,MAAM,KAAK,GAAyB,MAAM,CAAC,YAAY,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC;QACzF,OAAO,EAAE,CAAC,GAAG,CAAC;QACd,MAAM;QACN,IAAI,EAAE,eAAe,CAAC,MAAM,EAAE,MAAM,CAAC;KACtC,CAAC,CAAC,CAAA;IACH,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,KAAK,EAAE,CAAA;AACjC,CAAC;AAED;;;;;;;;;;;;;;;;GAgBG;AACH,MAAM,UAAU,8BAA8B,CAC5C,MAAqB,EACrB,KAAyB;IAEzB,IAAI,CAAC,KAAK;QAAE,OAAO,SAAS,CAAA;IAC5B,MAAM,IAAI,GAAG,OAAO,CAAC,KAAK,CAAC,CAAA;IAC3B,MAAM,KAAK,GAAG,IAAI,EAAE,SAAmC,CAAA;IACvD,IAAI,CAAC,KAAK;QAAE,OAAO,SAAS,CAAA;IAE5B,MAAM,KAAK,GAAG,MAAM,CAAC,YAAY,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,OAAO,EAAE,CAAC,GAAG,CAAC,EAAE,MAAM,EAAE,CAAC,CAAC,CAAA;IACjG,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,CAAA;AAC1B,CAAC;AAED;;;;;;;;;;;GAWG;AACH,MAAM,UAAU,yBAAyB,CACvC,MAAqB,EACrB,KAAiB,EACjB,SAAqB;IAErB,MAAM,WAAW,GAAG,MAAM,CAAC,YAAY,CAAC,KAAK,EAAE,MAAM,CAAC,CAAA;IACtD,MAAM,KAAK,GAAG,WAAW,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,OAAO,EAAE,CAAC,GAAG,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,MAAM,EAAE,CAAC,CAAC,CAAA;IAC3F,MAAM,WAAW,GAAG,MAAM,CAAC,YAAY,CAAC,KAAK,EAAE,MAAM,CAAC,CAAA;IACtD,MAAM,KAAK,GAAyB,WAAW,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC;QAClE,OAAO,EAAE,CAAC,GAAG,CAAC;QACd,MAAM;QACN,IAAI,EAAE,eAAe,CAAC,MAAM,EAAE,MAAM,CAAC;KACtC,CAAC,CAAC,CAAA;IACH,MAAM,SAAS,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAoD,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,SAAS,CAAC,CAAA;IAC/G,MAAM,cAAc,GAAG,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,OAAO,EAAE,EAAE,GAAG,CAAC,EAAE,CAAC,CAAC,CAAA;IACnF,MAAM,iBAAiB,GAAG,cAAc,CAAC,GAAG,CAAC,CAAC,EAAE,MAAM,EAAE,EAAE,EAAE;QAC1D,MAAM,GAAG,GAAG,MAAM,CAAC,YAAY,CAAC,MAAM,EAAE,MAAM,CAAC,CAAA;QAC/C,OAAO,GAAG;aACP,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,EAAE,OAAO,CAAC;aACxE,MAAM,CAAC,CAAC,CAAC,EAAe,EAAE,CAAC,CAAC,KAAK,SAAS,CAAC,CAAA;IAChD,CAAC,CAAC,CAAA;IACF,MAAM,iBAAiB,GAAG,SAAS,CAAC,GAAG,CAAC,CAAC,EAAE,MAAM,EAAE,EAAE,EAAE;QACrD,MAAM,GAAG,GAAa,EAAE,CAAA;QACxB,KAAK,MAAM,CAAC,IAAI,cAAc,EAAE,CAAC;YAC/B,IAAI,MAAM,CAAC,YAAY,CAAC,CAAC,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,EAAE,MAAM,CAAC,CAAC;gBAAE,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC,CAAA;QACxG,CAAC;QACD,OAAO,GAAG,CAAA;IACZ,CAAC,CAAC,CAAA;IACF,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,KAAK,EAAE,SAAS,EAAE,iBAAiB,EAAE,iBAAiB,EAAE,CAAA;AAClF,CAAC;AAED;;;;;;;;;;GAUG;AACH,MAAM,UAAU,mBAAmB,CACjC,MAA4B,EAC5B,KAAY,EACZ,GAAgB;IAEhB,uDAAuD;IACvD,2CAA2C;IAC3C,IAAI,GAAG,GAAG,2BAA2B,CAAC,MAAM,EAAE,KAAK,CAAC,CAAA;IACpD,IAAI,CAAC,GAAG,EAAE,CAAC;QACT,MAAM,IAAI,YAAY,CACpB,kBAAkB,EAClB,MAAM,EACN,4CAA4C,GAAG,CAAC,MAAM,UAAU,GAAG,CAAC,IAAI,GAAG,CAC5E,CAAA;IACH,CAAC;IACD,uDAAuD;IACvD,2CAA2C;IAC3C,IAAI,GAAG,CAAC,SAAS,IAAI,MAAM,EAAE,CAAC;QAC5B,MAAM,MAAM,GAAG,GAAG,CAAC,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,CAAA;QAC3D,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;YACzB,MAAM,UAAU,GAAG,mBAAmB,CAAC,GAAG,EAAE,KAAK,EAAE,MAAM,CAAC,CAAA;YAC1D,IAAI,UAAU,EAAE,CAAC;gBACf,MAAM,MAAM,GAAG,IAAI,GAAG,CAAC,GAAG,CAAC,SAAwE,CAAC,CAAA;gBACpG,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,MAAM,EAAE,IAAI,GAAG,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,IAAI,GAAG,EAAE,CAAC,EAAE,CAAC,GAAG,CAAC,IAAI,EAAE,UAAU,CAAC,CAAC,CAAC,CAAC,CAAA;gBAC1G,GAAG,GAAG,EAAE,GAAG,GAAG,EAAE,SAAS,EAAE,MAAyC,EAAE,CAAA;YACxE,CAAC;QACH,CAAC;IACH,CAAC;IACD,MAAM,MAAM,GAAG,cAAc,CAAC,GAAG,EAAE,GAAG,CAAC,CAAA;IACvC,MAAM,KAAK,GAAG,GAAG,CAAC,KAAK,CAAC,MAAM,CAAC,OAAO,GAAG,CAAC,CAAC,CAAA;IAC3C,IAAI,CAAC,KAAK,EAAE,CAAC;QACX,MAAM,IAAI,YAAY,CACpB,kBAAkB,EAClB,MAAM,EACN,oBAAoB,MAAM,CAAC,OAAO,wCAAwC,GAAG,CAAC,MAAM,UAAU,GAAG,CAAC,IAAI,GAAG,CAC1G,CAAA;IACH,CAAC;IACD,mCAAmC;IACnC,IAAI,KAAK,CAAC,MAAM,IAAI,GAAG,CAAC,MAAM,EAAE,CAAC;QAC/B,MAAM,IAAI,GAAG,eAAe,CAAC,GAAG,CAAC,MAAM,EAAE,KAAK,CAAC,MAAM,CAAC,CAAA;QACtD,OAAO;YACL,WAAW,EAAE,IAAI,CAAC,WAAW;YAC7B,MAAM,EAAE,IAAI,CAAC,MAAM,IAAI,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;YAChC,MAAM,EAAE,IAAI,CAAC,MAAM,IAAI,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;YAChC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;SAC1C,CAAA;IACH,CAAC;IACD,4CAA4C;IAC5C,MAAM,GAAG,GAAG,KAAK,CAAC,GAAG,CAAA;IACrB,MAAM,IAAI,GAAG,GAAG,CAAC,CAAC,CAAC,aAAa,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,SAAS,CAAA;IACjD,OAAO;QACL,WAAW,EAAE,IAAI,EAAE,WAAW;QAC9B,MAAM,EAAE,IAAI,EAAE,MAAM,IAAI,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;QACjC,MAAM,EAAE,IAAI,EAAE,MAAM,IAAI,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;QACjC,GAAG,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;KAC3C,CAAA;AACH,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,aAAa,CAAC,CAAU;IACtC,OAAO,CAAC,CAAC,CAAC,IAAI,OAAO,CAAC,KAAK,QAAQ,IAAK,CAAwB,CAAC,IAAI,KAAK,MAAM,CAAA;AAClF,CAAC","sourcesContent":["/**\n * topo-resolve — 运行期 TopoRef 解析（装配/钻孔等面引用 op 共享，§6.2）\n *\n * 与 core/topology/naming 的分工：\n * - naming（core）负责纯解析：给 ReactsContext + FaceTopoRef → ordinal/handle；\n * - 本模块（api 层）是「活 Shape → React块(ResolutionContext)」的引擎胶水：\n *   从 Shape 身份槽读出运行期数据（BREP 活句柄 + RoleTable，或 setTopology 注入的\n *   面 hint 快照），并把解析结果还原成求解需要的几何（center/normal/surfaceType）。\n *\n * 这样 drill（面 → 法向）与 compound/assembly（约束固定/移动面 → 几何）共用同一\n * 条「TopoRef 执行期派生」通道，且不动 core 的纯 naming 层职责。\n *\n * 任何一步定不了案 → 抛 TopoRefError（三态错误码），绝不静默拿序号硬取。\n */\n\nimport type { Shape } from '../mesh/types'\nimport { getSlot } from '../shape'\nimport { nameOf } from '../runtime-state'\nimport type { BrepEngineApi } from '../brep/engine/primitives'\nimport type { BrepHandle } from '../brep/engine/types'\nimport { HASH_UPPER_BOUND } from '../brep/face-evolution'\nimport { runtimeLineage, isHashEvolution } from '../topology/naming/lineage'\nimport { resolveViaLineage } from '../topology/naming/lineage-resolve'\nimport { asStmtId, type PartName, type StmtId } from '../identity'\nimport {\n  resolveTopoRef,\n  captureFaceHint,\n  captureEdgeHint,\n  faceRowToHint,\n  TopoRefError,\n  type FaceTopoRef,\n  type ResolutionContext,\n  type FaceHint,\n  type AxisHint,\n  type EdgeCandidateEntry,\n  type RoleTable,\n} from '../topology/naming'\n\n/** 求解面需要的当前几何（执行期派生）：与旧契约 fixedFace/movingFace 的 surfaceType/center/normal 同形。 */\nexport interface ResolvedFaceGeometry {\n  surfaceType?: string\n  center: [number, number, number]\n  normal: [number, number, number]\n  /** 圆柱/回转面的轴（装配轴约束用；平面/球面缺省，mesh 行快照由宿主注入）。 */\n  axis?: AxisHint\n}\n\n/**\n * roleTable miss 时沿血缘回走重算（1.10 前置③：缓存降级）。\n *\n * 「产物上的 roleTable 不再是身份的唯一来源」的落点：精确解析读不到\n * `roleTable[origin][role]` 时，按血缘 DAG 从 origin 语句回走推进到当前 part，\n * 产出该 role 的 hash 集合并**回填缓存**——miss 可恢复，不再是无名错误。\n * 回走失败（链断 / 无演化）返回 undefined，调用方落到几何兜底（既有三态语义不变）。\n *\n * @param ref - the face TopoRef being resolved.\n * @param shape - the live part shape being resolved against.\n * @param kernel - the OCCT kernel (hash 换算需要；null 时回走不可用).\n * @returns the recomputed hash list, or undefined when lineage re-walk cannot produce one.\n */\nfunction recomputeViaLineage(\n  ref: FaceTopoRef,\n  shape: object,\n  kernel: BrepEngineApi | null,\n): readonly number[] | undefined {\n  if (!kernel) return undefined\n  const part = nameOf(shape)\n  if (!part) return undefined\n  const result = resolveViaLineage(runtimeLineage, asStmtId(ref.origin), ref.role, part, {\n    // 回走链上的中间产物句柄：优先血缘图旁挂（本仓 op 执行时记录），\n    // 兜底读 runtime 全局 nameOf 反查（slot.solid）。\n    brepOf: (p) => {\n      const stmt = runtimeLineage.stmtOf(p)\n      const h = stmt ? runtimeLineage.outputHandleOf(stmt) : undefined\n      if (h !== undefined) return h\n      return undefined\n    },\n    faceHashes: (handle) =>\n      Array.from(kernel.subShapeHashes(handle as BrepHandle, 'face', HASH_UPPER_BOUND)),\n    roleTableOf: (p) => {\n      const stmt = runtimeLineage.stmtOf(p)\n      return stmt ? runtimeLineage.outputTableOf(stmt) : undefined\n    },\n  })\n  if (!('hashes' in result)) return undefined\n  return result.hashes\n}\n\n/**\n * 边路径「无血统邻面」恢复（1.10 前置③ 推广到边路径）。\n *\n * `edgeRef` 正查 `findOriginRole(table, ordinalToHash, fo)`（面 hash → `(origin, role)`）\n * 失败，通常因为**目标 part** 的 roleTable 缓存**残缺**（丢了该面的条目），而**根节点**\n * （名字的诞生处）的表是完整的：该面的 `(origin, role)` 真实存在，只是没被缓存到目标 part\n * 的表副本里（drift / 中间 op 原样带走旧 hash 表）。\n *\n * 与面路径 `recomputeViaLineage` 同构、方向相反——已知面 hash、不知道它属于哪个\n * `(origin, role)`。恢复策略：遍历血缘图所有候选 `(origin, role)`，沿 DAG 从根走到目标\n * part，把根序（该 role 的 hash 集）推进到目标序、换算成目标 hash 集，取**含该面当前 hash**\n * 者，即该面的真实身份。\n *\n * 推进规则（自带，不依赖 `resolveViaLineage` 的严格契约）：\n * - 中间节点有 ordinal 演化（Map）→ 照用；\n * - 中间节点是 identity 类（copy/place/transform）但**未挂演化**（既有缺口，见\n *   `place.ts` 经 compat 路径未 `attachEvolution`）→ 按 1:1 推进（语义正确：identity 不改\n *   面序）；\n * - 其余无演化 → 放弃该候选（不乱猜）。\n *\n * 命中即回填 `{origin, role}` 让 `resolveEdgeTopo` 继续（exact 或几何兜底）；未命中返回\n * undefined，调用方保持原 `no role lineage` 报错——零回归。仅跑在 `findOriginRole` 失败\n * 之后（错误路径），不进热路径。\n *\n * @param kernel - the OCCT kernel (hash 换算需要).\n * @param part - the live part whose adjacent face we are recovering.\n * @param faceOrdinal - the 1-based face ordinal whose role is missing.\n * @param ordinalToHash - the part's current face ordinal → hash array.\n * @returns the recovered `{origin, role}`, or undefined when no lineage walk matches.\n */\nexport function recoverEdgeFaceRole(\n  kernel: BrepEngineApi,\n  part: PartName,\n  faceOrdinal: number,\n  ordinalToHash: readonly number[],\n): { origin: StmtId; role: string } | undefined {\n  const targetHash = ordinalToHash[faceOrdinal - 1]\n  if (targetHash === undefined) return undefined\n\n  // 候选 (origin, role)：血缘图所有节点的输出表（根节点诞生名字处）\n  const candidates: Array<{ origin: string; role: string }> = []\n  for (const stmt of runtimeLineage.stmtIds()) {\n    const tbl = runtimeLineage.outputTableOf(stmt)\n    if (!tbl) continue\n    for (const [origin, roles] of tbl) {\n      for (const roleLine of roles.keys()) candidates.push({ origin, role: roleLine })\n    }\n  }\n\n  for (const c of candidates) {\n    const hashes = lineageHashesAt(kernel, c.origin, c.role, part)\n    if (hashes && hashes.includes(targetHash)) return { origin: asStmtId(c.origin), role: c.role }\n  }\n  return undefined\n}\n\n/**\n * 沿血缘从 `(origin, role)` 的根走到 `targetPart`，把根序推进到目标序、换算成目标 hash 集。\n *\n * @returns the target part's face hashes for this role, or undefined when the\n *   chain cannot be walked (unreachable / non-identity node without evolution).\n */\nfunction lineageHashesAt(\n  kernel: BrepEngineApi,\n  origin: string,\n  roleLine: string,\n  targetPart: PartName,\n): readonly number[] | undefined {\n  const root = runtimeLineage.node(asStmtId(origin))\n  if (!root) return undefined\n  const rootPart = root.outputs[0]\n  if (!rootPart) return undefined\n  const rootHandle = runtimeLineage.outputHandleOf(asStmtId(origin))\n  const rootTable = runtimeLineage.outputTableOf(asStmtId(origin))\n  if (rootHandle === undefined || !rootTable) return undefined\n\n  const rootHashes = rootTable.get(origin)?.get(roleLine)\n  if (rootHashes === undefined || rootHashes.length === 0) return undefined\n  const rootAll = Array.from(kernel.subShapeHashes(rootHandle as BrepHandle, 'face', HASH_UPPER_BOUND))\n  let ordinals: number[] = []\n  for (const h of rootHashes) {\n    const idx = rootAll.indexOf(h)\n    if (idx >= 0) ordinals.push(idx + 1) // ordinal 1 起\n  }\n  if (ordinals.length === 0) return undefined\n\n  // 逐节点推进：root → targetPart（带访问守卫，防异常 DAG 环路挂死执行）\n  const seen = new Set<PartName>()\n  let currentPart: PartName = rootPart\n  while (currentPart !== targetPart) {\n    if (seen.has(currentPart)) return undefined\n    seen.add(currentPart)\n    const consumer = runtimeLineage.nodeConsuming(currentPart)\n    if (!consumer) return undefined\n    const evo = consumer.evolution\n    if (evo && !isHashEvolution(evo)) {\n      ordinals = ordinals.flatMap((o) => evo.get(o) ?? [o])\n    } else if (consumer.provenance.kind === 'identity') {\n      // identity 类未挂演化 → 1:1 推进（语义正确）\n    } else {\n      return undefined\n    }\n    const carry = consumer.outputs.includes(targetPart) ? targetPart : consumer.outputs[0]!\n    currentPart = carry\n  }\n\n  const targetHandle = runtimeLineage.outputHandleOf(runtimeLineage.stmtOf(targetPart) ?? asStmtId(''))\n  if (targetHandle === undefined) return undefined\n  const targetAll = Array.from(kernel.subShapeHashes(targetHandle as BrepHandle, 'face', HASH_UPPER_BOUND))\n  const hashes: number[] = []\n  for (const o of ordinals) {\n    const h = targetAll[o - 1]\n    if (h !== undefined) hashes.push(h)\n  }\n  return hashes.length > 0 ? hashes : undefined\n}\n\n/**\n * 从活 Shape 的组装槽构建 ResolutionContext（BREAK 或 mesh/primitive 两条路）。\n *\n * - BREAK：`slot.solid` + `slot.roleTable` → 内核现场句柄 + hash（exact 路径）；\n * - mesh/primitive：`slot.faceHints`（setTopology 注入时提炼写入）→ 行快照（geometric 路径）。\n *\n * 无命名槽 → undefined（调用方按 not-found 抛错）。\n *\n * @param kernel - the OCCT kernel (null on the mesh/primitive path).\n * @param shape - the live input shape whose naming slot is read.\n * @returns the resolution context (live BREP or hint rows), or undefined when the shape has no naming slot.\n */\nexport function buildShapeResolutionContext(\n  kernel: BrepEngineApi | null,\n  shape: object | undefined,\n): ResolutionContext | undefined {\n  if (!shape) return undefined\n  const slot = getSlot(shape)\n  if (!slot) return undefined\n  // 1.10 前置③：roleTable 权威落点在血缘图旁挂（part 键），slot 缓存字段已删。\n  const part = nameOf(shape)\n  const roleTable = (part ? runtimeLineage.tableOfPart(part) : undefined) as RoleTable | undefined\n\n  const solid = slot.solid as BrepHandle | undefined\n  if (kernel && solid) {\n    const handles = kernel.getSubShapes(solid, 'face')\n    const hashes = Array.from(kernel.subShapeHashes(solid, 'face', HASH_UPPER_BOUND))\n    const faces = handles.map((handle, i) => ({ ordinal: i + 1, hash: hashes[i] ?? 0, handle }))\n    return { kernel, faces, roleTable }\n  }\n\n  const hints = slot.faceHints as FaceHint[] | undefined\n  if (Array.isArray(hints) && hints.length > 0) {\n    const faces = hints.map((row, i) => ({ ordinal: i + 1, row }))\n    return { kernel: null, faces, roleTable }\n  }\n  return undefined\n}\n\n/**\n * 为 BREP 现场构建带边候选与邻接表的 ResolutionContext（edge TopoRef 解析用）。\n *\n * 与 `buildBrepResolutionContext` 的面候选同源（同一枚举序），并补充：\n * - `edges`：边候选表（ordinal 1 起，含活句柄 + length/midpoint hint）；\n * - `faceEdgeAdjacency` / `edgeFaceAdjacency`：邻接表（edge lineage 解析用，M3）。\n *\n * 只支持 BREP 现场（edge lineage 需要 face→edge 邻接）；mesh/primitive 路径\n * 没有邻接能力（build-mesh-topology.ts:262，§5.3）→ 返回 undefined，调用方\n * 按 E_TOPO_NOT_FOUND 处理。\n *\n * @param kernel - the OCCT kernel.\n * @param shape - the live input shape whose naming slot is read.\n * @returns the edge-enabled resolution context, or undefined when the shape has\n *   no BREP naming slot.\n */\nexport function buildEdgeResolutionContext(\n  kernel: BrepEngineApi,\n  shape: object | undefined,\n): ResolutionContext | undefined {\n  if (!shape) return undefined\n  const slot = getSlot(shape)\n  if (!slot) return undefined\n  // 1.10 前置③：roleTable 权威落点在血缘图旁挂（part 键），slot 缓存字段已删。\n  const edgePart = nameOf(shape)\n  const roleTable = (edgePart ? runtimeLineage.tableOfPart(edgePart) : undefined) as RoleTable | undefined\n  const solid = slot.solid as BrepHandle | undefined\n  if (!solid) return undefined\n\n  const faceHandles = kernel.getSubShapes(solid, 'face')\n  const faceHashes = Array.from(kernel.subShapeHashes(solid, 'face', HASH_UPPER_BOUND))\n  const faces = faceHandles.map((handle, i) => ({ ordinal: i + 1, hash: faceHashes[i] ?? 0, handle }))\n\n  const edgeHandles = kernel.getSubShapes(solid, 'edge')\n  const edges: EdgeCandidateEntry[] = edgeHandles.map((handle, i) => ({\n    ordinal: i + 1,\n    handle,\n    hint: captureEdgeHint(kernel, handle),\n  }))\n  const liveEdges = edges.filter((e): e is EdgeCandidateEntry & { handle: BrepHandle } => e.handle !== undefined)\n\n  // face → 邻接 edges（ordinal 1 起）。mesh 无 face→edge 邻接，这里 BREP 现场直取。\n  const faceHandlesArr = faceHandles.map((h, hi) => ({ handle: h, ordinal: hi + 1 }))\n\n  const faceEdgeAdjacency = faceHandlesArr.map(({ handle }) => {\n    const sub = kernel.getSubShapes(handle, 'edge')\n    return sub\n      .map((eh) => liveEdges.find((e) => kernel.isSame(eh, e.handle))?.ordinal)\n      .filter((v): v is number => v !== undefined)\n  })\n  const edgeFaceAdjacency = liveEdges.map(({ handle }) => {\n    const adj: number[] = []\n    for (const f of faceHandlesArr) {\n      if (kernel.getSubShapes(f.handle, 'edge').some((fe) => kernel.isSame(fe, handle))) {\n        adj.push(f.ordinal)\n      }\n    }\n    return adj\n  })\n\n  return { kernel, faces, edges, roleTable, faceEdgeAdjacency, edgeFaceAdjacency }\n}\n\n/**\n * 为**网格实体**构建带边候选的 ResolutionContext（近似拓扑的边解析入口）。\n *\n * 与 `buildEdgeResolutionContext` 的差别只有两点，两点都是\"网格零件没有 role 层\"\n * 的直接后果：\n * 1. 句柄来自 `slot.meshSolid`（网格实体句柄）而不是 `slot.solid`（BREP 句柄）；\n * 2. **刻意不给 `faceEdgeAdjacency` / `edgeFaceAdjacency`**。\n *\n * 第 2 点是有意的，不是省事：邻接表存在的意义是\"两面之交 = 一条边\"，\n * 而 `EdgeTopoRef.faces` 是两个 **RoleQualifier**——网格零件没有 role\n * （Phase 1.8：primitive/mesh 行 origin/role 显式为 null），限定符只是占位。\n * 带上邻接表反而会让 `resolveEdgeTopo` 走进\"按角色取公共边\"的分支并必然 not-found；\n * 不带它，解析就走「无 role 层 → 整个边表的纯几何匹配」（resolve-edge.ts 明写）。\n * 边身份只能几何，这是如实的能力边界。\n *\n * @param kernel - the mesh backend's L1 kernel (live edge handles come from it).\n * @param shape - the live mesh-solid shape whose naming slot is read.\n * @returns the edge-enabled resolution context, or undefined when the shape is not a mesh solid.\n */\nexport function buildMeshEdgeResolutionContext(\n  kernel: BrepEngineApi,\n  shape: object | undefined,\n): ResolutionContext | undefined {\n  if (!shape) return undefined\n  const slot = getSlot(shape)\n  const solid = slot?.meshSolid as BrepHandle | undefined\n  if (!solid) return undefined\n\n  const faceHandles = kernel.getSubShapes(solid, 'face')\n  const faces = faceHandles.map((handle, i) => ({ ordinal: i + 1, handle }))\n  const edges: EdgeCandidateEntry[] = kernel.getSubShapes(solid, 'edge').map((handle, i) => ({\n    ordinal: i + 1,\n    handle,\n    hint: captureEdgeHint(kernel, handle),\n  }))\n  return { kernel, faces, edges }\n}\n\n/**\n * 为**网格实体**构建面解析上下文（`sketchOnFace` 的网格链入口）。\n *\n * 面候选直接来自 `slot.meshSolid` 的 `getSubShapes(solid,'face')` 现场句柄——\n * 与 `buildMeshEdgeResolutionContext` 的面表同源（同一枚举序）。**刻意不给\n * `roleTable` / 邻接**：网格零件没有 role 层（Phase 1.8），带上 roleTable 只会让\n * `resolveFaceTopo` 走进 exact 分支并必然落空；不带它，解析就走「全形状按 hint\n * 几何打分」（resolve-face.ts 步骤 2），命中即 `geometric-fallback`。\n *\n * 也因此，网格链上的面只能用**几何**识别（法向 / 中心 / 面积）——这是如实的能力\n * 边界，不是省事：同尺寸的两个平行面（如立方体的顶面与底面）在几何上无法区分，\n * 调用方应改用序号。\n *\n * @param kernel - the mesh backend's L1 kernel (live face handles come from it).\n * @param shape - the live mesh-solid shape whose naming slot is read.\n * @returns the face resolution context, or undefined when the shape is not a mesh solid.\n */\nexport function buildMeshFaceResolutionContext(\n  kernel: BrepEngineApi,\n  shape: object | undefined,\n): ResolutionContext | undefined {\n  if (!shape) return undefined\n  const slot = getSlot(shape)\n  const solid = slot?.meshSolid as BrepHandle | undefined\n  if (!solid) return undefined\n\n  const faces = kernel.getSubShapes(solid, 'face').map((handle, i) => ({ ordinal: i + 1, handle }))\n  return { kernel, faces }\n}\n\n/**\n * 从 BREP 现场句柄建带边候选/邻接的 ResolutionContext（twoDistances 逐边重建用）。\n *\n * 与 `buildEdgeResolutionContext` 相同，但直接接收 live solid 句柄而非 Shape 槽——\n * 用于真机逐边构建后，输入已从上一次结果演化，Shape 槽里的 roleTable/hash 不再\n * 与当前句柄对应（§3.6 逐边构建，后续边要重新 resolve）。\n *\n * @param kernel - the OCCT kernel.\n * @param solid - the live BREP solid handle.\n * @param roleTable - optional role table to carry over (not used for strict matching).\n * @returns the edge-enabled resolution context (faces/edges/adjacency live from `solid`).\n */\nexport function buildEdgeContextFromSolid(\n  kernel: BrepEngineApi,\n  solid: BrepHandle,\n  roleTable?: RoleTable,\n): ResolutionContext {\n  const faceHandles = kernel.getSubShapes(solid, 'face')\n  const faces = faceHandles.map((handle, i) => ({ ordinal: i + 1, hash: undefined, handle }))\n  const edgeHandles = kernel.getSubShapes(solid, 'edge')\n  const edges: EdgeCandidateEntry[] = edgeHandles.map((handle, i) => ({\n    ordinal: i + 1,\n    handle,\n    hint: captureEdgeHint(kernel, handle),\n  }))\n  const liveEdges = edges.filter((e): e is EdgeCandidateEntry & { handle: BrepHandle } => e.handle !== undefined)\n  const faceHandlesArr = faceHandles.map((h, hi) => ({ handle: h, ordinal: hi + 1 }))\n  const faceEdgeAdjacency = faceHandlesArr.map(({ handle }) => {\n    const sub = kernel.getSubShapes(handle, 'edge')\n    return sub\n      .map((eh) => liveEdges.find((e) => kernel.isSame(eh, e.handle))?.ordinal)\n      .filter((v): v is number => v !== undefined)\n  })\n  const edgeFaceAdjacency = liveEdges.map(({ handle }) => {\n    const adj: number[] = []\n    for (const f of faceHandlesArr) {\n      if (kernel.getSubShapes(f.handle, 'edge').some((fe) => kernel.isSame(fe, handle))) adj.push(f.ordinal)\n    }\n    return adj\n  })\n  return { kernel, faces, edges, roleTable, faceEdgeAdjacency, edgeFaceAdjacency }\n}\n\n/**\n * 解析一个 face TopoRef 到「当前几何」，并从解析出的候选面派生求解几何。\n *\n * 结果与命名行的 surfaceType/center/normal 同口径（BREAK 现场 captureFaceHint /\n * mesh 行快照），保证两侧派生值一致。\n *\n * @param kernel - the OCCT kernel (can be null on the mesh/primitive path).\n * @param shape - the live input shape whose naming slot is being resolved.\n * @param ref - the FaceTopoRef captured earlier.\n * @returns the current face geometry (center/normal/surfaceType).\n */\nexport function resolveFaceGeometry(\n  kernel: BrepEngineApi | null,\n  shape: Shape,\n  ref: FaceTopoRef,\n): ResolvedFaceGeometry {\n  // 1.10 前置③：roleTable 是解析缓存。origin/role 条目 miss 时先沿血缘回走\n  // 重算并回填（miss 可恢复），再进解析——不再是\"缓存 miss = 无名\"。\n  let ctx = buildShapeResolutionContext(kernel, shape)\n  if (!ctx) {\n    throw new TopoRefError(\n      'E_TOPO_NOT_FOUND',\n      'face',\n      `no naming context on input shape (origin=${ref.origin}, role=${ref.role})`,\n    )\n  }\n  // 1.10 前置③：roleTable 是解析缓存。origin/role 条目 miss 时先沿血缘回走\n  // 重算并回填（miss 可恢复），再进解析——不再是\"缓存 miss = 无名\"。\n  if (ctx.roleTable && kernel) {\n    const entry0 = ctx.roleTable.get(ref.origin)?.get(ref.role)\n    if (entry0 === undefined) {\n      const recomputed = recomputeViaLineage(ref, shape, kernel)\n      if (recomputed) {\n        const merged = new Map(ctx.roleTable as ReadonlyMap<string, ReadonlyMap<string, readonly number[]>>)\n        merged.set(ref.origin, new Map([...(ctx.roleTable.get(ref.origin) ?? new Map()), [ref.role, recomputed]]))\n        ctx = { ...ctx, roleTable: merged as unknown as typeof ctx.roleTable }\n      }\n    }\n  }\n  const entity = resolveTopoRef(ref, ctx)\n  const entry = ctx.faces[entity.ordinal - 1]\n  if (!entry) {\n    throw new TopoRefError(\n      'E_TOPO_NOT_FOUND',\n      'face',\n      `resolved ordinal ${entity.ordinal} has no candidate in context (origin=${ref.origin}, role=${ref.role})`,\n    )\n  }\n  // BREAK 现场：capture 出当前法向/中心（圆柱面含轴）\n  if (entry.handle && ctx.kernel) {\n    const hint = captureFaceHint(ctx.kernel, entry.handle)\n    return {\n      surfaceType: hint.surfaceType,\n      center: hint.center ?? [0, 0, 0],\n      normal: hint.normal ?? [0, 0, 1],\n      ...(hint.axis ? { axis: hint.axis } : {}),\n    }\n  }\n  // mesh/行快照：直接用行几何（axis 由宿主行注入，缺省 undefined）\n  const ext = entry.row\n  const hint = ext ? faceRowToHint(ext) : undefined\n  return {\n    surfaceType: hint?.surfaceType,\n    center: hint?.center ?? [0, 0, 0],\n    normal: hint?.normal ?? [0, 0, 1],\n    ...(hint?.axis ? { axis: hint.axis } : {}),\n  }\n}\n\n/**\n * FaceMateConstraint 面的等价重载：face 参数对象（`{topoRef}` 或旧快照）的守卫。\n *\n * @param v - the value to test.\n * @returns true when the value is a FaceTopoRef (kind === 'face').\n */\nexport function isFaceTopoRef(v: unknown): v is FaceTopoRef {\n  return !!v && typeof v === 'object' && (v as { kind?: unknown }).kind === 'face'\n}"]}

package/dist/api/transform.d.ts

@@ -1,5 +1,5 @@
 /**
- * stdlib transform — 变换对象库函数（translate/rotate_euler/scale/scale3d）
+ * api transform — 变换对象库函数（translate/rotate_euler/scale/scale3d）
  *
  * 平台分层（narrowing plan Phase 5，D11 + 2026-09-28 D 批降级）：
  * - `translate` / `scale`：**中立 op**（不再声明 `engines:['occt']`）。BREP 路径按引擎
@@ -17,6 +17,10 @@
  *
  * dispatchPath 静态判定 brep/mesh，
  * BREP 路径用 brepOf(input) 取输入实体、fromBrep 登记输出实体。
+ *
+ * 网格链（方案 2026-10-01 §4 Phase 4 / B3 批）：`mesh:` 实现分两支——**网格实体**
+ * 走网格后端内核变换句柄（保持网格零件身份与近似拓扑），**裸网格**维持既有的顶点
+ * 烘焙（manifold 链，无身份可言）。两支靠 `hasMeshSolid` 区分，不靠"能不能跑"试错。
  */
 import type { Shape } from '../mesh/types.js';
 /**

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

@@ -1 +1 @@
-{"version":3,"file":"transform.d.ts","sourceRoot":"","sources":["../../src/api/transform.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;GAmBG;AAEH,OAAO,KAAK,EAAE,KAAK,EAAQ,MAAM,eAAe,CAAA;AAqBhD;;;GAGG;AACH,wBAAgB,qBAAqB,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG,IAAI,CAE3E;AAED;;;;GAIG;AACH,wBAAgB,kBAAkB,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG,IAAI,CAKxE;AAED;;;;;;GAMG;AACH,wBAAgB,iBAAiB,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG,IAAI,CAQvE;AAED;;;;;GAKG;AACH,wBAAgB,mBAAmB,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG,IAAI,CAQzE;AA0FD;;;;;;;;;;;;;IAaI;AACJ,eAAO,MAAM,SAAS;;CAiBpB,CAAA;AAEF;;;;;;;;;;;;;;;GAeG;AACH,eAAO,MAAM,YAAY;;CAgBvB,CAAA;AAEF;;;;;;;;;;;;;;;;GAgBG;AACH,eAAO,MAAM,KAAK;;CAkBhB,CAAA;AAEF;;;;;;;;;;;;;;;;GAgBG;AACH,eAAO,MAAM,OAAO;;CAkBlB,CAAA"}
+{"version":3,"file":"transform.d.ts","sourceRoot":"","sources":["../../src/api/transform.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;GAuBG;AAEH,OAAO,KAAK,EAAE,KAAK,EAAQ,MAAM,eAAe,CAAA;AAsBhD;;;GAGG;AACH,wBAAgB,qBAAqB,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG,IAAI,CAE3E;AAED;;;;GAIG;AACH,wBAAgB,kBAAkB,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG,IAAI,CAKxE;AAED;;;;;;GAMG;AACH,wBAAgB,iBAAiB,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG,IAAI,CAQvE;AAED;;;;;GAKG;AACH,wBAAgB,mBAAmB,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG,IAAI,CAQzE;AA0HD;;;;;;;;;;;;;IAaI;AACJ,eAAO,MAAM,SAAS;;CAmBpB,CAAA;AAEF;;;;;;;;;;;;;;;GAeG;AACH,eAAO,MAAM,YAAY;;CAkBvB,CAAA;AAEF;;;;;;;;;;;;;;;;GAgBG;AACH,eAAO,MAAM,KAAK;;CAoBhB,CAAA;AAEF;;;;;;;;;;;;;;;;GAgBG;AACH,eAAO,MAAM,OAAO;;CAoBlB,CAAA"}

package/dist/api/transform.js

@@ -1,5 +1,5 @@
 /**
- * stdlib transform — 变换对象库函数（translate/rotate_euler/scale/scale3d）
+ * api transform — 变换对象库函数（translate/rotate_euler/scale/scale3d）
  *
  * 平台分层（narrowing plan Phase 5，D11 + 2026-09-28 D 批降级）：
  * - `translate` / `scale`：**中立 op**（不再声明 `engines:['occt']`）。BREP 路径按引擎
@@ -17,6 +17,10 @@
  *
  * dispatchPath 静态判定 brep/mesh，
  * BREP 路径用 brepOf(input) 取输入实体、fromBrep 登记输出实体。
+ *
+ * 网格链（方案 2026-10-01 §4 Phase 4 / B3 批）：`mesh:` 实现分两支——**网格实体**
+ * 走网格后端内核变换句柄（保持网格零件身份与近似拓扑），**裸网格**维持既有的顶点
+ * 烘焙（manifold 链，无身份可言）。两支靠 `hasMeshSolid` 区分，不靠"能不能跑"试错。
  */
 import { cad } from '../mesh/index.js';
 import { translateBrep, rotateBrep, scaleBrep, solidToShape } from '../brep/brep-ops.js';
@@ -24,10 +28,11 @@ import { identityEvolution, identityHashEvolution, scaleWithHashEvolution, trans
 import { getBrepApi } from '../brep/handle-bridge.js';
 import { getBackends } from '../runtime-state.js';
 import { engineCapabilitySet } from '../cad-runtime/backend-dispatch.js';
-import { fromBrep, brepOf, inputRoleTable } from '../shape.js';
+import { fromBrep, brepOf, inputRoleTable, hasMeshSolid } from '../shape.js';
 import { propagateAllOrigins } from '../topology/naming/roles.js';
 import { defineOp } from '../sdk.js';
 import { assertVec3, assertPositiveNumber } from './assert.js';
+import { meshSolidBasicEntry, meshSolidProduct } from './internal/mesh-solid-op.js';
 /**
  * Validate translate parameters: `offset` must be a vec3.
  * @param params - the raw translate operation parameters.
@@ -94,7 +99,7 @@ function transformBrep(op, input, params) {
     const kernel = getBrepApi();
     const inputSolid = brepOf(input);
     if (!inputSolid)
-        throw new Error('[stdlib/transform] input is not BREP');
+        throw new Error('[api/transform] input is not BREP');
     // 静态双轨（无运行时 try-catch 回退——按引擎**声明**的能力集在执行前定轨）：
     // - occt（声明 *WithHistory）→ 权威历史路径（产内核面映射 + roleTable）。
     // - brepkit（裸 translate/scale 是真实现，无 *WithHistory）→ L1 裸调用 + identityHashEvolution。
@@ -156,6 +161,40 @@ function transformBrep(op, input, params) {
         roleTable,
     });
 }
+/**
+ * 网格实体路径：把同一个变换应用到网格实体的**句柄**上（方案 2026-10-01 §4 Phase 4 / B3 批）。
+ *
+ * 为什么不复用 `cad.translate` 那套顶点烘焙：那套只动 `positions`、不碰身份槽——
+ * 对一个网格零件用它，等于把"网格实体 + 近似拓扑"静默降级成"裸网格"（下游每一个
+ * 网格 op 都会因此失去选面/选边的能力）。网格链的正确姿势与 BREP 侧完全一致：
+ * **变换句柄**（内核 `translate`/`transform` 带 kind tag 返回新实体），再由
+ * `meshSolidProduct` 重新三角化 + 重建近似拓扑。
+ *
+ * 面演化在这里**如实缺席**：变换按定义 1:1 保面序，但没有 hash 演化可言（近似拓扑
+ * 没有内核 hash）——不造恒等映射，也不传播 roleTable（网格链上没有 roleTable）。
+ *
+ * @param op - the transform operation name.
+ * @param input - the mesh-solid input.
+ * @param params - the validated operation parameters.
+ * @returns the transformed mesh solid as a new mesh part.
+ */
+function transformMeshSolid(op, input, params) {
+    const entry = meshSolidBasicEntry(input, op);
+    let result;
+    if (op === 'translate') {
+        result = translateBrep(entry.kernel, entry.solid, params.offset);
+    }
+    else if (op === 'rotate_euler') {
+        result = rotateBrep(entry.kernel, entry.solid, params.angles, params.pivot);
+    }
+    else if (op === 'scale') {
+        result = scaleBrep(entry.kernel, entry.solid, params.factor, params.center);
+    }
+    else {
+        result = scaleBrep(entry.kernel, entry.solid, params.factor, params.center);
+    }
+    return meshSolidProduct(entry, result);
+}
 /**
  * 平移几何体。
  * @group 变换
@@ -172,15 +211,18 @@ function transformBrep(op, input, params) {
   */
 export const translate = defineOp({
     name: 'translate',
+    meshEngines: ['brepkit'],
     mesh: (input, params) => {
         if (!input)
-            throw new Error('[stdlib/translate] no input geometry');
+            throw new Error('[api/translate] no input geometry');
         assertTranslateParams(params);
+        if (hasMeshSolid(input))
+            return transformMeshSolid('translate', input, params);
         return cad.translate(input, params.offset);
     },
     brep: (input, params) => {
         if (!input)
-            throw new Error('[stdlib/translate] no input geometry');
+            throw new Error('[api/translate] no input geometry');
         assertTranslateParams(params);
         return transformBrep('translate', input, params);
     },
@@ -208,15 +250,18 @@ export const translate = defineOp({
  */
 export const rotate_euler = defineOp({
     name: 'rotate_euler',
+    meshEngines: ['brepkit'],
     mesh: (input, params) => {
         if (!input)
-            throw new Error('[stdlib/rotate_euler] no input geometry');
+            throw new Error('[api/rotate_euler] no input geometry');
         assertRotateParams(params);
+        if (hasMeshSolid(input))
+            return transformMeshSolid('rotate_euler', input, params);
         return cad.rotate_euler(input, params.angles, params.pivot);
     },
     brep: (input, params) => {
         if (!input)
-            throw new Error('[stdlib/rotate_euler] no input geometry');
+            throw new Error('[api/rotate_euler] no input geometry');
         assertRotateParams(params);
         return transformBrep('rotate_euler', input, params);
     },
@@ -244,15 +289,18 @@ export const rotate_euler = defineOp({
  */
 export const scale = defineOp({
     name: 'scale',
+    meshEngines: ['brepkit'],
     mesh: (input, params) => {
         if (!input)
-            throw new Error('[stdlib/scale] no input geometry');
+            throw new Error('[api/scale] no input geometry');
         assertScaleParams(params);
+        if (hasMeshSolid(input))
+            return transformMeshSolid('scale', input, params);
         return cad.scale(input, params.factor, params.center);
     },
     brep: (input, params) => {
         if (!input)
-            throw new Error('[stdlib/scale] no input geometry');
+            throw new Error('[api/scale] no input geometry');
         assertScaleParams(params);
         return transformBrep('scale', input, params);
     },
@@ -282,15 +330,18 @@ export const scale = defineOp({
  */
 export const scale3d = defineOp({
     name: 'scale3d',
+    meshEngines: ['brepkit'],
     mesh: (input, params) => {
         if (!input)
-            throw new Error('[stdlib/scale3d] no input geometry');
+            throw new Error('[api/scale3d] no input geometry');
         assertScale3dParams(params);
+        if (hasMeshSolid(input))
+            return transformMeshSolid('scale3d', input, params);
         return cad.scale3d(input, params.factor, params.center);
     },
     brep: (input, params) => {
         if (!input)
-            throw new Error('[stdlib/scale3d] no input geometry');
+            throw new Error('[api/scale3d] no input geometry');
         assertScale3dParams(params);
         return transformBrep('scale3d', input, params);
     },