验证日期2026-09-20
正式源码 examples/distributed-systems/sharding24/check.py
SHA256 b43b16b1918cfadfa963500e197cfdd7b1af5bb29a1b4baa640f64a72d5de3c0
作者命令 /usr/bin/python3 -B sharding24/check.py；cwd examples/distributed-systems；TMPDIR/TMP/TEMP 全部仓库 .build/sharding24/tmp，PYTHONDONTWRITEBYTECODE=1；子进程使用同一解释器与正式脚本，三TMP在各run/tmp。
作者工具chunk aaec79显式MODEL_EXIT=0，三组PASS。
作者日志 .build/sharding24/author-run.txt
作者结果 .build/sharding24/run-96069c644864444ab7b4051abf24dbe5/observations.json
该run全部6份events.jsonl与summary整合至附件observations.json.txt，包含组状态、权限、PID与退出码。
父独立全场景 session2451/chunk5175db exit0；parent-run.txt；run-3522e73a194a4337bfd2e1a2484f4318。
父CLI帮助 chunk568ad5 exit0；--cut缺controller chunk10235d exit2。
两轮PID与目录不同，不宣称原始JSON完全相同。
四切点freeze/install/delete/publish保存完成后受控exit73，新PID恢复；不是SIGKILL/掉电测试。
freeze时s无服务者，t写成功；Get冻结/迁出后拒绝；无目标安装收据时Delete拒绝且组状态不变。
同身份安装重试不覆盖Put50；同身份不同快照拒绝；原Add5记录随KV迁移，重试返回5而当前值50，冲突请求拒绝。
B迁回A后旧RPC由cfg.next先拒绝，未单独证明墓碑fence；变异skip-freeze实际产生两个SERVING组，被独立观察器检出。
逻辑丢弃返回不是真实网络丢包；install切点在函数已返回后；管理操作同步读取config/source/target；可信单控制器串行，无并发CAS/Raft/网络分区/断电/全历史线性化证明。
双扫描：tone.txt最终3986汉字，错误0提醒0；然后persona.txt零模式命中并人工全文复读。正文SHA256 735c2581c180baf76e82dbc9ace599ec498b2e202d56bb740d5e3cda2d0241ac。
父全文技术审阅、MR静态审查通过。全站构建、8图渲染和附件生成已由父验收，见下列补录。
资料落盘时一次内联文本编辑器因输入编码SyntaxError退出，未执行任何文件修改；改用普通复制和ASCII内联JSON打包完成，不涉及模型重跑。
作者原始stdout：
PASS recovery: four controlled exits; new controller PIDs; independent shard serves; KV and cached first result survive
PASS retries: same install preserves new write; conflicting identity and old RPCs rejected; returned shard keeps epoch2 state
PASS mutation: skip-freeze creates two actual SERVING groups and independent observer detects violation
ARTIFACTS /Users/magicliang/Desktop/Programming/git/hexo-blog/examples/distributed-systems/.build/sharding24/run-96069c644864444ab7b4051abf24dbe5

父站点验收：npm run build session2912/chunk4e30b8 exit0，2426文件/5.29秒；日志.build/sharding24/hexo-build.log。浏览器实际打开本地正文，8个Mermaid SVG、console error为空；三张代表图截图文字/箭头可读。frontmatter、前篇链接、封面及三附件链接存在。生成三附件字节与源一致；打包的6份events及summary与作者原文件逐项相同（ec759a）。附件下载未做浏览器端验收；不宣称真实网络、断电或所有历史线性化证明。