SpecGuardian 发布：用 FizzBee 形式化规格生成 Go 测试检验 AI 实现

mrasu 在 Show HN 发布 SpecGuardian，把 FizzBee 规格探索出的状态转成 Go 测试，检查 AI 生成的实现是否只落在规格允许的状态里。工具会在受支持的 I/O 调用前注入错误再比对实际状态，示例中缓存失效先于数据库写入的顺序 bug 被测试捕获。目前只支持单次 FizzBee Action 调用，公开 API 和生成的 Go 代码仍可能变动。