一心行动理论体系Wiki

A15 单一写者与并行判断公理

表述多 Agent 并行读和判断,排队落账:每个对象只有一个主人 Agent;写入包带基线哈希和读集,由合入器(代码)按对象逐条核对后写入;本人正在编辑或改过的对象,以本人为准。方法层文件只在所有运行收工后修改。本人也是这个协议的参与方:注册表草案让本人的改动作为「本人包」进入同一合入队列,排在最前。

出处Agent/00、Agent/02(C1–C9);90-决策记录/能动模块注册表(草稿 v0.2,未生效)§3.5。

防止丢写、僵尸写、重复写;规则在别人干活时被换掉。产品自己承认:管道层冲突可防,语义冲突(两个都合理的局部判断合起来矛盾)只能靠读集、不变量检查和交本人决定兜底(Agent/02 §2)。