分布式系统04 论断—证据—核验状态
核验日期2026-09-19。代码是独立标准库演示，不是课程作业答案。

S1 Go os.File.Sync API，锁定go1.27.0
https://pkg.go.dev/os@go1.27.0#File.Sync
C01 Sync将文件内容提交稳定存储，必须检查错误：官方API已核。
S2 Go1.27.0 Darwin实现
https://github.com/golang/go/blob/go1.27.0/src/internal/poll/fd_fsync_darwin.go
本机/opt/homebrew/Cellar/go/1.27.0/libexec/src/internal/poll/fd_fsync_darwin.go已读。
C02 本机路径F_FULLFSYNC，ENOTSUP回退fsync：本机版本与官方源码交叉核对。
反向检查历史问题 #26650、#64215，防止沿用旧版本仅调用fsync的描述。
https://github.com/golang/go/issues/26650
https://github.com/golang/go/issues/64215

S3 fsync(2), Linux man-pages，页面读取2026-09-19
https://man7.org/linux/man-pages/man2/fsync.2.html
C03 文件fsync不必然同步目录项，目录需另行处理；EIO/ENOSPC等必须检查。
状态：官方手册已核。Linux保证未直接当作Darwin运行观察。
S4 rename(2), Linux man-pages，页面读取2026-09-19
https://man7.org/linux/man-pages/man2/rename.2.html
C04 rename原子可见性不能单独推出掉电后名称持久性：结合S3推导。
演示未实现rename快照，未声称验证该组合协议。

S5 Atomic Commit In SQLite，滚动文档，读取2026-09-19
https://www.sqlite.org/atomiccommit.html
§2硬件假设，§8测试，§9故障边界已核。C05进程kill不能替代掉电故障注入。
§8 VFS模拟不完整扇区、垃圾数据和重排，说明比本机进程实验更强的验证范围。
该文仅解释rollback journal模式，不当作SQLite WAL实现，也不将历史版本描述
写成当前版本事实。本文未运行SQLite。
S6 Powersafe Overwrite，滚动文档，读取2026-09-19
https://www.sqlite.org/psow.html
C06 写入范围外字节不受损本身是存储假设，尾部JSON检查不足以覆盖介质损坏。
与S5独立文档核对，未宣称本机磁盘已做电源切断实验。

C07 业务、ID、原结果同日志记录可由同一前缀恢复；同一锁覆盖同步与内存应用。
代码推导，父线程独立源码审阅；真实HTTP、SIGKILL新PID恢复检查通过。
C08 未确认完整记录可能恢复，成功回复前必须已有同步边界：故障点推导。
启动先Sync再开放服务，避免恢复命中绕过同步。
C09 坏尾拒绝启动且不修改文件：本地注入半JSON，逐字节比较通过。
C10 revision是全局日志序号；GET返回store版本，写回放返回原操作版本。
代码和正文明确，不等于后续etcd key mod_revision。

流程：blog-editor沿用00系列封面与同名素材绑定；anti-ai-tone先检查
两道恢复练习增补后再次扫描，0错误0提醒，再anti-persona-fabrication检查无第一人称/拟人/说书词，
人工完整连读完成，之后才写入source/_posts正文。