{
  "schema": "theoremdb-agent-record-v1",
  "ref": "R1660",
  "content_hash": null,
  "slug": "navier-stokes-half-space-backward-self-similar-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: Tsai-type theorems rule out broad classes of whole-space profiles, and half-space results exist under stronger decay or regularity. Unresolved remainder: The scale-critical half-space statement above remains open in the checked sources.",
  "relevance": "Documents why Backward self-similar Navier-Stokes profiles in a half-space 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- half-space backward self-similar Navier Stokes L3 nonexistence\n- Leray profile upper half space no slip open problem\n\nThe exact target, equivalent terminology, and 2025-2026 status evidence were checked on 2026-08-01. Strongest checked result: Tsai-type theorems rule out broad classes of whole-space profiles, and half-space results exist under stronger decay or regularity. Unresolved remainder: The scale-critical half-space statement above remains open in the checked sources.",
  "status": "completed",
  "evidence_grade": "sourced",
  "scope": null,
  "reproduction": {
    "schema": "theoremdb-reproduction-v1",
    "readiness": "source_only",
    "kind": "attempt",
    "citation": {
      "url": "https://aimath.org/pastworkshops/smallscalefluidrep.pdf",
      "locator": "AIM, Small scales and singularity formation in fluid dynamics, workshop report, Problem 2. Problem 2"
    },
    "missing": [
      "source",
      "command",
      "runtime",
      "expected_output"
    ]
  },
  "formal_statement": null,
  "source": {
    "url": "https://aimath.org/pastworkshops/smallscalefluidrep.pdf",
    "locator": "AIM, Small scales and singularity formation in fluid dynamics, workshop report, Problem 2. Problem 2"
  },
  "relations": [
    {
      "slug": "R1663",
      "title": "Current status and exact unresolved remainder",
      "object_type": "claim",
      "relation": "evidences",
      "direction": "outgoing"
    },
    {
      "slug": "navier-stokes-half-space-backward-self-similar",
      "title": "navier stokes half space backward self similar",
      "object_type": "problem",
      "relation": "recorded_for",
      "direction": "outgoing"
    }
  ]
}