SpecGuardian：用 FizzBee 形式化规格为 AI 生成的实现生成 Go 一致性测试

SpecGuardian 把 FizzBee 形式化规格的探索结果转成 Go 测试，用于验证 AI 生成的实现是否只到达规格允许的状态。测试会在受支持的 I/O 调用前注入错误，再比对实际状态与规格允许状态，例如在 cache-aside 示例中捕获"先失效缓存后写库"的顺序 bug。