QEC解码器库的符合性测试揭示了普遍未声明的有界距离正确性。新型无预言机证书通过自比较验证纠正的最小性，消除了对基真值解的需求。

#量子纠错 #解码器库 #研究