@faicad/faijs 0.13.0

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

@@ -0,0 +1 @@
+{"version":3,"file":"roles.js","sourceRoot":"","sources":["../../../src/topology/naming/roles.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AAOH,OAAO,EAAE,eAAe,EAAE,MAAM,aAAa,CAAA;AAE7C,yCAAyC;AACzC,MAAM,CAAC,MAAM,cAAc,GAAG,GAAG,CAAA;AAKjC,0CAA0C;AAE1C;;;;;GAKG;AACH,MAAM,UAAU,iBAAiB,CAAC,CAAoC;IACpE,IAAI,CAAC,CAAC,CAAC,CAAC,GAAG,cAAc;QAAE,OAAO,SAAS,CAAA;IAC3C,IAAI,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,cAAc;QAAE,OAAO,YAAY,CAAA;IAC/C,IAAI,CAAC,CAAC,CAAC,CAAC,GAAG,cAAc;QAAE,OAAO,UAAU,CAAA;IAC5C,IAAI,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,cAAc;QAAE,OAAO,WAAW,CAAA;IAC9C,IAAI,CAAC,CAAC,CAAC,CAAC,GAAG,cAAc;QAAE,OAAO,WAAW,CAAA;IAC7C,IAAI,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,cAAc;QAAE,OAAO,UAAU,CAAA;IAC7C,OAAO,SAAS,CAAA;AAClB,CAAC;AAED,8CAA8C;AAC9C,SAAS,YAAY,CAAC,MAAc,EAAE,WAAmB,EAAE,CAAS;IAClE,IAAI,WAAW,KAAK,OAAO;QAAE,OAAO,SAAS,CAAA;IAC7C,IAAI,CAAC,GAAG,cAAc;QAAE,OAAO,GAAG,MAAM,MAAM,CAAA;IAC9C,IAAI,CAAC,GAAG,CAAC,cAAc;QAAE,OAAO,GAAG,MAAM,SAAS,CAAA;IAClD,OAAO,SAAS,CAAA;AAClB,CAAC;AAED,8BAA8B;AAC9B,SAAS,YAAY,CAAC,WAAmB,EAAE,CAAS;IAClD,OAAO,WAAW,KAAK,UAAU,CAAC,CAAC,CAAC,kBAAkB,CAAC,CAAC,CAAC,YAAY,CAAC,UAAU,EAAE,WAAW,EAAE,CAAC,CAAC,CAAA;AACnG,CAAC;AAED,0BAA0B;AAC1B,SAAS,QAAQ,CAAC,WAAmB,EAAE,CAAS;IAC9C,OAAO,WAAW,KAAK,MAAM,CAAC,CAAC,CAAC,cAAc,CAAC,CAAC,CAAC,YAAY,CAAC,MAAM,EAAE,WAAW,EAAE,CAAC,CAAC,CAAA;AACvF,CAAC;AAED,kBAAkB;AAClB,SAAS,UAAU,CAAC,WAAmB;IACrC,OAAO,WAAW,KAAK,QAAQ,CAAC,CAAC,CAAC,gBAAgB,CAAC,CAAC,CAAC,SAAS,CAAA;AAChE,CAAC;AAED,8BAA8B;AAC9B,MAAM,cAAc,GAA2G;IAC7H,GAAG,EAAE,CAAC,YAAY,EAAE,MAAM,EAAE,EAAE,CAAC,iBAAiB,CAAC,MAAM,CAAC;IACxD,QAAQ,EAAE,CAAC,WAAW,EAAE,MAAM,EAAE,EAAE,CAAC,YAAY,CAAC,WAAW,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC;IACvE,IAAI,EAAE,CAAC,WAAW,EAAE,MAAM,EAAE,EAAE,CAAC,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC;IAC/D,MAAM,EAAE,CAAC,WAAW,EAAE,OAAO,EAAE,EAAE,CAAC,UAAU,CAAC,WAAW,CAAC;CAC1D,CAAA;AAED;;;;;;;;;;GAUG;AACH,MAAM,UAAU,WAAW,CACzB,MAAqB,EACrB,KAAiB,EACjB,MAAc;IAEd,MAAM,KAAK,GAAG,IAAI,GAAG,EAAoB,CAAA;IACzC,MAAM,QAAQ,GAAG,cAAc,CAAC,MAAM,CAAC,CAAA;IACvC,MAAM,WAAW,GAAG,MAAM,CAAC,YAAY,CAAC,KAAK,EAAE,MAAM,CAAC,CAAA;IACtD,IAAI,CAAC;QACH,MAAM,MAAM,GAAG,MAAM,CAAC,cAAc,CAAC,KAAK,EAAE,MAAM,EAAE,UAAU,CAAC,CAAA;QAC/D,IAAI,KAAK,GAAG,CAAC,CAAA;QACb,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,WAAW,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;YAC5C,MAAM,IAAI,GAAG,eAAe,CAAC,MAAM,EAAE,WAAW,CAAC,CAAC,CAAC,CAAC,CAAA;YACpD,MAAM,MAAM,GAAG,IAAI,CAAC,MAAM,IAAI,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAA;YACvC,MAAM,WAAW,GAAG,IAAI,CAAC,WAAW,IAAI,EAAE,CAAA;YAC1C,MAAM,QAAQ,GAAG,QAAQ,EAAE,CAAC,WAAW,EAAE,MAAM,CAAC,CAAA;YAChD,MAAM,IAAI,GACR,QAAQ,KAAK,SAAS,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,QAAQ,CAAC;gBAC5C,CAAC,CAAC,QAAQ;gBACV,CAAC,CAAC,GAAG,MAAM,SAAS,KAAK,EAAE,CAAA;YAC/B,KAAK,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAA;YAC5B,KAAK,EAAE,CAAA;QACT,CAAC;QACD,OAAO,KAAK,CAAA;IACd,CAAC;YAAS,CAAC;QACT,+CAA+C;QAC/C,0CAA0C;QAC1C,KAAK,MAAM,CAAC,IAAI,WAAW,EAAE,CAAC;YAC5B,IAAI,CAAC;gBAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,CAAA;YAAC,CAAC;YAAC,MAAM,CAAC,CAAC,SAAS,CAAC,CAAC;QAC/C,CAAC;IACH,CAAC;AACH,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,UAAU,UAAU,CAAC,MAAyB,EAAE,SAAwB;IAC5E,MAAM,UAAU,GAAa,EAAE,CAAA;IAC/B,KAAK,MAAM,IAAI,IAAI,MAAM,EAAE,CAAC;QAC1B,IAAI,SAAS,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC;YAAE,SAAQ;QACzC,MAAM,QAAQ,GAAG,SAAS,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,CAAA;QAC7C,MAAM,OAAO,GAAG,QAAQ,KAAK,SAAS,IAAI,QAAQ,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAA;QACjF,KAAK,MAAM,CAAC,IAAI,OAAO;YAAE,IAAI,CAAC,UAAU,CAAC,QAAQ,CAAC,CAAC,CAAC;gBAAE,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,CAAA;IAC1E,CAAC;IACD,OAAO,UAAU,CAAA;AACnB,CAAC;AAED;;;;;;;;;;GAUG;AACH,MAAM,UAAU,cAAc,CAC5B,KAAgB,EAChB,MAAgB,EAChB,SAAwB;IAExB,MAAM,WAAW,GAAG,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,CAAA;IACrC,IAAI,CAAC,WAAW;QAAE,OAAO,KAAK,CAAA;IAC9B,MAAM,OAAO,GAAG,IAAI,GAAG,EAAoB,CAAA;IAC3C,KAAK,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,IAAI,WAAW,EAAE,CAAC;QACzC,MAAM,UAAU,GAAG,UAAU,CAAC,MAAM,EAAE,SAAS,CAAC,CAAA;QAChD,IAAI,UAAU,CAAC,MAAM,GAAG,CAAC;YAAE,OAAO,CAAC,GAAG,CAAC,IAAI,EAAE,UAAU,CAAC,CAAA;IAC1D,CAAC;IACD,MAAM,MAAM,GAAG,IAAI,GAAG,EAAoD,CAAA;IAC1E,KAAK,MAAM,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,KAAK,EAAE,CAAC;QACjC,MAAM,CAAC,GAAG,CAAC,GAAG,EAAE,GAAG,KAAK,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,KAAK,CAAC,CAAA;IACnD,CAAC;IACD,OAAO,MAAM,CAAA;AACf,CAAC;AAED;;;;;;;;;GASG;AACH,MAAM,UAAU,mBAAmB,CACjC,KAAgB,EAChB,SAAwB;IAExB,IAAI,MAAM,GAAc,KAAK,CAAA;IAC7B,KAAK,MAAM,MAAM,IAAI,KAAK,CAAC,IAAI,EAAE,EAAE,CAAC;QAClC,MAAM,GAAG,cAAc,CAAC,MAAM,EAAE,MAAM,EAAE,SAAS,CAAC,CAAA;IACpD,CAAC;IACD,OAAO,MAAM,CAAA;AACf,CAAC;AAED;;;;;;;;;;;;;GAaG;AACH,MAAM,UAAU,eAAe,CAC7B,WAAsB,EACtB,SAAwB,EACxB,SAAoB,EACpB,OAAsB,EACtB,OAAiB,EACjB,SAAiB;IAEjB,MAAM,MAAM,GAAG,IAAI,GAAG,EAAoD,CAAA;IAC1E,KAAK,MAAM,CAAC,MAAM,EAAE,KAAK,CAAC,IAAI,WAAW,EAAE,CAAC;QAC1C,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAoB,CAAA;QAC5C,KAAK,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,IAAI,KAAK,EAAE,CAAC;YACnC,MAAM,UAAU,GAAG,UAAU,CAAC,MAAM,EAAE,SAAS,CAAC,CAAA;YAChD,IAAI,UAAU,CAAC,MAAM,GAAG,CAAC;gBAAE,QAAQ,CAAC,GAAG,CAAC,IAAI,EAAE,UAAU,CAAC,CAAA;QAC3D,CAAC;QACD,MAAM,CAAC,GAAG,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAA;IAC9B,CAAC;IACD,KAAK,MAAM,CAAC,MAAM,EAAE,KAAK,CAAC,IAAI,SAAS,EAAE,CAAC;QACxC,IAAI,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC;YACvB,oDAAoD;YACpD,MAAM,QAAQ,GAAG,MAAM,CAAC,GAAG,CAAC,MAAM,CAAE,CAAA;YACpC,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAoB,CAAA;YAC5C,KAAK,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,IAAI,KAAK,EAAE,CAAC;gBACnC,MAAM,UAAU,GAAG,UAAU,CAAC,MAAM,EAAE,OAAO,CAAC,CAAA;gBAC9C,IAAI,UAAU,CAAC,MAAM,GAAG,CAAC;oBAAE,QAAQ,CAAC,GAAG,CAAC,IAAI,EAAE,UAAU,CAAC,CAAA;YAC3D,CAAC;YACD,MAAM,MAAM,GAAG,IAAI,GAAG,CAAmB,QAAiC,CAAC,CAAA;YAC3E,KAAK,MAAM,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,QAAQ,EAAE,CAAC;gBAClC,MAAM,IAAI,GAAG,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,CAAA;gBAC7B,MAAM,CAAC,GAAG,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,IAAI,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAA;YAC9D,CAAC;YACD,MAAM,CAAC,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,CAAA;QAC5B,CAAC;aAAM,CAAC;YACN,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAoB,CAAA;YAC5C,KAAK,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,IAAI,KAAK,EAAE,CAAC;gBACnC,MAAM,UAAU,GAAG,UAAU,CAAC,MAAM,EAAE,OAAO,CAAC,CAAA;gBAC9C,IAAI,UAAU,CAAC,MAAM,GAAG,CAAC;oBAAE,QAAQ,CAAC,GAAG,CAAC,IAAI,EAAE,UAAU,CAAC,CAAA;YAC3D,CAAC;YACD,MAAM,CAAC,GAAG,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAA;QAC9B,CAAC;IACH,CAAC;IACD,IAAI,SAAS,GAAG,CAAC,EAAE,CAAC;QAClB,MAAM,SAAS,GAAG,IAAI,GAAG,EAAoB,CAAA;QAC7C,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,SAAS,EAAE,CAAC,EAAE;YAAE,SAAS,CAAC,GAAG,CAAC,GAAG,OAAO,SAAS,CAAC,EAAE,EAAE,EAAE,CAAC,CAAA;QAC7E,MAAM,CAAC,GAAG,CAAC,OAAO,EAAE,SAAS,CAAC,CAAA;IAChC,CAAC;IACD,OAAO,MAAM,CAAA;AACf,CAAC;AAED;;;;;;;;GAQG;AACH,MAAM,UAAU,8BAA8B,CAAC,OAAe,EAAE,KAAa;IAC3E,MAAM,KAAK,GAAG,IAAI,GAAG,EAAoB,CAAA;IACzC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,EAAE,CAAC,EAAE;QAAE,KAAK,CAAC,GAAG,CAAC,GAAG,OAAO,SAAS,CAAC,EAAE,EAAE,EAAE,CAAC,CAAA;IACrE,OAAO,KAAK,CAAA;AACd,CAAC;AAED;;;;;;;;;;;;GAYG;AACH,MAAM,UAAU,aAAa,CAC3B,KAA6C,EAC7C,aAAgC,EAChC,OAAe;IAEf,MAAM,IAAI,GAAG,aAAa,CAAC,OAAO,GAAG,CAAC,CAAC,CAAA;IACvC,IAAI,IAAI,KAAK,SAAS;QAAE,OAAO,SAAS,CAAA;IACxC,KAAK,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,IAAI,KAAK,EAAE,CAAC;QACnC,IAAI,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC;YAAE,OAAO,IAAI,CAAA;IACxC,CAAC;IACD,OAAO,SAAS,CAAA;AAClB,CAAC","sourcesContent":["/**\n * roles.ts — RoleTable 的生命周期纯逻辑（§3.2/§3.3/§3.4 移植 + 改造）\n *\n * - `assignRoles`：链根建表。语义优先（box/cylinder/cone/sphere 按法向/曲面类型\n *   给稳定名）、位置兜底（`${opType}:face_${i}`，保证每面必有 role）。\n * - `propagateRoles`：沿一次 hash 演化推进表（移植 brepjs updateRoles/nextHashes：\n *   deleted 丢弃、modified 全部后继替换、未变保留；generated 刻意不消费）。\n * - `mergeRoleTables`：布尔合流——A/B 两个来源的表各自传播后合并，缝面以本次\n *   语句 LHS 为新 origin 给位置名（§3.4）。\n * - `roleOfOrdinal`：序号 → role 反查（§3.7 生成 ExecutionResult.naming 用）。\n */\n\nimport type { BrepEngineApi } from '../../brep/engine/primitives'\nimport type { BrepHandle } from '../../brep/engine/types'\nimport type { HashEvolution } from '../../brep/face-evolution'\nimport type { PartName } from '../../identity'\nimport type { RoleTable } from './types'\nimport { captureFaceHint } from './geom-hint'\n\n/** 主轴判定阈值：abs(component) > 0.9 视为轴对齐。 */\nexport const AXIS_THRESHOLD = 0.9\n\n/** Re-export：hash 键演化（decodeHashEvolution 产出，见 brep/face-evolution.ts §2.4）。 */\nexport type { HashEvolution }\n\n// ── 语义命名器（§3.2：faijs 单位/轴向契约，mm、+Z 向上）──\n\n/**\n * box 面：按外法向主轴给语义名。\n *\n * @param n - the outward normal of the face (unit length expected).\n * @returns the cardinal role ('box:top' etc.), or undefined when no axis dominates.\n */\nexport function boxRoleFromNormal(n: readonly [number, number, number]): string | undefined {\n  if (n[2] > AXIS_THRESHOLD) return 'box:top'\n  if (n[2] < -AXIS_THRESHOLD) return 'box:bottom'\n  if (n[1] > AXIS_THRESHOLD) return 'box:back'\n  if (n[1] < -AXIS_THRESHOLD) return 'box:front'\n  if (n[0] > AXIS_THRESHOLD) return 'box:right'\n  if (n[0] < -AXIS_THRESHOLD) return 'box:left'\n  return undefined\n}\n\n/** Z 轴端盖名：'+Z → :top'、'-Z → :bottom'（仅平面）。 */\nfunction axialCapName(prefix: string, surfaceType: string, z: number): string | undefined {\n  if (surfaceType !== 'plane') return undefined\n  if (z > AXIS_THRESHOLD) return `${prefix}:top`\n  if (z < -AXIS_THRESHOLD) return `${prefix}:bottom`\n  return undefined\n}\n\n/** cylinder（Z 轴）：端盖 + 侧立面。 */\nfunction cylinderRole(surfaceType: string, z: number): string | undefined {\n  return surfaceType === 'cylinder' ? 'cylinder:lateral' : axialCapName('cylinder', surfaceType, z)\n}\n\n/** cone（Z 轴）：端盖 + 侧立面。 */\nfunction coneRole(surfaceType: string, z: number): string | undefined {\n  return surfaceType === 'cone' ? 'cone:lateral' : axialCapName('cone', surfaceType, z)\n}\n\n/** sphere：单球面。 */\nfunction sphereRole(surfaceType: string): string | undefined {\n  return surfaceType === 'sphere' ? 'sphere:surface' : undefined\n}\n\n/** 每基本体的语义命名器，按 opType 键控。 */\nconst ROLE_ASSIGNERS: Record<string, (surfaceType: string, normal: readonly [number, number, number]) => string | undefined> = {\n  box: (_surfaceType, normal) => boxRoleFromNormal(normal),\n  cylinder: (surfaceType, normal) => cylinderRole(surfaceType, normal[2]),\n  cone: (surfaceType, normal) => coneRole(surfaceType, normal[2]),\n  sphere: (surfaceType, _normal) => sphereRole(surfaceType),\n}\n\n/**\n * 给链根 shape 建 RoleTable（单个 origin 的表；§3.2）。\n *\n * 语义优先、位置兜底；assign 时只保留 hash + hint，不保留面句柄\n * （避免 wasm 句柄生命周期泄漏——读完几何量即弃）。\n *\n * @param kernel - the OCCT kernel.\n * @param shape - the chain-root solid (primitive / load STEP 产物).\n * @param opType - the chain-root operation type ('box'/'cylinder'/... 或 part 变量名).\n * @returns RoleTable — 只有 origin=opType 一个键（调用方负责包装成多 origin 表）。\n */\nexport function assignRoles(\n  kernel: BrepEngineApi,\n  shape: BrepHandle,\n  opType: string,\n): Map<string, number[]> {\n  const roles = new Map<string, number[]>()\n  const assigner = ROLE_ASSIGNERS[opType]\n  const faceHandles = kernel.getSubShapes(shape, 'face')\n  try {\n    const hashes = kernel.subShapeHashes(shape, 'face', 2147483647)\n    let index = 0\n    for (let i = 0; i < faceHandles.length; i++) {\n      const hint = captureFaceHint(kernel, faceHandles[i])\n      const normal = hint.normal ?? [0, 0, 1]\n      const surfaceType = hint.surfaceType ?? ''\n      const semantic = assigner?.(surfaceType, normal)\n      const role =\n        semantic !== undefined && !roles.has(semantic)\n          ? semantic\n          : `${opType}:face_${index}`\n      roles.set(role, [hashes[i]])\n      index++\n    }\n    return roles\n  } finally {\n    // getSubShapes 返回的每个子形都是独立 arena 句柄——读完几何量即释放，\n    // 否则每次链根建表泄漏 faceCount 个存活句柄（arena 无界增长）。\n    for (const h of faceHandles) {\n      try { kernel.release(h) } catch { /* 已释放 */ }\n    }\n  }\n}\n\n/**\n * 把一个 role 的 hash 列表推进一个演化步（移植 brepjs nextHashes）：\n * deleted 丢弃、modified 全部后继替换（1→多保留全部分片）、未变保留。\n *\n * @param hashes - the role's current face hashes.\n * @param evolution - the hash-keyed evolution record.\n * @returns the successor hashes.\n */\nexport function nextHashes(hashes: readonly number[], evolution: HashEvolution): number[] {\n  const successors: number[] = []\n  for (const hash of hashes) {\n    if (evolution.deleted.has(hash)) continue\n    const modified = evolution.modified.get(hash)\n    const targets = modified !== undefined && modified.length > 0 ? modified : [hash]\n    for (const h of targets) if (!successors.includes(h)) successors.push(h)\n  }\n  return successors\n}\n\n/**\n * 沿一次 hash 演化推进某个 origin 的 role 表（移植 brepjs updateRoles）。\n *\n * generated 刻意不消费（§1.3 事实：occt 系 generated hash 指向中间形、实测 0 存活）；\n * 生成面由 DerivedFaceTopoRef 以 lineage 命名。\n *\n * @param roles - the input role table (may be the single-origin map or full table).\n * @param origin - the origin whose roles to advance.\n * @param evolution - the hash-keyed evolution record for this op.\n * @returns a NEW RoleTable with the origin's roles advanced (immutable style).\n */\nexport function propagateRoles(\n  roles: RoleTable,\n  origin: PartName,\n  evolution: HashEvolution,\n): RoleTable {\n  const originRoles = roles.get(origin)\n  if (!originRoles) return roles\n  const updated = new Map<string, number[]>()\n  for (const [role, hashes] of originRoles) {\n    const successors = nextHashes(hashes, evolution)\n    if (successors.length > 0) updated.set(role, successors)\n  }\n  const result = new Map<PartName, ReadonlyMap<string, readonly number[]>>()\n  for (const [key, value] of roles) {\n    result.set(key, key === origin ? updated : value)\n  }\n  return result\n}\n\n/**\n * 沿一次 hash 演化推进 RoleTable 的**所有** origin（单父 op 用，§3.3）。\n *\n * 变换/倒角等单输入 op 只产生一份演化，作用在输入表的所有 origin 上\n * （布尔合流后的表含多个 origin，刚体变换下面 1:1 保留全部）。\n *\n * @param roles - the input role table (possibly multi-origin after a merge).\n * @param evolution - the hash-keyed evolution record for this op.\n * @returns a NEW RoleTable with every origin's roles advanced.\n */\nexport function propagateAllOrigins(\n  roles: RoleTable,\n  evolution: HashEvolution,\n): RoleTable {\n  let result: RoleTable = roles\n  for (const origin of roles.keys()) {\n    result = propagateRoles(result, origin, evolution)\n  }\n  return result\n}\n\n/**\n * 布尔合流：合并两个来源的 role 表（§3.4，faijs 对 brepjs 的必要扩展）。\n *\n * 对 A、B 两张 hash 演化分别传播各自的表后合并；布尔新生成的缝面/刃面\n * 以本次布尔语句的 LHS 变量名（= outPart）为新 origin，位置名命名。\n *\n * @param targetTable - the target part's role table.\n * @param targetEvo - the target-side hash evolution (A 的 inHash 去向).\n * @param toolTable - the tool part's role table.\n * @param toolEvo - the tool-side hash evolution (B 的 inHash 去向).\n * @param outPart - the boolean statement's LHS variable name (new origin for seam faces).\n * @param seamCount - how many seam/generated faces to name positionally (0 表示不补).\n * @returns the merged RoleTable.\n */\nexport function mergeRoleTables(\n  targetTable: RoleTable,\n  targetEvo: HashEvolution,\n  toolTable: RoleTable,\n  toolEvo: HashEvolution,\n  outPart: PartName,\n  seamCount: number,\n): RoleTable {\n  const result = new Map<PartName, ReadonlyMap<string, readonly number[]>>()\n  for (const [origin, roles] of targetTable) {\n    const advanced = new Map<string, number[]>()\n    for (const [role, hashes] of roles) {\n      const successors = nextHashes(hashes, targetEvo)\n      if (successors.length > 0) advanced.set(role, successors)\n    }\n    result.set(origin, advanced)\n  }\n  for (const [origin, roles] of toolTable) {\n    if (result.has(origin)) {\n      // 同一 origin 出现在两侧（理论上罕见：同一变量两次输入）——按 tool 侧演化推进后合并。\n      const existing = result.get(origin)!\n      const advanced = new Map<string, number[]>()\n      for (const [role, hashes] of roles) {\n        const successors = nextHashes(hashes, toolEvo)\n        if (successors.length > 0) advanced.set(role, successors)\n      }\n      const merged = new Map<string, number[]>(existing as Map<string, number[]>)\n      for (const [role, hs] of advanced) {\n        const prev = merged.get(role)\n        merged.set(role, prev ? [...new Set([...prev, ...hs])] : hs)\n      }\n      result.set(origin, merged)\n    } else {\n      const advanced = new Map<string, number[]>()\n      for (const [role, hashes] of roles) {\n        const successors = nextHashes(hashes, toolEvo)\n        if (successors.length > 0) advanced.set(role, successors)\n      }\n      result.set(origin, advanced)\n    }\n  }\n  if (seamCount > 0) {\n    const seamRoles = new Map<string, number[]>()\n    for (let i = 0; i < seamCount; i++) seamRoles.set(`${outPart}:face_${i}`, [])\n    result.set(outPart, seamRoles)\n  }\n  return result\n}\n\n/**\n * 布尔缝面/刃面的位置名角色表（§3.4：以本次语句 LHS 为新 origin）。\n * 缝面的 hash 来自结果形状的 subShapeHashes（按生成序），此处仅分配 role 名——\n * hash 由调用方在拿到结果 shape 后填入（seam 面 hash 需结果 subShapeHashes 对照）。\n *\n * @param outPart - the boolean statement's LHS variable name.\n * @param count - the number of seam faces to name.\n * @returns a single-origin role map with positional roles.\n */\nexport function assignGeneratedPositionalRoles(outPart: string, count: number): Map<string, number[]> {\n  const roles = new Map<string, number[]>()\n  for (let i = 0; i < count; i++) roles.set(`${outPart}:face_${i}`, [])\n  return roles\n}\n\n/**\n * 序号 → role 反查（§3.7 生成 ExecutionResult.naming 用）。\n *\n * 反查需要「序号 → hash」对照：subShapeHashes(shape,'face',B) 的数组下标 i 对应\n * 序号 i+1（§1.1 事实：getSubShapes ↔ subShapeHashes 同走 TopExp::MapShapes、\n * 逐位同序）。调用方传入该对照数组 + 该 origin 的 role 表，返回第 ordinal 个面\n * 的 role 名；不在表中 → undefined。\n *\n * @param roles - the role table for a single origin (role → hash list).\n * @param ordinalToHash - subShapeHashes(shape,'face') 数组：下标 i ↔ 序号 i+1 的 hash。\n * @param ordinal - the face ordinal (1-based).\n * @returns the role name, or undefined when the ordinal isn't tracked.\n */\nexport function roleOfOrdinal(\n  roles: ReadonlyMap<string, readonly number[]>,\n  ordinalToHash: readonly number[],\n  ordinal: number,\n): string | undefined {\n  const hash = ordinalToHash[ordinal - 1]\n  if (hash === undefined) return undefined\n  for (const [role, hashes] of roles) {\n    if (hashes.includes(hash)) return role\n  }\n  return undefined\n}\n"]}

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

@@ -0,0 +1,60 @@
+/**
+ * score.ts — 面候选打分器（移植 brepjs src/topology/shapeRef/scoring.ts）
+ *
+ * 两套实现，口径一致、结果可比（§3.5）：
+ * - `defaultFaceScorer`：BREP 现场几何（kernel 计算 surfaceType/normal/center/area）
+ * - `scoreFaceRow`：mesh/primitive 面行快照（FaceRow 或命名槽 FaceHint）
+ *
+ * 阈值常量化并写明 mm 单位假设——faijs 契约就是 mm，可直接沿用 brepjs 阈值。
+ */
+import type { BrepEngineApi } from '../../brep/engine/primitives.js';
+import type { BrepHandle } from '../../brep/engine/types.js';
+import type { FaceHint } from './types.js';
+/** 打分函数：分越高越匹配；-Infinity 直接拒绝。 */
+export type FaceScorer = (hint: FaceHint, candidate: FaceCandidate) => number;
+/** 打分候选：BREP 现场句柄 或 mesh/primitive 面行快照，二选一。 */
+export interface FaceCandidate {
+    /** BREP 现场面句柄（走 kernel 现场几何）。 */
+    readonly handle?: BrepHandle;
+    /** 面行快照（mesh/primitive；与 handle 二选一）。 */
+    readonly row?: Readonly<{
+        surfaceType?: string;
+        normal?: readonly number[];
+        center?: readonly number[];
+        area?: number;
+    }>;
+}
+/** 几何兜底接受的最小分。 */
+export declare const MIN_SCORE = 0.5;
+/** 并列模糊带：两候选分差小于此值视为并列（→ ambiguous）。 */
+export declare const AMBIGUITY_THRESHOLD = 0.1;
+/**
+ * 打分一条候选（共用于 BREP 现场与面行快照两路）。
+ *
+ * @param kernel - OCCT 内核（candidate.handle 路径需要；row 路径可传 null）。
+ * @param hint - 被解析 TopoRef 携带的面 hint。
+ * @param candidate - 候选（句柄或面行）。
+ * @returns 综合分；-Infinity 表示硬性不匹配。
+ */
+export declare function scoreCandidate(kernel: BrepEngineApi | null, hint: FaceHint, candidate: FaceCandidate): number;
+/**
+ * BREP 现场打分器（§3.5 defaultFaceScorer 移植）：候选是活句柄，几何现场算。
+ * 保持与 scoreFaceRow 同一套权重，保证两路结果可比。
+ */
+/**
+ * Build a scorer that computes geometry live from a BREP kernel handle.
+ *
+ * @param kernel - the OCCT kernel used to evaluate candidate face geometry.
+ * @returns a FaceScorer scoring live face handles against a FaceHint.
+ */
+export declare function defaultFaceScorer(kernel: BrepEngineApi): FaceScorer;
+/**
+ * 面行/命名槽快照打分器（§3.5 scoreFaceRow）：候选是 FaceRow/hint 快照，
+ * 用于 mesh/primitive（无 kernel 现场几何）。
+ *
+ * @param hint - the FaceHint carried by the TopoRef being resolved.
+ * @param row - the candidate face-row snapshot (surfaceType/normal/center/area).
+ * @returns the combined score; -Infinity rejects the candidate outright.
+ */
+export declare function scoreFaceRow(hint: FaceHint, row: FaceCandidate['row']): number;
+//# sourceMappingURL=score.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"score.d.ts","sourceRoot":"","sources":["../../../src/topology/naming/score.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAEH,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,8BAA8B,CAAA;AACjE,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,yBAAyB,CAAA;AACzD,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,SAAS,CAAA;AAEvC,kCAAkC;AAClC,MAAM,MAAM,UAAU,GAAG,CAAC,IAAI,EAAE,QAAQ,EAAE,SAAS,EAAE,aAAa,KAAK,MAAM,CAAA;AAE7E,gDAAgD;AAChD,MAAM,WAAW,aAAa;IAC5B,iCAAiC;IACjC,QAAQ,CAAC,MAAM,CAAC,EAAE,UAAU,CAAA;IAC5B,yCAAyC;IACzC,QAAQ,CAAC,GAAG,CAAC,EAAE,QAAQ,CAAC;QACtB,WAAW,CAAC,EAAE,MAAM,CAAA;QACpB,MAAM,CAAC,EAAE,SAAS,MAAM,EAAE,CAAA;QAC1B,MAAM,CAAC,EAAE,SAAS,MAAM,EAAE,CAAA;QAC1B,IAAI,CAAC,EAAE,MAAM,CAAA;KACd,CAAC,CAAA;CACH;AAUD,kBAAkB;AAClB,eAAO,MAAM,SAAS,MAAM,CAAA;AAC5B,wCAAwC;AACxC,eAAO,MAAM,mBAAmB,MAAM,CAAA;AAsCtC;;;;;;;GAOG;AACH,wBAAgB,cAAc,CAC5B,MAAM,EAAE,aAAa,GAAG,IAAI,EAC5B,IAAI,EAAE,QAAQ,EACd,SAAS,EAAE,aAAa,GACvB,MAAM,CAqCR;AAED;;;GAGG;AACH;;;;;GAKG;AACH,wBAAgB,iBAAiB,CAAC,MAAM,EAAE,aAAa,GAAG,UAAU,CAEnE;AAED;;;;;;;GAOG;AACH,wBAAgB,YAAY,CAAC,IAAI,EAAE,QAAQ,EAAE,GAAG,EAAE,aAAa,CAAC,KAAK,CAAC,GAAG,MAAM,CAE9E"}

package/dist/topology/naming/score.js

@@ -0,0 +1,121 @@
+/**
+ * score.ts — 面候选打分器（移植 brepjs src/topology/shapeRef/scoring.ts）
+ *
+ * 两套实现，口径一致、结果可比（§3.5）：
+ * - `defaultFaceScorer`：BREP 现场几何（kernel 计算 surfaceType/normal/center/area）
+ * - `scoreFaceRow`：mesh/primitive 面行快照（FaceRow 或命名槽 FaceHint）
+ *
+ * 阈值常量化并写明 mm 单位假设——faijs 契约就是 mm，可直接沿用 brepjs 阈值。
+ */
+/** 曲面类型不符直接拒绝（硬门）。 */
+const TYPE_MISMATCH = -Infinity;
+/** 法向点积下限（拒绝阈值）。 */
+const NORMAL_DOT_MIN = 0.707;
+/** 质心距²上限（mm²；拒绝阈值）。 */
+const CENTROID_DIST_SQ_MAX = 100;
+/** 面积 |log 比| 超此值扣分。 */
+const AREA_LOG_RATIO_MAX = 1.0;
+/** 几何兜底接受的最小分。 */
+export const MIN_SCORE = 0.5;
+/** 并列模糊带：两候选分差小于此值视为并列（→ ambiguous）。 */
+export const AMBIGUITY_THRESHOLD = 0.1;
+/** 从候选读取几何量的统一入口（handle 优先，row 兜底）。 */
+function candidateGeometry(kernel, candidate) {
+    if (candidate.handle !== undefined && kernel) {
+        const center = kernel.getSurfaceCenterOfMass(candidate.handle);
+        const uv = kernel.uvBounds(candidate.handle);
+        const u = (uv.uMin + uv.uMax) / 2;
+        const v = (uv.vMin + uv.vMax) / 2;
+        const normal = kernel.surfaceNormal(candidate.handle, u, v);
+        return {
+            surfaceType: kernel.surfaceType(candidate.handle),
+            normal: [normal.x, normal.y, normal.z],
+            center: [center.x, center.y, center.z],
+            area: faceAreaOf(kernel, candidate.handle),
+        };
+    }
+    return candidate.row ?? {};
+}
+/** 面面积：BREP 现场无直接 API，用包围盒近似不可靠——退化为 undefined（不打分）。 */
+function faceAreaOf(_kernel, _face) {
+    // occt-wasm 无公开 face area API（queryBatch 仅测试用、返回 {area} 但生产路径零调用）。
+    // hint 携带的 area 仍参与面积比扣分（见 scorerArea），此处返回 undefined 表示「现场未知」。
+    return undefined;
+}
+/** 面积比扣分（hint.area 已知且 >0 时）。 */
+function scorerArea(hint, area) {
+    if (hint.area === undefined || hint.area <= 0)
+        return 0;
+    if (area === undefined || area <= 0)
+        return 0;
+    const logRatio = Math.abs(Math.log(hint.area / area));
+    return logRatio > AREA_LOG_RATIO_MAX ? -logRatio : 0;
+}
+/**
+ * 打分一条候选（共用于 BREP 现场与面行快照两路）。
+ *
+ * @param kernel - OCCT 内核（candidate.handle 路径需要；row 路径可传 null）。
+ * @param hint - 被解析 TopoRef 携带的面 hint。
+ * @param candidate - 候选（句柄或面行）。
+ * @returns 综合分；-Infinity 表示硬性不匹配。
+ */
+export function scoreCandidate(kernel, hint, candidate) {
+    let score = 0;
+    const g = candidateGeometry(kernel, candidate);
+    // 曲面类型硬门
+    if (hint.surfaceType !== undefined) {
+        if (g.surfaceType === hint.surfaceType) {
+            score += 1.0;
+        }
+        else {
+            return TYPE_MISMATCH;
+        }
+    }
+    // 法向点积
+    if (hint.normal !== undefined && g.normal !== undefined) {
+        const dot = hint.normal[0] * g.normal[0] +
+            hint.normal[1] * g.normal[1] +
+            hint.normal[2] * g.normal[2];
+        if (dot < NORMAL_DOT_MIN)
+            return TYPE_MISMATCH;
+        score += dot;
+    }
+    // 质心距²惩罚
+    if (hint.center !== undefined && g.center !== undefined) {
+        const dx = hint.center[0] - g.center[0];
+        const dy = hint.center[1] - g.center[1];
+        const dz = hint.center[2] - g.center[2];
+        const distSq = dx * dx + dy * dy + dz * dz;
+        if (distSq > CENTROID_DIST_SQ_MAX)
+            return TYPE_MISMATCH;
+        score -= distSq / 100;
+    }
+    // 面积比扣分
+    score += scorerArea(hint, g.area);
+    return score;
+}
+/**
+ * BREP 现场打分器（§3.5 defaultFaceScorer 移植）：候选是活句柄，几何现场算。
+ * 保持与 scoreFaceRow 同一套权重，保证两路结果可比。
+ */
+/**
+ * Build a scorer that computes geometry live from a BREP kernel handle.
+ *
+ * @param kernel - the OCCT kernel used to evaluate candidate face geometry.
+ * @returns a FaceScorer scoring live face handles against a FaceHint.
+ */
+export function defaultFaceScorer(kernel) {
+    return (hint, candidate) => scoreCandidate(kernel, hint, candidate);
+}
+/**
+ * 面行/命名槽快照打分器（§3.5 scoreFaceRow）：候选是 FaceRow/hint 快照，
+ * 用于 mesh/primitive（无 kernel 现场几何）。
+ *
+ * @param hint - the FaceHint carried by the TopoRef being resolved.
+ * @param row - the candidate face-row snapshot (surfaceType/normal/center/area).
+ * @returns the combined score; -Infinity rejects the candidate outright.
+ */
+export function scoreFaceRow(hint, row) {
+    return scoreCandidate(null, hint, { row });
+}
+//# sourceMappingURL=score.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"score.js","sourceRoot":"","sources":["../../../src/topology/naming/score.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAsBH,sBAAsB;AACtB,MAAM,aAAa,GAAG,CAAC,QAAQ,CAAA;AAC/B,oBAAoB;AACpB,MAAM,cAAc,GAAG,KAAK,CAAA;AAC5B,wBAAwB;AACxB,MAAM,oBAAoB,GAAG,GAAG,CAAA;AAChC,wBAAwB;AACxB,MAAM,kBAAkB,GAAG,GAAG,CAAA;AAC9B,kBAAkB;AAClB,MAAM,CAAC,MAAM,SAAS,GAAG,GAAG,CAAA;AAC5B,wCAAwC;AACxC,MAAM,CAAC,MAAM,mBAAmB,GAAG,GAAG,CAAA;AAEtC,uCAAuC;AACvC,SAAS,iBAAiB,CACxB,MAA4B,EAC5B,SAAwB;IAExB,IAAI,SAAS,CAAC,MAAM,KAAK,SAAS,IAAI,MAAM,EAAE,CAAC;QAC7C,MAAM,MAAM,GAAG,MAAM,CAAC,sBAAsB,CAAC,SAAS,CAAC,MAAM,CAAC,CAAA;QAC9D,MAAM,EAAE,GAAG,MAAM,CAAC,QAAQ,CAAC,SAAS,CAAC,MAAM,CAAC,CAAA;QAC5C,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,GAAG,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,CAAA;QACjC,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,GAAG,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,CAAA;QACjC,MAAM,MAAM,GAAG,MAAM,CAAC,aAAa,CAAC,SAAS,CAAC,MAAM,EAAE,CAAC,EAAE,CAAC,CAAC,CAAA;QAC3D,OAAO;YACL,WAAW,EAAE,MAAM,CAAC,WAAW,CAAC,SAAS,CAAC,MAAM,CAAC;YACjD,MAAM,EAAE,CAAC,MAAM,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC;YACtC,MAAM,EAAE,CAAC,MAAM,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC;YACtC,IAAI,EAAE,UAAU,CAAC,MAAM,EAAE,SAAS,CAAC,MAAM,CAAC;SAC3C,CAAA;IACH,CAAC;IACD,OAAO,SAAS,CAAC,GAAG,IAAI,EAAE,CAAA;AAC5B,CAAC;AAED,wDAAwD;AACxD,SAAS,UAAU,CAAC,OAAsB,EAAE,KAAiB;IAC3D,mEAAmE;IACnE,gEAAgE;IAChE,OAAO,SAAS,CAAA;AAClB,CAAC;AAED,iCAAiC;AACjC,SAAS,UAAU,CAAC,IAAc,EAAE,IAAwB;IAC1D,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS,IAAI,IAAI,CAAC,IAAI,IAAI,CAAC;QAAE,OAAO,CAAC,CAAA;IACvD,IAAI,IAAI,KAAK,SAAS,IAAI,IAAI,IAAI,CAAC;QAAE,OAAO,CAAC,CAAA;IAC7C,MAAM,QAAQ,GAAG,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,GAAG,IAAI,CAAC,CAAC,CAAA;IACrD,OAAO,QAAQ,GAAG,kBAAkB,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAA;AACtD,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,UAAU,cAAc,CAC5B,MAA4B,EAC5B,IAAc,EACd,SAAwB;IAExB,IAAI,KAAK,GAAG,CAAC,CAAA;IACb,MAAM,CAAC,GAAG,iBAAiB,CAAC,MAAM,EAAE,SAAS,CAAC,CAAA;IAE9C,SAAS;IACT,IAAI,IAAI,CAAC,WAAW,KAAK,SAAS,EAAE,CAAC;QACnC,IAAI,CAAC,CAAC,WAAW,KAAK,IAAI,CAAC,WAAW,EAAE,CAAC;YACvC,KAAK,IAAI,GAAG,CAAA;QACd,CAAC;aAAM,CAAC;YACN,OAAO,aAAa,CAAA;QACtB,CAAC;IACH,CAAC;IAED,OAAO;IACP,IAAI,IAAI,CAAC,MAAM,KAAK,SAAS,IAAI,CAAC,CAAC,MAAM,KAAK,SAAS,EAAE,CAAC;QACxD,MAAM,GAAG,GACP,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC;YAC5B,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC;YAC5B,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAA;QAC9B,IAAI,GAAG,GAAG,cAAc;YAAE,OAAO,aAAa,CAAA;QAC9C,KAAK,IAAI,GAAG,CAAA;IACd,CAAC;IAED,SAAS;IACT,IAAI,IAAI,CAAC,MAAM,KAAK,SAAS,IAAI,CAAC,CAAC,MAAM,KAAK,SAAS,EAAE,CAAC;QACxD,MAAM,EAAE,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAA;QACvC,MAAM,EAAE,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAA;QACvC,MAAM,EAAE,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAA;QACvC,MAAM,MAAM,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,CAAA;QAC1C,IAAI,MAAM,GAAG,oBAAoB;YAAE,OAAO,aAAa,CAAA;QACvD,KAAK,IAAI,MAAM,GAAG,GAAG,CAAA;IACvB,CAAC;IAED,QAAQ;IACR,KAAK,IAAI,UAAU,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,CAAA;IAEjC,OAAO,KAAK,CAAA;AACd,CAAC;AAED;;;GAGG;AACH;;;;;GAKG;AACH,MAAM,UAAU,iBAAiB,CAAC,MAAqB;IACrD,OAAO,CAAC,IAAI,EAAE,SAAS,EAAE,EAAE,CAAC,cAAc,CAAC,MAAM,EAAE,IAAI,EAAE,SAAS,CAAC,CAAA;AACrE,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,UAAU,YAAY,CAAC,IAAc,EAAE,GAAyB;IACpE,OAAO,cAAc,CAAC,IAAI,EAAE,IAAI,EAAE,EAAE,GAAG,EAAE,CAAC,CAAA;AAC5C,CAAC","sourcesContent":["/**\n * score.ts — 面候选打分器（移植 brepjs src/topology/shapeRef/scoring.ts）\n *\n * 两套实现，口径一致、结果可比（§3.5）：\n * - `defaultFaceScorer`：BREP 现场几何（kernel 计算 surfaceType/normal/center/area）\n * - `scoreFaceRow`：mesh/primitive 面行快照（FaceRow 或命名槽 FaceHint）\n *\n * 阈值常量化并写明 mm 单位假设——faijs 契约就是 mm，可直接沿用 brepjs 阈值。\n */\n\nimport type { BrepEngineApi } from '../../brep/engine/primitives'\nimport type { BrepHandle } from '../../brep/engine/types'\nimport type { FaceHint } from './types'\n\n/** 打分函数：分越高越匹配；-Infinity 直接拒绝。 */\nexport type FaceScorer = (hint: FaceHint, candidate: FaceCandidate) => number\n\n/** 打分候选：BREP 现场句柄 或 mesh/primitive 面行快照，二选一。 */\nexport interface FaceCandidate {\n  /** BREP 现场面句柄（走 kernel 现场几何）。 */\n  readonly handle?: BrepHandle\n  /** 面行快照（mesh/primitive；与 handle 二选一）。 */\n  readonly row?: Readonly<{\n    surfaceType?: string\n    normal?: readonly number[]\n    center?: readonly number[]\n    area?: number\n  }>\n}\n\n/** 曲面类型不符直接拒绝（硬门）。 */\nconst TYPE_MISMATCH = -Infinity\n/** 法向点积下限（拒绝阈值）。 */\nconst NORMAL_DOT_MIN = 0.707\n/** 质心距²上限（mm²；拒绝阈值）。 */\nconst CENTROID_DIST_SQ_MAX = 100\n/** 面积 |log 比| 超此值扣分。 */\nconst AREA_LOG_RATIO_MAX = 1.0\n/** 几何兜底接受的最小分。 */\nexport const MIN_SCORE = 0.5\n/** 并列模糊带：两候选分差小于此值视为并列（→ ambiguous）。 */\nexport const AMBIGUITY_THRESHOLD = 0.1\n\n/** 从候选读取几何量的统一入口（handle 优先，row 兜底）。 */\nfunction candidateGeometry(\n  kernel: BrepEngineApi | null,\n  candidate: FaceCandidate,\n): { surfaceType?: string; normal?: readonly number[]; center?: readonly number[]; area?: number } {\n  if (candidate.handle !== undefined && kernel) {\n    const center = kernel.getSurfaceCenterOfMass(candidate.handle)\n    const uv = kernel.uvBounds(candidate.handle)\n    const u = (uv.uMin + uv.uMax) / 2\n    const v = (uv.vMin + uv.vMax) / 2\n    const normal = kernel.surfaceNormal(candidate.handle, u, v)\n    return {\n      surfaceType: kernel.surfaceType(candidate.handle),\n      normal: [normal.x, normal.y, normal.z],\n      center: [center.x, center.y, center.z],\n      area: faceAreaOf(kernel, candidate.handle),\n    }\n  }\n  return candidate.row ?? {}\n}\n\n/** 面面积：BREP 现场无直接 API，用包围盒近似不可靠——退化为 undefined（不打分）。 */\nfunction faceAreaOf(_kernel: BrepEngineApi, _face: BrepHandle): number | undefined {\n  // occt-wasm 无公开 face area API（queryBatch 仅测试用、返回 {area} 但生产路径零调用）。\n  // hint 携带的 area 仍参与面积比扣分（见 scorerArea），此处返回 undefined 表示「现场未知」。\n  return undefined\n}\n\n/** 面积比扣分（hint.area 已知且 >0 时）。 */\nfunction scorerArea(hint: FaceHint, area: number | undefined): number {\n  if (hint.area === undefined || hint.area <= 0) return 0\n  if (area === undefined || area <= 0) return 0\n  const logRatio = Math.abs(Math.log(hint.area / area))\n  return logRatio > AREA_LOG_RATIO_MAX ? -logRatio : 0\n}\n\n/**\n * 打分一条候选（共用于 BREP 现场与面行快照两路）。\n *\n * @param kernel - OCCT 内核（candidate.handle 路径需要；row 路径可传 null）。\n * @param hint - 被解析 TopoRef 携带的面 hint。\n * @param candidate - 候选（句柄或面行）。\n * @returns 综合分；-Infinity 表示硬性不匹配。\n */\nexport function scoreCandidate(\n  kernel: BrepEngineApi | null,\n  hint: FaceHint,\n  candidate: FaceCandidate,\n): number {\n  let score = 0\n  const g = candidateGeometry(kernel, candidate)\n\n  // 曲面类型硬门\n  if (hint.surfaceType !== undefined) {\n    if (g.surfaceType === hint.surfaceType) {\n      score += 1.0\n    } else {\n      return TYPE_MISMATCH\n    }\n  }\n\n  // 法向点积\n  if (hint.normal !== undefined && g.normal !== undefined) {\n    const dot =\n      hint.normal[0] * g.normal[0] +\n      hint.normal[1] * g.normal[1] +\n      hint.normal[2] * g.normal[2]\n    if (dot < NORMAL_DOT_MIN) return TYPE_MISMATCH\n    score += dot\n  }\n\n  // 质心距²惩罚\n  if (hint.center !== undefined && g.center !== undefined) {\n    const dx = hint.center[0] - g.center[0]\n    const dy = hint.center[1] - g.center[1]\n    const dz = hint.center[2] - g.center[2]\n    const distSq = dx * dx + dy * dy + dz * dz\n    if (distSq > CENTROID_DIST_SQ_MAX) return TYPE_MISMATCH\n    score -= distSq / 100\n  }\n\n  // 面积比扣分\n  score += scorerArea(hint, g.area)\n\n  return score\n}\n\n/**\n * BREP 现场打分器（§3.5 defaultFaceScorer 移植）：候选是活句柄，几何现场算。\n * 保持与 scoreFaceRow 同一套权重，保证两路结果可比。\n */\n/**\n * Build a scorer that computes geometry live from a BREP kernel handle.\n *\n * @param kernel - the OCCT kernel used to evaluate candidate face geometry.\n * @returns a FaceScorer scoring live face handles against a FaceHint.\n */\nexport function defaultFaceScorer(kernel: BrepEngineApi): FaceScorer {\n  return (hint, candidate) => scoreCandidate(kernel, hint, candidate)\n}\n\n/**\n * 面行/命名槽快照打分器（§3.5 scoreFaceRow）：候选是 FaceRow/hint 快照，\n * 用于 mesh/primitive（无 kernel 现场几何）。\n *\n * @param hint - the FaceHint carried by the TopoRef being resolved.\n * @param row - the candidate face-row snapshot (surfaceType/normal/center/area).\n * @returns the combined score; -Infinity rejects the candidate outright.\n */\nexport function scoreFaceRow(hint: FaceHint, row: FaceCandidate['row']): number {\n  return scoreCandidate(null, hint, { row })\n}\n"]}

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

@@ -0,0 +1,142 @@
+/**
+ *
+ * 跨历史身份层：TopoRef 是纯数据、JSON 安全（写进 .fai.js 的参数），
+ * 在改参重放后仍能指认「同一个面/边/点」。序号（FaceId/EdgeId）是
+ * 快照内地址层，不动；本层叠加在其上。
+ *
+ * 与 brepjs shapeRef 的分层同构：role 是稳定身份、hash 是会话内活句柄索引、
+ * hint 是几何兜底。区别：faijs 的 origin 可限定（RoleQualifier），以支持
+ * 布尔合流后来自不同链根来源的面。
+ */
+import type { PartName } from '../../identity.js';
+/**
+ * 轴几何快照（装配约束 P0 前置）：圆柱/圆锥面与直边/圆边的有向轴。
+ * origin 是轴上一点（圆柱轴点 / 直边起点 / 圆边圆心），direction 是单位轴向。
+ */
+export interface AxisHint {
+    readonly origin: [number, number, number];
+    readonly direction: [number, number, number];
+}
+/** 面几何快照：与 SelectorRuntime 的 FaceRow（surfaceType/area/center/normal）同源。 */
+export interface FaceHint {
+    readonly kind: 'face';
+    readonly surfaceType?: string;
+    readonly normal?: [number, number, number];
+    readonly center?: [number, number, number];
+    readonly area?: number;
+    /** 圆柱/回转面的轴（装配 concentric 等轴约束的实体来源；平面/球面缺省）。 */
+    readonly axis?: AxisHint;
+}
+/** 边几何快照：length/midpoint 作裁决 hint。 */
+export interface EdgeHint {
+    readonly kind: 'edge';
+    readonly length?: number;
+    readonly midpoint?: [number, number, number];
+    /** 直边（起点+切向）或圆边（圆心+所在平面法向）的轴（装配轴约束的实体来源）。 */
+    readonly axis?: AxisHint;
+}
+/** 顶点几何快照：position 作裁决 hint。 */
+export interface VertexHint {
+    readonly kind: 'vertex';
+    readonly position?: [number, number, number];
+}
+/** 生成面（倒角/圆角过渡面）几何快照：被桥接两面的外法向 + 边中点。 */
+export interface DerivedFaceHint {
+    readonly kind: 'derived-face';
+    readonly normalA: [number, number, number];
+    readonly normalB: [number, number, number];
+    readonly edgeMidpoint?: [number, number, number];
+}
+/**
+ * role 的全局限定：origin = 该面血缘起点的 part 变量名（链根），
+ * role = 该起点内的角色名（如 'box:top'）。
+ */
+export interface RoleQualifier {
+    readonly origin: PartName;
+    readonly role: string;
+}
+/** 面引用：origin+role 为主键，hint 为兜底（对应 brepjs ShapeRef）。 */
+export interface FaceTopoRef {
+    readonly kind: 'face';
+    readonly origin: PartName;
+    readonly role: string;
+    readonly hint: FaceHint;
+}
+/**
+ * 边引用：= 两邻面之交。faijs 扩展：两面可能来自布尔合流后的不同 origin，
+ * 故用 RoleQualifier（带 origin 的稳定 role）而非 brepjs 的裸 role 串。
+ */
+export interface EdgeTopoRef {
+    readonly kind: 'edge';
+    readonly faces: readonly [RoleQualifier, RoleQualifier];
+    readonly hint: EdgeHint;
+}
+/** 顶点引用：≥3 邻面之交。 */
+export interface VertexTopoRef {
+    readonly kind: 'vertex';
+    readonly faces: readonly RoleQualifier[];
+    readonly hint: VertexHint;
+}
+/** 生成面（倒角斜面/圆角面）：桥接两面，normal-blend 解析。 */
+export interface DerivedFaceTopoRef {
+    readonly kind: 'derived-face';
+    readonly op: 'fillet' | 'chamfer';
+    readonly between: readonly [RoleQualifier, RoleQualifier];
+    readonly hint: DerivedFaceHint;
+}
+/** 四类拓扑引用的并集。 */
+export type TopoRef = FaceTopoRef | EdgeTopoRef | VertexTopoRef | DerivedFaceTopoRef;
+/**
+ * origin（链根 PartName）→ role → 当前面 hash 列表。
+ * 1→多分裂时一个 role 对应多个 hash；resolve 只在后继内裁决。
+ */
+export type RoleTable = ReadonlyMap<PartName, ReadonlyMap<string, readonly number[]>>;
+/** 解析成功：活实体 + 序号 + 置信度。 */
+export type TopoResolution<T> = {
+    readonly ok: true;
+    readonly entity: T;
+    readonly ordinal: number;
+    readonly confidence: 'exact' | 'geometric-fallback';
+} | {
+    readonly ok: false;
+    readonly reason: 'deleted' | 'ambiguous' | 'not-found';
+    readonly candidatesOrdinal?: readonly number[];
+};
+/** 解析失败错误码：面/边/顶点/生成面统一用 deleted/ambiguous/not-found 三码。 */
+export type TopoErrorCode = 'E_TOPO_DELETED' | 'E_TOPO_AMBIGUOUS' | 'E_TOPO_NOT_FOUND';
+/** 解析失败异常：带错误码与 ref 的 kind，禁止静默拿序号硬取。 */
+export declare class TopoRefError extends Error {
+    /** 错误码：E_TOPO_DELETED / E_TOPO_AMBIGUOUS / E_TOPO_NOT_FOUND。 */
+    readonly code: TopoErrorCode;
+    /** 解析失败的 TopoRef kind（'face'|'edge'|'vertex'|'derived-face'）。 */
+    readonly refKind: TopoRef['kind'];
+    /** ambiguous 时的并列候选序号（1 起）。 */
+    readonly candidatesOrdinal?: readonly number[];
+    constructor(code: TopoErrorCode, refKind: TopoRef['kind'], message: string, candidatesOrdinal?: readonly number[]);
+}
+/**
+ * 面命名行：序号(1起) ↔ 数组下标。宿主 O(1) 反查：拾取到的 FaceId ordinal
+ * → 本行 → captureTopoRef 造 TopoRef。mesh 来源只填 hint、role 为空串。
+ */
+export interface FaceNaming {
+    readonly origin: PartName;
+    readonly role: string;
+    readonly hint: FaceHint;
+}
+/**
+ * 边命名行：两邻面的 RoleQualifier（mesh 无邻接时为 null）+ 边 hint。
+ * 宿主用它组 EdgeTopoRef（§6.1）。
+ */
+export interface EdgeNaming {
+    readonly faces: readonly [RoleQualifier, RoleQualifier] | null;
+    readonly hint: EdgeHint;
+}
+/** 每个 part 的命名数据（ExecutionResult.naming 的 value）。 */
+export interface PartNaming {
+    readonly source: 'brep' | 'primitive' | 'mesh';
+    /** 面命名行；序号(1起) ↔ 数组下标。BREP/primitive 完整，mesh 只给 hint（role=''）。 */
+    readonly faceNaming: ReadonlyArray<FaceNaming>;
+    /** 边命名行。mesh 无邻接 → faces=null，只给 hint。 */
+    readonly edgeNaming: ReadonlyArray<EdgeNaming>;
+}
+//# sourceMappingURL=types.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../../../src/topology/naming/types.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AAEH,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,gBAAgB,CAAA;AAI9C;;;GAGG;AACH,MAAM,WAAW,QAAQ;IACvB,QAAQ,CAAC,MAAM,EAAE,CAAC,MAAM,EAAE,MAAM,EAAE,MAAM,CAAC,CAAA;IACzC,QAAQ,CAAC,SAAS,EAAE,CAAC,MAAM,EAAE,MAAM,EAAE,MAAM,CAAC,CAAA;CAC7C;AAED,2EAA2E;AAC3E,MAAM,WAAW,QAAQ;IACvB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;IACrB,QAAQ,CAAC,WAAW,CAAC,EAAE,MAAM,CAAA;IAC7B,QAAQ,CAAC,MAAM,CAAC,EAAE,CAAC,MAAM,EAAE,MAAM,EAAE,MAAM,CAAC,CAAA;IAC1C,QAAQ,CAAC,MAAM,CAAC,EAAE,CAAC,MAAM,EAAE,MAAM,EAAE,MAAM,CAAC,CAAA;IAC1C,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,CAAA;IACtB,iDAAiD;IACjD,QAAQ,CAAC,IAAI,CAAC,EAAE,QAAQ,CAAA;CACzB;AAED,sCAAsC;AACtC,MAAM,WAAW,QAAQ;IACvB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;IACrB,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,CAAA;IACxB,QAAQ,CAAC,QAAQ,CAAC,EAAE,CAAC,MAAM,EAAE,MAAM,EAAE,MAAM,CAAC,CAAA;IAC5C,6CAA6C;IAC7C,QAAQ,CAAC,IAAI,CAAC,EAAE,QAAQ,CAAA;CACzB;AAED,gCAAgC;AAChC,MAAM,WAAW,UAAU;IACzB,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAA;IACvB,QAAQ,CAAC,QAAQ,CAAC,EAAE,CAAC,MAAM,EAAE,MAAM,EAAE,MAAM,CAAC,CAAA;CAC7C;AAED,yCAAyC;AACzC,MAAM,WAAW,eAAe;IAC9B,QAAQ,CAAC,IAAI,EAAE,cAAc,CAAA;IAC7B,QAAQ,CAAC,OAAO,EAAE,CAAC,MAAM,EAAE,MAAM,EAAE,MAAM,CAAC,CAAA;IAC1C,QAAQ,CAAC,OAAO,EAAE,CAAC,MAAM,EAAE,MAAM,EAAE,MAAM,CAAC,CAAA;IAC1C,QAAQ,CAAC,YAAY,CAAC,EAAE,CAAC,MAAM,EAAE,MAAM,EAAE,MAAM,CAAC,CAAA;CACjD;AAID;;;GAGG;AACH,MAAM,WAAW,aAAa;IAC5B,QAAQ,CAAC,MAAM,EAAE,QAAQ,CAAA;IACzB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;CACtB;AAID,wDAAwD;AACxD,MAAM,WAAW,WAAW;IAC1B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;IACrB,QAAQ,CAAC,MAAM,EAAE,QAAQ,CAAA;IACzB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;IACrB,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAA;CACxB;AAED;;;GAGG;AACH,MAAM,WAAW,WAAW;IAC1B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;IACrB,QAAQ,CAAC,KAAK,EAAE,SAAS,CAAC,aAAa,EAAE,aAAa,CAAC,CAAA;IACvD,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAA;CACxB;AAED,oBAAoB;AACpB,MAAM,WAAW,aAAa;IAC5B,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAA;IACvB,QAAQ,CAAC,KAAK,EAAE,SAAS,aAAa,EAAE,CAAA;IACxC,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAA;CAC1B;AAED,0CAA0C;AAC1C,MAAM,WAAW,kBAAkB;IACjC,QAAQ,CAAC,IAAI,EAAE,cAAc,CAAA;IAC7B,QAAQ,CAAC,EAAE,EAAE,QAAQ,GAAG,SAAS,CAAA;IACjC,QAAQ,CAAC,OAAO,EAAE,SAAS,CAAC,aAAa,EAAE,aAAa,CAAC,CAAA;IACzD,QAAQ,CAAC,IAAI,EAAE,eAAe,CAAA;CAC/B;AAED,iBAAiB;AACjB,MAAM,MAAM,OAAO,GAAG,WAAW,GAAG,WAAW,GAAG,aAAa,GAAG,kBAAkB,CAAA;AAIpF;;;GAGG;AACH,MAAM,MAAM,SAAS,GAAG,WAAW,CAAC,QAAQ,EAAE,WAAW,CAAC,MAAM,EAAE,SAAS,MAAM,EAAE,CAAC,CAAC,CAAA;AAIrF,2BAA2B;AAC3B,MAAM,MAAM,cAAc,CAAC,CAAC,IACxB;IACE,QAAQ,CAAC,EAAE,EAAE,IAAI,CAAA;IACjB,QAAQ,CAAC,MAAM,EAAE,CAAC,CAAA;IAClB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAA;IACxB,QAAQ,CAAC,UAAU,EAAE,OAAO,GAAG,oBAAoB,CAAA;CACpD,GACD;IACE,QAAQ,CAAC,EAAE,EAAE,KAAK,CAAA;IAClB,QAAQ,CAAC,MAAM,EAAE,SAAS,GAAG,WAAW,GAAG,WAAW,CAAA;IACtD,QAAQ,CAAC,iBAAiB,CAAC,EAAE,SAAS,MAAM,EAAE,CAAA;CAC/C,CAAA;AAIL,4DAA4D;AAC5D,MAAM,MAAM,aAAa,GACrB,gBAAgB,GAChB,kBAAkB,GAClB,kBAAkB,CAAA;AAEtB,yCAAyC;AACzC,qBAAa,YAAa,SAAQ,KAAK;IACrC,gEAAgE;IAChE,QAAQ,CAAC,IAAI,EAAE,aAAa,CAAA;IAC5B,iEAAiE;IACjE,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAC,MAAM,CAAC,CAAA;IACjC,+BAA+B;IAC/B,QAAQ,CAAC,iBAAiB,CAAC,EAAE,SAAS,MAAM,EAAE,CAAA;gBAElC,IAAI,EAAE,aAAa,EAAE,OAAO,EAAE,OAAO,CAAC,MAAM,CAAC,EAAE,OAAO,EAAE,MAAM,EAAE,iBAAiB,CAAC,EAAE,SAAS,MAAM,EAAE;CAOlH;AAID;;;GAGG;AACH,MAAM,WAAW,UAAU;IACzB,QAAQ,CAAC,MAAM,EAAE,QAAQ,CAAA;IACzB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;IACrB,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAA;CACxB;AAED;;;GAGG;AACH,MAAM,WAAW,UAAU;IACzB,QAAQ,CAAC,KAAK,EAAE,SAAS,CAAC,aAAa,EAAE,aAAa,CAAC,GAAG,IAAI,CAAA;IAC9D,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAA;CACxB;AAED,qDAAqD;AACrD,MAAM,WAAW,UAAU;IACzB,QAAQ,CAAC,MAAM,EAAE,MAAM,GAAG,WAAW,GAAG,MAAM,CAAA;IAC9C,kEAAkE;IAClE,QAAQ,CAAC,UAAU,EAAE,aAAa,CAAC,UAAU,CAAC,CAAA;IAC9C,0CAA0C;IAC1C,QAAQ,CAAC,UAAU,EAAE,aAAa,CAAC,UAAU,CAAC,CAAA;CAC/C"}

package/dist/topology/naming/types.js

@@ -0,0 +1,27 @@
+/**
+ *
+ * 跨历史身份层：TopoRef 是纯数据、JSON 安全（写进 .fai.js 的参数），
+ * 在改参重放后仍能指认「同一个面/边/点」。序号（FaceId/EdgeId）是
+ * 快照内地址层，不动；本层叠加在其上。
+ *
+ * 与 brepjs shapeRef 的分层同构：role 是稳定身份、hash 是会话内活句柄索引、
+ * hint 是几何兜底。区别：faijs 的 origin 可限定（RoleQualifier），以支持
+ * 布尔合流后来自不同链根来源的面。
+ */
+/** 解析失败异常：带错误码与 ref 的 kind，禁止静默拿序号硬取。 */
+export class TopoRefError extends Error {
+    /** 错误码：E_TOPO_DELETED / E_TOPO_AMBIGUOUS / E_TOPO_NOT_FOUND。 */
+    code;
+    /** 解析失败的 TopoRef kind（'face'|'edge'|'vertex'|'derived-face'）。 */
+    refKind;
+    /** ambiguous 时的并列候选序号（1 起）。 */
+    candidatesOrdinal;
+    constructor(code, refKind, message, candidatesOrdinal) {
+        super(message);
+        this.name = 'TopoRefError';
+        this.code = code;
+        this.refKind = refKind;
+        this.candidatesOrdinal = candidatesOrdinal;
+    }
+}
+//# sourceMappingURL=types.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"types.js","sourceRoot":"","sources":["../../../src/topology/naming/types.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AAkIH,yCAAyC;AACzC,MAAM,OAAO,YAAa,SAAQ,KAAK;IACrC,gEAAgE;IACvD,IAAI,CAAe;IAC5B,iEAAiE;IACxD,OAAO,CAAiB;IACjC,+BAA+B;IACtB,iBAAiB,CAAoB;IAE9C,YAAY,IAAmB,EAAE,OAAwB,EAAE,OAAe,EAAE,iBAAqC;QAC/G,KAAK,CAAC,OAAO,CAAC,CAAA;QACd,IAAI,CAAC,IAAI,GAAG,cAAc,CAAA;QAC1B,IAAI,CAAC,IAAI,GAAG,IAAI,CAAA;QAChB,IAAI,CAAC,OAAO,GAAG,OAAO,CAAA;QACtB,IAAI,CAAC,iBAAiB,GAAG,iBAAiB,CAAA;IAC5C,CAAC;CACF","sourcesContent":["/**\n *\n * 跨历史身份层：TopoRef 是纯数据、JSON 安全（写进 .fai.js 的参数），\n * 在改参重放后仍能指认「同一个面/边/点」。序号（FaceId/EdgeId）是\n * 快照内地址层，不动；本层叠加在其上。\n *\n * 与 brepjs shapeRef 的分层同构：role 是稳定身份、hash 是会话内活句柄索引、\n * hint 是几何兜底。区别：faijs 的 origin 可限定（RoleQualifier），以支持\n * 布尔合流后来自不同链根来源的面。\n */\n\nimport type { PartName } from '../../identity'\n\n// ── 几何提示（hint）──\n\n/**\n * 轴几何快照（装配约束 P0 前置）：圆柱/圆锥面与直边/圆边的有向轴。\n * origin 是轴上一点（圆柱轴点 / 直边起点 / 圆边圆心），direction 是单位轴向。\n */\nexport interface AxisHint {\n  readonly origin: [number, number, number]\n  readonly direction: [number, number, number]\n}\n\n/** 面几何快照：与 SelectorRuntime 的 FaceRow（surfaceType/area/center/normal）同源。 */\nexport interface FaceHint {\n  readonly kind: 'face'\n  readonly surfaceType?: string\n  readonly normal?: [number, number, number]\n  readonly center?: [number, number, number]\n  readonly area?: number\n  /** 圆柱/回转面的轴（装配 concentric 等轴约束的实体来源；平面/球面缺省）。 */\n  readonly axis?: AxisHint\n}\n\n/** 边几何快照：length/midpoint 作裁决 hint。 */\nexport interface EdgeHint {\n  readonly kind: 'edge'\n  readonly length?: number\n  readonly midpoint?: [number, number, number]\n  /** 直边（起点+切向）或圆边（圆心+所在平面法向）的轴（装配轴约束的实体来源）。 */\n  readonly axis?: AxisHint\n}\n\n/** 顶点几何快照：position 作裁决 hint。 */\nexport interface VertexHint {\n  readonly kind: 'vertex'\n  readonly position?: [number, number, number]\n}\n\n/** 生成面（倒角/圆角过渡面）几何快照：被桥接两面的外法向 + 边中点。 */\nexport interface DerivedFaceHint {\n  readonly kind: 'derived-face'\n  readonly normalA: [number, number, number]\n  readonly normalB: [number, number, number]\n  readonly edgeMidpoint?: [number, number, number]\n}\n\n// ── role 限定 ──\n\n/**\n * role 的全局限定：origin = 该面血缘起点的 part 变量名（链根），\n * role = 该起点内的角色名（如 'box:top'）。\n */\nexport interface RoleQualifier {\n  readonly origin: PartName\n  readonly role: string\n}\n\n// ── TopoRef 四类 ──\n\n/** 面引用：origin+role 为主键，hint 为兜底（对应 brepjs ShapeRef）。 */\nexport interface FaceTopoRef {\n  readonly kind: 'face'\n  readonly origin: PartName\n  readonly role: string\n  readonly hint: FaceHint\n}\n\n/**\n * 边引用：= 两邻面之交。faijs 扩展：两面可能来自布尔合流后的不同 origin，\n * 故用 RoleQualifier（带 origin 的稳定 role）而非 brepjs 的裸 role 串。\n */\nexport interface EdgeTopoRef {\n  readonly kind: 'edge'\n  readonly faces: readonly [RoleQualifier, RoleQualifier]\n  readonly hint: EdgeHint\n}\n\n/** 顶点引用：≥3 邻面之交。 */\nexport interface VertexTopoRef {\n  readonly kind: 'vertex'\n  readonly faces: readonly RoleQualifier[]\n  readonly hint: VertexHint\n}\n\n/** 生成面（倒角斜面/圆角面）：桥接两面，normal-blend 解析。 */\nexport interface DerivedFaceTopoRef {\n  readonly kind: 'derived-face'\n  readonly op: 'fillet' | 'chamfer'\n  readonly between: readonly [RoleQualifier, RoleQualifier]\n  readonly hint: DerivedFaceHint\n}\n\n/** 四类拓扑引用的并集。 */\nexport type TopoRef = FaceTopoRef | EdgeTopoRef | VertexTopoRef | DerivedFaceTopoRef\n\n// ── 运行期 role 表（不序列化、不进 .fai.js）──\n\n/**\n * origin（链根 PartName）→ role → 当前面 hash 列表。\n * 1→多分裂时一个 role 对应多个 hash；resolve 只在后继内裁决。\n */\nexport type RoleTable = ReadonlyMap<PartName, ReadonlyMap<string, readonly number[]>>\n\n// ── 解析结果：显式三态，禁止静默取错 ──\n\n/** 解析成功：活实体 + 序号 + 置信度。 */\nexport type TopoResolution<T> =\n  | {\n      readonly ok: true\n      readonly entity: T\n      readonly ordinal: number\n      readonly confidence: 'exact' | 'geometric-fallback'\n    }\n  | {\n      readonly ok: false\n      readonly reason: 'deleted' | 'ambiguous' | 'not-found'\n      readonly candidatesOrdinal?: readonly number[]\n    }\n\n// ── 错误码（§3.6：解析失败按码抛错，纳入 args 校验）──\n\n/** 解析失败错误码：面/边/顶点/生成面统一用 deleted/ambiguous/not-found 三码。 */\nexport type TopoErrorCode =\n  | 'E_TOPO_DELETED'\n  | 'E_TOPO_AMBIGUOUS'\n  | 'E_TOPO_NOT_FOUND'\n\n/** 解析失败异常：带错误码与 ref 的 kind，禁止静默拿序号硬取。 */\nexport class TopoRefError extends Error {\n  /** 错误码：E_TOPO_DELETED / E_TOPO_AMBIGUOUS / E_TOPO_NOT_FOUND。 */\n  readonly code: TopoErrorCode\n  /** 解析失败的 TopoRef kind（'face'|'edge'|'vertex'|'derived-face'）。 */\n  readonly refKind: TopoRef['kind']\n  /** ambiguous 时的并列候选序号（1 起）。 */\n  readonly candidatesOrdinal?: readonly number[]\n\n  constructor(code: TopoErrorCode, refKind: TopoRef['kind'], message: string, candidatesOrdinal?: readonly number[]) {\n    super(message)\n    this.name = 'TopoRefError'\n    this.code = code\n    this.refKind = refKind\n    this.candidatesOrdinal = candidatesOrdinal\n  }\n}\n\n// ── §3.7 向宿主暴露的命名行（ExecutionResult.naming 元素）──\n\n/**\n * 面命名行：序号(1起) ↔ 数组下标。宿主 O(1) 反查：拾取到的 FaceId ordinal\n * → 本行 → captureTopoRef 造 TopoRef。mesh 来源只填 hint、role 为空串。\n */\nexport interface FaceNaming {\n  readonly origin: PartName\n  readonly role: string\n  readonly hint: FaceHint\n}\n\n/**\n * 边命名行：两邻面的 RoleQualifier（mesh 无邻接时为 null）+ 边 hint。\n * 宿主用它组 EdgeTopoRef（§6.1）。\n */\nexport interface EdgeNaming {\n  readonly faces: readonly [RoleQualifier, RoleQualifier] | null\n  readonly hint: EdgeHint\n}\n\n/** 每个 part 的命名数据（ExecutionResult.naming 的 value）。 */\nexport interface PartNaming {\n  readonly source: 'brep' | 'primitive' | 'mesh'\n  /** 面命名行；序号(1起) ↔ 数组下标。BREP/primitive 完整，mesh 只给 hint（role=''）。 */\n  readonly faceNaming: ReadonlyArray<FaceNaming>\n  /** 边命名行。mesh 无邻接 → faces=null，只给 hint。 */\n  readonly edgeNaming: ReadonlyArray<EdgeNaming>\n}\n"]}