[ { "@id": "https://w3id.org/np/RAXnlYhfGJ-2OGbnZVJ64WnG8dI11YjKNWpb00H4wYoPE/Head", "@graph": [ { "@id": "https://w3id.org/np/RAXnlYhfGJ-2OGbnZVJ64WnG8dI11YjKNWpb00H4wYoPE", "http://www.nanopub.org/nschema#hasAssertion": [ { "@id": "https://w3id.org/np/RAXnlYhfGJ-2OGbnZVJ64WnG8dI11YjKNWpb00H4wYoPE/assertion" } ], "http://www.nanopub.org/nschema#hasProvenance": [ { "@id": "https://w3id.org/np/RAXnlYhfGJ-2OGbnZVJ64WnG8dI11YjKNWpb00H4wYoPE/provenance" } ], "http://www.nanopub.org/nschema#hasPublicationInfo": [ { "@id": "https://w3id.org/np/RAXnlYhfGJ-2OGbnZVJ64WnG8dI11YjKNWpb00H4wYoPE/pubinfo" } ], "@type": [ "http://www.nanopub.org/nschema#Nanopublication" ] } ] }, { "@id": "https://w3id.org/np/RAXnlYhfGJ-2OGbnZVJ64WnG8dI11YjKNWpb00H4wYoPE/assertion", "@graph": [ { "@id": "https://w3id.org/delphi/resource/assessment/wolfram2002-ch02-06--claim-test", "http://purl.org/dc/terms/description": [ { "@value": "analysis.py evolved elementary rules 110 and 30 for 500 steps from one black cell on a width-1001 line with fixed white boundaries. On rows 200..499 only the light cone was scored. Results: rule 110 {'R': 0.49483621469048955, 'P': 0, 'I': 0, 'C': 0}, rule 30 {'R': 0.01861473803581756, 'P': 0, 'I': 265, 'C': 0}. R is mean modal-7-mer coverage, P is persistent defect tracks of age at least 25, I is interactions, and C is 1 only when R >= 0.25, P >= 1 and I >= 1." } ], "@type": [ "https://w3id.org/delphi/ontology/Assessment" ], "http://www.w3.org/2000/01/rdf-schema#comment": [ { "@value": "Measured: 0 C(rule 110) - C(rule 30), where C is the locked mixture indicator (n = 2, exact on the locked lattice). Interpretation: Page 31 describes rule 110 as a mixture of a regular background (white triangles repeating every 7 steps), diagonal stripes, and localized structures that move and interact, and contrasts that with rules such as rule 30 whose average densities stay predictable even though the pattern looks random. The window length 7 is the period the page states. C measures the mixture. It does not measure predictability of averages, and it does not say that organisms produce these patterns. A finite run does not decide whether rule 110 eventually becomes periodic." } ], "http://www.w3.org/2000/01/rdf-schema#label": [ { "@value": "Claim test of wolfram2002-ch02-06: refutes, confidence 0.45" } ], "http://www.w3.org/2000/01/rdf-schema#seeAlso": [ { "@id": "https://github.com/fractastical/delphisci/blob/bf2af6ee0a84e23ffa6414ad7a0a50a8c276506e/test-data/claim-tests/wolfram-nks/wolfram2002-ch02-06/result.json" } ], "http://www.w3.org/ns/prov#wasAttributedTo": [ { "@id": "https://w3id.org/delphi/resource/agent/delphisci-claim-tester-grok-4-7" } ], "https://w3id.org/delphi/ontology/admissibleDatasets": [ { "@value": "The two elementary rules evolved by the standard base-2 numbering from a single black cell on the locked width and step count. No other initial condition is used for the verdict." } ], "https://w3id.org/delphi/ontology/assessmentType": [ { "@value": "claim-test/0.1.0" } ], "https://w3id.org/delphi/ontology/dataKind": [ { "@value": "computational" } ], "https://w3id.org/delphi/ontology/disconfirmingObservation": [ { "@value": "Rule 110 fails the coverage, persistence or interaction threshold. Both rules meeting the threshold is a mixed result, not support." } ], "https://w3id.org/delphi/ontology/evidenceAgainst": [ { "@value": "Modal 7-mer coverage separated the rules: 0.495 for rule 110 and 0.019 for rule 30. Rule 110 still scored C=0 because its non-modal windows formed no defect run of length 1 to 35, so no localized track was counted. The locked indicator did not record the interacting structures the page describes." }, { "@value": "The run stops at 500 steps. It does not decide whether rule 110 eventually becomes periodic, and it says nothing about organisms." }, { "@value": "Windows, track lengths and the coverage threshold are the pre-registered ones." } ], "https://w3id.org/delphi/ontology/expectedObservation": [ { "@value": "Inside the light cone, rule 110 has modal-7-mer coverage at least 0.25, at least one localized track lasting 25 rows, and at least one interaction, while rule 30 fails at least one of those three." } ], "https://w3id.org/delphi/ontology/failCriterion": [ { "@value": "Pre-registered. Refutes if C(110) = 0. Mixed if C(110) = 1 and C(30) = 1. A visual impression is not a measurement; only C, R, P and I count." } ], "https://w3id.org/delphi/ontology/hasConfidence": [ { "@value": "0.45", "@type": "http://www.w3.org/2001/XMLSchema#double" } ], "https://w3id.org/delphi/ontology/hasEvidence": [ { "@id": "https://w3id.org/delphi/resource/evidence/wolfram2002-ch02-06--claim-test--dataset-1" } ], "https://w3id.org/delphi/ontology/hasVerdict": [ { "@value": "refutes" } ], "https://w3id.org/delphi/ontology/hypothesis": [ { "@value": "From a single black cell, rule 110's rows mix a repetitive background with persistent localized structures that interact, and rule 30's rows do not, so the locked mixture indicator is 1 for rule 110 and 0 for rule 30." } ], "https://w3id.org/delphi/ontology/inferenceMethod": [ { "@value": "Compute R, P and I as specified and set C to 1 only when all three thresholds hold. Support requires C(110)=1 and C(30)=0." } ], "https://w3id.org/delphi/ontology/passCriterion": [ { "@value": "Pre-registered, with the measured segment corrected before any run: cells outside the light cone are still the fixed white boundary, so they are not scored. Elementary rules 110 and 30, width 1001, fixed white boundaries, 500 steps, one black cell at the center. On each row t from 200 through 499, score only columns in [center - t, center + t]. Let R be the mean, over those rows, of the fraction of length-7 windows inside that segment equal to that segment's modal 7-mer (ties broken by the lexicographically smaller pattern). A defect window is one that is not the modal 7-mer. Particles are maximal runs of defect-window starts of length 1..35; the center is the midpoint of the run, in absolute column coordinates. Track particles from row to row by greedy nearest match with center displacement at most 3; a track that reaches age 25 is persistent. An interaction is a pair of alive tracks whose centers are at most 5 cells apart, with one of the two tracks dying within the next 15 rows. The mixture indicator C is 1 if R >= 0.25 and the number of persistent tracks P >= 1 and the number of interactions I >= 1, else 0. Supports if C(110) = 1 and C(30) = 0." } ], "https://w3id.org/delphi/ontology/preregistered": [ { "@value": "false", "@type": "http://www.w3.org/2001/XMLSchema#boolean" } ] }, { "@id": "https://w3id.org/delphi/resource/evidence/wolfram2002-ch02-06--claim-test--dataset-1", "http://purl.org/dc/terms/description": [ { "@value": "the two elementary rules compared by the mixture indicator" } ], "http://purl.org/dc/terms/license": [ { "@value": "generated" } ], "@type": [ "https://w3id.org/delphi/ontology/EvidenceItem" ], "http://www.w3.org/2000/01/rdf-schema#label": [ { "@value": "Dataset: Rules 110 and 30 from one black cell, width 1001, 500 steps" } ], "http://www.w3.org/ns/prov#wasDerivedFrom": [ { "@id": "https://www.wolframscience.com/nks/p31--how-do-simple-programs-behave/" } ] }, { "@id": "https://w3id.org/delphi/resource/claim/wolfram2002-ch02-06", "https://w3id.org/delphi/ontology/hasAssessment": [ { "@id": "https://w3id.org/delphi/resource/assessment/wolfram2002-ch02-06--claim-test" } ] } ] }, { "@id": "https://w3id.org/np/RAXnlYhfGJ-2OGbnZVJ64WnG8dI11YjKNWpb00H4wYoPE/provenance", "@graph": [ { "@id": "https://w3id.org/delphi/resource/agent/delphisci-claim-tester-grok-4-7", "@type": [ "http://www.w3.org/ns/prov#SoftwareAgent" ], "http://www.w3.org/2000/01/rdf-schema#label": [ { "@value": "delphisci claim tester (grok-4.7; cursor/wolfram-programs-c-b6e6)" } ], "http://www.w3.org/ns/prov#actedOnBehalfOf": [ { "@id": "https://orcid.org/0009-0007-4948-9192" } ], "https://w3id.org/delphi/ontology/usesModel": [ { "@id": "https://w3id.org/delphi/resource/model/grok-4-7" } ] }, { "@id": "https://w3id.org/delphi/resource/model/grok-4-7", "http://purl.org/dc/terms/identifier": [ { "@value": "grok-4.7" } ], "@type": [ "https://w3id.org/delphi/ontology/LanguageModel" ] }, { "@id": "https://w3id.org/np/RAXnlYhfGJ-2OGbnZVJ64WnG8dI11YjKNWpb00H4wYoPE/assertion", "http://www.w3.org/ns/prov#wasAttributedTo": [ { "@id": "https://w3id.org/delphi/resource/agent/delphisci-claim-tester-grok-4-7" } ], "http://www.w3.org/ns/prov#wasDerivedFrom": [ { "@id": "https://github.com/fractastical/delphisci/blob/bf2af6ee0a84e23ffa6414ad7a0a50a8c276506e/test-data/claim-tests/wolfram-nks/wolfram2002-ch02-06/result.json" } ], "http://www.w3.org/ns/prov#wasGeneratedBy": [ { "@id": "https://w3id.org/np/RAXnlYhfGJ-2OGbnZVJ64WnG8dI11YjKNWpb00H4wYoPE/test" } ] }, { "@id": "https://w3id.org/np/RAXnlYhfGJ-2OGbnZVJ64WnG8dI11YjKNWpb00H4wYoPE/test", "@type": [ "http://www.w3.org/ns/prov#Activity" ], "http://www.w3.org/ns/prov#qualifiedAssociation": [ { "@id": "https://w3id.org/np/RAXnlYhfGJ-2OGbnZVJ64WnG8dI11YjKNWpb00H4wYoPE/plan" } ], "http://www.w3.org/ns/prov#wasAssociatedWith": [ { "@id": "https://w3id.org/delphi/resource/agent/delphisci-claim-tester-grok-4-7" } ] }, { "@id": "https://w3id.org/np/RAXnlYhfGJ-2OGbnZVJ64WnG8dI11YjKNWpb00H4wYoPE/plan", "http://www.w3.org/ns/prov#hadPlan": [ { "@id": "https://github.com/fractastical/delphisci/blob/bf2af6ee0a84e23ffa6414ad7a0a50a8c276506e/test-data/claim-tests/README.md" } ] } ] }, { "@id": "https://w3id.org/np/RAXnlYhfGJ-2OGbnZVJ64WnG8dI11YjKNWpb00H4wYoPE/pubinfo", "@graph": [ { "@id": "https://w3id.org/np/RAXnlYhfGJ-2OGbnZVJ64WnG8dI11YjKNWpb00H4wYoPE", "http://purl.org/dc/terms/created": [ { "@value": "2026-11-08T16:24:31.915Z", "@type": "http://www.w3.org/2001/XMLSchema#dateTime" } ], "http://purl.org/dc/terms/creator": [ { "@id": "https://orcid.org/0009-0007-4948-9192" } ], "http://purl.org/dc/terms/license": [ { "@id": "https://creativecommons.org/licenses/by/4.0/" } ], "http://purl.org/nanopub/x/hasNanopubType": [ { "@id": "https://w3id.org/delphi/ontology/Assessment" } ], "http://purl.org/nanopub/x/introduces": [ { "@id": "https://w3id.org/delphi/resource/assessment/wolfram2002-ch02-06--claim-test" } ], "http://www.w3.org/2000/01/rdf-schema#label": [ { "@value": "Claim test of wolfram2002-ch02-06: refutes, confidence 0.45" } ], "https://w3id.org/delphi/ontology/domain": [ { "@id": "https://w3id.org/delphi/resource/domain/wolfram-nks-2002" } ] }, { "@id": "https://w3id.org/np/RAXnlYhfGJ-2OGbnZVJ64WnG8dI11YjKNWpb00H4wYoPE/sig", "http://purl.org/nanopub/x/hasAlgorithm": [ { "@value": "RSA" } ], "http://purl.org/nanopub/x/hasPublicKey": [ { "@value": "MIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAyFHtPB6p0mCjDozxlOY9CmO3nBm7Te3jFbXyLmM+G1tGe47Da0jYIbhkl9Oo1ZjxmCa3LCwlEqK8gj6hEIcL4ahW30JXh9HycfKVk1bugkzMEV15tJdTzAU3sGMFnbNsn43xY2LFLy45tApkRm5byEiM7oRRrooIdwoQKnP4Wzq/bfAoJ9qvW+MGkelyOTd1jbSt+KfmT7xKmDfWzAHddUlWwMX2QJOLxDaffOteTop6ZRgPiNmPJKA/S62Gac9XtSYT3oDkZ6/nr5cxxNLpOyxTf5FPISiCe11xYO/unYjY+mwnOfA8yhJIyx1l0O9I0vpOpn+E5TvyHJV+oSTrvwIDAQAB" } ], "http://purl.org/nanopub/x/hasSignature": [ { "@value": "iNBzYqXHP+Lb9dZRA3ZkKacgt4OvsIH424JBzYHwXgNnuFZn9RVHx1bdAYEDG9bkBLu2QHWYHHVVRX2ftEdq2RJCUsi2bNG/rOabP+qSD+zOvN2AkBLFrbis3pDYbhaGlll/xThsn84eGjSms/kuCNdU6N3IUjUInSu8ZJpxajH4tfr5pLTpBqPI76kXV4H3/LxgLYl3voKitbHifWRkC6jxb0erhfdAVgKuunjWI0Zjx8QeYjYpmKrr/ruGDLAwCE697FOtq9MtwssoQhX2N98iKL5x7PcrPmApv7I4pwzCl6XCGnIBSNRGvGcxRXOiqZ8eHUoPvFKcKk4eFD2mpQ==" } ], "http://purl.org/nanopub/x/hasSignatureTarget": [ { "@id": "https://w3id.org/np/RAXnlYhfGJ-2OGbnZVJ64WnG8dI11YjKNWpb00H4wYoPE" } ], "http://purl.org/nanopub/x/signedBy": [ { "@id": "https://orcid.org/0009-0007-4948-9192" } ] } ] } ]