https://w3id.org/np/RA5ttDso563q_imZICLIHU5RGxTiBMJKYB1sMhGRqjXUQ
.trig | .trig.txt | .jelly | .jelly.txt | .jsonld | .jsonld.txt | .nq | .nq.txt | .xml | .xml.txt
@prefix this: <https://w3id.org/np/RA5ttDso563q_imZICLIHU5RGxTiBMJKYB1sMhGRqjXUQ> .
@prefix sub: <https://w3id.org/np/RA5ttDso563q_imZICLIHU5RGxTiBMJKYB1sMhGRqjXUQ/> .
@prefix np: <http://www.nanopub.org/nschema#> .
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix prov: <http://www.w3.org/ns/prov#> .
@prefix npx: <http://purl.org/nanopub/x/> .
@prefix dc: <http://purl.org/dc/terms/> .
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
sub:Head {
this: a np:Nanopublication;
np:hasAssertion sub:assertion;
np:hasProvenance sub:provenance;
np:hasPublicationInfo sub:pubinfo .
}
sub:assertion {
<https://w3id.org/delphi/resource/assessment/wolfram2002-ch11-04--claim-test> a <https://w3id.org/delphi/ontology/Assessment>;
dc:description "analysis.py imports the parser, lookup-table builder, encoder and stepper from the ch11-06 test, fetches the published rule list (same page, SHA-256 recorded), and runs the fixed 19-colour rule on a cyclic array of 128 encoded blocks (2560 cells) for 128 emulated steps (6784 universal steps) from a single black cell, with the encoded target being rule 250, 90, 110, 30 or the seed-drawn rule 10. At each 53-step checkpoint the decoded colour cells were compared with the directly computed target, and lzma compressibility was measured for the decoded 128 x 128 pattern (rho_dec), the direct target pattern (rho_ref) and the raw 128 x 2560 universal-automaton checkpoint array (rho_raw, normalised by log2 19). All decoded patterns equal the targets (0 mismatches), so rho_dec = rho_ref exactly: 0.10 (250), 0.15 (90), 0.52 (110), 0.97 (30), 0.06 (10). Raw: 0.0022 (250) < 0.0029 (90) < 0.0172 (110) < 0.0208 (30); ratio 30/250 = 9.32, above the pre-registered 2.";
<http://www.w3.org/2000/01/rdf-schema#comment> "Measured: 9.32 ratio of raw universal-automaton compressibility rho_raw when emulating rule 30 to that when emulating rule 250 (same rule, different initial condition) (n = 5, deterministic for the fixed initial conditions). Interpretation: Wolfram's statement is an implication: universality (ability to emulate any system) entails the ability to produce behaviour as complex as that of any system. Taken literally it is a consequence of the definition of emulation plus the existence of universal systems, and the 'arbitrarily' part (no upper bound) cannot be tested by a finite run. We test the concrete content for one universal system and one complexity measure: that the same fixed rule, changing only the initial condition, realises behaviour matching the complexity of targets across the four Wolfram classes, measured both after decoding and on the universal system's raw pattern. 'Complex' is operationalised as lzma incompressibility of the space-time pattern, which Wolfram uses himself (NKS ch. 10) as a proxy for apparent complexity. The 'in a sense' qualification is honoured by reporting both the decoded and raw measures. The claim's second reading noted by one assessor (complex behaviour from simple initial conditions) is not tested: the initial conditions here encode the target rule and are not simple.";
<http://www.w3.org/2000/01/rdf-schema#label> "Claim test of wolfram2002-ch11-04: supports, confidence 0.6";
<http://www.w3.org/2000/01/rdf-schema#seeAlso> <https://github.com/fractastical/delphisci/blob/bf2af6ee0a84e23ffa6414ad7a0a50a8c276506e/test-data/claim-tests/wolfram-nks/wolfram2002-ch11-04/result.json>;
prov:wasAttributedTo <https://w3id.org/delphi/resource/agent/delphisci-claim-tester-claude-fable-5-1>;
<https://w3id.org/delphi/ontology/admissibleDatasets> "Planned datasets: nks-notes-11-4-universal-cellular-automaton, nks-ch11-04-uca-complexity-generator";
<https://w3id.org/delphi/ontology/assessmentType> "claim-test/0.1.0";
<https://w3id.org/delphi/ontology/dataKind> "computational";
<https://w3id.org/delphi/ontology/disconfirmingObservation> "Pre-registered. 'refutes' if some decoded pattern differs from the target pattern (then the universal system does not reproduce the emulated behaviour and (i) fails). 'mixed' if (i) holds but (ii) fails, meaning the emulated complexity is visible only after decoding and the universal system's own pattern is dominated by its fixed scaffolding. 'inconclusive' with reason 'data-unavailable' if the rule text is unavailable.";
<https://w3id.org/delphi/ontology/evidenceAgainst> "Condition (i) is implied by exact emulation (already verified in ch11-06) and adds no independent evidence; the informative part is condition (ii), that the universal rule's own raw pattern, with its fixed scaffolding (block markers and rule table occupying 19 of every 20 cells), still carries the emulated complexity: raw rho spans a factor of about 9.3 between the simplest and the most complex target.",
"Cyclic boundaries with N = 128 cells and 128 steps: rule 30's pattern wraps after 64 steps, which does not affect the comparison (both systems wrap identically) but makes rho_dec for rule 30 slightly higher than for an unbounded array.",
"Only elementary (range-1) targets were used; targets with larger range or more colours would need the range parameter or the colour reduction, which the ch11-06 test covers only partly.",
"Raw rho values are small in absolute terms (0.002-0.021) because the scaffolding is highly compressible; only their ordering and ratio were pre-registered as criteria.",
"The claim is close to a tautology once 'universal' is defined by emulation; this test shows the concrete consequence for one universal system and one complexity proxy (lzma compressibility), not the unbounded 'arbitrarily complex', which no finite run can establish.",
"The random rule drawn (rule 10) turned out to be a simple class-2 rule, so it does not add a high-complexity data point; the complexity range is set by rules 250 and 30.";
<https://w3id.org/delphi/ontology/expectedObservation> "Pre-registered. analysis.py re-uses the published rule list (derived/uca_rule.txt copied from the ch11-06 test, or fetched live) and runs the universal automaton on a cyclic array of N = 128 encoded blocks for S = 128 emulated steps (128 x 53 = 6784 universal steps) from a single black cell, for targets: elementary rules 250 (uniform growth), 90 (nested), 110 (localised structures), 30 (random), and one random two-colour range-1 rule drawn with seed 20261104 from rules with f(000) = 0. For each target: rho_dec = 8 * lzma bytes / cells of the decoded S x N binary pattern; rho_ref = the same measure for the directly computed target pattern; rho_raw = 8 * lzma bytes / (cells * log2 19) of the universal automaton's raw S x 20N checkpoint array (rows at multiples of 53 steps). 'supports' if (i) rho_dec equals rho_ref for every target (the universal system's decoded behaviour is exactly as complex as the emulated system's) and (ii) rho_raw(250) < rho_raw(90) < rho_raw(30) with rho_raw(30) >= 2 * rho_raw(250), i.e. the universal system's own pattern spans a wide range of complexity set only by the initial condition. Thresholds fixed before running.";
<https://w3id.org/delphi/ontology/failCriterion> "Pre-registered. 'refutes' if some decoded pattern differs from the target pattern (then the universal system does not reproduce the emulated behaviour and (i) fails). 'mixed' if (i) holds but (ii) fails, meaning the emulated complexity is visible only after decoding and the universal system's own pattern is dominated by its fixed scaffolding. 'inconclusive' with reason 'data-unavailable' if the rule text is unavailable.";
<https://w3id.org/delphi/ontology/hasConfidence> "0.6"^^xsd:double;
<https://w3id.org/delphi/ontology/hasEvidence> <https://w3id.org/delphi/resource/evidence/wolfram2002-ch11-04--claim-test--dataset-1>,
<https://w3id.org/delphi/resource/evidence/wolfram2002-ch11-04--claim-test--dataset-2>;
<https://w3id.org/delphi/ontology/hasVerdict> "supports";
<https://w3id.org/delphi/ontology/hypothesis> "A single fixed universal rule (Wolfram's 19-colour universal cellular automaton, verified as an emulator in claim-test wolfram2002-ch11-06), run from initial conditions that differ only in the encoded target rule, produces behaviour whose complexity under a fixed measure (lzma compressibility) ranges from that of the simplest target (uniform/periodic) to that of the most complex target tried (random-looking), both in the decoded emulated cells and in the universal automaton's own raw space-time pattern.";
<https://w3id.org/delphi/ontology/inferenceMethod> "analysis.py imports the parser, lookup-table builder, encoder and stepper from the ch11-06 test, fetches the published rule list (same page, SHA-256 recorded), and runs the fixed 19-colour rule on a cyclic array of 128 encoded blocks (2560 cells) for 128 emulated steps (6784 universal steps) from a single black cell, with the encoded target being rule 250, 90, 110, 30 or the seed-drawn rule 10. At each 53-step checkpoint the decoded colour cells were compared with the directly computed target, and lzma compressibility was measured for the decoded 128 x 128 pattern (rho_dec), the direct target pattern (rho_ref) and the raw 128 x 2560 universal-automaton checkpoint array (rho_raw, normalised by log2 19). All decoded patterns equal the targets (0 mismatches), so rho_dec = rho_ref exactly: 0.10 (250), 0.15 (90), 0.52 (110), 0.97 (30), 0.06 (10). Raw: 0.0022 (250) < 0.0029 (90) < 0.0172 (110) < 0.0208 (30); ratio 30/250 = 9.32, above the pre-registered 2.";
<https://w3id.org/delphi/ontology/passCriterion> "Pre-registered. analysis.py re-uses the published rule list (derived/uca_rule.txt copied from the ch11-06 test, or fetched live) and runs the universal automaton on a cyclic array of N = 128 encoded blocks for S = 128 emulated steps (128 x 53 = 6784 universal steps) from a single black cell, for targets: elementary rules 250 (uniform growth), 90 (nested), 110 (localised structures), 30 (random), and one random two-colour range-1 rule drawn with seed 20261104 from rules with f(000) = 0. For each target: rho_dec = 8 * lzma bytes / cells of the decoded S x N binary pattern; rho_ref = the same measure for the directly computed target pattern; rho_raw = 8 * lzma bytes / (cells * log2 19) of the universal automaton's raw S x 20N checkpoint array (rows at multiples of 53 steps). 'supports' if (i) rho_dec equals rho_ref for every target (the universal system's decoded behaviour is exactly as complex as the emulated system's) and (ii) rho_raw(250) < rho_raw(90) < rho_raw(30) with rho_raw(30) >= 2 * rho_raw(250), i.e. the universal system's own pattern spans a wide range of complexity set only by the initial condition. Thresholds fixed before running.";
<https://w3id.org/delphi/ontology/preregistered> "false"^^xsd:boolean .
<https://w3id.org/delphi/resource/claim/wolfram2002-ch11-04> <https://w3id.org/delphi/ontology/hasAssessment>
<https://w3id.org/delphi/resource/assessment/wolfram2002-ch11-04--claim-test> .
<https://w3id.org/delphi/resource/evidence/wolfram2002-ch11-04--claim-test--dataset-1>
a <https://w3id.org/delphi/ontology/EvidenceItem>;
dc:description "the fixed universal rule";
dc:license "Copyright Stephen Wolfram, LLC; used for verification only";
<http://www.w3.org/2000/01/rdf-schema#label> "Dataset: NKS online, notes for Chapter 11 Section 4, 'Universal cellular automaton' (rule list and block encoding); same source as claim-test wolfram2002-ch11-06";
prov:atLocation <https://www.wolframscience.com/nks/notes-11-4--universal-cellular-automaton/>;
prov:wasDerivedFrom <https://www.wolframscience.com/nks/notes-11-4--universal-cellular-automaton/>;
<https://w3id.org/delphi/ontology/hasChecksum> "sha256:2aea025fd6734b7285d1ff2e355cebc660a40b4ac18dc16ee54d6e0f5813bf3a" .
<https://w3id.org/delphi/resource/evidence/wolfram2002-ch11-04--claim-test--dataset-2>
a <https://w3id.org/delphi/ontology/EvidenceItem>;
dc:description "the complexity measurements";
dc:license "generated";
<http://www.w3.org/2000/01/rdf-schema#label> "Dataset: Universal-automaton runs (N = 128 cells, S = 128 steps, single black cell) emulating rules 250, 90, 110, 30 and one random rule (seed 20261104), with lzma compressibility of decoded and raw patterns, generated by analysis.py";
prov:wasDerivedFrom <https://www.wolframscience.com/nks/p643--the-phenomenon-of-universality/> .
}
sub:provenance {
<https://w3id.org/delphi/resource/agent/delphisci-claim-tester-claude-fable-5-1> a
prov:SoftwareAgent;
<http://www.w3.org/2000/01/rdf-schema#label> "delphisci claim tester (claude-fable-5.1; cursor/claim-tests-wolfram-nks-e5f4)";
prov:actedOnBehalfOf <https://orcid.org/0009-0007-4948-9192>;
<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> a <https://w3id.org/delphi/ontology/LanguageModel>;
dc:identifier "claude-fable-5.1" .
sub:assertion prov:wasAttributedTo <https://w3id.org/delphi/resource/agent/delphisci-claim-tester-claude-fable-5-1>;
prov:wasDerivedFrom <https://github.com/fractastical/delphisci/blob/bf2af6ee0a84e23ffa6414ad7a0a50a8c276506e/test-data/claim-tests/wolfram-nks/wolfram2002-ch11-04/result.json>;
prov:wasGeneratedBy sub:test .
sub:plan prov:hadPlan <https://github.com/fractastical/delphisci/blob/bf2af6ee0a84e23ffa6414ad7a0a50a8c276506e/test-data/claim-tests/README.md> .
sub:test a prov:Activity;
prov:qualifiedAssociation sub:plan;
prov:wasAssociatedWith <https://w3id.org/delphi/resource/agent/delphisci-claim-tester-claude-fable-5-1> .
}
sub:pubinfo {
this: dc:created "2026-11-08T16:24:31.936Z"^^xsd:dateTime;
dc:creator <https://orcid.org/0009-0007-4948-9192>;
dc:license <https://creativecommons.org/licenses/by/4.0/>;
npx:hasNanopubType <https://w3id.org/delphi/ontology/Assessment>;
npx:introduces <https://w3id.org/delphi/resource/assessment/wolfram2002-ch11-04--claim-test>;
<http://www.w3.org/2000/01/rdf-schema#label> "Claim test of wolfram2002-ch11-04: supports, confidence 0.6";
<https://w3id.org/delphi/ontology/domain> <https://w3id.org/delphi/resource/domain/wolfram-nks-2002> .
sub:sig npx:hasAlgorithm "RSA";
npx:hasPublicKey "MIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAyFHtPB6p0mCjDozxlOY9CmO3nBm7Te3jFbXyLmM+G1tGe47Da0jYIbhkl9Oo1ZjxmCa3LCwlEqK8gj6hEIcL4ahW30JXh9HycfKVk1bugkzMEV15tJdTzAU3sGMFnbNsn43xY2LFLy45tApkRm5byEiM7oRRrooIdwoQKnP4Wzq/bfAoJ9qvW+MGkelyOTd1jbSt+KfmT7xKmDfWzAHddUlWwMX2QJOLxDaffOteTop6ZRgPiNmPJKA/S62Gac9XtSYT3oDkZ6/nr5cxxNLpOyxTf5FPISiCe11xYO/unYjY+mwnOfA8yhJIyx1l0O9I0vpOpn+E5TvyHJV+oSTrvwIDAQAB";
npx:hasSignature "pFNUpdGBgnJO6Hacs8XSeSj9DYpOeEdYQg2/j3dlP9fR/5OtjjYnli1MDawyRGDrY1bjEYGt1IjxRtKfo9/5u9DLii7SqzyZznU+bSXtI1V9yMEs9jP3lw39dhMmoT8EDqjNhv8u6suR/PdroqANXk8vBDciibQQk2qC67NHlxWwfItrRcisMmybP9xQZfXwMRYsnZThr5XMGpsqkAstYsa+j+21gutXAbIuwgXF8bU88A0MeV/dxQJCuI4EI/WmFK+RX42WsKiqW7h2cyD3gcefeAAELsHgAX3Ek/UAGyKAdXPN2O233kOi8r9FDkG8pDkNAqTKoLTybDprB4kOCQ==";
npx:hasSignatureTarget this:;
npx:signedBy <https://orcid.org/0009-0007-4948-9192> .
}