第12篇：论断—证据—核验状态
访问与本地验证日期：2026-09-19。

范围：固定成员、非拜占庭、崩溃恢复；论文规则与教学核心，不涉及etcd/ZooKeeper产品API版本。

1. Ongaro/Ousterhout, In Search of an Understandable Consensus Algorithm (Extended Version), 2014-05-20。
https://raft.github.io/raft.pdf
实际阅读 Figure2 p4、§5.3 pp6–7、Figure8/§5.4.1–5.4.2 p8、§5.4.3 pp9–10。
支持：前缀检查、条件截断、持久字段、投票限制、本任期多数直接提交、Leader Completeness。资料核验+独立父审+有限本地场景验证；并非执行形式化证明。

2. MIT 6.5840 2026 Lecture7 Raft2，访问日滚动课程讲义。
https://pdos.csail.mit.edu/6.824/notes/l-raft2.txt
支持：课程结构、next/match区分、持久性、Figure8核心问题。实际读取并与论文交叉核对。不复制课程Rejoin作业答案。

3. Jon Gjengset, Students' Guide to Raft, 2016-03-16。
https://thesquareplanet.com/blog/students-guide-to-raft/
实际阅读 The importance of details / Incorrect RPC handlers / Failure to follow The Rules / Term confusion。
支持：空AE仍检查prev、短匹配批次保留后缀、follower提交受确认末端约束、回复使用发送参数。不是产品API保证。已文献交叉核验并由本地边界场景验收。

4. Ongaro博士论文作者源章，访问日master滚动文本。
https://raw.githubusercontent.com/ongardie/dissertation/master/basicraft/consensus.tex
读取 Log replication / Election restriction / Committing entries from previous terms / Safety argument。与固定论文对照，不冒充固定源码SHA或2014PDF字节。

5. 作者 Updates and Errata，访问日滚动页面。
https://github.com/ongardie/dissertation#updates-and-errata
以及历史issue：add pipelining for AppendEntries RPCs，2015-02-20。
https://github.com/logcabin/logcabin/issues/97
反向检索实际核到lastApplied持久性、单服务器成员变更、TLA+小修订与未合并早期流水线实现。各自边界分开；不外推当前产品存在同一缺陷。本篇没有进行成员变更、流水线或TLA+执行。

关键论断核验：
- 同index/term推出同前缀：限定合法日志生成历史，唯一leader顺序追加+AE前驱检查，不能从任意数组推出。交叉文献/代码审阅通过。
- 旧term多数不足直接提交：正常实际四term轨迹commit=0，z分支提交前缀；驱动错误策略宣告旧x提交后，观察器检出后继leader缺项及覆盖。有限实验通过。
- 成功AE必须先保存整个State：term+log与同term仅log均经过保存屏障；错误部分ACK保持pending；singleton未保存追加不自计确认。有限本地通过。
- 迟到短/空AE不能截匹配后缀：实际消息场景通过；follower长度4而请求末端2/leaderCommit4时commit=2，旧批次不回退已知游标。
- 回复只确认发送范围：发送到3后本地追加4，旧成功仅确认3；迟到/重复/退位旧成功与失败不错误更新进度。有限本地通过。
- 恢复日志与恢复提交知识不同：销毁节点后从完整内存镜像恢复，commit游标0但历史提交仍被检查；后继复制、旧termAE拒绝通过。未执行真实磁盘/网络实验。

图示：4张Mermaid由论文机制、原创有限调度与核心API生成。AE图明确失败回复也可能等待任期保存；分支图不混合两条历史；证明图显示交叉节点与两种日志比较情况；时序图保存是内存映像。

独立审阅：主代理全文和核心/驱动审阅、独立race/vet/CLI通过；gfs03只读原论文及11接口的设计审阅无阻断，其建议由新增场景另行执行。设计审阅不冒充代码运行证据。

读取限制：研究初期Stanford博士论文PDF/GitHub online.pdf未能正常读取，转读作者源文；另读Stanford托管16页Raft稿，但不称其与18页extended版相同。不存在性或版本唯一性均未据访问失败推断。