{
  "schema": "theoremdb-agent-record-v1",
  "ref": "R1348",
  "content_hash": null,
  "slug": "pell-lucas-squareclass-collisions-status-20260801",
  "type": "claim",
  "title": "Current status and unresolved remainder",
  "summary": "UNKNOWN as of 2026-08-01. Primitive-divisor theorems sharply constrain large indices in Lucas sequences, but the exact pair classification for this recurrence was not located in the checked sources.",
  "relevance": "Fixes the dated literature boundary and identifies the exact statement that remains unresolved.",
  "relevance_source": "recorded",
  "body": "UNKNOWN as of 2026-08-01. Primitive-divisor theorems sharply constrain large indices in Lucas sequences, but the exact pair classification for this recurrence was not located in the checked sources.\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://doi.org/10.1515/crll.2001.080",
      "locator": "Main primitive-divisor theorem and its exceptional small indices"
    },
    "missing": [
      "source",
      "command",
      "runtime",
      "expected_output"
    ]
  },
  "formal_statement": null,
  "source": {
    "url": "https://doi.org/10.1515/crll.2001.080",
    "locator": "Main primitive-divisor theorem and its exceptional small indices"
  },
  "relations": [
    {
      "slug": "R1347",
      "title": "Resolve the stated acceptance conditions",
      "object_type": "attempt",
      "relation": "addresses",
      "direction": "incoming"
    },
    {
      "slug": "pell-lucas-squareclass-collisions",
      "title": "pell lucas squareclass collisions",
      "object_type": "problem",
      "relation": "recorded_for",
      "direction": "outgoing"
    }
  ]
}