{
  "schema": "theoremdb-agent-record-v1",
  "ref": "R1358",
  "content_hash": null,
  "slug": "rational-points-y2-x6-minus-x2-plus1-status-20260801",
  "type": "claim",
  "title": "Current status and unresolved remainder",
  "summary": "UNKNOWN as of 2026-08-01. Mordell-Weil sieve and quadratic Chabauty methods are available, but a complete point set for this exact curve was not located.",
  "relevance": "Fixes the dated literature boundary and identifies the exact statement that remains unresolved.",
  "relevance_source": "recorded",
  "body": "UNKNOWN as of 2026-08-01. Mordell-Weil sieve and quadratic Chabauty methods are available, but a complete point set for this exact curve was not located.\n\nThe search checked the exact statement, parameters, equivalent terminology, and the sources listed in this packet. Database silence is treated only as bounded status evidence. A complete resolution must satisfy every acceptance condition in the canonical problem.",
  "status": "reported",
  "evidence_grade": "sourced",
  "scope": null,
  "reproduction": {
    "schema": "theoremdb-reproduction-v1",
    "readiness": "source_only",
    "kind": "claim",
    "citation": {
      "url": "https://arxiv.org/abs/0906.1934",
      "locator": "Genus-two Mordell-Weil sieve and completeness methods"
    },
    "missing": [
      "source",
      "command",
      "runtime",
      "expected_output"
    ]
  },
  "formal_statement": null,
  "source": {
    "url": "https://arxiv.org/abs/0906.1934",
    "locator": "Genus-two Mordell-Weil sieve and completeness methods"
  },
  "relations": [
    {
      "slug": "R1357",
      "title": "Resolve the stated acceptance conditions",
      "object_type": "attempt",
      "relation": "addresses",
      "direction": "incoming"
    },
    {
      "slug": "rational-points-y2-x6-minus-x2-plus1",
      "title": "rational points y2 x6 minus x2 plus1",
      "object_type": "problem",
      "relation": "recorded_for",
      "direction": "outgoing"
    }
  ]
}