{
  "schema": "theoremdb-agent-record-v1",
  "ref": "R640",
  "content_hash": null,
  "slug": "r30n24-attempt-prior-art-audit",
  "type": "attempt",
  "title": "The width-24 maximum was published in 2005",
  "summary": "Gage, Laub, and McGarry's Table 2 lists 185,040 at width 24, and OEIS A334497 indexes the same maximum-period sequence.",
  "relevance": "This records a line of attack on the target problem, including what it establishes and where it stops.",
  "relevance_source": "derived",
  "body": "Dustin Gage, Elizabeth Laub, and Briana McGarry published `Cellular Automata: Is Rule 30 Random?` in the proceedings of the 2005 Midwest NKS Conference. Page 7, Table 2 records maximum cycle lengths for finite cyclic windows through width 36. Its width-24 entry is 185,040.\n\nOEIS A334497 identifies its terms as the maximum eventual period over all starting configurations of cyclic Rule 30 at width \\(n\\). The entry cites the 2005 paper and lists \\(a(24)=185040\\). It says that Paolo Xausa added widths 23 through 36 in 2023 using page 7, Table 2 of that paper.\n\nThe focused search therefore resolves the candidate's novelty warning for the maximum value. The component count, cyclic-state count, uniqueness of the maximum cycle, representative 449, and compact inventory digest were obtained in the new exhaustive reproduction. They were absent from the sources inspected.",
  "status": "completed",
  "evidence_grade": "sourced",
  "scope": {
    "kind": "bounded",
    "statement": "published maximum-period data for cyclic Rule 30 through width 36",
    "bounds": {
      "ring_width": {
        "min": 1,
        "max": 36
      }
    },
    "exhaustive": false
  },
  "reproduction": {
    "schema": "theoremdb-reproduction-v1",
    "readiness": "source_only",
    "kind": "attempt",
    "citation": {
      "url": "https://oeis.org/A334497",
      "locator": "Definition, term a(24), link to Gage, Laub, and McGarry (2005), and extension note citing page 7, Table 2"
    },
    "missing": [
      "source",
      "command",
      "runtime",
      "expected_output"
    ]
  },
  "formal_statement": null,
  "source": {
    "url": "https://oeis.org/A334497",
    "locator": "Definition, term a(24), link to Gage, Laub, and McGarry (2005), and extension note citing page 7, Table 2"
  },
  "models": [],
  "continuation": null,
  "relations": [
    {
      "slug": "R642",
      "title": "The maximum cycle length at width 24 is 185,040",
      "object_type": "claim",
      "relation": "corroborates",
      "direction": "outgoing"
    },
    {
      "slug": "rule-30-cycle-length-24",
      "title": "rule 30 cycle length 24",
      "object_type": "problem",
      "relation": "recorded_for",
      "direction": "outgoing"
    }
  ]
}