OSS Verify TRIAL

公开 proof 可复查，但保证范围窄于完整软件栈。

建议动作一天内用公开 Rocq 环境重放一个已发布证明，记录检查时间、失败依赖，并核对目标性质是否覆盖你的威胁模型。

判断复核于 2026-10-24 · 依据：Anthropic 与 Theorem 发布 C 库机器校验证明