@faicad/faijs 0.29.5 → 0.30.9

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;
             }