@faicad/faijs 0.29.5 → 0.31.1

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

@@ -14,7 +14,7 @@
  * P4b（可选）把函数拆成 brep/mesh 双实现后，此依赖会自然消失。
  */
 import { getBackends, getCurrentStmt, BrepUnsupportedError, MeshUnsupportedError } from '../runtime-state.js';
-import { hasBrep, hasMeshFace, hasMeshSolid } from '../shape.js';
+import { hasBrep, hasMeshFace, hasMeshSolid, isCompoundLike } from '../shape.js';
 /**
  * Shape 身份槽互斥校验（方案 2026-10-01 §3.2）：一个 Shape 只能携带**一种**链身份
  * ——BREP 精度链句柄 / 网格实体句柄 / 网格链面句柄，三者取一。
@@ -45,45 +45,6 @@ export function assertShapeSlotExclusive(inputs) {
         }
     }
 }
-/**
- * 引擎能力声明 → 受支持能力名集合（族级布尔位 + `evolution` 名单展开成逐个核函数名）。
- * @param caps - 当前引擎的能力声明（缺省 = 空集，即什么都不支持）。
- * @returns 该引擎声明支持的 `BrepCapabilityName` 集合。
- */
-export function engineCapabilitySet(caps) {
-    const set = new Set();
-    if (!caps)
-        return set;
-    for (const kind of caps.evolution ?? [])
-        set.add(kind);
-    for (const method of caps.methods ?? [])
-        set.add(method);
-    if (caps.heal)
-        set.add('heal');
-    if (caps.directEdit)
-        set.add('directEdit');
-    if (caps.advSurface)
-        set.add('advSurface');
-    if (caps.assembly)
-        set.add('assembly');
-    if (caps.meshLift)
-        set.add('meshLift');
-    return set;
-}
-/**
- * 声明列表中第一个**当前引擎不具备**的能力名（全具备则 `undefined`）。
- *
- * 读的是运行时配置里的能力声明（与 `dispatchPath` 同一来源），因此调用点与分派点
- * 对"缺哪个能力"的判断必然一致——不会出现"defineOp 认为缺 evolution、dispatch 认为具备"。
- * @param declared - op 声明的能力名列表（来自 `DualOpMeta.capabilities`）。
- * @returns 第一个缺失的能力名，或 undefined。
- */
-export function firstMissingCapability(declared) {
-    if (!declared?.length)
-        return undefined;
-    const supported = engineCapabilitySet(getBackends().config.brepCapabilities);
-    return declared.find((cap) => !supported.has(cap));
-}
 /**
  * `meshEngines` 缺省值（方案 2026-10-01 §3.4）：内置 `mesh/`（manifold CSG）。
  *
@@ -153,20 +114,17 @@ function currentMeshBackendId() {
  *   undefined, fixed at defineOp construction — static).
  * - `mode='mesh'` → always mesh; missing mesh implementation (brep-only)
  *   throws `MeshUnsupportedError`.
- * - `mode='brep'` → missing brep / input off chain / missing capability throws
- *   `BrepUnsupportedError`.
+ * - `mode='brep'` → missing brep / input off chain / engine not whitelisted
+ *   throws `BrepUnsupportedError`.
  * - `mode='auto'` → brep when brep exists and all inputs are on the chain;
- *   otherwise mesh when mesh exists; brep-only with a broken input chain (or
- *   missing capability) throws `MeshUnsupportedError` — no mesh to fall back to.
+ *   otherwise mesh when mesh exists; brep-only with a broken input chain
+ *   throws `MeshUnsupportedError` — no mesh to fall back to.
  *
- * Capability routing (requiredCapability): when the current engine (registry)
- * lacks a declared capability, brep mode throws a BrepUnsupportedError (an
- * explicit error, never a silent fallback) while auto mode statically degrades
- * to mesh (never fabricating a missing capability). The capability is matched
- * against the engine's declaration as a set of concrete names: family booleans
- * plus the engine's `evolution` list of `*WithHistory` kernel function names
- * (Phase 0.2 — a family-level `evolution: true` would over-report, since a
- * kernel may provide only a subset of the evolution family).
+ * Engine identity (`engines`, D11) is the **only** narrowing axis: a pure
+ * engine whitelist, checked before mode and chain. There is no capability
+ * declaration face — what a kernel can do is fixed in code at author time
+ * (the engine adapters and `brep/engine/native-history.ts`), not declared in
+ * op metadata and not looked up at dispatch.
  *
  * Red line unchanged: static dispatch, no runtime try-catch fallback. The
  * decision happens before the implementation runs and is never revised after a
@@ -179,18 +137,16 @@ function currentMeshBackendId() {
  * @param impls - the operation's implementation set: `mesh`/`brep` presence
  * (function reference or undefined; fixed at defineOp construction), plus the
  * op `name` (error messages).
- * @param requiredCapability - an optional capability the operation declares;
- * a missing capability routes the dispatch.
  * @param engines - the operation's platform declaration (D11): `engines` from
  * the defineOp meta. Undefined/empty = neutral op (all engines). A platform op
- * whose engines do not include the current engine is rejected before the
- * capability/mode routing (D11-2: engine mismatch precedes capability checks).
+ * whose engines do not include the current engine is rejected before the mode
+ * and chain routing (D11-2: engine mismatch precedes everything else).
  * @returns the selected backend path: 'brep' or 'mesh'.
  */
-export function dispatchPath(inputs, impls, requiredCapability, engines) {
-    // 前置不变量：槽位互斥（缺陷即报错，先于任何模式/能力判定）。
+export function dispatchPath(inputs, impls, engines) {
+    // 前置不变量：槽位互斥（缺陷即报错，先于任何模式/引擎判定）。
     assertShapeSlotExclusive(inputs);
-    const path = decidePath(inputs, impls, requiredCapability, engines);
+    const path = decidePath(inputs, impls, engines);
     // 网格实体输入的静态门禁（§3.4 规则 1/4）：只在**已经**选定 mesh 路径后判定。
     // 放在这里而不是最前面，是为了让 brep 模式下的网格实体仍拿到更贴切的
     // E_BREP_UNSUPPORTED（规则 3）——网格零件没有精度链，那才是它的第一条事实。
@@ -199,19 +155,27 @@ export function dispatchPath(inputs, impls, requiredCapability, engines) {
     return path;
 }
 /**
- * The path decision itself (mode → engine identity → capability → chain).
+ * P2（2026-10-06-step-3mf-multipart-import-plan.md §7）：多零件 load 的输出是
+ * compound——输入「在 BREP 链上」判定对其展开：children 全部有 OCCT 句柄才
+ * 算链上（消费 op 按 partIndex 解包出的目标成员才是真正被操作的对象）。
+ * 空 children / 混合链按不在链上处理（静态判定，不运行时回退）。
+ */
+function allInputsOnBrepChain(inputs) {
+    return inputs.every((s) => (isCompoundLike(s) ? s.children.length > 0 && s.children.every(hasBrep) : hasBrep(s)));
+}
+/**
+ * The path decision itself (mode → engine identity → chain).
  *
  * Split out of `dispatchPath` so the mesh-solid gate can run *after* the path is
- * known, without duplicating the four mesh-returning branches. Behaviour is
+ * known, without duplicating the mesh-returning branches. Behaviour is
  * unchanged: every throw here is a "path not available" refusal.
  *
  * @param inputs - the shapes feeding the operation.
  * @param impls - the op's implementation set (presence + name + meshEngines).
- * @param requiredCapability - the capability the op declares, if any.
  * @param engines - the op's BREP platform declaration (D11), if any.
  * @returns the selected backend path.
  */
-function decidePath(inputs, impls, requiredCapability, engines) {
+function decidePath(inputs, impls, engines) {
     const { config } = getBackends();
     if (config.mode === 'mesh') {
         // D11-6: mode='mesh' 分支仍在最前——平台 op 与中立 op 一视同仁（有 mesh 实现就走
@@ -222,12 +186,11 @@ function decidePath(inputs, impls, requiredCapability, engines) {
         return 'mesh';
     }
     const currentStmt = getCurrentStmt();
-    // ── D11-2: 平台身份判定，置于最前（先于 mode/capabilities——引擎不匹配时谈能力没有意义）──
+    // ── D11-2: 平台身份判定，置于最前（引擎不匹配时没有别的可谈）──
     //
     // D11-3（mock 豁免，**有意为之**）：brep_mock 是测试替身，不代表任何真实平台——
-    // 它的 capabilities 也是"全给"，职责是让编排链路（naming、Result 边界、多输出）
-    // 能被测到；真实引擎下的身份校验由 parity 测试与 engine-switch 测试覆盖。
-    // 本豁免由 engine-switch-p5 测试钉住（mock 下平台 op 不拦截）。
+    // 它的职责是让编排链路（naming、Result 边界、多输出）能被测到；真实引擎下的身份
+    // 校验由 parity 测试与 engine-switch 测试覆盖。本豁免由 engine-switch-p5 测试钉住。
     if (engines && engines.length > 0) {
         const engineId = config.brepEngineId;
         if (engineId !== 'brep_mock' && (engineId === null || engineId === undefined || !engines.some((e) => e === engineId))) {
@@ -238,36 +201,24 @@ function decidePath(inputs, impls, requiredCapability, engines) {
                 // D11-4: brep 模式不匹配 → BrepUnsupportedError（执行前，非运行时回退）。
                 throw new BrepUnsupportedError(message, currentStmt);
             }
-            // D11-5: auto 模式 → 静态降级 mesh；无 mesh 实现 → MeshUnsupportedError（与能力路由同构）。
+            // D11-5: auto 模式 → 静态降级 mesh；无 mesh 实现 → MeshUnsupportedError。
             if (!impls.mesh) {
                 throw new MeshUnsupportedError(`E_MESH_UNSUPPORTED: op${opLabel} requires engine ${engines.join('/')} (current=${current}) and has no mesh implementation`, currentStmt);
             }
             return 'mesh';
         }
     }
-    // 引擎能力声明 → 具体能力名集合（族级布尔位 + evolution 名单逐核函数展开）。
-    const supported = engineCapabilitySet(config.brepCapabilities);
     if (config.mode === 'brep') {
         if (!impls.brep) {
             throw new BrepUnsupportedError('E_BREP_UNSUPPORTED: function has no BREP implementation', currentStmt);
         }
-        if (!inputs.every(hasBrep)) {
+        if (!allInputsOnBrepChain(inputs)) {
             throw new BrepUnsupportedError('E_BREP_UNSUPPORTED: input is not BREP', currentStmt);
         }
-        // 能力路由：brep 模式缺能力 → 明确报错，不静默回退
-        if (requiredCapability && !supported.has(requiredCapability)) {
-            throw new BrepUnsupportedError(`E_BREP_UNSUPPORTED: current engine lacks capability '${requiredCapability}' (brepEngineId=${config.brepEngineId ?? '<none>'})`, currentStmt);
-        }
         return 'brep';
     }
-    // auto 模式：能力路由（缺能力 → 静态降级走 mesh；brep-only 无 mesh 可降 → 明确报错）
-    if (requiredCapability && !supported.has(requiredCapability)) {
-        if (!impls.mesh) {
-            throw new MeshUnsupportedError(`E_MESH_UNSUPPORTED: current engine lacks capability '${requiredCapability}' and function has no mesh implementation`, currentStmt);
-        }
-        return 'mesh';
-    }
-    if (impls.brep && inputs.every(hasBrep))
+    // auto 模式：brep 实现 + 输入全在链上 → brep；否则 mesh。
+    if (impls.brep && allInputsOnBrepChain(inputs))
         return 'brep';
     if (!impls.mesh) {
         throw new MeshUnsupportedError('E_MESH_UNSUPPORTED: input is not BREP and function has no mesh implementation', currentStmt);

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,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"]}
+{"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,cAAc,EAAE,MAAM,UAAU,CAAA;AAO7E;;;;;;;;;;;;;;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;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;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAoCG;AACH,MAAM,UAAU,YAAY,CAC1B,MAAe,EACf,KAAyF,EACzF,OAAiC;IAEjC,iCAAiC;IACjC,wBAAwB,CAAC,MAAM,CAAC,CAAA;IAChC,MAAM,IAAI,GAAG,UAAU,CAAC,MAAM,EAAE,KAAK,EAAE,OAAO,CAAC,CAAA;IAC/C,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;;;;;GAKG;AACH,SAAS,oBAAoB,CAAC,MAAe;IAC3C,OAAO,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,cAAc,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC,IAAI,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAA;AACnH,CAAC;AAED;;;;;;;;;;;GAWG;AACH,SAAS,UAAU,CACjB,MAAe,EACf,KAAyF,EACzF,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,wCAAwC;IACxC,EAAE;IACF,sDAAsD;IACtD,gDAAgD;IAChD,gEAAgE;IAChE,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,+DAA+D;YAC/D,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,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,oBAAoB,CAAC,MAAM,CAAC,EAAE,CAAC;YAClC,MAAM,IAAI,oBAAoB,CAAC,uCAAuC,EAAE,WAAW,CAAC,CAAA;QACtF,CAAC;QACD,OAAO,MAAM,CAAA;IACf,CAAC;IAED,2CAA2C;IAC3C,IAAI,KAAK,CAAC,IAAI,IAAI,oBAAoB,CAAC,MAAM,CAAC;QAAE,OAAO,MAAM,CAAA;IAC7D,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, isCompoundLike } from '../shape'\nimport type { BrepEngineId } 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 * `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 / engine not whitelisted\n *   throws `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\n *   throws `MeshUnsupportedError` — no mesh to fall back to.\n *\n * Engine identity (`engines`, D11) is the **only** narrowing axis: a pure\n * engine whitelist, checked before mode and chain. There is no capability\n * declaration face — what a kernel can do is fixed in code at author time\n * (the engine adapters and `brep/engine/native-history.ts`), not declared in\n * op metadata and not looked up at dispatch.\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 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 mode\n * and chain routing (D11-2: engine mismatch precedes everything else).\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  engines?: readonly BrepEngineId[],\n): BrepPath {\n  // 前置不变量：槽位互斥（缺陷即报错，先于任何模式/引擎判定）。\n  assertShapeSlotExclusive(inputs)\n  const path = decidePath(inputs, impls, 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 * P2（2026-10-06-step-3mf-multipart-import-plan.md §7）：多零件 load 的输出是\n * compound——输入「在 BREP 链上」判定对其展开：children 全部有 OCCT 句柄才\n * 算链上（消费 op 按 partIndex 解包出的目标成员才是真正被操作的对象）。\n * 空 children / 混合链按不在链上处理（静态判定，不运行时回退）。\n */\nfunction allInputsOnBrepChain(inputs: Shape[]): boolean {\n  return inputs.every((s) => (isCompoundLike(s) ? s.children.length > 0 && s.children.every(hasBrep) : hasBrep(s)))\n}\n\n/**\n * The path decision itself (mode → engine identity → chain).\n *\n * Split out of `dispatchPath` so the mesh-solid gate can run *after* the path is\n * known, without duplicating the 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 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  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: 平台身份判定，置于最前（引擎不匹配时没有别的可谈）──\n  //\n  // D11-3（mock 豁免，**有意为之**）：brep_mock 是测试替身，不代表任何真实平台——\n  // 它的职责是让编排链路（naming、Result 边界、多输出）能被测到；真实引擎下的身份\n  // 校验由 parity 测试与 engine-switch 测试覆盖。本豁免由 engine-switch-p5 测试钉住。\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  if (config.mode === 'brep') {\n    if (!impls.brep) {\n      throw new BrepUnsupportedError('E_BREP_UNSUPPORTED: function has no BREP implementation', currentStmt)\n    }\n    if (!allInputsOnBrepChain(inputs)) {\n      throw new BrepUnsupportedError('E_BREP_UNSUPPORTED: input is not BREP', currentStmt)\n    }\n    return 'brep'\n  }\n\n  // auto 模式：brep 实现 + 输入全在链上 → brep；否则 mesh。\n  if (impls.brep && allInputsOnBrepChain(inputs)) 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/content-key.d.ts

@@ -13,8 +13,8 @@
 export declare function computeContentKey(positions: Float32Array, indices: Uint32Array): string;
 /**
  * Compute a deterministic fingerprint for an arbitrary value, used by the
- * incremental update gates (G6/G7/G8) to detect whether params, libIds, or
- * partTransform have changed since the last successful execution.
+ * incremental update gates (G6/G7) to detect whether params or libIds have
+ * changed since the last successful execution.
  *
  * Design constraints:
  * - `undefined` and `null` are normalized to `null` (so "no params" and
@@ -23,7 +23,7 @@ export declare function computeContentKey(positions: Float32Array, indices: Uint
  * - Circular references are detected and represented stably (no infinite loop).
  * - Functions and Symbols have a deterministic degradation rule (type-tagged).
  * - Arrays preserve element order (position-sensitive).
- * @param value - the value to fingerprint (params / libIds / partTransform).
+ * @param value - the value to fingerprint (params / libIds).
  * @returns a hex string fingerprint.
  */
 export declare function stableFingerprint(value: unknown): string;

package/dist/cad-runtime/content-key.js

@@ -30,8 +30,8 @@ export function computeContentKey(positions, indices) {
 // ── stableFingerprint (P0-3) ──
 /**
  * Compute a deterministic fingerprint for an arbitrary value, used by the
- * incremental update gates (G6/G7/G8) to detect whether params, libIds, or
- * partTransform have changed since the last successful execution.
+ * incremental update gates (G6/G7) to detect whether params or libIds have
+ * changed since the last successful execution.
  *
  * Design constraints:
  * - `undefined` and `null` are normalized to `null` (so "no params" and
@@ -40,7 +40,7 @@ export function computeContentKey(positions, indices) {
  * - Circular references are detected and represented stably (no infinite loop).
  * - Functions and Symbols have a deterministic degradation rule (type-tagged).
  * - Arrays preserve element order (position-sensitive).
- * @param value - the value to fingerprint (params / libIds / partTransform).
+ * @param value - the value to fingerprint (params / libIds).
  * @returns a hex string fingerprint.
  */
 export function stableFingerprint(value) {

package/dist/cad-runtime/content-key.js.map

@@ -1 +1 @@
-{"version":3,"file":"content-key.js","sourceRoot":"","sources":["../../src/cad-runtime/content-key.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH,iCAAiC;AACjC,SAAS,cAAc,CAAC,GAA+B;IACrD,IAAI,IAAI,GAAG,UAAU,CAAA;IACrB,MAAM,GAAG,GAAG,GAAG,CAAC,MAAM,CAAA;IACtB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,GAAG,EAAE,CAAC,EAAE,EAAE,CAAC;QAC7B,IAAI,IAAI,GAAG,CAAC,CAAC,CAAC,CAAA;QACd,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,UAAU,CAAC,CAAA;IACpC,CAAC;IACD,IAAI,IAAI,GAAG,CAAA;IACX,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,UAAU,CAAC,CAAA;IAClC,OAAO,CAAC,IAAI,KAAK,CAAC,CAAC,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,QAAQ,CAAC,CAAC,EAAE,GAAG,CAAC,CAAA;AACnD,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,iBAAiB,CAAC,SAAuB,EAAE,OAAoB;IAC7E,MAAM,OAAO,GAAG,cAAc,CAAC,SAAS,CAAC,CAAA;IACzC,MAAM,OAAO,GAAG,cAAc,CAAC,OAAO,CAAC,CAAA;IACvC,OAAO,GAAG,OAAO,IAAI,OAAO,IAAI,SAAS,CAAC,MAAM,IAAI,OAAO,CAAC,MAAM,EAAE,CAAA;AACtE,CAAC;AAED,iCAAiC;AAEjC;;;;;;;;;;;;;;GAcG;AACH,MAAM,UAAU,iBAAiB,CAAC,KAAc;IAC9C,MAAM,IAAI,GAAG,IAAI,OAAO,EAAU,CAAA;IAClC,IAAI,IAAI,GAAG,UAAU,CAAA;IAErB,MAAM,GAAG,GAAG,CAAC,CAAS,EAAQ,EAAE;QAC9B,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;YAClC,IAAI,IAAI,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,CAAA;YACvB,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,UAAU,CAAC,CAAA;QACpC,CAAC;IACH,CAAC,CAAA;IAED,MAAM,KAAK,GAAG,CAAC,CAAU,EAAE,KAAa,EAAQ,EAAE;QAChD,IAAI,KAAK,GAAG,EAAE,EAAE,CAAC;YAAC,GAAG,CAAC,SAAS,CAAC,CAAC;YAAC,OAAM;QAAC,CAAC;QAE1C,mCAAmC;QACnC,IAAI,CAAC,KAAK,SAAS,IAAI,CAAC,KAAK,IAAI,EAAE,CAAC;YAAC,GAAG,CAAC,MAAM,CAAC,CAAC;YAAC,OAAM;QAAC,CAAC;QAE1D,MAAM,CAAC,GAAG,OAAO,CAAC,CAAA;QAElB,IAAI,CAAC,KAAK,SAAS,EAAE,CAAC;YAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;YAAC,OAAM;QAAC,CAAC;QACrD,IAAI,CAAC,KAAK,QAAQ,EAAE,CAAC;YAAC,GAAG,CAAC,IAAI,GAAG,CAAC,CAAC,CAAC;YAAC,OAAM;QAAC,CAAC;QAC7C,IAAI,CAAC,KAAK,QAAQ,EAAE,CAAC;YAAC,GAAG,CAAC,IAAI,GAAG,CAAC,CAAC,CAAC;YAAC,OAAM;QAAC,CAAC;QAC7C,IAAI,CAAC,KAAK,QAAQ,EAAE,CAAC;YAAC,GAAG,CAAC,IAAI,GAAG,CAAC,CAAC,QAAQ,EAAE,CAAC,CAAC;YAAC,OAAM;QAAC,CAAC;QACxD,IAAI,CAAC,KAAK,QAAQ,EAAE,CAAC;YAAC,GAAG,CAAC,MAAM,GAAG,CAAE,CAAY,CAAC,WAAW,IAAI,EAAE,CAAC,CAAC,CAAC;YAAC,OAAM;QAAC,CAAC;QAC/E,IAAI,CAAC,KAAK,UAAU,EAAE,CAAC;YAAC,GAAG,CAAC,IAAI,CAAC,CAAC;YAAC,OAAM;QAAC,CAAC;QAE3C,iBAAiB;QACjB,MAAM,GAAG,GAAG,CAAW,CAAA;QACvB,IAAI,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;YAAC,GAAG,CAAC,SAAS,CAAC,CAAC;YAAC,OAAM;QAAC,CAAC;QAC7C,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAA;QAEb,IAAI,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC;YACrB,GAAG,CAAC,IAAI,GAAG,CAAC,CAAC,MAAM,GAAG,GAAG,CAAC,CAAA;YAC1B,KAAK,MAAM,EAAE,IAAI,CAAC;gBAAE,KAAK,CAAC,EAAE,EAAE,KAAK,GAAG,CAAC,CAAC,CAAA;YACxC,OAAM;QACR,CAAC;QAED,2CAA2C;QAC3C,IAAI,CAAC,YAAY,GAAG,EAAE,CAAC;YACrB,MAAM,OAAO,GAAG,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAC7C,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CACvE,CAAA;YACD,GAAG,CAAC,IAAI,GAAG,OAAO,CAAC,MAAM,GAAG,GAAG,CAAC,CAAA;YAChC,KAAK,MAAM,CAAC,CAAC,EAAE,GAAG,CAAC,IAAI,OAAO,EAAE,CAAC;gBAC/B,GAAG,CAAC,IAAI,GAAG,MAAM,CAAC,CAAC,CAAC,GAAG,GAAG,CAAC,CAAA;gBAC3B,KAAK,CAAC,GAAG,EAAE,KAAK,GAAG,CAAC,CAAC,CAAA;YACvB,CAAC;YACD,OAAM;QACR,CAAC;QAED,qCAAqC;QACrC,IAAI,CAAC,YAAY,GAAG,EAAE,CAAC;YACrB,MAAM,OAAO,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CACnC,MAAM,CAAC,CAAC,CAAC,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAC3D,CAAA;YACD,GAAG,CAAC,MAAM,GAAG,OAAO,CAAC,MAAM,GAAG,GAAG,CAAC,CAAA;YAClC,KAAK,MAAM,CAAC,IAAI,OAAO;gBAAE,KAAK,CAAC,CAAC,EAAE,KAAK,GAAG,CAAC,CAAC,CAAA;YAC5C,OAAM;QACR,CAAC;QAED,0BAA0B;QAC1B,MAAM,IAAI,GAAG,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,CAAA;QACpC,GAAG,CAAC,IAAI,GAAG,IAAI,CAAC,MAAM,GAAG,GAAG,CAAC,CAAA;QAC7B,KAAK,MAAM,CAAC,IAAI,IAAI,EAAE,CAAC;YACrB,GAAG,CAAC,IAAI,GAAG,CAAC,GAAG,GAAG,CAAC,CAAA;YACnB,KAAK,CAAE,GAA+B,CAAC,CAAC,CAAC,EAAE,KAAK,GAAG,CAAC,CAAC,CAAA;QACvD,CAAC;IACH,CAAC,CAAA;IAED,KAAK,CAAC,KAAK,EAAE,CAAC,CAAC,CAAA;IACf,IAAI,IAAI,IAAI,CAAA;IACZ,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,UAAU,CAAC,CAAA;IAClC,OAAO,CAAC,IAAI,KAAK,CAAC,CAAC,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,QAAQ,CAAC,CAAC,EAAE,GAAG,CAAC,CAAA;AACnD,CAAC","sourcesContent":["/**\n * content-key — mesh 内容哈希（statementKey / plan 增量判定共用）\n *\n * 从 runtime.ts 提取为独立模块，供 CadRuntime 与 DirectExecutor 共享。\n */\n\n/** FNV-1a 哈希（typed array 逐元素） */\nfunction hashTypedArray(arr: Float32Array | Uint32Array): string {\n  let hash = 0x811c9dc5\n  const len = arr.length\n  for (let i = 0; i < len; i++) {\n    hash ^= arr[i]\n    hash = Math.imul(hash, 0x01000193)\n  }\n  hash ^= len\n  hash = Math.imul(hash, 0x01000193)\n  return (hash >>> 0).toString(16).padStart(8, '0')\n}\n\n/**\n * Compute the mesh content key (hash of positions and indices) used to decide\n * incremental execution.\n * @param positions - the mesh vertex positions.\n * @param indices - the mesh triangle indices.\n * @returns the content key string.\n */\nexport function computeContentKey(positions: Float32Array, indices: Uint32Array): string {\n  const posHash = hashTypedArray(positions)\n  const idxHash = hashTypedArray(indices)\n  return `${posHash}_${idxHash}_${positions.length}_${indices.length}`\n}\n\n// ── stableFingerprint (P0-3) ──\n\n/**\n * Compute a deterministic fingerprint for an arbitrary value, used by the\n * incremental update gates (G6/G7/G8) to detect whether params, libIds, or\n * partTransform have changed since the last successful execution.\n *\n * Design constraints:\n * - `undefined` and `null` are normalized to `null` (so \"no params\" and\n *   \"empty object params\" are not treated as different).\n * - Object keys are sorted before hashing (iteration order independent).\n * - Circular references are detected and represented stably (no infinite loop).\n * - Functions and Symbols have a deterministic degradation rule (type-tagged).\n * - Arrays preserve element order (position-sensitive).\n * @param value - the value to fingerprint (params / libIds / partTransform).\n * @returns a hex string fingerprint.\n */\nexport function stableFingerprint(value: unknown): string {\n  const seen = new WeakSet<object>()\n  let hash = 0x811c9dc5\n\n  const mix = (s: string): void => {\n    for (let i = 0; i < s.length; i++) {\n      hash ^= s.charCodeAt(i)\n      hash = Math.imul(hash, 0x01000193)\n    }\n  }\n\n  const visit = (v: unknown, depth: number): void => {\n    if (depth > 50) { mix('!depth!'); return }\n\n    // Normalize undefined/null to null\n    if (v === undefined || v === null) { mix('null'); return }\n\n    const t = typeof v\n\n    if (t === 'boolean') { mix(v ? 'B1' : 'B0'); return }\n    if (t === 'number') { mix('N:' + v); return }\n    if (t === 'string') { mix('S:' + v); return }\n    if (t === 'bigint') { mix('G:' + v.toString()); return }\n    if (t === 'symbol') { mix('SYM:' + ((v as symbol).description ?? '')); return }\n    if (t === 'function') { mix('FN'); return }\n\n    // Object / array\n    const obj = v as object\n    if (seen.has(obj)) { mix('!cycle!'); return }\n    seen.add(obj)\n\n    if (Array.isArray(v)) {\n      mix('A[' + v.length + ']')\n      for (const el of v) visit(el, depth + 1)\n      return\n    }\n\n    // Map: sort by key string for stable order\n    if (v instanceof Map) {\n      const entries = [...v.entries()].sort((a, b) =>\n        String(a[0]) < String(b[0]) ? -1 : String(a[0]) > String(b[0]) ? 1 : 0,\n      )\n      mix('M[' + entries.length + ']')\n      for (const [k, val] of entries) {\n        mix('K:' + String(k) + ':')\n        visit(val, depth + 1)\n      }\n      return\n    }\n\n    // Set: sort members for stable order\n    if (v instanceof Set) {\n      const members = [...v].sort((a, b) =>\n        String(a) < String(b) ? -1 : String(a) > String(b) ? 1 : 0,\n      )\n      mix('SET[' + members.length + ']')\n      for (const m of members) visit(m, depth + 1)\n      return\n    }\n\n    // Plain object: sort keys\n    const keys = Object.keys(obj).sort()\n    mix('O{' + keys.length + '}')\n    for (const k of keys) {\n      mix('k:' + k + ':')\n      visit((obj as Record<string, unknown>)[k], depth + 1)\n    }\n  }\n\n  visit(value, 0)\n  hash ^= 0xff\n  hash = Math.imul(hash, 0x01000193)\n  return (hash >>> 0).toString(16).padStart(8, '0')\n}\n"]}
+{"version":3,"file":"content-key.js","sourceRoot":"","sources":["../../src/cad-runtime/content-key.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH,iCAAiC;AACjC,SAAS,cAAc,CAAC,GAA+B;IACrD,IAAI,IAAI,GAAG,UAAU,CAAA;IACrB,MAAM,GAAG,GAAG,GAAG,CAAC,MAAM,CAAA;IACtB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,GAAG,EAAE,CAAC,EAAE,EAAE,CAAC;QAC7B,IAAI,IAAI,GAAG,CAAC,CAAC,CAAC,CAAA;QACd,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,UAAU,CAAC,CAAA;IACpC,CAAC;IACD,IAAI,IAAI,GAAG,CAAA;IACX,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,UAAU,CAAC,CAAA;IAClC,OAAO,CAAC,IAAI,KAAK,CAAC,CAAC,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,QAAQ,CAAC,CAAC,EAAE,GAAG,CAAC,CAAA;AACnD,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,iBAAiB,CAAC,SAAuB,EAAE,OAAoB;IAC7E,MAAM,OAAO,GAAG,cAAc,CAAC,SAAS,CAAC,CAAA;IACzC,MAAM,OAAO,GAAG,cAAc,CAAC,OAAO,CAAC,CAAA;IACvC,OAAO,GAAG,OAAO,IAAI,OAAO,IAAI,SAAS,CAAC,MAAM,IAAI,OAAO,CAAC,MAAM,EAAE,CAAA;AACtE,CAAC;AAED,iCAAiC;AAEjC;;;;;;;;;;;;;;GAcG;AACH,MAAM,UAAU,iBAAiB,CAAC,KAAc;IAC9C,MAAM,IAAI,GAAG,IAAI,OAAO,EAAU,CAAA;IAClC,IAAI,IAAI,GAAG,UAAU,CAAA;IAErB,MAAM,GAAG,GAAG,CAAC,CAAS,EAAQ,EAAE;QAC9B,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;YAClC,IAAI,IAAI,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,CAAA;YACvB,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,UAAU,CAAC,CAAA;QACpC,CAAC;IACH,CAAC,CAAA;IAED,MAAM,KAAK,GAAG,CAAC,CAAU,EAAE,KAAa,EAAQ,EAAE;QAChD,IAAI,KAAK,GAAG,EAAE,EAAE,CAAC;YAAC,GAAG,CAAC,SAAS,CAAC,CAAC;YAAC,OAAM;QAAC,CAAC;QAE1C,mCAAmC;QACnC,IAAI,CAAC,KAAK,SAAS,IAAI,CAAC,KAAK,IAAI,EAAE,CAAC;YAAC,GAAG,CAAC,MAAM,CAAC,CAAC;YAAC,OAAM;QAAC,CAAC;QAE1D,MAAM,CAAC,GAAG,OAAO,CAAC,CAAA;QAElB,IAAI,CAAC,KAAK,SAAS,EAAE,CAAC;YAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;YAAC,OAAM;QAAC,CAAC;QACrD,IAAI,CAAC,KAAK,QAAQ,EAAE,CAAC;YAAC,GAAG,CAAC,IAAI,GAAG,CAAC,CAAC,CAAC;YAAC,OAAM;QAAC,CAAC;QAC7C,IAAI,CAAC,KAAK,QAAQ,EAAE,CAAC;YAAC,GAAG,CAAC,IAAI,GAAG,CAAC,CAAC,CAAC;YAAC,OAAM;QAAC,CAAC;QAC7C,IAAI,CAAC,KAAK,QAAQ,EAAE,CAAC;YAAC,GAAG,CAAC,IAAI,GAAG,CAAC,CAAC,QAAQ,EAAE,CAAC,CAAC;YAAC,OAAM;QAAC,CAAC;QACxD,IAAI,CAAC,KAAK,QAAQ,EAAE,CAAC;YAAC,GAAG,CAAC,MAAM,GAAG,CAAE,CAAY,CAAC,WAAW,IAAI,EAAE,CAAC,CAAC,CAAC;YAAC,OAAM;QAAC,CAAC;QAC/E,IAAI,CAAC,KAAK,UAAU,EAAE,CAAC;YAAC,GAAG,CAAC,IAAI,CAAC,CAAC;YAAC,OAAM;QAAC,CAAC;QAE3C,iBAAiB;QACjB,MAAM,GAAG,GAAG,CAAW,CAAA;QACvB,IAAI,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;YAAC,GAAG,CAAC,SAAS,CAAC,CAAC;YAAC,OAAM;QAAC,CAAC;QAC7C,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAA;QAEb,IAAI,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC;YACrB,GAAG,CAAC,IAAI,GAAG,CAAC,CAAC,MAAM,GAAG,GAAG,CAAC,CAAA;YAC1B,KAAK,MAAM,EAAE,IAAI,CAAC;gBAAE,KAAK,CAAC,EAAE,EAAE,KAAK,GAAG,CAAC,CAAC,CAAA;YACxC,OAAM;QACR,CAAC;QAED,2CAA2C;QAC3C,IAAI,CAAC,YAAY,GAAG,EAAE,CAAC;YACrB,MAAM,OAAO,GAAG,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAC7C,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CACvE,CAAA;YACD,GAAG,CAAC,IAAI,GAAG,OAAO,CAAC,MAAM,GAAG,GAAG,CAAC,CAAA;YAChC,KAAK,MAAM,CAAC,CAAC,EAAE,GAAG,CAAC,IAAI,OAAO,EAAE,CAAC;gBAC/B,GAAG,CAAC,IAAI,GAAG,MAAM,CAAC,CAAC,CAAC,GAAG,GAAG,CAAC,CAAA;gBAC3B,KAAK,CAAC,GAAG,EAAE,KAAK,GAAG,CAAC,CAAC,CAAA;YACvB,CAAC;YACD,OAAM;QACR,CAAC;QAED,qCAAqC;QACrC,IAAI,CAAC,YAAY,GAAG,EAAE,CAAC;YACrB,MAAM,OAAO,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CACnC,MAAM,CAAC,CAAC,CAAC,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAC3D,CAAA;YACD,GAAG,CAAC,MAAM,GAAG,OAAO,CAAC,MAAM,GAAG,GAAG,CAAC,CAAA;YAClC,KAAK,MAAM,CAAC,IAAI,OAAO;gBAAE,KAAK,CAAC,CAAC,EAAE,KAAK,GAAG,CAAC,CAAC,CAAA;YAC5C,OAAM;QACR,CAAC;QAED,0BAA0B;QAC1B,MAAM,IAAI,GAAG,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,CAAA;QACpC,GAAG,CAAC,IAAI,GAAG,IAAI,CAAC,MAAM,GAAG,GAAG,CAAC,CAAA;QAC7B,KAAK,MAAM,CAAC,IAAI,IAAI,EAAE,CAAC;YACrB,GAAG,CAAC,IAAI,GAAG,CAAC,GAAG,GAAG,CAAC,CAAA;YACnB,KAAK,CAAE,GAA+B,CAAC,CAAC,CAAC,EAAE,KAAK,GAAG,CAAC,CAAC,CAAA;QACvD,CAAC;IACH,CAAC,CAAA;IAED,KAAK,CAAC,KAAK,EAAE,CAAC,CAAC,CAAA;IACf,IAAI,IAAI,IAAI,CAAA;IACZ,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,UAAU,CAAC,CAAA;IAClC,OAAO,CAAC,IAAI,KAAK,CAAC,CAAC,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,QAAQ,CAAC,CAAC,EAAE,GAAG,CAAC,CAAA;AACnD,CAAC","sourcesContent":["/**\n * content-key — mesh 内容哈希（statementKey / plan 增量判定共用）\n *\n * 从 runtime.ts 提取为独立模块，供 CadRuntime 与 DirectExecutor 共享。\n */\n\n/** FNV-1a 哈希（typed array 逐元素） */\nfunction hashTypedArray(arr: Float32Array | Uint32Array): string {\n  let hash = 0x811c9dc5\n  const len = arr.length\n  for (let i = 0; i < len; i++) {\n    hash ^= arr[i]\n    hash = Math.imul(hash, 0x01000193)\n  }\n  hash ^= len\n  hash = Math.imul(hash, 0x01000193)\n  return (hash >>> 0).toString(16).padStart(8, '0')\n}\n\n/**\n * Compute the mesh content key (hash of positions and indices) used to decide\n * incremental execution.\n * @param positions - the mesh vertex positions.\n * @param indices - the mesh triangle indices.\n * @returns the content key string.\n */\nexport function computeContentKey(positions: Float32Array, indices: Uint32Array): string {\n  const posHash = hashTypedArray(positions)\n  const idxHash = hashTypedArray(indices)\n  return `${posHash}_${idxHash}_${positions.length}_${indices.length}`\n}\n\n// ── stableFingerprint (P0-3) ──\n\n/**\n * Compute a deterministic fingerprint for an arbitrary value, used by the\n * incremental update gates (G6/G7) to detect whether params or libIds have\n * changed since the last successful execution.\n *\n * Design constraints:\n * - `undefined` and `null` are normalized to `null` (so \"no params\" and\n *   \"empty object params\" are not treated as different).\n * - Object keys are sorted before hashing (iteration order independent).\n * - Circular references are detected and represented stably (no infinite loop).\n * - Functions and Symbols have a deterministic degradation rule (type-tagged).\n * - Arrays preserve element order (position-sensitive).\n * @param value - the value to fingerprint (params / libIds).\n * @returns a hex string fingerprint.\n */\nexport function stableFingerprint(value: unknown): string {\n  const seen = new WeakSet<object>()\n  let hash = 0x811c9dc5\n\n  const mix = (s: string): void => {\n    for (let i = 0; i < s.length; i++) {\n      hash ^= s.charCodeAt(i)\n      hash = Math.imul(hash, 0x01000193)\n    }\n  }\n\n  const visit = (v: unknown, depth: number): void => {\n    if (depth > 50) { mix('!depth!'); return }\n\n    // Normalize undefined/null to null\n    if (v === undefined || v === null) { mix('null'); return }\n\n    const t = typeof v\n\n    if (t === 'boolean') { mix(v ? 'B1' : 'B0'); return }\n    if (t === 'number') { mix('N:' + v); return }\n    if (t === 'string') { mix('S:' + v); return }\n    if (t === 'bigint') { mix('G:' + v.toString()); return }\n    if (t === 'symbol') { mix('SYM:' + ((v as symbol).description ?? '')); return }\n    if (t === 'function') { mix('FN'); return }\n\n    // Object / array\n    const obj = v as object\n    if (seen.has(obj)) { mix('!cycle!'); return }\n    seen.add(obj)\n\n    if (Array.isArray(v)) {\n      mix('A[' + v.length + ']')\n      for (const el of v) visit(el, depth + 1)\n      return\n    }\n\n    // Map: sort by key string for stable order\n    if (v instanceof Map) {\n      const entries = [...v.entries()].sort((a, b) =>\n        String(a[0]) < String(b[0]) ? -1 : String(a[0]) > String(b[0]) ? 1 : 0,\n      )\n      mix('M[' + entries.length + ']')\n      for (const [k, val] of entries) {\n        mix('K:' + String(k) + ':')\n        visit(val, depth + 1)\n      }\n      return\n    }\n\n    // Set: sort members for stable order\n    if (v instanceof Set) {\n      const members = [...v].sort((a, b) =>\n        String(a) < String(b) ? -1 : String(a) > String(b) ? 1 : 0,\n      )\n      mix('SET[' + members.length + ']')\n      for (const m of members) visit(m, depth + 1)\n      return\n    }\n\n    // Plain object: sort keys\n    const keys = Object.keys(obj).sort()\n    mix('O{' + keys.length + '}')\n    for (const k of keys) {\n      mix('k:' + k + ':')\n      visit((obj as Record<string, unknown>)[k], depth + 1)\n    }\n  }\n\n  visit(value, 0)\n  hash ^= 0xff\n  hash = Math.imul(hash, 0x01000193)\n  return (hash >>> 0).toString(16).padStart(8, '0')\n}\n"]}

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

@@ -1,8 +1,6 @@
 /**
  * direct-executor — 无 IR 执行器（.fai.js 源码直通 JS VM）
  *
- * 方案：docs/plans/2026-09-06-no-ir-dual-channel-runtime.md §4.2（D1 / P2）
- *
  * 核心语义：源码文本按**执行单元**（顶层语句，行号即语句边界）直接交给 JS VM
  * 执行——没有语句模型、没有 deps、没有表达式折叠、没有 outputs 投影、没有 IR
  * 编译（不 import parser.ts / compile.ts）。共享 `ctx` 是唯一持久状态。
@@ -24,6 +22,7 @@
 import type { LibNamespace } from '../runtime-state.js';
 import type { PartName } from '../identity.js';
 import { type AssemblyKinematicsPose } from '../runtime-state.js';
+import type { ImportModel } from '../mesh/import-model.js';
 import { type SecurityPolicy } from '../lang/security-scanner.js';
 import type { BrepHandle } from '../brep/engine/types.js';
 import type { ExecBackendChoice } from './exec-backend.js';
@@ -123,7 +122,7 @@ export interface DirectExecutorOptions {
     security?: SecurityPolicy;
     /**
      * 执行后端（静态选定，无运行时回退；缺省 'vm'）。'interpreter' 在禁 eval
-     * 环境（weapp / 严格 CSP）使用——见 docs/plans/2026-09-14-no-eval-interpreter-backend-design.md。
+     * 环境（weapp / 严格 CSP）使用。
      */
     execBackend?: ExecBackendChoice;
 }
@@ -160,6 +159,8 @@ export declare class DirectExecutor {
     private meshSolidOut;
     /** 近似拓扑数据（load op 登记，PartName → SelectorRuntimeData），collectDirectResult 消费。 */
     private meshTopologyOut;
+    /** 导入模型结构（load op 登记，PartName → ImportModel，方案 2026-10-06 §5.5），collectDirectResult 消费。 */
+    private importModelsOut;
     /** 执行后端（静态选定；缺省 vm） */
     private readonly execBackend;
     /** P3：读取装配运动副位姿快照（collectDirectResult 用；空 Map 表示无 joints）。 */
@@ -172,6 +173,8 @@ export declare class DirectExecutor {
     get meshSolidSnapshot(): Map<PartName, unknown>;
     /** 近似拓扑数据快照（load op 登记；PartName → SelectorRuntimeData）。 */
     get meshTopologySnapshot(): Map<PartName, unknown>;
+    /** 导入模型结构快照（load op 登记；PartName → ImportModel）。 */
+    get importModelsSnapshot(): Map<PartName, ImportModel>;
     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,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"}
+{"version":3,"file":"direct-executor.d.ts","sourceRoot":"","sources":["../../src/cad-runtime/direct-executor.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;GAoBG;AAGH,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,kBAAkB,CAAA;AACpD,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,aAAa,CAAA;AAG3C,OAAO,EAA+O,KAAK,sBAAsB,EAAwB,MAAM,kBAAkB,CAAA;AACjU,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,sBAAsB,CAAA;AAIvD,OAAO,EAAmC,KAAK,cAAc,EAAE,MAAM,0BAA0B,CAAA;AAG/F,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,sBAAsB,CAAA;AAItD,OAAO,KAAK,EAAgC,iBAAiB,EAAE,MAAM,gBAAgB,CAAA;AAyBrF;;;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,2FAA2F;IAC3F,OAAO,CAAC,eAAe,CAAmC;IAC1D,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;IAED,mDAAmD;IACnD,IAAI,oBAAoB,IAAI,GAAG,CAAC,QAAQ,EAAE,WAAW,CAAC,CAErD;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;IA2CrB,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;IAqChB;;;;;;;;;;;;;;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;IAwDpB;;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;CAuCpB"}

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

@@ -1,8 +1,6 @@
 /**
  * direct-executor — 无 IR 执行器（.fai.js 源码直通 JS VM）
  *
- * 方案：docs/plans/2026-09-06-no-ir-dual-channel-runtime.md §4.2（D1 / P2）
- *
  * 核心语义：源码文本按**执行单元**（顶层语句，行号即语句边界）直接交给 JS VM
  * 执行——没有语句模型、没有 deps、没有表达式折叠、没有 outputs 投影、没有 IR
  * 编译（不 import parser.ts / compile.ts）。共享 `ctx` 是唯一持久状态。
@@ -24,18 +22,17 @@
 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, takePendingMultiPartCounts, takePendingMeshSolids, takePendingMeshTopologies } from '../runtime-state.js';
+import { setCurrentStmt, setKeepSink, setName, nameOf, takePendingAssemblyTransforms, takePendingAssemblyKinematics, takePendingDetectedUnits, takePendingMultiPartCounts, takePendingMeshSolids, takePendingMeshTopologies, takePendingImportModels } 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';
-import { assertSecure } from '../lang/security-scanner.js';
+import { assertSecure, isSafeGlobalIdent } from '../lang/security-scanner.js';
 import { getSlot, ensureSlot, brepOf, isShape } from '../shape.js';
 import { isMeshShape } from '../mesh/types.js';
 import { applyTransform } from '../mesh/rigid-transform.js';
 import { applyTransformBrep } from '../brep/brep-ops.js';
 import { VmBackend } from './exec-backends/vm-backend.js';
 import { InterpBackend } from './exec-backends/interp-backend.js';
-import { SCRIPT_UNIT_NAMES } from '../units.js';
 /**
  * 几何值判定（isShape ∨ isMeshShape；与 define-op.isGeometryInput 同构）——
  * 裸调用原地写回（§3.7 规则 2）的运行时守卫：只有「返回值是几何 且 目标原值也是
@@ -85,6 +82,8 @@ export class DirectExecutor {
     meshSolidOut = new Map();
     /** 近似拓扑数据（load op 登记，PartName → SelectorRuntimeData），collectDirectResult 消费。 */
     meshTopologyOut = new Map();
+    /** 导入模型结构（load op 登记，PartName → ImportModel，方案 2026-10-06 §5.5），collectDirectResult 消费。 */
+    importModelsOut = new Map();
     /** 执行后端（静态选定；缺省 vm） */
     execBackend;
     /** P3：读取装配运动副位姿快照（collectDirectResult 用；空 Map 表示无 joints）。 */
@@ -107,6 +106,10 @@ export class DirectExecutor {
     get meshTopologySnapshot() {
         return this.meshTopologyOut;
     }
+    /** 导入模型结构快照（load op 登记；PartName → ImportModel）。 */
+    get importModelsSnapshot() {
+        return this.importModelsOut;
+    }
     constructor(options) {
         this.namespaces = options.namespaces;
         this.setSolidHook = options.setSolid;
@@ -612,6 +615,10 @@ export class DirectExecutor {
             for (const [part, data] of takePendingMeshTopologies()) {
                 this.meshTopologyOut.set(part, data);
             }
+            // 导入模型结构（load op 登记，方案 2026-10-06 §5.5）按本语句收编。
+            for (const [part, model] of takePendingImportModels()) {
+                this.importModelsOut.set(part, model);
+            }
         }
     }
     /** 行号 → 函数体 keep 登记（exec.keep/exec.keepHidden；与 live-shapes KeepView 对齐）。 */
@@ -1002,6 +1009,12 @@ export class DirectExecutor {
             if (declared.has(callee.name) || this.hasCtxFn(callee.name)) {
                 head = `await __ctx.${callee.name}`;
             }
+            else if (isSafeGlobalIdent(callee.name)) {
+                // 2026-10-06：免 import 安全全局**函数**（Number / parseInt / parseFloat /
+                // isNaN / isFinite / String / Boolean / …）从 globalThis 解析，必须保持裸名调用。
+                // 否则会发射成 `await __ctx.Number(...)` → 运行时 "`__ctx.Number` is not a function"。
+                head = `await ${callee.name}`;
+            }
             else {
                 // 本机函数尚未在 declared（append 前缀场景由调用方校验）→ 仍按 ctx 函数调用
                 head = `await __ctx.${callee.name}`;
@@ -1100,9 +1113,13 @@ export class DirectExecutor {
             case 'Literal':
                 return JSON.stringify(node.value);
             case 'Identifier':
-                // P6/D7: unit constants (MM, INCH, DEGREE, …) are global read-only
-                // constants — emit as bare identifiers so they resolve from globalThis.
-                if (SCRIPT_UNIT_NAMES.has(node.name))
+                // P6/D7 + 2026-10-06：免 import 安全全局（单位常量 MM / INCH / DEGREE / … 以及
+                // Math / JSON / Number / Infinity / …）从 globalThis 解析，保持裸名发射；否则会被
+                // 写成 `__ctx.Math`（undefined），求值结果静默变错。
+                // 已声明变量优先提升为 __ctx.<name>，使同名遮蔽（如 `let Math = 5`）仍按用户变量解析。
+                if (declared.has(node.name))
+                    return `__ctx.${node.name}`;
+                if (isSafeGlobalIdent(node.name))
                     return node.name;
                 return `__ctx.${node.name}`;
             case 'CallExpression':
@@ -1204,7 +1221,12 @@ export class DirectExecutor {
             if (!n || typeof n !== 'object')
                 return;
             if (n.type === 'Identifier') {
-                if (!['undefined', 'NaN', 'Infinity'].includes(n.name))
+                // 2026-10-06：免 import 安全全局（Math / JSON / console / Infinity / undefined /
+                // NaN / parseInt / … 以及单位常量 MM / INCH / …）由 globalThis 提供，不是 ctx 变量。
+                // 原先只硬编码排除了 undefined/NaN/Infinity，导致 `cad.box(Math.PI, 1, 1)` 与
+                // `cad.box(console, 1, 1)`（以及单位常量 `cad.box(MM, 1, 1)`）在 append 前缀校验里
+                // 被误报为「缺失引用」→ AppendPrefixError。这里统一走 isSafeGlobalIdent。
+                if (!isSafeGlobalIdent(n.name))
                     refs.add(n.name);
                 return;
             }