00 本地验证记录（2026-09-19）
代码入口：examples/distributed-systems/model00/main.go
环境：macOS 27.0 (26A428), darwin/arm64, go1.27.0, Node v22.22.2。
模块最低版本：go 1.23.0；没有在 Go 1.23 工具链实跑。

已执行命令（工作目录 examples/distributed-systems）：
GOCACHE=/private/tmp/ds-go-cache go run -race ./model00
退出 0，输出：
request-lost client=TIMEOUT executed=false A(memory=0,stable=0) B=0 C=0
reply-lost client=TIMEOUT executed=true A(memory=1,stable=1) B=0 C=0
volatile-ack-restart client=OK executed=true A(memory=0,stable=0) B=0 C=0
durable-ack-restart client=OK executed=true A(memory=1,stable=1) B=0 C=0
sync-missing client=TIMEOUT executed=true A(memory=0,stable=0) B=0 C=0
CHECK histories=10 volatile-ack-losses=1 durable-ack-losses=0 timeout-has-both-outcomes=true

GOCACHE=/private/tmp/ds-go-cache go vet ./...：退出 0。
GOCACHE=/private/tmp/ds-go-cache go run -race ./model00 -check：退出 0，同上 CHECK。
GOCACHE=/private/tmp/ds-go-cache go run ./model00 -help：退出 0，显示 -check 用法。

变异检查：仅在 mktemp 临时目录复制源码，将同步赋值改为 stable=0。
go run 临时副本 -check：退出 1，输出：
model check failed: histories=10 volatileLosses=2 durableLosses=1 timeoutExecuted=true timeoutAbsent=true
exit status 1
正式源码未改动。此检查证明自检能发现本次故意破坏，不代表穷尽实现缺陷。

验证层次：本地确定性教学模型，未连接网络、没有文件同步、没有真实重启。
没有独立 test 文件；断言集中在可运行的 check()，并由变异检查验证失败路径。
未安装 gofumpt/golangci-lint/nilaway；使用 gofmt、go vet、race 下模型自检，不宣称全套静态分析通过。

CLI 非法参数验证限制：后续 go run 和编译二进制的执行均被系统以 signal: killed / 137 终止，未获得预期 exit 2。未查明系统终止原因；未把它算作参数验证通过。先前正常执行、-check、-help 与变异反例均有明确退出记录。
首次 Hexo 构建因本篇 post_link 带日期而失败，已按仓库 new_post_name/slug 规则去掉日期；随后重新执行构建。

站点核验：npm run build 修复 post_link 后退出 0，生成 2102 个文件。
浏览器已打开本机生成页面，正文、时间线、代码块、目录及既有封面均可见。
点击 txt 附件发现 Butterfly PJAX 尝试载入纯文本；已按主题明确排除 target=_blank 的规则，为本篇两个附件链接增加 target=_blank / rel=noopener，不修改全站配置。