如果兩個網關各自看到“今天還剩 100 元”同時放出一筆 80 元請求本地計數器都沒有錯全站預算卻已經失守。Token 計數能幫助估算貨幣預算還需要一份跨請求的賬。三個賬戶一筆請求把預算拆成可用、預占和已結算。發(fā)出請求前按允許的最大輸出和適用費率預占拿到可信 usage 后核銷響應丟失時保留待對賬狀態(tài)。不能把超時直接解釋成“沒收費”也不能用輸出 token 上限證明總費用上限搜索、緩存寫入等費用可能另計。DeepSeek 價格頁及Search 文檔需按幣種、模型和生效時間核對。十月的新搜索能力讓這件事更具體調用次數也可能成為預算維度。本文不把未來生效費率寫成已經發(fā)生的賬單。先驗證最小記賬不變量這個整數單位示例沒有并發(fā)和數據庫僅用來檢查重復核銷、剩余額度和超額實際費用。金額單位由業(yè)務約定這里不是人民幣報價。class Ledger: def __init__(self, budget): self.free, self.spent, self.pending, self.done budget, 0, {}, set() def reserve(self, rid, cap): if rid in self.pending or rid in self.done or cap 0 or cap self.free: return False self.free - cap; self.pending[rid] cap return True def settle(self, rid, actual): if rid in self.done: return False cap self.pending[rid] if actual 0 or actual cap: raise ValueError(reconcile overrun) self.free cap - actual; self.spent actual del self.pending[rid]; self.done.add(rid) return True l Ledger(100) assert l.reserve(a, 80) and not l.reserve(b, 80) assert l.settle(a, 50) and not l.settle(a, 50) assert (l.free, l.spent) (50, 50) assert l.reserve(unknown, 30) assert l.free l.spent sum(l.pending.values()) 100 print(reservation, duplicate settlement, unknown hold: passed)本地 Python 3 斷言通過。實際費用超過預占時程序要求對賬不假裝硬預算仍成立。生產實現需在同一事務里檢查余額、建立唯一請求記錄和扣減并對結算冪等Redis 事務只保護 Redis 內操作PostgreSQL 隔離說明也提醒并發(fā)快照需要正確條件約束跨供應商執(zhí)行不在本地事務里。如果計費無法給出可信上界承諾應該是“限制風險敞口并持續(xù)對賬”而非“絕不超額”。依賴故障時可拒絕新請求或使用事先分配、總量受控的離線額度默認放行再談硬上限邏輯上站不住。沒有實測外部賬單發(fā)布前需復核費率與 usage 字段。