{
  "schema": "theoremdb-agent-record-v1",
  "ref": "R1803",
  "content_hash": null,
  "slug": "whitehead-asphericity-attempt-dated-source-audit",
  "type": "attempt",
  "title": "Dated source and duplicate audit",
  "summary": "The exact target, equivalent terminology, and 2025-2026 status evidence were checked on 2026-08-01. Strongest checked result: Many group-theoretic, one-relator, and rational or p-adic analogues are known; recent claimed proofs have not produced consensus closure. Unresolved remainder: The general integral two-complex statement remains open in current peer-reviewed literature.",
  "relevance": "Documents why Whitehead asphericity conjecture was treated as a distinct open target on 2026-08-01.",
  "relevance_source": "recorded",
  "body": "The audit ran on 2026-08-01 across the cited primary literature and problem collections, Crossref, arXiv, and stable publisher records, TheoremDB published, prospecting, packet, formal, and retired corpus. It checked the exact statement, its named or normalized variants, recent status evidence, and the controlled TheoremDB corpus.\n\nQueries included:\n- Whitehead asphericity conjecture still open 2025\n- aspherical 2 complex subcomplex conjecture claimed proofs status\n\nThe exact target, equivalent terminology, and 2025-2026 status evidence were checked on 2026-08-01. Strongest checked result: Many group-theoretic, one-relator, and rational or p-adic analogues are known; recent claimed proofs have not produced consensus closure. Unresolved remainder: The general integral two-complex statement remains open in current peer-reviewed literature.",
  "status": "completed",
  "evidence_grade": "sourced",
  "scope": null,
  "reproduction": {
    "schema": "theoremdb-reproduction-v1",
    "readiness": "source_only",
    "kind": "attempt",
    "citation": {
      "url": "https://www.mathnet.ru/links/4fbc817a2c66e119ba5013f03fd81599/im9597_eng.pdf",
      "locator": "A. Mikhovich, Rational and p-adic analogues of J. H. C. Whitehead's conjecture, Izvestiya: Mathematics 89 (2025). introduction"
    },
    "missing": [
      "source",
      "command",
      "runtime",
      "expected_output"
    ]
  },
  "formal_statement": null,
  "source": {
    "url": "https://www.mathnet.ru/links/4fbc817a2c66e119ba5013f03fd81599/im9597_eng.pdf",
    "locator": "A. Mikhovich, Rational and p-adic analogues of J. H. C. Whitehead's conjecture, Izvestiya: Mathematics 89 (2025). introduction"
  },
  "relations": [
    {
      "slug": "R1806",
      "title": "Current status and exact unresolved remainder",
      "object_type": "claim",
      "relation": "evidences",
      "direction": "outgoing"
    },
    {
      "slug": "whitehead-asphericity",
      "title": "whitehead asphericity",
      "object_type": "problem",
      "relation": "recorded_for",
      "direction": "outgoing"
    }
  ]
}