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: "RAQ6Ngug2IpIbnZsksEBZ3jWzBJm71gerjfz2KJP_LRX8" } } rows { namespace { name: "this" value { prefix_id: 1 } } } rows { prefix { value: "https://w3id.org/np/RAQ6Ngug2IpIbnZsksEBZ3jWzBJm71gerjfz2KJP_LRX8/" } } 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-ch07-12--claim-test" } } rows { name { value: "description" } } rows { quad { s_iri { prefix_id: 9 } p_iri { prefix_id: 7 } o_literal { lex: "analysis.py grows outer-totalistic code 746 from seven black cells on a 201 by 201 grid and measures the relative RMS of every black cell that touches a white Moore neighbor, at t = 40 and t = 100. The same seed under the neighbor-filling rule is measured at t = 40. 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: 0.35655997516662263 relative RMS of exposed-cell radii for code 746 at t = 100 (n = 2080, exact on this grid). Interpretation: The deterministic cellular automaton in the claim is the one Wolfram shows growing a rough circle: outer-totalistic code 746, from a row of seven black cells. \'Appear smooth at large scale\' is a drop in the relative RMS of the outline from t = 40 to t = 100, down to at most 0.06. The square control is the same lattice with the randomness removed: any black neighbor turns a white cell black and black cells stay black, so the outline keeps the square symmetry of the Moore neighborhood. The test does not include a random walk or an aggregation model, which the sentence also names. It says nothing about organisms, including fluids made of molecules." } } } rows { name { value: "label" } } rows { quad { p_iri { } o_literal { lex: "Claim test of wolfram2002-ch07-12: refutes, confidence 0.5" } } } rows { name { value: "seeAlso" } } rows { prefix { value: "https://github.com/fractastical/delphisci/blob/bf2af6ee0a84e23ffa6414ad7a0a50a8c276506e/test-data/claim-tests/wolfram-nks/wolfram2002-ch07-12/" } } 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: "Patterns generated by the checksummed script on a 201 by 201 grid from a row of 7 black cells. Code 746 through t = 100, and the neighbor-filling rule through t = 40. 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: "With the square control still at relative RMS at least 0.09 and the patterns clear of the frame, the code-746 outline at t = 100 has relative RMS at least 0.12." } } } rows { name { value: "evidenceAgainst" } } rows { quad { p_iri { } o_literal { lex: "The boundary is every black cell with a white neighbor, so holes inside the pattern count. The mean radius at t = 100 is 24.65, with 2080 exposed cells. That is the interior as well as the outer edge. Wolfram\'s picture is about the outer outline; this statistic was not changed after the run." } } } rows { quad { o_literal { lex: "The locked residual at t = 100 is 0.3566, above the refute line 0.12, and it is not smaller than the t = 40 value 0.3564. The square control is 0.1127, above its floor of 0.09. No black cell reached the outer frame." } } } rows { quad { o_literal { lex: "The square is measured at t = 40 and the cellular automaton at t = 100, as locked, because the square grows faster. The sentence also names random walks and aggregation, which were not run." } } } rows { quad { o_literal { lex: "This is a computation about two lattice rules. It says nothing about organisms." } } } rows { name { value: "expectedObservation" } } rows { quad { p_iri { } o_literal { lex: "At t = 100 the code-746 outline has relative radius RMS at most 0.06 and smaller than at t = 40, while the filled-square control at t = 40 has relative RMS at least 0.09." } } } rows { name { value: "failCriterion" } } rows { quad { p_iri { } o_literal { lex: "Pre-registered. Refutes if the control and the frame checks pass and the code-746 relative RMS at t = 100 is >= 0.12. Inconclusive if the control relative RMS is < 0.09, an outline has fewer than 20 cells, or black cells reach the outer frame. Mixed in every other case, including a late residual between 0.06 and 0.12 and a late residual that is not smaller than the early one." } } } rows { name { value: "hasConfidence" } } rows { datatype { value: "http://www.w3.org/2001/XMLSchema#double" } } rows { quad { p_iri { } o_literal { lex: "0.5" datatype: 1 } } } rows { name { value: "hasEvidence" } } rows { prefix { value: "https://w3id.org/delphi/resource/evidence/" } } rows { name { value: "wolfram2002-ch07-12--claim-test--dataset-1" } } rows { quad { p_iri { } o_iri { prefix_id: 14 } } } rows { name { value: "wolfram2002-ch07-12--claim-test--dataset-2" } } rows { quad { o_iri { } } } rows { name { value: "hasVerdict" } } rows { quad { p_iri { prefix_id: 10 } o_literal { lex: "refutes" } } } rows { name { value: "hypothesis" } } rows { quad { p_iri { } o_literal { lex: "Outer-totalistic code 746, grown from a row of 7 black cells, has a smaller relative radius residual at t = 100 than at t = 40, and that residual is at most 0.06, while a neighbor-filling square grown from the same seed keeps a residual of at least 0.09." } } } rows { name { value: "inferenceMethod" } } rows { quad { p_iri { } o_literal { lex: "Relative RMS of the boundary radii. The circle must be at most 0.06, smoother than at t = 40, and the square must stay at least 0.09. A late residual of 0.12 or more refutes. The frame and the 20-cell minimum guard an outline that has not really formed." } } } rows { name { value: "passCriterion" } } rows { quad { p_iri { } o_literal { lex: "Pre-registered. Grid 201 by 201, center cell (100, 100), seed a horizontal run of 7 black cells. Code 746: Moore neighborhood, not counting the center; exactly 3 black neighbors turns the cell black; 1, 2 or 4 leaves it unchanged; 5 or more turns it white; 0 leaves it unchanged. The script rejects the run if code 746 does not decode to that table. Boundary cells are black cells with a white Moore neighbor. Relative RMS is the root-mean-square deviation of Euclidean radii about their mean, divided by the mean, with the centroid taken from the boundary cells. Supports if and only if the code-746 outline at t = 100 has relative RMS <= 0.06 and strictly below its value at t = 40, the square control at t = 40 has relative RMS >= 0.09, every outline has at least 20 cells, and no black cell lies in the outer two rows or columns." } } } 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-ch07-12" } } 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 deterministic growth whose outline is compared with a circle" } } } rows { name { value: "license" } } rows { quad { p_iri { name_id: 39 } o_literal { } } } rows { name { value: "EvidenceItem" } } rows { quad { p_iri { prefix_id: 4 name_id: 10 } o_iri { prefix_id: 10 name_id: 40 } } } rows { quad { p_iri { prefix_id: 11 name_id: 16 } o_literal { lex: "Dataset: Moore outer-totalistic code 746 from a row of 7 black cells" } } } rows { name { value: "hasChecksum" } } rows { quad { p_iri { prefix_id: 10 name_id: 41 } o_literal { lex: "sha256:13c697d2d794cfce9c2cb86fa3455acc6ad791ffcce3fcf2310bbaf8c98bc9b4" } } } rows { quad { s_iri { prefix_id: 14 name_id: 31 } p_iri { prefix_id: 7 name_id: 13 } o_literal { lex: "anisotropic control with no microscopic randomness" } } } rows { quad { p_iri { name_id: 39 } o_literal { } } } rows { quad { p_iri { prefix_id: 4 name_id: 10 } o_iri { prefix_id: 10 name_id: 40 } } } rows { quad { p_iri { prefix_id: 11 name_id: 16 } o_literal { lex: "Dataset: Moore neighbor-filling growth from the same seed" } } } 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: 42 } 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: 43 } 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: 46 } 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: 48 } } } 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: 49 } 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: 50 } 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: 51 } p_iri { prefix_id: 4 name_id: 10 } o_iri { prefix_id: 5 name_id: 55 } } } rows { name { value: "qualifiedAssociation" } } rows { quad { p_iri { } o_iri { prefix_id: 2 name_id: 52 } } } rows { name { value: "wasAssociatedWith" } } rows { quad { p_iri { prefix_id: 5 name_id: 57 } 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: 58 } o_literal { lex: "2026-11-08T16:24:31.931Z" datatype: 3 } g_iri { prefix_id: 2 name_id: 9 } } } rows { name { value: "creator" } } rows { quad { p_iri { prefix_id: 7 name_id: 59 } o_iri { prefix_id: 16 name_id: 44 } } } rows { prefix { id: 3 value: "https://creativecommons.org/licenses/by/4.0/" } } rows { quad { p_iri { prefix_id: 7 name_id: 39 } 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: 60 } o_iri { prefix_id: 10 name_id: 14 } } } rows { name { value: "introduces" } } rows { quad { p_iri { prefix_id: 15 name_id: 61 } 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-ch07-12: refutes, confidence 0.5" } } } 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: 62 } 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: "hIzrR3rv2Xu45302L48G/xIn3Vd8uMjrjUi9G0qx5jXTl1gXHjkh0gne8wph0bzgJSahm6dpmETvjML0ag1Ps85Veit+ldKcMP43tiV65QNgLVNaJxXlVDTDlpx3x8vtEclwuF8IJtTlAjByebyhltOisTMm560r7zqMSpkFj4luztuyBbFGJHwk+cj5UMpG0acdSS864C7qLDWjGxu69L5DUmv7Ei5pMiLq9Gp8rEDkCS1NulJsQha/15Coj7Ig/T+cd8gsizw1/1UtehycJAOHVjfvDFfD76wqxL1JAHrsVpvv3LSmzuohIKwiTp8L0OUB1FKy5ND44ge59DR3UA==" } } } 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: 69 } o_iri { prefix_id: 16 name_id: 44 } } }