Skip to main content

Module eval

Module eval 

Source
Expand description

本地磁盘数据源 —— 命令分发(core 规划产出的 Mongo 命令 JSON → 求值)。

语义基准 = MongoDB 驱动语义:本层与 mongo 路径吃同一份命令、必须同结果。 纯逻辑:无 IO / 无时钟 / 无随机 ——「整目录集合快照」由宿主提供并回收(文件读写只在宿主)。

返回契约(执行文档 §4.1): { "result": <驱动等价返回值>, "changed": ["<集合名>", …], "collections": {…} }

  • 读命令(find / aggregate / countDocuments / findOne)→ changed 恒 [], collections 原样回传;
  • 写命令 → collections 为变更后快照、changed 为被改集合名。

单集合文档数超护栏 MAX_LOCAL_COLLECTION_DOCS → Err(禁静默截断)。

Functions§

eval_command
本地磁盘数据源单命令求值(纯逻辑,无 IO / 无时钟 / 无随机)。