@faicad/faijs 0.19.0 → 0.29.3

package/dist/api/sweep.d.ts

@@ -1,5 +1,5 @@
 /**
- * stdlib sweep — 扫掠：截面沿脊柱路径生成扫掠体（手写平台 op，Phase 4 → G5 core 直连）
+ * api sweep — 扫掠：截面沿脊柱路径生成扫掠体（手写平台 op，Phase 4 → G5 core 直连）
  *
  * @platform occt — 实现走 core 自有 `brep-mirror/sweepFns.ts#sweepBrep`
  * （occt-wasm simplePipe / sweepPipeShell；engine-method-map 里 `sweep` 为

package/dist/api/sweep.js

@@ -1,5 +1,5 @@
 /**
- * stdlib sweep — 扫掠：截面沿脊柱路径生成扫掠体（手写平台 op，Phase 4 → G5 core 直连）
+ * api sweep — 扫掠：截面沿脊柱路径生成扫掠体（手写平台 op，Phase 4 → G5 core 直连）
  *
  * @platform occt — 实现走 core 自有 `brep-mirror/sweepFns.ts#sweepBrep`
  * （occt-wasm simplePipe / sweepPipeShell；engine-method-map 里 `sweep` 为

package/dist/api/sweep.js.map

@@ -1 +1 @@
-{"version":3,"file":"sweep.js","sourceRoot":"","sources":["../../src/api/sweep.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;GAcG;AAGH,OAAO,EAAE,QAAQ,EAAE,MAAM,QAAQ,CAAA;AAEjC,OAAO,EAAE,UAAU,EAAE,MAAM,uBAAuB,CAAA;AAClD,OAAO,EAAE,QAAQ,EAAE,MAAM,UAAU,CAAA;AACnC,OAAO,EAAE,YAAY,EAAE,MAAM,kBAAkB,CAAA;AAC/C,OAAO,EAAE,SAAS,IAAI,eAAe,EAAE,MAAM,wBAAwB,CAAA;AACrE,OAAO,EAAE,iBAAiB,EAAE,MAAM,yBAAyB,CAAA;AAC3D,OAAO,EAAE,YAAY,EAAE,MAAM,0BAA0B,CAAA;AAevD,+DAA+D;AAC/D,SAAS,SAAS,CAAC,OAAc,EAAE,KAAY,EAAE,IAAmB;IAClE,IAAI,CAAC,OAAO;QAAE,MAAM,IAAI,KAAK,CAAC,8DAA8D,CAAC,CAAA;IAC7F,IAAI,CAAC,KAAK;QAAE,MAAM,IAAI,KAAK,CAAC,uDAAuD,CAAC,CAAA;IACpF,iCAAiC;IACjC,MAAM,WAAW,GAAG,iBAAiB,CAAC,OAAO,CAAC,CAAA;IAC9C,MAAM,SAAS,GAAG,iBAAiB,CAAC,KAAK,CAAC,CAAA;IAC1C,MAAM,CAAC,GAAG,eAAe,CAAC,WAAW,EAAE,SAAS,EAAE,IAAI,IAAI,EAAE,EAAE,KAAK,CAAC,CAAA;IACpE,MAAM,CAAC,GAAG,YAAY,CAAC,CAAC,EAAE,OAAO,CAAe,CAAA;IAChD,MAAM,MAAM,GAAG,UAAU,EAAE,CAAA;IAC3B,IAAI,CAAC;QACH,OAAO,QAAQ,CAAC,YAAY,CAAC,MAAM,EAAE,CAAC,CAAC,EAAE,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,CAAA;IACxD,CAAC;YAAS,CAAC;QACT,0CAA0C;QAC1C,IAAI,CAAC,WAAW,CAAC,QAAQ,EAAE,CAAC;YAC1B,IAAI,CAAC;gBAAC,MAAM,CAAC,OAAO,CAAC,WAAW,CAAC,OAAO,CAAC,CAAA;YAAC,CAAC;YAAC,MAAM,CAAC,CAAC,SAAS,CAAC,CAAC;QACjE,CAAC;QACD,IAAI,CAAC,SAAS,CAAC,QAAQ,EAAE,CAAC;YACxB,IAAI,CAAC;gBAAC,MAAM,CAAC,OAAO,CAAC,SAAS,CAAC,OAAO,CAAC,CAAA;YAAC,CAAC;YAAC,MAAM,CAAC,CAAC,SAAS,CAAC,CAAC;QAC/D,CAAC;IACH,CAAC;AACH,CAAC;AAED;;;;;;;;;;;;;;;;;;;;;;;GAuBG;AACH,MAAM,CAAC,MAAM,KAAK,GAAG,QAAQ,CAAC;IAC5B,IAAI,EAAE,OAAO;IACb,IAAI,CAAC,OAAc,EAAE,KAAY,EAAE,IAAmB;QACpD,OAAO,SAAS,CAAC,OAAO,EAAE,KAAK,EAAE,IAAI,CAAC,CAAA;IACxC,CAAC;IACD,OAAO,EAAE,CAAC,MAAM,CAAC;IACjB,MAAM,EAAE,EAAE,IAAI,EAAE,WAAW,EAAE,MAAM,EAAE,wCAAwC,EAAgB;CAC9F,CAAC,CAAA","sourcesContent":["/**\n * stdlib sweep — 扫掠：截面沿脊柱路径生成扫掠体（手写平台 op，Phase 4 → G5 core 直连）\n *\n * @platform occt — 实现走 core 自有 `brep-mirror/sweepFns.ts#sweepBrep`\n * （occt-wasm simplePipe / sweepPipeShell；engine-method-map 里 `sweep` 为\n * occt-only）⇒ 平台 op：defineOp 声明 `engines: ['occt']`（D11）。\n *\n * 为什么手写而不走生成投影：与 `api/loft.ts` 同因——截面最常见来源是\n * `cad.profile(...)`（产出 **face**），需「面 → 外环」输入适配\n * （`internal/profile-wire.ts` 的唯一步径）。脊柱容忍 face（FCStd 翻译把\n * 脊柱基对象 sketch 整圈外廓当路径）。\n *\n * core-decouple G5：vendored `sweep`（brepjs）替换为 brep-mirror 自有实现直连，\n * 产物经 `fromBrep` 收养（替代 l3-bridge adoptEntity）。\n */\n\nimport type { Shape } from '../mesh/types'\nimport { defineOp } from '../sdk'\nimport type { Provenance } from '../topology/naming/lineage'\nimport { getBrepApi } from '../brep/handle-bridge'\nimport { fromBrep } from '../shape'\nimport { solidToShape } from '../brep/brep-ops'\nimport { sweepBrep as selfhostedSweep } from './brep-mirror/sweepFns'\nimport { toProfileWireView } from './internal/profile-wire'\nimport { unwrapResult } from './internal/result-unwrap'\nimport type { BrepHandle } from '../brep/engine/types'\n\n/** 扫掠配置（与 vendored SweepOptions 同形；本文件自持，去 brepjs 依赖）。 */\nexport interface SweepOptions {\n  /** Frenet 参考系（默认 false）。 */\n  frenet?: boolean\n  /** 扫掠模式：'simple'（MakePipe）或 undefined（PipeShell）。 */\n  mode?: 'simple'\n  /** 过渡模式：仅支持默认 'right'（selfhost 后限制，见 sweepFns）。 */\n  transitionMode?: string\n  /** 公差等其余 vendored 字段（保留以兼容调用方）。 */\n  tolerance?: number\n}\n\n/** BREP 路径：截面沿脊柱扫掠（wire 视图 → brep-mirror 直连 → fromBrep 收养）。 */\nfunction sweepBrep(profile: Shape, spine: Shape, opts?: SweepOptions): Shape {\n  if (!profile) throw new Error('E_SWEEP_NO_PROFILE: sweep requires a profile (section) shape')\n  if (!spine) throw new Error('E_SWEEP_NO_SPINE: sweep requires a spine (path) shape')\n  // 截面 / 脊柱：wire 直用；面取外环（孔环不参与扫掠）。\n  const profileWire = toProfileWireView(profile)\n  const spineWire = toProfileWireView(spine)\n  const r = selfhostedSweep(profileWire, spineWire, opts ?? {}, false)\n  const h = unwrapResult(r, 'sweep') as BrepHandle\n  const kernel = getBrepApi()\n  try {\n    return fromBrep(solidToShape(kernel, h), { solid: h })\n  } finally {\n    // 面→外环产出的 wire 是 arena 新句柄（曲线借用不 release）\n    if (!profileWire.borrowed) {\n      try { kernel.release(profileWire.wrapped) } catch { /* 已释放 */ }\n    }\n    if (!spineWire.borrowed) {\n      try { kernel.release(spineWire.wrapped) } catch { /* 已释放 */ }\n    }\n  }\n}\n\n/**\n * 扫掠：截面沿脊柱路径生成扫掠体。\n * @group 特征\n * @inputs 2\n * @async true\n * @qual ok\n * @name sweep\n * @note 平台 op：仅 occt 引擎（BRepOffsetAPI_MakePipeShell / MakePipe）。截面接受\n *       wire 或面（面取其外环）；脊柱必须为 wire。非 occt 引擎执行前报错；\n *       brep_mock 不拦截。`shellMode` 不暴露（元组产物跨不过单产物边界）。\n * @returns Shape 扫掠体。\n * @param profile - 截面几何（wire 或面；面取其外环）。type:Shape required:true\n * @param spine - 脊柱路径（wire）。type:Shape required:true\n * @param opts - 扫掠配置（frenet / mode / tolerance 等）。type:SweepOptions required:false\n * @example\n * const path = cad.wire([[0, 0, 0], [0, 0, 50]])\n * const section = cad.profile({ contours: [{ segments: [\n *   { kind: 'line', x1: -4, y1: -4, x2: 4, y2: -4 },\n *   { kind: 'line', x1: 4, y1: -4, x2: 4, y2: 4 },\n *   { kind: 'line', x1: 4, y1: 4, x2: -4, y2: 4 },\n *   { kind: 'line', x1: -4, y1: 4, x2: -4, y2: -4 },\n * ] }] })\n * const body = await cad.sweep(section, path)\n */\nexport const sweep = defineOp({\n  name: 'sweep',\n  brep(profile: Shape, spine: Shape, opts?: SweepOptions) {\n    return sweepBrep(profile, spine, opts)\n  },\n  engines: ['occt'],\n  naming: { kind: 'unmodeled', reason: 'swept-body face vocabulary not defined' } as Provenance,\n})\n"]}
+{"version":3,"file":"sweep.js","sourceRoot":"","sources":["../../src/api/sweep.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;GAcG;AAGH,OAAO,EAAE,QAAQ,EAAE,MAAM,QAAQ,CAAA;AAEjC,OAAO,EAAE,UAAU,EAAE,MAAM,uBAAuB,CAAA;AAClD,OAAO,EAAE,QAAQ,EAAE,MAAM,UAAU,CAAA;AACnC,OAAO,EAAE,YAAY,EAAE,MAAM,kBAAkB,CAAA;AAC/C,OAAO,EAAE,SAAS,IAAI,eAAe,EAAE,MAAM,wBAAwB,CAAA;AACrE,OAAO,EAAE,iBAAiB,EAAE,MAAM,yBAAyB,CAAA;AAC3D,OAAO,EAAE,YAAY,EAAE,MAAM,0BAA0B,CAAA;AAevD,+DAA+D;AAC/D,SAAS,SAAS,CAAC,OAAc,EAAE,KAAY,EAAE,IAAmB;IAClE,IAAI,CAAC,OAAO;QAAE,MAAM,IAAI,KAAK,CAAC,8DAA8D,CAAC,CAAA;IAC7F,IAAI,CAAC,KAAK;QAAE,MAAM,IAAI,KAAK,CAAC,uDAAuD,CAAC,CAAA;IACpF,iCAAiC;IACjC,MAAM,WAAW,GAAG,iBAAiB,CAAC,OAAO,CAAC,CAAA;IAC9C,MAAM,SAAS,GAAG,iBAAiB,CAAC,KAAK,CAAC,CAAA;IAC1C,MAAM,CAAC,GAAG,eAAe,CAAC,WAAW,EAAE,SAAS,EAAE,IAAI,IAAI,EAAE,EAAE,KAAK,CAAC,CAAA;IACpE,MAAM,CAAC,GAAG,YAAY,CAAC,CAAC,EAAE,OAAO,CAAe,CAAA;IAChD,MAAM,MAAM,GAAG,UAAU,EAAE,CAAA;IAC3B,IAAI,CAAC;QACH,OAAO,QAAQ,CAAC,YAAY,CAAC,MAAM,EAAE,CAAC,CAAC,EAAE,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,CAAA;IACxD,CAAC;YAAS,CAAC;QACT,0CAA0C;QAC1C,IAAI,CAAC,WAAW,CAAC,QAAQ,EAAE,CAAC;YAC1B,IAAI,CAAC;gBAAC,MAAM,CAAC,OAAO,CAAC,WAAW,CAAC,OAAO,CAAC,CAAA;YAAC,CAAC;YAAC,MAAM,CAAC,CAAC,SAAS,CAAC,CAAC;QACjE,CAAC;QACD,IAAI,CAAC,SAAS,CAAC,QAAQ,EAAE,CAAC;YACxB,IAAI,CAAC;gBAAC,MAAM,CAAC,OAAO,CAAC,SAAS,CAAC,OAAO,CAAC,CAAA;YAAC,CAAC;YAAC,MAAM,CAAC,CAAC,SAAS,CAAC,CAAC;QAC/D,CAAC;IACH,CAAC;AACH,CAAC;AAED;;;;;;;;;;;;;;;;;;;;;;;GAuBG;AACH,MAAM,CAAC,MAAM,KAAK,GAAG,QAAQ,CAAC;IAC5B,IAAI,EAAE,OAAO;IACb,IAAI,CAAC,OAAc,EAAE,KAAY,EAAE,IAAmB;QACpD,OAAO,SAAS,CAAC,OAAO,EAAE,KAAK,EAAE,IAAI,CAAC,CAAA;IACxC,CAAC;IACD,OAAO,EAAE,CAAC,MAAM,CAAC;IACjB,MAAM,EAAE,EAAE,IAAI,EAAE,WAAW,EAAE,MAAM,EAAE,wCAAwC,EAAgB;CAC9F,CAAC,CAAA","sourcesContent":["/**\n * api sweep — 扫掠：截面沿脊柱路径生成扫掠体（手写平台 op，Phase 4 → G5 core 直连）\n *\n * @platform occt — 实现走 core 自有 `brep-mirror/sweepFns.ts#sweepBrep`\n * （occt-wasm simplePipe / sweepPipeShell；engine-method-map 里 `sweep` 为\n * occt-only）⇒ 平台 op：defineOp 声明 `engines: ['occt']`（D11）。\n *\n * 为什么手写而不走生成投影：与 `api/loft.ts` 同因——截面最常见来源是\n * `cad.profile(...)`（产出 **face**），需「面 → 外环」输入适配\n * （`internal/profile-wire.ts` 的唯一步径）。脊柱容忍 face（FCStd 翻译把\n * 脊柱基对象 sketch 整圈外廓当路径）。\n *\n * core-decouple G5：vendored `sweep`（brepjs）替换为 brep-mirror 自有实现直连，\n * 产物经 `fromBrep` 收养（替代 l3-bridge adoptEntity）。\n */\n\nimport type { Shape } from '../mesh/types'\nimport { defineOp } from '../sdk'\nimport type { Provenance } from '../topology/naming/lineage'\nimport { getBrepApi } from '../brep/handle-bridge'\nimport { fromBrep } from '../shape'\nimport { solidToShape } from '../brep/brep-ops'\nimport { sweepBrep as selfhostedSweep } from './brep-mirror/sweepFns'\nimport { toProfileWireView } from './internal/profile-wire'\nimport { unwrapResult } from './internal/result-unwrap'\nimport type { BrepHandle } from '../brep/engine/types'\n\n/** 扫掠配置（与 vendored SweepOptions 同形；本文件自持，去 brepjs 依赖）。 */\nexport interface SweepOptions {\n  /** Frenet 参考系（默认 false）。 */\n  frenet?: boolean\n  /** 扫掠模式：'simple'（MakePipe）或 undefined（PipeShell）。 */\n  mode?: 'simple'\n  /** 过渡模式：仅支持默认 'right'（selfhost 后限制，见 sweepFns）。 */\n  transitionMode?: string\n  /** 公差等其余 vendored 字段（保留以兼容调用方）。 */\n  tolerance?: number\n}\n\n/** BREP 路径：截面沿脊柱扫掠（wire 视图 → brep-mirror 直连 → fromBrep 收养）。 */\nfunction sweepBrep(profile: Shape, spine: Shape, opts?: SweepOptions): Shape {\n  if (!profile) throw new Error('E_SWEEP_NO_PROFILE: sweep requires a profile (section) shape')\n  if (!spine) throw new Error('E_SWEEP_NO_SPINE: sweep requires a spine (path) shape')\n  // 截面 / 脊柱：wire 直用；面取外环（孔环不参与扫掠）。\n  const profileWire = toProfileWireView(profile)\n  const spineWire = toProfileWireView(spine)\n  const r = selfhostedSweep(profileWire, spineWire, opts ?? {}, false)\n  const h = unwrapResult(r, 'sweep') as BrepHandle\n  const kernel = getBrepApi()\n  try {\n    return fromBrep(solidToShape(kernel, h), { solid: h })\n  } finally {\n    // 面→外环产出的 wire 是 arena 新句柄（曲线借用不 release）\n    if (!profileWire.borrowed) {\n      try { kernel.release(profileWire.wrapped) } catch { /* 已释放 */ }\n    }\n    if (!spineWire.borrowed) {\n      try { kernel.release(spineWire.wrapped) } catch { /* 已释放 */ }\n    }\n  }\n}\n\n/**\n * 扫掠：截面沿脊柱路径生成扫掠体。\n * @group 特征\n * @inputs 2\n * @async true\n * @qual ok\n * @name sweep\n * @note 平台 op：仅 occt 引擎（BRepOffsetAPI_MakePipeShell / MakePipe）。截面接受\n *       wire 或面（面取其外环）；脊柱必须为 wire。非 occt 引擎执行前报错；\n *       brep_mock 不拦截。`shellMode` 不暴露（元组产物跨不过单产物边界）。\n * @returns Shape 扫掠体。\n * @param profile - 截面几何（wire 或面；面取其外环）。type:Shape required:true\n * @param spine - 脊柱路径（wire）。type:Shape required:true\n * @param opts - 扫掠配置（frenet / mode / tolerance 等）。type:SweepOptions required:false\n * @example\n * const path = cad.wire([[0, 0, 0], [0, 0, 50]])\n * const section = cad.profile({ contours: [{ segments: [\n *   { kind: 'line', x1: -4, y1: -4, x2: 4, y2: -4 },\n *   { kind: 'line', x1: 4, y1: -4, x2: 4, y2: 4 },\n *   { kind: 'line', x1: 4, y1: 4, x2: -4, y2: 4 },\n *   { kind: 'line', x1: -4, y1: 4, x2: -4, y2: -4 },\n * ] }] })\n * const body = await cad.sweep(section, path)\n */\nexport const sweep = defineOp({\n  name: 'sweep',\n  brep(profile: Shape, spine: Shape, opts?: SweepOptions) {\n    return sweepBrep(profile, spine, opts)\n  },\n  engines: ['occt'],\n  naming: { kind: 'unmodeled', reason: 'swept-body face vocabulary not defined' } as Provenance,\n})\n"]}

package/dist/api/thicken.d.ts

@@ -1,5 +1,5 @@
 /**
- * stdlib thicken — 加厚：把面（或壳）沿法向偏置成等厚实体（手写平台 op，Phase 4 → G5 core 直连）
+ * api thicken — 加厚：把面（或壳）沿法向偏置成等厚实体（手写平台 op，Phase 4 → G5 core 直连）
  *
  * @platform occt — 实现走 occt-wasm 原生 `thicken`（BRepOffsetAPI_MakeThickSolid；
  * engine-method-map 里 `thicken` 为 occt-only）⇒ 平台 op：defineOp 声明

package/dist/api/thicken.js

@@ -1,5 +1,5 @@
 /**
- * stdlib thicken — 加厚：把面（或壳）沿法向偏置成等厚实体（手写平台 op，Phase 4 → G5 core 直连）
+ * api thicken — 加厚：把面（或壳）沿法向偏置成等厚实体（手写平台 op，Phase 4 → G5 core 直连）
  *
  * @platform occt — 实现走 occt-wasm 原生 `thicken`（BRepOffsetAPI_MakeThickSolid；
  * engine-method-map 里 `thicken` 为 occt-only）⇒ 平台 op：defineOp 声明

package/dist/api/thicken.js.map

@@ -1 +1 @@
-{"version":3,"file":"thicken.js","sourceRoot":"","sources":["../../src/api/thicken.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AAGH,OAAO,EAAE,QAAQ,EAAE,MAAM,QAAQ,CAAA;AAEjC,OAAO,EAAE,UAAU,EAAE,MAAM,uBAAuB,CAAA;AAClD,OAAO,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,UAAU,CAAA;AAC3C,OAAO,EAAE,YAAY,EAAE,MAAM,kBAAkB,CAAA;AAC/C,OAAO,EAAE,aAAa,EAAE,MAAM,2BAA2B,CAAA;AAGzD;;;;;;;;;;;;;;;;;;;;GAoBG;AACH,MAAM,CAAC,MAAM,OAAO,GAAG,QAAQ,CAAC;IAC9B,IAAI,EAAE,SAAS;IACf,IAAI,CAAC,KAAY,EAAE,SAAiB;QAClC,IAAI,CAAC,KAAK;YAAE,MAAM,IAAI,KAAK,CAAC,yDAAyD,CAAC,CAAA;QACtF,IAAI,OAAO,SAAS,KAAK,QAAQ,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,SAAS,CAAC,IAAI,SAAS,KAAK,CAAC,EAAE,CAAC;YACpF,MAAM,IAAI,KAAK,CAAC,sEAAsE,CAAC,CAAA;QACzF,CAAC;QACD,MAAM,MAAM,GAAG,UAAU,EAAE,CAAA;QAC3B,MAAM,MAAM,GAAG,MAAM,CAAC,KAAK,CAA2B,CAAA;QACtD,IAAI,CAAC,MAAM;YAAE,MAAM,IAAI,KAAK,CAAC,6BAA6B,CAAC,CAAA;QAC3D,MAAM,CAAC,GAAG,aAAa,EAAE,CAAC,OAAO,CAAC,MAAe,EAAE,SAAS,EAAE,IAAI,CAA0B,CAAA;QAC5F,OAAO,QAAQ,CAAC,YAAY,CAAC,MAAM,EAAE,CAAC,CAAC,EAAE,EAAE,KAAK,EAAE,CAAC,EAAE,CAAU,CAAA;IACjE,CAAC;IACD,OAAO,EAAE,CAAC,MAAM,CAAC;IACjB,MAAM,EAAE,EAAE,IAAI,EAAE,WAAW,EAAE,MAAM,EAAE,4CAA4C,EAAgB;CAClG,CAAC,CAAA","sourcesContent":["/**\n * stdlib thicken — 加厚：把面（或壳）沿法向偏置成等厚实体（手写平台 op，Phase 4 → G5 core 直连）\n *\n * @platform occt — 实现走 occt-wasm 原生 `thicken`（BRepOffsetAPI_MakeThickSolid；\n * engine-method-map 里 `thicken` 为 occt-only）⇒ 平台 op：defineOp 声明\n * `engines: ['occt']`（D11）。\n *\n * core-decouple G5：vendored `thicken`（brepjs modifierFns，thickenWithHistory）\n * 替换为 occt-wasm 原生直连，产物经 `fromBrep` 收养（替代 l3-bridge adoptEntity）。\n */\n\nimport type { Shape } from '../mesh/types'\nimport { defineOp } from '../sdk'\nimport type { Provenance } from '../topology/naming/lineage'\nimport { getBrepApi } from '../brep/handle-bridge'\nimport { brepOf, fromBrep } from '../shape'\nimport { solidToShape } from '../brep/brep-ops'\nimport { getOcctKernel } from '../occt-kernel/occtKernel'\nimport type { BrepHandle } from '../brep/engine/types'\n\n/**\n * 加厚：把面（或壳）沿法向偏置成等厚实体。\n * @group 特征\n * @inputs 1\n * @async true\n * @qual ok\n * @name thicken\n * @note 平台 op：仅 occt 引擎（BRepOffset）。输入为面/壳 Shape（如 cad.profile 产物）；\n *       正厚度沿法向、负厚度反向。非 occt 引擎执行前报错；brep_mock 不拦截。\n * @returns Shape 加厚后的实体。\n * @param input - 面/壳几何（cad.profile 产物等）。type:Shape required:true\n * @param thickness - 厚度（mm，≠0；正沿法向，负反向）。type:number required:true\n * @example\n * const face = cad.profile({ contours: [{ segments: [\n *   { kind: 'line', x1: -10, y1: -10, x2: 10, y2: -10 },\n *   { kind: 'line', x1: 10, y1: -10, x2: 10, y2: 10 },\n *   { kind: 'line', x1: 10, y1: 10, x2: -10, y2: 10 },\n *   { kind: 'line', x1: -10, y1: 10, x2: -10, y2: -10 },\n * ] }] })\n * const solid = await cad.thicken(face, 2)\n */\nexport const thicken = defineOp({\n  name: 'thicken',\n  brep(input: Shape, thickness: number) {\n    if (!input) throw new Error('E_THICKEN_NO_SHAPE: thicken requires a face/shell shape')\n    if (typeof thickness !== 'number' || !Number.isFinite(thickness) || thickness === 0) {\n      throw new Error('E_THICKEN_BAD_THICKNESS: thicken.thickness must be a non-zero number')\n    }\n    const kernel = getBrepApi()\n    const handle = brepOf(input) as BrepHandle | undefined\n    if (!handle) throw new Error('[thicken] input is not BREP')\n    const h = getOcctKernel().thicken(handle as never, thickness, 1e-6) as unknown as BrepHandle\n    return fromBrep(solidToShape(kernel, h), { solid: h }) as Shape\n  },\n  engines: ['occt'],\n  naming: { kind: 'unmodeled', reason: 'thickened-body face vocabulary not defined' } as Provenance,\n})\n"]}
+{"version":3,"file":"thicken.js","sourceRoot":"","sources":["../../src/api/thicken.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AAGH,OAAO,EAAE,QAAQ,EAAE,MAAM,QAAQ,CAAA;AAEjC,OAAO,EAAE,UAAU,EAAE,MAAM,uBAAuB,CAAA;AAClD,OAAO,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,UAAU,CAAA;AAC3C,OAAO,EAAE,YAAY,EAAE,MAAM,kBAAkB,CAAA;AAC/C,OAAO,EAAE,aAAa,EAAE,MAAM,2BAA2B,CAAA;AAGzD;;;;;;;;;;;;;;;;;;;;GAoBG;AACH,MAAM,CAAC,MAAM,OAAO,GAAG,QAAQ,CAAC;IAC9B,IAAI,EAAE,SAAS;IACf,IAAI,CAAC,KAAY,EAAE,SAAiB;QAClC,IAAI,CAAC,KAAK;YAAE,MAAM,IAAI,KAAK,CAAC,yDAAyD,CAAC,CAAA;QACtF,IAAI,OAAO,SAAS,KAAK,QAAQ,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,SAAS,CAAC,IAAI,SAAS,KAAK,CAAC,EAAE,CAAC;YACpF,MAAM,IAAI,KAAK,CAAC,sEAAsE,CAAC,CAAA;QACzF,CAAC;QACD,MAAM,MAAM,GAAG,UAAU,EAAE,CAAA;QAC3B,MAAM,MAAM,GAAG,MAAM,CAAC,KAAK,CAA2B,CAAA;QACtD,IAAI,CAAC,MAAM;YAAE,MAAM,IAAI,KAAK,CAAC,6BAA6B,CAAC,CAAA;QAC3D,MAAM,CAAC,GAAG,aAAa,EAAE,CAAC,OAAO,CAAC,MAAe,EAAE,SAAS,EAAE,IAAI,CAA0B,CAAA;QAC5F,OAAO,QAAQ,CAAC,YAAY,CAAC,MAAM,EAAE,CAAC,CAAC,EAAE,EAAE,KAAK,EAAE,CAAC,EAAE,CAAU,CAAA;IACjE,CAAC;IACD,OAAO,EAAE,CAAC,MAAM,CAAC;IACjB,MAAM,EAAE,EAAE,IAAI,EAAE,WAAW,EAAE,MAAM,EAAE,4CAA4C,EAAgB;CAClG,CAAC,CAAA","sourcesContent":["/**\n * api thicken — 加厚：把面（或壳）沿法向偏置成等厚实体（手写平台 op，Phase 4 → G5 core 直连）\n *\n * @platform occt — 实现走 occt-wasm 原生 `thicken`（BRepOffsetAPI_MakeThickSolid；\n * engine-method-map 里 `thicken` 为 occt-only）⇒ 平台 op：defineOp 声明\n * `engines: ['occt']`（D11）。\n *\n * core-decouple G5：vendored `thicken`（brepjs modifierFns，thickenWithHistory）\n * 替换为 occt-wasm 原生直连，产物经 `fromBrep` 收养（替代 l3-bridge adoptEntity）。\n */\n\nimport type { Shape } from '../mesh/types'\nimport { defineOp } from '../sdk'\nimport type { Provenance } from '../topology/naming/lineage'\nimport { getBrepApi } from '../brep/handle-bridge'\nimport { brepOf, fromBrep } from '../shape'\nimport { solidToShape } from '../brep/brep-ops'\nimport { getOcctKernel } from '../occt-kernel/occtKernel'\nimport type { BrepHandle } from '../brep/engine/types'\n\n/**\n * 加厚：把面（或壳）沿法向偏置成等厚实体。\n * @group 特征\n * @inputs 1\n * @async true\n * @qual ok\n * @name thicken\n * @note 平台 op：仅 occt 引擎（BRepOffset）。输入为面/壳 Shape（如 cad.profile 产物）；\n *       正厚度沿法向、负厚度反向。非 occt 引擎执行前报错；brep_mock 不拦截。\n * @returns Shape 加厚后的实体。\n * @param input - 面/壳几何（cad.profile 产物等）。type:Shape required:true\n * @param thickness - 厚度（mm，≠0；正沿法向，负反向）。type:number required:true\n * @example\n * const face = cad.profile({ contours: [{ segments: [\n *   { kind: 'line', x1: -10, y1: -10, x2: 10, y2: -10 },\n *   { kind: 'line', x1: 10, y1: -10, x2: 10, y2: 10 },\n *   { kind: 'line', x1: 10, y1: 10, x2: -10, y2: 10 },\n *   { kind: 'line', x1: -10, y1: 10, x2: -10, y2: -10 },\n * ] }] })\n * const solid = await cad.thicken(face, 2)\n */\nexport const thicken = defineOp({\n  name: 'thicken',\n  brep(input: Shape, thickness: number) {\n    if (!input) throw new Error('E_THICKEN_NO_SHAPE: thicken requires a face/shell shape')\n    if (typeof thickness !== 'number' || !Number.isFinite(thickness) || thickness === 0) {\n      throw new Error('E_THICKEN_BAD_THICKNESS: thicken.thickness must be a non-zero number')\n    }\n    const kernel = getBrepApi()\n    const handle = brepOf(input) as BrepHandle | undefined\n    if (!handle) throw new Error('[thicken] input is not BREP')\n    const h = getOcctKernel().thicken(handle as never, thickness, 1e-6) as unknown as BrepHandle\n    return fromBrep(solidToShape(kernel, h), { solid: h }) as Shape\n  },\n  engines: ['occt'],\n  naming: { kind: 'unmodeled', reason: 'thickened-body face vocabulary not defined' } as Provenance,\n})\n"]}

package/dist/api/topo-resolve.d.ts

@@ -3,7 +3,7 @@
  *
  * 与 core/topology/naming 的分工：
  * - naming（core）负责纯解析：给 ReactsContext + FaceTopoRef → ordinal/handle；
- * - 本模块（stdlib）是「活 Shape → React块(ResolutionContext)」的引擎胶水：
+ * - 本模块（api 层）是「活 Shape → React块(ResolutionContext)」的引擎胶水：
  *   从 Shape 身份槽读出运行期数据（BREP 活句柄 + RoleTable，或 setTopology 注入的
  *   面 hint 快照），并把解析结果还原成求解需要的几何（center/normal/surfaceType）。
  *
@@ -15,6 +15,7 @@
 import type { Shape } from '../mesh/types.js';
 import type { BrepEngineApi } from '../brep/engine/primitives.js';
 import type { BrepHandle } from '../brep/engine/types.js';
+import { type PartName, type StmtId } from '../identity.js';
 import { type FaceTopoRef, type ResolutionContext, type AxisHint, type RoleTable } from '../topology/naming/index.js';
 /** 求解面需要的当前几何（执行期派生）：与旧契约 fixedFace/movingFace 的 surfaceType/center/normal 同形。 */
 export interface ResolvedFaceGeometry {
@@ -24,6 +25,40 @@ export interface ResolvedFaceGeometry {
     /** 圆柱/回转面的轴（装配轴约束用；平面/球面缺省，mesh 行快照由宿主注入）。 */
     axis?: AxisHint;
 }
+/**
+ * 边路径「无血统邻面」恢复（1.10 前置③ 推广到边路径）。
+ *
+ * `edgeRef` 正查 `findOriginRole(table, ordinalToHash, fo)`（面 hash → `(origin, role)`）
+ * 失败，通常因为**目标 part** 的 roleTable 缓存**残缺**（丢了该面的条目），而**根节点**
+ * （名字的诞生处）的表是完整的：该面的 `(origin, role)` 真实存在，只是没被缓存到目标 part
+ * 的表副本里（drift / 中间 op 原样带走旧 hash 表）。
+ *
+ * 与面路径 `recomputeViaLineage` 同构、方向相反——已知面 hash、不知道它属于哪个
+ * `(origin, role)`。恢复策略：遍历血缘图所有候选 `(origin, role)`，沿 DAG 从根走到目标
+ * part，把根序（该 role 的 hash 集）推进到目标序、换算成目标 hash 集，取**含该面当前 hash**
+ * 者，即该面的真实身份。
+ *
+ * 推进规则（自带，不依赖 `resolveViaLineage` 的严格契约）：
+ * - 中间节点有 ordinal 演化（Map）→ 照用；
+ * - 中间节点是 identity 类（copy/place/transform）但**未挂演化**（既有缺口，见
+ *   `place.ts` 经 compat 路径未 `attachEvolution`）→ 按 1:1 推进（语义正确：identity 不改
+ *   面序）；
+ * - 其余无演化 → 放弃该候选（不乱猜）。
+ *
+ * 命中即回填 `{origin, role}` 让 `resolveEdgeTopo` 继续（exact 或几何兜底）；未命中返回
+ * undefined，调用方保持原 `no role lineage` 报错——零回归。仅跑在 `findOriginRole` 失败
+ * 之后（错误路径），不进热路径。
+ *
+ * @param kernel - the OCCT kernel (hash 换算需要).
+ * @param part - the live part whose adjacent face we are recovering.
+ * @param faceOrdinal - the 1-based face ordinal whose role is missing.
+ * @param ordinalToHash - the part's current face ordinal → hash array.
+ * @returns the recovered `{origin, role}`, or undefined when no lineage walk matches.
+ */
+export declare function recoverEdgeFaceRole(kernel: BrepEngineApi, part: PartName, faceOrdinal: number, ordinalToHash: readonly number[]): {
+    origin: StmtId;
+    role: string;
+} | undefined;
 /**
  * 从活 Shape 的组装槽构建 ResolutionContext（BREAK 或 mesh/primitive 两条路）。
  *
@@ -54,6 +89,44 @@ export declare function buildShapeResolutionContext(kernel: BrepEngineApi | null
  *   no BREP naming slot.
  */
 export declare function buildEdgeResolutionContext(kernel: BrepEngineApi, shape: object | undefined): ResolutionContext | undefined;
+/**
+ * 为**网格实体**构建带边候选的 ResolutionContext（近似拓扑的边解析入口）。
+ *
+ * 与 `buildEdgeResolutionContext` 的差别只有两点，两点都是"网格零件没有 role 层"
+ * 的直接后果：
+ * 1. 句柄来自 `slot.meshSolid`（网格实体句柄）而不是 `slot.solid`（BREP 句柄）；
+ * 2. **刻意不给 `faceEdgeAdjacency` / `edgeFaceAdjacency`**。
+ *
+ * 第 2 点是有意的，不是省事：邻接表存在的意义是"两面之交 = 一条边"，
+ * 而 `EdgeTopoRef.faces` 是两个 **RoleQualifier**——网格零件没有 role
+ * （Phase 1.8：primitive/mesh 行 origin/role 显式为 null），限定符只是占位。
+ * 带上邻接表反而会让 `resolveEdgeTopo` 走进"按角色取公共边"的分支并必然 not-found；
+ * 不带它，解析就走「无 role 层 → 整个边表的纯几何匹配」（resolve-edge.ts 明写）。
+ * 边身份只能几何，这是如实的能力边界。
+ *
+ * @param kernel - the mesh backend's L1 kernel (live edge handles come from it).
+ * @param shape - the live mesh-solid shape whose naming slot is read.
+ * @returns the edge-enabled resolution context, or undefined when the shape is not a mesh solid.
+ */
+export declare function buildMeshEdgeResolutionContext(kernel: BrepEngineApi, shape: object | undefined): ResolutionContext | undefined;
+/**
+ * 为**网格实体**构建面解析上下文（`sketchOnFace` 的网格链入口）。
+ *
+ * 面候选直接来自 `slot.meshSolid` 的 `getSubShapes(solid,'face')` 现场句柄——
+ * 与 `buildMeshEdgeResolutionContext` 的面表同源（同一枚举序）。**刻意不给
+ * `roleTable` / 邻接**：网格零件没有 role 层（Phase 1.8），带上 roleTable 只会让
+ * `resolveFaceTopo` 走进 exact 分支并必然落空；不带它，解析就走「全形状按 hint
+ * 几何打分」（resolve-face.ts 步骤 2），命中即 `geometric-fallback`。
+ *
+ * 也因此，网格链上的面只能用**几何**识别（法向 / 中心 / 面积）——这是如实的能力
+ * 边界，不是省事：同尺寸的两个平行面（如立方体的顶面与底面）在几何上无法区分，
+ * 调用方应改用序号。
+ *
+ * @param kernel - the mesh backend's L1 kernel (live face handles come from it).
+ * @param shape - the live mesh-solid shape whose naming slot is read.
+ * @returns the face resolution context, or undefined when the shape is not a mesh solid.
+ */
+export declare function buildMeshFaceResolutionContext(kernel: BrepEngineApi, shape: object | undefined): ResolutionContext | undefined;
 /**
  * 从 BREP 现场句柄建带边候选/邻接的 ResolutionContext（twoDistances 逐边重建用）。
  *

package/dist/api/topo-resolve.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"topo-resolve.d.ts","sourceRoot":"","sources":["../../src/api/topo-resolve.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;GAaG;AAEH,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,eAAe,CAAA;AAG1C,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,2BAA2B,CAAA;AAC9D,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,sBAAsB,CAAA;AAKtD,OAAO,EAML,KAAK,WAAW,EAChB,KAAK,iBAAiB,EAEtB,KAAK,QAAQ,EAEb,KAAK,SAAS,EACf,MAAM,oBAAoB,CAAA;AAE3B,kFAAkF;AAClF,MAAM,WAAW,oBAAoB;IACnC,WAAW,CAAC,EAAE,MAAM,CAAA;IACpB,MAAM,EAAE,CAAC,MAAM,EAAE,MAAM,EAAE,MAAM,CAAC,CAAA;IAChC,MAAM,EAAE,CAAC,MAAM,EAAE,MAAM,EAAE,MAAM,CAAC,CAAA;IAChC,8CAA8C;IAC9C,IAAI,CAAC,EAAE,QAAQ,CAAA;CAChB;AA2CD;;;;;;;;;;;GAWG;AACH,wBAAgB,2BAA2B,CACzC,MAAM,EAAE,aAAa,GAAG,IAAI,EAC5B,KAAK,EAAE,MAAM,GAAG,SAAS,GACxB,iBAAiB,GAAG,SAAS,CAsB/B;AAED;;;;;;;;;;;;;;;GAeG;AACH,wBAAgB,0BAA0B,CACxC,MAAM,EAAE,aAAa,EACrB,KAAK,EAAE,MAAM,GAAG,SAAS,GACxB,iBAAiB,GAAG,SAAS,CA0C/B;AAED;;;;;;;;;;;GAWG;AACH,wBAAgB,yBAAyB,CACvC,MAAM,EAAE,aAAa,EACrB,KAAK,EAAE,UAAU,EACjB,SAAS,CAAC,EAAE,SAAS,GACpB,iBAAiB,CAyBnB;AAED;;;;;;;;;;GAUG;AACH,wBAAgB,mBAAmB,CACjC,MAAM,EAAE,aAAa,GAAG,IAAI,EAC5B,KAAK,EAAE,KAAK,EACZ,GAAG,EAAE,WAAW,GACf,oBAAoB,CAoDtB;AAED;;;;;GAKG;AACH,wBAAgB,aAAa,CAAC,CAAC,EAAE,OAAO,GAAG,CAAC,IAAI,WAAW,CAE1D"}
+{"version":3,"file":"topo-resolve.d.ts","sourceRoot":"","sources":["../../src/api/topo-resolve.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;GAaG;AAEH,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,eAAe,CAAA;AAG1C,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,2BAA2B,CAAA;AAC9D,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,sBAAsB,CAAA;AAItD,OAAO,EAAY,KAAK,QAAQ,EAAE,KAAK,MAAM,EAAE,MAAM,aAAa,CAAA;AAClE,OAAO,EAML,KAAK,WAAW,EAChB,KAAK,iBAAiB,EAEtB,KAAK,QAAQ,EAEb,KAAK,SAAS,EACf,MAAM,oBAAoB,CAAA;AAE3B,kFAAkF;AAClF,MAAM,WAAW,oBAAoB;IACnC,WAAW,CAAC,EAAE,MAAM,CAAA;IACpB,MAAM,EAAE,CAAC,MAAM,EAAE,MAAM,EAAE,MAAM,CAAC,CAAA;IAChC,MAAM,EAAE,CAAC,MAAM,EAAE,MAAM,EAAE,MAAM,CAAC,CAAA;IAChC,8CAA8C;IAC9C,IAAI,CAAC,EAAE,QAAQ,CAAA;CAChB;AA2CD;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA6BG;AACH,wBAAgB,mBAAmB,CACjC,MAAM,EAAE,aAAa,EACrB,IAAI,EAAE,QAAQ,EACd,WAAW,EAAE,MAAM,EACnB,aAAa,EAAE,SAAS,MAAM,EAAE,GAC/B;IAAE,MAAM,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,MAAM,CAAA;CAAE,GAAG,SAAS,CAmB9C;AA+DD;;;;;;;;;;;GAWG;AACH,wBAAgB,2BAA2B,CACzC,MAAM,EAAE,aAAa,GAAG,IAAI,EAC5B,KAAK,EAAE,MAAM,GAAG,SAAS,GACxB,iBAAiB,GAAG,SAAS,CAsB/B;AAED;;;;;;;;;;;;;;;GAeG;AACH,wBAAgB,0BAA0B,CACxC,MAAM,EAAE,aAAa,EACrB,KAAK,EAAE,MAAM,GAAG,SAAS,GACxB,iBAAiB,GAAG,SAAS,CA0C/B;AAED;;;;;;;;;;;;;;;;;;GAkBG;AACH,wBAAgB,8BAA8B,CAC5C,MAAM,EAAE,aAAa,EACrB,KAAK,EAAE,MAAM,GAAG,SAAS,GACxB,iBAAiB,GAAG,SAAS,CAc/B;AAED;;;;;;;;;;;;;;;;GAgBG;AACH,wBAAgB,8BAA8B,CAC5C,MAAM,EAAE,aAAa,EACrB,KAAK,EAAE,MAAM,GAAG,SAAS,GACxB,iBAAiB,GAAG,SAAS,CAQ/B;AAED;;;;;;;;;;;GAWG;AACH,wBAAgB,yBAAyB,CACvC,MAAM,EAAE,aAAa,EACrB,KAAK,EAAE,UAAU,EACjB,SAAS,CAAC,EAAE,SAAS,GACpB,iBAAiB,CAyBnB;AAED;;;;;;;;;;GAUG;AACH,wBAAgB,mBAAmB,CACjC,MAAM,EAAE,aAAa,GAAG,IAAI,EAC5B,KAAK,EAAE,KAAK,EACZ,GAAG,EAAE,WAAW,GACf,oBAAoB,CAoDtB;AAED;;;;;GAKG;AACH,wBAAgB,aAAa,CAAC,CAAC,EAAE,OAAO,GAAG,CAAC,IAAI,WAAW,CAE1D"}

package/dist/api/topo-resolve.js

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

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

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

package/dist/api/transform.d.ts

@@ -1,5 +1,5 @@
 /**
- * stdlib transform — 变换对象库函数（translate/rotate_euler/scale/scale3d）
+ * api transform — 变换对象库函数（translate/rotate_euler/scale/scale3d）
  *
  * 平台分层（narrowing plan Phase 5，D11 + 2026-09-28 D 批降级）：
  * - `translate` / `scale`：**中立 op**（不再声明 `engines:['occt']`）。BREP 路径按引擎
@@ -17,6 +17,10 @@
  *
  * dispatchPath 静态判定 brep/mesh，
  * BREP 路径用 brepOf(input) 取输入实体、fromBrep 登记输出实体。
+ *
+ * 网格链（方案 2026-10-01 §4 Phase 4 / B3 批）：`mesh:` 实现分两支——**网格实体**
+ * 走网格后端内核变换句柄（保持网格零件身份与近似拓扑），**裸网格**维持既有的顶点
+ * 烘焙（manifold 链，无身份可言）。两支靠 `hasMeshSolid` 区分，不靠"能不能跑"试错。
  */
 import type { Shape } from '../mesh/types.js';
 /**
@@ -25,7 +29,7 @@ import type { Shape } from '../mesh/types.js';
  */
 export declare function assertTranslateParams(params: Record<string, unknown>): void;
 /**
- * Validate rotate_euler parameters: `anglesDeg` must be a vec3, and `pivot`
+ * Validate rotate_euler parameters: `angles` must be a vec3, and `pivot`
  * (if provided) must also be a vec3.
  * @param params - the raw rotate_euler operation parameters.
  */
@@ -63,7 +67,7 @@ export declare const translate: ((input: Shape, params: Record<string, unknown>)
     __faijs__dualOp?: import("../define-op.js").DualOpMeta;
 };
 /**
- * 绕轴旋转几何体。anglesDeg 为欧拉角（度，XYZ 顺序）。
+ * 绕轴旋转几何体。angles 为欧拉角（度，XYZ 顺序）。
  * @group 变换
  * @inputs 1
  * @async false
@@ -72,11 +76,11 @@ export declare const translate: ((input: Shape, params: Record<string, unknown>)
  * @deprecated **`../3d_editor` 消费面**（原 `@deprecated` 措辞已于 2026-09-22 校正）：该 op 为编辑器应用提供（承载拖拽与时间线语句），不属 faijs 平台面，但**不是废弃项**——它服务真实负载。**变更其 API 形态必须同步更新 `../3d_editor`**（见 `docs/plans/2026-09-22-topology-identity-development-plan.md` §2）。faijs 平台面不提供等价 op（需要时须按平台需求另行设计，不得直接搬用本 op）。
  * @returns Shape 旋转后的几何。
  * @param input - 目标几何。type:Shape required:true
- * @param params.anglesDeg - 欧拉角（度，XYZ 顺序）。type:[x,y,z] required:true
+ * @param params.angles - 欧拉角（度，XYZ 顺序）。type:[x,y,z] required:true
  * @param params.pivot - 旋转中心。type:[x,y,z] 默认 原点
  * @example
- * const p2 = cad.rotate_euler(part0, { anglesDeg: [0, 0, 45] })
- * const p3 = cad.rotate_euler(part0, { anglesDeg: [0, 0, 45], pivot: [0,0,0] })
+ * const p2 = cad.rotate_euler(part0, { angles: [0, 0, 45] })
+ * const p3 = cad.rotate_euler(part0, { angles: [0, 0, 45], pivot: [0,0,0] })
  */
 export declare const rotate_euler: ((input: Shape, params: Record<string, unknown>) => Promise<Shape>) & {
     __faijs__dualOp?: import("../define-op.js").DualOpMeta;

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

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