03 本地验证记录
日期：2026-09-19
环境：go version go1.27.0 darwin/arm64；Node v22.22.2。
验证级别：VERIFIED_LOCAL。未运行真实GFS、真实磁盘故障或租约时钟；未运行Go1.23。
命令工作目录：仓库 examples/distributed-systems。

GOCACHE=/private/tmp/ds-gfs03-cache go run -race ./gfs03
退出0，实际输出：
push: A/B/C buffered=DATA readable=empty
apply: offset=0 A/B/C=DATA success=true
attempt1: success=false A=RR B=RR C=empty
attempt2: success=true offset=2 A="RRRR" B="RRRR" C="\x00\x00RR"
padding: old-length=16 padding-bytes=2 retry-next=true new-offset=0 record=ABCD
versions: master=8 replicas=[8 8 7] fresh-directory=[A B] cached-C=old
order: primary=[x:1 y:2] A/B/C=y arrival-only=[y x]
CHECK scenarios=5 passed=true

GOCACHE=/private/tmp/ds-gfs03-cache go vet ./gfs03
退出0，无诊断。
GOCACHE=/private/tmp/ds-gfs03-cache go run ./gfs03 -help
退出0，显示scenario可选值与默认all。
GOCACHE=/private/tmp/ds-gfs03-cache go run ./gfs03 -scenario unknown
go run退出1，程序 exit status 2，unknown scenario: unknown。
GOCACHE=/private/tmp/ds-gfs03-cache go run ./gfs03 unexpected
go run退出1，程序 exit status 2，unexpected positional arguments。

变异检查：仅把源代码复制到 /private/tmp/ds-gfs03-bad.go，将 return fail == -1 替换成 return true。
GOCACHE=/private/tmp/ds-gfs03-cache go run /private/tmp/ds-gfs03-bad.go -scenario retry
预期失败且实际失败：panic: partial failure acknowledged，exit status 2，go run退出1。
正式源代码没有变异修改。

静态检查：gofmt完成；git diff --check通过；js-yaml解析front matter通过，封面文件存在；两条post_link各有且只有一个正文目标。
构建与浏览器验收：本记录写入时未由本子任务运行全站构建，按并行职责交给主任务统一运行；不得把本条静态结果称为构建或浏览器通过。