分布式系统 01：论断—证据—核验状态
核验日期：2026-09-19。研究、论文契约、API文档与本地模型分开记录。

S1 MIT 6.5840 Distributed Systems / RPC and Threads, Spring 2026
https://pdos.csail.mit.edu/6.824/notes/l-rpc.txt
已读取：失败时请求可能未到、已执行但回复丢失；Put10/Put20迟到请求反例。
支持 C01：超时不足以判断未执行。与S5独立交叉核对。

S2 Andrew D. Birrell, Bruce Jay Nelson, Implementing Remote Procedure Calls,
ACM TOCS 2(1), February 1984, pp.39–59, §3.2
https://birrell.org/andrew/papers/ImplementingRPC.pdf
原作者站点索引片段可读，PDF正文抓取失败；CMU镜像抓取超时。
支持 C02：call identifier含调用方身份和序号；activity限制最多一个未完成调用。
状态：局部原始片段已核，不宣称全文逐页已读。并发41/42反例为独立推导。

S3 RFC 9110, HTTP Semantics, June 2022, §9.2.2
https://www.rfc-editor.org/rfc/rfc9110.html#section-9.2.2
已读取规范正文。支持 C03：幂等针对intended effect，响应可以不同，可逐次日志。
父线程独立读取同节，确认术语边界。反向检索 RFC9110 errata idempotent；
官方勘误搜索入口与 /errata/rfc9110 抓取失败，不能断言没有相关勘误。

S4 Lee et al., Implementing Linearizability at Large Scale and Low Latency,
SOSP 2015, October 4–7, DOI 10.1145/2815400.2815416, Figure2/§2/§3
https://sigops.org/s/conferences/sosp/2015/current/2015-Monterey/printable/126-lee.pdf
已读取官方会议PDF。支持 C04：幂等写重复执行跨越其他写仍可破坏线性一致性；
C05：完成记录需要持久化、随业务数据恢复和迁移，元数据回收需协议约束。
交叉核对：S1迟到重试反例；rpc01本地丢去重表的反例。
正文没有照搬论文性能数，也不把RIFL全部功能归于演示代码。

S5 gRPC Status Codes, last modified 2024-08-21
https://grpc.io/docs/guides/status-codes/
已读取。支持 C01：DEADLINE_EXCEEDED可以发生在修改实际完成后。

S6 gRPC Retry, last modified 2025-11-26
https://grpc.io/docs/guides/retry/
已读取。支持 C06：透明重试条件、显式策略、响应头后的重试层committed。
父线程独立确认此committed不等于业务持久化。未绑定或运行任何gRPC SDK版本。

S7 gRPC Deadlines, last modified 2025-07-07
https://grpc.io/docs/guides/deadlines/
已读取。支持 C07：应用负责停止已启动的工作；deadline不构成业务回滚证明。

C08 本地Go代码：互斥锁覆盖判重、业务修改、结果记录；固定ID至多修改一次。
状态：代码阅读、归纳论证、race执行与内置断言通过；不是所有调度的穷举。
C09 本地反例：关闭去重计数2、开启1、并发32次仅1、冲突参数拒绝、
旧ID回放旧值1而当前值2、仅保业务丢去重表后计数3。均已实际运行。

反向核对：主动搜索Birrell勘误与RPC重复/崩溃限制，未取得完整勘误页面；
不使用“已证明无勘误”。已将activity串行假设、幂等写反例、重启与记录回收
作为正文边界，避免把无故障缓存去重提升为通用exactly-once。

写作流程：实际读取blog-editor及workflow/cover-search；沿用系列已有封面。
顺序扫描：先anti-ai-tone + prose-quality tech profile，3993汉字，0错误0提醒；
再anti-persona-fabrication，第一人称/拟人/说书词检查无命中，人工全文连读通过。