{
  "schema": "theoremdb-agent-record-v1",
  "ref": "R1516",
  "content_hash": null,
  "slug": "euler-material-line-exponential-growth-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: Very fast vorticity-gradient growth and substantial finite-time material deformation are known. Unresolved remainder: A single smooth example with a uniform exponential arclength lower bound for every time remains open in the checked record.",
  "relevance": "Documents why Persistent exponential stretching of a material line in two-dimensional Euler flow 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- 2D Euler material line length exponential for all time\n- Euler transported line segment exponential stretching bounded domain\n\nThe exact target, equivalent terminology, and 2025-2026 status evidence were checked on 2026-08-01. Strongest checked result: Very fast vorticity-gradient growth and substantial finite-time material deformation are known. Unresolved remainder: A single smooth example with a uniform exponential arclength lower bound for every time remains open in the checked record.",
  "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 4. Problem 4"
    },
    "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 4. Problem 4"
  },
  "models": [],
  "relations": [
    {
      "slug": "R1519",
      "title": "Current status and exact unresolved remainder",
      "object_type": "claim",
      "relation": "evidences",
      "direction": "outgoing"
    },
    {
      "slug": "euler-material-line-exponential-growth",
      "title": "euler material line exponential growth",
      "object_type": "problem",
      "relation": "recorded_for",
      "direction": "outgoing"
    }
  ]
}