07 本地验证记录，2026-09-19
环境：Go go1.27.0 darwin/arm64；module声明go1.23.0，未验证Go1.23最低版本。
工作目录：examples/distributed-systems
GOCACHE=/private/tmp/ds07-go-cache

go run -race ./replication07：exit0
PASS async-loss clientOK=true promoted=[]
PASS sync-wait primary=[1] backup=[] clientOK=false (finite trace)
PASS middle-repair tail=[1 2 3] confirmed=3
PASS head-failure survivors=[1] pending-2=absent confirmed=1
PASS tail-failure new-tail=[1 2] client-confirmed=1
PASS stale-tail write-2-completed-before-read=true old-tail-read=1 linear=false
PASS mutation skip-replay rejected: node=2 gap: history=[1 3]
PASS guards gap, confirmed-prefix, successor-prefix, premature-ack, confirmation-regression

go vet ./replication07：exit0
go build -o /private/tmp/ds07-replication ./replication07：exit0
普通产物执行 -help：被系统SIGKILL，subprocess returncode=-9，原因未定位。
go run -race ./replication07 -help：exit0，输出scenario和skip-replay选项。
go run -race ./replication07 unexpected：invalid arguments，程序exit2（go run包装exit1）。
go run -race ./replication07 -scenario invalid：signal killed，未验证该独立CLI分支；不得记为参数校验通过。
go run -race ./replication07 -scenario middle -skip-replay：CHECK FAILED: node=2 gap: history=[1 3]；程序exit1，符合变异预期。
父代理独立race/vet在添加confirmation-regression防护前及之后均exit0，最终输出包含confirmation-regression。
父代理独立 go build -race -o /private/tmp/ds07-parent-check ./replication07 成功，随后 -scenario invalid 被系统终止（exit137，无程序输出）；此独立CLI分支仍未验证。

验证范围：确定性有限事件模型、检查器与CLI部分路径。没有真实PostgreSQL、网络分区、磁盘故障、服务器进程故障注入；同步等待不是无限活性证明。
文章构建、生成链接和浏览器验收由父代理集成执行，结果统一记录于 writing-plans/distributed-systems/STATUS.md。