共识协议实现中的代码审查重点评审先追不变量Raft/Paxos 实现的评审不该停在“能否编译”。先把任期变更、日志匹配与持久化顺序写成可检查的约束什么情况下允许、失败时由谁释放资源、调用方能依赖什么。随后沿真实调用链检查这些约束有没有被绕开。逐项检查对每个跨模块接口确认输入所有权、返回错误和取消行为。找出默认值和隐式转换确认它们不会改变边界条件。为一次无法接受的状态补上测试或断言而不是只留评审意见。将需要人工判断的风险写进合并前清单。交付标准评审记录应能说明改动守住了哪些约束也能指出尚未覆盖的场景。