developer tools
Quantum Decoder Libraries Declared Four of 54 Capabilities
An oracle-free contract caught bookkeeping-sensitive behavior that ordinary logical-error counting can miss.
Summary
An oracle-free contract caught bookkeeping-sensitive behavior that ordinary logical-error counting can miss.
The proposed conformance suite checks whether a decoder’s correction explains the syndrome in the caller’s index space and whether equivalent presentations can force a correction heavier than another known feasible one. Verdicts are gated on each library’s own declarations. Across nine configurations from five public libraries, documentation answered four of 54 capability questions, and none directly declared bounded-distance correctness even though its hypotheses held in 62.1 percent of cases. One solver returned a correction 26 percent heavier after only the numbering changed. All 639 certificates ship with a standalone verifier, making the reported contradictions independently re-derivable.
Why it matters
An oracle-free contract caught bookkeeping-sensitive behavior that ordinary logical-error counting can miss.
Limits and context
- One solver returned a correction 26 percent heavier after only the numbering changed.
Key claims
An oracle-free contract caught bookkeeping-sensitive behavior that ordinary logical-error counting can miss.
Qualification: One solver returned a correction 26 percent heavier after only the numbering changed.
Evidence: source-2026-09-09-014
Sources
- arXiv preprint 2609.07035arXiv · primary research
Corrections
No corrections have been recorded for this story.