@faicad/faijs 0.13.2 → 0.16.0

package/dist/topology/naming/build-naming.js.map

@@ -1 +1 @@
-{"version":3,"file":"build-naming.js","sourceRoot":"","sources":["../../../src/topology/naming/build-naming.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AAIH,OAAO,EAAE,aAAa,EAAE,aAAa,EAAE,MAAM,aAAa,CAAA;AAC1D,OAAO,EAAE,aAAa,EAAE,iBAAiB,EAAE,MAAM,SAAS,CAAA;AAqC1D;;;;;;;GAOG;AACH,MAAM,UAAU,cAAc,CAC5B,KAAgB,EAChB,aAAgC,EAChC,OAAe;IAEf,KAAK,MAAM,CAAC,MAAM,EAAE,KAAK,CAAC,IAAI,KAAK,EAAE,CAAC;QACpC,MAAM,IAAI,GAAG,aAAa,CAAC,KAAK,EAAE,aAAa,EAAE,OAAO,CAAC,CAAA;QACzD,IAAI,IAAI,KAAK,SAAS;YAAE,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,CAAA;IACjD,CAAC;IACD,OAAO,SAAS,CAAA;AAClB,CAAC;AAED;;;;;;;;;;;;;;GAcG;AACH,MAAM,UAAU,wBAAwB,CACtC,KAA+B,EAC/B,QAAkB;IAElB,OAAO,KAAK,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC,EAAE,EAAE;QAC1B,MAAM,WAAW,GAAG,GAAG,CAAC,WAAW,CAAA;QACnC,MAAM,MAAM,GAAG,GAAG,CAAC,MAAM,CAAA;QACzB,IAAI,WAAW,KAAK,UAAU;YAAE,OAAO,kBAAkB,CAAA;QACzD,IAAI,WAAW,KAAK,MAAM;YAAE,OAAO,cAAc,CAAA;QACjD,IAAI,WAAW,KAAK,QAAQ;YAAE,OAAO,gBAAgB,CAAA;QACrD,IAAI,WAAW,KAAK,OAAO,IAAI,MAAM,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YAC7D,MAAM,IAAI,GAAG,iBAAiB,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAA;YACjE,IAAI,IAAI;gBAAE,OAAO,IAAI,CAAA;QACvB,CAAC;QACD,OAAO,GAAG,QAAQ,SAAS,CAAC,EAAE,CAAA;IAChC,CAAC,CAAC,CAAA;AACJ,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,eAAe,CAAC,KAAsB;IACpD,MAAM,EAAE,MAAM,EAAE,QAAQ,EAAE,GAAG,KAAK,CAAA;IAClC,MAAM,UAAU,GAAiB,EAAE,CAAA;IACnC,KAAK,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,GAAG,EAAE,CAAC,EAAE,EAAE;QAC7B,MAAM,OAAO,GAAG,CAAC,GAAG,CAAC,CAAA;QACrB,MAAM,IAAI,GAAG,aAAa,CAAC,GAAG,CAAC,CAAA;QAC/B,IAAI,MAAM,KAAK,MAAM,IAAI,KAAK,CAAC,SAAS,IAAI,KAAK,CAAC,aAAa,EAAE,CAAC;YAChE,MAAM,KAAK,GAAG,cAAc,CAAC,KAAK,CAAC,SAAS,EAAE,KAAK,CAAC,aAAa,EAAE,OAAO,CAAC,CAAA;YAC3E,IAAI,KAAK,EAAE,CAAC;gBACV,UAAU,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,KAAK,CAAC,MAAM,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,IAAI,EAAE,CAAC,CAAA;gBACjE,OAAM;YACR,CAAC;YACD,0CAA0C;YAC1C,UAAU,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,QAAQ,EAAE,IAAI,EAAE,EAAE,EAAE,IAAI,EAAE,CAAC,CAAA;YACrD,OAAM;QACR,CAAC;QACD,IAAI,MAAM,KAAK,WAAW,IAAI,KAAK,CAAC,cAAc,EAAE,CAAC;YACnD,UAAU,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,QAAQ,EAAE,IAAI,EAAE,KAAK,CAAC,cAAc,CAAC,CAAC,CAAC,IAAI,EAAE,EAAE,IAAI,EAAE,CAAC,CAAA;YAChF,OAAM;QACR,CAAC;QACD,UAAU,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,QAAQ,EAAE,IAAI,EAAE,EAAE,EAAE,IAAI,EAAE,CAAC,CAAA;IACvD,CAAC,CAAC,CAAA;IAEF,MAAM,UAAU,GAAiB,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC,EAAE,EAAE;QAC1D,MAAM,IAAI,GAAG,aAAa,CAAC,GAAG,CAAC,CAAA;QAC/B,MAAM,IAAI,GAAG,KAAK,CAAC,gBAAgB,EAAE,CAAC,CAAC,CAAC,CAAA;QACxC,IAAI,IAAI,IAAI,KAAK,CAAC,SAAS,IAAI,KAAK,CAAC,aAAa,EAAE,CAAC;YACnD,MAAM,CAAC,GAAG,cAAc,CAAC,KAAK,CAAC,SAAS,EAAE,KAAK,CAAC,aAAa,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,CAAA;YACvE,MAAM,CAAC,GAAG,cAAc,CAAC,KAAK,CAAC,SAAS,EAAE,KAAK,CAAC,aAAa,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,CAAA;YACvE,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;gBACX,OAAO,EAAE,KAAK,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,EAAE,EAAE,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC,EAAE,IAAI,EAAE,CAAA;YAClG,CAAC;QACH,CAAC;QACD,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,CAAA;IAC9B,CAAC,CAAC,CAAA;IAEF,OAAO,EAAE,MAAM,EAAE,UAAU,EAAE,UAAU,EAAE,CAAA;AAC3C,CAAC","sourcesContent":["/**\n * build-naming.ts — ExecutionResult.naming 生成（§3.7）\n *\n * 从「part 的面行 + RoleTable」生成 FaceNaming/EdgeNaming 命名行，供宿主 O(1)\n * 反查（拾取序号 → 命名行 → captureTopoRef）。序号(1起) ↔ 数组下标。\n *\n * - BREP：roleTable + roleOfOrdinal 反查每个面的 {origin, role}（布尔合流后\n *   一张表可能含多个 origin，逐 origin 反查）；hint 取自面行（与 BREP 现场\n *   同口径，见 geom-hint.ts）。\n * - primitive：role 由固定面序的语义命名器给出（M4 §5.2 接入；本函数留\n *   primitiveRoles 参数，M4 填充）。\n * - mesh：只填 hint、role=''、origin=该 part（§5.3：只能几何兜底）。\n */\n\nimport type { PartName } from '../../identity'\nimport type { RoleTable, FaceNaming, EdgeNaming, PartNaming } from './types'\nimport { faceRowToHint, edgeRowToHint } from './geom-hint'\nimport { roleOfOrdinal, boxRoleFromNormal } from './roles'\n\n/** 面的源行数据（FaceRow 子集，够生成 hint + 反查）。axis 为宿主注入的轴快照（装配轴约束用）。 */\nexport interface NamingFaceRow {\n  readonly surfaceType?: string\n  readonly normal?: readonly number[] | null\n  readonly center?: readonly number[] | null\n  readonly area?: number\n  readonly axis?: { readonly origin?: readonly number[] | null; readonly direction?: readonly number[] | null } | null\n}\n\n/** 边的源行数据（EdgeRow 子集）。axis 为直边/圆边的轴快照（装配轴约束用）。 */\nexport interface NamingEdgeRow {\n  readonly length?: number\n  readonly center?: readonly number[] | null\n  readonly axis?: { readonly origin?: readonly number[] | null; readonly direction?: readonly number[] | null } | null\n}\n\n/** 生成 PartNaming 的输入。 */\nexport interface PartNamingInput {\n  readonly source: 'brep' | 'primitive' | 'mesh'\n  /** 该 part 变量名（mesh/primitive 的 origin 兜底；BREP 用 role 的 origin）。 */\n  readonly partName: PartName\n  /** 面命名源行（序号 1 起 ↔ 数组下标 0 起）。 */\n  readonly faces: readonly NamingFaceRow[]\n  /** 边命名源行（序号 1 起 ↔ 数组下标 0 起）。 */\n  readonly edges: readonly NamingEdgeRow[]\n  /** BREP：RoleTable（可能多 origin）；mesh/primitive 缺省。 */\n  readonly roleTable?: RoleTable\n  /** BREP：subShapeHashes(shape,'face')，序号 → hash 对照（roleOfOrdinal 用）。 */\n  readonly ordinalToHash?: readonly number[]\n  /** primitive：按固定面序的语义 role（M4 填充）；缺省 → role=''。 */\n  readonly primitiveRoles?: readonly string[]\n  /** 每条边的两邻面序号（1 起；来自 manifest faceEdgeRows/edgeFaceRows）。mesh 无邻接 → undefined。 */\n  readonly edgeFaceOrdinals?: ReadonlyArray<readonly [number, number] | null>\n}\n\n/**\n * 逐 origin 反查一个面的 {origin, role}（布尔合流后 RoleTable 含多个 origin）。\n *\n * @param table - the RoleTable (may have several origins after a boolean merge).\n * @param ordinalToHash - ordinal → hash array (subShapeHashes).\n * @param ordinal - the face ordinal (1-based).\n * @returns the owning origin and role, or undefined when no origin tracks it.\n */\nexport function findOriginRole(\n  table: RoleTable,\n  ordinalToHash: readonly number[],\n  ordinal: number,\n): { origin: PartName; role: string } | undefined {\n  for (const [origin, roles] of table) {\n    const role = roleOfOrdinal(roles, ordinalToHash, ordinal)\n    if (role !== undefined) return { origin, role }\n  }\n  return undefined\n}\n\n/**\n * 为 primitive 假拓扑按面行几何命名语义 role（§5.2，与 BREP §3.2 同一套命名器）。\n *\n * primitive 无 OCCT solid，用「固定面序 + 面行几何」直接命名：\n * - plane + 法向主轴 → box 语义名（box:top/bottom/front/back/left/right）\n * - cylinder/cone/sphere 曲面 → lateral/surface 语义名\n * - 其余/认不出 → 位置名 `${partName}:face_${i}`（保证每面必有 role）\n *\n * 与 BREP assignRoles 的对照：cube 固定面序（+X,-X,+Y,-Y,+Z,-Z）命名一致\n * （f0→box:right、f1→box:left、f2→box:back、f3→box:front、f4→box:top、f5→box:bottom）。\n *\n * @param faces - the primitive's face rows (fixed enumeration order).\n * @param partName - the part variable name (positional-role prefix).\n * @returns one semantic role per face (same length as faces).\n */\nexport function assignPrimitiveFaceRoles(\n  faces: readonly NamingFaceRow[],\n  partName: PartName,\n): string[] {\n  return faces.map((row, i) => {\n    const surfaceType = row.surfaceType\n    const normal = row.normal\n    if (surfaceType === 'cylinder') return 'cylinder:lateral'\n    if (surfaceType === 'cone') return 'cone:lateral'\n    if (surfaceType === 'sphere') return 'sphere:surface'\n    if (surfaceType === 'plane' && normal && normal.length === 3) {\n      const role = boxRoleFromNormal([normal[0], normal[1], normal[2]])\n      if (role) return role\n    }\n    return `${partName}:face_${i}`\n  })\n}\n\n/**\n * 生成一个 part 的命名数据（§3.7 ExecutionResult.naming 元素）。\n *\n * @param input - the part naming input.\n * @returns the PartNaming rows.\n */\nexport function buildPartNaming(input: PartNamingInput): PartNaming {\n  const { source, partName } = input\n  const faceNaming: FaceNaming[] = []\n  input.faces.forEach((row, i) => {\n    const ordinal = i + 1\n    const hint = faceRowToHint(row)\n    if (source === 'brep' && input.roleTable && input.ordinalToHash) {\n      const found = findOriginRole(input.roleTable, input.ordinalToHash, ordinal)\n      if (found) {\n        faceNaming.push({ origin: found.origin, role: found.role, hint })\n        return\n      }\n      // BREP 链上面应都被追踪；未命中 → role=''（理论不发生，显式兜底）\n      faceNaming.push({ origin: partName, role: '', hint })\n      return\n    }\n    if (source === 'primitive' && input.primitiveRoles) {\n      faceNaming.push({ origin: partName, role: input.primitiveRoles[i] ?? '', hint })\n      return\n    }\n    faceNaming.push({ origin: partName, role: '', hint })\n  })\n\n  const edgeNaming: EdgeNaming[] = input.edges.map((row, i) => {\n    const hint = edgeRowToHint(row)\n    const pair = input.edgeFaceOrdinals?.[i]\n    if (pair && input.roleTable && input.ordinalToHash) {\n      const a = findOriginRole(input.roleTable, input.ordinalToHash, pair[0])\n      const b = findOriginRole(input.roleTable, input.ordinalToHash, pair[1])\n      if (a && b) {\n        return { faces: [{ origin: a.origin, role: a.role }, { origin: b.origin, role: b.role }], hint }\n      }\n    }\n    return { faces: null, hint }\n  })\n\n  return { source, faceNaming, edgeNaming }\n}\n"]}
+{"version":3,"file":"build-naming.js","sourceRoot":"","sources":["../../../src/topology/naming/build-naming.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AAIH,OAAO,EAAE,aAAa,EAAE,aAAa,EAAE,MAAM,aAAa,CAAA;AAC1D,OAAO,EAAE,aAAa,EAAE,MAAM,SAAS,CAAA;AAmCvC;;;;;;;GAOG;AACH,MAAM,UAAU,cAAc,CAC5B,KAAgB,EAChB,aAAgC,EAChC,OAAe;IAEf,KAAK,MAAM,CAAC,MAAM,EAAE,KAAK,CAAC,IAAI,KAAK,EAAE,CAAC;QACpC,MAAM,IAAI,GAAG,aAAa,CAAC,KAAK,EAAE,aAAa,EAAE,OAAO,CAAC,CAAA;QACzD,IAAI,IAAI,KAAK,SAAS;YAAE,OAAO,EAAE,MAAM,EAAE,MAAgB,EAAE,IAAI,EAAE,CAAA;IACnE,CAAC;IACD,OAAO,SAAS,CAAA;AAClB,CAAC;AAED;;;;;;;;;GASG;AACH,MAAM,UAAU,eAAe,CAAC,KAAsB;IACpD,MAAM,EAAE,MAAM,EAAE,GAAG,KAAK,CAAA;IACxB,MAAM,UAAU,GAAiB,EAAE,CAAA;IACnC,KAAK,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,GAAG,EAAE,CAAC,EAAE,EAAE;QAC7B,MAAM,IAAI,GAAG,aAAa,CAAC,GAAG,CAAC,CAAA;QAC/B,IAAI,MAAM,KAAK,MAAM,IAAI,KAAK,CAAC,SAAS,IAAI,KAAK,CAAC,aAAa,EAAE,CAAC;YAChE,MAAM,KAAK,GAAG,cAAc,CAAC,KAAK,CAAC,SAAS,EAAE,KAAK,CAAC,aAAa,EAAE,CAAC,GAAG,CAAC,CAAC,CAAA;YACzE,IAAI,KAAK,EAAE,CAAC;gBACV,UAAU,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,KAAK,CAAC,MAAM,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,IAAI,EAAE,CAAC,CAAA;gBACjE,OAAM;YACR,CAAC;YACD,uCAAuC;YACvC,UAAU,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,CAAA;YACnD,OAAM;QACR,CAAC;QACD,uEAAuE;QACvE,UAAU,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,CAAA;IACrD,CAAC,CAAC,CAAA;IAEF,MAAM,UAAU,GAAiB,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC,EAAE,EAAE;QAC1D,MAAM,IAAI,GAAG,aAAa,CAAC,GAAG,CAAC,CAAA;QAC/B,MAAM,IAAI,GAAG,KAAK,CAAC,gBAAgB,EAAE,CAAC,CAAC,CAAC,CAAA;QACxC,IAAI,IAAI,IAAI,KAAK,CAAC,SAAS,IAAI,KAAK,CAAC,aAAa,EAAE,CAAC;YACnD,MAAM,CAAC,GAAG,cAAc,CAAC,KAAK,CAAC,SAAS,EAAE,KAAK,CAAC,aAAa,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,CAAA;YACvE,MAAM,CAAC,GAAG,cAAc,CAAC,KAAK,CAAC,SAAS,EAAE,KAAK,CAAC,aAAa,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,CAAA;YACvE,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;gBACX,MAAM,EAAE,GAAkB,EAAE,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,CAAA;gBAC5D,MAAM,EAAE,GAAkB,EAAE,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,CAAA;gBAC5D,OAAO,EAAE,KAAK,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,IAAI,EAAE,CAAA;YAClC,CAAC;QACH,CAAC;QACD,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,CAAA;IAC9B,CAAC,CAAC,CAAA;IAEF,OAAO,EAAE,MAAM,EAAE,UAAU,EAAE,UAAU,EAAE,CAAA;AAC3C,CAAC","sourcesContent":["/**\n * build-naming.ts — ExecutionResult.naming 生成（§3.7）\n *\n * 从「part 的面行 + RoleTable」生成 FaceNaming/EdgeNaming 命名行，供宿主 O(1)\n * 反查（拾取序号 → 命名行 → captureTopoRef）。序号(1起) ↔ 数组下标。\n *\n * Phase 1.6/1.7 换型（§4.1/§4.2）：\n * - RoleTable 外层键与 naming 行的 origin 一律是 **StmtId**（不再 PartName）。\n * - role 是 RoleName 的线格式串（无 'box:' 前缀）。\n * - **无身份面显式 `role: null`**——`''` 静默兜底已删（G6）；mesh 来源只填 hint。\n */\n\nimport type { StmtId, PartName } from '../../identity'\nimport type { RoleTable, FaceNaming, EdgeNaming, PartNaming, RoleQualifier } from './types'\nimport { faceRowToHint, edgeRowToHint } from './geom-hint'\nimport { roleOfOrdinal } from './roles'\n\n/** 面的源行数据（FaceRow 子集，够生成 hint + 反查）。axis 为宿主注入的轴快照（装配轴约束用）。 */\nexport interface NamingFaceRow {\n  readonly surfaceType?: string\n  readonly normal?: readonly number[] | null\n  readonly center?: readonly number[] | null\n  readonly area?: number\n  readonly axis?: { readonly origin?: readonly number[] | null; readonly direction?: readonly number[] | null } | null\n}\n\n/** 边的源行数据（EdgeRow 子集）。axis 为直边/圆边的轴快照（装配轴约束用）。 */\nexport interface NamingEdgeRow {\n  readonly length?: number\n  readonly center?: readonly number[] | null\n  readonly axis?: { readonly origin?: readonly number[] | null; readonly direction?: readonly number[] | null } | null\n}\n\n/** 生成 PartNaming 的输入。 */\nexport interface PartNamingInput {\n  readonly source: 'brep' | 'primitive' | 'mesh'\n  /** 该 part 变量名（仅 UI 显示兜底用；身份一律走 roleTable 的 StmtId）。 */\n  readonly partName: PartName\n  /** 面命名源行（序号 1 起 ↔ 数组下标 0 起）。 */\n  readonly faces: readonly NamingFaceRow[]\n  /** 边命名源行（序号 1 起 ↔ 数组下标 0 起）。 */\n  readonly edges: readonly NamingEdgeRow[]\n  /** BREP：RoleTable（可能多 origin，键=StmtId）；mesh/primitive 缺省。 */\n  readonly roleTable?: RoleTable\n  /** BREP：subShapeHashes(shape,'face')，序号 → hash 对照（roleOfOrdinal 用）。 */\n  readonly ordinalToHash?: readonly number[]\n  /** 每条边的两邻面序号（1 起；来自 manifest faceEdgeRows/edgeFaceRows）。mesh 无邻接 → undefined。 */\n  readonly edgeFaceOrdinals?: ReadonlyArray<readonly [number, number] | null>\n}\n\n/**\n * 逐 origin 反查一个面的 {origin, role}（布尔合流后 RoleTable 含多个 origin）。\n *\n * @param table - the RoleTable (may have several origins after a boolean merge; keys are StmtId strings).\n * @param ordinalToHash - ordinal → hash array (subShapeHashes).\n * @param ordinal - the face ordinal (1-based).\n * @returns the owning origin (StmtId) and role, or undefined when no origin tracks it.\n */\nexport function findOriginRole(\n  table: RoleTable,\n  ordinalToHash: readonly number[],\n  ordinal: number,\n): { origin: StmtId; role: string } | undefined {\n  for (const [origin, roles] of table) {\n    const role = roleOfOrdinal(roles, ordinalToHash, ordinal)\n    if (role !== undefined) return { origin: origin as StmtId, role }\n  }\n  return undefined\n}\n\n/**\n * 生成一个 part 的命名数据（§3.7 ExecutionResult.naming 元素）。\n *\n * Phase 1.8（D6）：mesh 伪拓扑已删——primitive/mesh 来源**不再派生 role**\n * （拓扑身份是 BREP 专有能力，§3）；primitive 分支与 mesh 一致只填 hint。\n * G6：无身份面显式 `role: null`（`''` 兜底已删）。\n *\n * @param input - the part naming input.\n * @returns the PartNaming rows.\n */\nexport function buildPartNaming(input: PartNamingInput): PartNaming {\n  const { source } = input\n  const faceNaming: FaceNaming[] = []\n  input.faces.forEach((row, i) => {\n    const hint = faceRowToHint(row)\n    if (source === 'brep' && input.roleTable && input.ordinalToHash) {\n      const found = findOriginRole(input.roleTable, input.ordinalToHash, i + 1)\n      if (found) {\n        faceNaming.push({ origin: found.origin, role: found.role, hint })\n        return\n      }\n      // BREP 链上未追踪的面：显式无身份（G6——不再伪造 role=''）\n      faceNaming.push({ origin: null, role: null, hint })\n      return\n    }\n    // primitive / mesh：拓扑身份是 BREP 专有能力（§3/D6）——只填 hint，origin/role 显式 null\n    faceNaming.push({ origin: null, role: null, hint })\n  })\n\n  const edgeNaming: EdgeNaming[] = input.edges.map((row, i) => {\n    const hint = edgeRowToHint(row)\n    const pair = input.edgeFaceOrdinals?.[i]\n    if (pair && input.roleTable && input.ordinalToHash) {\n      const a = findOriginRole(input.roleTable, input.ordinalToHash, pair[0])\n      const b = findOriginRole(input.roleTable, input.ordinalToHash, pair[1])\n      if (a && b) {\n        const qa: RoleQualifier = { origin: a.origin, role: a.role }\n        const qb: RoleQualifier = { origin: b.origin, role: b.role }\n        return { faces: [qa, qb], hint }\n      }\n    }\n    return { faces: null, hint }\n  })\n\n  return { source, faceNaming, edgeNaming }\n}\n"]}

package/dist/topology/naming/capture-topo-ref.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"capture-topo-ref.d.ts","sourceRoot":"","sources":["../../../src/topology/naming/capture-topo-ref.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAEH,OAAO,EAAgB,KAAK,UAAU,EAAE,KAAK,UAAU,EAAE,KAAK,OAAO,EAAE,MAAM,SAAS,CAAA;AAOtF;;;;;;;;;;;GAWG;AACH,wBAAgB,cAAc,CAAC,GAAG,EAAE,UAAU,GAAG,UAAU,GAAG,OAAO,CAYpE"}
+{"version":3,"file":"capture-topo-ref.d.ts","sourceRoot":"","sources":["../../../src/topology/naming/capture-topo-ref.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAEH,OAAO,EAAgB,KAAK,UAAU,EAAE,KAAK,UAAU,EAAE,KAAK,OAAO,EAAE,MAAM,SAAS,CAAA;AAOtF;;;;;;;;;;;GAWG;AACH,wBAAgB,cAAc,CAAC,GAAG,EAAE,UAAU,GAAG,UAAU,GAAG,OAAO,CAqBpE"}

package/dist/topology/naming/capture-topo-ref.js

@@ -29,6 +29,11 @@ export function captureTopoRef(row) {
         }
         return { kind: 'edge', faces: row.faces, hint: row.hint };
     }
+    // Phase 1.6/1.8：无身份行（origin/role=null，mesh 或未追踪面）不能构造 FaceTopoRef
+    // ——身份字段是引用的主键，伪造空值正是被删除的静默降级（G6）。
+    if (row.origin === null || row.role === null) {
+        throw new TopoRefError('E_TOPO_NOT_FOUND', 'face', 'face naming row has no identity (mesh path or untracked face on the BREP chain)');
+    }
     return { kind: 'face', origin: row.origin, role: row.role, hint: row.hint };
 }
 //# sourceMappingURL=capture-topo-ref.js.map

package/dist/topology/naming/capture-topo-ref.js.map

@@ -1 +1 @@
-{"version":3,"file":"capture-topo-ref.js","sourceRoot":"","sources":["../../../src/topology/naming/capture-topo-ref.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAEH,OAAO,EAAE,YAAY,EAAkD,MAAM,SAAS,CAAA;AAEtF,6CAA6C;AAC7C,SAAS,YAAY,CAAC,GAA4B;IAChD,OAAO,GAAG,CAAC,IAAI,CAAC,IAAI,KAAK,MAAM,CAAA;AACjC,CAAC;AAED;;;;;;;;;;;GAWG;AACH,MAAM,UAAU,cAAc,CAAC,GAA4B;IACzD,IAAI,YAAY,CAAC,GAAG,CAAC,EAAE,CAAC;QACtB,IAAI,CAAC,GAAG,CAAC,KAAK,EAAE,CAAC;YACf,MAAM,IAAI,YAAY,CACpB,kBAAkB,EAClB,MAAM,EACN,4DAA4D,CAC7D,CAAA;QACH,CAAC;QACD,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,GAAG,CAAC,KAAK,EAAE,IAAI,EAAE,GAAG,CAAC,IAAI,EAAE,CAAA;IAC3D,CAAC;IACD,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,GAAG,CAAC,MAAM,EAAE,IAAI,EAAE,GAAG,CAAC,IAAI,EAAE,IAAI,EAAE,GAAG,CAAC,IAAI,EAAE,CAAA;AAC7E,CAAC","sourcesContent":["/**\n * capture-topo-ref.ts — 由命名行构造 TopoRef（§3.7 根门面导出，纯函数、不含前端状态）\n *\n * 宿主拾取到 Reference（序号）→ 经 ExecutionResult.naming 定位命名行 →\n * captureTopoRef(row) → 可直接塞进 op 参数的 TopoRef。\n * ReferenceId/ordinal 的解析与命名行定位由宿主完成（§6.1），本函数只做纯构造。\n */\n\nimport { TopoRefError, type EdgeNaming, type FaceNaming, type TopoRef } from './types'\n\n/** 结构守卫：EdgeNaming（hint.kind === 'edge'）。 */\nfunction isEdgeNaming(row: FaceNaming | EdgeNaming): row is EdgeNaming {\n  return row.hint.kind === 'edge'\n}\n\n/**\n * 由命名行构造 TopoRef。\n *\n * - FaceNaming → FaceTopoRef{kind:'face', origin, role, hint}；\n * - EdgeNaming → EdgeTopoRef{kind:'edge', faces, hint}。\n *\n * EdgeNaming.faces 为 null（mesh 无邻接，§5.3 能力边界）时无法构造 lineage，\n * 显式抛 TopoRefError（E_TOPO_NOT_FOUND）——绝不静默产出残缺引用。\n *\n * @param row - the naming row (face or edge) to convert.\n * @returns the corresponding TopoRef.\n */\nexport function captureTopoRef(row: FaceNaming | EdgeNaming): TopoRef {\n  if (isEdgeNaming(row)) {\n    if (!row.faces) {\n      throw new TopoRefError(\n        'E_TOPO_NOT_FOUND',\n        'edge',\n        'edge naming has no adjacent-face lineage (mesh limitation)',\n      )\n    }\n    return { kind: 'edge', faces: row.faces, hint: row.hint }\n  }\n  return { kind: 'face', origin: row.origin, role: row.role, hint: row.hint }\n}\n"]}
+{"version":3,"file":"capture-topo-ref.js","sourceRoot":"","sources":["../../../src/topology/naming/capture-topo-ref.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAEH,OAAO,EAAE,YAAY,EAAkD,MAAM,SAAS,CAAA;AAEtF,6CAA6C;AAC7C,SAAS,YAAY,CAAC,GAA4B;IAChD,OAAO,GAAG,CAAC,IAAI,CAAC,IAAI,KAAK,MAAM,CAAA;AACjC,CAAC;AAED;;;;;;;;;;;GAWG;AACH,MAAM,UAAU,cAAc,CAAC,GAA4B;IACzD,IAAI,YAAY,CAAC,GAAG,CAAC,EAAE,CAAC;QACtB,IAAI,CAAC,GAAG,CAAC,KAAK,EAAE,CAAC;YACf,MAAM,IAAI,YAAY,CACpB,kBAAkB,EAClB,MAAM,EACN,4DAA4D,CAC7D,CAAA;QACH,CAAC;QACD,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,GAAG,CAAC,KAAK,EAAE,IAAI,EAAE,GAAG,CAAC,IAAI,EAAE,CAAA;IAC3D,CAAC;IACD,kEAAkE;IAClE,mCAAmC;IACnC,IAAI,GAAG,CAAC,MAAM,KAAK,IAAI,IAAI,GAAG,CAAC,IAAI,KAAK,IAAI,EAAE,CAAC;QAC7C,MAAM,IAAI,YAAY,CACpB,kBAAkB,EAClB,MAAM,EACN,iFAAiF,CAClF,CAAA;IACH,CAAC;IACD,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,GAAG,CAAC,MAAM,EAAE,IAAI,EAAE,GAAG,CAAC,IAAI,EAAE,IAAI,EAAE,GAAG,CAAC,IAAI,EAAE,CAAA;AAC7E,CAAC","sourcesContent":["/**\n * capture-topo-ref.ts — 由命名行构造 TopoRef（§3.7 根门面导出，纯函数、不含前端状态）\n *\n * 宿主拾取到 Reference（序号）→ 经 ExecutionResult.naming 定位命名行 →\n * captureTopoRef(row) → 可直接塞进 op 参数的 TopoRef。\n * ReferenceId/ordinal 的解析与命名行定位由宿主完成（§6.1），本函数只做纯构造。\n */\n\nimport { TopoRefError, type EdgeNaming, type FaceNaming, type TopoRef } from './types'\n\n/** 结构守卫：EdgeNaming（hint.kind === 'edge'）。 */\nfunction isEdgeNaming(row: FaceNaming | EdgeNaming): row is EdgeNaming {\n  return row.hint.kind === 'edge'\n}\n\n/**\n * 由命名行构造 TopoRef。\n *\n * - FaceNaming → FaceTopoRef{kind:'face', origin, role, hint}；\n * - EdgeNaming → EdgeTopoRef{kind:'edge', faces, hint}。\n *\n * EdgeNaming.faces 为 null（mesh 无邻接，§5.3 能力边界）时无法构造 lineage，\n * 显式抛 TopoRefError（E_TOPO_NOT_FOUND）——绝不静默产出残缺引用。\n *\n * @param row - the naming row (face or edge) to convert.\n * @returns the corresponding TopoRef.\n */\nexport function captureTopoRef(row: FaceNaming | EdgeNaming): TopoRef {\n  if (isEdgeNaming(row)) {\n    if (!row.faces) {\n      throw new TopoRefError(\n        'E_TOPO_NOT_FOUND',\n        'edge',\n        'edge naming has no adjacent-face lineage (mesh limitation)',\n      )\n    }\n    return { kind: 'edge', faces: row.faces, hint: row.hint }\n  }\n  // Phase 1.6/1.8：无身份行（origin/role=null，mesh 或未追踪面）不能构造 FaceTopoRef\n  // ——身份字段是引用的主键，伪造空值正是被删除的静默降级（G6）。\n  if (row.origin === null || row.role === null) {\n    throw new TopoRefError(\n      'E_TOPO_NOT_FOUND',\n      'face',\n      'face naming row has no identity (mesh path or untracked face on the BREP chain)',\n    )\n  }\n  return { kind: 'face', origin: row.origin, role: row.role, hint: row.hint }\n}\n"]}

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

@@ -5,6 +5,8 @@
  * 或活 BREP 句柄。绝不反向把序号当稳定身份存进脚本。
  */
 export * from './types.js';
+export * from './role-name.js';
+export * from './lineage.js';
 export * from './geom-hint.js';
 export * from './score.js';
 export * from './roles.js';
@@ -16,4 +18,5 @@ export * from './resolver.js';
 export * from './ref-params.js';
 export * from './capture-topo-ref.js';
 export * from './build-naming.js';
+export * from './migrate.js';
 //# sourceMappingURL=index.d.ts.map

package/dist/topology/naming/index.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/topology/naming/index.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,cAAc,SAAS,CAAA;AACvB,cAAc,aAAa,CAAA;AAC3B,cAAc,SAAS,CAAA;AACvB,cAAc,SAAS,CAAA;AACvB,cAAc,gBAAgB,CAAA;AAC9B,cAAc,gBAAgB,CAAA;AAC9B,cAAc,kBAAkB,CAAA;AAChC,cAAc,mBAAmB,CAAA;AACjC,cAAc,YAAY,CAAA;AAC1B,cAAc,cAAc,CAAA;AAC5B,cAAc,oBAAoB,CAAA;AAClC,cAAc,gBAAgB,CAAA"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/topology/naming/index.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,cAAc,SAAS,CAAA;AACvB,cAAc,aAAa,CAAA;AAC3B,cAAc,WAAW,CAAA;AACzB,cAAc,aAAa,CAAA;AAC3B,cAAc,SAAS,CAAA;AACvB,cAAc,SAAS,CAAA;AACvB,cAAc,gBAAgB,CAAA;AAC9B,cAAc,gBAAgB,CAAA;AAC9B,cAAc,kBAAkB,CAAA;AAChC,cAAc,mBAAmB,CAAA;AACjC,cAAc,YAAY,CAAA;AAC1B,cAAc,cAAc,CAAA;AAC5B,cAAc,oBAAoB,CAAA;AAClC,cAAc,gBAAgB,CAAA;AAC9B,cAAc,WAAW,CAAA"}

package/dist/topology/naming/index.js

@@ -5,6 +5,8 @@
  * 或活 BREP 句柄。绝不反向把序号当稳定身份存进脚本。
  */
 export * from './types.js';
+export * from './role-name.js';
+export * from './lineage.js';
 export * from './geom-hint.js';
 export * from './score.js';
 export * from './roles.js';
@@ -16,4 +18,5 @@ export * from './resolver.js';
 export * from './ref-params.js';
 export * from './capture-topo-ref.js';
 export * from './build-naming.js';
+export * from './migrate.js';
 //# sourceMappingURL=index.js.map

package/dist/topology/naming/index.js.map

@@ -1 +1 @@
-{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../src/topology/naming/index.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,cAAc,SAAS,CAAA;AACvB,cAAc,aAAa,CAAA;AAC3B,cAAc,SAAS,CAAA;AACvB,cAAc,SAAS,CAAA;AACvB,cAAc,gBAAgB,CAAA;AAC9B,cAAc,gBAAgB,CAAA;AAC9B,cAAc,kBAAkB,CAAA;AAChC,cAAc,mBAAmB,CAAA;AACjC,cAAc,YAAY,CAAA;AAC1B,cAAc,cAAc,CAAA;AAC5B,cAAc,oBAAoB,CAAA;AAClC,cAAc,gBAAgB,CAAA","sourcesContent":["/**\n *\n * 跨历史身份层：TopoRef（纯数据、写进 .fai.js）+ RoleTable（运行期、不序列化）。\n * 解析方向固定为单向：TopoRef（稳定）→ 解析器 → 当前快照的序号 FaceId/EdgeId\n * 或活 BREP 句柄。绝不反向把序号当稳定身份存进脚本。\n */\n\nexport * from './types'\nexport * from './geom-hint'\nexport * from './score'\nexport * from './roles'\nexport * from './resolve-face'\nexport * from './resolve-edge'\nexport * from './resolve-vertex'\nexport * from './resolve-derived'\nexport * from './resolver'\nexport * from './ref-params'\nexport * from './capture-topo-ref'\nexport * from './build-naming'\n"]}
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../src/topology/naming/index.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,cAAc,SAAS,CAAA;AACvB,cAAc,aAAa,CAAA;AAC3B,cAAc,WAAW,CAAA;AACzB,cAAc,aAAa,CAAA;AAC3B,cAAc,SAAS,CAAA;AACvB,cAAc,SAAS,CAAA;AACvB,cAAc,gBAAgB,CAAA;AAC9B,cAAc,gBAAgB,CAAA;AAC9B,cAAc,kBAAkB,CAAA;AAChC,cAAc,mBAAmB,CAAA;AACjC,cAAc,YAAY,CAAA;AAC1B,cAAc,cAAc,CAAA;AAC5B,cAAc,oBAAoB,CAAA;AAClC,cAAc,gBAAgB,CAAA;AAC9B,cAAc,WAAW,CAAA","sourcesContent":["/**\n *\n * 跨历史身份层：TopoRef（纯数据、写进 .fai.js）+ RoleTable（运行期、不序列化）。\n * 解析方向固定为单向：TopoRef（稳定）→ 解析器 → 当前快照的序号 FaceId/EdgeId\n * 或活 BREP 句柄。绝不反向把序号当稳定身份存进脚本。\n */\n\nexport * from './types'\nexport * from './role-name'\nexport * from './lineage'\nexport * from './geom-hint'\nexport * from './score'\nexport * from './roles'\nexport * from './resolve-face'\nexport * from './resolve-edge'\nexport * from './resolve-vertex'\nexport * from './resolve-derived'\nexport * from './resolver'\nexport * from './ref-params'\nexport * from './capture-topo-ref'\nexport * from './build-naming'\nexport * from './migrate'\n"]}

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

@@ -0,0 +1,80 @@
+/**
+ * lineage-resolve.ts — 回走推进器（1.10 前置②，计划 §4.5）。
+ *
+ * 「产物上的 roleTable 只是缓存」的重算引擎：缓存 miss 时沿血缘 DAG
+ * 从身份原点 `(origin, role)` 走到目标 part，产出该 role 在目标 part 上的
+ * 面 hash 集合——与 `slot.roleTable.get(origin)?.get(role)` 语义等价。
+ *
+ * ## 推进载体：序号（ordinal），不是 hash
+ *
+ * hash 是内存指针哈希，跨 Shape 实例必变（copy 一个新 handle，hash 全换），
+ * **不能**作为跨节点推进的载体。跨节点稳定的是两样东西：
+ * - role（因果坐标，本机制的存在理由）；
+ * - 面枚举序号（`slot.faceEvolution` 记录的正是 ordinal→ordinal[] 的演化，
+ *   1.10 前置①已把每个 brep op 的演化挂到血缘节点）。
+ *
+ * 推进三步：
+ * 1. **锚定**：root 语句的输出 part 上，role → hash 集合（读 root 的现存
+ *    roleTable——它现在是缓存，读它是合法的），再换算成 root 上的序号集合；
+ * 2. **逐节点推进**：沿 DAG 每个节点用其 `evolution`（ordinal 键）把序号集合
+ *    映射到输出序号（`evo.get(o) ?? [o]`——"未变"的两种上报形态都容纳）；
+ * 3. **落地**：目标 part 上把最终序号集合换算回 hash 集合。
+ *
+ * 任一步数据缺失 → 返回结构化失败原因（不静默返回空集——空集会被上层当成
+ * "面被删除"，那是另一个语义）。
+ */
+import type { PartName, StmtId } from '../../identity.js';
+import type { LineageGraph } from './lineage.js';
+import { formatRoleName } from './role-name.js';
+/** 回走所需的外部读口（由调用方注入：runtime 持有 kernel 与 slots）。 */
+export interface LineageResolveDeps {
+    /** part 的 BREP 句柄（回走链上的中间产物经 solidCache 存活）。 */
+    brepOf: (part: PartName) => unknown | undefined;
+    /** 句柄的全部面 hash（枚举序 = ordinal 1 起，与 faceEvolution 同序）。 */
+    faceHashes: (handle: unknown) => readonly number[];
+    /** 读某 part 的 roleTable 缓存（root 锚定用；返回 origin→role→hash[]）。 */
+    roleTableOf: (part: PartName) => ReadonlyMap<string, ReadonlyMap<string, readonly number[]>> | undefined;
+}
+/** 回走失败原因（结构化，不静默）。 */
+export type LineageResolveFailure = {
+    readonly reason: 'no-lineage-node';
+    readonly stmt: string;
+} | {
+    readonly reason: 'no-root-part';
+    readonly stmt: string;
+} | {
+    readonly reason: 'no-handle';
+    readonly part: string;
+} | {
+    readonly reason: 'no-role-table';
+    readonly part: string;
+} | {
+    readonly reason: 'role-not-in-table';
+    readonly origin: string;
+    readonly role: string;
+} | {
+    readonly reason: 'hash-not-found';
+    readonly part: string;
+    readonly count: number;
+} | {
+    readonly reason: 'no-evolution';
+    readonly stmt: string;
+    readonly op: string;
+};
+/** 回走成功：role 在目标 part 上的面 hash 集合。 */
+export interface LineageResolveSuccess {
+    readonly hashes: readonly number[];
+}
+/**
+ * 沿血缘 DAG 回走：`(origin, role)` → 目标 part 上的 hash 集合。
+ *
+ * @param graph - the lineage graph (registered per execution).
+ * @param origin - the origin statement id of the identity.
+ * @param roleLine - the role in wire format (as stored in TopoRef).
+ * @param targetPart - the part whose snapshot we resolve against.
+ * @param deps - external readers (handles / hashes / role-table cache).
+ * @returns success with the hash set, or a structured failure.
+ */
+export declare function resolveViaLineage(graph: LineageGraph, origin: StmtId, roleLine: string, targetPart: PartName, deps: LineageResolveDeps): LineageResolveSuccess | LineageResolveFailure;
+export { formatRoleName };
+//# sourceMappingURL=lineage-resolve.d.ts.map

package/dist/topology/naming/lineage-resolve.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"lineage-resolve.d.ts","sourceRoot":"","sources":["../../../src/topology/naming/lineage-resolve.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;GAwBG;AAEH,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,EAAE,MAAM,gBAAgB,CAAA;AACtD,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,WAAW,CAAA;AAC7C,OAAO,EAAiB,cAAc,EAAE,MAAM,aAAa,CAAA;AAE3D,mDAAmD;AACnD,MAAM,WAAW,kBAAkB;IACjC,gDAAgD;IAChD,MAAM,EAAE,CAAC,IAAI,EAAE,QAAQ,KAAK,OAAO,GAAG,SAAS,CAAA;IAC/C,yDAAyD;IACzD,UAAU,EAAE,CAAC,MAAM,EAAE,OAAO,KAAK,SAAS,MAAM,EAAE,CAAA;IAClD,8DAA8D;IAC9D,WAAW,EAAE,CAAC,IAAI,EAAE,QAAQ,KAAK,WAAW,CAAC,MAAM,EAAE,WAAW,CAAC,MAAM,EAAE,SAAS,MAAM,EAAE,CAAC,CAAC,GAAG,SAAS,CAAA;CACzG;AAED,uBAAuB;AACvB,MAAM,MAAM,qBAAqB,GAC7B;IAAE,QAAQ,CAAC,MAAM,EAAE,iBAAiB,CAAC;IAAC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;CAAE,GAC7D;IAAE,QAAQ,CAAC,MAAM,EAAE,cAAc,CAAC;IAAC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;CAAE,GAC1D;IAAE,QAAQ,CAAC,MAAM,EAAE,WAAW,CAAC;IAAC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;CAAE,GACvD;IAAE,QAAQ,CAAC,MAAM,EAAE,eAAe,CAAC;IAAC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;CAAE,GAC3D;IAAE,QAAQ,CAAC,MAAM,EAAE,mBAAmB,CAAC;IAAC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;CAAE,GACxF;IAAE,QAAQ,CAAC,MAAM,EAAE,gBAAgB,CAAC;IAAC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAA;CAAE,GACpF;IAAE,QAAQ,CAAC,MAAM,EAAE,cAAc,CAAC;IAAC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAA;CAAE,CAAA;AAEnF,sCAAsC;AACtC,MAAM,WAAW,qBAAqB;IACpC,QAAQ,CAAC,MAAM,EAAE,SAAS,MAAM,EAAE,CAAA;CACnC;AAED;;;;;;;;;GASG;AACH,wBAAgB,iBAAiB,CAC/B,KAAK,EAAE,YAAY,EACnB,MAAM,EAAE,MAAM,EACd,QAAQ,EAAE,MAAM,EAChB,UAAU,EAAE,QAAQ,EACpB,IAAI,EAAE,kBAAkB,GACvB,qBAAqB,GAAG,qBAAqB,CAyE/C;AAID,OAAO,EAAE,cAAc,EAAE,CAAA"}

package/dist/topology/naming/lineage-resolve.js

@@ -0,0 +1,120 @@
+/**
+ * lineage-resolve.ts — 回走推进器（1.10 前置②，计划 §4.5）。
+ *
+ * 「产物上的 roleTable 只是缓存」的重算引擎：缓存 miss 时沿血缘 DAG
+ * 从身份原点 `(origin, role)` 走到目标 part，产出该 role 在目标 part 上的
+ * 面 hash 集合——与 `slot.roleTable.get(origin)?.get(role)` 语义等价。
+ *
+ * ## 推进载体：序号（ordinal），不是 hash
+ *
+ * hash 是内存指针哈希，跨 Shape 实例必变（copy 一个新 handle，hash 全换），
+ * **不能**作为跨节点推进的载体。跨节点稳定的是两样东西：
+ * - role（因果坐标，本机制的存在理由）；
+ * - 面枚举序号（`slot.faceEvolution` 记录的正是 ordinal→ordinal[] 的演化，
+ *   1.10 前置①已把每个 brep op 的演化挂到血缘节点）。
+ *
+ * 推进三步：
+ * 1. **锚定**：root 语句的输出 part 上，role → hash 集合（读 root 的现存
+ *    roleTable——它现在是缓存，读它是合法的），再换算成 root 上的序号集合；
+ * 2. **逐节点推进**：沿 DAG 每个节点用其 `evolution`（ordinal 键）把序号集合
+ *    映射到输出序号（`evo.get(o) ?? [o]`——"未变"的两种上报形态都容纳）；
+ * 3. **落地**：目标 part 上把最终序号集合换算回 hash 集合。
+ *
+ * 任一步数据缺失 → 返回结构化失败原因（不静默返回空集——空集会被上层当成
+ * "面被删除"，那是另一个语义）。
+ */
+import { parseRoleName, formatRoleName } from './role-name.js';
+/**
+ * 沿血缘 DAG 回走：`(origin, role)` → 目标 part 上的 hash 集合。
+ *
+ * @param graph - the lineage graph (registered per execution).
+ * @param origin - the origin statement id of the identity.
+ * @param roleLine - the role in wire format (as stored in TopoRef).
+ * @param targetPart - the part whose snapshot we resolve against.
+ * @param deps - external readers (handles / hashes / role-table cache).
+ * @returns success with the hash set, or a structured failure.
+ */
+export function resolveViaLineage(graph, origin, roleLine, targetPart, deps) {
+    const role = parseRoleName(roleLine);
+    if (!role)
+        return { reason: 'role-not-in-table', origin, role: roleLine };
+    // ── 链收集：origin 节点 →（经消费者边）→ 产出 targetPart 的节点 ──
+    // 行走方向是「origin → 谁消费了我的输出 → 谁又消费了它的输出」：
+    // 中间 part 的产出方是 origin 自己（stmtOf 指回原点），不能用产出方找下一步。
+    const chain = [];
+    {
+        const start = graph.node(origin);
+        if (!start)
+            return { reason: 'no-lineage-node', stmt: String(origin) };
+        const rootPart = start.outputs[0];
+        if (!rootPart)
+            return { reason: 'no-root-part', stmt: String(origin) };
+        const startEvo = start.evolution && !('modified' in start.evolution) ? start.evolution : undefined;
+        chain.push({ stmt: origin, part: rootPart, evolution: startEvo });
+        let currentPart = rootPart;
+        while (true) {
+            if (currentPart === targetPart)
+                break;
+            const consumer = graph.nodeConsuming(currentPart);
+            if (!consumer)
+                return { reason: 'no-lineage-node', stmt: String(currentPart) };
+            const evo = consumer.evolution && !('modified' in consumer.evolution) ? consumer.evolution : undefined;
+            // 承载 part：消费者的输出里选一个（单输出链取第一个；多输出如 split 取含
+            // targetPart 的那个，否则取第一个——多输出分支的精确选择由调用方语义决定）。
+            const carry = consumer.outputs.includes(targetPart) ? targetPart : consumer.outputs[0];
+            chain.push({ stmt: consumer.stmt, part: carry, evolution: evo });
+            currentPart = carry;
+        }
+    }
+    // ── 锚定：root part 上 role → hash → ordinal ──
+    const root = chain[0];
+    const rootHandle = deps.brepOf(root.part);
+    if (rootHandle === undefined)
+        return { reason: 'no-handle', part: root.part };
+    const rootTable = deps.roleTableOf(root.part);
+    if (!rootTable)
+        return { reason: 'no-role-table', part: root.part };
+    // root 的 roleTable 键形：origin（StmtId 串）→ role 线格式 → hashes。
+    const rootHashes = rootTable.get(String(origin))?.get(roleLine);
+    if (rootHashes === undefined || rootHashes.length === 0) {
+        return { reason: 'role-not-in-table', origin, role: roleLine };
+    }
+    const rootAll = deps.faceHashes(rootHandle);
+    let ordinals = [];
+    for (const h of rootHashes) {
+        const idx = rootAll.indexOf(h);
+        if (idx < 0)
+            return { reason: 'hash-not-found', part: root.part, count: rootHashes.length };
+        ordinals.push(idx + 1); // ordinal 1 起
+    }
+    // ── 逐节点推进（ordinal 键演化；链上首节点是原点，其演化作用于其输入，
+    //     因此推进从链的第二个节点开始）──
+    for (let i = 1; i < chain.length; i++) {
+        const node = chain[i];
+        if (!node.evolution) {
+            // identity 类 op（copy/place/transform）登记时 slot 里有 identityEvolution；
+            // 演化缺失说明该节点未按 1.10 前置①挂接 —— 显式失败，不默认恒等。
+            const g = graph.node(node.stmt);
+            return { reason: 'no-evolution', stmt: node.stmt, op: g?.op ?? '?' };
+        }
+        ordinals = ordinals.flatMap((o) => node.evolution.get(o) ?? [o]);
+    }
+    // ── 落地：目标 part 上 ordinal → hash ──
+    const last = chain[chain.length - 1];
+    const targetHandle = deps.brepOf(last.part);
+    if (targetHandle === undefined)
+        return { reason: 'no-handle', part: last.part };
+    const targetAll = deps.faceHashes(targetHandle);
+    const hashes = [];
+    for (const o of ordinals) {
+        const h = targetAll[o - 1];
+        if (h === undefined)
+            return { reason: 'hash-not-found', part: last.part, count: ordinals.length };
+        hashes.push(h);
+    }
+    return { hashes };
+}
+// formatRoleName 在 API 面保留导出（role 线格式与 TopoRef 序列化的唯一权威），
+// 本模块仅经 parseRoleName 校验线格式合法性。
+export { formatRoleName };
+//# sourceMappingURL=lineage-resolve.js.map

package/dist/topology/naming/lineage-resolve.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"lineage-resolve.js","sourceRoot":"","sources":["../../../src/topology/naming/lineage-resolve.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;GAwBG;AAIH,OAAO,EAAE,aAAa,EAAE,cAAc,EAAE,MAAM,aAAa,CAAA;AA2B3D;;;;;;;;;GASG;AACH,MAAM,UAAU,iBAAiB,CAC/B,KAAmB,EACnB,MAAc,EACd,QAAgB,EAChB,UAAoB,EACpB,IAAwB;IAExB,MAAM,IAAI,GAAG,aAAa,CAAC,QAAQ,CAAC,CAAA;IACpC,IAAI,CAAC,IAAI;QAAE,OAAO,EAAE,MAAM,EAAE,mBAAmB,EAAE,MAAM,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAA;IAEzE,kDAAkD;IAClD,wCAAwC;IACxC,mDAAmD;IACnD,MAAM,KAAK,GAA0E,EAAE,CAAA;IACvF,CAAC;QACC,MAAM,KAAK,GAAG,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,CAAA;QAChC,IAAI,CAAC,KAAK;YAAE,OAAO,EAAE,MAAM,EAAE,iBAAiB,EAAE,IAAI,EAAE,MAAM,CAAC,MAAM,CAAC,EAAE,CAAA;QACtE,MAAM,QAAQ,GAAG,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,CAAA;QACjC,IAAI,CAAC,QAAQ;YAAE,OAAO,EAAE,MAAM,EAAE,cAAc,EAAE,IAAI,EAAE,MAAM,CAAC,MAAM,CAAC,EAAE,CAAA;QACtE,MAAM,QAAQ,GAAG,KAAK,CAAC,SAAS,IAAI,CAAC,CAAC,UAAU,IAAI,KAAK,CAAC,SAAS,CAAC,CAAC,CAAC,CAAE,KAAK,CAAC,SAAmC,CAAC,CAAC,CAAC,SAAS,CAAA;QAC7H,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,QAAQ,EAAE,SAAS,EAAE,QAAQ,EAAE,CAAC,CAAA;QACjE,IAAI,WAAW,GAAa,QAAQ,CAAA;QACpC,OAAO,IAAI,EAAE,CAAC;YACZ,IAAI,WAAW,KAAK,UAAU;gBAAE,MAAK;YACrC,MAAM,QAAQ,GAAG,KAAK,CAAC,aAAa,CAAC,WAAW,CAAC,CAAA;YACjD,IAAI,CAAC,QAAQ;gBAAE,OAAO,EAAE,MAAM,EAAE,iBAAiB,EAAE,IAAI,EAAE,MAAM,CAAC,WAAW,CAAC,EAAE,CAAA;YAC9E,MAAM,GAAG,GAAG,QAAQ,CAAC,SAAS,IAAI,CAAC,CAAC,UAAU,IAAI,QAAQ,CAAC,SAAS,CAAC,CAAC,CAAC,CAAE,QAAQ,CAAC,SAAmC,CAAC,CAAC,CAAC,SAAS,CAAA;YACjI,4CAA4C;YAC5C,8CAA8C;YAC9C,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;YACvF,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,QAAQ,CAAC,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,SAAS,EAAE,GAAG,EAAE,CAAC,CAAA;YAChE,WAAW,GAAG,KAAK,CAAA;QACrB,CAAC;IACH,CAAC;IAED,6CAA6C;IAC7C,MAAM,IAAI,GAAG,KAAK,CAAC,CAAC,CAAE,CAAA;IACtB,MAAM,UAAU,GAAG,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;IACzC,IAAI,UAAU,KAAK,SAAS;QAAE,OAAO,EAAE,MAAM,EAAE,WAAW,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,CAAA;IAC7E,MAAM,SAAS,GAAG,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;IAC7C,IAAI,CAAC,SAAS;QAAE,OAAO,EAAE,MAAM,EAAE,eAAe,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,CAAA;IACnE,2DAA2D;IAC3D,MAAM,UAAU,GAAG,SAAS,CAAC,GAAG,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,GAAG,CAAC,QAAQ,CAAC,CAAA;IAC/D,IAAI,UAAU,KAAK,SAAS,IAAI,UAAU,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACxD,OAAO,EAAE,MAAM,EAAE,mBAAmB,EAAE,MAAM,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAA;IAChE,CAAC;IACD,MAAM,OAAO,GAAG,IAAI,CAAC,UAAU,CAAC,UAAU,CAAC,CAAA;IAC3C,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,GAAG,CAAC;YAAE,OAAO,EAAE,MAAM,EAAE,gBAAgB,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,KAAK,EAAE,UAAU,CAAC,MAAM,EAAE,CAAA;QAC3F,QAAQ,CAAC,IAAI,CAAC,GAAG,GAAG,CAAC,CAAC,CAAA,CAAC,cAAc;IACvC,CAAC;IAED,2CAA2C;IAC3C,wBAAwB;IACxB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACtC,MAAM,IAAI,GAAG,KAAK,CAAC,CAAC,CAAE,CAAA;QACtB,IAAI,CAAC,IAAI,CAAC,SAAS,EAAE,CAAC;YACpB,oEAAoE;YACpE,wCAAwC;YACxC,MAAM,CAAC,GAAG,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;YAC/B,OAAO,EAAE,MAAM,EAAE,cAAc,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,EAAE,EAAE,CAAC,EAAE,EAAE,IAAI,GAAG,EAAE,CAAA;QACtE,CAAC;QACD,QAAQ,GAAG,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,SAAU,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAA;IACnE,CAAC;IAED,oCAAoC;IACpC,MAAM,IAAI,GAAG,KAAK,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,CAAE,CAAA;IACrC,MAAM,YAAY,GAAG,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;IAC3C,IAAI,YAAY,KAAK,SAAS;QAAE,OAAO,EAAE,MAAM,EAAE,WAAW,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,CAAA;IAC/E,MAAM,SAAS,GAAG,IAAI,CAAC,UAAU,CAAC,YAAY,CAAC,CAAA;IAC/C,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,OAAO,EAAE,MAAM,EAAE,gBAAgB,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,KAAK,EAAE,QAAQ,CAAC,MAAM,EAAE,CAAA;QACjG,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAA;IAChB,CAAC;IACD,OAAO,EAAE,MAAM,EAAE,CAAA;AACnB,CAAC;AAED,0DAA0D;AAC1D,gCAAgC;AAChC,OAAO,EAAE,cAAc,EAAE,CAAA","sourcesContent":["/**\n * lineage-resolve.ts — 回走推进器（1.10 前置②，计划 §4.5）。\n *\n * 「产物上的 roleTable 只是缓存」的重算引擎：缓存 miss 时沿血缘 DAG\n * 从身份原点 `(origin, role)` 走到目标 part，产出该 role 在目标 part 上的\n * 面 hash 集合——与 `slot.roleTable.get(origin)?.get(role)` 语义等价。\n *\n * ## 推进载体：序号（ordinal），不是 hash\n *\n * hash 是内存指针哈希，跨 Shape 实例必变（copy 一个新 handle，hash 全换），\n * **不能**作为跨节点推进的载体。跨节点稳定的是两样东西：\n * - role（因果坐标，本机制的存在理由）；\n * - 面枚举序号（`slot.faceEvolution` 记录的正是 ordinal→ordinal[] 的演化，\n *   1.10 前置①已把每个 brep op 的演化挂到血缘节点）。\n *\n * 推进三步：\n * 1. **锚定**：root 语句的输出 part 上，role → hash 集合（读 root 的现存\n *    roleTable——它现在是缓存，读它是合法的），再换算成 root 上的序号集合；\n * 2. **逐节点推进**：沿 DAG 每个节点用其 `evolution`（ordinal 键）把序号集合\n *    映射到输出序号（`evo.get(o) ?? [o]`——\"未变\"的两种上报形态都容纳）；\n * 3. **落地**：目标 part 上把最终序号集合换算回 hash 集合。\n *\n * 任一步数据缺失 → 返回结构化失败原因（不静默返回空集——空集会被上层当成\n * \"面被删除\"，那是另一个语义）。\n */\n\nimport type { PartName, StmtId } from '../../identity'\nimport type { LineageGraph } from './lineage'\nimport { parseRoleName, formatRoleName } from './role-name'\n\n/** 回走所需的外部读口（由调用方注入：runtime 持有 kernel 与 slots）。 */\nexport interface LineageResolveDeps {\n  /** part 的 BREP 句柄（回走链上的中间产物经 solidCache 存活）。 */\n  brepOf: (part: PartName) => unknown | undefined\n  /** 句柄的全部面 hash（枚举序 = ordinal 1 起，与 faceEvolution 同序）。 */\n  faceHashes: (handle: unknown) => readonly number[]\n  /** 读某 part 的 roleTable 缓存（root 锚定用；返回 origin→role→hash[]）。 */\n  roleTableOf: (part: PartName) => ReadonlyMap<string, ReadonlyMap<string, readonly number[]>> | undefined\n}\n\n/** 回走失败原因（结构化，不静默）。 */\nexport type LineageResolveFailure =\n  | { readonly reason: 'no-lineage-node'; readonly stmt: string }\n  | { readonly reason: 'no-root-part'; readonly stmt: string }\n  | { readonly reason: 'no-handle'; readonly part: string }\n  | { readonly reason: 'no-role-table'; readonly part: string }\n  | { readonly reason: 'role-not-in-table'; readonly origin: string; readonly role: string }\n  | { readonly reason: 'hash-not-found'; readonly part: string; readonly count: number }\n  | { readonly reason: 'no-evolution'; readonly stmt: string; readonly op: string }\n\n/** 回走成功：role 在目标 part 上的面 hash 集合。 */\nexport interface LineageResolveSuccess {\n  readonly hashes: readonly number[]\n}\n\n/**\n * 沿血缘 DAG 回走：`(origin, role)` → 目标 part 上的 hash 集合。\n *\n * @param graph - the lineage graph (registered per execution).\n * @param origin - the origin statement id of the identity.\n * @param roleLine - the role in wire format (as stored in TopoRef).\n * @param targetPart - the part whose snapshot we resolve against.\n * @param deps - external readers (handles / hashes / role-table cache).\n * @returns success with the hash set, or a structured failure.\n */\nexport function resolveViaLineage(\n  graph: LineageGraph,\n  origin: StmtId,\n  roleLine: string,\n  targetPart: PartName,\n  deps: LineageResolveDeps,\n): LineageResolveSuccess | LineageResolveFailure {\n  const role = parseRoleName(roleLine)\n  if (!role) return { reason: 'role-not-in-table', origin, role: roleLine }\n\n  // ── 链收集：origin 节点 →（经消费者边）→ 产出 targetPart 的节点 ──\n  // 行走方向是「origin → 谁消费了我的输出 → 谁又消费了它的输出」：\n  // 中间 part 的产出方是 origin 自己（stmtOf 指回原点），不能用产出方找下一步。\n  const chain: { stmt: StmtId; part: PartName; evolution?: Map<number, number[]> }[] = []\n  {\n    const start = graph.node(origin)\n    if (!start) return { reason: 'no-lineage-node', stmt: String(origin) }\n    const rootPart = start.outputs[0]\n    if (!rootPart) return { reason: 'no-root-part', stmt: String(origin) }\n    const startEvo = start.evolution && !('modified' in start.evolution) ? (start.evolution as Map<number, number[]>) : undefined\n    chain.push({ stmt: origin, part: rootPart, evolution: startEvo })\n    let currentPart: PartName = rootPart\n    while (true) {\n      if (currentPart === targetPart) break\n      const consumer = graph.nodeConsuming(currentPart)\n      if (!consumer) return { reason: 'no-lineage-node', stmt: String(currentPart) }\n      const evo = consumer.evolution && !('modified' in consumer.evolution) ? (consumer.evolution as Map<number, number[]>) : undefined\n      // 承载 part：消费者的输出里选一个（单输出链取第一个；多输出如 split 取含\n      // targetPart 的那个，否则取第一个——多输出分支的精确选择由调用方语义决定）。\n      const carry = consumer.outputs.includes(targetPart) ? targetPart : consumer.outputs[0]!\n      chain.push({ stmt: consumer.stmt, part: carry, evolution: evo })\n      currentPart = carry\n    }\n  }\n\n  // ── 锚定：root part 上 role → hash → ordinal ──\n  const root = chain[0]!\n  const rootHandle = deps.brepOf(root.part)\n  if (rootHandle === undefined) return { reason: 'no-handle', part: root.part }\n  const rootTable = deps.roleTableOf(root.part)\n  if (!rootTable) return { reason: 'no-role-table', part: root.part }\n  // root 的 roleTable 键形：origin（StmtId 串）→ role 线格式 → hashes。\n  const rootHashes = rootTable.get(String(origin))?.get(roleLine)\n  if (rootHashes === undefined || rootHashes.length === 0) {\n    return { reason: 'role-not-in-table', origin, role: roleLine }\n  }\n  const rootAll = deps.faceHashes(rootHandle)\n  let ordinals: number[] = []\n  for (const h of rootHashes) {\n    const idx = rootAll.indexOf(h)\n    if (idx < 0) return { reason: 'hash-not-found', part: root.part, count: rootHashes.length }\n    ordinals.push(idx + 1) // ordinal 1 起\n  }\n\n  // ── 逐节点推进（ordinal 键演化；链上首节点是原点，其演化作用于其输入，\n  //     因此推进从链的第二个节点开始）──\n  for (let i = 1; i < chain.length; i++) {\n    const node = chain[i]!\n    if (!node.evolution) {\n      // identity 类 op（copy/place/transform）登记时 slot 里有 identityEvolution；\n      // 演化缺失说明该节点未按 1.10 前置①挂接 —— 显式失败，不默认恒等。\n      const g = graph.node(node.stmt)\n      return { reason: 'no-evolution', stmt: node.stmt, op: g?.op ?? '?' }\n    }\n    ordinals = ordinals.flatMap((o) => node.evolution!.get(o) ?? [o])\n  }\n\n  // ── 落地：目标 part 上 ordinal → hash ──\n  const last = chain[chain.length - 1]!\n  const targetHandle = deps.brepOf(last.part)\n  if (targetHandle === undefined) return { reason: 'no-handle', part: last.part }\n  const targetAll = deps.faceHashes(targetHandle)\n  const hashes: number[] = []\n  for (const o of ordinals) {\n    const h = targetAll[o - 1]\n    if (h === undefined) return { reason: 'hash-not-found', part: last.part, count: ordinals.length }\n    hashes.push(h)\n  }\n  return { hashes }\n}\n\n// formatRoleName 在 API 面保留导出（role 线格式与 TopoRef 序列化的唯一权威），\n// 本模块仅经 parseRoleName 校验线格式合法性。\nexport { formatRoleName }\n"]}