{
  "schema": "theoremdb-agent-record-v1",
  "ref": "R927",
  "content_hash": null,
  "slug": "artins-primitive-root-conjecture-attempt-resolution-route",
  "type": "attempt",
  "title": "Resolve the stated acceptance condition",
  "summary": "Prove the predicted positive density for every qualifying integer a, or give a qualifying a and prove that the relevant prime set has zero density or fails to have the asserted density.",
  "relevance": "For Artin's primitive root conjecture, record artins-primitive-root-conjecture-attempt-resolution-route (“Resolve the stated acceptance condition”) documents a concrete method, search boundary, or failed route. The record states: Prove the predicted positive density for every qualifying integer a, or give a qualifying a and prove that the relevant prime set has zero density or fails to have the asserted density.",
  "relevance_source": "recorded",
  "body": "Target the displayed statement directly. Prove the predicted positive density for every qualifying integer a, or give a qualifying a and prove that the relevant prime set has zero density or fails to have the asserted density. 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/2502.19601",
      "locator": "Editorial research route recorded 2026-07-31"
    },
    "missing": [
      "source",
      "command",
      "runtime",
      "expected_output"
    ]
  },
  "formal_statement": null,
  "source": {
    "url": "https://arxiv.org/abs/2502.19601",
    "locator": "Editorial research route recorded 2026-07-31"
  },
  "relations": [
    {
      "slug": "R928",
      "title": "Current status and unresolved remainder",
      "object_type": "claim",
      "relation": "addresses",
      "direction": "outgoing"
    },
    {
      "slug": "artins-primitive-root-conjecture",
      "title": "artins primitive root conjecture",
      "object_type": "problem",
      "relation": "recorded_for",
      "direction": "outgoing"
    }
  ]
}