Show HN：用形式化规范测试 AI 实现

SpecGuardian 通过 FizzBee 生成的测试用例验证 AI 实现是否符合系统规范，包括在 I/O 失败时的状态检查。该工具从 FizzBee 探索结果生成 Go 测试，支持注入错误并对比实际状态与规范允许状态。用户可通过配置 specguardian.yml 定义状态观测与比较逻辑，并在 Go 项目中运行生成的测试。