兩個(gè)Agent離線做事重新連上后把各自的進(jìn)度合起來(lái)看起來(lái)是個(gè)適合CRDT的問(wèn)題。若它們合并的是“已經(jīng)處理了多少文件”收斂的計(jì)數(shù)很有用。把字段換成“還剩一次調(diào)用額度”問(wèn)題就變了。兩個(gè)副本都看到還剩1各自扣一次重連后賬本確實(shí)能一致卻可能一致地變成負(fù)數(shù)。副本收斂并不自動(dòng)保住業(yè)務(wù)不變量。一個(gè)只在本地運(yùn)行的反例下面用兩個(gè)按actor分開的單調(diào)計(jì)數(shù)映射保存增量和減量。合并時(shí)每個(gè)actor各取最大值預(yù)算定義為初始1加總增量減總減量。這是教學(xué)用狀態(tài)模型沒(méi)有實(shí)現(xiàn)網(wǎng)絡(luò)同步、權(quán)限控制或生產(chǎn)計(jì)數(shù)庫(kù)。use std::collections::BTreeMap; #[derive(Clone, Debug, PartialEq, Eq)] struct Counter { p: BTreeMapstatic str,u64, n: BTreeMapstatic str,u64 } impl Counter { fn new() - Self { Self { p: BTreeMap::new(), n: BTreeMap::new() } } fn spend(mut self, actor: static str) { *self.n.entry(actor).or_default() 1; } fn merge(mut self, other: Self) { for (dst,src) in [(mut self.p,other.p),(mut self.n,other.n)] { for (actor,value) in src { let vdst.entry(actor).or_default(); *v(*v).max(value); } } } fn budget(self) - i128 { 1 self.p.values().map(|v| i128::from(v)).sum::i128() - self.n.values().map(|v| i128::from(v)).sum::i128() } } fn main() { let mut aCounter::new(); let mut bCounter::new(); a.spend(A); b.spend(B); assert_eq!((a.budget(),b.budget()),(0,0)); let mut aba.clone(); ab.merge(b); let mut bab.clone(); ba.merge(a); assert_eq!(ab,ba); assert_eq!(ab.budget(),-1); let beforeab.clone(); ab.merge(before); assert_eq!(ab,before); let mut cCounter::new();c.spend(C); let mut lefta.clone();left.merge(b);left.merge(c); let mut bcb.clone();bc.merge(c); let mut righta;right.merge(bc);assert_eq!(left,right); println!(merge laws: passed on constructed replicas); println!(merged budget: {},ab.budget()); }保存為main.rs運(yùn)行rustc --edition2024 main.rs -o counter-demo ./counter-demo。本地macOS aarch64、rustc 1.98.0實(shí)際輸出merge laws: passed on constructed replicas merged budget: -1兩個(gè)副本單獨(dú)都得到0合并后得到-1。這個(gè)構(gòu)造例足以否定“用了可收斂計(jì)數(shù)器就不會(huì)超賣”的說(shuō)法不需要等真實(shí)API賬單出現(xiàn)。測(cè)試中的交換、冪等和結(jié)合斷言只覆蓋這幾組輸入不是對(duì)任意實(shí)現(xiàn)的自動(dòng)形式證明。這里可額外做數(shù)學(xué)推導(dǎo)單個(gè)actor的合并是maxmax滿足交換、結(jié)合和冪等把它逐項(xiàng)應(yīng)用到兩個(gè)映射仍保留這些性質(zhì)。這個(gè)推導(dǎo)也有前提。actor需要獨(dú)立寫入自己的單調(diào)分量不能多個(gè)離線寫者復(fù)用同一個(gè)actor并覆蓋對(duì)方的計(jì)數(shù)。計(jì)數(shù)溢出、actor身份重用、丟失持久化歷史等都需要另設(shè)協(xié)議本例沒(méi)有處理。“最后寫入”也不是替預(yù)算作決定用時(shí)間戳選一個(gè)最后寫入的值可能讓界面上只顯示一個(gè)答案但會(huì)把另一次已經(jīng)發(fā)生的消費(fèi)藏起來(lái)。真實(shí)外部調(diào)用不會(huì)因?yàn)楸镜刭~本選了另一個(gè)值而撤銷。如果使用LWW結(jié)構(gòu)相同時(shí)間戳的不同值還需要確定的平局規(guī)則。僅寫“時(shí)間晚的贏”不足以說(shuō)明時(shí)間一樣時(shí)怎么收斂。邏輯時(shí)鐘、唯一actor ID和事件身份也各有用途不能隨手拿系統(tǒng)時(shí)間拼成正確協(xié)議。作者提交的CRDT論文摘要討論并發(fā)操作的可交換性、收斂及局限發(fā)表于2009-07-06是這里的基礎(chǔ)概念來(lái)源不是2026年10月新技術(shù)。本次復(fù)核讀到摘要與元數(shù)據(jù)本文的max合并與預(yù)算反例由上面的明示模型推導(dǎo)不冒充論文完整算法的復(fù)現(xiàn)。為不同字段選不同保證進(jìn)度、已觀察事件集合等字段可以先問(wèn)它們能否接受離線合并。獨(dú)占額度、僅執(zhí)行一次的發(fā)布動(dòng)作則應(yīng)先寫出不變量允許多少個(gè)執(zhí)行者同時(shí)持有什么權(quán)利誰(shuí)有權(quán)批準(zhǔn)下一次動(dòng)作?？蛇x辦法包括中心準(zhǔn)入、事先分配不可重復(fù)的額度或把拒絕過(guò)期執(zhí)行者的校驗(yàn)放在真正消費(fèi)資源的入口。這些方案各有可用性和復(fù)雜度代價(jià)不能在短例后宣布一個(gè)萬(wàn)能答案。涉及復(fù)制日志的語(yǔ)義可參照Raft作者說(shuō)明也要記住復(fù)制同一決定與決定本身是否越權(quán)是不同問(wèn)題。2026-10-07的Copilot本地沙箱公告把工具執(zhí)行邊界作為獨(dú)立控制項(xiàng)。它可以提醒我們分開考慮模型輸出、工具權(quán)限和狀態(tài)記錄但不為本文的預(yù)算模型提供額外正確性保證。這次小實(shí)驗(yàn)沒(méi)有訪問(wèn)模型或扣費(fèi)系統(tǒng)。能確定的是算對(duì)一份合并后的賬不代表此前每次消費(fèi)都獲準(zhǔn)。