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

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