发表机构
University of Houston; Miami University（休斯顿大学; 迈阿密大学）
机构由 AI 辅助整理，请以论文原文为准。AI 中文总结
提出无需预言机的一致性契约，通过两种检查测试量子纠错解码器库，按库声明能力门控判定，发现文档回答能力问题少、有界距离正确性声明产出率为零等问题，并打包639个证书供独立验证。
AI 中文摘要
量子纠错解码器是一个依赖他人结果的库，其评判方式单一。对样本错误进行解码，并统计错误的逻辑可观测值。我们探讨在那里还能检查什么。我们的一致性契约不需要预言机。一项检查要求返回的纠错在调用方的索引空间中解释该综合征。另一项检查向解码器提供一个实例，该实例以两种仅在簿记上不同的呈现方式给出，其中两种可行纠错具有不同权重，证明较重的纠错不是最小权重。判定结果以每个库所声明的能力为门控，因此触发即与已发布的保证相矛盾。来自五个公共库的九种配置给出了三种结果。文档回答了54个能力问题中的4个。有界距离正确性，即调用方最依赖的属性，其直接声明产出率为0.0%，尽管其假设在62.1%的情况下成立。呈现敏感性是真实但浅层的。一个求解器在不同编号下移动到权重增加26%的纠错，这最多在两万次射击中一次达到逻辑类。既有评估遗漏了保持逻辑奇偶性的损坏，而对调用方权重的一次求和捕获了我们注入的每一个损坏。所有639个证书以捆绑包形式提供，独立验证器从第一性原理重新推导。
英文摘要
A quantum error correction decoder is a library other people's results depend on, judged in one dominant way. Sample errors, decode, and count wrong logical observables. We ask what else can be checked there. Our conformance contract needs no oracle. One check asks that a returned correction explain the syndrome in the caller's index space. The other hands a decoder one instance under two presentations differing only in bookkeeping, where two feasible corrections of different weight prove the heavier is not minimum-weight. Verdicts are gated on what each library declares, so a firing contradicts a published guarantee. Nine configurations from five public libraries give three results. Documentation answers 4 of 54 capability questions. Bounded-distance correctness, the property callers most depend on, has a direct declaration yield of 0.0%, though its hypotheses hold in 62.1% of cases. Presentation sensitivity is real but shallow. One solver moved to a 26% heavier correction under a different numbering, which reaches the logical class at most once in twenty thousand shots. Established evaluation misses corruptions that preserve logical parity, while one summation over the caller's weights catches every one we injected. All 639 certificates ship as bundles a standalone verifier re-derives from first principles.
