# 08 本地验证记录

日期：2026-09-19
环境：go version go1.27.0 darwin/arm64
代码：examples/distributed-systems/consensus08/main.go
所有实验均为标准库有限事件模型，无真实网络、计时、子进程故障或产品端到端测试。

已执行且通过：
工作目录 examples/distributed-systems
GOCACHE=/private/tmp/ds-go-cache go run -race ./consensus08 -check

timeout: window=5 equal-prefix=true suspect-both=true delayed-heartbeat-at=7 delivered=1 pending=0
unsafe: window=5 before=[0 1 1] after=[0 1 1] agreement-violation=true delivered=6 pending=0
wait-all: window=5 before=[-1 -1 -1] after=[0 0 0] delivered=6 pending=0
checks: windows=[1 2 5 25] passed; finite-model observations only, no FLP proof

GOCACHE=/private/tmp/ds-go-cache go vet ./consensus08
退出0，无诊断。父代理独立执行默认 -check 与 go vet 也通过，并审读了完整代码。

实验断言：观察者窗口前缀完全相等；健康心跳在 window+2 到达；错误规则在窗口结束产生两个决定值且后续不改变；等待全部输入规则窗口内全未决定、交付后全0；每个场景生成消息数等于交付数且队列为空。

额外检查未通过：
单独 go run -race ./consensus08 -check -window 25 两次在任何场景输出前 signal: killed。
GOCACHE=/private/tmp/ds-go-cache go build -race -o /private/tmp/consensus08-check ./consensus08 退出0。
/private/tmp/consensus08-check -check -window 25 无输出、退出137。
三次运行失败后停止扩展尝试；未取得根因，不归因于代码、签名或环境。窗口25已经在默认 -check 的内部断言中通过，但单独 CLI 参数运行不据此冒充验证成功。

写作流程：
已读取 blog-editor 及 workflow、cover-search；按本系列现有方案使用 /img/cover-distributed-systems.svg。
完整临时稿先经 anti-ai-tone tech profile：0 error、3 warning；warnings均为作者连字符或引用页码范围的 en dash，并非修辞破折号，人工复核保留。逐段材料支撑、推进、中文节奏与连续性检查通过。
随后 anti-persona-fabrication：第一人称、虚构经历、说书人标记无命中，全文非人称审读通过。
之后正文落盘；两道练习含答案，06/07 post_link目标存在，同名素材目录含 evidence.txt/verification.txt。

父代理CLI检查：go run ./consensus08 -help 退出0，输出check和window范围；go run ./consensus08 -check -window 0 输出usage，程序exit2（go run外层exit1）。
全站 npm run build、生成页链接与附件由父代理集成验收，结果记录于 writing-plans/distributed-systems/STATUS.md。
未验证事项：无限公平执行上的活性、故障检测器对全部输出历史的性质、随机共识概率终止、真实网络故障、任何生产系统性能。