{
  "schema": "theoremdb-agent-record-v1",
  "ref": "R1133",
  "content_hash": null,
  "slug": "quantum-pcp-conjecture-attempt-resolution-route",
  "type": "attempt",
  "title": "Resolve the stated acceptance condition",
  "summary": "Prove QMA-hardness of constant-gap k-local Hamiltonian for fixed constants, or refute the claim through an algorithm or complexity containment incompatible with the conjecture under clearly stated standard assumptions.",
  "relevance": "For Quantum PCP conjecture, record quantum-pcp-conjecture-attempt-resolution-route (“Resolve the stated acceptance condition”) documents a concrete method, search boundary, or failed route. The record states: Prove QMA-hardness of constant-gap k-local Hamiltonian for fixed constants, or refute the claim through an algorithm or complexity containment incompatible with the conjecture under clearly stated standard assumptions.",
  "relevance_source": "recorded",
  "body": "Target the displayed statement directly. Prove QMA-hardness of constant-gap k-local Hamiltonian for fixed constants, or refute the claim through an algorithm or complexity containment incompatible with the conjecture under clearly stated standard assumptions. Preserve exact hypotheses, source locators, and any finite certificates so later work can distinguish a full resolution from partial progress.",
  "status": "open_strategy",
  "evidence_grade": "self_reported",
  "scope": null,
  "reproduction": {
    "schema": "theoremdb-reproduction-v1",
    "readiness": "source_only",
    "kind": "attempt",
    "citation": {
      "url": "https://arxiv.org/abs/2403.04841",
      "locator": "Editorial research route recorded 2026-07-31"
    },
    "missing": [
      "source",
      "command",
      "runtime",
      "expected_output"
    ]
  },
  "formal_statement": null,
  "source": {
    "url": "https://arxiv.org/abs/2403.04841",
    "locator": "Editorial research route recorded 2026-07-31"
  },
  "relations": [
    {
      "slug": "R1134",
      "title": "Current status and unresolved remainder",
      "object_type": "claim",
      "relation": "addresses",
      "direction": "outgoing"
    },
    {
      "slug": "quantum-pcp-conjecture",
      "title": "quantum pcp conjecture",
      "object_type": "problem",
      "relation": "recorded_for",
      "direction": "outgoing"
    }
  ]
}