https://w3id.org/np/RAg9pnroLV2vhxGng11SRTWhCRiGT2KFgCFVhOfjpH444/Head https://w3id.org/np/RAg9pnroLV2vhxGng11SRTWhCRiGT2KFgCFVhOfjpH444 http://www.nanopub.org/nschema#hasAssertion https://w3id.org/np/RAg9pnroLV2vhxGng11SRTWhCRiGT2KFgCFVhOfjpH444/assertion https://w3id.org/np/RAg9pnroLV2vhxGng11SRTWhCRiGT2KFgCFVhOfjpH444 http://www.nanopub.org/nschema#hasProvenance https://w3id.org/np/RAg9pnroLV2vhxGng11SRTWhCRiGT2KFgCFVhOfjpH444/provenance https://w3id.org/np/RAg9pnroLV2vhxGng11SRTWhCRiGT2KFgCFVhOfjpH444 http://www.nanopub.org/nschema#hasPublicationInfo https://w3id.org/np/RAg9pnroLV2vhxGng11SRTWhCRiGT2KFgCFVhOfjpH444/pubinfo https://w3id.org/np/RAg9pnroLV2vhxGng11SRTWhCRiGT2KFgCFVhOfjpH444 http://www.w3.org/1999/02/22-rdf-syntax-ns#type http://www.nanopub.org/nschema#Nanopublication https://w3id.org/np/RAg9pnroLV2vhxGng11SRTWhCRiGT2KFgCFVhOfjpH444/assertion https://w3id.org/delphi/resource/assessment/wolfram2002-ch06-14--claim-test http://purl.org/dc/terms/description analysis.py generates the rule 30 centre column for 2^20 steps from a single black cell (S1) and from a seeded random row of width 2^21+1 (S2) using big-integer bit operations, a PCG64 stream (S3) and the Thue-Morse sequence (S4), checks S1 against all 100001 terms of the OEIS A051023 b-file, and applies ten NIST SP 800-22-style tests (monobit, block frequency M=128, runs, longest run M=10000, serial m=16, approximate entropy m=10, cumulative sums, DFT, Bonferroni autocorrelation over lags 1-64, 16-bit block chi-square) plus the lzma compression ratio to each. Runtime about 5 min, dominated by the two 2^20-step evolutions. https://w3id.org/delphi/resource/assessment/wolfram2002-ch06-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-ch06-14--claim-test http://www.w3.org/2000/01/rdf-schema#comment Measured: 10 randomness tests passed (p >= 0.01) by the rule 30 single-cell centre column, out of 10 (n = 1048576, at alpha = 0.01 per test a truly random sequence fails at least one of 10 tests with probability about 0.10). Interpretation: 'Random behaviour' is read as the book itself reads it (practical randomness, pp. 261 and 1085 ff.): the sequence passes standard statistical tests and is incompressible, not algorithmic randomness, which no finite test can establish. 'No randomness in initial conditions' is realised by the single-black-cell seed; the book's own comparison (p. 261) is with random initial conditions, so S2 is the matched control and S4 is a control for a deterministic but nested (non-random) sequence that the battery must reject for the test to be discriminating. Rule 22 is also mentioned in the claim's context but its single-cell pattern is nested; only rule 30, the book's example on this page, is tested. https://w3id.org/delphi/resource/assessment/wolfram2002-ch06-14--claim-test http://www.w3.org/2000/01/rdf-schema#label Claim test of wolfram2002-ch06-14: supports, confidence 0.9 https://w3id.org/delphi/resource/assessment/wolfram2002-ch06-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-ch06-14/result.json https://w3id.org/delphi/resource/assessment/wolfram2002-ch06-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-ch06-14--claim-test https://w3id.org/delphi/ontology/admissibleDatasets Planned datasets: rule30-centre-column-generator, oeis-a051023-bfile https://w3id.org/delphi/resource/assessment/wolfram2002-ch06-14--claim-test https://w3id.org/delphi/ontology/assessmentType claim-test/0.1.0 https://w3id.org/delphi/resource/assessment/wolfram2002-ch06-14--claim-test https://w3id.org/delphi/ontology/dataKind computational https://w3id.org/delphi/resource/assessment/wolfram2002-ch06-14--claim-test https://w3id.org/delphi/ontology/disconfirmingObservation Pre-registered. FAIL (refutes) if S1 passes 7 or fewer of the 10 tests or has lzma ratio < 0.98 (an exploitable regularity), or if S1 disagrees with OEIS A051023 (then the generator is wrong and the test is aborted as inconclusive/other). If S1 passes exactly 8, or S4 fails fewer than 4 tests (battery not discriminating), the verdict is 'mixed'. If the OEIS file cannot be fetched the OEIS cross-check is dropped and reported, and the verdict rests on the generated sequences. https://w3id.org/delphi/resource/assessment/wolfram2002-ch06-14--claim-test https://w3id.org/delphi/ontology/evidenceAgainst Only rule 30 was tested. Rule 22, also named in the claim's context, gives a nested pattern from a single black cell, and the book's example on p. 261 is rule 30. https://w3id.org/delphi/resource/assessment/wolfram2002-ch06-14--claim-test https://w3id.org/delphi/ontology/evidenceAgainst Passing a finite statistical battery is practical randomness, the sense the book uses; it does not establish algorithmic randomness or exclude a regularity invisible to these tests (the sequence is of course computable). https://w3id.org/delphi/resource/assessment/wolfram2002-ch06-14--claim-test https://w3id.org/delphi/ontology/evidenceAgainst S1's smallest p-value is 0.037 (approximate entropy, m = 10); with ten tests at alpha = 0.01 a single marginal value is expected. S2 (random initial row) had its smallest p-value at 0.018 (cumulative sums). Both rule 30 columns are statistically indistinguishable from the PCG64 stream in this battery, while Thue-Morse fails 7 of 10 tests and compresses to 0.4% of its size. https://w3id.org/delphi/resource/assessment/wolfram2002-ch06-14--claim-test https://w3id.org/delphi/ontology/evidenceAgainst The 16-bit block chi-square test has expected count 1 per cell, so its chi-square p-value is approximate (the true null variance of the statistic is about 1.5 times the chi-square value); the same approximation is applied to all four sequences and S1 passed it with p = 0.26. https://w3id.org/delphi/resource/assessment/wolfram2002-ch06-14--claim-test https://w3id.org/delphi/ontology/expectedObservation Pre-registered. Sequences of N = 2^20 bits: (S1) rule 30 centre column from a single black cell; (S2) rule 30 centre column from a random initial row (numpy seed 20261031, width 2N+1, so that the column is exactly the random-initial-condition case); (S3) numpy PCG64 bits, seed 20261031; (S4) the Thue-Morse sequence. Battery of 10 tests, each giving a p-value with pass meaning p >= 0.01: monobit frequency; block frequency (M = 128); runs; longest run of ones (M = 10000, K = 6); serial (m = 16, minimum of the two p-values); approximate entropy (m = 10); cumulative sums (minimum of forward and backward); discrete Fourier transform spectral test; autocorrelation (lags 1..64, Bonferroni-corrected normal p-value of the largest |r|); and a 16-bit non-overlapping block chi-square uniformity test. Also record the lzma compression ratio of the packed bits. PASS (supports) if S1 passes at least 9 of 10 tests and has lzma ratio >= 0.99, S2 and S3 each pass at least 9 of 10, S4 fails at least 4 tests, and the first terms of S1 agree exactly with the OEIS A051023 b-file over the whole length of the b-file. https://w3id.org/delphi/resource/assessment/wolfram2002-ch06-14--claim-test https://w3id.org/delphi/ontology/failCriterion Pre-registered. FAIL (refutes) if S1 passes 7 or fewer of the 10 tests or has lzma ratio < 0.98 (an exploitable regularity), or if S1 disagrees with OEIS A051023 (then the generator is wrong and the test is aborted as inconclusive/other). If S1 passes exactly 8, or S4 fails fewer than 4 tests (battery not discriminating), the verdict is 'mixed'. If the OEIS file cannot be fetched the OEIS cross-check is dropped and reported, and the verdict rests on the generated sequences. https://w3id.org/delphi/resource/assessment/wolfram2002-ch06-14--claim-test https://w3id.org/delphi/ontology/hasConfidence 0.9 https://w3id.org/delphi/resource/assessment/wolfram2002-ch06-14--claim-test https://w3id.org/delphi/ontology/hasEvidence https://w3id.org/delphi/resource/evidence/wolfram2002-ch06-14--claim-test--dataset-1 https://w3id.org/delphi/resource/assessment/wolfram2002-ch06-14--claim-test https://w3id.org/delphi/ontology/hasEvidence https://w3id.org/delphi/resource/evidence/wolfram2002-ch06-14--claim-test--dataset-2 https://w3id.org/delphi/resource/assessment/wolfram2002-ch06-14--claim-test https://w3id.org/delphi/ontology/hasVerdict supports https://w3id.org/delphi/resource/assessment/wolfram2002-ch06-14--claim-test https://w3id.org/delphi/ontology/hypothesis If the claim holds, the centre column of rule 30 started from a single black cell (an initial condition with no randomness) passes a standard battery of statistical randomness tests as well as the centre column of rule 30 started from a random initial condition and as well as a pseudo-random reference stream, whereas a nested deterministic sequence (Thue-Morse) fails the same battery. https://w3id.org/delphi/resource/assessment/wolfram2002-ch06-14--claim-test https://w3id.org/delphi/ontology/inferenceMethod analysis.py generates the rule 30 centre column for 2^20 steps from a single black cell (S1) and from a seeded random row of width 2^21+1 (S2) using big-integer bit operations, a PCG64 stream (S3) and the Thue-Morse sequence (S4), checks S1 against all 100001 terms of the OEIS A051023 b-file, and applies ten NIST SP 800-22-style tests (monobit, block frequency M=128, runs, longest run M=10000, serial m=16, approximate entropy m=10, cumulative sums, DFT, Bonferroni autocorrelation over lags 1-64, 16-bit block chi-square) plus the lzma compression ratio to each. Runtime about 5 min, dominated by the two 2^20-step evolutions. https://w3id.org/delphi/resource/assessment/wolfram2002-ch06-14--claim-test https://w3id.org/delphi/ontology/passCriterion Pre-registered. Sequences of N = 2^20 bits: (S1) rule 30 centre column from a single black cell; (S2) rule 30 centre column from a random initial row (numpy seed 20261031, width 2N+1, so that the column is exactly the random-initial-condition case); (S3) numpy PCG64 bits, seed 20261031; (S4) the Thue-Morse sequence. Battery of 10 tests, each giving a p-value with pass meaning p >= 0.01: monobit frequency; block frequency (M = 128); runs; longest run of ones (M = 10000, K = 6); serial (m = 16, minimum of the two p-values); approximate entropy (m = 10); cumulative sums (minimum of forward and backward); discrete Fourier transform spectral test; autocorrelation (lags 1..64, Bonferroni-corrected normal p-value of the largest |r|); and a 16-bit non-overlapping block chi-square uniformity test. Also record the lzma compression ratio of the packed bits. PASS (supports) if S1 passes at least 9 of 10 tests and has lzma ratio >= 0.99, S2 and S3 each pass at least 9 of 10, S4 fails at least 4 tests, and the first terms of S1 agree exactly with the OEIS A051023 b-file over the whole length of the b-file. https://w3id.org/delphi/resource/assessment/wolfram2002-ch06-14--claim-test https://w3id.org/delphi/ontology/preregistered false https://w3id.org/delphi/resource/claim/wolfram2002-ch06-14 https://w3id.org/delphi/ontology/hasAssessment https://w3id.org/delphi/resource/assessment/wolfram2002-ch06-14--claim-test https://w3id.org/delphi/resource/evidence/wolfram2002-ch06-14--claim-test--dataset-1 http://purl.org/dc/terms/description the sequences whose randomness is tested https://w3id.org/delphi/resource/evidence/wolfram2002-ch06-14--claim-test--dataset-1 http://purl.org/dc/terms/license generated by this test https://w3id.org/delphi/resource/evidence/wolfram2002-ch06-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-ch06-14--claim-test--dataset-1 http://www.w3.org/2000/01/rdf-schema#label Dataset: Rule 30 centre column from a single black cell and from a random initial row, pseudo-random reference bits, and the Thue-Morse sequence, 2^20 bits each, generated by analysis.py https://w3id.org/delphi/resource/evidence/wolfram2002-ch06-14--claim-test--dataset-1 http://www.w3.org/ns/prov#wasDerivedFrom https://www.wolframscience.com/nks/p261--randomness-in-class-3-systems/ https://w3id.org/delphi/resource/evidence/wolfram2002-ch06-14--claim-test--dataset-2 http://purl.org/dc/terms/description independent published copy of the centre column to validate the generator https://w3id.org/delphi/resource/evidence/wolfram2002-ch06-14--claim-test--dataset-2 http://purl.org/dc/terms/license CC BY-SA 4.0 (OEIS) https://w3id.org/delphi/resource/evidence/wolfram2002-ch06-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-ch06-14--claim-test--dataset-2 http://www.w3.org/2000/01/rdf-schema#label Dataset: OEIS A051023, middle column of rule 30 from a single black cell (b-file) https://w3id.org/delphi/resource/evidence/wolfram2002-ch06-14--claim-test--dataset-2 http://www.w3.org/ns/prov#atLocation https://oeis.org/A051023/b051023.txt https://w3id.org/delphi/resource/evidence/wolfram2002-ch06-14--claim-test--dataset-2 http://www.w3.org/ns/prov#wasDerivedFrom https://oeis.org/A051023 https://w3id.org/delphi/resource/evidence/wolfram2002-ch06-14--claim-test--dataset-2 https://w3id.org/delphi/ontology/hasChecksum sha256:4d0c4a0272bc2b0fb5c1e91281d6dffc757d67cd6ffd8aa9f7486dac4685c1a9 https://w3id.org/np/RAg9pnroLV2vhxGng11SRTWhCRiGT2KFgCFVhOfjpH444/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-9241) 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/RAg9pnroLV2vhxGng11SRTWhCRiGT2KFgCFVhOfjpH444/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/RAg9pnroLV2vhxGng11SRTWhCRiGT2KFgCFVhOfjpH444/assertion http://www.w3.org/ns/prov#wasDerivedFrom https://github.com/fractastical/delphisci/blob/bf2af6ee0a84e23ffa6414ad7a0a50a8c276506e/test-data/claim-tests/wolfram-nks/wolfram2002-ch06-14/result.json https://w3id.org/np/RAg9pnroLV2vhxGng11SRTWhCRiGT2KFgCFVhOfjpH444/assertion http://www.w3.org/ns/prov#wasGeneratedBy https://w3id.org/np/RAg9pnroLV2vhxGng11SRTWhCRiGT2KFgCFVhOfjpH444/test https://w3id.org/np/RAg9pnroLV2vhxGng11SRTWhCRiGT2KFgCFVhOfjpH444/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/RAg9pnroLV2vhxGng11SRTWhCRiGT2KFgCFVhOfjpH444/test http://www.w3.org/1999/02/22-rdf-syntax-ns#type http://www.w3.org/ns/prov#Activity https://w3id.org/np/RAg9pnroLV2vhxGng11SRTWhCRiGT2KFgCFVhOfjpH444/test http://www.w3.org/ns/prov#qualifiedAssociation https://w3id.org/np/RAg9pnroLV2vhxGng11SRTWhCRiGT2KFgCFVhOfjpH444/plan https://w3id.org/np/RAg9pnroLV2vhxGng11SRTWhCRiGT2KFgCFVhOfjpH444/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/RAg9pnroLV2vhxGng11SRTWhCRiGT2KFgCFVhOfjpH444/pubinfo https://w3id.org/np/RAg9pnroLV2vhxGng11SRTWhCRiGT2KFgCFVhOfjpH444 http://purl.org/dc/terms/created 2026-11-08T16:24:31.927Z https://w3id.org/np/RAg9pnroLV2vhxGng11SRTWhCRiGT2KFgCFVhOfjpH444 http://purl.org/dc/terms/creator https://orcid.org/0009-0007-4948-9192 https://w3id.org/np/RAg9pnroLV2vhxGng11SRTWhCRiGT2KFgCFVhOfjpH444 http://purl.org/dc/terms/license https://creativecommons.org/licenses/by/4.0/ https://w3id.org/np/RAg9pnroLV2vhxGng11SRTWhCRiGT2KFgCFVhOfjpH444 http://purl.org/nanopub/x/hasNanopubType https://w3id.org/delphi/ontology/Assessment https://w3id.org/np/RAg9pnroLV2vhxGng11SRTWhCRiGT2KFgCFVhOfjpH444 http://purl.org/nanopub/x/introduces https://w3id.org/delphi/resource/assessment/wolfram2002-ch06-14--claim-test https://w3id.org/np/RAg9pnroLV2vhxGng11SRTWhCRiGT2KFgCFVhOfjpH444 http://www.w3.org/2000/01/rdf-schema#label Claim test of wolfram2002-ch06-14: supports, confidence 0.9 https://w3id.org/np/RAg9pnroLV2vhxGng11SRTWhCRiGT2KFgCFVhOfjpH444 https://w3id.org/delphi/ontology/domain https://w3id.org/delphi/resource/domain/wolfram-nks-2002 https://w3id.org/np/RAg9pnroLV2vhxGng11SRTWhCRiGT2KFgCFVhOfjpH444/sig http://purl.org/nanopub/x/hasAlgorithm RSA https://w3id.org/np/RAg9pnroLV2vhxGng11SRTWhCRiGT2KFgCFVhOfjpH444/sig http://purl.org/nanopub/x/hasPublicKey MIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAyFHtPB6p0mCjDozxlOY9CmO3nBm7Te3jFbXyLmM+G1tGe47Da0jYIbhkl9Oo1ZjxmCa3LCwlEqK8gj6hEIcL4ahW30JXh9HycfKVk1bugkzMEV15tJdTzAU3sGMFnbNsn43xY2LFLy45tApkRm5byEiM7oRRrooIdwoQKnP4Wzq/bfAoJ9qvW+MGkelyOTd1jbSt+KfmT7xKmDfWzAHddUlWwMX2QJOLxDaffOteTop6ZRgPiNmPJKA/S62Gac9XtSYT3oDkZ6/nr5cxxNLpOyxTf5FPISiCe11xYO/unYjY+mwnOfA8yhJIyx1l0O9I0vpOpn+E5TvyHJV+oSTrvwIDAQAB https://w3id.org/np/RAg9pnroLV2vhxGng11SRTWhCRiGT2KFgCFVhOfjpH444/sig http://purl.org/nanopub/x/hasSignature AUn4czodZkhTOBzGp3i/nMM5UdarDbD4q6rIIOnX9T6kbQnxT2sx8TBnZdK69w8J10XFjyG7QNX4zE9X+hZrZ2mUGrDtVQu5fTcDr+7/knlZDF2ozxcPdltD0aLDG8KrmaAj+Lq8gDxch2WgfFM7bG7hnq772wx3AeHV9vT/2d2mKYD2monItJsujAc3yASALcaH/mzNN11mEOuAyuJhqVfYjFZZJM9/t9NmsLmF7vUDGi3nrts4YV4LPrppn3Y+BJKoZjae8rQzgIEzDj1xB+QShvOBCboBxiFYt8034+B1a+0iDcC7DCdhvVUcco+IlbR/L+rD8hO/EYP/UK0r0w== https://w3id.org/np/RAg9pnroLV2vhxGng11SRTWhCRiGT2KFgCFVhOfjpH444/sig http://purl.org/nanopub/x/hasSignatureTarget https://w3id.org/np/RAg9pnroLV2vhxGng11SRTWhCRiGT2KFgCFVhOfjpH444 https://w3id.org/np/RAg9pnroLV2vhxGng11SRTWhCRiGT2KFgCFVhOfjpH444/sig http://purl.org/nanopub/x/signedBy https://orcid.org/0009-0007-4948-9192