日期：2026-09-20
当前状态：固定仓库目录 race 二进制九场景与 CLI 已实际验证，累计五包编译/静态通过；raft11启动exit137、raft12/13未执行是剩余回归缺口。下文保留早期静态阶段记录，最新运行证据见末尾。
实施基线：809e4d038aa69ad1ff3131206c12eca16d9c09df（13验收）。并行其他系列提交保留。

作者实际命令，工作目录 examples/distributed-systems：
1. go build ./raft ./raft11 ./raft12 ./raft13 首次失败 exit1。
   原因：默认 /Users/magicliang/Library/Caches/go-build 写入不在工具允许目录。
   之后使用任务已约定的 /private/tmp/ds-go-cache 作为编译缓存；未执行产物，不属于绕过实验程序防护。
2. GOCACHE=/private/tmp/ds-go-cache go build ./raft ./raft11 ./raft12 ./raft13 exit0。
3. GOCACHE=/private/tmp/ds-go-cache go build ./raft ./raft11 ./raft12 ./raft13 ./raft14 exit0。
4. GOCACHE=/private/tmp/ds-go-cache go vet ./raft ./raft11 ./raft12 ./raft13 ./raft14 exit0。
   第4项在respond/apply拆分及真实Timeout修改后复跑exit0。

早期父级独立静态证据：
- 父报告同包 go vet exit0，未执行任何新实验程序。
- 父与独立审查者只读检查配置/快照/读边界；发现的 initial 空配置、动态快照缺失配置、匹配边界不一致、伪造正常消息、apply后响应假阳性均已修改。
- 父使用工具内纯JS进行数学集合枚举，32子集、10联合有效、6并集误接受；这是数学核对，不是Go运行观察。

早期静态阶段未执行事项（当前结果见末尾）：
- raft14 九场景运行，race，help，unknown/多余参数退出码。
- 本次核心修改后的 raft11/raft12/raft13 运行回归。
- 新的真实进程恢复、磁盘故障或产品端到端实验（本篇驱动本来不声称这些）。
- Hexo构建/浏览器由父级后续记录，作者没有运行全站构建。

早期运行范围待澄清阶段：
用户明确禁止继续 ds13-parent-check 及通过改名执行等效产物，不得绕过本机防护。
父正在确认后续新Go实验范围，在明确答复前未执行新实验二进制、go run、go test。
源代码 PASS 字符串只是满足断言后才会打印的预期输出，不能记为实测。

写作流程：
使用 blog-editor 与 blog-illustrator；复用系列封面，不新增外部图片。
完整临时稿 /private/tmp/ds14-article.md 由父先全文阅读。
anti-ai-tone：材料支撑、段落推进、中文节奏、成稿连续性人工四遍；check_prose.py --profile tech：3906汉字，errors0，warning1（末段11–13范围与“论断—证据”标题中的连接号，非修辞堆叠，保留）。
随后 anti-persona-fabrication：全文人工检查和第一人称/亲历/说书词regex无命中。
以上顺序完成后才复制正文到 source/_posts。
父指出合法AE前缀不匹配仍需正常更新term/role，稿件已改正，未混同结构无效输入。
6张Mermaid依据见evidence；渲染待父复核。

附件链接修复：父级 Hexo 构建 exit0 后发现 evidence.md 被转换为网页，原下载链接不存在。已将源附件原内容重命名为 evidence.txt 并同步正文 href。仅修改局部链接，未重写散文，按 AGENTS 写作触发规则豁免双扫描；未手改 public。修复后构建由父级核验。


2026-09-20 后续真实运行（父级提供原始工具结果，作者未执行）：
用户澄清减少 /tmp 临时二进制，不是禁止全部实验。采用仓库内固定 .build 目录并复用相同产物。
构建目录：examples/distributed-systems
构建命令：GOTMPDIR="$PWD/.build/tmp" GOCACHE=/private/tmp/ds-go-cache go build -race -o .build/raft14 ./raft14
执行：./.build/raft14
SHA256：4bedbb6885d27f0253900da162982a0c1bf1955d89aea31e0123dae5764ce887
父 write_stdin session88440，exit0，原始输出：
PASS quorum: 32 subsets; 10 joint quorums; union-majority mutation accepts 6 invalid subsets
PASS membership: joint stored immediately; old-only ACKs insufficient; removed leader replicates final without self vote
PASS rollback: reachable term-2 election overwrites isolated uncommitted joint; active config returns to old voters
PASS joint election: new voter 4 obtains old-side votes from nodes with older configuration; candidate counts both sides
PASS reads: current-term barrier, applied fence, independent repeated-context rounds, stale ACK rejection and ready cancellation
PASS joint reads: old-only quorum blocked; dual-majority certificate cancelled when final config is stored
PASS snapshot: joint boundary survives recovery; final suffix controls current config; lagging follower accepts batched joint/final
PASS validation: malformed initial/config snapshot rejected before term mutation
PASS stale leader: role-only counterexample witness is 9 after completed write 27; fresh quorum rejects old term

CLI：父 session21192，Python subprocess复用上述二进制：
['-help'] exit0
['-scenario','unknown'] exit2，输出 unknown scenario: unknown
['unexpected'] exit2，输出 unexpected positional arguments

累计回归：父 session71865：
./.build/raft11 && ./.build/raft12 && ./.build/raft13
结果 exit137、输出为空；在第一个 raft11 启动终止，raft12/raft13没有执行。
原因未独立确认；遵照用户要求停止重试，没有改名或换路径重试。
不能将旧 ds13 用户确认的防护原因当作本次 raft11 根因；不能称累计运行全部通过。
父最新同五包 go vet exit0。作者未执行新二进制/新校验脚本，没有提交。

证据更新写作流程：先在临时完整稿替换开头/实验节中的旧状态，anti-ai-tone tech检查3981汉字、errors0、warnings0并人工四遍；随后anti-persona全文人工检查及regex无命中；再落正文。机制/图示未改变。