@faicad/faijs 0.22.2 → 0.29.5

package/dist/cad-runtime/backend-dispatch.js.map

@@ -1 +1 @@
-{"version":3,"file":"backend-dispatch.js","sourceRoot":"","sources":["../../src/cad-runtime/backend-dispatch.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;GAcG;AAEH,OAAO,EAAE,WAAW,EAAE,cAAc,EAAE,oBAAoB,EAAE,oBAAoB,EAAE,MAAM,kBAAkB,CAAA;AAC1G,OAAO,EAAE,OAAO,EAAE,MAAM,UAAU,CAAA;AAyClC;;;;GAIG;AACH,MAAM,UAAU,mBAAmB,CAAC,IAAwC;IAC1E,MAAM,GAAG,GAAG,IAAI,GAAG,EAAU,CAAA;IAC7B,IAAI,CAAC,IAAI;QAAE,OAAO,GAAG,CAAA;IACrB,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,SAAS,IAAI,EAAE;QAAE,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,CAAA;IACtD,KAAK,MAAM,MAAM,IAAI,IAAI,CAAC,OAAO,IAAI,EAAE;QAAE,GAAG,CAAC,GAAG,CAAC,MAAM,CAAC,CAAA;IACxD,IAAI,IAAI,CAAC,IAAI;QAAE,GAAG,CAAC,GAAG,CAAC,MAAM,CAAC,CAAA;IAC9B,IAAI,IAAI,CAAC,UAAU;QAAE,GAAG,CAAC,GAAG,CAAC,YAAY,CAAC,CAAA;IAC1C,IAAI,IAAI,CAAC,UAAU;QAAE,GAAG,CAAC,GAAG,CAAC,YAAY,CAAC,CAAA;IAC1C,IAAI,IAAI,CAAC,QAAQ;QAAE,GAAG,CAAC,GAAG,CAAC,UAAU,CAAC,CAAA;IACtC,IAAI,IAAI,CAAC,QAAQ;QAAE,GAAG,CAAC,GAAG,CAAC,UAAU,CAAC,CAAA;IACtC,OAAO,GAAG,CAAA;AACZ,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,UAAU,sBAAsB,CACpC,QAAmD;IAEnD,IAAI,CAAC,QAAQ,EAAE,MAAM;QAAE,OAAO,SAAS,CAAA;IACvC,MAAM,SAAS,GAAG,mBAAmB,CAAC,WAAW,EAAE,CAAC,MAAM,CAAC,gBAAgB,CAAC,CAAA;IAC5E,OAAO,QAAQ,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAA;AACpD,CAAC;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAyCG;AACH,MAAM,UAAU,YAAY,CAC1B,MAAe,EACf,KAAwD,EACxD,kBAAuC,EACvC,OAAiC;IAEjC,MAAM,EAAE,MAAM,EAAE,GAAG,WAAW,EAAE,CAAA;IAEhC,IAAI,MAAM,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;QAC3B,2DAA2D;QAC3D,6BAA6B;QAC7B,IAAI,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC;YAChB,MAAM,IAAI,oBAAoB,CAAC,yDAAyD,EAAE,cAAc,EAAE,CAAC,CAAA;QAC7G,CAAC;QACD,OAAO,MAAM,CAAA;IACf,CAAC;IACD,MAAM,WAAW,GAAG,cAAc,EAAE,CAAA;IAEpC,+DAA+D;IAC/D,EAAE;IACF,sDAAsD;IACtD,wDAAwD;IACxD,kDAAkD;IAClD,+CAA+C;IAC/C,IAAI,OAAO,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAClC,MAAM,QAAQ,GAAG,MAAM,CAAC,YAAY,CAAA;QACpC,IAAI,QAAQ,KAAK,WAAW,IAAI,CAAC,QAAQ,KAAK,IAAI,IAAI,QAAQ,KAAK,SAAS,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,QAAQ,CAAC,CAAC,EAAE,CAAC;YACtH,MAAM,OAAO,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,KAAK,CAAC,IAAI,GAAG,CAAC,CAAC,CAAC,EAAE,CAAA;YACpD,MAAM,OAAO,GAAG,QAAQ,IAAI,QAAQ,CAAA;YACpC,MAAM,OAAO,GAAG,yBAAyB,OAAO,oBAAoB,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,aAAa,OAAO,GAAG,CAAA;YAC5G,IAAI,MAAM,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;gBAC3B,wDAAwD;gBACxD,MAAM,IAAI,oBAAoB,CAAC,OAAO,EAAE,WAAW,CAAC,CAAA;YACtD,CAAC;YACD,wEAAwE;YACxE,IAAI,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC;gBAChB,MAAM,IAAI,oBAAoB,CAC5B,yBAAyB,OAAO,oBAAoB,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,aAAa,OAAO,kCAAkC,EAC3H,WAAW,CACZ,CAAA;YACH,CAAC;YACD,OAAO,MAAM,CAAA;QACf,CAAC;IACH,CAAC;IAED,gDAAgD;IAChD,MAAM,SAAS,GAAG,mBAAmB,CAAC,MAAM,CAAC,gBAAgB,CAAC,CAAA;IAE9D,IAAI,MAAM,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;QAC3B,IAAI,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC;YAChB,MAAM,IAAI,oBAAoB,CAAC,yDAAyD,EAAE,WAAW,CAAC,CAAA;QACxG,CAAC;QACD,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,EAAE,CAAC;YAC3B,MAAM,IAAI,oBAAoB,CAAC,uCAAuC,EAAE,WAAW,CAAC,CAAA;QACtF,CAAC;QACD,+BAA+B;QAC/B,IAAI,kBAAkB,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,kBAAkB,CAAC,EAAE,CAAC;YAC7D,MAAM,IAAI,oBAAoB,CAC5B,wDAAwD,kBAAkB,mBAAmB,MAAM,CAAC,YAAY,IAAI,QAAQ,GAAG,EAC/H,WAAW,CACZ,CAAA;QACH,CAAC;QACD,OAAO,MAAM,CAAA;IACf,CAAC;IAED,4DAA4D;IAC5D,IAAI,kBAAkB,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,kBAAkB,CAAC,EAAE,CAAC;QAC7D,IAAI,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC;YAChB,MAAM,IAAI,oBAAoB,CAC5B,wDAAwD,kBAAkB,2CAA2C,EACrH,WAAW,CACZ,CAAA;QACH,CAAC;QACD,OAAO,MAAM,CAAA;IACf,CAAC;IAED,IAAI,KAAK,CAAC,IAAI,IAAI,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC;QAAE,OAAO,MAAM,CAAA;IACtD,IAAI,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC;QAChB,MAAM,IAAI,oBAAoB,CAC5B,+EAA+E,EAC/E,WAAW,CACZ,CAAA;IACH,CAAC;IACD,OAAO,MAAM,CAAA;AACf,CAAC","sourcesContent":["/**\n * backend-dispatch — BREP/mesh 路径静态判定（引擎侧）\n *\n *\n * 红线（AGENTS.md）：BREP 链是否可用，由静态规则在执行前判定，\n * **禁止运行时 try-catch 回退**。BREP 路径抛异常 = 设计缺陷或 bug，必须直接报错暴露。\n *\n * 本文件从 src/stdlib/internal/resolve-path.ts 迁移而来：判定是引擎的职责，\n * 不该由每个库函数各自调用。\n *\n * ⚠️ 分层例外：本文件位于 cad-runtime/ 但被 stdlib/ import。\n * 这是安全的——它只依赖 runtime-state / stdlib/shape / mesh/types，\n * 不依赖 cad-runtime 的任何其他模块，因此不构成循环。\n * P4b（可选）把函数拆成 brep/mesh 双实现后，此依赖会自然消失。\n */\n\nimport { getBackends, getCurrentStmt, BrepUnsupportedError, MeshUnsupportedError } from '../runtime-state'\nimport { hasBrep } from '../shape'\nimport type { BrepEngineId, BrepEvolutionKind, BrepMethodKind } from '../brep/engine/types'\nimport type { Shape } from '../mesh/types'\n\n/** 静态判定的两个可能结果：走 BREP 链或 mesh 链。 */\nexport type BrepPath = 'brep' | 'mesh'\n\n/**\n * 能力名：族级布尔位（`BrepCapabilities` 里类型为 boolean 的字段）**加上**逐核函数的\n * 面演化名（`BrepEvolutionKind`，`evolution` 名单里的条目）。\n *\n * ⚠️ `'evolution'` 已从本联合中**移除**（2026-09-22 Phase 0.2）：它曾是\"面演化族\"的\n * 族级名，但族级声明会多报能力（内核可只提供部分 `*WithHistory`）→ 静态判定失效。\n * op 现在必须声明**具体**要哪个核函数（如 `['cut']`），引擎声明**具体**提供哪些\n * （`evolution: ['fuse','cut','fillet']`）。见 `brep/engine/types.ts` 的 `BrepEvolutionKind`。\n */\nexport type BrepCapabilityName =\n  | 'heal'\n  | 'directEdit'\n  | 'advSurface'\n  | 'assembly'\n  | 'meshLift'\n  | BrepEvolutionKind\n  | BrepMethodKind\n\n/**\n * 引擎能力声明的宽松镜像（`runtime-state.Backends.config.brepCapabilities` 同构；\n * 该模块须零依赖，故不复用 `BrepCapabilities`）。\n */\nexport interface EngineCapabilitiesLike {\n  /** 本引擎实际提供的 `*WithHistory` 核函数名。 */\n  evolution?: readonly string[]\n  /** 本引擎实际提供的非演化内核方法名（`BrepMethodKind`）。 */\n  methods?: readonly string[]\n  heal?: boolean\n  directEdit?: boolean\n  advSurface?: boolean\n  assembly?: boolean\n  meshLift?: boolean\n}\n\n/**\n * 引擎能力声明 → 受支持能力名集合（族级布尔位 + `evolution` 名单展开成逐个核函数名）。\n * @param caps - 当前引擎的能力声明（缺省 = 空集，即什么都不支持）。\n * @returns 该引擎声明支持的 `BrepCapabilityName` 集合。\n */\nexport function engineCapabilitySet(caps: EngineCapabilitiesLike | undefined): ReadonlySet<string> {\n  const set = new Set<string>()\n  if (!caps) return set\n  for (const kind of caps.evolution ?? []) set.add(kind)\n  for (const method of caps.methods ?? []) set.add(method)\n  if (caps.heal) set.add('heal')\n  if (caps.directEdit) set.add('directEdit')\n  if (caps.advSurface) set.add('advSurface')\n  if (caps.assembly) set.add('assembly')\n  if (caps.meshLift) set.add('meshLift')\n  return set\n}\n\n/**\n * 声明列表中第一个**当前引擎不具备**的能力名（全具备则 `undefined`）。\n *\n * 读的是运行时配置里的能力声明（与 `dispatchPath` 同一来源），因此调用点与分派点\n * 对\"缺哪个能力\"的判断必然一致——不会出现\"defineOp 认为缺 evolution、dispatch 认为具备\"。\n * @param declared - op 声明的能力名列表（来自 `DualOpMeta.capabilities`）。\n * @returns 第一个缺失的能力名，或 undefined。\n */\nexport function firstMissingCapability(\n  declared: readonly BrepCapabilityName[] | undefined,\n): BrepCapabilityName | undefined {\n  if (!declared?.length) return undefined\n  const supported = engineCapabilitySet(getBackends().config.brepCapabilities)\n  return declared.find((cap) => !supported.has(cap))\n}\n\n/**\n * Decide whether this invocation takes the BREP or the mesh backend path.\n *\n * Bidirectional dispatch (defineOp contract, D1/D1b/D2):\n * - `impls` carries mesh/brep implementation presence (function reference or\n *   undefined, fixed at defineOp construction — static).\n * - `mode='mesh'` → always mesh; missing mesh implementation (brep-only)\n *   throws `MeshUnsupportedError`.\n * - `mode='brep'` → missing brep / input off chain / missing capability throws\n *   `BrepUnsupportedError`.\n * - `mode='auto'` → brep when brep exists and all inputs are on the chain;\n *   otherwise mesh when mesh exists; brep-only with a broken input chain (or\n *   missing capability) throws `MeshUnsupportedError` — no mesh to fall back to.\n *\n * Capability routing (requiredCapability): when the current engine (registry)\n * lacks a declared capability, brep mode throws a BrepUnsupportedError (an\n * explicit error, never a silent fallback) while auto mode statically degrades\n * to mesh (never fabricating a missing capability). The capability is matched\n * against the engine's declaration as a set of concrete names: family booleans\n * plus the engine's `evolution` list of `*WithHistory` kernel function names\n * (Phase 0.2 — a family-level `evolution: true` would over-report, since a\n * kernel may provide only a subset of the evolution family).\n *\n * Red line unchanged: static dispatch, no runtime try-catch fallback. The\n * decision happens before the implementation runs and is never revised after a\n * failed execution.\n *\n * Third-party library authors never call this directly — `defineOp` (SDK)\n * invokes it inside its wrapper; authors only declare the implementation set.\n * @param inputs - the shapes feeding the operation, used to test whether all\n * lie on the BREP chain.\n * @param impls - the operation's implementation set: `mesh`/`brep` presence\n * (function reference or undefined; fixed at defineOp construction), plus the\n * op `name` (error messages).\n * @param requiredCapability - an optional capability the operation declares;\n * a missing capability routes the dispatch.\n * @param engines - the operation's platform declaration (D11): `engines` from\n * the defineOp meta. Undefined/empty = neutral op (all engines). A platform op\n * whose engines do not include the current engine is rejected before the\n * capability/mode routing (D11-2: engine mismatch precedes capability checks).\n * @returns the selected backend path: 'brep' or 'mesh'.\n */\nexport function dispatchPath(\n  inputs: Shape[],\n  impls: { mesh?: unknown; brep?: unknown; name?: string },\n  requiredCapability?: BrepCapabilityName,\n  engines?: readonly BrepEngineId[],\n): BrepPath {\n  const { config } = getBackends()\n\n  if (config.mode === 'mesh') {\n    // D11-6: mode='mesh' 分支仍在最前——平台 op 与中立 op 一视同仁（有 mesh 实现就走\n    // mesh）。宿主强制 mesh 时不因平台身份报错。\n    if (!impls.mesh) {\n      throw new MeshUnsupportedError('E_MESH_UNSUPPORTED: function has no mesh implementation', getCurrentStmt())\n    }\n    return 'mesh'\n  }\n  const currentStmt = getCurrentStmt()\n\n  // ── D11-2: 平台身份判定，置于最前（先于 mode/capabilities——引擎不匹配时谈能力没有意义）──\n  //\n  // D11-3（mock 豁免，**有意为之**）：brep_mock 是测试替身，不代表任何真实平台——\n  // 它的 capabilities 也是\"全给\"，职责是让编排链路（naming、Result 边界、多输出）\n  // 能被测到；真实引擎下的身份校验由 parity 测试与 engine-switch 测试覆盖。\n  // 本豁免由 engine-switch-p5 测试钉住（mock 下平台 op 不拦截）。\n  if (engines && engines.length > 0) {\n    const engineId = config.brepEngineId\n    if (engineId !== 'brep_mock' && (engineId === null || engineId === undefined || !engines.some((e) => e === engineId))) {\n      const opLabel = impls.name ? ` '${impls.name}'` : ''\n      const current = engineId ?? '<none>'\n      const message = `E_BREP_UNSUPPORTED: op${opLabel} requires engine ${engines.join('/')} (current=${current})`\n      if (config.mode === 'brep') {\n        // D11-4: brep 模式不匹配 → BrepUnsupportedError（执行前，非运行时回退）。\n        throw new BrepUnsupportedError(message, currentStmt)\n      }\n      // D11-5: auto 模式 → 静态降级 mesh；无 mesh 实现 → MeshUnsupportedError（与能力路由同构）。\n      if (!impls.mesh) {\n        throw new MeshUnsupportedError(\n          `E_MESH_UNSUPPORTED: op${opLabel} requires engine ${engines.join('/')} (current=${current}) and has no mesh implementation`,\n          currentStmt,\n        )\n      }\n      return 'mesh'\n    }\n  }\n\n  // 引擎能力声明 → 具体能力名集合（族级布尔位 + evolution 名单逐核函数展开）。\n  const supported = engineCapabilitySet(config.brepCapabilities)\n\n  if (config.mode === 'brep') {\n    if (!impls.brep) {\n      throw new BrepUnsupportedError('E_BREP_UNSUPPORTED: function has no BREP implementation', currentStmt)\n    }\n    if (!inputs.every(hasBrep)) {\n      throw new BrepUnsupportedError('E_BREP_UNSUPPORTED: input is not BREP', currentStmt)\n    }\n    // 能力路由：brep 模式缺能力 → 明确报错，不静默回退\n    if (requiredCapability && !supported.has(requiredCapability)) {\n      throw new BrepUnsupportedError(\n        `E_BREP_UNSUPPORTED: current engine lacks capability '${requiredCapability}' (brepEngineId=${config.brepEngineId ?? '<none>'})`,\n        currentStmt,\n      )\n    }\n    return 'brep'\n  }\n\n  // auto 模式：能力路由（缺能力 → 静态降级走 mesh；brep-only 无 mesh 可降 → 明确报错）\n  if (requiredCapability && !supported.has(requiredCapability)) {\n    if (!impls.mesh) {\n      throw new MeshUnsupportedError(\n        `E_MESH_UNSUPPORTED: current engine lacks capability '${requiredCapability}' and function has no mesh implementation`,\n        currentStmt,\n      )\n    }\n    return 'mesh'\n  }\n\n  if (impls.brep && inputs.every(hasBrep)) return 'brep'\n  if (!impls.mesh) {\n    throw new MeshUnsupportedError(\n      'E_MESH_UNSUPPORTED: input is not BREP and function has no mesh implementation',\n      currentStmt,\n    )\n  }\n  return 'mesh'\n}\n"]}
+{"version":3,"file":"backend-dispatch.js","sourceRoot":"","sources":["../../src/cad-runtime/backend-dispatch.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;GAcG;AAEH,OAAO,EAAE,WAAW,EAAE,cAAc,EAAE,oBAAoB,EAAE,oBAAoB,EAAE,MAAM,kBAAkB,CAAA;AAC1G,OAAO,EAAE,OAAO,EAAE,WAAW,EAAE,YAAY,EAAE,MAAM,UAAU,CAAA;AAO7D;;;;;;;;;;;;;;GAcG;AACH,MAAM,UAAU,wBAAwB,CAAC,MAAwB;IAC/D,KAAK,MAAM,CAAC,IAAI,MAAM,EAAE,CAAC;QACvB,MAAM,QAAQ,GAAa,EAAE,CAAA;QAC7B,IAAI,OAAO,CAAC,CAAC,CAAC;YAAE,QAAQ,CAAC,IAAI,CAAC,MAAM,CAAC,CAAA;QACrC,IAAI,YAAY,CAAC,CAAC,CAAC;YAAE,QAAQ,CAAC,IAAI,CAAC,YAAY,CAAC,CAAA;QAChD,IAAI,WAAW,CAAC,CAAC,CAAC;YAAE,QAAQ,CAAC,IAAI,CAAC,iBAAiB,CAAC,CAAA;QACpD,IAAI,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACxB,MAAM,IAAI,KAAK,CACb,+CAA+C,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,aAAa;gBAClF,2FAA2F,CAC5F,CAAA;QACH,CAAC;IACH,CAAC;AACH,CAAC;AAoCD;;;;GAIG;AACH,MAAM,UAAU,mBAAmB,CAAC,IAAwC;IAC1E,MAAM,GAAG,GAAG,IAAI,GAAG,EAAU,CAAA;IAC7B,IAAI,CAAC,IAAI;QAAE,OAAO,GAAG,CAAA;IACrB,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,SAAS,IAAI,EAAE;QAAE,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,CAAA;IACtD,KAAK,MAAM,MAAM,IAAI,IAAI,CAAC,OAAO,IAAI,EAAE;QAAE,GAAG,CAAC,GAAG,CAAC,MAAM,CAAC,CAAA;IACxD,IAAI,IAAI,CAAC,IAAI;QAAE,GAAG,CAAC,GAAG,CAAC,MAAM,CAAC,CAAA;IAC9B,IAAI,IAAI,CAAC,UAAU;QAAE,GAAG,CAAC,GAAG,CAAC,YAAY,CAAC,CAAA;IAC1C,IAAI,IAAI,CAAC,UAAU;QAAE,GAAG,CAAC,GAAG,CAAC,YAAY,CAAC,CAAA;IAC1C,IAAI,IAAI,CAAC,QAAQ;QAAE,GAAG,CAAC,GAAG,CAAC,UAAU,CAAC,CAAA;IACtC,IAAI,IAAI,CAAC,QAAQ;QAAE,GAAG,CAAC,GAAG,CAAC,UAAU,CAAC,CAAA;IACtC,OAAO,GAAG,CAAA;AACZ,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,UAAU,sBAAsB,CACpC,QAAmD;IAEnD,IAAI,CAAC,QAAQ,EAAE,MAAM;QAAE,OAAO,SAAS,CAAA;IACvC,MAAM,SAAS,GAAG,mBAAmB,CAAC,WAAW,EAAE,CAAC,MAAM,CAAC,gBAAgB,CAAC,CAAA;IAC5E,OAAO,QAAQ,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAA;AACpD,CAAC;AAED;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,oBAAoB,GAAsB,CAAC,UAAU,CAAC,CAAA;AAEnE;;;;;;;;;;;;;;;;;;;GAmBG;AACH,SAAS,qBAAqB,CAC5B,MAAwB,EACxB,KAAyD;IAEzD,IAAI,UAAU,GAAG,CAAC,CAAA;IAClB,KAAK,MAAM,CAAC,IAAI,MAAM;QAAE,IAAI,YAAY,CAAC,CAAC,CAAC,IAAI,WAAW,CAAC,CAAC,CAAC;YAAE,UAAU,EAAE,CAAA;IAC3E,IAAI,UAAU,KAAK,CAAC;QAAE,OAAM;IAE5B,MAAM,OAAO,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,KAAK,CAAC,IAAI,GAAG,CAAC,CAAC,CAAC,EAAE,CAAA;IACpD,IAAI,UAAU,KAAK,MAAM,CAAC,MAAM,EAAE,CAAC;QACjC,MAAM,IAAI,KAAK,CACb,yBAAyB,OAAO,mDAAmD;YACnF,IAAI,UAAU,IAAI,MAAM,CAAC,MAAM,qEAAqE;YACpG,qHAAqH,CACtH,CAAA;IACH,CAAC;IAED,MAAM,QAAQ,GAAG,KAAK,CAAC,WAAW,IAAI,oBAAoB,CAAA;IAC1D,MAAM,OAAO,GAAG,oBAAoB,EAAE,CAAA;IACtC,IAAI,OAAO,KAAK,IAAI,IAAI,QAAQ,CAAC,QAAQ,CAAC,OAAO,CAAC;QAAE,OAAM;IAC1D,MAAM,IAAI,oBAAoB,CAC5B,+BAA+B,OAAO,yDAAyD;QAC/F,MAAM,OAAO,IAAI,QAAQ,yBAAyB,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,EACxE,cAAc,EAAE,CACjB,CAAA;AACH,CAAC;AAED;;;;;;;;GAQG;AACH,SAAS,oBAAoB;IAC3B,MAAM,OAAO,GAAG,WAAW,EAAE,CAAC,MAAM,CAAC,SAAyC,CAAA;IAC9E,OAAO,OAAO,IAAI,OAAO,OAAO,CAAC,EAAE,KAAK,QAAQ,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAA;AACtE,CAAC;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAyCG;AACH,MAAM,UAAU,YAAY,CAC1B,MAAe,EACf,KAAyF,EACzF,kBAAuC,EACvC,OAAiC;IAEjC,iCAAiC;IACjC,wBAAwB,CAAC,MAAM,CAAC,CAAA;IAChC,MAAM,IAAI,GAAG,UAAU,CAAC,MAAM,EAAE,KAAK,EAAE,kBAAkB,EAAE,OAAO,CAAC,CAAA;IACnE,kDAAkD;IAClD,uCAAuC;IACvC,kDAAkD;IAClD,IAAI,IAAI,KAAK,MAAM;QAAE,qBAAqB,CAAC,MAAM,EAAE,KAAK,CAAC,CAAA;IACzD,OAAO,IAAI,CAAA;AACb,CAAC;AAED;;;;;;;;;;;;GAYG;AACH,SAAS,UAAU,CACjB,MAAe,EACf,KAAyF,EACzF,kBAAuC,EACvC,OAAiC;IAEjC,MAAM,EAAE,MAAM,EAAE,GAAG,WAAW,EAAE,CAAA;IAEhC,IAAI,MAAM,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;QAC3B,2DAA2D;QAC3D,6BAA6B;QAC7B,IAAI,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC;YAChB,MAAM,IAAI,oBAAoB,CAAC,yDAAyD,EAAE,cAAc,EAAE,CAAC,CAAA;QAC7G,CAAC;QACD,OAAO,MAAM,CAAA;IACf,CAAC;IACD,MAAM,WAAW,GAAG,cAAc,EAAE,CAAA;IAEpC,+DAA+D;IAC/D,EAAE;IACF,sDAAsD;IACtD,wDAAwD;IACxD,kDAAkD;IAClD,+CAA+C;IAC/C,IAAI,OAAO,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAClC,MAAM,QAAQ,GAAG,MAAM,CAAC,YAAY,CAAA;QACpC,IAAI,QAAQ,KAAK,WAAW,IAAI,CAAC,QAAQ,KAAK,IAAI,IAAI,QAAQ,KAAK,SAAS,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,QAAQ,CAAC,CAAC,EAAE,CAAC;YACtH,MAAM,OAAO,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,KAAK,CAAC,IAAI,GAAG,CAAC,CAAC,CAAC,EAAE,CAAA;YACpD,MAAM,OAAO,GAAG,QAAQ,IAAI,QAAQ,CAAA;YACpC,MAAM,OAAO,GAAG,yBAAyB,OAAO,oBAAoB,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,aAAa,OAAO,GAAG,CAAA;YAC5G,IAAI,MAAM,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;gBAC3B,wDAAwD;gBACxD,MAAM,IAAI,oBAAoB,CAAC,OAAO,EAAE,WAAW,CAAC,CAAA;YACtD,CAAC;YACD,wEAAwE;YACxE,IAAI,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC;gBAChB,MAAM,IAAI,oBAAoB,CAC5B,yBAAyB,OAAO,oBAAoB,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,aAAa,OAAO,kCAAkC,EAC3H,WAAW,CACZ,CAAA;YACH,CAAC;YACD,OAAO,MAAM,CAAA;QACf,CAAC;IACH,CAAC;IAED,gDAAgD;IAChD,MAAM,SAAS,GAAG,mBAAmB,CAAC,MAAM,CAAC,gBAAgB,CAAC,CAAA;IAE9D,IAAI,MAAM,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;QAC3B,IAAI,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC;YAChB,MAAM,IAAI,oBAAoB,CAAC,yDAAyD,EAAE,WAAW,CAAC,CAAA;QACxG,CAAC;QACD,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,EAAE,CAAC;YAC3B,MAAM,IAAI,oBAAoB,CAAC,uCAAuC,EAAE,WAAW,CAAC,CAAA;QACtF,CAAC;QACD,+BAA+B;QAC/B,IAAI,kBAAkB,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,kBAAkB,CAAC,EAAE,CAAC;YAC7D,MAAM,IAAI,oBAAoB,CAC5B,wDAAwD,kBAAkB,mBAAmB,MAAM,CAAC,YAAY,IAAI,QAAQ,GAAG,EAC/H,WAAW,CACZ,CAAA;QACH,CAAC;QACD,OAAO,MAAM,CAAA;IACf,CAAC;IAED,4DAA4D;IAC5D,IAAI,kBAAkB,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,kBAAkB,CAAC,EAAE,CAAC;QAC7D,IAAI,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC;YAChB,MAAM,IAAI,oBAAoB,CAC5B,wDAAwD,kBAAkB,2CAA2C,EACrH,WAAW,CACZ,CAAA;QACH,CAAC;QACD,OAAO,MAAM,CAAA;IACf,CAAC;IAED,IAAI,KAAK,CAAC,IAAI,IAAI,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC;QAAE,OAAO,MAAM,CAAA;IACtD,IAAI,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC;QAChB,MAAM,IAAI,oBAAoB,CAC5B,+EAA+E,EAC/E,WAAW,CACZ,CAAA;IACH,CAAC;IACD,OAAO,MAAM,CAAA;AACf,CAAC","sourcesContent":["/**\n * backend-dispatch — BREP/mesh 路径静态判定（引擎侧）\n *\n *\n * 红线（AGENTS.md）：BREP 链是否可用，由静态规则在执行前判定，\n * **禁止运行时 try-catch 回退**。BREP 路径抛异常 = 设计缺陷或 bug，必须直接报错暴露。\n *\n * 本文件从 src/api/internal/resolve-path.ts 迁移而来：判定是引擎的职责，\n * 不该由每个库函数各自调用。\n *\n * ⚠️ 分层例外：本文件位于 cad-runtime/ 但被 api/ import。\n * 这是安全的——它只依赖 runtime-state / api/shape / mesh/types，\n * 不依赖 cad-runtime 的任何其他模块，因此不构成循环。\n * P4b（可选）把函数拆成 brep/mesh 双实现后，此依赖会自然消失。\n */\n\nimport { getBackends, getCurrentStmt, BrepUnsupportedError, MeshUnsupportedError } from '../runtime-state'\nimport { hasBrep, hasMeshFace, hasMeshSolid } from '../shape'\nimport type { BrepEngineId, BrepEvolutionKind, BrepMethodKind } from '../brep/engine/types'\nimport type { Shape } from '../mesh/types'\n\n/** 静态判定的两个可能结果：走 BREP 链或 mesh 链。 */\nexport type BrepPath = 'brep' | 'mesh'\n\n/**\n * Shape 身份槽互斥校验（方案 2026-10-01 §3.2）：一个 Shape 只能携带**一种**链身份\n * ——BREP 精度链句柄 / 网格实体句柄 / 网格链面句柄，三者取一。\n *\n * 两人同时存在意味着\"这个零件既在精度链又在近似链上\"——后续无论按哪一侧分派\n * 都是错的（按 BREP 走 → 近似几何被当精确实体；按 mesh 走 → 精确句柄悬空）。\n * 这是设计缺陷而非可恢复状态，故在**分派之前**直接抛错，不给运行时\"选边站\"的\n * 机会（静态判定红线）。\n *\n * 三个写入点（`attachBrep` / `attachMeshSolid` / `attachMeshFace`）已经把互斥钉在\n * 写入侧；这里在分派前再兜一层，兜的是\"绕开构造器直接改 slot\"的路径。\n *\n * @param inputs - the shapes feeding the operation.\n * @throws {Error} `E_SHAPE_SLOT_EXCLUSIVE` when a shape carries more than one chain identity.\n */\nexport function assertShapeSlotExclusive(inputs: readonly Shape[]): void {\n  for (const s of inputs) {\n    const carriers: string[] = []\n    if (hasBrep(s)) carriers.push('BREP')\n    if (hasMeshSolid(s)) carriers.push('mesh solid')\n    if (hasMeshFace(s)) carriers.push('mesh-chain face')\n    if (carriers.length > 1) {\n      throw new Error(\n        `E_SHAPE_SLOT_EXCLUSIVE: input shape carries ${carriers.join(' and ')} handles — ` +\n        'a shape belongs to exactly one chain identity (precision, mesh solid, or mesh-chain face)',\n      )\n    }\n  }\n}\n\n/**\n * 能力名：族级布尔位（`BrepCapabilities` 里类型为 boolean 的字段）**加上**逐核函数的\n * 面演化名（`BrepEvolutionKind`，`evolution` 名单里的条目）。\n *\n * ⚠️ `'evolution'` 已从本联合中**移除**（2026-09-22 Phase 0.2）：它曾是\"面演化族\"的\n * 族级名，但族级声明会多报能力（内核可只提供部分 `*WithHistory`）→ 静态判定失效。\n * op 现在必须声明**具体**要哪个核函数（如 `['cut']`），引擎声明**具体**提供哪些\n * （`evolution: ['fuse','cut','fillet']`）。见 `brep/engine/types.ts` 的 `BrepEvolutionKind`。\n */\nexport type BrepCapabilityName =\n  | 'heal'\n  | 'directEdit'\n  | 'advSurface'\n  | 'assembly'\n  | 'meshLift'\n  | BrepEvolutionKind\n  | BrepMethodKind\n\n/**\n * 引擎能力声明的宽松镜像（`runtime-state.Backends.config.brepCapabilities` 同构；\n * 该模块须零依赖，故不复用 `BrepCapabilities`）。\n */\nexport interface EngineCapabilitiesLike {\n  /** 本引擎实际提供的 `*WithHistory` 核函数名。 */\n  evolution?: readonly string[]\n  /** 本引擎实际提供的非演化内核方法名（`BrepMethodKind`）。 */\n  methods?: readonly string[]\n  heal?: boolean\n  directEdit?: boolean\n  advSurface?: boolean\n  assembly?: boolean\n  meshLift?: boolean\n}\n\n/**\n * 引擎能力声明 → 受支持能力名集合（族级布尔位 + `evolution` 名单展开成逐个核函数名）。\n * @param caps - 当前引擎的能力声明（缺省 = 空集，即什么都不支持）。\n * @returns 该引擎声明支持的 `BrepCapabilityName` 集合。\n */\nexport function engineCapabilitySet(caps: EngineCapabilitiesLike | undefined): ReadonlySet<string> {\n  const set = new Set<string>()\n  if (!caps) return set\n  for (const kind of caps.evolution ?? []) set.add(kind)\n  for (const method of caps.methods ?? []) set.add(method)\n  if (caps.heal) set.add('heal')\n  if (caps.directEdit) set.add('directEdit')\n  if (caps.advSurface) set.add('advSurface')\n  if (caps.assembly) set.add('assembly')\n  if (caps.meshLift) set.add('meshLift')\n  return set\n}\n\n/**\n * 声明列表中第一个**当前引擎不具备**的能力名（全具备则 `undefined`）。\n *\n * 读的是运行时配置里的能力声明（与 `dispatchPath` 同一来源），因此调用点与分派点\n * 对\"缺哪个能力\"的判断必然一致——不会出现\"defineOp 认为缺 evolution、dispatch 认为具备\"。\n * @param declared - op 声明的能力名列表（来自 `DualOpMeta.capabilities`）。\n * @returns 第一个缺失的能力名，或 undefined。\n */\nexport function firstMissingCapability(\n  declared: readonly BrepCapabilityName[] | undefined,\n): BrepCapabilityName | undefined {\n  if (!declared?.length) return undefined\n  const supported = engineCapabilitySet(getBackends().config.brepCapabilities)\n  return declared.find((cap) => !supported.has(cap))\n}\n\n/**\n * `meshEngines` 缺省值（方案 2026-10-01 §3.4）：内置 `mesh/`（manifold CSG）。\n *\n * 为什么缺省是\"只认识裸网格\"而不是\"全都能\"：mesh 实现默认跑在 manifold 上，它拿不到\n * 网格实体句柄；给一个不声明 `meshEngines` 的 op 喂网格实体，唯一诚实的结局是**静态\n * 报错**，而不是在运行时挑一个能跑的后端（红线：无运行时回退）。\n */\nexport const DEFAULT_MESH_ENGINES: readonly string[] = ['manifold']\n\n/**\n * 网格链输入的静态门禁（方案 2026-10-01 §3.4 规则 1 / 规则 4）。\n *\n * \"网格链输入\"= 网格实体（`meshSolid`）或网格链面（`meshFace`）——两者都是近似链上的\n * 构造中几何，都要由**声明的**网格后端来读懂。\n *\n * 只在**已判定走 mesh 路径**时调用（brep 模式下网格实体的归宿是\n * `E_BREP_UNSUPPORTED`——网格零件按定义没有精度链，那条判定更贴切）。\n *\n * 两条不变量：\n * 1. **链不可混**：一次调用里要么全是网格链输入，要么都不是。网格链输入与 BREP 实体\n *    （或裸网格）混在一起时，任一侧的结局都是隐式降级——走 manifold 会把网格实体的\n *    身份与近似拓扑静默丢掉，走网格后端则拿不到对侧实体的句柄。故直接报错。\n * 2. **后端必须声明接受**：当前装配的网格后端 id 必须出现在 op 的 `meshEngines` 里。\n *\n * @param inputs - the shapes feeding the operation.\n * @param impls - the op's implementation set (reads `meshEngines` / `name`).\n * @throws {Error} `E_MESH_SOLID_MIXED` when mesh-chain inputs are mixed with other geometry.\n * @throws {MeshUnsupportedError} `E_MESH_SOLID_UNSUPPORTED` when the mesh backend is not declared.\n */\nfunction assertMeshSolidInputs(\n  inputs: readonly Shape[],\n  impls: { meshEngines?: readonly string[]; name?: string },\n): void {\n  let chainCount = 0\n  for (const s of inputs) if (hasMeshSolid(s) || hasMeshFace(s)) chainCount++\n  if (chainCount === 0) return\n\n  const opLabel = impls.name ? ` '${impls.name}'` : ''\n  if (chainCount !== inputs.length) {\n    throw new Error(\n      `E_MESH_SOLID_MIXED: op${opLabel} got both mesh-chain geometry and other geometry ` +\n      `(${chainCount}/${inputs.length} inputs are mesh solids or mesh-chain faces) — mesh-chain geometry ` +\n      'cannot take part in an operation whose other inputs are outside its chain (the result would silently drop one side)',\n    )\n  }\n\n  const declared = impls.meshEngines ?? DEFAULT_MESH_ENGINES\n  const current = currentMeshBackendId()\n  if (current !== null && declared.includes(current)) return\n  throw new MeshUnsupportedError(\n    `E_MESH_SOLID_UNSUPPORTED: op${opLabel} cannot accept mesh-chain input — current mesh backend ` +\n    `is ${current ?? '<none>'} but the op declares [${declared.join(', ')}]`,\n    getCurrentStmt(),\n  )\n}\n\n/**\n * 当前装配的网格后端 id（未装配 → null）。\n *\n * 读的是**已装配的后端对象自身**（`Backends.kernel.meshSolid`）而不是注册表的另一份\n * 快照——装配事实只有一个来源，门禁不可能与装配结果漂移。类型在本模块只当结构读\n * （`{ id?: string }`），因为它对 runtime-state 是 `unknown`（零依赖红线）。\n *\n * @returns the assembled mesh backend id, or null when none is assembled.\n */\nfunction currentMeshBackendId(): string | null {\n  const backend = getBackends().kernel.meshSolid as { id?: unknown } | undefined\n  return backend && typeof backend.id === 'string' ? backend.id : null\n}\n\n/**\n * Decide whether this invocation takes the BREP or the mesh backend path.\n *\n * Bidirectional dispatch (defineOp contract, D1/D1b/D2):\n * - `impls` carries mesh/brep implementation presence (function reference or\n *   undefined, fixed at defineOp construction — static).\n * - `mode='mesh'` → always mesh; missing mesh implementation (brep-only)\n *   throws `MeshUnsupportedError`.\n * - `mode='brep'` → missing brep / input off chain / missing capability throws\n *   `BrepUnsupportedError`.\n * - `mode='auto'` → brep when brep exists and all inputs are on the chain;\n *   otherwise mesh when mesh exists; brep-only with a broken input chain (or\n *   missing capability) throws `MeshUnsupportedError` — no mesh to fall back to.\n *\n * Capability routing (requiredCapability): when the current engine (registry)\n * lacks a declared capability, brep mode throws a BrepUnsupportedError (an\n * explicit error, never a silent fallback) while auto mode statically degrades\n * to mesh (never fabricating a missing capability). The capability is matched\n * against the engine's declaration as a set of concrete names: family booleans\n * plus the engine's `evolution` list of `*WithHistory` kernel function names\n * (Phase 0.2 — a family-level `evolution: true` would over-report, since a\n * kernel may provide only a subset of the evolution family).\n *\n * Red line unchanged: static dispatch, no runtime try-catch fallback. The\n * decision happens before the implementation runs and is never revised after a\n * failed execution.\n *\n * Third-party library authors never call this directly — `defineOp` (SDK)\n * invokes it inside its wrapper; authors only declare the implementation set.\n * @param inputs - the shapes feeding the operation, used to test whether all\n * lie on the BREP chain.\n * @param impls - the operation's implementation set: `mesh`/`brep` presence\n * (function reference or undefined; fixed at defineOp construction), plus the\n * op `name` (error messages).\n * @param requiredCapability - an optional capability the operation declares;\n * a missing capability routes the dispatch.\n * @param engines - the operation's platform declaration (D11): `engines` from\n * the defineOp meta. Undefined/empty = neutral op (all engines). A platform op\n * whose engines do not include the current engine is rejected before the\n * capability/mode routing (D11-2: engine mismatch precedes capability checks).\n * @returns the selected backend path: 'brep' or 'mesh'.\n */\nexport function dispatchPath(\n  inputs: Shape[],\n  impls: { mesh?: unknown; brep?: unknown; name?: string; meshEngines?: readonly string[] },\n  requiredCapability?: BrepCapabilityName,\n  engines?: readonly BrepEngineId[],\n): BrepPath {\n  // 前置不变量：槽位互斥（缺陷即报错，先于任何模式/能力判定）。\n  assertShapeSlotExclusive(inputs)\n  const path = decidePath(inputs, impls, requiredCapability, engines)\n  // 网格实体输入的静态门禁（§3.4 规则 1/4）：只在**已经**选定 mesh 路径后判定。\n  // 放在这里而不是最前面，是为了让 brep 模式下的网格实体仍拿到更贴切的\n  // E_BREP_UNSUPPORTED（规则 3）——网格零件没有精度链，那才是它的第一条事实。\n  if (path === 'mesh') assertMeshSolidInputs(inputs, impls)\n  return path\n}\n\n/**\n * The path decision itself (mode → engine identity → capability → chain).\n *\n * Split out of `dispatchPath` so the mesh-solid gate can run *after* the path is\n * known, without duplicating the four mesh-returning branches. Behaviour is\n * unchanged: every throw here is a \"path not available\" refusal.\n *\n * @param inputs - the shapes feeding the operation.\n * @param impls - the op's implementation set (presence + name + meshEngines).\n * @param requiredCapability - the capability the op declares, if any.\n * @param engines - the op's BREP platform declaration (D11), if any.\n * @returns the selected backend path.\n */\nfunction decidePath(\n  inputs: Shape[],\n  impls: { mesh?: unknown; brep?: unknown; name?: string; meshEngines?: readonly string[] },\n  requiredCapability?: BrepCapabilityName,\n  engines?: readonly BrepEngineId[],\n): BrepPath {\n  const { config } = getBackends()\n\n  if (config.mode === 'mesh') {\n    // D11-6: mode='mesh' 分支仍在最前——平台 op 与中立 op 一视同仁（有 mesh 实现就走\n    // mesh）。宿主强制 mesh 时不因平台身份报错。\n    if (!impls.mesh) {\n      throw new MeshUnsupportedError('E_MESH_UNSUPPORTED: function has no mesh implementation', getCurrentStmt())\n    }\n    return 'mesh'\n  }\n  const currentStmt = getCurrentStmt()\n\n  // ── D11-2: 平台身份判定，置于最前（先于 mode/capabilities——引擎不匹配时谈能力没有意义）──\n  //\n  // D11-3（mock 豁免，**有意为之**）：brep_mock 是测试替身，不代表任何真实平台——\n  // 它的 capabilities 也是\"全给\"，职责是让编排链路（naming、Result 边界、多输出）\n  // 能被测到；真实引擎下的身份校验由 parity 测试与 engine-switch 测试覆盖。\n  // 本豁免由 engine-switch-p5 测试钉住（mock 下平台 op 不拦截）。\n  if (engines && engines.length > 0) {\n    const engineId = config.brepEngineId\n    if (engineId !== 'brep_mock' && (engineId === null || engineId === undefined || !engines.some((e) => e === engineId))) {\n      const opLabel = impls.name ? ` '${impls.name}'` : ''\n      const current = engineId ?? '<none>'\n      const message = `E_BREP_UNSUPPORTED: op${opLabel} requires engine ${engines.join('/')} (current=${current})`\n      if (config.mode === 'brep') {\n        // D11-4: brep 模式不匹配 → BrepUnsupportedError（执行前，非运行时回退）。\n        throw new BrepUnsupportedError(message, currentStmt)\n      }\n      // D11-5: auto 模式 → 静态降级 mesh；无 mesh 实现 → MeshUnsupportedError（与能力路由同构）。\n      if (!impls.mesh) {\n        throw new MeshUnsupportedError(\n          `E_MESH_UNSUPPORTED: op${opLabel} requires engine ${engines.join('/')} (current=${current}) and has no mesh implementation`,\n          currentStmt,\n        )\n      }\n      return 'mesh'\n    }\n  }\n\n  // 引擎能力声明 → 具体能力名集合（族级布尔位 + evolution 名单逐核函数展开）。\n  const supported = engineCapabilitySet(config.brepCapabilities)\n\n  if (config.mode === 'brep') {\n    if (!impls.brep) {\n      throw new BrepUnsupportedError('E_BREP_UNSUPPORTED: function has no BREP implementation', currentStmt)\n    }\n    if (!inputs.every(hasBrep)) {\n      throw new BrepUnsupportedError('E_BREP_UNSUPPORTED: input is not BREP', currentStmt)\n    }\n    // 能力路由：brep 模式缺能力 → 明确报错，不静默回退\n    if (requiredCapability && !supported.has(requiredCapability)) {\n      throw new BrepUnsupportedError(\n        `E_BREP_UNSUPPORTED: current engine lacks capability '${requiredCapability}' (brepEngineId=${config.brepEngineId ?? '<none>'})`,\n        currentStmt,\n      )\n    }\n    return 'brep'\n  }\n\n  // auto 模式：能力路由（缺能力 → 静态降级走 mesh；brep-only 无 mesh 可降 → 明确报错）\n  if (requiredCapability && !supported.has(requiredCapability)) {\n    if (!impls.mesh) {\n      throw new MeshUnsupportedError(\n        `E_MESH_UNSUPPORTED: current engine lacks capability '${requiredCapability}' and function has no mesh implementation`,\n        currentStmt,\n      )\n    }\n    return 'mesh'\n  }\n\n  if (impls.brep && inputs.every(hasBrep)) return 'brep'\n  if (!impls.mesh) {\n    throw new MeshUnsupportedError(\n      'E_MESH_UNSUPPORTED: input is not BREP and function has no mesh implementation',\n      currentStmt,\n    )\n  }\n  return 'mesh'\n}\n"]}

package/dist/cad-runtime/browser-lib-loader.js.map

@@ -1 +1 @@
-{"version":3,"file":"browser-lib-loader.js","sourceRoot":"","sources":["../../src/cad-runtime/browser-lib-loader.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;GA0BG;AAKH,uDAAuD;AACvD,MAAM,CAAC,MAAM,gBAAgB,GAAG,+BAA+B,CAAA;AAwC/D,0DAA0D;AAC1D,SAAS,iBAAiB,CAAC,IAAY;IACrC,OAAO,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,IAAI,GAAG,CAAA;AAC/C,CAAC;AAED;;;;;;;;GAQG;AACH,MAAM,UAAU,sBAAsB,CAAC,OAAsC,EAAE;IAC7E,MAAM,OAAO,GAAG,iBAAiB,CAAC,IAAI,CAAC,OAAO,IAAI,gBAAgB,CAAC,CAAA;IACnE,MAAM,OAAO,GAA2B,EAAE,GAAG,CAAC,IAAI,CAAC,OAAO,IAAI,EAAE,CAAC,EAAE,CAAA;IACnE,MAAM,QAAQ,GAAG,IAAI,CAAC,QAAQ,CAAA;IAC9B,MAAM,KAAK,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,SAAS,CAAA;IACxD,MAAM,IAAI,GAAmC,EAAE,GAAG,CAAC,IAAI,CAAC,IAAI,IAAI,EAAE,CAAC,EAAE,CAAA;IACrE,MAAM,YAAY,GAChB,IAAI,CAAC,YAAY,IAAI,CAAC,CAAC,GAAW,EAAoB,EAAE,CAAC,MAAM,CAAC,kBAAkB,CAAC,GAAG,CAAC,CAAC,CAAA;IAC1F,MAAM,SAAS,GAAG,IAAI,CAAC,SAAS,IAAI,CAAC,OAAO,KAAK,KAAK,WAAW,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,SAAS,CAAC,CAAA;IAEtF,0BAA0B;IAC1B,MAAM,KAAK,GAAG,CAAC,IAAY,EAAU,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,IAAI,CAAA;IAE7D,gEAAgE;IAChE,MAAM,UAAU,GAAG,IAAI,GAAG,CAAS;QACjC,GAAG,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC;QACvB,GAAG,CAAC,IAAI,CAAC,IAAI,IAAI,EAAE,CAAC;QACpB,GAAG,MAAM,CAAC,IAAI,CAAC,QAAQ,IAAI,EAAE,CAAC;KAC/B,CAAC,CAAA;IAEF,uCAAuC;IACvC,MAAM,KAAK,GAAG,CAAC,GAAW,EAAsB,EAAE;QAChD,IAAI,IAAI,CAAC,cAAc;YAAE,OAAO,SAAS,CAAA;QACzC,MAAM,CAAC,GAAG,QAAQ,EAAE,CAAC,GAAG,CAAC,CAAA;QACzB,OAAO,CAAC,CAAC,CAAC,CAAC,GAAG,OAAO,GAAG,GAAG,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,SAAS,CAAA;IACrD,CAAC,CAAA;IAED,MAAM,OAAO,GAAG,IAAI,GAAG,EAAoC,CAAA;IAE3D,OAAO;QACL,OAAO,EAAE,CAAC,IAAY,EAA4B,EAAE;YAClD,MAAM,GAAG,GAAG,KAAK,CAAC,IAAI,CAAC,CAAA;YACvB,IAAI,KAAK,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;gBAC7B,OAAO,OAAO,CAAC,MAAM,CACnB,IAAI,KAAK,CAAC,YAAY,GAAG,sBAAsB,IAAI,4CAA4C,CAAC,CACjG,CAAA;YACH,CAAC;YACD,MAAM,MAAM,GAAG,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,CAAA;YAC/B,IAAI,MAAM;gBAAE,OAAO,MAAM,CAAA;YACzB,MAAM,GAAG,GAAG,KAAK,CAAC,GAAG,CAAC,CAAA;YACtB,MAAM,GAAG,GAAG,YAAY,CAAC,GAAG,IAAI,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAsB,CAAC,CAAA;YAC1E,OAAO,CAAC,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,CAAA;YACrB,2BAA2B;YAC3B,GAAG,CAAC,KAAK,CAAC,GAAG,EAAE,CAAC,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAA;YACpC,OAAO,GAAG,CAAA;QACZ,CAAC;QAED,QAAQ,EAAE,GAAG,EAAE,CAAC,CAAC,GAAG,UAAU,CAAC;QAE/B,OAAO,EAAE;YACP,GAAG,CAAC,IAAI,CAAC,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,IAAI,CAAC,QAAQ,EAAE,CAAC;YACnE,0DAA0D;YAC1D,WAAW,EAAE,CAAC,IAAY,EAAE,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,EAAE,QAAQ;SAC3D;QAED,YAAY,EAAE,KAAK,IAAmB,EAAE;YACtC,IAAI,CAAC,SAAS;gBAAE,OAAM;YACtB,MAAM,IAAI,GAAG,IAAI,GAAG,CAAS,CAAC,GAAG,UAAU,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAA;YACxD,MAAM,OAAO,CAAC,GAAG,CACf,CAAC,GAAG,IAAI,CAAC,CAAC,GAAG,CAAC,KAAK,EAAE,GAAG,EAAE,EAAE;gBAC1B,IAAI,IAAI,CAAC,GAAG,CAAC;oBAAE,OAAM;gBACrB,MAAM,CAAC,GAAG,QAAQ,EAAE,CAAC,GAAG,CAAC,CAAA;gBACzB,IAAI,CAAC;oBACH,MAAM,GAAG,GAAG,MAAM,SAAS,CAAC,GAAG,OAAO,GAAG,GAAG,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,eAAe,CAAC,CAAA;oBAC/E,IAAI,CAAC,GAAG,CAAC,EAAE;wBAAE,OAAM;oBACnB,MAAM,EAAE,GAAG,CAAC,MAAM,GAAG,CAAC,IAAI,EAAE,CAAuC,CAAA;oBACnE,MAAM,MAAM,GAAG,EAAE,CAAC,KAAK,EAAE,QAAQ,CAAA;oBACjC,MAAM,KAAK,GAAmB,EAAE,CAAA;oBAChC,IAAI,OAAO,MAAM,KAAK,SAAS;wBAAE,KAAK,CAAC,QAAQ,GAAG,MAAM,CAAA;oBACxD,IAAI,KAAK,CAAC,QAAQ,KAAK,SAAS;wBAAE,IAAI,CAAC,GAAG,CAAC,GAAG,KAAK,CAAA;gBACrD,CAAC;gBAAC,MAAM,CAAC;oBACP,0CAA0C;gBAC5C,CAAC;YACH,CAAC,CAAC,CACH,CAAA;QACH,CAAC;KACF,CAAA;AACH,CAAC","sourcesContent":["/**\n * browser-lib-loader — 浏览器通用 `LibLoader` 工厂（D3-Browser，§9.4）\n *\n * 与 node 侧 `cliPortsLibLoader`（`node-host/cli.ts`）对称：都实现 `LibLoader`\n * 契约（`loadLib` / `listLibs` / `options.autoLiftFor`），差别只在装载通道——\n * node 用 `import(pkg)` 从 `node_modules` 解析，浏览器用**动态 `import()`** 取 CDN。\n *\n * 两条通路（Q8 定稿的 a/b 混合，共用同一 `CDN_BASE`）：\n * - **方案 a（importmap）**：不提供 `versions` 时，用**已解析的包名**做裸 specifier\n *   动态 `import(pkg)`，由页面 `<script type=\"importmap\">` 的 scope\n *   （`\"@faicad/\": \"CDN_BASE/*@faicad/\"`）在后端按依赖图取版。零版本表，dev / playground 用。\n * - **方案 b（精确 pin）**：提供 `versions`（`versions.json`）时拼\n *   `` `${cdnBase}${pkg}@${version}/+esm` `` 直链，版本精确 pin 到已发布版本，保证\n *   可复现与缓存命中；release 产物用。\n *\n * 别名归一：脚本 specifier 常是短名（demo 的 `.fai.js` 写 `sheetmetal`），而 CDN 上\n * 是 npm 全名（`@faicad/sheetmetal`）。`aliases` 把 specifier 映到包名后再装载，\n * 与 node 侧 `CLI_SHORT_NAMES` 归一同一职责。\n *\n * `autoLiftFor` 是**同步**回调（`runtime.ts` 在装载后立即取值），所以逐库\n * `faijs.autoLift` 必须**预先**可用：主机从构建期产物 `lib-meta.json`\n * （`scripts/gen-importmap.mjs` 生成）经 `meta` 传入；也可调 `prefetchMeta()`\n * 在网络可达时抓各库 `package.json` 预热（失败静默回落推断式）。\n *\n * 本工厂**不**被 `createBrowserPorts` 默认装配——demo 走源码 alias 的 HMR 路径\n * 必须保持零网络；CDN 装载仅服务「从 npm 消费已发布包」的场景，由主机显式注入。\n */\n\nimport type { LibLoader } from './ports'\nimport type { StdlibNamespace } from '../runtime-state'\n\n/** 默认 CDN base（Q8 定稿：jsDelivr npm 镜像；ESM 取 `+esm`）。 */\nexport const DEFAULT_CDN_BASE = 'https://cdn.jsdelivr.net/npm/'\n\n/** 逐库元数据（与 `lib-meta.json` 键形一致）。 */\nexport interface BrowserLibMeta {\n  /** `package.json` 的 `faijs.autoLift` 外置字段（D3-autoLift）。 */\n  autoLift?: boolean\n}\n\n/** `createBrowserLibLoader` 的选项。 */\nexport interface CreateBrowserLibLoaderOptions {\n  /** CDN base，须以 `/` 结尾（缺省 `DEFAULT_CDN_BASE`）。 */\n  cdnBase?: string\n  /** 方案 b：精确 pin 的 `packageName → version`（`versions.json`）；提供即走直链。 */\n  versions?: Record<string, string>\n  /** 别名表：脚本 import specifier → npm 包名（如 `sheetmetal` → `@faicad/sheetmetal`）。 */\n  aliases?: Record<string, string>\n  /** 允许装载的 **npm 包名**白名单；缺省不限制（生产建议显式给）。 */\n  libs?: string[]\n  /** 逐库元数据（`lib-meta.json`），喂 `options.autoLiftFor`。 */\n  meta?: Record<string, BrowserLibMeta>\n  /** 全局 autoLift 缺省（喂 `options.autoLift`）；缺省交由 runtime 推断式决定。 */\n  autoLift?: boolean\n  /** 强制方案 a（即使提供了 `versions` 也用裸 specifier，依赖 importmap）。 */\n  forceImportMap?: boolean\n  /** 注入的动态 import 实现（测试用）；缺省为原生动态 `import()`。 */\n  importModule?: (url: string) => Promise<unknown>\n  /** 注入的 fetch（`prefetchMeta` 用）；缺省全局 `fetch`，无则 `prefetchMeta` 为空操作。 */\n  fetchImpl?: typeof fetch\n}\n\n/** 浏览器 `LibLoader`（在契约上附加元数据预热）。 */\nexport interface BrowserLibLoader extends LibLoader {\n  /**\n   * 抓取已知各库的 `package.json`，把 `faijs.autoLift` 填进内部 meta 缓存。\n   * 网络失败静默跳过（保持未声明 → 回落推断式）。在 `execute` 前 await 一次即可。\n   * @returns promise resolving when all known libs have been probed.\n   */\n  prefetchMeta(): Promise<void>\n}\n\n/** 归一 CDN base：保证尾随 `/`，避免拼接出 `.../npm@1.0.0` 这类坏 URL。 */\nfunction withTrailingSlash(base: string): string {\n  return base.endsWith('/') ? base : `${base}/`\n}\n\n/**\n * 创建浏览器通用 `LibLoader`。\n *\n * 装载顺序：`name` → `aliases` 归一为 npm 包名 → 白名单校验 → 方案 b 直链（有\n * `versions[pkg]` 且未 `forceImportMap`）或方案 a 裸 specifier → 动态 `import()`；\n * 同一包名并发/重复装载共享同一 in-flight promise（CDN 只取一次）。\n * @param opts - CDN base、版本表 / 别名 / 元数据，以及测试用注入点。\n * @returns 满足 `LibLoader` 契约、并附加 `prefetchMeta()` 的浏览器装载器。\n */\nexport function createBrowserLibLoader(opts: CreateBrowserLibLoaderOptions = {}): BrowserLibLoader {\n  const cdnBase = withTrailingSlash(opts.cdnBase ?? DEFAULT_CDN_BASE)\n  const aliases: Record<string, string> = { ...(opts.aliases ?? {}) }\n  const versions = opts.versions\n  const allow = opts.libs ? new Set(opts.libs) : undefined\n  const meta: Record<string, BrowserLibMeta> = { ...(opts.meta ?? {}) }\n  const importModule =\n    opts.importModule ?? ((url: string): Promise<unknown> => import(/* @vite-ignore */ url))\n  const fetchImpl = opts.fetchImpl ?? (typeof fetch !== 'undefined' ? fetch : undefined)\n\n  /** specifier → npm 包名。 */\n  const pkgOf = (name: string): string => aliases[name] ?? name\n\n  /** 已知 specifier 集合：别名键 ∪ 显式 libs ∪ 版本表键（后两者本身即合法 specifier）。 */\n  const specifiers = new Set<string>([\n    ...Object.keys(aliases),\n    ...(opts.libs ?? []),\n    ...Object.keys(versions ?? {}),\n  ])\n\n  /** 方案 b 的直链；返回 `undefined` 表示走方案 a。 */\n  const urlOf = (pkg: string): string | undefined => {\n    if (opts.forceImportMap) return undefined\n    const v = versions?.[pkg]\n    return v ? `${cdnBase}${pkg}@${v}/+esm` : undefined\n  }\n\n  const pending = new Map<string, Promise<StdlibNamespace>>()\n\n  return {\n    loadLib: (name: string): Promise<StdlibNamespace> => {\n      const pkg = pkgOf(name)\n      if (allow && !allow.has(pkg)) {\n        return Promise.reject(\n          new Error(`package \"${pkg}\" (from specifier \"${name}\") is not in the browser library whitelist`),\n        )\n      }\n      const cached = pending.get(pkg)\n      if (cached) return cached\n      const url = urlOf(pkg)\n      const job = importModule(url ?? pkg).then((mod) => mod as StdlibNamespace)\n      pending.set(pkg, job)\n      // 装载失败不留毒缓存：清掉后可重试（如网络恢复）。\n      job.catch(() => pending.delete(pkg))\n      return job\n    },\n\n    listLibs: () => [...specifiers],\n\n    options: {\n      ...(opts.autoLift === undefined ? {} : { autoLift: opts.autoLift }),\n      // 逐库 autoLift 优先于全局：未声明 → undefined → 回落全局 / runtime 推断式。\n      autoLiftFor: (name: string) => meta[pkgOf(name)]?.autoLift,\n    },\n\n    prefetchMeta: async (): Promise<void> => {\n      if (!fetchImpl) return\n      const pkgs = new Set<string>([...specifiers].map(pkgOf))\n      await Promise.all(\n        [...pkgs].map(async (pkg) => {\n          if (meta[pkg]) return\n          const v = versions?.[pkg]\n          try {\n            const res = await fetchImpl(`${cdnBase}${pkg}${v ? `@${v}` : ''}/package.json`)\n            if (!res.ok) return\n            const pj = (await res.json()) as { faijs?: { autoLift?: boolean } }\n            const lifted = pj.faijs?.autoLift\n            const entry: BrowserLibMeta = {}\n            if (typeof lifted === 'boolean') entry.autoLift = lifted\n            if (entry.autoLift !== undefined) meta[pkg] = entry\n          } catch {\n            // 网络不可达 / 非法 JSON → 保持未声明，交由 runtime 推断式。\n          }\n        }),\n      )\n    },\n  }\n}\n"]}
+{"version":3,"file":"browser-lib-loader.js","sourceRoot":"","sources":["../../src/cad-runtime/browser-lib-loader.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;GA0BG;AAKH,uDAAuD;AACvD,MAAM,CAAC,MAAM,gBAAgB,GAAG,+BAA+B,CAAA;AAwC/D,0DAA0D;AAC1D,SAAS,iBAAiB,CAAC,IAAY;IACrC,OAAO,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,IAAI,GAAG,CAAA;AAC/C,CAAC;AAED;;;;;;;;GAQG;AACH,MAAM,UAAU,sBAAsB,CAAC,OAAsC,EAAE;IAC7E,MAAM,OAAO,GAAG,iBAAiB,CAAC,IAAI,CAAC,OAAO,IAAI,gBAAgB,CAAC,CAAA;IACnE,MAAM,OAAO,GAA2B,EAAE,GAAG,CAAC,IAAI,CAAC,OAAO,IAAI,EAAE,CAAC,EAAE,CAAA;IACnE,MAAM,QAAQ,GAAG,IAAI,CAAC,QAAQ,CAAA;IAC9B,MAAM,KAAK,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,SAAS,CAAA;IACxD,MAAM,IAAI,GAAmC,EAAE,GAAG,CAAC,IAAI,CAAC,IAAI,IAAI,EAAE,CAAC,EAAE,CAAA;IACrE,MAAM,YAAY,GAChB,IAAI,CAAC,YAAY,IAAI,CAAC,CAAC,GAAW,EAAoB,EAAE,CAAC,MAAM,CAAC,kBAAkB,CAAC,GAAG,CAAC,CAAC,CAAA;IAC1F,MAAM,SAAS,GAAG,IAAI,CAAC,SAAS,IAAI,CAAC,OAAO,KAAK,KAAK,WAAW,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,SAAS,CAAC,CAAA;IAEtF,0BAA0B;IAC1B,MAAM,KAAK,GAAG,CAAC,IAAY,EAAU,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,IAAI,CAAA;IAE7D,gEAAgE;IAChE,MAAM,UAAU,GAAG,IAAI,GAAG,CAAS;QACjC,GAAG,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC;QACvB,GAAG,CAAC,IAAI,CAAC,IAAI,IAAI,EAAE,CAAC;QACpB,GAAG,MAAM,CAAC,IAAI,CAAC,QAAQ,IAAI,EAAE,CAAC;KAC/B,CAAC,CAAA;IAEF,uCAAuC;IACvC,MAAM,KAAK,GAAG,CAAC,GAAW,EAAsB,EAAE;QAChD,IAAI,IAAI,CAAC,cAAc;YAAE,OAAO,SAAS,CAAA;QACzC,MAAM,CAAC,GAAG,QAAQ,EAAE,CAAC,GAAG,CAAC,CAAA;QACzB,OAAO,CAAC,CAAC,CAAC,CAAC,GAAG,OAAO,GAAG,GAAG,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,SAAS,CAAA;IACrD,CAAC,CAAA;IAED,MAAM,OAAO,GAAG,IAAI,GAAG,EAAiC,CAAA;IAExD,OAAO;QACL,OAAO,EAAE,CAAC,IAAY,EAAyB,EAAE;YAC/C,MAAM,GAAG,GAAG,KAAK,CAAC,IAAI,CAAC,CAAA;YACvB,IAAI,KAAK,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;gBAC7B,OAAO,OAAO,CAAC,MAAM,CACnB,IAAI,KAAK,CAAC,YAAY,GAAG,sBAAsB,IAAI,4CAA4C,CAAC,CACjG,CAAA;YACH,CAAC;YACD,MAAM,MAAM,GAAG,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,CAAA;YAC/B,IAAI,MAAM;gBAAE,OAAO,MAAM,CAAA;YACzB,MAAM,GAAG,GAAG,KAAK,CAAC,GAAG,CAAC,CAAA;YACtB,MAAM,GAAG,GAAG,YAAY,CAAC,GAAG,IAAI,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAmB,CAAC,CAAA;YACvE,OAAO,CAAC,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,CAAA;YACrB,2BAA2B;YAC3B,GAAG,CAAC,KAAK,CAAC,GAAG,EAAE,CAAC,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAA;YACpC,OAAO,GAAG,CAAA;QACZ,CAAC;QAED,QAAQ,EAAE,GAAG,EAAE,CAAC,CAAC,GAAG,UAAU,CAAC;QAE/B,OAAO,EAAE;YACP,GAAG,CAAC,IAAI,CAAC,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,IAAI,CAAC,QAAQ,EAAE,CAAC;YACnE,0DAA0D;YAC1D,WAAW,EAAE,CAAC,IAAY,EAAE,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,EAAE,QAAQ;SAC3D;QAED,YAAY,EAAE,KAAK,IAAmB,EAAE;YACtC,IAAI,CAAC,SAAS;gBAAE,OAAM;YACtB,MAAM,IAAI,GAAG,IAAI,GAAG,CAAS,CAAC,GAAG,UAAU,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAA;YACxD,MAAM,OAAO,CAAC,GAAG,CACf,CAAC,GAAG,IAAI,CAAC,CAAC,GAAG,CAAC,KAAK,EAAE,GAAG,EAAE,EAAE;gBAC1B,IAAI,IAAI,CAAC,GAAG,CAAC;oBAAE,OAAM;gBACrB,MAAM,CAAC,GAAG,QAAQ,EAAE,CAAC,GAAG,CAAC,CAAA;gBACzB,IAAI,CAAC;oBACH,MAAM,GAAG,GAAG,MAAM,SAAS,CAAC,GAAG,OAAO,GAAG,GAAG,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,eAAe,CAAC,CAAA;oBAC/E,IAAI,CAAC,GAAG,CAAC,EAAE;wBAAE,OAAM;oBACnB,MAAM,EAAE,GAAG,CAAC,MAAM,GAAG,CAAC,IAAI,EAAE,CAAuC,CAAA;oBACnE,MAAM,MAAM,GAAG,EAAE,CAAC,KAAK,EAAE,QAAQ,CAAA;oBACjC,MAAM,KAAK,GAAmB,EAAE,CAAA;oBAChC,IAAI,OAAO,MAAM,KAAK,SAAS;wBAAE,KAAK,CAAC,QAAQ,GAAG,MAAM,CAAA;oBACxD,IAAI,KAAK,CAAC,QAAQ,KAAK,SAAS;wBAAE,IAAI,CAAC,GAAG,CAAC,GAAG,KAAK,CAAA;gBACrD,CAAC;gBAAC,MAAM,CAAC;oBACP,0CAA0C;gBAC5C,CAAC;YACH,CAAC,CAAC,CACH,CAAA;QACH,CAAC;KACF,CAAA;AACH,CAAC","sourcesContent":["/**\n * browser-lib-loader — 浏览器通用 `LibLoader` 工厂（D3-Browser，§9.4）\n *\n * 与 node 侧 `cliPortsLibLoader`（`node-host/cli.ts`）对称：都实现 `LibLoader`\n * 契约（`loadLib` / `listLibs` / `options.autoLiftFor`），差别只在装载通道——\n * node 用 `import(pkg)` 从 `node_modules` 解析，浏览器用**动态 `import()`** 取 CDN。\n *\n * 两条通路（Q8 定稿的 a/b 混合，共用同一 `CDN_BASE`）：\n * - **方案 a（importmap）**：不提供 `versions` 时，用**已解析的包名**做裸 specifier\n *   动态 `import(pkg)`，由页面 `<script type=\"importmap\">` 的 scope\n *   （`\"@faicad/\": \"CDN_BASE/*@faicad/\"`）在后端按依赖图取版。零版本表，dev / playground 用。\n * - **方案 b（精确 pin）**：提供 `versions`（`versions.json`）时拼\n *   `` `${cdnBase}${pkg}@${version}/+esm` `` 直链，版本精确 pin 到已发布版本，保证\n *   可复现与缓存命中；release 产物用。\n *\n * 别名归一：脚本 specifier 常是短名（demo 的 `.fai.js` 写 `sheetmetal`），而 CDN 上\n * 是 npm 全名（`@faicad/sheetmetal`）。`aliases` 把 specifier 映到包名后再装载，\n * 与 node 侧 `CLI_SHORT_NAMES` 归一同一职责。\n *\n * `autoLiftFor` 是**同步**回调（`runtime.ts` 在装载后立即取值），所以逐库\n * `faijs.autoLift` 必须**预先**可用：主机从构建期产物 `lib-meta.json`\n * （`scripts/gen-importmap.mjs` 生成）经 `meta` 传入；也可调 `prefetchMeta()`\n * 在网络可达时抓各库 `package.json` 预热（失败静默回落推断式）。\n *\n * 本工厂**不**被 `createBrowserPorts` 默认装配——demo 走源码 alias 的 HMR 路径\n * 必须保持零网络；CDN 装载仅服务「从 npm 消费已发布包」的场景，由主机显式注入。\n */\n\nimport type { LibLoader } from './ports'\nimport type { LibNamespace } from '../runtime-state'\n\n/** 默认 CDN base（Q8 定稿：jsDelivr npm 镜像；ESM 取 `+esm`）。 */\nexport const DEFAULT_CDN_BASE = 'https://cdn.jsdelivr.net/npm/'\n\n/** 逐库元数据（与 `lib-meta.json` 键形一致）。 */\nexport interface BrowserLibMeta {\n  /** `package.json` 的 `faijs.autoLift` 外置字段（D3-autoLift）。 */\n  autoLift?: boolean\n}\n\n/** `createBrowserLibLoader` 的选项。 */\nexport interface CreateBrowserLibLoaderOptions {\n  /** CDN base，须以 `/` 结尾（缺省 `DEFAULT_CDN_BASE`）。 */\n  cdnBase?: string\n  /** 方案 b：精确 pin 的 `packageName → version`（`versions.json`）；提供即走直链。 */\n  versions?: Record<string, string>\n  /** 别名表：脚本 import specifier → npm 包名（如 `sheetmetal` → `@faicad/sheetmetal`）。 */\n  aliases?: Record<string, string>\n  /** 允许装载的 **npm 包名**白名单；缺省不限制（生产建议显式给）。 */\n  libs?: string[]\n  /** 逐库元数据（`lib-meta.json`），喂 `options.autoLiftFor`。 */\n  meta?: Record<string, BrowserLibMeta>\n  /** 全局 autoLift 缺省（喂 `options.autoLift`）；缺省交由 runtime 推断式决定。 */\n  autoLift?: boolean\n  /** 强制方案 a（即使提供了 `versions` 也用裸 specifier，依赖 importmap）。 */\n  forceImportMap?: boolean\n  /** 注入的动态 import 实现（测试用）；缺省为原生动态 `import()`。 */\n  importModule?: (url: string) => Promise<unknown>\n  /** 注入的 fetch（`prefetchMeta` 用）；缺省全局 `fetch`，无则 `prefetchMeta` 为空操作。 */\n  fetchImpl?: typeof fetch\n}\n\n/** 浏览器 `LibLoader`（在契约上附加元数据预热）。 */\nexport interface BrowserLibLoader extends LibLoader {\n  /**\n   * 抓取已知各库的 `package.json`，把 `faijs.autoLift` 填进内部 meta 缓存。\n   * 网络失败静默跳过（保持未声明 → 回落推断式）。在 `execute` 前 await 一次即可。\n   * @returns promise resolving when all known libs have been probed.\n   */\n  prefetchMeta(): Promise<void>\n}\n\n/** 归一 CDN base：保证尾随 `/`，避免拼接出 `.../npm@1.0.0` 这类坏 URL。 */\nfunction withTrailingSlash(base: string): string {\n  return base.endsWith('/') ? base : `${base}/`\n}\n\n/**\n * 创建浏览器通用 `LibLoader`。\n *\n * 装载顺序：`name` → `aliases` 归一为 npm 包名 → 白名单校验 → 方案 b 直链（有\n * `versions[pkg]` 且未 `forceImportMap`）或方案 a 裸 specifier → 动态 `import()`；\n * 同一包名并发/重复装载共享同一 in-flight promise（CDN 只取一次）。\n * @param opts - CDN base、版本表 / 别名 / 元数据，以及测试用注入点。\n * @returns 满足 `LibLoader` 契约、并附加 `prefetchMeta()` 的浏览器装载器。\n */\nexport function createBrowserLibLoader(opts: CreateBrowserLibLoaderOptions = {}): BrowserLibLoader {\n  const cdnBase = withTrailingSlash(opts.cdnBase ?? DEFAULT_CDN_BASE)\n  const aliases: Record<string, string> = { ...(opts.aliases ?? {}) }\n  const versions = opts.versions\n  const allow = opts.libs ? new Set(opts.libs) : undefined\n  const meta: Record<string, BrowserLibMeta> = { ...(opts.meta ?? {}) }\n  const importModule =\n    opts.importModule ?? ((url: string): Promise<unknown> => import(/* @vite-ignore */ url))\n  const fetchImpl = opts.fetchImpl ?? (typeof fetch !== 'undefined' ? fetch : undefined)\n\n  /** specifier → npm 包名。 */\n  const pkgOf = (name: string): string => aliases[name] ?? name\n\n  /** 已知 specifier 集合：别名键 ∪ 显式 libs ∪ 版本表键（后两者本身即合法 specifier）。 */\n  const specifiers = new Set<string>([\n    ...Object.keys(aliases),\n    ...(opts.libs ?? []),\n    ...Object.keys(versions ?? {}),\n  ])\n\n  /** 方案 b 的直链；返回 `undefined` 表示走方案 a。 */\n  const urlOf = (pkg: string): string | undefined => {\n    if (opts.forceImportMap) return undefined\n    const v = versions?.[pkg]\n    return v ? `${cdnBase}${pkg}@${v}/+esm` : undefined\n  }\n\n  const pending = new Map<string, Promise<LibNamespace>>()\n\n  return {\n    loadLib: (name: string): Promise<LibNamespace> => {\n      const pkg = pkgOf(name)\n      if (allow && !allow.has(pkg)) {\n        return Promise.reject(\n          new Error(`package \"${pkg}\" (from specifier \"${name}\") is not in the browser library whitelist`),\n        )\n      }\n      const cached = pending.get(pkg)\n      if (cached) return cached\n      const url = urlOf(pkg)\n      const job = importModule(url ?? pkg).then((mod) => mod as LibNamespace)\n      pending.set(pkg, job)\n      // 装载失败不留毒缓存：清掉后可重试（如网络恢复）。\n      job.catch(() => pending.delete(pkg))\n      return job\n    },\n\n    listLibs: () => [...specifiers],\n\n    options: {\n      ...(opts.autoLift === undefined ? {} : { autoLift: opts.autoLift }),\n      // 逐库 autoLift 优先于全局：未声明 → undefined → 回落全局 / runtime 推断式。\n      autoLiftFor: (name: string) => meta[pkgOf(name)]?.autoLift,\n    },\n\n    prefetchMeta: async (): Promise<void> => {\n      if (!fetchImpl) return\n      const pkgs = new Set<string>([...specifiers].map(pkgOf))\n      await Promise.all(\n        [...pkgs].map(async (pkg) => {\n          if (meta[pkg]) return\n          const v = versions?.[pkg]\n          try {\n            const res = await fetchImpl(`${cdnBase}${pkg}${v ? `@${v}` : ''}/package.json`)\n            if (!res.ok) return\n            const pj = (await res.json()) as { faijs?: { autoLift?: boolean } }\n            const lifted = pj.faijs?.autoLift\n            const entry: BrowserLibMeta = {}\n            if (typeof lifted === 'boolean') entry.autoLift = lifted\n            if (entry.autoLift !== undefined) meta[pkg] = entry\n          } catch {\n            // 网络不可达 / 非法 JSON → 保持未声明，交由 runtime 推断式。\n          }\n        }),\n      )\n    },\n  }\n}\n"]}

package/dist/cad-runtime/direct-executor.d.ts

@@ -21,7 +21,7 @@
  *
  * 本文件是 P2 新增组件；ModuleExecutor 路径（旧）在 P6 门禁前保留双路径共存。
  */
-import type { StdlibNamespace } from '../runtime-state.js';
+import type { LibNamespace } from '../runtime-state.js';
 import type { PartName } from '../identity.js';
 import { type AssemblyKinematicsPose } from '../runtime-state.js';
 import { type SecurityPolicy } from '../lang/security-scanner.js';
@@ -32,8 +32,8 @@ import type { ExecBackendChoice } from './exec-backend.js';
  * DirectExecutor 经 ns.<binding>.<callee>() 调用——引擎不区分函数来自哪个库。
  */
 export interface Namespaces {
-    readonly cad: StdlibNamespace;
-    readonly [binding: string]: StdlibNamespace;
+    readonly cad: LibNamespace;
+    readonly [binding: string]: LibNamespace;
 }
 /** 执行单元失败信息（与现状 failedAt 三字段兼容 + 新增 lineNo + 原始错误）。 */
 export interface DirectExecFailedAt {
@@ -154,12 +154,24 @@ export declare class DirectExecutor {
     private kinematicsOut;
     /** 文件声明单位（load op 登记，PartName → UnitName），collectDirectResult 消费。 */
     private detectedUnitsOut;
+    /** 多零件降级零件数（load op 登记，PartName → count，§5.4），collectDirectResult 消费。 */
+    private multiPartCountOut;
+    /** 网格实体句柄（load op 登记，PartName → handle，方案 2026-10-01 §3.3），collectDirectResult 消费。 */
+    private meshSolidOut;
+    /** 近似拓扑数据（load op 登记，PartName → SelectorRuntimeData），collectDirectResult 消费。 */
+    private meshTopologyOut;
     /** 执行后端（静态选定；缺省 vm） */
     private readonly execBackend;
     /** P3：读取装配运动副位姿快照（collectDirectResult 用；空 Map 表示无 joints）。 */
     get kinematicsSnapshot(): Map<PartName, AssemblyKinematicsPose>;
     /** 文件声明单位快照（load op 语句执行后取走；空 Map 表示本批次无 load）。 */
     get detectedUnitsSnapshot(): Map<PartName, string>;
+    /** 多零件降级零件数快照（load op 语句执行后取走；空 Map 表示无多零件降级）。 */
+    get multiPartCountSnapshot(): Map<PartName, number>;
+    /** 网格实体句柄快照（load op 登记；PartName → handle）。 */
+    get meshSolidSnapshot(): Map<PartName, unknown>;
+    /** 近似拓扑数据快照（load op 登记；PartName → SelectorRuntimeData）。 */
+    get meshTopologySnapshot(): Map<PartName, unknown>;
     constructor(options: DirectExecutorOptions);
     /**
      * 热更新命名空间集合（registerLib 后）。

package/dist/cad-runtime/direct-executor.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"direct-executor.d.ts","sourceRoot":"","sources":["../../src/cad-runtime/direct-executor.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;GAsBG;AAGH,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,kBAAkB,CAAA;AACvD,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,aAAa,CAAA;AAG3C,OAAO,EAAwI,KAAK,sBAAsB,EAAwB,MAAM,kBAAkB,CAAA;AAI1N,OAAO,EAAgB,KAAK,cAAc,EAAE,MAAM,0BAA0B,CAAA;AAG5E,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,sBAAsB,CAAA;AAItD,OAAO,KAAK,EAAgC,iBAAiB,EAAE,MAAM,gBAAgB,CAAA;AA0BrF;;;GAGG;AACH,MAAM,WAAW,UAAU;IACzB,QAAQ,CAAC,GAAG,EAAE,eAAe,CAAA;IAC7B,QAAQ,EAAE,OAAO,EAAE,MAAM,GAAG,eAAe,CAAA;CAC5C;AAID,uDAAuD;AACvD,MAAM,WAAW,kBAAkB;IACjC,KAAK,EAAE,MAAM,CAAA;IACb,MAAM,EAAE,MAAM,CAAA;IACd,OAAO,EAAE,MAAM,CAAA;IACf,MAAM,CAAC,EAAE,MAAM,CAAA;IACf,+CAA+C;IAC/C,KAAK,CAAC,EAAE,OAAO,CAAA;CAChB;AAED,sDAAsD;AACtD,MAAM,WAAW,iBAAiB;IAChC,oBAAoB;IACpB,OAAO,EAAE,MAAM,EAAE,CAAA;IACjB,2BAA2B;IAC3B,QAAQ,CAAC,EAAE,kBAAkB,CAAA;IAC7B,8BAA8B;IAC9B,aAAa,EAAE,MAAM,EAAE,CAAA;IACvB;;;;;OAKG;IACH,YAAY,CAAC,EAAE,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,CAAA;IAClC;;;;OAIG;IACH,OAAO,CAAC,EAAE,MAAM,EAAE,CAAA;IAClB;;;;OAIG;IACH,aAAa,CAAC,EAAE,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,CAAA;CACpC;AAED,eAAe;AACf,MAAM,WAAW,cAAc;IAC7B,sDAAsD;IACtD,MAAM,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAA;IAChC,kDAAkD;IAClD,SAAS,CAAC,EAAE,MAAM,CAAA;IAClB;;;OAGG;IACH,OAAO,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAA;IACjC;;;;OAIG;IACH,eAAe,CAAC,EAAE,CAAC,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,KAAK,IAAI,CAAA;IAC1D;;;OAGG;IACH,kBAAkB,CAAC,EAAE,MAAM,CAAA;CAC5B;AAED,oCAAoC;AACpC,MAAM,WAAW,SAAS;IAAG,MAAM,EAAE,MAAM,CAAC;IAAC,OAAO,EAAE,MAAM,CAAA;CAAE;AAE9D,6BAA6B;AAC7B,MAAM,WAAW,cAAc;IAC7B,IAAI,EAAE,GAAG,CAAC,QAAQ,CAAC,CAAA;IACnB,MAAM,EAAE,GAAG,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAA;CAC/B;AAID,4CAA4C;AAC5C,MAAM,WAAW,qBAAqB;IACpC,2DAA2D;IAC3D,UAAU,EAAE,UAAU,CAAA;IACtB;;;;OAIG;IACH,QAAQ,CAAC,EAAE,CAAC,QAAQ,EAAE,QAAQ,EAAE,KAAK,EAAE,UAAU,KAAK,IAAI,CAAA;IAC1D,6EAA6E;IAC7E,gBAAgB,CAAC,EAAE,CAAC,QAAQ,EAAE,QAAQ,EAAE,GAAG,EAAE,OAAO,KAAK,IAAI,CAAA;IAC7D,qEAAqE;IACrE,YAAY,CAAC,EAAE,CAAC,QAAQ,EAAE,QAAQ,EAAE,SAAS,EAAE,OAAO,KAAK,IAAI,CAAA;IAC/D,gEAAgE;IAChE,QAAQ,CAAC,EAAE,cAAc,CAAA;IACzB;;;OAGG;IACH,WAAW,CAAC,EAAE,iBAAiB,CAAA;CAChC;AAED;;;;;GAKG;AACH,qBAAa,cAAc;IACzB,kEAAkE;IAClE,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAK;IAC1C,OAAO,CAAC,aAAa,CAAoB;IACzC,OAAO,CAAC,UAAU,CAAY;IAC9B,sBAAsB;IACtB,OAAO,CAAC,QAAQ,CAAC,cAAc,CAAgB;IAC/C,6BAA6B;IAC7B,OAAO,CAAC,QAAQ,CAAC,YAAY,CAAC,CAAiD;IAC/E,OAAO,CAAC,QAAQ,CAAC,oBAAoB,CAAC,CAA4C;IAClF,OAAO,CAAC,QAAQ,CAAC,gBAAgB,CAAC,CAAkD;IACpF,yBAAyB;IACzB,OAAO,CAAC,QAAQ,CAAK;IACrB,4DAA4D;IAC5D,OAAO,CAAC,QAAQ,CAAC,UAAU,CAAoC;IAC/D,+BAA+B;IAC/B,OAAO,CAAC,UAAU,CAAoB;IACtC,qDAAqD;IACrD,OAAO,CAAC,aAAa,CAA8C;IACnE,qEAAqE;IACrE,OAAO,CAAC,gBAAgB,CAA8B;IACtD,uBAAuB;IACvB,OAAO,CAAC,QAAQ,CAAC,WAAW,CAAa;IAEzC,8DAA8D;IAC9D,IAAI,kBAAkB,IAAI,GAAG,CAAC,QAAQ,EAAE,sBAAsB,CAAC,CAE9D;IAED,mDAAmD;IACnD,IAAI,qBAAqB,IAAI,GAAG,CAAC,QAAQ,EAAE,MAAM,CAAC,CAEjD;gBAEW,OAAO,EAAE,qBAAqB;IAS1C;;;OAGG;IACH,aAAa,CAAC,UAAU,EAAE,UAAU,GAAG,IAAI;IAI3C;;;;OAIG;IACH,aAAa,CAAC,MAAM,EAAE,MAAM,GAAG,cAAc,GAAG,SAAS;IAIzD;;;OAGG;IACH,aAAa,IAAI,MAAM,EAAE;IAIzB;;;;OAIG;IACH,SAAS,CAAC,IAAI,EAAE,MAAM,GAAG,OAAO;IAIhC;;;;OAIG;IACH,SAAS,CAAC,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,OAAO,GAAG,IAAI;IAI7C;;;OAGG;IACH,WAAW,IAAI,MAAM,EAAE;IAIvB;;;OAGG;IACH,IAAI,iBAAiB,IAAI,MAAM,EAAE,CAEhC;IAED;;;;;;;OAOG;IACH,UAAU,CAAC,IAAI,EAAE,MAAM,GAAG;QAAE,MAAM,EAAE,SAAS,EAAE,CAAC;QAAC,UAAU,EAAE,MAAM,CAAA;KAAE;IAarE;;;;;OAKG;IACH,oBAAoB,CAAC,IAAI,EAAE,MAAM,GAAG,KAAK,CAAC;QAAE,MAAM,EAAE,MAAM,CAAC;QAAC,OAAO,EAAE,MAAM,CAAC;QAAC,MAAM,EAAE,MAAM,EAAE,CAAA;KAAE,CAAC;IAKhG,8DAA8D;IAC9D,OAAO,CAAC,YAAY,CAA4B;IAEhD,mDAAmD;IACnD,OAAO,CAAC,QAAQ,CAAC,aAAa,CAA4B;IAE1D,0DAA0D;IAC1D,OAAO,CAAC,UAAU,CAAoB;IAEtC;kEAC8D;IAC9D,OAAO,CAAC,QAAQ,CAA8B;IAE9C;iDAC6C;IAC7C,KAAK,IAAI,IAAI;IAYb;;;;;OAKG;IACG,OAAO,CAAC,IAAI,EAAE,MAAM,EAAE,IAAI,CAAC,EAAE,cAAc,GAAG,OAAO,CAAC,iBAAiB,CAAC;IAM9E;;;;;;OAMG;IACG,MAAM,CAAC,IAAI,EAAE,MAAM,EAAE,IAAI,CAAC,EAAE,cAAc,GAAG,OAAO,CAAC,iBAAiB,CAAC;IAM7E;;;;;;OAMG;IACG,MAAM,CAAC,QAAQ,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,EAAE,IAAI,CAAC,EAAE,cAAc,GAAG,OAAO,CAAC,iBAAiB,CAAC;IAIlG;;;;;;;;;;;;;;;;;;;;OAoBG;IACG,UAAU,CAAC,IAAI,EAAE,MAAM,EAAE,SAAS,EAAE,MAAM,EAAE,IAAI,CAAC,EAAE,cAAc,GAAG,OAAO,CAAC,iBAAiB,CAAC;IA6CpG;;;;OAIG;IACH,eAAe,IAAI,IAAI;YAOT,OAAO;IAqIrB;;;;;;;OAOG;IACH,gBAAgB,CAAC,IAAI,EAAE,MAAM,GAAG;QAAE,QAAQ,EAAE,MAAM,CAAC;QAAC,OAAO,EAAE,MAAM,CAAA;KAAE,GAAG,SAAS;IAgBjF;;;;;OAKG;IACH,OAAO,CAAC,8BAA8B;IAmDtC,4CAA4C;YAC9B,OAAO;IAyBrB,6EAA6E;IAC7E,OAAO,CAAC,kBAAkB;IAe1B;;;;;;OAMG;IACH,OAAO,CAAC,SAAS;IA2CjB,mBAAmB;IACnB,OAAO,CAAC,iBAAiB;IA2BzB,OAAO,CAAC,gBAAgB;IAkDxB;;;;;;;OAOG;IACH,OAAO,CAAC,cAAc;IAmBtB;;;;;;;;;;;OAWG;IACH,OAAO,CAAC,cAAc;IAyFtB,wEAAwE;IACxE,OAAO,CAAC,iBAAiB;IAmBzB,kDAAkD;IAClD,OAAO,CAAC,iBAAiB;IAiDzB,qCAAqC;IACrC,OAAO,CAAC,4BAA4B;IA0CpC,qFAAqF;IACrF,OAAO,CAAC,QAAQ;IAgChB;;;;;;;;;;;;;;OAcG;IACH,OAAO,CAAC,eAAe;IAiBvB;;8CAE0C;IAC1C,OAAO,CAAC,YAAY;IASpB;uDACmD;IACnD,OAAO,CAAC,iBAAiB;IA0BzB,OAAO,CAAC,QAAQ;IAIhB,OAAO,CAAC,MAAM;IAId;wCACoC;IACpC,OAAO,CAAC,YAAY;IAqDpB;;mCAE+B;IAC/B,OAAO,CAAC,SAAS;IAUjB,OAAO,CAAC,QAAQ;IAQhB;;;;OAIG;IACH,eAAe,IAAI,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC;IAItC;;;;;OAKG;IACH,gBAAgB,IAAI,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC;IAIvC;;;;OAIG;IACH,UAAU,IAAI,MAAM,EAAE,GAAG,SAAS;IAIlC,mCAAmC;IACnC,OAAO,CAAC,WAAW;CAkCpB"}
+{"version":3,"file":"direct-executor.d.ts","sourceRoot":"","sources":["../../src/cad-runtime/direct-executor.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;GAsBG;AAGH,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,kBAAkB,CAAA;AACpD,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,aAAa,CAAA;AAG3C,OAAO,EAAsN,KAAK,sBAAsB,EAAwB,MAAM,kBAAkB,CAAA;AAIxS,OAAO,EAAgB,KAAK,cAAc,EAAE,MAAM,0BAA0B,CAAA;AAG5E,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,sBAAsB,CAAA;AAItD,OAAO,KAAK,EAAgC,iBAAiB,EAAE,MAAM,gBAAgB,CAAA;AA0BrF;;;GAGG;AACH,MAAM,WAAW,UAAU;IACzB,QAAQ,CAAC,GAAG,EAAE,YAAY,CAAA;IAC1B,QAAQ,EAAE,OAAO,EAAE,MAAM,GAAG,YAAY,CAAA;CACzC;AAID,uDAAuD;AACvD,MAAM,WAAW,kBAAkB;IACjC,KAAK,EAAE,MAAM,CAAA;IACb,MAAM,EAAE,MAAM,CAAA;IACd,OAAO,EAAE,MAAM,CAAA;IACf,MAAM,CAAC,EAAE,MAAM,CAAA;IACf,+CAA+C;IAC/C,KAAK,CAAC,EAAE,OAAO,CAAA;CAChB;AAED,sDAAsD;AACtD,MAAM,WAAW,iBAAiB;IAChC,oBAAoB;IACpB,OAAO,EAAE,MAAM,EAAE,CAAA;IACjB,2BAA2B;IAC3B,QAAQ,CAAC,EAAE,kBAAkB,CAAA;IAC7B,8BAA8B;IAC9B,aAAa,EAAE,MAAM,EAAE,CAAA;IACvB;;;;;OAKG;IACH,YAAY,CAAC,EAAE,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,CAAA;IAClC;;;;OAIG;IACH,OAAO,CAAC,EAAE,MAAM,EAAE,CAAA;IAClB;;;;OAIG;IACH,aAAa,CAAC,EAAE,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,CAAA;CACpC;AAED,eAAe;AACf,MAAM,WAAW,cAAc;IAC7B,sDAAsD;IACtD,MAAM,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAA;IAChC,kDAAkD;IAClD,SAAS,CAAC,EAAE,MAAM,CAAA;IAClB;;;OAGG;IACH,OAAO,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAA;IACjC;;;;OAIG;IACH,eAAe,CAAC,EAAE,CAAC,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,KAAK,IAAI,CAAA;IAC1D;;;OAGG;IACH,kBAAkB,CAAC,EAAE,MAAM,CAAA;CAC5B;AAED,oCAAoC;AACpC,MAAM,WAAW,SAAS;IAAG,MAAM,EAAE,MAAM,CAAC;IAAC,OAAO,EAAE,MAAM,CAAA;CAAE;AAE9D,6BAA6B;AAC7B,MAAM,WAAW,cAAc;IAC7B,IAAI,EAAE,GAAG,CAAC,QAAQ,CAAC,CAAA;IACnB,MAAM,EAAE,GAAG,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAA;CAC/B;AAID,4CAA4C;AAC5C,MAAM,WAAW,qBAAqB;IACpC,2DAA2D;IAC3D,UAAU,EAAE,UAAU,CAAA;IACtB;;;;OAIG;IACH,QAAQ,CAAC,EAAE,CAAC,QAAQ,EAAE,QAAQ,EAAE,KAAK,EAAE,UAAU,KAAK,IAAI,CAAA;IAC1D,6EAA6E;IAC7E,gBAAgB,CAAC,EAAE,CAAC,QAAQ,EAAE,QAAQ,EAAE,GAAG,EAAE,OAAO,KAAK,IAAI,CAAA;IAC7D,qEAAqE;IACrE,YAAY,CAAC,EAAE,CAAC,QAAQ,EAAE,QAAQ,EAAE,SAAS,EAAE,OAAO,KAAK,IAAI,CAAA;IAC/D,gEAAgE;IAChE,QAAQ,CAAC,EAAE,cAAc,CAAA;IACzB;;;OAGG;IACH,WAAW,CAAC,EAAE,iBAAiB,CAAA;CAChC;AAED;;;;;GAKG;AACH,qBAAa,cAAc;IACzB,kEAAkE;IAClE,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAK;IAC1C,OAAO,CAAC,aAAa,CAAoB;IACzC,OAAO,CAAC,UAAU,CAAY;IAC9B,sBAAsB;IACtB,OAAO,CAAC,QAAQ,CAAC,cAAc,CAAgB;IAC/C,6BAA6B;IAC7B,OAAO,CAAC,QAAQ,CAAC,YAAY,CAAC,CAAiD;IAC/E,OAAO,CAAC,QAAQ,CAAC,oBAAoB,CAAC,CAA4C;IAClF,OAAO,CAAC,QAAQ,CAAC,gBAAgB,CAAC,CAAkD;IACpF,yBAAyB;IACzB,OAAO,CAAC,QAAQ,CAAK;IACrB,4DAA4D;IAC5D,OAAO,CAAC,QAAQ,CAAC,UAAU,CAAoC;IAC/D,+BAA+B;IAC/B,OAAO,CAAC,UAAU,CAAoB;IACtC,qDAAqD;IACrD,OAAO,CAAC,aAAa,CAA8C;IACnE,qEAAqE;IACrE,OAAO,CAAC,gBAAgB,CAA8B;IACtD,yEAAyE;IACzE,OAAO,CAAC,iBAAiB,CAA8B;IACvD,sFAAsF;IACtF,OAAO,CAAC,YAAY,CAA+B;IACnD,gFAAgF;IAChF,OAAO,CAAC,eAAe,CAA+B;IACtD,uBAAuB;IACvB,OAAO,CAAC,QAAQ,CAAC,WAAW,CAAa;IAEzC,8DAA8D;IAC9D,IAAI,kBAAkB,IAAI,GAAG,CAAC,QAAQ,EAAE,sBAAsB,CAAC,CAE9D;IAED,mDAAmD;IACnD,IAAI,qBAAqB,IAAI,GAAG,CAAC,QAAQ,EAAE,MAAM,CAAC,CAEjD;IAED,kDAAkD;IAClD,IAAI,sBAAsB,IAAI,GAAG,CAAC,QAAQ,EAAE,MAAM,CAAC,CAElD;IAED,8CAA8C;IAC9C,IAAI,iBAAiB,IAAI,GAAG,CAAC,QAAQ,EAAE,OAAO,CAAC,CAE9C;IAED,2DAA2D;IAC3D,IAAI,oBAAoB,IAAI,GAAG,CAAC,QAAQ,EAAE,OAAO,CAAC,CAEjD;gBAEW,OAAO,EAAE,qBAAqB;IAS1C;;;OAGG;IACH,aAAa,CAAC,UAAU,EAAE,UAAU,GAAG,IAAI;IAI3C;;;;OAIG;IACH,aAAa,CAAC,MAAM,EAAE,MAAM,GAAG,cAAc,GAAG,SAAS;IAIzD;;;OAGG;IACH,aAAa,IAAI,MAAM,EAAE;IAIzB;;;;OAIG;IACH,SAAS,CAAC,IAAI,EAAE,MAAM,GAAG,OAAO;IAIhC;;;;OAIG;IACH,SAAS,CAAC,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,OAAO,GAAG,IAAI;IAI7C;;;OAGG;IACH,WAAW,IAAI,MAAM,EAAE;IAIvB;;;OAGG;IACH,IAAI,iBAAiB,IAAI,MAAM,EAAE,CAEhC;IAED;;;;;;;OAOG;IACH,UAAU,CAAC,IAAI,EAAE,MAAM,GAAG;QAAE,MAAM,EAAE,SAAS,EAAE,CAAC;QAAC,UAAU,EAAE,MAAM,CAAA;KAAE;IAarE;;;;;OAKG;IACH,oBAAoB,CAAC,IAAI,EAAE,MAAM,GAAG,KAAK,CAAC;QAAE,MAAM,EAAE,MAAM,CAAC;QAAC,OAAO,EAAE,MAAM,CAAC;QAAC,MAAM,EAAE,MAAM,EAAE,CAAA;KAAE,CAAC;IAKhG,8DAA8D;IAC9D,OAAO,CAAC,YAAY,CAA4B;IAEhD,mDAAmD;IACnD,OAAO,CAAC,QAAQ,CAAC,aAAa,CAA4B;IAE1D,0DAA0D;IAC1D,OAAO,CAAC,UAAU,CAAoB;IAEtC;kEAC8D;IAC9D,OAAO,CAAC,QAAQ,CAA8B;IAE9C;iDAC6C;IAC7C,KAAK,IAAI,IAAI;IAYb;;;;;OAKG;IACG,OAAO,CAAC,IAAI,EAAE,MAAM,EAAE,IAAI,CAAC,EAAE,cAAc,GAAG,OAAO,CAAC,iBAAiB,CAAC;IAM9E;;;;;;OAMG;IACG,MAAM,CAAC,IAAI,EAAE,MAAM,EAAE,IAAI,CAAC,EAAE,cAAc,GAAG,OAAO,CAAC,iBAAiB,CAAC;IAM7E;;;;;;OAMG;IACG,MAAM,CAAC,QAAQ,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,EAAE,IAAI,CAAC,EAAE,cAAc,GAAG,OAAO,CAAC,iBAAiB,CAAC;IAIlG;;;;;;;;;;;;;;;;;;;;OAoBG;IACG,UAAU,CAAC,IAAI,EAAE,MAAM,EAAE,SAAS,EAAE,MAAM,EAAE,IAAI,CAAC,EAAE,cAAc,GAAG,OAAO,CAAC,iBAAiB,CAAC;IA6CpG;;;;OAIG;IACH,eAAe,IAAI,IAAI;YAOT,OAAO;IAqIrB;;;;;;;OAOG;IACH,gBAAgB,CAAC,IAAI,EAAE,MAAM,GAAG;QAAE,QAAQ,EAAE,MAAM,CAAC;QAAC,OAAO,EAAE,MAAM,CAAA;KAAE,GAAG,SAAS;IAgBjF;;;;;OAKG;IACH,OAAO,CAAC,8BAA8B;IAmDtC,4CAA4C;YAC9B,OAAO;IAuCrB,6EAA6E;IAC7E,OAAO,CAAC,kBAAkB;IAe1B;;;;;;OAMG;IACH,OAAO,CAAC,SAAS;IA2CjB,mBAAmB;IACnB,OAAO,CAAC,iBAAiB;IA2BzB,OAAO,CAAC,gBAAgB;IAkDxB;;;;;;;OAOG;IACH,OAAO,CAAC,cAAc;IAmBtB;;;;;;;;;;;OAWG;IACH,OAAO,CAAC,cAAc;IAyFtB,wEAAwE;IACxE,OAAO,CAAC,iBAAiB;IAmBzB,kDAAkD;IAClD,OAAO,CAAC,iBAAiB;IAiDzB,qCAAqC;IACrC,OAAO,CAAC,4BAA4B;IA0CpC,qFAAqF;IACrF,OAAO,CAAC,QAAQ;IAgChB;;;;;;;;;;;;;;OAcG;IACH,OAAO,CAAC,eAAe;IAiBvB;;8CAE0C;IAC1C,OAAO,CAAC,YAAY;IASpB;uDACmD;IACnD,OAAO,CAAC,iBAAiB;IA0BzB,OAAO,CAAC,QAAQ;IAIhB,OAAO,CAAC,MAAM;IAId;wCACoC;IACpC,OAAO,CAAC,YAAY;IAqDpB;;mCAE+B;IAC/B,OAAO,CAAC,SAAS;IAUjB,OAAO,CAAC,QAAQ;IAQhB;;;;OAIG;IACH,eAAe,IAAI,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC;IAItC;;;;;OAKG;IACH,gBAAgB,IAAI,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC;IAIvC;;;;OAIG;IACH,UAAU,IAAI,MAAM,EAAE,GAAG,SAAS;IAIlC,mCAAmC;IACnC,OAAO,CAAC,WAAW;CAkCpB"}

package/dist/cad-runtime/direct-executor.js

@@ -24,7 +24,7 @@
 import { parse as acornParse } from 'acorn';
 import { asPartName } from '../identity.js';
 import { ParseError } from '../lang/parse-error.js';
-import { setCurrentStmt, setKeepSink, setName, nameOf, takePendingAssemblyTransforms, takePendingAssemblyKinematics, takePendingDetectedUnits } from '../runtime-state.js';
+import { setCurrentStmt, setKeepSink, setName, nameOf, takePendingAssemblyTransforms, takePendingAssemblyKinematics, takePendingDetectedUnits, takePendingMultiPartCounts, takePendingMeshSolids, takePendingMeshTopologies } from '../runtime-state.js';
 import { getBrepApi } from '../brep/handle-bridge.js';
 import { runtimeLineage } from '../topology/naming/lineage.js';
 import { ExecutionLimitError } from './execution-limit-error.js';
@@ -79,6 +79,12 @@ export class DirectExecutor {
     kinematicsOut = new Map();
     /** 文件声明单位（load op 登记，PartName → UnitName），collectDirectResult 消费。 */
     detectedUnitsOut = new Map();
+    /** 多零件降级零件数（load op 登记，PartName → count，§5.4），collectDirectResult 消费。 */
+    multiPartCountOut = new Map();
+    /** 网格实体句柄（load op 登记，PartName → handle，方案 2026-10-01 §3.3），collectDirectResult 消费。 */
+    meshSolidOut = new Map();
+    /** 近似拓扑数据（load op 登记，PartName → SelectorRuntimeData），collectDirectResult 消费。 */
+    meshTopologyOut = new Map();
     /** 执行后端（静态选定；缺省 vm） */
     execBackend;
     /** P3：读取装配运动副位姿快照（collectDirectResult 用；空 Map 表示无 joints）。 */
@@ -89,6 +95,18 @@ export class DirectExecutor {
     get detectedUnitsSnapshot() {
         return this.detectedUnitsOut;
     }
+    /** 多零件降级零件数快照（load op 语句执行后取走；空 Map 表示无多零件降级）。 */
+    get multiPartCountSnapshot() {
+        return this.multiPartCountOut;
+    }
+    /** 网格实体句柄快照（load op 登记；PartName → handle）。 */
+    get meshSolidSnapshot() {
+        return this.meshSolidOut;
+    }
+    /** 近似拓扑数据快照（load op 登记；PartName → SelectorRuntimeData）。 */
+    get meshTopologySnapshot() {
+        return this.meshTopologyOut;
+    }
     constructor(options) {
         this.namespaces = options.namespaces;
         this.setSolidHook = options.setSolid;
@@ -580,6 +598,20 @@ export class DirectExecutor {
             for (const [part, unit] of pendingUnits) {
                 this.detectedUnitsOut.set(part, unit);
             }
+            // 多零件降级零件数（load op 登记的 pending 元数据，§5.4）按本语句收编。
+            const pendingMulti = takePendingMultiPartCounts();
+            for (const [part, count] of pendingMulti) {
+                this.multiPartCountOut.set(part, count);
+            }
+            // 网格实体句柄 + 近似拓扑（load op 登记，方案 2026-10-01 §3.3）按本语句收编。
+            // 句柄进 MeshSolidRegistry（runtime 侧）、拓扑进 topologyCache —— 由
+            // collectDirectResult 落位（它持有 registry 与 ctx）。
+            for (const [part, solid] of takePendingMeshSolids()) {
+                this.meshSolidOut.set(part, solid);
+            }
+            for (const [part, data] of takePendingMeshTopologies()) {
+                this.meshTopologyOut.set(part, data);
+            }
         }
     }
     /** 行号 → 函数体 keep 登记（exec.keep/exec.keepHidden；与 live-shapes KeepView 对齐）。 */