2026-09-20 local verification; macOS Darwin arm64. All outputs below are actual command output.
Earlier ordinary go run ./raft13 and go run -race ./raft13 passed; final commands below include EOF/reply-order repair and expanded boundary assertions.

$ go version
go version go1.27.0 darwin/arm64
EXIT=0; EXPECTED=0

$ go build -race -o /private/tmp/ds13-final ./raft13
EXIT=0; EXPECTED=0

$ /private/tmp/ds13-final
PASS recovery real-process=restart snapshot=2 replay-through=3 uncommitted-tail=4 x=50
PASS dedup snapshot-carries-results retry-cached=5 current-x=50 singleton-second-persist=complete
PASS snapshot lagger=installed boundary-AE=matched obsolete=ignored old-prev=rejected matching-suffix=retained conflict-suffix=replaced
PASS cut=partial-write killed-pid=3768 restarted-pid=3772 applied=1 x=5 no-success-before-cut=true
PASS cut=file-sync killed-pid=3778 restarted-pid=3780 applied=1 x=5 no-success-before-cut=true
PASS cut=before-rename killed-pid=3783 restarted-pid=3784 applied=1 x=5 no-success-before-cut=true
PASS cut=after-rename killed-pid=3787 restarted-pid=3788 applied=2 x=12 no-success-before-cut=true
PASS cut=durable killed-pid=3791 restarted-pid=3793 applied=2 x=12 no-success-before-cut=true
PASS injected-error=write process=stopped success-reply=none restart-applied=1
PASS injected-error=file-sync process=stopped success-reply=none restart-applied=1
PASS injected-error=rename process=stopped success-reply=none restart-applied=1
PASS injected-error=dir-sync process=stopped success-reply=none restart-applied=2
PASS validation overflow=rejected checksum=rejected mixed-generation=rejected dedup-loss=detected snapshot-alias=isolated higher-term-obsolete=save-before-reply
VERIFIED_LOCAL process crashes and controlled I/O errors; NOT power-loss or production E2E
EXIT=0; EXPECTED=0

$ go vet ./raft ./raft11 ./raft12 ./raft13
EXIT=0; EXPECTED=0

$ /private/tmp/ds13-final -help
Usage of raft13:
  -dir string
    	internal child directory
  -id uint
    	internal child identity
  -initialize
    	internal explicit bootstrap
  -members string
    	internal fixed membership
  -node
    	internal child process mode
  -scenario string
    	all, recovery, dedup, snapshot, cuts, errors, validation (default "all")
  -trace
    	print actual process and protocol observations
EXIT=0; EXPECTED=0

$ /private/tmp/ds13-final -scenario unknown
FAIL: unknown scenario "unknown"
EXIT=1; EXPECTED=1

$ /private/tmp/ds13-final unexpected
FAIL: positional arguments are not accepted
EXIT=1; EXPECTED=1

独立父级验证（父反馈，2026-09-20）
go run -race ./raft11：exit0，全场景PASS。go run -race ./raft12：exit0，全场景PASS。go vet ./raft ./raft11 ./raft12 ./raft13：exit0。
父级独立核心内存测试：最大索引四路径拒绝，单节点第二持久化门槛、快照深拷贝、压缩后全局索引通过；这不是文件恢复实验。
父级独立 ds13-parent-check 二进制启动及help：137，无场景输出；用户确认机器防护不允许该程序。父报告其与作者ds13-final的SHA256一致，但这不改变启动被防护阻止的事实。
用户要求停止后，不再执行该程序或同类独立实验二进制，也不更换路径、重签或尝试绕过防护。上面的作者成功记录发生于该要求之前，保留原始结果；不能据此声称父级独立完整进程实验已通过。
剩余：父级Hexo构建和浏览器图示/附件验收；真实断电、真实磁盘EIO、生产etcd以及网络E2E均未验证。

最终源文件SHA256（仅静态读取）
d57728252ea5fc207bc0468445c8dba598fc8e796f91f52d07ca636d803569ac  examples/distributed-systems/raft/election.go
13affb3b26c7876e8a6bfdfb87e0eef46ff0897ccb825a2a05c5e9a4c340a189  examples/distributed-systems/raft/replication.go
c44285a3eb87b331779078bd6651862269ebc7e529a80856d008fee1a1ec1b5c  examples/distributed-systems/raft/snapshot.go
3df8947a7b804a8090ef7f145da5a6334ba7d1e847bb2407535b21f0e87cfdd8  examples/distributed-systems/raft13/driver.go
75416938956c10e50a3de3f69c6287fc87cfaaf22217f535fbc29a308cda36e3  examples/distributed-systems/raft13/machine.go
908444955e18409191d25aa2aa0a8f4ffe472bc747d4b880b8695d8b86221cae  examples/distributed-systems/raft13/main.go
42924e5922e4d255fdc169320ea7d9ad04df611fec1700a5d281952b159918e7  examples/distributed-systems/raft13/node.go
224d7b2667cd95139179d239ef218acde50b6850fb3a2cc51028f1c12b38116d  examples/distributed-systems/raft13/scenarios.go
db41c365c44318e015b29bc74b89cafdc8fa926a156aaec8b6f387627125e942  examples/distributed-systems/raft13/storage.go
git diff --check 所属代码/正文/研究路径：exit0。
切点范围补充：五个Kill切点和四种I/O错误作用于含已有快照的新提交后缀映像发布；InstallSnapshot使用同一save路径，但未单独重复其每个安装窗口中断。没有分块快照传输测试。