https://w3id.org/np/RAa-mkCrsOM-uDjH5L-UmIiaHJZhQdiRYlS76q4NJ3Xbg/Head https://w3id.org/np/RAa-mkCrsOM-uDjH5L-UmIiaHJZhQdiRYlS76q4NJ3Xbg http://www.nanopub.org/nschema#hasAssertion https://w3id.org/np/RAa-mkCrsOM-uDjH5L-UmIiaHJZhQdiRYlS76q4NJ3Xbg/assertion https://w3id.org/np/RAa-mkCrsOM-uDjH5L-UmIiaHJZhQdiRYlS76q4NJ3Xbg http://www.nanopub.org/nschema#hasProvenance https://w3id.org/np/RAa-mkCrsOM-uDjH5L-UmIiaHJZhQdiRYlS76q4NJ3Xbg/provenance https://w3id.org/np/RAa-mkCrsOM-uDjH5L-UmIiaHJZhQdiRYlS76q4NJ3Xbg http://www.nanopub.org/nschema#hasPublicationInfo https://w3id.org/np/RAa-mkCrsOM-uDjH5L-UmIiaHJZhQdiRYlS76q4NJ3Xbg/pubinfo https://w3id.org/np/RAa-mkCrsOM-uDjH5L-UmIiaHJZhQdiRYlS76q4NJ3Xbg http://www.w3.org/1999/02/22-rdf-syntax-ns#type http://www.nanopub.org/nschema#Nanopublication https://w3id.org/np/RAa-mkCrsOM-uDjH5L-UmIiaHJZhQdiRYlS76q4NJ3Xbg/assertion https://w3id.org/delphi/resource/assessment/wolfram2002-ch06-09--claim-test http://purl.org/dc/terms/description analysis.py evolves rules 168, 4, 30 and 110 on a periodic ring of 401 cells for 121 steps from three density-1/2 seeds, and from the same rows with cell 200 flipped. It scores the pre-registered die-out, local, linear-spread and sporadic-edge predicates. A second run matched derived/measured.json byte for byte. https://w3id.org/delphi/resource/assessment/wolfram2002-ch06-09--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-ch06-09--claim-test http://www.w3.org/2000/01/rdf-schema#comment Measured: 3 exemplar rules, out of 4, that matched their predicted difference behavior on at least 2 of 3 seeds (n = 4, exact on this lattice and these seeds). Interpretation: The four classes in the claim are represented by one standard elementary exemplar each: 168, 4, 30 and 110. 'Dies out' means the two evolutions agree from t = 60 onward. 'Stays localized' means a difference that is still present after t = 60 and never leaves a radius of 25. 'Spreads at a uniform rate' is a linear radius with slope near the light speed and a difference that fills much of the span it reaches. 'Spreads only sporadically' is outward progress broken by a plateau of at least 15 steps, with advances on only a minority of the later steps. Three seeds are required so one unlucky initial condition does not decide a class. The test does not say that every rule in a class behaves this way, and it says nothing about organisms. https://w3id.org/delphi/resource/assessment/wolfram2002-ch06-09--claim-test http://www.w3.org/2000/01/rdf-schema#label Claim test of wolfram2002-ch06-09: mixed, confidence 0.72 https://w3id.org/delphi/resource/assessment/wolfram2002-ch06-09--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-ch06-09/result.json https://w3id.org/delphi/resource/assessment/wolfram2002-ch06-09--claim-test http://www.w3.org/ns/prov#wasAttributedTo https://w3id.org/delphi/resource/agent/delphisci-claim-tester-grok-4-7 https://w3id.org/delphi/resource/assessment/wolfram2002-ch06-09--claim-test https://w3id.org/delphi/ontology/admissibleDatasets Elementary cellular automata on a periodic ring of width 401, generated by the checksummed script from the three locked seeds, one cell flipped at index 200, run through t = 120. No organism record is admissible. https://w3id.org/delphi/resource/assessment/wolfram2002-ch06-09--claim-test https://w3id.org/delphi/ontology/assessmentType claim-test/0.1.0 https://w3id.org/delphi/resource/assessment/wolfram2002-ch06-09--claim-test https://w3id.org/delphi/ontology/dataKind computational https://w3id.org/delphi/resource/assessment/wolfram2002-ch06-09--claim-test https://w3id.org/delphi/ontology/disconfirmingObservation Two or more of those four predicted behaviors hold on fewer than two seeds. https://w3id.org/delphi/resource/assessment/wolfram2002-ch06-09--claim-test https://w3id.org/delphi/ontology/evidenceAgainst On seed 11001 the active edge of rule 110 traveled 36 cells and advanced on 0.40 of the later steps, but its longest pause was 9 steps, short of the locked 15. On seeds 11002 and 11003 the edge advanced on 0.78 and 0.72 of those steps, above the locked 0.60 ceiling. Seed 11003 never left radius 25. https://w3id.org/delphi/resource/assessment/wolfram2002-ch06-09--claim-test https://w3id.org/delphi/ontology/evidenceAgainst Rules 168, 4 and 30 matched on all three seeds: the flip died out, stayed at radius at most 1, and spread with slope 1 and R^2 1. Rule 110 matched the sporadic predicate on none of the three seeds. https://w3id.org/delphi/resource/assessment/wolfram2002-ch06-09--claim-test https://w3id.org/delphi/ontology/evidenceAgainst The horizon is t = 120 and the sample is three seeds of one exemplar per class. A longer run could grow a pause that this window missed. The thresholds were not changed after the run. https://w3id.org/delphi/resource/assessment/wolfram2002-ch06-09--claim-test https://w3id.org/delphi/ontology/evidenceAgainst This is a computation about four elementary rules. It says nothing about organisms. https://w3id.org/delphi/resource/assessment/wolfram2002-ch06-09--claim-test https://w3id.org/delphi/ontology/expectedObservation On at least two of the three seeds, rule 168 dies out, rule 4 stays inside radius 25, rule 30 has a linear spreading radius, and rule 110 spreads with a long plateau and a low advance fraction. https://w3id.org/delphi/resource/assessment/wolfram2002-ch06-09--claim-test https://w3id.org/delphi/ontology/failCriterion Pre-registered. Refutes if 2 or fewer of the four rules match at least 2 seeds. Mixed if exactly 3 rules do. There is no inconclusive branch: the lattices are generated by the script. https://w3id.org/delphi/resource/assessment/wolfram2002-ch06-09--claim-test https://w3id.org/delphi/ontology/hasConfidence 0.72 https://w3id.org/delphi/resource/assessment/wolfram2002-ch06-09--claim-test https://w3id.org/delphi/ontology/hasEvidence https://w3id.org/delphi/resource/evidence/wolfram2002-ch06-09--claim-test--dataset-1 https://w3id.org/delphi/resource/assessment/wolfram2002-ch06-09--claim-test https://w3id.org/delphi/ontology/hasVerdict mixed https://w3id.org/delphi/resource/assessment/wolfram2002-ch06-09--claim-test https://w3id.org/delphi/ontology/hypothesis A one-cell flip dies out for rule 168, stays inside a 25-cell radius for rule 4, spreads with a near-linear radius for rule 30, and spreads with long pauses for rule 110, on at least two of three random initial conditions. https://w3id.org/delphi/resource/assessment/wolfram2002-ch06-09--claim-test https://w3id.org/delphi/ontology/inferenceMethod Score each exemplar only on its pre-assigned predicate. A rule passes when at least two seeds match. All four rules passing supports the claim inside this design; three is mixed; two or fewer refutes. https://w3id.org/delphi/resource/assessment/wolfram2002-ch06-09--claim-test https://w3id.org/delphi/ontology/passCriterion Pre-registered. Exemplars: class 1 rule 168, class 2 rule 4, class 3 rule 30, class 4 rule 110. Width 401, periodic boundaries, times t = 0..120, flipped cell index 200. Seeds 11001, 11002 and 11003, each cell drawn in index order from random.Random(seed) and set black when random() < 1/2. Died out: no differing cell at any t >= 60. Localized: some differing cell at some t >= 60, and every differing cell stays within distance 25 of index 200. Uniform spread: the max distance R(t) from index 200 has a linear fit on t = 0..120 with slope in [0.5, 1.05] and R^2 >= 0.95, R(120) >= 80, and at t = 120 the differing cells cover at least 0.40 of the inclusive leftmost-to-rightmost span. Sporadic: the difference is not dead on t >= 60, some cell exceeds distance 25, and the edge with larger outward travel moves at least 10 cells, has a run of at least 15 equal positions, and on t = 60..119 advances outward on a fraction of steps between 0.05 and 0.60 inclusive. A rule matches a seed when its own predicate is true. Supports if and only if each of the four rules matches at least 2 of the 3 seeds. https://w3id.org/delphi/resource/assessment/wolfram2002-ch06-09--claim-test https://w3id.org/delphi/ontology/preregistered false https://w3id.org/delphi/resource/claim/wolfram2002-ch06-09 https://w3id.org/delphi/ontology/hasAssessment https://w3id.org/delphi/resource/assessment/wolfram2002-ch06-09--claim-test https://w3id.org/delphi/resource/evidence/wolfram2002-ch06-09--claim-test--dataset-1 http://purl.org/dc/terms/description difference patterns between an evolution and its one-cell perturbation https://w3id.org/delphi/resource/evidence/wolfram2002-ch06-09--claim-test--dataset-1 http://purl.org/dc/terms/license https://w3id.org/delphi/resource/evidence/wolfram2002-ch06-09--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-ch06-09--claim-test--dataset-1 http://www.w3.org/2000/01/rdf-schema#label Dataset: One-cell perturbations of elementary rules 168, 4, 30 and 110 https://w3id.org/delphi/resource/evidence/wolfram2002-ch06-09--claim-test--dataset-1 https://w3id.org/delphi/ontology/hasChecksum sha256:5a5131e9e06fc7a29eb8fd0ebcb7bc87ea90b44c6fda1e2b9f3b999203f564a1 https://w3id.org/np/RAa-mkCrsOM-uDjH5L-UmIiaHJZhQdiRYlS76q4NJ3Xbg/provenance https://w3id.org/delphi/resource/agent/delphisci-claim-tester-grok-4-7 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-grok-4-7 http://www.w3.org/2000/01/rdf-schema#label delphisci claim tester (Grok 4.7; cursor/claim-tests-wolfram-programs-b8d9) https://w3id.org/delphi/resource/agent/delphisci-claim-tester-grok-4-7 http://www.w3.org/ns/prov#actedOnBehalfOf https://orcid.org/0009-0007-4948-9192 https://w3id.org/delphi/resource/agent/delphisci-claim-tester-grok-4-7 https://w3id.org/delphi/ontology/usesModel https://w3id.org/delphi/resource/model/grok-4-7 https://w3id.org/delphi/resource/model/grok-4-7 http://purl.org/dc/terms/identifier Grok 4.7 https://w3id.org/delphi/resource/model/grok-4-7 http://www.w3.org/1999/02/22-rdf-syntax-ns#type https://w3id.org/delphi/ontology/LanguageModel https://w3id.org/np/RAa-mkCrsOM-uDjH5L-UmIiaHJZhQdiRYlS76q4NJ3Xbg/assertion http://www.w3.org/ns/prov#wasAttributedTo https://w3id.org/delphi/resource/agent/delphisci-claim-tester-grok-4-7 https://w3id.org/np/RAa-mkCrsOM-uDjH5L-UmIiaHJZhQdiRYlS76q4NJ3Xbg/assertion http://www.w3.org/ns/prov#wasDerivedFrom https://github.com/fractastical/delphisci/blob/bf2af6ee0a84e23ffa6414ad7a0a50a8c276506e/test-data/claim-tests/wolfram-nks/wolfram2002-ch06-09/result.json https://w3id.org/np/RAa-mkCrsOM-uDjH5L-UmIiaHJZhQdiRYlS76q4NJ3Xbg/assertion http://www.w3.org/ns/prov#wasGeneratedBy https://w3id.org/np/RAa-mkCrsOM-uDjH5L-UmIiaHJZhQdiRYlS76q4NJ3Xbg/test https://w3id.org/np/RAa-mkCrsOM-uDjH5L-UmIiaHJZhQdiRYlS76q4NJ3Xbg/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/RAa-mkCrsOM-uDjH5L-UmIiaHJZhQdiRYlS76q4NJ3Xbg/test http://www.w3.org/1999/02/22-rdf-syntax-ns#type http://www.w3.org/ns/prov#Activity https://w3id.org/np/RAa-mkCrsOM-uDjH5L-UmIiaHJZhQdiRYlS76q4NJ3Xbg/test http://www.w3.org/ns/prov#qualifiedAssociation https://w3id.org/np/RAa-mkCrsOM-uDjH5L-UmIiaHJZhQdiRYlS76q4NJ3Xbg/plan https://w3id.org/np/RAa-mkCrsOM-uDjH5L-UmIiaHJZhQdiRYlS76q4NJ3Xbg/test http://www.w3.org/ns/prov#wasAssociatedWith https://w3id.org/delphi/resource/agent/delphisci-claim-tester-grok-4-7 https://w3id.org/np/RAa-mkCrsOM-uDjH5L-UmIiaHJZhQdiRYlS76q4NJ3Xbg/pubinfo https://w3id.org/np/RAa-mkCrsOM-uDjH5L-UmIiaHJZhQdiRYlS76q4NJ3Xbg http://purl.org/dc/terms/created 2026-11-08T16:24:31.927Z https://w3id.org/np/RAa-mkCrsOM-uDjH5L-UmIiaHJZhQdiRYlS76q4NJ3Xbg http://purl.org/dc/terms/creator https://orcid.org/0009-0007-4948-9192 https://w3id.org/np/RAa-mkCrsOM-uDjH5L-UmIiaHJZhQdiRYlS76q4NJ3Xbg http://purl.org/dc/terms/license https://creativecommons.org/licenses/by/4.0/ https://w3id.org/np/RAa-mkCrsOM-uDjH5L-UmIiaHJZhQdiRYlS76q4NJ3Xbg http://purl.org/nanopub/x/hasNanopubType https://w3id.org/delphi/ontology/Assessment https://w3id.org/np/RAa-mkCrsOM-uDjH5L-UmIiaHJZhQdiRYlS76q4NJ3Xbg http://purl.org/nanopub/x/introduces https://w3id.org/delphi/resource/assessment/wolfram2002-ch06-09--claim-test https://w3id.org/np/RAa-mkCrsOM-uDjH5L-UmIiaHJZhQdiRYlS76q4NJ3Xbg http://www.w3.org/2000/01/rdf-schema#label Claim test of wolfram2002-ch06-09: mixed, confidence 0.72 https://w3id.org/np/RAa-mkCrsOM-uDjH5L-UmIiaHJZhQdiRYlS76q4NJ3Xbg https://w3id.org/delphi/ontology/domain https://w3id.org/delphi/resource/domain/wolfram-nks-2002 https://w3id.org/np/RAa-mkCrsOM-uDjH5L-UmIiaHJZhQdiRYlS76q4NJ3Xbg/sig http://purl.org/nanopub/x/hasAlgorithm RSA https://w3id.org/np/RAa-mkCrsOM-uDjH5L-UmIiaHJZhQdiRYlS76q4NJ3Xbg/sig http://purl.org/nanopub/x/hasPublicKey MIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAyFHtPB6p0mCjDozxlOY9CmO3nBm7Te3jFbXyLmM+G1tGe47Da0jYIbhkl9Oo1ZjxmCa3LCwlEqK8gj6hEIcL4ahW30JXh9HycfKVk1bugkzMEV15tJdTzAU3sGMFnbNsn43xY2LFLy45tApkRm5byEiM7oRRrooIdwoQKnP4Wzq/bfAoJ9qvW+MGkelyOTd1jbSt+KfmT7xKmDfWzAHddUlWwMX2QJOLxDaffOteTop6ZRgPiNmPJKA/S62Gac9XtSYT3oDkZ6/nr5cxxNLpOyxTf5FPISiCe11xYO/unYjY+mwnOfA8yhJIyx1l0O9I0vpOpn+E5TvyHJV+oSTrvwIDAQAB https://w3id.org/np/RAa-mkCrsOM-uDjH5L-UmIiaHJZhQdiRYlS76q4NJ3Xbg/sig http://purl.org/nanopub/x/hasSignature EU7w8KMG/HJQIxJAMUJGJ2ko6Gge2Gzl26Ddit+wfYwmrKNrJy5NP3XXyc1S3zGBxKm4TfM93y6iOXpRQiZ04Yu1f/zAawQYlmEb7fXiRzEo6OvN/GL+cAs0MFh1Z80+rmUfmO5gQyd8foLZxQw4pryEm/edBMfL30TNu4+0VFI9pmNbuvulETpNUHsTOzV8lIOSDNL7asJyT3utIEg4ue4xXGRgi8jiUaWqh2uQ71UUGsG+wmMVkKoQOsRFkBmV8qomP0fbY2i8waRjnUwr6ZokdI57SUeXdIGZGmnPZe3pHRZKVBG+aFoq9wa2DPjM40pKxN7p0WVpRnb9Ix9Txw== https://w3id.org/np/RAa-mkCrsOM-uDjH5L-UmIiaHJZhQdiRYlS76q4NJ3Xbg/sig http://purl.org/nanopub/x/hasSignatureTarget https://w3id.org/np/RAa-mkCrsOM-uDjH5L-UmIiaHJZhQdiRYlS76q4NJ3Xbg https://w3id.org/np/RAa-mkCrsOM-uDjH5L-UmIiaHJZhQdiRYlS76q4NJ3Xbg/sig http://purl.org/nanopub/x/signedBy https://orcid.org/0009-0007-4948-9192