Module local 

本地磁盘文档数据源 —— 纯逻辑求值器（无 IO / 无时钟 / 无随机）。

语义基准 = MongoDB 驱动语义（local 与 mongo 走同一条命令路径，必须同结果）。 子模块随步骤 2~5 逐步接入：value / filter / pipeline / update / eval； 最终模块形态见执行文档 §4.1。

Re-exports

pub use eval::eval_command;

Modules

eval

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

filter

本地磁盘数据源 —— 过滤谓词求值（$match / 查询 / 计数 / 删除 / 更新命中判定）。

pipeline

本地磁盘数据源 —— 聚合管道阶段求值（$match $sort $skip $limit $project $unwind $lookup $group $addFields/$set $facet $replaceRoot）。

update

本地磁盘数据源 —— 写算子求值（insertOne / insertMany / updateMany / findOneAndUpdate / deleteMany）。

value

本地磁盘数据源 —— 值工具（点号路径取值 / Mongo BSON 类型序比较 / 极小表达式 / 投影）。