Astra 发现 Anthropic 形式化验证示例存在规格漏洞

Astra 团队发现，Anthropic 官方形式化验证示例存在 bug：其规格说明未校验输出字节与输入字节一致。发帖人 josephhgarvin 指出，专门演示形式化验证的示例本身却未验证到关键性质。