Tana：把会议结论变成可确认、可追踪的动作

练习场景

AI 根据旧文档提出字段修改时，同事可能已经改了当前文档。设计一个纯内存“三方合并”分析器：同时看原始版本 base、当前版本 current、AI建议版本 proposed，保留互不冲突的改动，并找出需要人决定的字段。它只生成合并建议，不保存文档、不调用外部工具。这是自拟协议，不是 Tana 的内部实现。

输入与判定

1. base、current、proposed 都是 JS Map，每份最多100,000个条目。键为非空字符串；值只能为字符串、安全整数、布尔值或null。拒绝NaN、Infinity、对象、数组、undefined等其他值。三份Map及其值只读。
2. “键不存在”与“键存在且值为null”不同。比较字段状态时，先比较存在性；都存在时用严格相等比较值，数字0与-0视为相等，false与0不同。没有嵌套对象、数组合并、字段改名或文本行内合并。
3. 对三份输入的每个键：若current和proposed相同，直接保留该状态；否则若current等于base，采用proposed；否则若proposed等于base，保留current；三者均不能按以上规则处理时，标记冲突。删除也按“不存在”这个状态参与比较。
4. 遍历顺序是base中的键顺序，再接current中新出现的键，最后接proposed中新出现的键，每个键只出现一次。无冲突时输出mergedEntries及相对current的changes；changes包含set(key,value)或delete(key)，沿用此顺序。mergedEntries不包含最终不存在的键。
5. 若有任何冲突，只输出所有冲突及每份版本的存在性和值，不输出mergedEntries或changes，避免把半份建议当作整体结果。输入非法则返回带版本/字段位置的错误，连冲突列表也不返回。完整校验三份Map后再分析；空Map合法。
6. 总条目数为n，输入键和值字符串的总字符长度为L。任意合法键包括__proto__都按普通ID处理，输出使用条目数组或安全容器。

小例子

base按顺序为 title=旧标题、owner=小林、priority=2、note=null。 current按顺序为 title=旧标题、owner=小梅、priority=2、note=null、tag=web。 proposed按顺序为 title=新标题、owner=小林、priority=1；没有note和tag键。

请给出mergedEntries和changes，并解释为什么同事新增的tag被保留、note被删除、owner不会被AI旧值覆盖。

独立检查变体：(a) proposed.owner改为小周；(b) current.note改为“需要回电”，proposed仍删除note；(c) current.title也改为新标题；(d)任一值为NaN。说明哪些返回合并、哪些返回冲突、哪些属于非法输入。

交付物

描述状态表示、完整校验、稳定键顺序、字段判定和全有或全无的输出方案。至少列出四个不变量，分析n和L的时间空间；可以讨论JS Map或Rust中的可选值，不给完整代码或逐行伪代码。