E01证据记录
日期：2026-09-27 UTC

实验类型：Python标准库状态型CRDT有限模型。
解释器：Python 3.12.3
源码SHA256：24cf8eb476345e3af6813f87b953b9daa5fabc724a448f478e9e7d7b20c25891

正式命令：
mkdir -p examples/distributed-systems/.build/e01/tmp
export TMPDIR="$PWD/examples/distributed-systems/.build/e01/tmp"
export TMP="$TMPDIR" TEMP="$TMPDIR" PYTHONDONTWRITEBYTECODE=1
python3 -B examples/distributed-systems/crdt-e01/check.py --output examples/distributed-systems/.build/e01/observations.json

CLI退出码：正式运行0；--help为0；未知--scenario为2；--scenario invariant --expect-unique先写完整JSON再退出1。

本地观察：
- east离线+5/-2、west离线+4/-1；两种相反且重复的完整状态传递顺序均收敛到值6。
- 对三个固定PN-Counter状态检查merge的结合、交换、幂等，全部为true。
- OR-Set并发删除旧tea tag与新增tea tag后，可见cake、coffee、tea；同步后再删除tea，两端均只剩cake、coffee。
- 正确removed集合阻止陈旧seed#1复活；故意丢弃删除信息的变异使tea复活，变异被检出。
- 两端分别把mira写入user-a与user-b；逐对象合并后副本状态相同，owners为两个，唯一性不变量为false。

写作扫描：anti-ai-tone tech profile为2824汉字、0错误、0提醒；随后anti-persona-fabrication高风险词扫描0命中。

站点验证：使用仓库要求的Node v22.23.2，从Hexo clean后的空缓存执行npm run build，退出0，生成5646个文件。正式HTML包含完整标题、正文末段、4个Mermaid源码块、第35篇回链和三条附件链接；三份生成附件与source逐字一致。云端没有浏览器能力，未验证SVG尺寸、交互和控制台。

来源、实际阅读位置、支持论断、不能支持结论及反向勘误检索见research/E01-crdt-multi-writer.md。未取得可确认的核心论文正式勘误，未据此宣称“没有勘误”。

实验不验证真实网络、持久化、崩溃恢复、成员变化、replica id重用、tombstone GC、操作型/delta-state传播、产品数据库、吞吐或时延。