https://w3id.org/np/RAkOq-2i_5a6jUJDq3Gmna1wDAvOXA1B7y6rSLGXTcYFg
.trig | .trig.txt | .jelly | .jelly.txt | .jsonld | .jsonld.txt | .nq | .nq.txt | .xml | .xml.txt
@prefix this: <https://w3id.org/np/RAkOq-2i_5a6jUJDq3Gmna1wDAvOXA1B7y6rSLGXTcYFg> .
@prefix sub: <https://w3id.org/np/RAkOq-2i_5a6jUJDq3Gmna1wDAvOXA1B7y6rSLGXTcYFg/> .
@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-ch06-06--claim-test> a <https://w3id.org/delphi/ontology/Assessment>;
dc:description "analysis.py drew one width-201 Bernoulli(0.5) row with PCG64 seed 20261102 (112 ones) and evolved elementary rules 4, 108, 110 and 30 for 300 steps on a periodic line. Activity is the mean fraction of cells that change over steps 100..299. Activities: {4: 0.0, 108: 0.05970149253731342, 110: 0.42507462686567166, 30: 0.4926865671641791}.";
<http://www.w3.org/2000/01/rdf-schema#comment> "Measured: 0.42507462686567166 mean fraction of cells changing per step, rule 110, steps 100..299 (n = 200, exact on the locked initial condition). Interpretation: Page 242 says class 4 activity neither dies out, as in class 2, nor stays at the high level of class 3. Activity is the fraction of cells that change from one row to the next, averaged after a 100-step transient, on the four exemplars. The same initial condition is used so the comparison is not an average over draws. This is a property of these four programs, not of organisms, and not of every rule Wolfram would label class 2, 3 or 4.";
<http://www.w3.org/2000/01/rdf-schema#label> "Claim test of wolfram2002-ch06-06: supports, confidence 0.8";
<http://www.w3.org/2000/01/rdf-schema#seeAlso> <https://github.com/fractastical/delphisci/blob/bf2af6ee0a84e23ffa6414ad7a0a50a8c276506e/test-data/claim-tests/wolfram-nks/wolfram2002-ch06-06/result.json>;
prov:wasAttributedTo <https://w3id.org/delphi/resource/agent/delphisci-claim-tester-grok-4-7>;
<https://w3id.org/delphi/ontology/admissibleDatasets> "Elementary rules 4, 108, 110 and 30 on a width-201 periodic lattice from the single locked random initial condition.";
<https://w3id.org/delphi/ontology/assessmentType> "claim-test/0.1.0";
<https://w3id.org/delphi/ontology/dataKind> "computational";
<https://w3id.org/delphi/ontology/disconfirmingObservation> "A(110) is less than or equal to both class-2 exemplars' activities, or greater than or equal to rule 30's activity.";
<https://w3id.org/delphi/ontology/evidenceAgainst> "Activity is one statistic on one initial condition. It does not show that organisms sit between two classes of behavior.",
"The comparison uses four exemplar rules, not every elementary rule in Wolfram's classes, and not a continuous family. The transition clause of the claim is not tested.";
<https://w3id.org/delphi/ontology/expectedObservation> "A(110) exceeds the more active of rules 4 and 108 by more than 0.02, and falls short of A(30) by more than 0.02.";
<https://w3id.org/delphi/ontology/failCriterion> "Pre-registered. Refutes if A(110) <= max(A(4), A(108)) or A(110) >= A(30). Mixed if the order max(A(4), A(108)) < A(110) < A(30) holds but at least one gap is smaller than 0.02. The further claim that class 4 sits at the transition in a continuous family of rules is not tested.";
<https://w3id.org/delphi/ontology/hasConfidence> "0.8"^^xsd:double;
<https://w3id.org/delphi/ontology/hasEvidence> <https://w3id.org/delphi/resource/evidence/wolfram2002-ch06-06--claim-test--dataset-1>;
<https://w3id.org/delphi/ontology/hasVerdict> "supports";
<https://w3id.org/delphi/ontology/hypothesis> "On one shared random initial condition, the mean fraction of cells that change per step is strictly intermediate for class-4 rule 110: above class-2 rules 4 and 108, and below class-3 rule 30.";
<https://w3id.org/delphi/ontology/inferenceMethod> "One activity statistic, the mean Hamming distance between successive rows over steps 100..299, compared with a gap of 0.02.";
<https://w3id.org/delphi/ontology/passCriterion> "Pre-registered. Exemplars, locked: class 2 = elementary rules 4 and 108, class 4 = rule 110, class 3 = rule 30. Width 201, periodic boundaries, 300 steps. One initial condition shared by all four rules: 201 Bernoulli(0.5) bits from numpy Generator PCG64 seed 20261102. Activity A(rule) is the mean, over steps t = 100..299, of the fraction of the 201 cells whose value differs from the previous row. Supports if max(A(4), A(108)) + 0.02 < A(110) < A(30) - 0.02.";
<https://w3id.org/delphi/ontology/preregistered> "false"^^xsd:boolean .
<https://w3id.org/delphi/resource/claim/wolfram2002-ch06-06> <https://w3id.org/delphi/ontology/hasAssessment>
<https://w3id.org/delphi/resource/assessment/wolfram2002-ch06-06--claim-test> .
<https://w3id.org/delphi/resource/evidence/wolfram2002-ch06-06--claim-test--dataset-1>
a <https://w3id.org/delphi/ontology/EvidenceItem>;
dc:description "exemplar rules for the activity comparison";
dc:license "generated";
<http://www.w3.org/2000/01/rdf-schema#label> "Dataset: Rules 4, 108, 110 and 30 on one locked random row";
prov:wasDerivedFrom <https://www.wolframscience.com/nks/p242--four-classes-of-behavior/> .
}
sub:provenance {
<https://w3id.org/delphi/resource/agent/delphisci-claim-tester-grok-4-7> a prov:SoftwareAgent;
<http://www.w3.org/2000/01/rdf-schema#label> "delphisci claim tester (grok-4.7; cursor/wolfram-programs-c-b6e6)";
prov:actedOnBehalfOf <https://orcid.org/0009-0007-4948-9192>;
<https://w3id.org/delphi/ontology/usesModel> <https://w3id.org/delphi/resource/model/grok-4-7> .
<https://w3id.org/delphi/resource/model/grok-4-7> a <https://w3id.org/delphi/ontology/LanguageModel>;
dc:identifier "grok-4.7" .
sub:assertion prov:wasAttributedTo <https://w3id.org/delphi/resource/agent/delphisci-claim-tester-grok-4-7>;
prov:wasDerivedFrom <https://github.com/fractastical/delphisci/blob/bf2af6ee0a84e23ffa6414ad7a0a50a8c276506e/test-data/claim-tests/wolfram-nks/wolfram2002-ch06-06/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-grok-4-7> .
}
sub:pubinfo {
this: dc:created "2026-11-08T16:24:31.927Z"^^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-ch06-06--claim-test>;
<http://www.w3.org/2000/01/rdf-schema#label> "Claim test of wolfram2002-ch06-06: supports, confidence 0.8";
<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 "gYgPPFJ7SmXbmcWkdVVuWoxN0fv9Ol+OmRS9HocUHhvUaudrozVcPiHMF/FB/2CdKa5y2PIfU87h7hYthuGKts6IQogRicJqvj/MRUmnMeLk83hhDeRX9HYeVuyrP0gurj2FX+EIIfklOOcRc+zAcsTmU6hBhv0sCFjfZDJFcCdNYapW1aPvwYd6/KKv9H656crO8uzKdopM/NPjzTYl7N82K7oGaHkDDjXrr/t5OZg42Tof6QwM0wzzFl6s/dPeZmMTJT2XH+4w7/FawF89ORhlI2dWWv4H52FS1R9Z7X6DEkIUN+gyeqMlinx7fQNwBVQxB6m4+HxtL2DRl1biLQ==";
npx:hasSignatureTarget this:;
npx:signedBy <https://orcid.org/0009-0007-4948-9192> .
}