第29篇验证范围

已验证
- 正文front matter字段、文件名日期、同名素材目录存在。
- 前篇28与事务篇25的目标Markdown文件存在；正文中的post_link slug已按实际文件名修正。
- Python 3.12.3全场景退出0；CLI帮助退出0、非法scenario退出2。
- 固定轨迹分别打印replicated_committed_log_position、consumer_position、committed_group_offset、transaction_state、external_side_effect_count。
- 普通offset提交顺序的重复/遗漏反例均触发断言；Kafka事务commit/abort和外部效果反例均触发断言。
- observations.json.txt与正式运行JSON逐字一致。
- 正文先执行anti-ai-tone，后执行anti-persona-fabrication检查。
- Node 22下单篇`hexo render`退出0；渲染体包含完整章节、8个Mermaid源块和附件标记。
- 将既有忽略缓存db.json可恢复地移入本篇.build目录后，Node 22全站`npm run build`退出0；Hexo报告生成5610个文件、生成阶段44秒。
- 正式生成页包含标题、正文结尾、第28篇链接、8个`hljs mermaid`源码块和三个附件链接。

未验证
- 读取旧db.json缓存时，全站构建在不含第29篇正文的基线上也曾于180秒退出124；该失败保留，不归因于本文。
- 没有浏览器能力，未验证Mermaid SVG、布局、控制台或附件点击。
- 没有启动真实Kafka，未验证副本故障、leader election、事务协调器、consumer rebalance、磁盘恢复与协议互操作。
- 没有测量吞吐或延迟。
- 模型只覆盖固定状态转换，不证明任意并发调度。

结论边界
- 模型证明给定轨迹在其状态定义下产生预期重复、遗漏或原子可见结果。
- Kafka产品语义来自4.3官方文档与KIP；历史版本差异按KIP-447/KIP-890标注。
- Kafka事务不能回滚任意外部服务；端到端保证需要外部系统参与共同事务或提供幂等/去重。