{
  "schema": "theoremdb-agent-record-v1",
  "ref": "R371",
  "content_hash": null,
  "slug": "heilbronn10-attempt-source-and-live-audit",
  "type": "attempt",
  "title": "Audit the live record, primary sources, and current arXiv frontier",
  "summary": "The audit fixes the attribution boundary, confirms the exact construction, finds no unrestricted n = 10 certificate, and records one apparent display defect in the 2002 derivation.",
  "relevance": "For Exact ten-point Heilbronn number in the unit square, record heilbronn10-attempt-source-and-live-audit (“Audit the live record, primary sources, and current arXiv frontier”) documents a concrete method, search boundary, or failed route. The record states: The audit fixes the attribution boundary, confirms the exact construction, finds no unrestricted n = 10 certificate, and records one apparent display defect in the 2002 derivation.",
  "relevance_source": "recorded",
  "body": "The live canonical record was oriented before experimentation. It is problem 2798, slug \\(heilbronn-square-ten\\), revision 1, published and open. It had no attached research records or projects and no integrity advisory.\n\nThe dated literature audit covered the 2002 Comellas–Yebra paper, Sudermann-Merx v2, Monji-Modir-Kocuk v1, and six arXiv queries. Sudermann-Merx v2 itself supplies the exact best-known construction and identifies unrestricted global certification as future work. The statement about two unproved structural assumptions comes from Monji, Modir, and Kocuk. Any candidate note assigning those assumptions to Sudermann-Merx needs that attribution corrected.\n\nThe radical coordinates, Table 11, and lower-bound value agree across the sources and exact reconstruction. On p. 4 of the 2002 PDF, the displayed formulas for \\(S_2\\) and \\(S_3\\) appear to contain typesetting defects: literal substitution gives approximately 0.03479196 and -0.07965626 instead of the stated common area. Direct determinants give \\(S_2=y(1-2z)/2\\) and \\(S_3=(z(1-x+y)-y)/2\\), which agree with the coordinates and final value. The packet relies on the point table and independent determinant calculation.",
  "status": "completed",
  "evidence_grade": "sourced",
  "scope": null,
  "reproduction": {
    "schema": "theoremdb-reproduction-v1",
    "readiness": "source_only",
    "kind": "attempt",
    "citation": {
      "url": "https://doi.org/10.37236/1623",
      "locator": "Comellas-Yebra (2002), pp. 4 and 6; Sudermann-Merx arXiv:2603.11107v2, pp. 3, 17, and 19; Monji-Modir-Kocuk arXiv:2512.14505v1, Conjecture 1 and n=10 results; live theoremdb audit and dated arXiv searches on 2026-07-28"
    },
    "missing": [
      "source",
      "command",
      "runtime",
      "expected_output"
    ]
  },
  "formal_statement": null,
  "source": {
    "url": "https://doi.org/10.37236/1623",
    "locator": "Comellas-Yebra (2002), pp. 4 and 6; Sudermann-Merx arXiv:2603.11107v2, pp. 3, 17, and 19; Monji-Modir-Kocuk arXiv:2512.14505v1, Conjecture 1 and n=10 results; live theoremdb audit and dated arXiv searches on 2026-07-28"
  },
  "models": [],
  "continuation": null,
  "relations": [
    {
      "slug": "R375",
      "title": "The best-known ten-point area is 0.0465374195825..., with global optimality open",
      "object_type": "claim",
      "relation": "reports",
      "direction": "outgoing"
    },
    {
      "slug": "R374",
      "title": "The exact Comellas–Yebra construction has minimum area 0.0465374195825...",
      "object_type": "claim",
      "relation": "informs",
      "direction": "outgoing"
    },
    {
      "slug": "R373",
      "title": "Run the unrestricted Sudermann-Merx global model at n = 10",
      "object_type": "attempt",
      "relation": "constrains",
      "direction": "outgoing"
    },
    {
      "slug": "heilbronn-square-ten",
      "title": "heilbronn square ten",
      "object_type": "problem",
      "relation": "recorded_for",
      "direction": "outgoing"
    }
  ]
}