@prefix this: . @prefix sub: . @prefix np: . @prefix rdf: . @prefix prov: . @prefix npx: . @prefix dc: . @prefix xsd: . sub:Head { this: a np:Nanopublication; np:hasAssertion sub:assertion; np:hasProvenance sub:provenance; np:hasPublicationInfo sub:pubinfo . } sub:assertion { a ; dc: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."; "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."; "Claim test of wolfram2002-ch06-09: mixed, confidence 0.72"; ; prov:wasAttributedTo ; "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."; "claim-test/0.1.0"; "computational"; "Two or more of those four predicted behaviors hold on fewer than two seeds."; "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.", "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.", "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.", "This is a computation about four elementary rules. It says nothing about organisms."; "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."; "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."; "0.72"^^xsd:double; ; "mixed"; "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."; "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."; "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."; "false"^^xsd:boolean . . a ; dc:description "difference patterns between an evolution and its one-cell perturbation"; dc:license ""; "Dataset: One-cell perturbations of elementary rules 168, 4, 30 and 110"; "sha256:5a5131e9e06fc7a29eb8fd0ebcb7bc87ea90b44c6fda1e2b9f3b999203f564a1" . } sub:provenance { a prov:SoftwareAgent; "delphisci claim tester (Grok 4.7; cursor/claim-tests-wolfram-programs-b8d9)"; prov:actedOnBehalfOf ; . a ; dc:identifier "Grok 4.7" . sub:assertion prov:wasAttributedTo ; prov:wasDerivedFrom ; prov:wasGeneratedBy sub:test . sub:plan prov:hadPlan . sub:test a prov:Activity; prov:qualifiedAssociation sub:plan; prov:wasAssociatedWith . } sub:pubinfo { this: dc:created "2026-11-08T16:24:31.927Z"^^xsd:dateTime; dc:creator ; dc:license ; npx:hasNanopubType ; npx:introduces ; "Claim test of wolfram2002-ch06-09: mixed, confidence 0.72"; . sub:sig npx:hasAlgorithm "RSA"; npx:hasPublicKey "MIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAyFHtPB6p0mCjDozxlOY9CmO3nBm7Te3jFbXyLmM+G1tGe47Da0jYIbhkl9Oo1ZjxmCa3LCwlEqK8gj6hEIcL4ahW30JXh9HycfKVk1bugkzMEV15tJdTzAU3sGMFnbNsn43xY2LFLy45tApkRm5byEiM7oRRrooIdwoQKnP4Wzq/bfAoJ9qvW+MGkelyOTd1jbSt+KfmT7xKmDfWzAHddUlWwMX2QJOLxDaffOteTop6ZRgPiNmPJKA/S62Gac9XtSYT3oDkZ6/nr5cxxNLpOyxTf5FPISiCe11xYO/unYjY+mwnOfA8yhJIyx1l0O9I0vpOpn+E5TvyHJV+oSTrvwIDAQAB"; npx:hasSignature "EU7w8KMG/HJQIxJAMUJGJ2ko6Gge2Gzl26Ddit+wfYwmrKNrJy5NP3XXyc1S3zGBxKm4TfM93y6iOXpRQiZ04Yu1f/zAawQYlmEb7fXiRzEo6OvN/GL+cAs0MFh1Z80+rmUfmO5gQyd8foLZxQw4pryEm/edBMfL30TNu4+0VFI9pmNbuvulETpNUHsTOzV8lIOSDNL7asJyT3utIEg4ue4xXGRgi8jiUaWqh2uQ71UUGsG+wmMVkKoQOsRFkBmV8qomP0fbY2i8waRjnUwr6ZokdI57SUeXdIGZGmnPZe3pHRZKVBG+aFoq9wa2DPjM40pKxN7p0WVpRnb9Ix9Txw=="; npx:hasSignatureTarget this:; npx:signedBy . }