E01验证说明
日期：2026-09-27 UTC

已验证：
- 正式Python驱动退出0，输出JSON可解析。
- CLI --help退出0，未知scenario由argparse退出2。
- --scenario invariant --expect-unique先写结构化JSON，再因唯一性门槛失败退出1。
- PN-Counter两种重复/乱序状态传递收敛，固定样本的join结合/交换/幂等检查通过。
- OR-Set的observed-remove、并发add-wins、同步后remove与陈旧状态重放边界通过。
- 丢removed信息的错误变异被检测到。
- 逐对象状态收敛而唯一用户名不变量失败的反例被检测到。
- 正文依次通过anti-ai-tone与anti-persona-fabrication扫描。
- Node v22.23.2从Hexo clean后的空缓存完成全站构建，退出0，生成5646个文件。
- 正式HTML包含标题、正文末段、4个Mermaid源码块、第35篇回链和三条附件链接。
- 生成目录的evidence.txt、observations.json.txt、verification.txt与source逐字一致。

未验证：
- 真实网络、磁盘、崩溃恢复和反熵调度。
- 成员变化、身份重用、tombstone/因果摘要垃圾回收。
- operation-based或delta-state CRDT。
- Akka、Riak或其他生产多主数据库。
- 线性一致性、跨对象事务、通用I-confluence判定、吞吐和延迟。
- 浏览器页面渲染、Mermaid SVG尺寸、附件点击与控制台错误；云端没有浏览器能力，静态HTML检查不冒充浏览器验证。

结论边界：本地观察只覆盖固定状态和传递顺序；相同更新集合下收敛不等于实时一致，也不等于应用不变量成立。