https://w3id.org/np/RAZ5GZc50OuO0Re3yh73635YuCOqtqxT7goUKou-mjBc8
.trig | .trig.txt | .jelly | .jelly.txt | .jsonld | .jsonld.txt | .nq | .nq.txt | .xml | .xml.txt
@prefix this: <https://w3id.org/np/RAZ5GZc50OuO0Re3yh73635YuCOqtqxT7goUKou-mjBc8> .
@prefix sub: <https://w3id.org/np/RAZ5GZc50OuO0Re3yh73635YuCOqtqxT7goUKou-mjBc8/> .
@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-19--claim-test> a <https://w3id.org/delphi/ontology/Assessment>;
dc:description "analysis.py applies elementary rule 90 to every width-16 configuration, compares the even cells after two steps with one step of rule 90 on those cells, checks cell(2t, 2x) = cell(t, x) for t <= 63, and checks the simulator against the mod-2 binomial formula. The same block comparison is run for rule 30 on all 4096 width-12 states.";
<http://www.w3.org/2000/01/rdf-schema#comment> "Measured: 0 mismatches of the even-cell identity among 65536 width-16 states of rule 90 (n = 65536, exact enumeration). Interpretation: A rule emulates itself when the even sublattice after two steps is the same rule on half as many cells. For rule 90 that identity is a_{t+2}(i) = a_t(i-2) XOR a_t(i+2). Nested, for the single-seed pattern, is the dyadic equality. Uniform would be a light cone of one color. Rule 30 is a control that is not this kind of self-emulation. The book's 'must' for every such rule is recorded as unproved by this check.";
<http://www.w3.org/2000/01/rdf-schema#label> "Claim test of wolfram2002-ch06-19: supports, confidence 0.86";
<http://www.w3.org/2000/01/rdf-schema#seeAlso> <https://github.com/fractastical/delphisci/blob/bf2af6ee0a84e23ffa6414ad7a0a50a8c276506e/test-data/claim-tests/wolfram-nks/wolfram2002-ch06-19/result.json>;
prov:wasAttributedTo <https://w3id.org/delphi/resource/agent/delphisci-claim-tester-grok-4-7>;
<https://w3id.org/delphi/ontology/admissibleDatasets> "Exact elementary-rule iteration only, at the locked widths. Not a survey of other rules, and not evidence about organisms.";
<https://w3id.org/delphi/ontology/assessmentType> "claim-test/0.1.0";
<https://w3id.org/delphi/ontology/dataKind> "computational";
<https://w3id.org/delphi/ontology/disconfirmingObservation> "Any width-16 state of rule 90 whose even cells after two steps are not rule 90, with the Lucas check still matching.";
<https://w3id.org/delphi/ontology/evidenceAgainst> "A match shows only that this computation behaves as claimed. It says nothing about organisms.",
"Rule 30 fails the same identity on 4030 of 4096 width-12 states, so the identity is not true of every elementary rule. The 66 states that happen to match are not a second exemplar.",
"The universal 'must' — every cellular automaton whose blocks evolve by the same rule is uniform or nested — is not proved by one example, and this test does not attempt that proof.",
"This is a finite check of the exemplar. Rule 90 matches on all 65536 width-16 states and on the dyadic grid t <= 63 (8128 pairs), and the single-seed light cone has both colors (731 ones and 3494 zeros). That shows this rule is self-emulating and nested on these bounds.";
<https://w3id.org/delphi/ontology/expectedObservation> "Zero mismatches of the even-cell identity on all 65536 width-16 states of rule 90, zero dyadic mismatches for t <= 63, both colors in the light cone, and at least one mismatch for rule 30 on width 12.";
<https://w3id.org/delphi/ontology/failCriterion> "Pre-registered. If the Lucas check matches and rule 90 has any block mismatch, the exemplar fails and the verdict is refutes. If the Lucas check itself mismatches, the verdict is inconclusive (the simulator disagrees with the closed form). If rule 90 matches but the pattern is uniform, or rule 30 also matches on every width-12 state, the verdict is mixed. Examples do not prove the universal 'must'.";
<https://w3id.org/delphi/ontology/hasConfidence> "0.86"^^xsd:double;
<https://w3id.org/delphi/ontology/hasEvidence> <https://w3id.org/delphi/resource/evidence/wolfram2002-ch06-19--claim-test--dataset-1>;
<https://w3id.org/delphi/ontology/hasVerdict> "supports";
<https://w3id.org/delphi/ontology/hypothesis> "On every configuration of a width-16 ring, two steps of rule 90 restrict to one step of rule 90 on the even cells, and a single-seed evolution satisfies cell(2t, 2x) = cell(t, x) for t <= 63 and is not uniform, while rule 30 fails the same block identity.";
<https://w3id.org/delphi/ontology/inferenceMethod> "Exhaustive comparison of the two-step even sublattice with one step of the same rule, plus the dyadic and Lucas checks. The universal quantifier is excluded from the verdict.";
<https://w3id.org/delphi/ontology/passCriterion> "Pre-registered. Elementary rule 90, periodic ring of width 16, all 65536 configurations: the cells at even positions after two steps equal one step of rule 90 on those even cells. Separately, the infinite-line evolution from a single black cell satisfies cell(2t, 2x) = cell(t, x) for every t = 0..63 and every x = -63..63, the simulator matches the mod-2 binomial formula on every cell with t <= 64 and |x| <= t, and that light cone contains both colors. The control is elementary rule 30 on all 4096 configurations of a width-12 ring, which must produce at least one mismatch of the same even-cell identity. Supports only if rule 90 has zero block mismatches, zero dyadic mismatches, zero Lucas mismatches, both colors, and rule 30 has at least one mismatch. The universal statement that every self-emulating rule must be uniform or nested is not part of the pass criterion.";
<https://w3id.org/delphi/ontology/preregistered> "false"^^xsd:boolean .
<https://w3id.org/delphi/resource/claim/wolfram2002-ch06-19> <https://w3id.org/delphi/ontology/hasAssessment>
<https://w3id.org/delphi/resource/assessment/wolfram2002-ch06-19--claim-test> .
<https://w3id.org/delphi/resource/evidence/wolfram2002-ch06-19--claim-test--dataset-1>
a <https://w3id.org/delphi/ontology/EvidenceItem>;
dc:description "the exemplar of self-emulation; rule 30 is the control";
dc:license "generated data";
<http://www.w3.org/2000/01/rdf-schema#label> "Dataset: Exhaustive two-step check of elementary rule 90 on a width-16 ring";
prov:wasDerivedFrom <https://www.wolframscience.com/nks/p271--special-initial-conditions/> .
}
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-claim-tests-b-355b)";
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-19/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.928Z"^^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-19--claim-test>;
<http://www.w3.org/2000/01/rdf-schema#label> "Claim test of wolfram2002-ch06-19: supports, confidence 0.86";
<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 "NX6a6cHtxy6y/sk0VVkaew0xSimBDXncQ2lLcsuEnQ1S8+BtCgndIT75HT3RkrJnCdq8BGN1OiO6Nwxxe+mP59m0waVmAxZzbia2z9ch+cKTBEhePBH2Uv6j5i0daVvF3UZWjB/Ith/Phvd7NJ+LDVlg0cMmFel+veK5by9DQZP1uy4O8Yh7zmBszEF6T8LgoO+6E4rXiv1SnOLZJzXR1Yjkyze/O9MxQRRjY7OKZE36rXeAsbO2h7XOSFZd3khruLOruCpCPwAPWEBJAV/g3RwZvUjhDGBTyunzZXyEeKOZj5BnU/VUlKaI114yj1KTZe42p7tkAGs9/G+Ku3u/pA==";
npx:hasSignatureTarget this:;
npx:signedBy <https://orcid.org/0009-0007-4948-9192> .
}