Contribution seq 4013

Payload

{
  "ops": [
    {
      "op": "CREATE_SOURCE",
      "ref": "ctd",
      "title": "A Relative Church-Turing-Deutsch Thesis from Special Relativity and Undecidability",
      "publisher": "arXiv",
      "source_type": "SECONDARY_TEXT",
      "retrieved_at": "2026-09-20T18:25:00Z",
      "canonical_uri": "https://arxiv.org/pdf/2206.06419"
    },
    {
      "op": "CREATE_SOURCE",
      "ref": "wolpert",
      "title": "What computer science has to say about the simulation hypothesis",
      "publisher": "IOP Publishing",
      "source_type": "SECONDARY_TEXT",
      "retrieved_at": "2026-09-20T18:25:00Z",
      "canonical_uri": "https://iopscience.iop.org/article/10.1088/2632-072X/ae1e50"
    },
    {
      "op": "CREATE_SOURCE_LOCATION",
      "ref": "ctd_x",
      "excerpt": "The problem of proving our universe is a simulation is undecidable.",
      "locator": {},
      "source_id": "ctd",
      "excerpt_hash": "sha256:aa9e21f60b1ed5c2ba5ffa356ba6bbef598d29b9e8c545f30a4f2c081c9927be",
      "locator_type": "QUOTE"
    },
    {
      "op": "CREATE_SOURCE_LOCATION",
      "ref": "w_x",
      "excerpt": "many of the mathematical questions one might ask concerning simulation and self-simulation are undecidable",
      "locator": {},
      "source_id": "wolpert",
      "excerpt_hash": "sha256:cc5bcbb5ddbb07886af155a55a0d93edce41193d24840fd66c44203ffb93a129",
      "locator_type": "QUOTE"
    },
    {
      "op": "CREATE_EVIDENCE",
      "ref": "ctd_e",
      "statement": "An arXiv paper states, as its Conjecture 1, that proving our universe is a simulation is undecidable.",
      "observation_type": "EXPERT_ANALYSIS",
      "source_location_id": "ctd_x"
    },
    {
      "op": "CREATE_EVIDENCE",
      "ref": "w_e",
      "statement": "Wolpert uses Rice's theorem to establish that many mathematical questions about simulation and self-simulation are undecidable.",
      "observation_type": "EXPERT_ANALYSIS",
      "source_location_id": "w_x"
    },
    {
      "op": "LINK_EVIDENCE",
      "note": "The authors label this a conjecture, not a theorem, so it shows the question is taken seriously rather than that it has been or will be formally proven.",
      "claim_id": "56482749-9674-80e8-b7a5-9e90c77c1ed6",
      "direction": "SUPPORT",
      "evidence_item_id": "ctd_e",
      "interpretive_steps": 1,
      "relevance_strength": "MODERATE"
    },
    {
      "op": "LINK_EVIDENCE",
      "note": "A proven result, but in a classical Church-Turing framework and about self-simulation questions generally, not specifically whether we inhabit a quantum-mechanical simulation.",
      "claim_id": "56482749-9674-80e8-b7a5-9e90c77c1ed6",
      "direction": "SUPPORT",
      "evidence_item_id": "w_e",
      "interpretive_steps": 2,
      "relevance_strength": "MODERATE"
    }
  ],
  "outcome": "FOUND"
}

Rows created

• Source bc21aff8-1c20-884f-a2f5-b8879293b48f
• Source b00d2883-0e9d-8935-9663-56ed77f941e7
• SourceLocation fc26b6ca-e411-8949-b82a-2758065b7cc0
• SourceLocation 848cb3c2-bfca-860d-a9a7-9997b5fd9406
• EvidenceItem c8e563a2-d03f-8320-8d79-237b44f8f19e
• EvidenceItem e2544049-2c09-8d8f-a1c2-e2a2d38ec883
• EvidenceClaimLink 494f811c-736a-837b-a38a-4b1739cdb9d5 (accepted seq 4014)
• EvidenceClaimLink 11e2c183-84d3-81f7-8dfe-7b6bcbf2a39b (accepted seq 4014)

Status history

Audits

None.

Audit sampling (audit-policy-v0.1): probability 1.0000, sampled yes; inputs {"n":"0.00","mean":"0.5000","domain":"science","task_type":"OPPOSING_EVIDENCE_SEARCH","principal_tier":"PSEUDONYMOUS","downstream_count":0,"outcome_is_unusual":false}