05 时钟与因果偏序：论断—证据—核验状态
研究日期 2026-09-19。论文、API、教学模型、本地观察分开标注。

S1 Leslie Lamport, Time, Clocks, and the Ordering of Events in a Distributed System.
CACM 21(7), July 1978, pp.558–565.
https://lamport.azurewebsites.net/pubs/time-clocks.pdf
实际读取 PDF。p559 happens-before 定义；p560 Clock Condition、IR1/IR2；p561 总序。
C1 a→b 蕴含 L(a)<L(b)，逆不成立。核验：S1+S3 §6，正文给基本边与传递性证明，实验独立闭包检查。
C2 (L,processID) 构造因果偏序的线性扩展，不自动保证分布式交付完整。核验：S1，正文用尚未到达的小键消息给推论反例。

S2 Colin J. Fidge, Timestamps in Message-Passing Systems That Preserve the Partial Ordering.
Australian Computer Science Communications 10(1), Feb 1988, pp56–66.
https://raw.githubusercontent.com/jeffrey-xiao/papers/master/causality/timestamps-in-message-passing-systems-that-preserve-the-partial-ordering.pdf
原始论文扫描镜像，curl下载后pypdf读取11页。Lund/UCI旧链接未成功打开，不充当已读证据。
pp58–59 RA1–RA5/EA1；Appendix A pp64–65；pp60–62另有同步通信模型。
C3 Fidge1988 异步 RA4 对发送者分量有特定加一处理，EA1用源进程分量严格比较。核验：原文。未把它与标准max/tick算法混拼。

S3 Friedemann Mattern, Virtual Time and Global States of Distributed Systems.
Workshop October 1988; proceedings 1989 pp215–226.
https://vs.inf.ethz.ch/publ/papers/VirtTimeGlobStates.pdf
https://vs.inf.ethz.ch/publ/bibtex.html?file=papers/VirtTimeGlobStates
实际读取15页授权编辑重印版，PDF印刷页120–134；其元数据另列重印页码，故正文优先按章节定位。
§7 vector clocks，§8 Theorem10/11，PDF印刷页126–128。
C4 固定进程、完整消息模型、无计数回退/溢出下 a→b iff V(a)<V(b)。核验：S3 Theorem10 + S4 §2 独立算法说明，正文给因果前缀不变量证明；本地固定DAG全部事件对检查。
C5 并发等价于向量不可比；不可比不是字典序。核验：S3；实验 b,g反例。

S4 Colin Fidge, A limitation of vector timestamps for reconstructing distributed computations.
Preprint 9 February 1998; Information Processing Letters 68(2), 30 October1998, pp87–91.
DOI 10.1016/S0020-0190(98)00143-4.
https://ics.uci.edu/~cs230/reading/4.pdf
https://www.sciencedirect.com/science/article/pii/S0020019098001434
实际读7页预印本、核对出版元数据。§2标准向量算法；§4–6乱序导致通信图不可唯一恢复，记录发送/接收对可保留匹配信息。
C6 同向量/同因果闭包可对应不同通信图。核验：S4；正文和实验给更简单、事件类型不同的冗余消息例子。原论文还分析即使附加事件类型的限制；本实验不声称复现该更强构造。

S5 MIT6.852J Distributed Algorithms, Fall2009, readings Lecture11.
https://ocw.mit.edu/courses/6-852j-distributed-algorithms-fall-2009/pages/readings/
实际读取。Lecture11 时间/时钟/状态机/向量时间戳列Lamport、Mattern；是系列MIT2026/Stanford2024主结构的补充，不冒称2026课程设有该单元。

S6 Go time package, Monotonic Clocks, Go1.27.0 fixed version, accessed2026-09-19.
https://pkg.go.dev/time@go1.27.0#hdr-Monotonic_Clocks
实际读取。C7 Now双读数、双方都有单调读数才用于比较减法、序列化省略、Round(0)去除、休眠平台例外：API已核对。Go1.27.0本地JSON往返与Equal验证仅证明时间点相等；未用其反推内部单调字段。
C8 注入wall回拨模型不是真实NTP观测，文中明确。模型与本地输出已核对。

反向核验
检索Lamport1978 errata/revisions、vector clock counterexample/limitations、Fidge1998。
https://lamport.azurewebsites.net/pubs/pubs.html#time-clocks
已读作者出版目录该项，未见专门勘误链接；不据此断言不存在勘误。
找到S4真实限制论文，已纳入；它不推翻因果闭包等价定理。
Mattern链接为编辑重印，日期/页码与原版区别已说明。

写作核验
blog-editor入口；已有相关标题为操作系统时钟中断、LeCun因果问题，均非分布式逻辑时钟重复文章；系列统一封面复用。
临时稿 /private/tmp/ds05-draft.md 先anti-ai-tone tech人工四遍与脚本：3993汉字，0error0warning；随后anti-persona-fabrication第一人称扫描0命中，并人工检查无拟人化/说书人腔，再写入source。
04正文已存在，post_link使用无日期slug；下一篇06仅文字衔接。

父审修正：ASCII改为明确局部边/消息边，避免竖线错指c。追加CLI位置参数拒绝。最终稿重新依序双扫描后落盘。
Go固定版本网页显示Version go1.27.0，实际读取Monotonic Clocks完整段；同时读本机/opt/homebrew/Cellar/go/1.27.0/libexec/src/time/time.go:10–81交叉核对。cs.opensource.google版本源码链接打开失败，未作为已读来源。
父任务独立交叉核对回报：实际浏览Lamport1978定义/条件、Mattern Theorem10/11、Fidge1998§4–6以及固定Go1.27.0 Monotonic Clocks文档，关键论断一致；父已读正文和完整代码，修正图示与CLI后交回集成。