第34篇证据记录 日期:2026-09-27 UTC 实验类型:Python标准库有界文件模型,不是真实Raft、网络或数据库。 解释器:Python 3.12.3 源码SHA256:82acf1b9808fda4180de99c5384eb6319fcada1057da332457a4cafb94a23dd0 正式命令: mkdir -p examples/distributed-systems/.build/capstone34/tmp export TMPDIR="$PWD/examples/distributed-systems/.build/capstone34/tmp" export TMP="$TMPDIR" TEMP="$TMPDIR" PYTHONDONTWRITEBYTECODE=1 python3 -B examples/distributed-systems/capstone34/check.py --state-dir examples/distributed-systems/.build/capstone34/run-final-3 --output examples/distributed-systems/.build/capstone34/observations-final.json 正式运行退出:0 迁移worker首次退出:73(目标install已写入,控制面仍为frozen) 恢复worker退出:0 CLI --help:0 CLI缺少--state-dir:2 关键观察: - A leader a0停止后,a1在term 2被选出;a0随后从leader完整追赶。 - 相同request_id的apple=20重试命中去重结果。 - install动作在进程退出后重试,目标组三副本最终只有1份install收据。 - shard 0从A@1迁至B@2;shard 1仍为B@1。 - apple最终值30,zebra最终值7。 - A保存shard 0的epoch 2墓碑,A@1旧写返回ErrStaleConfig。 - A组三副本完整状态摘要集合大小为1;B组同样为1。 - 顺序成功操作投影valid=true;篡改末次读为旧值后valid=false。 失败运行保留在.build/capstone34/run-final:首次暴露选主后follower本地term未同步,导致最终完整状态摘要不一致。修复为确认副本在追加时持久当前term。 第二次运行保留在.build/capstone34/run-final-2:修复per-shard epoch与term后通过;第三次正式运行增加篡改历史负例。 来源交叉核验见 writing-plans/distributed-systems/research/34-capstone.md。 未取得可确认的Raft扩展版、Bigtable论文或MIT Lab 5页面正式勘误;没有据此宣称“没有勘误”。 写作与站点验证: - anti-ai-tone(tech profile):2394个汉字,0错误,0提醒。 - anti-persona-fabrication人工扫描:0处第一人称经历、写作旁白或说书人表达。 - 默认Node 20构建在加载Hexo依赖时因ESM/CJS兼容错误退出2;没有进入正文渲染。 - Node v22.23.2空缓存全站构建两次退出0;最终生成5634个文件。 - 最终HTML含完整标题、5个Mermaid源码块、33回链和3个附件链接。 - 三个生成附件与source原文件逐字一致。 - 云端无浏览器能力,未验证Mermaid运行时SVG、图示尺寸或浏览器控制台。