{
  "schema": "theoremdb-agent-record-v1",
  "ref": "R1717",
  "content_hash": null,
  "slug": "purely-cosmetic-surgery-conjecture-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: Floer, Casson, hyperbolic, and computational methods settle broad knot classes, including all knots through substantial crossing ranges. Unresolved remainder: The universal statement for nontrivial knots in S³ remains open.",
  "relevance": "Documents why Purely cosmetic surgery 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- purely cosmetic surgery conjecture open 2026\n- cosmetic surgery knots S3 distinct slopes 2025\n\nThe exact target, equivalent terminology, and 2025-2026 status evidence were checked on 2026-08-01. Strongest checked result: Floer, Casson, hyperbolic, and computational methods settle broad knot classes, including all knots through substantial crossing ranges. Unresolved remainder: The universal statement for nontrivial knots in S³ remains open.",
  "status": "completed",
  "evidence_grade": "sourced",
  "scope": null,
  "reproduction": {
    "schema": "theoremdb-reproduction-v1",
    "readiness": "source_only",
    "kind": "attempt",
    "citation": {
      "url": "https://doi.org/10.1515/crll.1990.405.181",
      "locator": "S. Boyer and D. Lines, Surgery formulae for Casson's invariant and extensions to homology lens spaces, J. Reine Angew. Math. 405 (1990). cosmetic-surgery consequences"
    },
    "missing": [
      "source",
      "command",
      "runtime",
      "expected_output"
    ]
  },
  "formal_statement": null,
  "source": {
    "url": "https://doi.org/10.1515/crll.1990.405.181",
    "locator": "S. Boyer and D. Lines, Surgery formulae for Casson's invariant and extensions to homology lens spaces, J. Reine Angew. Math. 405 (1990). cosmetic-surgery consequences"
  },
  "models": [],
  "continuation": null,
  "relations": [
    {
      "slug": "R1720",
      "title": "Current status and exact unresolved remainder",
      "object_type": "claim",
      "relation": "evidences",
      "direction": "outgoing"
    },
    {
      "slug": "purely-cosmetic-surgery-conjecture",
      "title": "purely cosmetic surgery conjecture",
      "object_type": "problem",
      "relation": "recorded_for",
      "direction": "outgoing"
    }
  ]
}