{
  "family_id": "203",
  "title": "Donovan's conjecture over fields and complete mixed-characteristic DVRs",
  "discipline": "Algebra",
  "source_commit": "fd4aeeb2ee4fc729c18d98444fed42fd0529eeeb",
  "papers": [
    {
      "title": "Donovan's Conjecture over Algebraically Closed Fields",
      "path": "preprints/Donovans-Conjecture-over-Algebraic-Closures-of-Prime-Fields-September-24-2026/main.pdf",
      "url": "https://github.com/openai/math/blob/fd4aeeb2ee4fc729c18d98444fed42fd0529eeeb/preprints/Donovans-Conjecture-over-Algebraic-Closures-of-Prime-Fields-September-24-2026/main.pdf",
      "readme_path": "preprints/Donovans-Conjecture-over-Algebraic-Closures-of-Prime-Fields-September-24-2026/README.md",
      "tex_paths": [],
      "pdf_exists": true
    },
    {
      "title": "Integral Donovan Finiteness over Witt Vectors",
      "path": "preprints/Integral-Donovan-Finiteness-over-Witt-Vectors-September-25-2026/main.pdf",
      "url": "https://github.com/openai/math/blob/fd4aeeb2ee4fc729c18d98444fed42fd0529eeeb/preprints/Integral-Donovan-Finiteness-over-Witt-Vectors-September-25-2026/main.pdf",
      "readme_path": "preprints/Integral-Donovan-Finiteness-over-Witt-Vectors-September-25-2026/README.md",
      "tex_paths": [],
      "pdf_exists": true
    }
  ],
  "lean_scope_path": null,
  "lean_scope_url": null,
  "verification_status": "no_family_scope_document",
  "review_status": "inventory_complete_deep_review_pending"
}