第34篇验证说明
日期：2026-09-27 UTC

已验证：
- 正式Python驱动退出0。
- 子进程故障点真实调用os._exit(73)，父进程观测退出73。
- 恢复子进程读取同一状态目录，退出0。
- apple最终由B持有且值30；zebra仍为7。
- 配置按分片保存epoch：shard 0为2，shard 1为1。
- A源组保存epoch 2墓碑且不再含apple；旧A@1写返回ErrStaleConfig。
- A、B组三副本分别得到一个完整状态摘要。
- 目标install收据数为1。
- 顺序历史检查valid=true，篡改旧读负例valid=false。
- --help退出0；缺少--state-dir退出2。

静态检查与文章检查：
- anti-ai-tone按tech profile运行：2394个汉字，0错误，0提醒。
- 随后执行anti-persona-fabrication人工扫描：0处命中。
- Node v22.23.2空缓存全站构建两次退出0，最终生成5634个文件。
- 正式HTML包含完整标题、5个Mermaid源码块、33回链和3个附件链接。
- observations.json.txt、evidence.txt、verification.txt生成副本与源文件逐字一致。
- 当前云端没有浏览器工具；Mermaid运行时SVG、图示尺寸与控制台错误未验证，不能把HTML源码检查冒充浏览器验收。

未验证：
- 真实Raft选举、日志冲突、读屏障、成员变更和快照。
- 真实网络分区、消息延迟/丢失/重排、独立主机进程。
- 配置控制面的leader故障、多控制器并发或多数提交。
- install之外的全部迁移持久边界崩溃矩阵。
- STAGED与ACTIVATE分离、目标直连隔离。
- fsync、断电、撕裂写、磁盘损坏。
- 并发历史、pending操作或通用线性一致性检查。
- 跨分片事务、去重GC、权限认证、拜占庭故障和性能。
- 浏览器页面渲染；当前环境无浏览器能力。

结论边界：
这是固定两分片、两个三副本数据组、单控制器进程、单次迁移和顺序客户端的有界教学观察。有限模型通过不等于生产系统端到端正确性。