rows { options { physical_type: PHYSICAL_STREAM_TYPE_QUADS max_name_table_size: 128 max_prefix_table_size: 16 max_datatype_table_size: 16 logical_type: LOGICAL_STREAM_TYPE_DATASETS version: 2 } } rows { prefix { value: "https://w3id.org/np/" } } rows { name { value: "RAEhL5SKie2VsOPiQ6YpxxJnQjBo9vAm3s73mCtHlYnm8" } } rows { namespace { name: "this" value { prefix_id: 1 } } } rows { prefix { value: "https://w3id.org/np/RAEhL5SKie2VsOPiQ6YpxxJnQjBo9vAm3s73mCtHlYnm8/" } } rows { name { } } rows { namespace { name: "sub" value { prefix_id: 2 } } } rows { prefix { value: "http://www.nanopub.org/nschema#" } } rows { namespace { name: "np" value { prefix_id: 3 name_id: 2 } } } rows { prefix { value: "http://www.w3.org/1999/02/22-rdf-syntax-ns#" } } rows { namespace { name: "rdf" value { prefix_id: 4 name_id: 2 } } } rows { prefix { value: "http://www.w3.org/ns/prov#" } } rows { namespace { name: "prov" value { prefix_id: 5 name_id: 2 } } } rows { prefix { value: "http://purl.org/nanopub/x/" } } rows { namespace { name: "npx" value { prefix_id: 6 name_id: 2 } } } rows { prefix { value: "http://purl.org/dc/terms/" } } rows { namespace { name: "dc" value { prefix_id: 7 name_id: 2 } } } rows { prefix { value: "http://www.w3.org/2001/XMLSchema#" } } rows { namespace { name: "xsd" value { prefix_id: 8 name_id: 2 } } } rows { name { value: "hasAssertion" } } rows { name { value: "assertion" } } rows { name { value: "Head" } } rows { quad { s_iri { prefix_id: 1 name_id: 1 } p_iri { prefix_id: 3 name_id: 3 } o_iri { prefix_id: 2 } g_iri { } } } rows { name { value: "hasProvenance" } } rows { name { value: "provenance" } } rows { quad { p_iri { prefix_id: 3 } o_iri { prefix_id: 2 } } } rows { name { value: "hasPublicationInfo" } } rows { name { value: "pubinfo" } } rows { quad { p_iri { prefix_id: 3 } o_iri { prefix_id: 2 } } } rows { name { value: "type" } } rows { name { value: "Nanopublication" } } rows { quad { p_iri { prefix_id: 4 } o_iri { prefix_id: 3 } } } rows { prefix { value: "https://w3id.org/delphi/resource/assessment/" } } rows { name { value: "wolfram2002-ch11-10--claim-test" } } rows { name { value: "description" } } rows { quad { s_iri { prefix_id: 9 } p_iri { prefix_id: 7 } o_literal { lex: "analysis.py builds, from any (k, r, rule table), an explicit finite Turing-machine transition table: states (\'scan\', B, j) carry the last 2r old cell values B during a left-to-right sweep, step back r cells to write each new value, finish the last r cells at the right end-marker with virtual zero reads, and return to the left marker, so one round trip is one cellular-automaton step with fixed-0 boundaries. The machine for each rule was run on W = 48 cells for 40 steps from two random initial conditions (seed 20261110) and the tape compared cell-for-cell with direct evolution after every step: all 256 elementary rules, 100 random k=3 r=1 rules, 50 random k=2 r=2 rules, 20 random k=4 r=1 rules and 10 random k=3 r=2 rules (436 rules, 1,674,240 cell comparisons). A mutation check (machine for rule 110 compared with rule 124) produced 225 mismatches in 10 steps, confirming the harness detects disagreement." } g_iri { prefix_id: 2 name_id: 4 } } } rows { prefix { value: "https://w3id.org/delphi/ontology/" } } rows { name { value: "Assessment" } } rows { quad { p_iri { prefix_id: 4 name_id: 10 } o_iri { prefix_id: 10 name_id: 14 } } } rows { prefix { value: "http://www.w3.org/2000/01/rdf-schema#" } } rows { name { value: "comment" } } rows { quad { p_iri { prefix_id: 11 } o_literal { lex: "Measured: 0 mismatching cells between Turing-machine tape and direct cellular-automaton evolution, summed over all runs (n = 1674240, exact (deterministic comparison)). Interpretation: The claim is a logical implication (if a system type can emulate every cellular automaton and a universal cellular automaton exists, the type has universal members). The implication itself is not empirical; what can be checked computationally is its first premise for a concrete system type. We check it for Turing machines, the second family named in the claim, by implementing a uniform emulation construction (the sweeping-head scheme NKS describes for Turing machines emulating cellular automata, p. 665-666, written here from scratch rather than copied) and testing it exhaustively on the elementary rules and on random rules with more colours and larger neighbourhoods. The second premise (existence of a universal cellular automaton) is taken from the published proof that rule 110 is universal; it is not re-derived. The other families in the claim (mobile automata, substitution systems, tag and cyclic tag systems, symbolic systems, register machines) are not tested here, so a \'supports\' verdict confirms the claim\'s structure for one family only." } } } rows { name { value: "label" } } rows { quad { p_iri { } o_literal { lex: "Claim test of wolfram2002-ch11-10: supports, confidence 0.7" } } } rows { name { value: "seeAlso" } } rows { prefix { value: "https://github.com/fractastical/delphisci/blob/bf2af6ee0a84e23ffa6414ad7a0a50a8c276506e/test-data/claim-tests/wolfram-nks/wolfram2002-ch11-10/" } } rows { name { value: "result.json" } } rows { quad { p_iri { } o_iri { prefix_id: 12 } } } rows { name { value: "wasAttributedTo" } } rows { prefix { value: "https://w3id.org/delphi/resource/agent/" } } rows { name { value: "delphisci-claim-tester-claude-fable-5-1" } } rows { quad { p_iri { prefix_id: 5 } o_iri { prefix_id: 13 } } } rows { name { value: "admissibleDatasets" } } rows { quad { p_iri { prefix_id: 10 } o_literal { lex: "Planned datasets: nks-ch11-10-tm-emulation-generator" } } } rows { name { value: "assessmentType" } } rows { quad { p_iri { } o_literal { lex: "claim-test/0.1.0" } } } rows { name { value: "dataKind" } } rows { quad { p_iri { } o_literal { lex: "computational" } } } rows { name { value: "disconfirmingObservation" } } rows { quad { p_iri { } o_literal { lex: "Pre-registered. \'refutes\' if any run produces a mismatch (one or more cells differing from the direct evolution) that cannot be traced to a bug in the harness rather than the construction; since the construction is uniform in (k, r, rule), a single irreparable mismatch shows the uniform construction does not emulate every cellular automaton. \'inconclusive\' with reason \'other\' if the harness cannot complete the runs within the time budget." } } } rows { name { value: "evidenceAgainst" } } rows { quad { p_iri { } o_literal { lex: "Only the Turing-machine family is tested; the claim also names mobile automata, substitution systems, tag and cyclic tag systems, symbolic systems and register machines, whose emulation constructions are not checked here." } } } rows { quad { o_literal { lex: "The Turing machines used here have many states; they are not the small machines NKS discusses elsewhere, and nothing is claimed about minimal size." } } } rows { quad { o_literal { lex: "The claim is a logical implication; the computation establishes one instance of its premise, not the implication itself, which is immediate once both premises are granted." } } } rows { quad { o_literal { lex: "The conclusion that the resulting rule-110 machine (41 states x 3 symbols, 91 transitions) is universal rests on the published proof that rule 110 is universal (Cook 2004); that proof is not re-verified here, so the implication\'s second premise is assumed, not tested." } } } rows { quad { o_literal { lex: "The construction is tested on finite segments with fixed-0 boundaries for 40 steps; its correctness for arbitrary k and r follows from the uniform scheme rather than from exhaustive testing, and the test covers k <= 4 and r <= 2 only." } } } rows { name { value: "expectedObservation" } } rows { quad { p_iri { } o_literal { lex: "Pre-registered. analysis.py builds, for a given (k, r, rule table), a Turing machine whose tape holds the cellular-automaton configuration on W cells between two end-marker symbols, and whose head performs one left-to-right sweep (reading each old cell value once, carrying the last 2r old values in its state, stepping back r cells to write the new value) followed by a return to the left end, so that one round trip equals one cellular-automaton step with fixed white (0) boundaries. The machine must be a genuine finite table: every (state, symbol) pair reachable in the runs has exactly one transition writing one symbol and moving one cell. Tests: (a) all 256 elementary rules (k = 2, r = 1), W = 48, 40 steps, two random initial conditions each (seed 20261110); (b) 100 random 3-colour radius-1 rules (k = 3, r = 1), same W and steps; (c) 50 random 2-colour radius-2 rules (k = 2, r = 2); (d) 20 random 4-colour radius-1 rules and 10 random 3-colour radius-2 rules. After every round trip the tape between the markers is compared cell-for-cell with the directly computed cellular-automaton configuration (fixed-0 boundary). \'supports\' if the total number of mismatching cells over all runs is 0 and the rule-110 machine is produced with a finite, fully specified state table (its state count and transition count reported)." } } } rows { name { value: "failCriterion" } } rows { quad { p_iri { } o_literal { lex: "Pre-registered. \'refutes\' if any run produces a mismatch (one or more cells differing from the direct evolution) that cannot be traced to a bug in the harness rather than the construction; since the construction is uniform in (k, r, rule), a single irreparable mismatch shows the uniform construction does not emulate every cellular automaton. \'inconclusive\' with reason \'other\' if the harness cannot complete the runs within the time budget." } } } rows { name { value: "hasConfidence" } } rows { datatype { value: "http://www.w3.org/2001/XMLSchema#double" } } rows { quad { p_iri { } o_literal { lex: "0.7" datatype: 1 } } } rows { name { value: "hasEvidence" } } rows { prefix { value: "https://w3id.org/delphi/resource/evidence/" } } rows { name { value: "wolfram2002-ch11-10--claim-test--dataset-1" } } rows { quad { p_iri { } o_iri { prefix_id: 14 } } } rows { name { value: "hasVerdict" } } rows { quad { p_iri { prefix_id: 10 } o_literal { lex: "supports" } } } rows { name { value: "hypothesis" } } rows { quad { p_iri { } o_literal { lex: "For at least one of the system types named in the claim (Turing machines), a single uniform construction turns any one-dimensional cellular automaton rule (any number of colours k, any radius r) into a Turing machine that emulates it exactly; applied to rule 110 the construction yields an explicit Turing machine, which is then universal by the universality of rule 110 (Cook, Complex Systems 15 (2004) 1-40), so the system type contains a universal member as the claim asserts." } } } rows { name { value: "inferenceMethod" } } rows { quad { p_iri { } o_literal { lex: "analysis.py builds, from any (k, r, rule table), an explicit finite Turing-machine transition table: states (\'scan\', B, j) carry the last 2r old cell values B during a left-to-right sweep, step back r cells to write each new value, finish the last r cells at the right end-marker with virtual zero reads, and return to the left marker, so one round trip is one cellular-automaton step with fixed-0 boundaries. The machine for each rule was run on W = 48 cells for 40 steps from two random initial conditions (seed 20261110) and the tape compared cell-for-cell with direct evolution after every step: all 256 elementary rules, 100 random k=3 r=1 rules, 50 random k=2 r=2 rules, 20 random k=4 r=1 rules and 10 random k=3 r=2 rules (436 rules, 1,674,240 cell comparisons). A mutation check (machine for rule 110 compared with rule 124) produced 225 mismatches in 10 steps, confirming the harness detects disagreement." } } } rows { name { value: "passCriterion" } } rows { quad { p_iri { } o_literal { lex: "Pre-registered. analysis.py builds, for a given (k, r, rule table), a Turing machine whose tape holds the cellular-automaton configuration on W cells between two end-marker symbols, and whose head performs one left-to-right sweep (reading each old cell value once, carrying the last 2r old values in its state, stepping back r cells to write the new value) followed by a return to the left end, so that one round trip equals one cellular-automaton step with fixed white (0) boundaries. The machine must be a genuine finite table: every (state, symbol) pair reachable in the runs has exactly one transition writing one symbol and moving one cell. Tests: (a) all 256 elementary rules (k = 2, r = 1), W = 48, 40 steps, two random initial conditions each (seed 20261110); (b) 100 random 3-colour radius-1 rules (k = 3, r = 1), same W and steps; (c) 50 random 2-colour radius-2 rules (k = 2, r = 2); (d) 20 random 4-colour radius-1 rules and 10 random 3-colour radius-2 rules. After every round trip the tape between the markers is compared cell-for-cell with the directly computed cellular-automaton configuration (fixed-0 boundary). \'supports\' if the total number of mismatching cells over all runs is 0 and the rule-110 machine is produced with a finite, fully specified state table (its state count and transition count reported)." } } } rows { name { value: "preregistered" } } rows { datatype { value: "http://www.w3.org/2001/XMLSchema#boolean" } } rows { quad { p_iri { } o_literal { lex: "false" datatype: 2 } } } rows { prefix { value: "https://w3id.org/delphi/resource/claim/" } } rows { name { value: "wolfram2002-ch11-10" } } rows { name { value: "hasAssessment" } } rows { quad { s_iri { prefix_id: 15 } p_iri { prefix_id: 10 } o_iri { prefix_id: 9 name_id: 12 } } } rows { quad { s_iri { prefix_id: 14 name_id: 30 } p_iri { prefix_id: 7 name_id: 13 } o_literal { lex: "the emulation premise of the implication, for the Turing-machine family" } } } rows { name { value: "license" } } rows { quad { p_iri { name_id: 38 } o_literal { lex: "generated" } } } rows { name { value: "EvidenceItem" } } rows { quad { p_iri { prefix_id: 4 name_id: 10 } o_iri { prefix_id: 10 name_id: 39 } } } rows { quad { p_iri { prefix_id: 11 name_id: 16 } o_literal { lex: "Dataset: Turing machines constructed by analysis.py from cellular-automaton rules (all 256 elementary rules; random rules with k in {2,3,4} and r in {1,2}, seed 20261110), run on W = 48 cells for 40 cellular-automaton steps and compared with direct evolution" } } } rows { name { value: "wasDerivedFrom" } } rows { prefix { value: "https://www.wolframscience.com/nks/p665--emulating-cellular-automata-with-other-systems/" } } rows { quad { p_iri { prefix_id: 5 name_id: 40 } o_iri { prefix_id: 16 name_id: 2 } } } rows { name { value: "SoftwareAgent" } } rows { quad { s_iri { prefix_id: 13 name_id: 20 } p_iri { prefix_id: 4 name_id: 10 } o_iri { prefix_id: 5 name_id: 41 } g_iri { prefix_id: 2 name_id: 7 } } } rows { quad { p_iri { prefix_id: 11 name_id: 16 } o_literal { lex: "delphisci claim tester (claude-fable-5.1; cursor/claim-tests-wolfram-nks-e5f4)" } } } rows { name { value: "actedOnBehalfOf" } } rows { prefix { id: 6 value: "https://orcid.org/" } } rows { name { value: "0009-0007-4948-9192" } } rows { quad { p_iri { prefix_id: 5 name_id: 42 } o_iri { prefix_id: 6 } } } rows { name { value: "usesModel" } } rows { prefix { id: 8 value: "https://w3id.org/delphi/resource/model/" } } rows { name { value: "claude-fable-5-1" } } rows { quad { p_iri { prefix_id: 10 } o_iri { prefix_id: 8 } } } rows { name { value: "identifier" } } rows { quad { s_iri { name_id: 45 } p_iri { prefix_id: 7 } o_literal { lex: "claude-fable-5.1" } } } rows { name { value: "LanguageModel" } } rows { quad { p_iri { prefix_id: 4 name_id: 10 } o_iri { prefix_id: 10 name_id: 47 } } } rows { quad { s_iri { prefix_id: 2 name_id: 4 } p_iri { prefix_id: 5 name_id: 19 } o_iri { prefix_id: 13 } } } rows { quad { p_iri { prefix_id: 5 name_id: 40 } o_iri { prefix_id: 12 name_id: 18 } } } rows { name { value: "wasGeneratedBy" } } rows { name { value: "test" } } rows { quad { p_iri { prefix_id: 5 name_id: 48 } o_iri { prefix_id: 2 } } } rows { name { value: "plan" } } rows { name { value: "hadPlan" } } rows { prefix { id: 1 value: "https://github.com/fractastical/delphisci/blob/bf2af6ee0a84e23ffa6414ad7a0a50a8c276506e/test-data/claim-tests/" } } rows { name { value: "README.md" } } rows { quad { s_iri { } p_iri { prefix_id: 5 } o_iri { prefix_id: 1 } } } rows { name { value: "Activity" } } rows { quad { s_iri { prefix_id: 2 name_id: 49 } p_iri { prefix_id: 4 name_id: 10 } o_iri { prefix_id: 5 name_id: 53 } } } rows { name { value: "qualifiedAssociation" } } rows { quad { p_iri { } o_iri { prefix_id: 2 name_id: 50 } } } rows { name { value: "wasAssociatedWith" } } rows { quad { p_iri { prefix_id: 5 name_id: 55 } o_iri { prefix_id: 13 name_id: 20 } } } rows { prefix { id: 3 value: "https://w3id.org/np/" } } rows { name { value: "created" } } rows { datatype { value: "http://www.w3.org/2001/XMLSchema#dateTime" } } rows { quad { s_iri { prefix_id: 3 name_id: 1 } p_iri { prefix_id: 7 name_id: 56 } o_literal { lex: "2026-11-08T16:24:31.937Z" datatype: 3 } g_iri { prefix_id: 2 name_id: 9 } } } rows { name { value: "creator" } } rows { quad { p_iri { prefix_id: 7 name_id: 57 } o_iri { prefix_id: 6 name_id: 43 } } } rows { prefix { id: 15 value: "https://creativecommons.org/licenses/by/4.0/" } } rows { quad { p_iri { prefix_id: 7 name_id: 38 } o_iri { prefix_id: 15 name_id: 2 } } } rows { prefix { id: 9 value: "http://purl.org/nanopub/x/" } } rows { name { value: "hasNanopubType" } } rows { quad { p_iri { prefix_id: 9 name_id: 58 } o_iri { prefix_id: 10 name_id: 14 } } } rows { name { value: "introduces" } } rows { prefix { id: 14 value: "https://w3id.org/delphi/resource/assessment/" } } rows { quad { p_iri { prefix_id: 9 name_id: 59 } o_iri { prefix_id: 14 name_id: 12 } } } rows { quad { p_iri { prefix_id: 11 name_id: 16 } o_literal { lex: "Claim test of wolfram2002-ch11-10: supports, confidence 0.7" } } } rows { name { value: "domain" } } rows { prefix { id: 16 value: "https://w3id.org/delphi/resource/domain/" } } rows { name { value: "wolfram-nks-2002" } } rows { quad { p_iri { prefix_id: 10 name_id: 60 } o_iri { prefix_id: 16 } } } rows { name { value: "sig" } } rows { name { value: "hasAlgorithm" } } rows { quad { s_iri { prefix_id: 2 } p_iri { prefix_id: 9 } o_literal { lex: "RSA" } } } rows { name { value: "hasPublicKey" } } rows { quad { p_iri { } o_literal { lex: "MIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAyFHtPB6p0mCjDozxlOY9CmO3nBm7Te3jFbXyLmM+G1tGe47Da0jYIbhkl9Oo1ZjxmCa3LCwlEqK8gj6hEIcL4ahW30JXh9HycfKVk1bugkzMEV15tJdTzAU3sGMFnbNsn43xY2LFLy45tApkRm5byEiM7oRRrooIdwoQKnP4Wzq/bfAoJ9qvW+MGkelyOTd1jbSt+KfmT7xKmDfWzAHddUlWwMX2QJOLxDaffOteTop6ZRgPiNmPJKA/S62Gac9XtSYT3oDkZ6/nr5cxxNLpOyxTf5FPISiCe11xYO/unYjY+mwnOfA8yhJIyx1l0O9I0vpOpn+E5TvyHJV+oSTrvwIDAQAB" } } } rows { name { value: "hasSignature" } } rows { quad { p_iri { } o_literal { lex: "euOWARpSUIxVeIrCZsRrDzNtMIwgEbkm07UQB7UZgOhoFUr4SuN2ULLSjpWDsk1QwtlCdiC8TIjWie3MH+uSDlnPRao/E0wiM7Inosk5LNsP3XWCSyshEvn0dWFR1rFpEXpJ56cnV4IW6kBvC/FbWsp53ZMKaJ8l38lMjzhhi3m/reHtpH/JuAlH9SH0r2ssfPEs8JjuewFu/0QDnUtWXPp2f+6pxL5nZYZqc/RHHvASEkS/MIdJocZePP7PJJoMfGR1qRJ1vgM4RPz6YObAjVV6Bk9c9UQxa6Rd60wKXlK72FagZQVREoCrUhRTSsjAewPZLSSDiSLdAgrE+dL5Mg==" } } } rows { name { value: "hasSignatureTarget" } } rows { quad { p_iri { } o_iri { prefix_id: 3 name_id: 1 } } } rows { name { value: "signedBy" } } rows { quad { p_iri { prefix_id: 9 name_id: 67 } o_iri { prefix_id: 6 name_id: 43 } } }