Expand description
闸的完整运行状态(WanningState):闸 + 审计日志 + 待支付台账 + 时钟。
这是 demo / MCP server 实际持有的对象。职责只有一条: 每一条决策都必须先落审计,再落账本(write-ahead)——审计写不进去,这笔消费 就不能发生。这样「崩溃后的世界」只会比实时状态更严格(多扣不会出现,少扣可能), 永远不会出现「花了钱却查无此账」。待支付(W-53a)走同一纪律:确认/作废的每一行 都先落审计再改台账,被拒的确认一行都不落。
回放(WanningState::replay):从 WAL 逐行重建状态,用记录里的 ts 驱动注入时钟,
并重算每一条决策与记录对账;任何不一致立即 fail-closed 报错。回放是确定性的:
同一份 WAL 回放两遍,state hash 相同。
Structs§
- Wanning
State - 闸 + 审计日志 + 待支付台账 + 时钟的运行时状态。