https://w3id.org/np/RAAaqRSOhwVEnAyreqt2yNnVyEvDoGEmX0QEZ4WmcTBGc/Head https://w3id.org/np/RAAaqRSOhwVEnAyreqt2yNnVyEvDoGEmX0QEZ4WmcTBGc http://www.nanopub.org/nschema#hasAssertion https://w3id.org/np/RAAaqRSOhwVEnAyreqt2yNnVyEvDoGEmX0QEZ4WmcTBGc/assertion https://w3id.org/np/RAAaqRSOhwVEnAyreqt2yNnVyEvDoGEmX0QEZ4WmcTBGc http://www.nanopub.org/nschema#hasProvenance https://w3id.org/np/RAAaqRSOhwVEnAyreqt2yNnVyEvDoGEmX0QEZ4WmcTBGc/provenance https://w3id.org/np/RAAaqRSOhwVEnAyreqt2yNnVyEvDoGEmX0QEZ4WmcTBGc http://www.nanopub.org/nschema#hasPublicationInfo https://w3id.org/np/RAAaqRSOhwVEnAyreqt2yNnVyEvDoGEmX0QEZ4WmcTBGc/pubinfo https://w3id.org/np/RAAaqRSOhwVEnAyreqt2yNnVyEvDoGEmX0QEZ4WmcTBGc http://www.w3.org/1999/02/22-rdf-syntax-ns#type http://www.nanopub.org/nschema#Nanopublication https://w3id.org/np/RAAaqRSOhwVEnAyreqt2yNnVyEvDoGEmX0QEZ4WmcTBGc/assertion https://w3id.org/delphi/resource/assessment/wolfram2002-ch11-14--claim-test http://purl.org/dc/terms/description analysis.py runs rule 110 from 60 random rows on 1200-cell rings for 4208 steps. In rows 3000..3900 (every 100 steps) it marks ether cells by invariance of their 7 x 14 neighbourhood under the ether lattice translation (t, x) -> (t+1, x-4), extracts maximal non-ether runs (structures) of width <= 60, keeps those with 14 cells of ether on each side (isolated), and for each searches the smallest space-time period (P <= 100, |s| <= min(50, P)) at which the structure and its margins recur twice. Each minimal period is compared with the (time, displacement) periods of Cook's Figure 5 (exact match, or an integer multiple for packets) and checked to be a non-negative integer combination of the A period (3, 2) and the B period (4, -2). Two refinements were added after a trial run: |s| <= P (matches with faster-than-light displacement are neighbouring identical gliders, not periods) and recurrence at two consecutive periods. Run time about 15 s including the PDF download. https://w3id.org/delphi/resource/assessment/wolfram2002-ch11-14--claim-test http://www.w3.org/1999/02/22-rdf-syntax-ns#type https://w3id.org/delphi/ontology/Assessment https://w3id.org/delphi/resource/assessment/wolfram2002-ch11-14--claim-test http://www.w3.org/2000/01/rdf-schema#comment Measured: 0 resolved isolated structures (out of 2674) whose minimal space-time period is not one of Cook's tabulated glider periods (n = 2674, exact). Interpretation: Wolfram's claim is a theorem (Cook's proof, presented in NKS pp. 678-689 and published in 2004). The test does not re-derive the proof or replay the cyclic tag system emulation, which requires Cook's specific glider packets and spacings; it checks the computational premise that rule 110 has a stable ether and naturally occurring gliders with the stated periods, which is the part of the claim that is accessible to a few minutes of simulation. The glider table is taken from Figure 5 of Cook's paper (retrieved PDF; checksum recorded); 'period' is Cook's (time, horizontal displacement) pair for one repetition of the glider. https://w3id.org/delphi/resource/assessment/wolfram2002-ch11-14--claim-test http://www.w3.org/2000/01/rdf-schema#label Claim test of wolfram2002-ch11-14: inconclusive, confidence 0.9 https://w3id.org/delphi/resource/assessment/wolfram2002-ch11-14--claim-test http://www.w3.org/2000/01/rdf-schema#seeAlso https://github.com/fractastical/delphisci/blob/bf2af6ee0a84e23ffa6414ad7a0a50a8c276506e/test-data/claim-tests/wolfram-nks/wolfram2002-ch11-14/result.json https://w3id.org/delphi/resource/assessment/wolfram2002-ch11-14--claim-test http://www.w3.org/ns/prov#wasAttributedTo https://w3id.org/delphi/resource/agent/delphisci-claim-tester-claude-fable-5-1 https://w3id.org/delphi/resource/assessment/wolfram2002-ch11-14--claim-test https://w3id.org/delphi/ontology/admissibleDatasets Planned datasets: rule110-random-soup-gliders, cook2004-glider-table https://w3id.org/delphi/resource/assessment/wolfram2002-ch11-14--claim-test https://w3id.org/delphi/ontology/assessmentType claim-test/0.1.0 https://w3id.org/delphi/resource/assessment/wolfram2002-ch11-14--claim-test https://w3id.org/delphi/ontology/dataKind computational https://w3id.org/delphi/resource/assessment/wolfram2002-ch11-14--claim-test https://w3id.org/delphi/ontology/disconfirmingObservation Pre-registered: 'refutes' if the standard ether does not form (condition 1 fails in a majority of runs), or if the A, C or E-bar classes (the data carriers of Cook's construction) are never observed in 60 random runs, or if resolved structures have space-time periods incompatible with Cook's table (a period that is not an integer combination of (3, 2) and (4, -2) would contradict his lattice argument). Such results would undermine the published construction that the claim cites and would be reported as 'refutes' of the component premise with confidence <= 0.6, since a construction could in principle use rarer gliders. https://w3id.org/delphi/resource/assessment/wolfram2002-ch11-14--claim-test https://w3id.org/delphi/ontology/evidenceAgainst As pre-declared, the verdict is 'inconclusive' because universality is a theorem established by Cook's constructive proof and the cyclic-tag-system emulation was not replayed; the computation can only check the empirical premise of the construction. That premise is confirmed on every pre-registered condition: the standard ether forms in all 60 random runs (at least 70% of cells, median 82%, never below 50%); 92.1% of isolated structures (2674 of 2903) resolve to a space-time period within P <= 100; all 2674 minimal periods are exactly entries of Cook's table (A, B, B-bar/B-hat, C, D, E, E-bar, F, G) and all lie on the A/B lattice; the classes A, B, C, D, E and E-bar required by the construction were observed 186, 270, 234, 53, 590 and 1079 times. https://w3id.org/delphi/resource/assessment/wolfram2002-ch11-14--claim-test https://w3id.org/delphi/ontology/evidenceAgainst Periods are compared as (time, displacement) pairs; distinct gliders with the same period (C1/C2/C3, D1/D2, E^n packets, B-bar vs B-hat) are not separated, and the specific alignment conditions (C2 phases, E-bar spacings) that Cook's construction depends on were not verified. The 229 unresolved isolated structures are mostly structures about to collide within the 100-step search window. https://w3id.org/delphi/resource/assessment/wolfram2002-ch11-14--claim-test https://w3id.org/delphi/ontology/evidenceAgainst The only tabulated glider not seen is H, which Cook himself lists as too rare to arise naturally; no glider absent from his table was found, so the inventory he describes as 'all known gliders' is also consistent with 60 random soups (this does not prove no other glider exists). https://w3id.org/delphi/resource/assessment/wolfram2002-ch11-14--claim-test https://w3id.org/delphi/ontology/evidenceAgainst Two implementation refinements (|s| <= P and recurrence at two periods) were added after a trial run revealed that matches between neighbouring identical gliders in trains were being reported as spurious periods; they are physical constraints on what a period is, not changes to the pre-registered thresholds. https://w3id.org/delphi/resource/assessment/wolfram2002-ch11-14--claim-test https://w3id.org/delphi/ontology/expectedObservation Pre-registered: simulate rule 110 on rings of 1200 cells from 60 uniformly random initial rows (numpy default_rng seed 20261031) for 4000 steps. Ether cells are those whose 7 x 14 neighbourhood is invariant under the lattice translation (t, x) -> (t + 1, x - 4). In rows t = 3000..3900 (every 100 steps), maximal runs of non-ether cells of width <= 60 are 'structures'. For each structure, search for the smallest temporal period P <= 100 and shift |s| <= 50 such that the window (structure plus 14 cells of ether on each side) reappears exactly at (t + P, x + s). Component premise confirmed if: (1) the ether, i.e. the (3,2)/(4,-2) lattice, covers more than 50% of the cells at t >= 3000 in every run; (2) at least 90% of structures resolve to a period, and every resolved period (P, s) is a positive integer combination of Cook's A and B periods that coincides with one of Cook's tabulated glider periods (allowing the period to be a positive integer multiple of a tabulated one, for packets such as A^n); (3) the classes A, B, C, D, E and E-bar are each observed at least once. Because the test replays only the glider inventory and not the cyclic-tag-system emulation, the verdict when all three conditions hold is pre-declared as 'inconclusive' with reason 'not-operationalizable' (universality is settled by proof, not by this computation), with the component results reported as supporting evidence. https://w3id.org/delphi/resource/assessment/wolfram2002-ch11-14--claim-test https://w3id.org/delphi/ontology/failCriterion Pre-registered: 'refutes' if the standard ether does not form (condition 1 fails in a majority of runs), or if the A, C or E-bar classes (the data carriers of Cook's construction) are never observed in 60 random runs, or if resolved structures have space-time periods incompatible with Cook's table (a period that is not an integer combination of (3, 2) and (4, -2) would contradict his lattice argument). Such results would undermine the published construction that the claim cites and would be reported as 'refutes' of the component premise with confidence <= 0.6, since a construction could in principle use rarer gliders. https://w3id.org/delphi/resource/assessment/wolfram2002-ch11-14--claim-test https://w3id.org/delphi/ontology/hasConfidence 0.9 https://w3id.org/delphi/resource/assessment/wolfram2002-ch11-14--claim-test https://w3id.org/delphi/ontology/hasEvidence https://w3id.org/delphi/resource/evidence/wolfram2002-ch11-14--claim-test--dataset-1 https://w3id.org/delphi/resource/assessment/wolfram2002-ch11-14--claim-test https://w3id.org/delphi/ontology/hasEvidence https://w3id.org/delphi/resource/evidence/wolfram2002-ch11-14--claim-test--dataset-2 https://w3id.org/delphi/resource/assessment/wolfram2002-ch11-14--claim-test https://w3id.org/delphi/ontology/hasVerdict inconclusive https://w3id.org/delphi/resource/assessment/wolfram2002-ch11-14--claim-test https://w3id.org/delphi/ontology/hypothesis Rule 110 is computationally universal (Cook 2004, Complex Systems 15(1):1-40, doi:10.25088/ComplexSystems.15.1.1). Universality itself is a theorem that no finite simulation can establish, so this test checks the empirical premise the claim rests on: that rule 110 'naturally' produces, from random initial conditions, a background ether with the (time, space) periodicity lattice spanned by (3, 2) and (4, -2) (spatial period 14, temporal period 7), and persistent localized structures (gliders) whose space-time periods are exactly those tabulated by Cook (Figure 5): A (3, 2), B (4, -2), B-bar/B-hat (12, -6), C1-C3 (7, 0), D1-D2 (10, 2), E^n (15, -4), E-bar (30, -8), F (36, -4), G^n (42, -14), H (92, -18); in particular the classes used as components in Cook's construction (C2 tape data, E-bar table data, A moving data, E leaders) must occur. https://w3id.org/delphi/resource/assessment/wolfram2002-ch11-14--claim-test https://w3id.org/delphi/ontology/inferenceMethod analysis.py runs rule 110 from 60 random rows on 1200-cell rings for 4208 steps. In rows 3000..3900 (every 100 steps) it marks ether cells by invariance of their 7 x 14 neighbourhood under the ether lattice translation (t, x) -> (t+1, x-4), extracts maximal non-ether runs (structures) of width <= 60, keeps those with 14 cells of ether on each side (isolated), and for each searches the smallest space-time period (P <= 100, |s| <= min(50, P)) at which the structure and its margins recur twice. Each minimal period is compared with the (time, displacement) periods of Cook's Figure 5 (exact match, or an integer multiple for packets) and checked to be a non-negative integer combination of the A period (3, 2) and the B period (4, -2). Two refinements were added after a trial run: |s| <= P (matches with faster-than-light displacement are neighbouring identical gliders, not periods) and recurrence at two consecutive periods. Run time about 15 s including the PDF download. https://w3id.org/delphi/resource/assessment/wolfram2002-ch11-14--claim-test https://w3id.org/delphi/ontology/passCriterion Pre-registered: simulate rule 110 on rings of 1200 cells from 60 uniformly random initial rows (numpy default_rng seed 20261031) for 4000 steps. Ether cells are those whose 7 x 14 neighbourhood is invariant under the lattice translation (t, x) -> (t + 1, x - 4). In rows t = 3000..3900 (every 100 steps), maximal runs of non-ether cells of width <= 60 are 'structures'. For each structure, search for the smallest temporal period P <= 100 and shift |s| <= 50 such that the window (structure plus 14 cells of ether on each side) reappears exactly at (t + P, x + s). Component premise confirmed if: (1) the ether, i.e. the (3,2)/(4,-2) lattice, covers more than 50% of the cells at t >= 3000 in every run; (2) at least 90% of structures resolve to a period, and every resolved period (P, s) is a positive integer combination of Cook's A and B periods that coincides with one of Cook's tabulated glider periods (allowing the period to be a positive integer multiple of a tabulated one, for packets such as A^n); (3) the classes A, B, C, D, E and E-bar are each observed at least once. Because the test replays only the glider inventory and not the cyclic-tag-system emulation, the verdict when all three conditions hold is pre-declared as 'inconclusive' with reason 'not-operationalizable' (universality is settled by proof, not by this computation), with the component results reported as supporting evidence. https://w3id.org/delphi/resource/assessment/wolfram2002-ch11-14--claim-test https://w3id.org/delphi/ontology/preregistered false https://w3id.org/delphi/resource/claim/wolfram2002-ch11-14 https://w3id.org/delphi/ontology/hasAssessment https://w3id.org/delphi/resource/assessment/wolfram2002-ch11-14--claim-test https://w3id.org/delphi/resource/evidence/wolfram2002-ch11-14--claim-test--dataset-1 http://purl.org/dc/terms/description empirical glider inventory of rule 110 https://w3id.org/delphi/resource/evidence/wolfram2002-ch11-14--claim-test--dataset-1 http://purl.org/dc/terms/license https://w3id.org/delphi/resource/evidence/wolfram2002-ch11-14--claim-test--dataset-1 http://www.w3.org/1999/02/22-rdf-syntax-ns#type https://w3id.org/delphi/ontology/EvidenceItem https://w3id.org/delphi/resource/evidence/wolfram2002-ch11-14--claim-test--dataset-1 http://www.w3.org/2000/01/rdf-schema#label Dataset: Rule 110 from 60 random initial rows on 1200-cell rings, 4208 steps, with ether detection and glider period measurement (generated by analysis.py) https://w3id.org/delphi/resource/evidence/wolfram2002-ch11-14--claim-test--dataset-2 http://purl.org/dc/terms/description reference glider periods and the published universality proof the claim rests on https://w3id.org/delphi/resource/evidence/wolfram2002-ch11-14--claim-test--dataset-2 http://purl.org/dc/terms/license Complex Systems (publisher); used for table values only https://w3id.org/delphi/resource/evidence/wolfram2002-ch11-14--claim-test--dataset-2 http://www.w3.org/1999/02/22-rdf-syntax-ns#type https://w3id.org/delphi/ontology/EvidenceItem https://w3id.org/delphi/resource/evidence/wolfram2002-ch11-14--claim-test--dataset-2 http://www.w3.org/2000/01/rdf-schema#label Dataset: M. Cook, 'Universality in Elementary Cellular Automata', Complex Systems 15(1):1-40 (2004), Figure 5 (glider periods) and Figure 4 (known gliders) https://w3id.org/delphi/resource/evidence/wolfram2002-ch11-14--claim-test--dataset-2 http://www.w3.org/ns/prov#atLocation https://content.wolfram.com/sites/13/2023/02/15-1-1.pdf https://w3id.org/delphi/resource/evidence/wolfram2002-ch11-14--claim-test--dataset-2 http://www.w3.org/ns/prov#wasDerivedFrom https://www.complex-systems.com/abstracts/v15_i01_a01/ https://w3id.org/delphi/resource/evidence/wolfram2002-ch11-14--claim-test--dataset-2 https://w3id.org/delphi/ontology/hasChecksum sha256:c9a2885248ae2811c5825c5bcbaa52ca167a7d5300ba88f87ee832b93b293c03 https://w3id.org/np/RAAaqRSOhwVEnAyreqt2yNnVyEvDoGEmX0QEZ4WmcTBGc/provenance https://w3id.org/delphi/resource/agent/delphisci-claim-tester-claude-fable-5-1 http://www.w3.org/1999/02/22-rdf-syntax-ns#type http://www.w3.org/ns/prov#SoftwareAgent https://w3id.org/delphi/resource/agent/delphisci-claim-tester-claude-fable-5-1 http://www.w3.org/2000/01/rdf-schema#label delphisci claim tester (claude-fable-5.1; cursor/claim-tests-wolfram-nks-0123) https://w3id.org/delphi/resource/agent/delphisci-claim-tester-claude-fable-5-1 http://www.w3.org/ns/prov#actedOnBehalfOf https://orcid.org/0009-0007-4948-9192 https://w3id.org/delphi/resource/agent/delphisci-claim-tester-claude-fable-5-1 https://w3id.org/delphi/ontology/usesModel https://w3id.org/delphi/resource/model/claude-fable-5-1 https://w3id.org/delphi/resource/model/claude-fable-5-1 http://purl.org/dc/terms/identifier claude-fable-5.1 https://w3id.org/delphi/resource/model/claude-fable-5-1 http://www.w3.org/1999/02/22-rdf-syntax-ns#type https://w3id.org/delphi/ontology/LanguageModel https://w3id.org/np/RAAaqRSOhwVEnAyreqt2yNnVyEvDoGEmX0QEZ4WmcTBGc/assertion http://www.w3.org/ns/prov#wasAttributedTo https://w3id.org/delphi/resource/agent/delphisci-claim-tester-claude-fable-5-1 https://w3id.org/np/RAAaqRSOhwVEnAyreqt2yNnVyEvDoGEmX0QEZ4WmcTBGc/assertion http://www.w3.org/ns/prov#wasDerivedFrom https://github.com/fractastical/delphisci/blob/bf2af6ee0a84e23ffa6414ad7a0a50a8c276506e/test-data/claim-tests/wolfram-nks/wolfram2002-ch11-14/result.json https://w3id.org/np/RAAaqRSOhwVEnAyreqt2yNnVyEvDoGEmX0QEZ4WmcTBGc/assertion http://www.w3.org/ns/prov#wasGeneratedBy https://w3id.org/np/RAAaqRSOhwVEnAyreqt2yNnVyEvDoGEmX0QEZ4WmcTBGc/test https://w3id.org/np/RAAaqRSOhwVEnAyreqt2yNnVyEvDoGEmX0QEZ4WmcTBGc/plan http://www.w3.org/ns/prov#hadPlan https://github.com/fractastical/delphisci/blob/bf2af6ee0a84e23ffa6414ad7a0a50a8c276506e/test-data/claim-tests/README.md https://w3id.org/np/RAAaqRSOhwVEnAyreqt2yNnVyEvDoGEmX0QEZ4WmcTBGc/test http://www.w3.org/1999/02/22-rdf-syntax-ns#type http://www.w3.org/ns/prov#Activity https://w3id.org/np/RAAaqRSOhwVEnAyreqt2yNnVyEvDoGEmX0QEZ4WmcTBGc/test http://www.w3.org/ns/prov#qualifiedAssociation https://w3id.org/np/RAAaqRSOhwVEnAyreqt2yNnVyEvDoGEmX0QEZ4WmcTBGc/plan https://w3id.org/np/RAAaqRSOhwVEnAyreqt2yNnVyEvDoGEmX0QEZ4WmcTBGc/test http://www.w3.org/ns/prov#wasAssociatedWith https://w3id.org/delphi/resource/agent/delphisci-claim-tester-claude-fable-5-1 https://w3id.org/np/RAAaqRSOhwVEnAyreqt2yNnVyEvDoGEmX0QEZ4WmcTBGc/pubinfo https://w3id.org/np/RAAaqRSOhwVEnAyreqt2yNnVyEvDoGEmX0QEZ4WmcTBGc http://purl.org/dc/terms/created 2026-11-08T16:24:31.939Z https://w3id.org/np/RAAaqRSOhwVEnAyreqt2yNnVyEvDoGEmX0QEZ4WmcTBGc http://purl.org/dc/terms/creator https://orcid.org/0009-0007-4948-9192 https://w3id.org/np/RAAaqRSOhwVEnAyreqt2yNnVyEvDoGEmX0QEZ4WmcTBGc http://purl.org/dc/terms/license https://creativecommons.org/licenses/by/4.0/ https://w3id.org/np/RAAaqRSOhwVEnAyreqt2yNnVyEvDoGEmX0QEZ4WmcTBGc http://purl.org/nanopub/x/hasNanopubType https://w3id.org/delphi/ontology/Assessment https://w3id.org/np/RAAaqRSOhwVEnAyreqt2yNnVyEvDoGEmX0QEZ4WmcTBGc http://purl.org/nanopub/x/introduces https://w3id.org/delphi/resource/assessment/wolfram2002-ch11-14--claim-test https://w3id.org/np/RAAaqRSOhwVEnAyreqt2yNnVyEvDoGEmX0QEZ4WmcTBGc http://www.w3.org/2000/01/rdf-schema#label Claim test of wolfram2002-ch11-14: inconclusive, confidence 0.9 https://w3id.org/np/RAAaqRSOhwVEnAyreqt2yNnVyEvDoGEmX0QEZ4WmcTBGc https://w3id.org/delphi/ontology/domain https://w3id.org/delphi/resource/domain/wolfram-nks-2002 https://w3id.org/np/RAAaqRSOhwVEnAyreqt2yNnVyEvDoGEmX0QEZ4WmcTBGc/sig http://purl.org/nanopub/x/hasAlgorithm RSA https://w3id.org/np/RAAaqRSOhwVEnAyreqt2yNnVyEvDoGEmX0QEZ4WmcTBGc/sig http://purl.org/nanopub/x/hasPublicKey MIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAyFHtPB6p0mCjDozxlOY9CmO3nBm7Te3jFbXyLmM+G1tGe47Da0jYIbhkl9Oo1ZjxmCa3LCwlEqK8gj6hEIcL4ahW30JXh9HycfKVk1bugkzMEV15tJdTzAU3sGMFnbNsn43xY2LFLy45tApkRm5byEiM7oRRrooIdwoQKnP4Wzq/bfAoJ9qvW+MGkelyOTd1jbSt+KfmT7xKmDfWzAHddUlWwMX2QJOLxDaffOteTop6ZRgPiNmPJKA/S62Gac9XtSYT3oDkZ6/nr5cxxNLpOyxTf5FPISiCe11xYO/unYjY+mwnOfA8yhJIyx1l0O9I0vpOpn+E5TvyHJV+oSTrvwIDAQAB https://w3id.org/np/RAAaqRSOhwVEnAyreqt2yNnVyEvDoGEmX0QEZ4WmcTBGc/sig http://purl.org/nanopub/x/hasSignature ZSC1YWG6Cg4AX7X3b7hGBVAR8FKd0j/bpPUT5eijrlxO0iBTVo10lfBqy/LJYBzDHKPj83dFrE15jbcMxMqZIwvhypISCqr2gkQO6eLiREAWNBIbXmiGsRCrzXjHUhNrlSS/9YYcO1kmHuQAMFe4nsfQgGrt0MqzqPQUjpJegUf6SogcrqBCnvP6xgEd/tuPSqrGWRYfYXYA6oyiMET1dsP3+8/A9IyY3wNtFTFMfGfInvgpFuMtCwH5G4ymCaT7GxMliShCjAQzgBM70rsZyTmPLgyBWeMgiFL05BY6yw0qMD23H3Gd65vchJiuMJz6gu7IOlF7igdM8myIySuoUw== https://w3id.org/np/RAAaqRSOhwVEnAyreqt2yNnVyEvDoGEmX0QEZ4WmcTBGc/sig http://purl.org/nanopub/x/hasSignatureTarget https://w3id.org/np/RAAaqRSOhwVEnAyreqt2yNnVyEvDoGEmX0QEZ4WmcTBGc https://w3id.org/np/RAAaqRSOhwVEnAyreqt2yNnVyEvDoGEmX0QEZ4WmcTBGc/sig http://purl.org/nanopub/x/signedBy https://orcid.org/0009-0007-4948-9192