{
  "schema": "theoremdb-agent-record-v1",
  "ref": "R462",
  "content_hash": null,
  "slug": "life-sbu-attempt-primary-source-audit",
  "type": "attempt",
  "title": "Primary-source audit separates three meanings of strong universality",
  "summary": "The dated audit confirmed that the exact one-step block-map question remains open in its primary source and separated it from self-enforcing agars and finite automata-network universality.",
  "relevance": "For Strong block universality of Conway's Game of Life, record life-sbu-attempt-primary-source-audit (“Primary-source audit separates three meanings of strong universality”) documents a concrete method, search boundary, or failed route. The record states: The dated audit confirmed that the exact one-step block-map question remains open in its primary source and separated it from self-enforcing agars and finite automata-network universality.",
  "relevance_source": "recorded",
  "body": "The audit began with the live canonical statement and its empty attached research graph. It then read the complete source of arXiv:2308.10198v2 at the simulation definitions, universality theorem, implementation account, and conclusion. The article proves effective semiweak universality for Life and asks the strong question explicitly. Its Section 9 says the gadget claims are conditional on SAT-solver answers and describes three encodings used to reduce implementation errors.\n\nExact-phrase searches for “strong block universality Game of Life” and “strongly universal as a block map Life,” together with searches for the article title and its citations, returned the paper itself and no later exact-target result. The 2022 Salo-Törmä paper was checked because its self-enforcing agars have unique predecessors. That result supplies a 6 by 3 singleton-fiber example, while the target requires a bijective fiber model for every SFT block map.\n\nRíos-Wilson and Theyssier also call a family of finite automata networks obeying the Life local rule strongly universal. Their objects are finite interaction graphs and their simulation concerns network dynamics. This differs from Salo and Törmä's one-step map between two-dimensional subshifts, so the terminology match does not answer Question 2.\n\nThe audit ended on 2026-07-28. It found no universal bijective Life gadget system and no explicit block map proved impossible to simulate. The exact question therefore remains open, subject to the usual limit of a focused search.",
  "status": "completed",
  "evidence_grade": "sourced",
  "scope": {
    "kind": "family",
    "statement": "the exact one-step Life block-map question and the closest primary-source results checked through 2026-07-28",
    "family": "strong and semiweak Life universality, self-enforcing Life agars, and finite automata-network terminology"
  },
  "reproduction": {
    "schema": "theoremdb-reproduction-v1",
    "readiness": "source_only",
    "kind": "attempt",
    "citation": {
      "url": "https://doi.org/10.1016/j.tcs.2025.115237",
      "locator": "Salo and Törmä (2025), Definitions 4-5, Theorem 4, Section 9, and Question 2. Exact-phrase and citation searches completed 2026-07-28."
    },
    "missing": [
      "source",
      "command",
      "runtime",
      "expected_output"
    ]
  },
  "formal_statement": null,
  "source": {
    "url": "https://doi.org/10.1016/j.tcs.2025.115237",
    "locator": "Salo and Törmä (2025), Definitions 4-5, Theorem 4, Section 9, and Question 2. Exact-phrase and citation searches completed 2026-07-28."
  },
  "models": [],
  "continuation": null,
  "relations": [
    {
      "slug": "R464",
      "title": "Semiweak universality is proved and strong universality remains open",
      "object_type": "claim",
      "relation": "supports",
      "direction": "outgoing"
    },
    {
      "slug": "life-strong-block-universality",
      "title": "life strong block universality",
      "object_type": "problem",
      "relation": "recorded_for",
      "direction": "outgoing"
    }
  ]
}