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