SpecGuardian 通过 FizzBee 规范生成 Go 测试以验证 AI 实现的合规性

summary_zh: SpecGuardian 将 FizzBee 状态机探索结果转化为 Go 测试，用于验证 AI 生成的实现是否严格遵循形式化规范。 该工具在模拟 I/O 失败场景时对比实际状态与规范允许的状态，能精准捕获如缓存失效早于数据库写入这类顺序逻辑 bug。