https://w3id.org/np/RAUmHVpJ8FBfiXpq5MCikkTkfhrtR2DOZ4idq3psSdC5s
.trig | .trig.txt | .jelly | .jelly.txt | .jsonld | .jsonld.txt | .nq | .nq.txt | .xml | .xml.txt
@prefix this: <https://w3id.org/np/RAUmHVpJ8FBfiXpq5MCikkTkfhrtR2DOZ4idq3psSdC5s> .
@prefix sub: <https://w3id.org/np/RAUmHVpJ8FBfiXpq5MCikkTkfhrtR2DOZ4idq3psSdC5s/> .
@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-25--claim-test> a <https://w3id.org/delphi/ontology/Assessment>;
dc:description "analysis.py checks that the background block returns to itself after 7 steps and that each structure, padded with ten blocks, returns to a shift of itself after its stated period. It then evolves the three collisions for 400 steps, clusters 14-cell windows that are not an ether phase, and measures steps from the drop in cluster count until a period of at most 42 appears.";
<http://www.w3.org/2000/01/rdf-schema#comment> "Measured: 2 collisions still unresolved 345 and 349 steps after their clusters merge, out of 3 (n = 3, lower bound set by the cap of 400; the third collision resolved in 34 steps). Interpretation: Persistent structures are the blocks the NKS note inserts into the background. A cascade that takes many steps is a merge of their defect clusters that does not become periodic within 40 steps, up to a cap of 400. Passing through in a few steps would not be a cascade. The test does not list all collisions and does not claim the outcome of any collision beyond these three.";
<http://www.w3.org/2000/01/rdf-schema#label> "Claim test of wolfram2002-ch06-25: mixed, confidence 0.68";
<http://www.w3.org/2000/01/rdf-schema#seeAlso> <https://github.com/fractastical/delphisci/blob/bf2af6ee0a84e23ffa6414ad7a0a50a8c276506e/test-data/claim-tests/wolfram-nks/wolfram2002-ch06-25/result.json>;
prov:wasAttributedTo <https://w3id.org/delphi/resource/agent/delphisci-claim-tester-grok-4-7>;
<https://w3id.org/delphi/ontology/admissibleDatasets> "Only the three locked insertions of the locked {n, w} blocks into b = IntegerDigits[9976, 2]. Not a search of other collisions. 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> "At least two collisions are valid and each of them becomes periodic in under 40 steps after the clusters merge.";
<https://w3id.org/delphi/ontology/evidenceAgainst> "38-with-152 merged at step 55 and was still unresolved at the cap (345 steps after the merge). 38-with-183 merged at step 51 and was still unresolved (349 steps). Both clear the locked bar of 40. 760-with-152 merged at step 105 and was periodic with period 15 at step 139, which is 34 steps, under the bar of 40.",
"The measured shifts 2, 286, 282 and 2 are on rings of widths 286, 288, 288 and 291. 286 = 288-2 and 282 = 288-6, so those two are the note's displacements -2 and -6 read the other way around the ring. The shifts were not part of the pass rule.",
"Three collisions, not an enumeration. All four structures were persistent at their stated periods, and the background block matched itself after 7 steps (shift 0).",
"Unresolved at 400 steps is a lower bound, not a measured resolution time. A match says nothing about organisms.";
<https://w3id.org/delphi/ontology/expectedObservation> "At least two of the three collisions have persistent participants, merge, and then take at least 40 steps to become periodic with period <= 42, or remain unresolved at step 400.";
<https://w3id.org/delphi/ontology/failCriterion> "Pre-registered. If at least two collisions are valid and none of them is many (each resolves in under 40 steps), the verdict is refutes on this set. If some valid collisions are many and some resolve in under 40, the verdict is mixed. If the ether check fails, a structure is not persistent, or fewer than two collisions merge, the verdict is inconclusive. The stated displacements are reported and do not decide persistence. Nothing here is a claim about organisms.";
<https://w3id.org/delphi/ontology/hasConfidence> "0.68"^^xsd:double;
<https://w3id.org/delphi/ontology/hasEvidence> <https://w3id.org/delphi/resource/evidence/wolfram2002-ch06-25--claim-test--dataset-1>;
<https://w3id.org/delphi/ontology/hasVerdict> "mixed";
<https://w3id.org/delphi/ontology/hypothesis> "Three pre-registered collisions of persistent rule 110 structures each take at least 40 steps to resolve, or are still unresolved at 400 steps.";
<https://w3id.org/delphi/ontology/inferenceMethod> "Isolation test at the stated period, then defect-cluster merge time versus the first later period p <= 42, with the threshold 40 and the cap 400.";
<https://w3id.org/delphi/ontology/passCriterion> "Pre-registered. Background block b = IntegerDigits[9976, 2], from the NKS note on rule 110 initial conditions. Structures, from the NKS note on structures in rule 110, as (integer, width, period, stated displacement): {38,6} period 3 displacement +2, {152,8} period 4 displacement -2, {183,8} period 12 displacement -6, {760,11} period 10 displacement +2. The three collisions place the first of each pair on the left and the second on the right, with 6 copies of b between them and 10 copies on each side: 38-with-152, 38-with-183, 760-with-152. Periodic boundary, rule 110, cap 400 steps. A structure is persistent if the same padding, run in isolation, returns to a spatial shift of itself after its stated period. The ether check is that b itself returns to a shift after 7 steps. A defect is a 14-cell window that is not a rotation of the ether tile at that time; clusters merge across gaps of at most 14. A collision is valid if both structures are persistent, the ether check passes, it starts with at least two clusters, and the cluster count later drops. Resolution is the first time at or after that drop at which the row has some period p <= 42 (a shift of itself) with the same positive cluster count. Steps from the drop to resolution, or to the cap if unresolved, are 'many' if they are at least 40. Supports if at least two collisions are valid and every valid collision is many. This is three collisions, not an enumeration.";
<https://w3id.org/delphi/ontology/preregistered> "false"^^xsd:boolean .
<https://w3id.org/delphi/resource/claim/wolfram2002-ch06-25> <https://w3id.org/delphi/ontology/hasAssessment>
<https://w3id.org/delphi/resource/assessment/wolfram2002-ch06-25--claim-test> .
<https://w3id.org/delphi/resource/evidence/wolfram2002-ch06-25--claim-test--dataset-1>
a <https://w3id.org/delphi/ontology/EvidenceItem>;
dc:description "the three collisions; not a catalog";
dc:license "generated data";
<http://www.w3.org/2000/01/rdf-schema#label> "Dataset: Three rule 110 collisions built from NKS note blocks";
prov:wasDerivedFrom <https://www.wolframscience.com/nks/notes-6-8--structures-in-rule-110/> .
}
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-25/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.929Z"^^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-25--claim-test>;
<http://www.w3.org/2000/01/rdf-schema#label> "Claim test of wolfram2002-ch06-25: mixed, confidence 0.68";
<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 "rPMqrkO1OyKPL/yXMHei0KTuQlGcQmUjRYzK9KKn9LqJXcV90AnlsENM3eYNH13rZnBSeVZcKMpELo8EauF2Gs2ZJB3Hsd0iTy4O1/a++WQMYcj+xT/RTae/5zyBI2GqmxAknOvn/nKlELe/4H7i1AuQyc1jGTRuuiig2Q/qqInbUF7zbs/TBO0270ABe/758VgQLJqnNywOev7ptV7LPqueW0C/CspR/ZQ/NqvIRgaJdF98wpdx14aDz6zZlFLyiH/bZnAk9x3O9umrJxb3rRsHH1sZ/xRSAFmYJg0wPIwBdB+SYa2OLKbngHDFu9IydAvCbXWECnn/k4S5HnLlFw==";
npx:hasSignatureTarget this:;
npx:signedBy <https://orcid.org/0009-0007-4948-9192> .
}