rows { options { physical_type: PHYSICAL_STREAM_TYPE_QUADS max_name_table_size: 128 max_prefix_table_size: 16 max_datatype_table_size: 16 logical_type: LOGICAL_STREAM_TYPE_DATASETS version: 2 } } rows { prefix { value: "https://w3id.org/np/" } } rows { name { value: "RAoSVYqYIhlW5UMb181Jym_tEk9DLIdrdq3b7P4LAc6Ck" } } rows { namespace { name: "this" value { prefix_id: 1 } } } rows { prefix { value: "https://w3id.org/np/RAoSVYqYIhlW5UMb181Jym_tEk9DLIdrdq3b7P4LAc6Ck/" } } rows { name { } } rows { namespace { name: "sub" value { prefix_id: 2 } } } rows { prefix { value: "http://www.nanopub.org/nschema#" } } rows { namespace { name: "np" value { prefix_id: 3 name_id: 2 } } } rows { prefix { value: "http://www.w3.org/1999/02/22-rdf-syntax-ns#" } } rows { namespace { name: "rdf" value { prefix_id: 4 name_id: 2 } } } rows { prefix { value: "http://www.w3.org/ns/prov#" } } rows { namespace { name: "prov" value { prefix_id: 5 name_id: 2 } } } rows { prefix { value: "http://purl.org/nanopub/x/" } } rows { namespace { name: "npx" value { prefix_id: 6 name_id: 2 } } } rows { prefix { value: "http://purl.org/dc/terms/" } } rows { namespace { name: "dc" value { prefix_id: 7 name_id: 2 } } } rows { prefix { value: "http://www.w3.org/2001/XMLSchema#" } } rows { namespace { name: "xsd" value { prefix_id: 8 name_id: 2 } } } rows { name { value: "hasAssertion" } } rows { name { value: "assertion" } } rows { name { value: "Head" } } rows { quad { s_iri { prefix_id: 1 name_id: 1 } p_iri { prefix_id: 3 name_id: 3 } o_iri { prefix_id: 2 } g_iri { } } } rows { name { value: "hasProvenance" } } rows { name { value: "provenance" } } rows { quad { p_iri { prefix_id: 3 } o_iri { prefix_id: 2 } } } rows { name { value: "hasPublicationInfo" } } rows { name { value: "pubinfo" } } rows { quad { p_iri { prefix_id: 3 } o_iri { prefix_id: 2 } } } rows { name { value: "type" } } rows { name { value: "Nanopublication" } } rows { quad { p_iri { prefix_id: 4 } o_iri { prefix_id: 3 } } } rows { prefix { value: "https://w3id.org/delphi/resource/assessment/" } } rows { name { value: "wolfram2002-ch01-02--claim-test" } } rows { name { value: "description" } } rows { quad { s_iri { prefix_id: 9 } p_iri { prefix_id: 7 } o_literal { lex: "analysis.py evolves elementary rules 0..31 from one black cell through t = 120 on a width-241 window and computes 4-bit block entropy on rows 40..119, columns 80..160. The control is a period-2 string of the same 6480 bits. A second run matched derived/measured.json byte for byte." } g_iri { prefix_id: 2 name_id: 4 } } } rows { prefix { value: "https://w3id.org/delphi/ontology/" } } rows { name { value: "Assessment" } } rows { quad { p_iri { prefix_id: 4 name_id: 10 } o_iri { prefix_id: 10 name_id: 14 } } } rows { prefix { value: "http://www.w3.org/2000/01/rdf-schema#" } } rows { name { value: "comment" } } rows { quad { p_iri { prefix_id: 11 } o_literal { lex: "Measured: 5 rules among 0..31 whose center-window h4 exceeds the period-2 control by at least 0.40 (n = 32, exact on this window). Interpretation: \'Very simple programs\' are the first 32 elementary rules in Wolfram\'s numbering, run from one black cell. \'Behave complexly\' is a 4-bit block entropy at least 0.40 above a period-2 string in the center of the pattern after the early rows. \'Often\' is at least 3 of those 32. Nested and random-looking patterns both count as complex under this entropy comparison. The computation says nothing about organisms." } } } rows { name { value: "label" } } rows { quad { p_iri { } o_literal { lex: "Claim test of wolfram2002-ch01-02: supports, confidence 0.74" } } } rows { name { value: "seeAlso" } } rows { prefix { value: "https://github.com/fractastical/delphisci/blob/bf2af6ee0a84e23ffa6414ad7a0a50a8c276506e/test-data/claim-tests/wolfram-nks/wolfram2002-ch01-02/" } } rows { name { value: "result.json" } } rows { quad { p_iri { } o_iri { prefix_id: 12 } } } rows { name { value: "wasAttributedTo" } } rows { prefix { value: "https://w3id.org/delphi/resource/agent/" } } rows { name { value: "delphisci-claim-tester-grok-4-7" } } rows { quad { p_iri { prefix_id: 5 } o_iri { prefix_id: 13 } } } rows { name { value: "admissibleDatasets" } } rows { quad { p_iri { prefix_id: 10 } o_literal { lex: "Elementary rules 0..31 generated by the checksummed script from one black cell, width 241, through t = 120. No organism record is admissible." } } } rows { name { value: "assessmentType" } } rows { quad { p_iri { } o_literal { lex: "claim-test/0.1.0" } } } rows { name { value: "dataKind" } } rows { quad { p_iri { } o_literal { lex: "computational" } } } rows { name { value: "disconfirmingObservation" } } rows { quad { p_iri { } o_literal { lex: "The control has h4 at most 0.25 and every one of the 32 rules is within 0.40 of it." } } } rows { name { value: "evidenceAgainst" } } rows { quad { p_iri { } o_literal { lex: "Five rules clear the gap of 0.40: 5, 13, 25, 28 and 30. The period-2 control has h4 0. Rule 30 has h4 0.9984787283141286. Rules 13, 28 and 30 are above 0.45; rules 5 and 25 are just above 0.40." } } } rows { quad { o_literal { lex: "Nested rules 18 and 22 have h4 0.23232159476160025 and 0.23651925604806326, below the gap, because a nested pattern is regular at the scale of 4-bit blocks. The locked statistic counts entropy, not visual nesting." } } } rows { quad { o_literal { lex: "This is a computation about elementary rules. It says nothing about organisms." } } } rows { quad { o_literal { lex: "k = 32 is a prefix of the numbering, the seed is one cell, and the window stops at t = 119. A different k would change the count." } } } rows { name { value: "expectedObservation" } } rows { quad { p_iri { } o_literal { lex: "At least three of rules 0..31 have center-window h4 at least 0.40 above the period-2 control, and the control itself has h4 at most 0.25." } } } rows { name { value: "failCriterion" } } rows { quad { p_iri { } o_literal { lex: "Pre-registered. Refutes if the control has h4 <= 0.25 and no rule is complex. Mixed if the control passes and exactly 1 or 2 rules are complex. Inconclusive if the control has h4 > 0.25." } } } rows { name { value: "hasConfidence" } } rows { datatype { value: "http://www.w3.org/2001/XMLSchema#double" } } rows { quad { p_iri { } o_literal { lex: "0.74" datatype: 1 } } } rows { name { value: "hasEvidence" } } rows { prefix { value: "https://w3id.org/delphi/resource/evidence/" } } rows { name { value: "wolfram2002-ch01-02--claim-test--dataset-1" } } rows { quad { p_iri { } o_iri { prefix_id: 14 } } } rows { name { value: "hasVerdict" } } rows { quad { p_iri { prefix_id: 10 } o_literal { lex: "supports" } } } rows { name { value: "hypothesis" } } rows { quad { p_iri { } o_literal { lex: "Among the first 32 elementary rules, at least three have higher 4-bit block entropy, in a fixed late center window, than a period-2 control of the same length." } } } rows { name { value: "inferenceMethod" } } rows { quad { p_iri { } o_literal { lex: "Compare each rule\'s window h4 with the period-2 control. Three or more rules clearing a gap of 0.40 supports. One or two is mixed. Zero refutes. A control above 0.25 makes the test inconclusive." } } } rows { name { value: "passCriterion" } } rows { quad { p_iri { } o_literal { lex: "Pre-registered. k = 32, rules 0 through 31. One black cell at index 120 on a homogeneous white background. Width 241, t = 0..120, background outside the array evolving homogeneously. Window: rows 40..119 and columns 80..160 (80 by 81). h4 is the Shannon entropy of non-overlapping 4-bit blocks of that window read row by row, divided by 4. The repetitive control is the string 010101... of the same length, 6480 bits, and it must have h4 <= 0.25. A rule is complex when its h4 is at least the control h4 plus 0.40. Supports if and only if at least 3 rules are complex and the control check passes." } } } rows { name { value: "preregistered" } } rows { datatype { value: "http://www.w3.org/2001/XMLSchema#boolean" } } rows { quad { p_iri { } o_literal { lex: "false" datatype: 2 } } } rows { prefix { value: "https://w3id.org/delphi/resource/claim/" } } rows { name { value: "wolfram2002-ch01-02" } } rows { name { value: "hasAssessment" } } rows { quad { s_iri { prefix_id: 15 } p_iri { prefix_id: 10 } o_iri { prefix_id: 9 name_id: 12 } } } rows { quad { s_iri { prefix_id: 14 name_id: 30 } p_iri { prefix_id: 7 name_id: 13 } o_literal { lex: "the first 32 elementary evolutions" } } } rows { name { value: "license" } } rows { quad { p_iri { name_id: 38 } o_literal { } } } rows { name { value: "EvidenceItem" } } rows { quad { p_iri { prefix_id: 4 name_id: 10 } o_iri { prefix_id: 10 name_id: 39 } } } rows { quad { p_iri { prefix_id: 11 name_id: 16 } o_literal { lex: "Dataset: Single-cell evolutions of elementary rules 0 through 31" } } } rows { name { value: "hasChecksum" } } rows { quad { p_iri { prefix_id: 10 name_id: 40 } o_literal { lex: "sha256:578309bd456622b6737981befa9fa4ae19b989f5ea552e73688e5ba0665c5eaa" } } } rows { name { value: "SoftwareAgent" } } rows { quad { s_iri { prefix_id: 13 name_id: 20 } p_iri { prefix_id: 4 name_id: 10 } o_iri { prefix_id: 5 name_id: 41 } g_iri { prefix_id: 2 name_id: 7 } } } rows { quad { p_iri { prefix_id: 11 name_id: 16 } o_literal { lex: "delphisci claim tester (Grok 4.7; cursor/claim-tests-wolfram-programs-b8d9)" } } } rows { name { value: "actedOnBehalfOf" } } rows { prefix { value: "https://orcid.org/" } } rows { name { value: "0009-0007-4948-9192" } } rows { quad { p_iri { prefix_id: 5 name_id: 42 } o_iri { prefix_id: 16 } } } rows { name { value: "usesModel" } } rows { prefix { id: 6 value: "https://w3id.org/delphi/resource/model/" } } rows { name { value: "grok-4-7" } } rows { quad { p_iri { prefix_id: 10 } o_iri { prefix_id: 6 } } } rows { name { value: "identifier" } } rows { quad { s_iri { name_id: 45 } p_iri { prefix_id: 7 } o_literal { lex: "Grok 4.7" } } } rows { name { value: "LanguageModel" } } rows { quad { p_iri { prefix_id: 4 name_id: 10 } o_iri { prefix_id: 10 name_id: 47 } } } rows { quad { s_iri { prefix_id: 2 name_id: 4 } p_iri { prefix_id: 5 name_id: 19 } o_iri { prefix_id: 13 } } } rows { name { value: "wasDerivedFrom" } } rows { quad { p_iri { prefix_id: 5 name_id: 48 } o_iri { prefix_id: 12 name_id: 18 } } } rows { name { value: "wasGeneratedBy" } } rows { name { value: "test" } } rows { quad { p_iri { prefix_id: 5 name_id: 49 } o_iri { prefix_id: 2 } } } rows { name { value: "plan" } } rows { name { value: "hadPlan" } } rows { prefix { id: 8 value: "https://github.com/fractastical/delphisci/blob/bf2af6ee0a84e23ffa6414ad7a0a50a8c276506e/test-data/claim-tests/" } } rows { name { value: "README.md" } } rows { quad { s_iri { } p_iri { prefix_id: 5 } o_iri { prefix_id: 8 } } } rows { name { value: "Activity" } } rows { quad { s_iri { prefix_id: 2 name_id: 50 } p_iri { prefix_id: 4 name_id: 10 } o_iri { prefix_id: 5 name_id: 54 } } } rows { name { value: "qualifiedAssociation" } } rows { quad { p_iri { } o_iri { prefix_id: 2 name_id: 51 } } } rows { name { value: "wasAssociatedWith" } } rows { quad { p_iri { prefix_id: 5 name_id: 56 } o_iri { prefix_id: 13 name_id: 20 } } } rows { name { value: "created" } } rows { datatype { value: "http://www.w3.org/2001/XMLSchema#dateTime" } } rows { quad { s_iri { prefix_id: 1 name_id: 1 } p_iri { prefix_id: 7 name_id: 57 } o_literal { lex: "2026-11-08T16:24:31.913Z" datatype: 3 } g_iri { prefix_id: 2 name_id: 9 } } } rows { name { value: "creator" } } rows { quad { p_iri { prefix_id: 7 name_id: 58 } o_iri { prefix_id: 16 name_id: 43 } } } rows { prefix { id: 3 value: "https://creativecommons.org/licenses/by/4.0/" } } rows { quad { p_iri { prefix_id: 7 name_id: 38 } o_iri { prefix_id: 3 name_id: 2 } } } rows { prefix { id: 15 value: "http://purl.org/nanopub/x/" } } rows { name { value: "hasNanopubType" } } rows { quad { p_iri { prefix_id: 15 name_id: 59 } o_iri { prefix_id: 10 name_id: 14 } } } rows { name { value: "introduces" } } rows { quad { p_iri { prefix_id: 15 name_id: 60 } o_iri { prefix_id: 9 name_id: 12 } } } rows { quad { p_iri { prefix_id: 11 name_id: 16 } o_literal { lex: "Claim test of wolfram2002-ch01-02: supports, confidence 0.74" } } } rows { name { value: "domain" } } rows { prefix { id: 14 value: "https://w3id.org/delphi/resource/domain/" } } rows { name { value: "wolfram-nks-2002" } } rows { quad { p_iri { prefix_id: 10 name_id: 61 } o_iri { prefix_id: 14 } } } rows { name { value: "sig" } } rows { name { value: "hasAlgorithm" } } rows { quad { s_iri { prefix_id: 2 } p_iri { prefix_id: 15 } o_literal { lex: "RSA" } } } rows { name { value: "hasPublicKey" } } rows { quad { p_iri { } o_literal { lex: "MIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAyFHtPB6p0mCjDozxlOY9CmO3nBm7Te3jFbXyLmM+G1tGe47Da0jYIbhkl9Oo1ZjxmCa3LCwlEqK8gj6hEIcL4ahW30JXh9HycfKVk1bugkzMEV15tJdTzAU3sGMFnbNsn43xY2LFLy45tApkRm5byEiM7oRRrooIdwoQKnP4Wzq/bfAoJ9qvW+MGkelyOTd1jbSt+KfmT7xKmDfWzAHddUlWwMX2QJOLxDaffOteTop6ZRgPiNmPJKA/S62Gac9XtSYT3oDkZ6/nr5cxxNLpOyxTf5FPISiCe11xYO/unYjY+mwnOfA8yhJIyx1l0O9I0vpOpn+E5TvyHJV+oSTrvwIDAQAB" } } } rows { name { value: "hasSignature" } } rows { quad { p_iri { } o_literal { lex: "m6ywCaP0Bi5RraygkHmsZCo+3wIkkm0yRTfvYnMgKJGEIsJ06iLflJuweGCpTeeVEcwO3lvisfoI0hyBQyyaXcv2mdlIx7Oxv1Fnd5Y+L7sIA82pfO+lagqsvpSck4Is++0y/NLnM2cq8PZHig58MU41OuaOTMKqsXtFmeuP0l9VlPgf8gii1PDhXg8oiOxK73lyAmhMXctFuF6HAe1QvU5gu1ox4/WNa7hhVJiyxiGod2y9BJ+uvRqU5jwNWHaJCShiouSRwJmF6Dke308uEbY7Vd1+EUdUAGc/2XCAKhz7jwVC0rLzasUYjj/il0KjuwaoTe+FBZMRJY6Ax1MPjA==" } } } rows { name { value: "hasSignatureTarget" } } rows { quad { p_iri { } o_iri { prefix_id: 1 name_id: 1 } } } rows { name { value: "signedBy" } } rows { quad { p_iri { prefix_id: 15 name_id: 68 } o_iri { prefix_id: 16 name_id: 43 } } }