E07 实验证据
日期：2026-09-28 UTC

正式源码：
- examples/distributed-systems/control-plane-e07/check.py
- SHA-256: dfa9d186de7dfb280f6b8bdfca3cd14888361d0a3f046eed8f11d8fd0a98592f
- README: examples/distributed-systems/control-plane-e07/README.md

运行环境：
- Python 3.12.3
- Linux 5.10.134-013.16.kangaroo.al8.x86_64, x86_64, glibc 2.39
- TMPDIR/TMP/TEMP 均指向 examples/distributed-systems/.build/e07/tmp
- PYTHONDONTWRITEBYTECODE=1

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

真实结果：
- 退出码 0。
- minority_cannot_commit_metadata_change=true。
- assignment_requires_separate_recovery_evidence=true。
- resource_side_epoch_rejects_stale_executor=true。
- 三控制节点仅一节点存活时，epoch 2归属未提交，d1/d2上的值仍存在；模型不推断服务可用。
- 正确路径在缺少安装收据时拒绝切换，复制并取得绑定epoch与摘要的收据后切换成功。
- 故意绕过恢复门槛时，元数据可指向无数据的d4，读取结果为null。
- 无资源侧fencing时epoch 1和epoch 2写均被接受；高水位为2时，epoch 1写被拒绝、epoch 2写被接受。

CLI与静态检查：
- python3 -B .../check.py --help：退出0。
- python3 -B .../check.py --scenario invalid：argparse退出2。
- Python ast.parse：AST_OK。
- anti-ai-tone（tech profile）：2413汉字，0错误，0提醒。
- anti-persona-fabrication：第一人称、伪造经历、写作行为与身份归属扫描0命中。

站点构建：
- 使用Node v22.23.2、npm 10.9.8。
- 首次增量`npm run build`完成并生成2640个文件；该轮退出状态未由会话包装器保留，因此不作为最终成功证据。
- 104 MiB `db.json`可恢复地移入`examples/distributed-systems/.build/e07/db.json.before-empty-cache`，未删除。
- 空缓存再次执行`npm run build`，退出0，40秒内生成5684个文件。
- 正式HTML包含标题、完整正文、6个`hljs mermaid`源码块、E06回链和3个附件链接。
- 生成的evidence.txt、verification.txt、observations.json.txt与源文件逐字一致。
- HTML中的`mermaid-error`字符串来自主题预置的错误处理脚本类名；无浏览器能力，未据静态HTML宣称SVG渲染、尺寸、点击或控制台通过。

主要研究基线：
- Apache Kafka 4.3.1、Kafka 4.3文档、KIP-500/595/866与4.3.1 tag源码。
- Kubernetes v1.37.1源码与当前官方文档；etcd v3.6 API/恢复文档。
- Apache HBase 3.0.0、滚动Reference Guide（当前标识4.0.0-alpha-1-SNAPSHOT）与版本化Jira/设计文档。
- Apache ZooKeeper 3.9.6 Programmer's Guide。
- 逐项URL、阅读位置、不能支持的结论与反向核验见 writing-plans/distributed-systems/research/E07-control-planes.md。

来源与版本限制：
- Kafka KIP-631仍为under discussion，当前行为以4.3.1源码为准。
- Kubernetes Lease选主的“单活”不能提升为严格fencing证明。
- etcd当前最新release已到3.7.2，但本篇恢复语义固定引用v3.6文档。
- HBase滚动Guide不是3.0.0冻结文档，版本事实用3.0.0 tag、发布页和Jira复核。
- 未取得可确认的HBase 3.0.0架构正式勘误；不据此宣称不存在其他缺陷。