Raft 提交不是写进 Leader：区分复制、提交和应用

Raft 提交不是写进 Leader区分复制、提交和应用Raft 最容易被讲错的一点是把 Leader 本地写入日志当成提交。条目需要复制到法定多数并满足当前任期规则commit index 才能推进。状态分三层日志条目记录索引和任期commit index 表示协议已提交的位置last applied 表示状态机已经应用的位置。三者变化要按顺序持久化或恢复不能让客户端在尚未提交时看到成功。成员变化、快照安装和 Leader 切换会让边界更复杂。实现时把任期检查、匹配索引和持久化错误分开不用一段“大循环”同时修改所有状态。回归用确定性网络在测试中控制消息丢失、乱序、重复和节点重启断言同一索引不会应用两次旧 Leader 不能继续确认写入。测试记录种子和事件序列“跑了一晚没错”无法替代协议不变量。