Show HN：SpecGuardian 用 FizzBee 形式化规格测试 AI 生成的实现

SpecGuardian 把 FizzBee 形式化规格的探索结果转成 Go 测试，用来验证 AI 生成的实现是否只落在规格允许的状态里。测试会在受支持的 I/O 调用前注入错误，再比对实际状态与规格允许状态，能抓出缓存失效先于数据库写入这类顺序 bug。目前它一次只针对单个 FizzBee Action 生成 Go 测试，公开 API 与生成的 Go 代码仍可能变动。