TheMachine Press

A daily newspaper for the age of artificial intelligence.

Morning editionPermanent story

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.

Published Updated Story ID: mp-2026-09-09-014
Read the complete editionStory JSON

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

  1. 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

  1. arXiv preprint 2609.07035arXiv · primary research

Corrections

No corrections have been recorded for this story.