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: "RAbB3Pv5J_GWNvu_jZs_lnjMVpyf7-9kUPusVBS5agnR4" } } rows { namespace { name: "this" value { prefix_id: 1 } } } rows { prefix { value: "https://w3id.org/np/RAbB3Pv5J_GWNvu_jZs_lnjMVpyf7-9kUPusVBS5agnR4/" } } 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-ch03-14--claim-test" } } rows { name { value: "description" } } rows { quad { s_iri { prefix_id: 9 } p_iri { prefix_id: 7 } o_literal { lex: "analysis.py enumerates the 225 rules, stores each history as one growing tape (sequence at step t is tape[t:]), screens all rules for 100,000 steps, then runs the 80 growing rules for 1,000,000 steps. For each it fits L(t) linearly, computes local growth rates in 10 windows, estimates the Hurst exponent of the detrended residual from the variance of increments at lags 1..8192, and lzma-compresses the packed leading-element bit sequence. Two seeded control sequences (i.i.d. Bernoulli(3/4); first-order Markov with no \'00\' and P(1)=3/4, the local statistics Wolfram reports for example (d)) calibrate the compression measure. Per-rule results are in derived/systems.csv." } 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: 0 systems passing all three pre-registered criteria (n = 225). Interpretation: Wolfram\'s \'fluctuations in this growth ... are in many respects random\' (p. 95-96) is read as: fluctuations about the mean growth are unbounded and scale diffusively like a random walk (Hurst exponent near 1/2), and the binary sequence of leading elements, which fully determines the growth, cannot be compressed to a small fraction of its length (so it is neither periodic nor nested, in contrast to the book\'s example (c), whose leading column is a nested Sturmian sequence). \'Steady growth\' is read as a linear fit with R^2 >= 0.999 and stable local rates. The family is the smallest natural family containing the book\'s examples (d) and (e). This is a computational test; no external data is needed." } } } rows { name { value: "label" } } rows { quad { p_iri { } o_literal { lex: "Claim test of wolfram2002-ch03-14: mixed, confidence 0.55" } } } rows { name { value: "seeAlso" } } rows { prefix { value: "https://github.com/fractastical/delphisci/blob/bf2af6ee0a84e23ffa6414ad7a0a50a8c276506e/test-data/claim-tests/wolfram-nks/wolfram2002-ch03-14/" } } 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-claude-fable-5-1" } } 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: "Planned datasets: nks-cyclic-tag-two-block-family" } } } 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: "Pre-registered. The claim FAILS if no system in the 225-member family satisfies all of (i)-(iii): i.e. every growing system has either unsteady growth, bounded or non-diffusive fluctuations (H outside [0.35, 0.65]), or a leading-element sequence that compresses below 0.25 bits per symbol (periodic or nested)." } } } rows { name { value: "evidenceAgainst" } } rows { quad { p_iri { } o_literal { lex: "By the letter of the pre-registration the composite test fails: 0 of 225 systems pass all three criteria, because no growing system compresses to more than 0.115 bits per symbol (criterion iii). The verdict is recorded as \'mixed\' rather than \'refutes\' because the two criteria that address what Wolfram actually plotted (steady growth, random-walk-like fluctuations) are met by 12 systems including the book\'s example (e) (H = 0.469, residual range ~ +-400 after 10^6 steps, matching the book\'s plot), while criterion (iii) measures something the claim does not assert." } } } rows { quad { o_literal { lex: "Criterion (iii) was miscalibrated: a cyclic tag tape is a self-copying object (each appended block is a fixed image of an earlier tape symbol), so an LZ-type compressor exploits long repeated segments even when the growth fluctuations are diffusive; a Markov sequence with the same local statistics compresses to 0.73 bits/symbol, the real tapes to 0.06-0.12. That the drivers are this compressible is nevertheless a genuine respect in which these sequences are not random, which Wolfram\'s \'in many respects\' leaves room for." } } } rows { quad { o_literal { lex: "Finite-run statistics cannot establish randomness; the test can only fail to find regularity at the scales examined (lags up to 8192, 10^6 steps)." } } } rows { quad { o_literal { lex: "The Hurst estimate for all-ones tapes (zero fluctuation) is set to 0; the two such rules were excluded from the Hurst count." } } } rows { quad { o_literal { lex: "The book\'s example (d) {{1},{1,0,1}} has H = 0.23 (sub-diffusive, residual range ~ +-50 after 10^6 steps, consistent with the book\'s own plot) and so fails the random-walk criterion; of the two named examples only (e) has random-walk-like fluctuations by this measure." } } } rows { name { value: "expectedObservation" } } rows { quad { p_iri { } o_literal { lex: "Pre-registered. Family: all 225 cyclic tag systems with two blocks, each block a binary string of length 0-3 (15 choices per block), initial sequence {1}, Wolfram\'s update (remove first element; if it was 1 append the current block; blocks alternate every step). Stage 1: run each system 100,000 steps; a system is \'growing\' if the sequence never empties and its final length is >= 1000. Stage 2: run each growing system 1,000,000 steps and compute (i) linear fit of length L(t) vs t: R^2 >= 0.999 and local growth rates over 10 equal windows all within 25% of the global slope (\'steady growth\'); (ii) Hurst exponent H of the detrended residual r(t) = L(t) - (a + b t), estimated as half the log-log slope of Var[r(t+tau) - r(t)] over tau = 2^0..2^13, in [0.35, 0.65] (\'random-walk-like fluctuations\'); (iii) lzma (preset 9 | EXTREME) compressed size of the packed leading-element bit sequence >= 0.25 bits per symbol (\'incompressible driver\'). The claim PASSES if at least one system satisfies (i), (ii) and (iii) simultaneously. Secondary, reported but not decisive: whether the book\'s own examples (d) {{1},{1,0,1}} and (e) {{1,1,1},{0}} pass." } } } rows { name { value: "failCriterion" } } rows { quad { p_iri { } o_literal { lex: "Pre-registered. The claim FAILS if no system in the 225-member family satisfies all of (i)-(iii): i.e. every growing system has either unsteady growth, bounded or non-diffusive fluctuations (H outside [0.35, 0.65]), or a leading-element sequence that compresses below 0.25 bits per symbol (periodic or nested)." } } } rows { name { value: "hasConfidence" } } rows { datatype { value: "http://www.w3.org/2001/XMLSchema#double" } } rows { quad { p_iri { } o_literal { lex: "0.55" datatype: 1 } } } rows { name { value: "hasEvidence" } } rows { prefix { value: "https://w3id.org/delphi/resource/evidence/" } } rows { name { value: "wolfram2002-ch03-14--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: "mixed" } } } rows { name { value: "hypothesis" } } rows { quad { p_iri { } o_literal { lex: "Among two-block cyclic tag systems started from a single black element, at least one produces a sequence whose length grows at a steady linear rate while the fluctuations about that growth behave like a random walk (unbounded, diffusive scaling) and the leading-element sequence that drives them is incompressible to a substantial degree." } } } rows { name { value: "inferenceMethod" } } rows { quad { p_iri { } o_literal { lex: "analysis.py enumerates the 225 rules, stores each history as one growing tape (sequence at step t is tape[t:]), screens all rules for 100,000 steps, then runs the 80 growing rules for 1,000,000 steps. For each it fits L(t) linearly, computes local growth rates in 10 windows, estimates the Hurst exponent of the detrended residual from the variance of increments at lags 1..8192, and lzma-compresses the packed leading-element bit sequence. Two seeded control sequences (i.i.d. Bernoulli(3/4); first-order Markov with no \'00\' and P(1)=3/4, the local statistics Wolfram reports for example (d)) calibrate the compression measure. Per-rule results are in derived/systems.csv." } } } rows { name { value: "passCriterion" } } rows { quad { p_iri { } o_literal { lex: "Pre-registered. Family: all 225 cyclic tag systems with two blocks, each block a binary string of length 0-3 (15 choices per block), initial sequence {1}, Wolfram\'s update (remove first element; if it was 1 append the current block; blocks alternate every step). Stage 1: run each system 100,000 steps; a system is \'growing\' if the sequence never empties and its final length is >= 1000. Stage 2: run each growing system 1,000,000 steps and compute (i) linear fit of length L(t) vs t: R^2 >= 0.999 and local growth rates over 10 equal windows all within 25% of the global slope (\'steady growth\'); (ii) Hurst exponent H of the detrended residual r(t) = L(t) - (a + b t), estimated as half the log-log slope of Var[r(t+tau) - r(t)] over tau = 2^0..2^13, in [0.35, 0.65] (\'random-walk-like fluctuations\'); (iii) lzma (preset 9 | EXTREME) compressed size of the packed leading-element bit sequence >= 0.25 bits per symbol (\'incompressible driver\'). The claim PASSES if at least one system satisfies (i), (ii) and (iii) simultaneously. Secondary, reported but not decisive: whether the book\'s own examples (d) {{1},{1,0,1}} and (e) {{1,1,1},{0}} pass." } } } 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-ch03-14" } } 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: "program family whose length sequences are analysed; initial condition {1}; 100,000 steps (screen) and 1,000,000 steps (test)" } } } rows { name { value: "license" } } rows { quad { p_iri { name_id: 38 } o_literal { lex: "generated data; rule definition from Wolfram (2002) p. 95 and note \'Implementation of cyclic tag systems\' p. 895" } } } 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: Two-block cyclic tag systems with blocks of length 0-3 (generated by analysis.py)" } } } rows { name { value: "wasDerivedFrom" } } rows { prefix { value: "https://www.wolframscience.com/nks/p95--cyclic-tag-systems/" } } rows { quad { p_iri { prefix_id: 5 name_id: 40 } o_iri { prefix_id: 16 name_id: 2 } } } 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 (claude-fable-5.1; cursor/wolfram-nks-claim-tests-106e)" } } } rows { name { value: "actedOnBehalfOf" } } rows { prefix { id: 6 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: 6 } } } rows { name { value: "usesModel" } } rows { prefix { id: 8 value: "https://w3id.org/delphi/resource/model/" } } rows { name { value: "claude-fable-5-1" } } rows { quad { p_iri { prefix_id: 10 } o_iri { prefix_id: 8 } } } rows { name { value: "identifier" } } rows { quad { s_iri { name_id: 45 } p_iri { prefix_id: 7 } o_literal { lex: "claude-fable-5.1" } } } 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 { quad { p_iri { prefix_id: 5 name_id: 40 } 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: 48 } o_iri { prefix_id: 2 } } } rows { name { value: "plan" } } rows { name { value: "hadPlan" } } rows { prefix { id: 1 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: 1 } } } rows { name { value: "Activity" } } rows { quad { s_iri { prefix_id: 2 name_id: 49 } p_iri { prefix_id: 4 name_id: 10 } o_iri { prefix_id: 5 name_id: 53 } } } rows { name { value: "qualifiedAssociation" } } rows { quad { p_iri { } o_iri { prefix_id: 2 name_id: 50 } } } rows { name { value: "wasAssociatedWith" } } rows { quad { p_iri { prefix_id: 5 name_id: 55 } o_iri { prefix_id: 13 name_id: 20 } } } rows { prefix { id: 3 value: "https://w3id.org/np/" } } rows { name { value: "created" } } rows { datatype { value: "http://www.w3.org/2001/XMLSchema#dateTime" } } rows { quad { s_iri { prefix_id: 3 name_id: 1 } p_iri { prefix_id: 7 name_id: 56 } o_literal { lex: "2026-11-08T16:24:31.920Z" datatype: 3 } g_iri { prefix_id: 2 name_id: 9 } } } rows { name { value: "creator" } } rows { quad { p_iri { prefix_id: 7 name_id: 57 } o_iri { prefix_id: 6 name_id: 43 } } } rows { prefix { id: 15 value: "https://creativecommons.org/licenses/by/4.0/" } } rows { quad { p_iri { prefix_id: 7 name_id: 38 } o_iri { prefix_id: 15 name_id: 2 } } } rows { prefix { id: 9 value: "http://purl.org/nanopub/x/" } } rows { name { value: "hasNanopubType" } } rows { quad { p_iri { prefix_id: 9 name_id: 58 } o_iri { prefix_id: 10 name_id: 14 } } } rows { name { value: "introduces" } } rows { prefix { id: 14 value: "https://w3id.org/delphi/resource/assessment/" } } rows { quad { p_iri { prefix_id: 9 name_id: 59 } o_iri { prefix_id: 14 name_id: 12 } } } rows { quad { p_iri { prefix_id: 11 name_id: 16 } o_literal { lex: "Claim test of wolfram2002-ch03-14: mixed, confidence 0.55" } } } rows { name { value: "domain" } } rows { prefix { id: 16 value: "https://w3id.org/delphi/resource/domain/" } } rows { name { value: "wolfram-nks-2002" } } rows { quad { p_iri { prefix_id: 10 name_id: 60 } o_iri { prefix_id: 16 } } } rows { name { value: "sig" } } rows { name { value: "hasAlgorithm" } } rows { quad { s_iri { prefix_id: 2 } p_iri { prefix_id: 9 } 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: "VK7/Eu2sW6fLzMlWlfcr22+lb13YQAeIyLxsMsB8wmABoWN95eAal4geNI2VwktCL+5KRxVp4KrYvpgcniIQNKiezPolU6Oyj8eChOKhA1hB0Lt2M8Y1fiITBenvCPw6GqqP/hJwMBl2qYJvrlggLM3JAqnRDoLak+2PTpdaeeN+8bZAVl3XGVY6pd5h8X3vWHsTMloELAKj6QX2j6cgj8CduGrRSiHjC6RXjiJzkzKssBASc6zT8GR34+cuKpnTGlEFoqzC2Xh4oohMHNnS0hOd5UXpyH3DRThw1yb2FRTME8d9GU935pqVNqAKP0E5Xf2McRWxcziDxY0vfmdyIw==" } } } rows { name { value: "hasSignatureTarget" } } rows { quad { p_iri { } o_iri { prefix_id: 3 name_id: 1 } } } rows { name { value: "signedBy" } } rows { quad { p_iri { prefix_id: 9 name_id: 67 } o_iri { prefix_id: 6 name_id: 43 } } }