{
  "$schema": "https://themachinepress.com/schemas/story-v1.schema.json",
  "schema_version": "1.0.0",
  "document_type": "machine_press_story",
  "story": {
    "story_id": "mp-2026-09-09-014",
    "source_story_id": "tmp-story-quantum-decoder-conformance-contract",
    "edition_id": "mp-2026-09-09-morning-0062",
    "edition_url": "https://themachinepress.com/edition/2026-09-09",
    "position": 14,
    "story_type": "dispatch",
    "section": "developer-tools",
    "editorial_classification": "editorial",
    "headline": "Quantum Decoder Libraries Declared Four of 54 Capabilities",
    "slug": "quantum-decoder-libraries-declared-four-of-54-capabilities",
    "dek": "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.",
    "body_text": "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.",
    "limitations": [
      "One solver returned a correction 26 percent heavier after only the numbering changed."
    ],
    "importance": 8,
    "canonical_url": "https://themachinepress.com/story/mp-2026-09-09-014/quantum-decoder-libraries-declared-four-of-54-capabilities",
    "json_url": "https://themachinepress.com/story/mp-2026-09-09-014.json",
    "first_published_at": "2026-09-09T09:00:00.000-04:00",
    "modified_at": "2026-09-09T09:00:00.000-04:00",
    "content_status": "new",
    "is_carryover": false,
    "carryover_reason": null,
    "key_claims": [
      {
        "claim_id": "claim-mp-2026-09-09-014-001",
        "text": "An oracle-free contract caught bookkeeping-sensitive behavior that ordinary logical-error counting can miss.",
        "source_ids": [
          "source-2026-09-09-014"
        ],
        "qualification": "One solver returned a correction 26 percent heavier after only the numbering changed."
      }
    ],
    "source_ids": [
      "source-2026-09-09-014"
    ],
    "tags": [
      "quantum error correction",
      "software testing",
      "decoder libraries"
    ],
    "image_url": null,
    "corrections": []
  },
  "sources": [
    {
      "source_id": "source-2026-09-09-014",
      "title": "arXiv preprint 2609.07035",
      "publisher": "arXiv",
      "url": "https://arxiv.org/abs/2609.07035",
      "canonical_url": "https://arxiv.org/abs/2609.07035",
      "source_type": "primary_research",
      "is_primary_source": true,
      "published_at": "2026-09-07T00:44:19.000-04:00",
      "accessed_at": "2026-09-09T08:30:00.000-04:00",
      "supports_claim_ids": [
        "claim-mp-2026-09-09-014-001"
      ]
    }
  ],
  "corrections": [],
  "publisher": {
    "name": "The Machine Press",
    "url": "https://themachinepress.com",
    "description": "A daily newspaper for the age of artificial intelligence."
  },
  "cite_this_report": {
    "title": "Quantum Decoder Libraries Declared Four of 54 Capabilities",
    "publisher": "The Machine Press",
    "published_at": "2026-09-09T09:00:00.000-04:00",
    "canonical_url": "https://themachinepress.com/story/mp-2026-09-09-014/quantum-decoder-libraries-declared-four-of-54-capabilities"
  }
}