https://w3id.org/np/RAwPb5sjY5qxb1urZnyjmvYEIu08EgBhGfkJXJmVwKZPo/Head https://w3id.org/np/RAwPb5sjY5qxb1urZnyjmvYEIu08EgBhGfkJXJmVwKZPo http://www.nanopub.org/nschema#hasAssertion https://w3id.org/np/RAwPb5sjY5qxb1urZnyjmvYEIu08EgBhGfkJXJmVwKZPo/assertion https://w3id.org/np/RAwPb5sjY5qxb1urZnyjmvYEIu08EgBhGfkJXJmVwKZPo http://www.nanopub.org/nschema#hasProvenance https://w3id.org/np/RAwPb5sjY5qxb1urZnyjmvYEIu08EgBhGfkJXJmVwKZPo/provenance https://w3id.org/np/RAwPb5sjY5qxb1urZnyjmvYEIu08EgBhGfkJXJmVwKZPo http://www.nanopub.org/nschema#hasPublicationInfo https://w3id.org/np/RAwPb5sjY5qxb1urZnyjmvYEIu08EgBhGfkJXJmVwKZPo/pubinfo https://w3id.org/np/RAwPb5sjY5qxb1urZnyjmvYEIu08EgBhGfkJXJmVwKZPo http://www.w3.org/1999/02/22-rdf-syntax-ns#type http://www.nanopub.org/nschema#Nanopublication https://w3id.org/np/RAwPb5sjY5qxb1urZnyjmvYEIu08EgBhGfkJXJmVwKZPo/assertion https://w3id.org/delphi/resource/assessment/wolfram2002-ch06-20--claim-test http://purl.org/dc/terms/description analysis.py tests all 256 elementary rules for GF(2)-linearity over all 64 neighbourhood pairs, then searches exhaustively for block self-emulations with b = 2, 3, 4 cells per block, t = 1..4 steps and all ordered pairs of distinct blocks, checking every arrangement of 2k+1 blocks (k = ceil(t/b)) so that the centre block's light cone is covered. Nesting of the non-trivial additive rules was checked as exact scale-2 self-similarity p[2t, 2i] = p[t, i] of the single-black-cell pattern over 256 steps, and the sublattice relation p90[t, 2j - t] = p60[t, j] was verified over 256 steps before being used to merge rules 60/102 with 90. Equivalence classes of non-trivial additive rules were formed by union-find under reflection and the verified sublattice relation. https://w3id.org/delphi/resource/assessment/wolfram2002-ch06-20--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-20--claim-test http://www.w3.org/2000/01/rdf-schema#comment Measured: [object Object] rule numbers; fraction of the 248 non-additive rules with at least one block self-emulation (b <= 4, t <= 4) (n = 256, exhaustive finite check; exact within the searched block sizes and step counts). Interpretation: 'Additive' is read as linear over GF(2) (Wolfram's own definition on p. 264: patterns from two initial conditions can be superimposed by XOR). 'Emulate itself' is read as block emulation with 2 to 4 cells per block and 1 to 4 steps per emulated step. 'Fundamentally different' is read as 'not related by left-right reflection and not related by the sublattice/shear relation that maps the rule 60 pattern onto the even sublattice of the rule 90 pattern'; without the second identification rule 60 (and its mirror 102) would be a third additive rule, which the test records explicitly. 'Rather rare' is given the threshold 25 % of the non-additive rules. All patterns are generated by analysis.py; there is no external download. https://w3id.org/delphi/resource/assessment/wolfram2002-ch06-20--claim-test http://www.w3.org/2000/01/rdf-schema#label Claim test of wolfram2002-ch06-20: supports, confidence 0.85 https://w3id.org/delphi/resource/assessment/wolfram2002-ch06-20--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-20/result.json https://w3id.org/delphi/resource/assessment/wolfram2002-ch06-20--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-ch06-20--claim-test https://w3id.org/delphi/ontology/admissibleDatasets Planned datasets: nks-ch06-20-eca-enumerator https://w3id.org/delphi/resource/assessment/wolfram2002-ch06-20--claim-test https://w3id.org/delphi/ontology/assessmentType claim-test/0.1.0 https://w3id.org/delphi/resource/assessment/wolfram2002-ch06-20--claim-test https://w3id.org/delphi/ontology/dataKind computational https://w3id.org/delphi/resource/assessment/wolfram2002-ch06-20--claim-test https://w3id.org/delphi/ontology/disconfirmingObservation Pre-registered. 'refutes' if clause A or clause B fails (an additive rule that does not self-emulate with b = t = 2, a non-trivial additive rule that is not nested, or a third inequivalent non-trivial additive class). 'mixed' if A and B pass but C fails (rule 184 does not self-emulate with 3-cell blocks within the search, or self-emulation is found in more than 25 % of non-additive rules, so 'rather rare' would be an overstatement). https://w3id.org/delphi/resource/assessment/wolfram2002-ch06-20--claim-test https://w3id.org/delphi/ontology/evidenceAgainst 'Fundamentally different' required an interpretive choice: rule 60 (and its mirror 102) is additive and nested but is not related to 90 by reflection or colour complement; it is the rule 90 pattern restricted to the sublattice i + t even. Without that identification the claim's 'precisely rules 90 and 150' would be 'rules 60, 90 and 150'. The test records this explicitly. https://w3id.org/delphi/resource/assessment/wolfram2002-ch06-20--claim-test https://w3id.org/delphi/ontology/evidenceAgainst All three pre-registered clauses passed: exactly 8 additive rules exist, each self-emulates with 2-cell blocks and 2 steps (the Frobenius identity f^2 = f at stride 2 over GF(2)) and the four non-trivial ones are exactly self-similar at scale 2; after identifying 60/102 with 90 through the verified sublattice relation the additive rules fall into the two classes {60, 90, 102} and {150}; rule 184 self-emulates with the 3-cell blocks 010/101 and 3 steps, as Wolfram says, and only 15 of the 248 non-additive rules (6 %) have any block self-emulation in the searched range. https://w3id.org/delphi/resource/assessment/wolfram2002-ch06-20--claim-test https://w3id.org/delphi/ontology/evidenceAgainst The 15 non-additive self-emulating rules are the affine rules 15, 51, 85, 153, 165, 195 (complements/XOR with 1), the AND/OR-type class-1 rules 128, 136, 192, 238, 252, 254, 255, the shift-like rule 226 and rule 184. Larger blocks or more steps (b > 4, t > 4) might reveal further self-emulating rules; 'rather rare' is confirmed only within the searched range. https://w3id.org/delphi/resource/assessment/wolfram2002-ch06-20--claim-test https://w3id.org/delphi/ontology/evidenceAgainst The claim's sub-clause that additivity implies self-emulation in general (for any number of colours and neighbours) was tested only for the elementary rules; the argument via the Frobenius endomorphism is standard but was not checked beyond them. https://w3id.org/delphi/resource/assessment/wolfram2002-ch06-20--claim-test https://w3id.org/delphi/ontology/expectedObservation Pre-registered. Definitions: a rule f is additive iff f(x XOR y) = f(x) XOR f(y) for all pairs of 3-cell neighbourhoods x, y (which forces f(000) = 0). Rule f self-emulates with block size b >= 2 and t >= 1 steps iff there are two distinct b-cell blocks B0, B1 such that for every arrangement of 2k+1 blocks (k = ceil(t/b)) drawn from {B0, B1}, running f for t steps leaves the centre block equal to B_{f(c-1, c0, c1)}, where c-1, c0, c1 are the bits represented by the three central blocks; this is the block-emulation notion of NKS pp. 269-271 and note p. 1118, which allows t != b. The search covers b in {2, 3, 4}, t in {1, 2, 3, 4} and all block pairs. Trivial rules: 0, 204 (identity), 170 and 240 (shifts). Equivalences for 'fundamentally different': reflection (rule 60 <-> 102) and the sublattice relation p90[t, 2j - t] = p60[t, j], verified computationally on the first 256 steps from a single black cell. Nested: the single-cell pattern p satisfies p[2t, 2i] = p[t, i] for all 0 <= t < 256 and |i| <= t. Clause A passes if every additive rule self-emulates with b = t = 2 and every non-trivial additive rule is nested in this sense. Clause B passes if the non-trivial additive rules fall into exactly two equivalence classes, one containing 90 and one containing 150. Clause C passes if rule 184 self-emulates with b = 3 for some t <= 4 and the fraction of the 248 non-additive rules with at least one self-emulation in the searched range is <= 0.25. 'supports' if A, B and C all pass. https://w3id.org/delphi/resource/assessment/wolfram2002-ch06-20--claim-test https://w3id.org/delphi/ontology/failCriterion Pre-registered. 'refutes' if clause A or clause B fails (an additive rule that does not self-emulate with b = t = 2, a non-trivial additive rule that is not nested, or a third inequivalent non-trivial additive class). 'mixed' if A and B pass but C fails (rule 184 does not self-emulate with 3-cell blocks within the search, or self-emulation is found in more than 25 % of non-additive rules, so 'rather rare' would be an overstatement). https://w3id.org/delphi/resource/assessment/wolfram2002-ch06-20--claim-test https://w3id.org/delphi/ontology/hasConfidence 0.85 https://w3id.org/delphi/resource/assessment/wolfram2002-ch06-20--claim-test https://w3id.org/delphi/ontology/hasEvidence https://w3id.org/delphi/resource/evidence/wolfram2002-ch06-20--claim-test--dataset-1 https://w3id.org/delphi/resource/assessment/wolfram2002-ch06-20--claim-test https://w3id.org/delphi/ontology/hasVerdict supports https://w3id.org/delphi/resource/assessment/wolfram2002-ch06-20--claim-test https://w3id.org/delphi/ontology/hypothesis Among the 256 elementary cellular automata, every rule that is additive (linear over GF(2)) can emulate itself with blocks of cells and yields an exactly self-similar (nested) pattern from a single black cell; after removing trivial rules and identifying rules related by reflection or by the sublattice (shear) relation between rules 60 and 90, exactly two additive classes remain, represented by rules 90 and 150; self-emulation among the remaining 248 rules is uncommon, but rule 184 has it with blocks of three cells. https://w3id.org/delphi/resource/assessment/wolfram2002-ch06-20--claim-test https://w3id.org/delphi/ontology/inferenceMethod analysis.py tests all 256 elementary rules for GF(2)-linearity over all 64 neighbourhood pairs, then searches exhaustively for block self-emulations with b = 2, 3, 4 cells per block, t = 1..4 steps and all ordered pairs of distinct blocks, checking every arrangement of 2k+1 blocks (k = ceil(t/b)) so that the centre block's light cone is covered. Nesting of the non-trivial additive rules was checked as exact scale-2 self-similarity p[2t, 2i] = p[t, i] of the single-black-cell pattern over 256 steps, and the sublattice relation p90[t, 2j - t] = p60[t, j] was verified over 256 steps before being used to merge rules 60/102 with 90. Equivalence classes of non-trivial additive rules were formed by union-find under reflection and the verified sublattice relation. https://w3id.org/delphi/resource/assessment/wolfram2002-ch06-20--claim-test https://w3id.org/delphi/ontology/passCriterion Pre-registered. Definitions: a rule f is additive iff f(x XOR y) = f(x) XOR f(y) for all pairs of 3-cell neighbourhoods x, y (which forces f(000) = 0). Rule f self-emulates with block size b >= 2 and t >= 1 steps iff there are two distinct b-cell blocks B0, B1 such that for every arrangement of 2k+1 blocks (k = ceil(t/b)) drawn from {B0, B1}, running f for t steps leaves the centre block equal to B_{f(c-1, c0, c1)}, where c-1, c0, c1 are the bits represented by the three central blocks; this is the block-emulation notion of NKS pp. 269-271 and note p. 1118, which allows t != b. The search covers b in {2, 3, 4}, t in {1, 2, 3, 4} and all block pairs. Trivial rules: 0, 204 (identity), 170 and 240 (shifts). Equivalences for 'fundamentally different': reflection (rule 60 <-> 102) and the sublattice relation p90[t, 2j - t] = p60[t, j], verified computationally on the first 256 steps from a single black cell. Nested: the single-cell pattern p satisfies p[2t, 2i] = p[t, i] for all 0 <= t < 256 and |i| <= t. Clause A passes if every additive rule self-emulates with b = t = 2 and every non-trivial additive rule is nested in this sense. Clause B passes if the non-trivial additive rules fall into exactly two equivalence classes, one containing 90 and one containing 150. Clause C passes if rule 184 self-emulates with b = 3 for some t <= 4 and the fraction of the 248 non-additive rules with at least one self-emulation in the searched range is <= 0.25. 'supports' if A, B and C all pass. https://w3id.org/delphi/resource/assessment/wolfram2002-ch06-20--claim-test https://w3id.org/delphi/ontology/preregistered false https://w3id.org/delphi/resource/claim/wolfram2002-ch06-20 https://w3id.org/delphi/ontology/hasAssessment https://w3id.org/delphi/resource/assessment/wolfram2002-ch06-20--claim-test https://w3id.org/delphi/resource/evidence/wolfram2002-ch06-20--claim-test--dataset-1 http://purl.org/dc/terms/description the finite rule space the claim is about https://w3id.org/delphi/resource/evidence/wolfram2002-ch06-20--claim-test--dataset-1 http://purl.org/dc/terms/license generated https://w3id.org/delphi/resource/evidence/wolfram2002-ch06-20--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-20--claim-test--dataset-1 http://www.w3.org/2000/01/rdf-schema#label Dataset: All 256 elementary cellular automata (Wolfram rule numbering), generated by analysis.py: additivity tables, exhaustive block self-emulation search (b = 2..4 cells, t = 1..4 steps, all block pairs), and 256-step single-black-cell patterns for the self-similarity and sublattice checks https://w3id.org/delphi/resource/evidence/wolfram2002-ch06-20--claim-test--dataset-1 http://www.w3.org/ns/prov#wasDerivedFrom https://www.wolframscience.com/nks/p271--special-initial-conditions/ https://w3id.org/np/RAwPb5sjY5qxb1urZnyjmvYEIu08EgBhGfkJXJmVwKZPo/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-e5f4) 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/RAwPb5sjY5qxb1urZnyjmvYEIu08EgBhGfkJXJmVwKZPo/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/RAwPb5sjY5qxb1urZnyjmvYEIu08EgBhGfkJXJmVwKZPo/assertion http://www.w3.org/ns/prov#wasDerivedFrom https://github.com/fractastical/delphisci/blob/bf2af6ee0a84e23ffa6414ad7a0a50a8c276506e/test-data/claim-tests/wolfram-nks/wolfram2002-ch06-20/result.json https://w3id.org/np/RAwPb5sjY5qxb1urZnyjmvYEIu08EgBhGfkJXJmVwKZPo/assertion http://www.w3.org/ns/prov#wasGeneratedBy https://w3id.org/np/RAwPb5sjY5qxb1urZnyjmvYEIu08EgBhGfkJXJmVwKZPo/test https://w3id.org/np/RAwPb5sjY5qxb1urZnyjmvYEIu08EgBhGfkJXJmVwKZPo/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/RAwPb5sjY5qxb1urZnyjmvYEIu08EgBhGfkJXJmVwKZPo/test http://www.w3.org/1999/02/22-rdf-syntax-ns#type http://www.w3.org/ns/prov#Activity https://w3id.org/np/RAwPb5sjY5qxb1urZnyjmvYEIu08EgBhGfkJXJmVwKZPo/test http://www.w3.org/ns/prov#qualifiedAssociation https://w3id.org/np/RAwPb5sjY5qxb1urZnyjmvYEIu08EgBhGfkJXJmVwKZPo/plan https://w3id.org/np/RAwPb5sjY5qxb1urZnyjmvYEIu08EgBhGfkJXJmVwKZPo/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/RAwPb5sjY5qxb1urZnyjmvYEIu08EgBhGfkJXJmVwKZPo/pubinfo https://w3id.org/np/RAwPb5sjY5qxb1urZnyjmvYEIu08EgBhGfkJXJmVwKZPo http://purl.org/dc/terms/created 2026-11-08T16:24:31.929Z https://w3id.org/np/RAwPb5sjY5qxb1urZnyjmvYEIu08EgBhGfkJXJmVwKZPo http://purl.org/dc/terms/creator https://orcid.org/0009-0007-4948-9192 https://w3id.org/np/RAwPb5sjY5qxb1urZnyjmvYEIu08EgBhGfkJXJmVwKZPo http://purl.org/dc/terms/license https://creativecommons.org/licenses/by/4.0/ https://w3id.org/np/RAwPb5sjY5qxb1urZnyjmvYEIu08EgBhGfkJXJmVwKZPo http://purl.org/nanopub/x/hasNanopubType https://w3id.org/delphi/ontology/Assessment https://w3id.org/np/RAwPb5sjY5qxb1urZnyjmvYEIu08EgBhGfkJXJmVwKZPo http://purl.org/nanopub/x/introduces https://w3id.org/delphi/resource/assessment/wolfram2002-ch06-20--claim-test https://w3id.org/np/RAwPb5sjY5qxb1urZnyjmvYEIu08EgBhGfkJXJmVwKZPo http://www.w3.org/2000/01/rdf-schema#label Claim test of wolfram2002-ch06-20: supports, confidence 0.85 https://w3id.org/np/RAwPb5sjY5qxb1urZnyjmvYEIu08EgBhGfkJXJmVwKZPo https://w3id.org/delphi/ontology/domain https://w3id.org/delphi/resource/domain/wolfram-nks-2002 https://w3id.org/np/RAwPb5sjY5qxb1urZnyjmvYEIu08EgBhGfkJXJmVwKZPo/sig http://purl.org/nanopub/x/hasAlgorithm RSA https://w3id.org/np/RAwPb5sjY5qxb1urZnyjmvYEIu08EgBhGfkJXJmVwKZPo/sig http://purl.org/nanopub/x/hasPublicKey MIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAyFHtPB6p0mCjDozxlOY9CmO3nBm7Te3jFbXyLmM+G1tGe47Da0jYIbhkl9Oo1ZjxmCa3LCwlEqK8gj6hEIcL4ahW30JXh9HycfKVk1bugkzMEV15tJdTzAU3sGMFnbNsn43xY2LFLy45tApkRm5byEiM7oRRrooIdwoQKnP4Wzq/bfAoJ9qvW+MGkelyOTd1jbSt+KfmT7xKmDfWzAHddUlWwMX2QJOLxDaffOteTop6ZRgPiNmPJKA/S62Gac9XtSYT3oDkZ6/nr5cxxNLpOyxTf5FPISiCe11xYO/unYjY+mwnOfA8yhJIyx1l0O9I0vpOpn+E5TvyHJV+oSTrvwIDAQAB https://w3id.org/np/RAwPb5sjY5qxb1urZnyjmvYEIu08EgBhGfkJXJmVwKZPo/sig http://purl.org/nanopub/x/hasSignature RGFrVPdBV0SZKCMgGJgLrvdic7K/gRjZZXzWZHY+WinL9AjXI5nifk8QfHNTrtgbQa/Xz+r1pEl7lD4F6ohdAdMHQoKCtIYNAvQ/BA6KajyD/y4blE/dg05fnt+r3l/JR5sFUSBemQzOJL6/uRp33yiUC6NQ6EDoR3hC3+Z+dNsUnPh0HfrQhgzIzHFGIQ7Z/++rhlj95L4Rd4trQ2ev1b5vb0iAP6lxlM70cwoJpDRwGQ6csL1W8bPFAsta1SaeApj7VrWNBqce4mUNgYHPCOPjOB0hkx+UO1T8ZDzfOnP8HzwoDnaLOpLVtQkZkk7PQnGCdnMFdP/a67R6oNmm+A== https://w3id.org/np/RAwPb5sjY5qxb1urZnyjmvYEIu08EgBhGfkJXJmVwKZPo/sig http://purl.org/nanopub/x/hasSignatureTarget https://w3id.org/np/RAwPb5sjY5qxb1urZnyjmvYEIu08EgBhGfkJXJmVwKZPo https://w3id.org/np/RAwPb5sjY5qxb1urZnyjmvYEIu08EgBhGfkJXJmVwKZPo/sig http://purl.org/nanopub/x/signedBy https://orcid.org/0009-0007-4948-9192