{
  "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": "For rational points y2 x6 minus x2 plus1, pins the dated research frontier: 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_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"
  },
  "models": [],
  "continuation": null,
  "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"
    }
  ]
}