07 论断—证据—核验状态，2026-09-19

C1 tail 客户端确认、tail读、head计算状态变化：OSDI2004 §2–§3 + MIT2026 Lecture13；原文与课程交叉核验。
C2 Hist_tail ⪯ Hist_middle ⪯ Hist_head、三类故障修复：OSDI2004 §3.1/Figure3 + MIT讲义；已核验。原文附近解释性prose方向歧义以公式和协议为准，未声称存在正式勘误。
C3 fail-stop、可靠FIFO、master假设、数据链非多数派写：OSDI2004 §3 + MIT讲义；已核验，N−1恢复能力有控制面/重配置前提。
C4 误判旧head/tail的分区缺口及lease补充：MIT CR FAQ；已核验，不冒充原论文完整网络分区证明。
C5 PostgreSQL18.6 on/remote_write/remote_apply：18版WAL文档Table19.1；核验API保证，当前同步备库、非空同步配置、fsync和底层持久化前提。
C6 默认异步切换丢写/所需同步备库不足阻塞：18版warm-standby §26.2.8/26.2.8.4；已核验文档，未运行产品。
C7 外部故障检测与旧主隔离：18版Failover；已核验文档。
C8 五类有限时间线：examples/distributed-systems/replication07/main.go；本地race运行。有限模型不是实际网络、磁盘、进程故障注入。

R1 Chain Replication for Supporting High Throughput and Availability，OSDI2004，2004-12
https://www.cs.cornell.edu/home/rvr/papers/OSDI04.pdf
R2 MIT 6.5840 2026 Lecture13 Chain Replication，2026春
https://pdos.csail.mit.edu/6.824/notes/l-cr.txt
R3 MIT CR FAQ，2026课程链接，页面无修订日期
https://pdos.csail.mit.edu/6.824/papers/cr-faq.txt
R4 PostgreSQL18.6 Release，2026-08-13
https://www.postgresql.org/docs/release/18.6/
R5 PostgreSQL REL_18_6 fixed-tag documentation source
https://raw.githubusercontent.com/postgres/postgres/REL_18_6/doc/src/sgml/high-availability.sgml
R6 Log-Shipping Standby Servers，18.6文档快照
https://www.postgresql.org/docs/18/warm-standby.html
R7 Write Ahead Log，18.6文档快照
https://www.postgresql.org/docs/18/runtime-config-wal.html
R8 Failover，18.6文档快照
https://www.postgresql.org/docs/18/warm-standby-failover.html

资料日期/访问日期：2026-09-19；major-version网页可滚动更新。
父代理独立交叉打开R1、R3、R4、R7，关键结论一致。
反向检索chain replication errata/prefix typo，没有找到正式作者勘误；不据此断言不存在。
CRAQ会议元数据已核验，PDF超时，未在正文详述未读协议。
旧文召回：2025-07-29-副本复制算法与架构，主题相关但新篇独立研究确认/读取/重配置时间线；未改旧文。

正文流程：blog-editor及workflow/cover-search已读，系列复用现有cover-distributed-systems.svg。
2026-09-19临时稿 /private/tmp/ds07-draft.md 先执行anti-ai-tone tech：3773汉字，0 errors/0 warnings；人工逐段检查支撑、推进、节奏与连续性。
随后anti-persona-fabrication：三红线人工检查，词表检查0命中。完成后落盘。

父复核后精确化middle修复发送顺序：同一FIFO先发送旧后缀，不暗示等待tail ACK。再次anti-ai-tone→persona顺序扫描后落盘。