因果时钟与日志投票推演

前置：能区分消息发送与接收、读写调用与返回，理解副本和网络分区；Python 3.10+ 仅用于离线时钟与日志推演。教学范围为Lamport1978；Gilbert/Lynch2002与2012回顾；Python 3.10+。核对日期2026-10-17。示例未执行，本轮没有安装依赖、生成协议代码、启动服务或浏览器预览。完整源码和输入文件见下方「同源完整文件」；推演结论只适用于写明的模型。

按主题分篇阅读，每篇保留对应讲解、示例与练习。