第18篇验证记录
日期2026-09-20
模型：Python标准库有限ZAB论文模型。模拟稳定映像；不执行ZooKeeper内核、不测试磁盘断电。
源码SHA256: f3a3541a6a5f3451e00fde0c1e71ae1e7b292b2c4b01a13db4671133503f25c6
工作目录 examples/distributed-systems
作者命令 PYTHONDONTWRITEBYTECODE=1 python3 zab18/model.py --output .build/zab18/results
退出0；输出如下：
PASS pipeline events=97 audit=[]
PASS chosen-before-commit events=93 audit=[]
PASS minority-discard events=118 audit=[]
PASS minority-inherit events=115 audit=[]
PASS gates events=47 audit=[]
PASS durable-recovery events=137 audit=[]
PASS broken-phase2 events=137 audit=['NEWLEADER ACK lacks atomic durable history', 'a node forgot an externally delivered prefix', 'delivered histories are incompatible']

作者CLI：--help退出0，--scenario unknown退出2，多余位置参数unexpected退出2；原始cli.json存于仓库.build/zab18。
父独立命令 python3 -B zab18/model.py --output .build/zab18/parent-results
退出0，chunk c8db4c；help0/未知场景2/未知flag2，chunk2bcc11。
父逐步读epoch1/2/3 select_history与deliver_history：正常保留X再Y；变异选择空再交付Y。
全部7个结果JSON与作者输出逐字相同，附件为原始JSON的.json.txt版本，避免Hexo把.json当结构化页面处理。

结果含义：六个正常场景audit为空；broken-phase2的PASS只意味着预期三个错误真实出现。错误包括NEWLEADER ACK缺少原子稳定历史、节点遗忘外部已交付前缀、交付历史不相容。不存在全状态穷尽/最短性/活性或产品安全证明结论。

静态审阅：父已全文检查源码并指出chosen要按epoch区分、primary integrity不能误禁同epoch pipeline；最终实现均修正。没有后续源码变更。
写作门禁：blog-editor工作流，blog-illustrator七图；完整草稿位于仓库.build/zab18/article.md。父全文审稿后补local/global primary order和Agreement定义；anti-ai-tone tech最终汉字3694错误0提醒0；之后anti-persona-fabrication人工和词扫描通过再写source。
站点父验收：npm run build退出0，2336文件，日志.build/zab18/hexo-build.log。front matter、封面、17/10站内链接目标及同名资产目录通过。浏览器七SVG渲染、控制台错误为空；检查恢复确认、尾部两分支、三轮反例与阶段图截图，文字与箭头可读。SVG viewBox宽高约468×326、483×999、412×582、768×533、454×502、776×534、722×872；长图正常纵向滚动。九附件本地HTTP200且逐字等于源文件；首次沙箱连接EPERM，同一只读检查经正规授权后通过。未以这些观察声称真实多节点ZAB端到端。

父原始摘要：
{
  "date": "2026-09-20",
  "command": "python3 -B zab18/model.py --output .build/zab18/parent-results",
  "exit_code": 0,
  "tool_chunk": "c8db4c",
  "source_sha256": "f3a3541a6a5f3451e00fde0c1e71ae1e7b292b2c4b01a13db4671133503f25c6",
  "scenarios": [
    {
      "scenario": "broken-phase2",
      "events": 137,
      "audit_errors": [
        "NEWLEADER ACK lacks atomic durable history",
        "a node forgot an externally delivered prefix",
        "delivered histories are incompatible"
      ]
    },
    {
      "scenario": "chosen-before-commit",
      "events": 93,
      "audit_errors": []
    },
    {
      "scenario": "durable-recovery",
      "events": 137,
      "audit_errors": []
    },
    {
      "scenario": "gates",
      "events": 47,
      "audit_errors": []
    },
    {
      "scenario": "minority-discard",
      "events": 118,
      "audit_errors": []
    },
    {
      "scenario": "minority-inherit",
      "events": 115,
      "audit_errors": []
    },
    {
      "scenario": "pipeline",
      "events": 97,
      "audit_errors": []
    }
  ],
  "cli_receipt": "parent-cli.json",
  "independent_trace_check": "Read select_history/deliver_history at epochs 1,2,3; correct retains X before Y, mutation selects empty history then delivers Y. Simulated persistence only."
}

父CLI记录：
{"source_sha256": "f3a3541a6a5f3451e00fde0c1e71ae1e7b292b2c4b01a13db4671133503f25c6", "help": 0, "unknown_scenario": 2, "unknown_flag": 2}
最终收据加入后再次构建exit0，2268文件/5.06秒，日志.build/zab18/hexo-build-final.log；九份生成附件逐字一致。