第12篇本地验证记录，2026-09-19
基线：第11篇已验收提交 d16d5f8522475d2b09c82e0ddd63747f765546ae 后实施。
验证环境：本机 Go 标准库，GOCACHE=/private/tmp/ds-go-cache；从 examples/distributed-systems 运行。

1. go run -race ./raft12：exit0，最终驱动包含same-term follower新增保存边界。
PASS figure8 old-term-majority=uncommitted later-leader=replaces-x terms=1,2,3,4
PASS protected current-term-z=commits-x,z stale-log-votes=2/5
PASS recovery destroyed-node=restored-full-image commit-cursor=0 old-term-AE=rejected prefix=a,b
PASS batches short=preserves-suffix heartbeat=preserves-suffix commit=monotonic bounded-commit=2-of-4 conflict=repairs
PASS reorder late-success=ignored duplicate=ignored sent-end=3 empty-prev=rejected late-failure=ignored stepped-down-success=ignored
PASS persistence atomic-term+log cuts=2 partial-ack=rejected local-append=gated aliases=isolated
PASS validation malformed-higher-term=unchanged same-term-candidate=steps-down-on-prev-failure
PASS mutation detected=leader-missing-committed,committed-overwrite

2. go vet ./raft ./raft11 ./raft12：exit0，无输出。
3. go run ./raft11：exit0，27种分票/重启/旧票/分区/6组日志比较/2个保存切点及丢票变异通过。父另独立go run -race ./raft11 exit0。
4. go run ./raft12 -h：exit0；go run ./raft12 -scenario nonsense：exit1；go run ./raft12 unexpected：exit1。
FAIL: unknown scenario "nonsense"
exit status 1
FAIL: positional arguments are not accepted
exit status 1

5. go run -race ./raft12 -scenario figure8 -mutate-old-commit -trace：预期exit1，实际exit1。最后输出：
TRACE deliver kind=3 5->3 term=4 request=2 success=false
TRACE deliver kind=4 3->5 term=4 request=2 success=true
FAIL: history rejected: leader-missing-committed node=5 term=4 index=1; committed-overwrite node=3 index=1
exit status 1

6. 父独立验证：go run -race ./raft12全部场景exit0；go vet三个目录exit0；-h exit0；-scenario bogus exit1；单独变异exit1准确报两个历史违反。新增same-term follower后，父定向go run -race ./raft12 -scenario persistence exit0。父临时API检查覆盖singleton屏障、错误ack、Status/Persist隔离、高term非法输入及candidate同term失败AE；核心相关同类断言已并入持久驱动，不依赖临时文件复现。

7. 写作流程：blog-editor/tech-writer与blog-illustrator先使用。最终稿先anti-ai-tone，再anti-persona-fabrication，然后写source。未交换顺序。
profile tech，汉字数 4413，错误 0，提醒 0
未发现检查器覆盖的问题。
anti-persona-fabrication: performed after final anti-ai-tone scan.
Lexical check: no first-person narrative, fabricated identity/experience, storytelling markers.
Manual review: opening, Figure8, proof, experiment, exercises and captions are impersonal statements; commands distinguish expected failure from observed output. No fabricated physical/network/disk observation. PASS.

8. 4张Mermaid；主题mermaid.enable=true、code_write=true已静态核查。前篇post_link目标存在，front matter与同名素材目录配对。正文模型与图由父全文审阅，两项图/引用修正已纳入最终扫描稿。

开发阶段记录：最初replication.go写入命令误用重复相对路径，随后修正cwd；临时编译出现缺闭合括号、map struct字段直接赋值错误，均已修正再运行。驱动曾尝试对仍为leader的节点触发选举，得到missing RequestVote，现通过真实销毁恢复成为follower后触发下一任期，全部轨迹最终通过。无将这些早期失败隐藏为成功输出。

证据边界：串行单进程内存队列与镜像保存，销毁重建Node是模拟崩溃；race通过不证明线程安全或真实网络正确。没有文件保存、断电、应用状态机、性能、无限活性或形式化证明。全站build与浏览器验收由父执行，当前此附件不声称子代理已执行。未commit/push/deploy。