{
  "$schema": "https://themachinepress.com/schemas/story-v1.schema.json",
  "schema_version": "1.0.0",
  "document_type": "machine_press_story",
  "story": {
    "story_id": "mp-2026-10-08-019",
    "source_story_id": "tmp-sidebar-qusema-quantum-library-bugs",
    "edition_id": "mp-2026-10-08-morning-0090",
    "edition_url": "https://themachinepress.com/edition/2026-10-08",
    "position": 21,
    "story_type": "ticker",
    "section": "developer-tools",
    "editorial_classification": "editorial",
    "headline": "Quantum Semantics Found Forty Confirmed Library Bugs",
    "slug": "quantum-semantics-found-forty-confirmed-library-bugs",
    "dek": "QuSema used documentation and domain constraints as an oracle for silent implementation errors in Qiskit and PennyLane.",
    "summary": "QuSema used documentation and domain constraints as an oracle for silent implementation errors in Qiskit and PennyLane.",
    "body_text": "On twenty historical silent bugs, the agent achieved higher mean relocation counts than two general coding agents in the authors' setup. It also reported forty previously unknown bugs confirmed by developers, thirty of them silent rather than crashes, by turning semantic mismatches into executable tests.",
    "why_it_matters": "QuSema used documentation and domain constraints as an oracle for silent implementation errors in Qiskit and PennyLane.",
    "limitations": [],
    "importance": 6,
    "canonical_url": "https://themachinepress.com/story/mp-2026-10-08-019/quantum-semantics-found-forty-confirmed-library-bugs",
    "json_url": "https://themachinepress.com/story/mp-2026-10-08-019.json",
    "first_published_at": "2026-10-08T09:00:00.000-04:00",
    "modified_at": "2026-10-08T09:00:00.000-04:00",
    "content_status": "new",
    "is_carryover": false,
    "carryover_reason": null,
    "key_claims": [
      {
        "claim_id": "claim-mp-2026-10-08-019-001",
        "text": "QuSema used documentation and domain constraints as an oracle for silent implementation errors in Qiskit and PennyLane.",
        "source_ids": [
          "source-2026-10-08-021"
        ],
        "qualification": null
      }
    ],
    "source_ids": [
      "source-2026-10-08-021"
    ],
    "tags": [
      "quantum software",
      "silent bugs",
      "testing agents"
    ],
    "image_url": null,
    "corrections": []
  },
  "sources": [
    {
      "source_id": "source-2026-10-08-021",
      "title": "arXiv preprint 2610.10258",
      "publisher": "arXiv",
      "url": "https://arxiv.org/abs/2610.10258",
      "canonical_url": "https://arxiv.org/abs/2610.10258",
      "source_type": "primary_research",
      "is_primary_source": true,
      "published_at": "2026-10-07T11:33:38.000-04:00",
      "accessed_at": "2026-10-08T08:26:48.909-04:00",
      "supports_claim_ids": [
        "claim-mp-2026-10-08-019-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 Semantics Found Forty Confirmed Library Bugs",
    "publisher": "The Machine Press",
    "published_at": "2026-10-08T09:00:00.000-04:00",
    "canonical_url": "https://themachinepress.com/story/mp-2026-10-08-019/quantum-semantics-found-forty-confirmed-library-bugs"
  }
}