https://w3id.org/np/RAYmZCFEq9ANd5rTXgXHDES86yRBO6FiJvfAHwKpEP0mQ
.trig | .trig.txt | .jelly | .jelly.txt | .jsonld | .jsonld.txt | .nq | .nq.txt | .xml | .xml.txt
@prefix this: <https://w3id.org/np/RAYmZCFEq9ANd5rTXgXHDES86yRBO6FiJvfAHwKpEP0mQ> .
@prefix sub: <https://w3id.org/np/RAYmZCFEq9ANd5rTXgXHDES86yRBO6FiJvfAHwKpEP0mQ/> .
@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-ch09-08--claim-test> a <https://w3id.org/delphi/ontology/Assessment>;
dc:description "analysis.py evolved the pre-registered 4-cell block involution on a periodic line of width 160. Twenty-four microstates with the same density bump (center probability 0.75, outside 0.15, seed 20261102) were averaged in bins of 8. Conservation=True, randomness ratio=1.0000, variance slope=0.048559, R^2=0.9749, Gaussian correlation=0.8424, edge mean=0.1719.";
<http://www.w3.org/2000/01/rdf-schema#comment> "Measured: 0.8423984176263907 Pearson correlation of the step-90 mean density with a matched Gaussian (n = 24, exact for the locked rule, seed and bounds). Interpretation: Page 464 says smooth diffusion-like density appears when small-scale apparent randomness washes out cell-level detail and a conserved quantity keeps the overall mass from changing quickly. The figure rules are not transcribed, so the test uses the involution above, one density bump, and the locked bounds. Diffusion is linear growth of variance plus a Gaussian profile of the averaged density. Apparent randomness is compressibility comparable to a shuffle. A pass supports the mechanism for this rule; it does not identify the rule with Wolfram's figure (d).";
<http://www.w3.org/2000/01/rdf-schema#label> "Claim test of wolfram2002-ch09-08: mixed, confidence 0.5";
<http://www.w3.org/2000/01/rdf-schema#seeAlso> <https://github.com/fractastical/delphisci/blob/bf2af6ee0a84e23ffa6414ad7a0a50a8c276506e/test-data/claim-tests/wolfram-nks/wolfram2002-ch09-08/result.json>;
prov:wasAttributedTo <https://w3id.org/delphi/resource/agent/delphisci-claim-tester-grok-4-7>;
<https://w3id.org/delphi/ontology/admissibleDatasets> "The single block rule written in pass_criterion, on the locked lattice and ensemble. No other rule is substituted after the run.";
<https://w3id.org/delphi/ontology/assessmentType> "claim-test/0.1.0";
<https://w3id.org/delphi/ontology/dataKind> "computational";
<https://w3id.org/delphi/ontology/disconfirmingObservation> "The rule fails to conserve particles, the variance does not grow, or the averaged profile is far from Gaussian.";
<https://w3id.org/delphi/ontology/evidenceAgainst> "Particle number was conserved, the microstate compressed like a shuffle, and the variance of the mean density grew linearly (slope 0.049, R^2 0.975). The step-90 profile correlated 0.842 with a matched Gaussian, short of the locked 0.90.",
"The block tables drawn on NKS pages 461-463 are not printed as text. This is the one deterministic rule named in the pre-registration, not a reproduction of figure (d).",
"The result is about this rule on a width-160 lattice. It does not show that fluids or organisms obey the diffusion equation.";
<https://w3id.org/delphi/ontology/expectedObservation> "Particle number is constant, the microstate compresses to at least 75% of a shuffle, variance of the mean density grows linearly with R^2 >= 0.90 and positive slope, and the step-90 profile correlates at least 0.90 with a matched Gaussian, without wrapping.";
<https://w3id.org/delphi/ontology/failCriterion> "Pre-registered. Refutes if particle number changes in any run, or if the variance slope is <= 0, or if R^2 < 0.50, or if the Gaussian correlation is < 0.60. Mixed if conservation holds but at least one of the randomness, linearity, Gaussian or edge conditions fails without meeting the refute thresholds. Inconclusive with reason underpowered if condition (5) fails (the bump reached the boundary) and no refute condition was met. This is one deterministic rule, not the book's figure (d), and not a statement about organisms.";
<https://w3id.org/delphi/ontology/hasConfidence> "0.5"^^xsd:double;
<https://w3id.org/delphi/ontology/hasEvidence> <https://w3id.org/delphi/resource/evidence/wolfram2002-ch09-08--claim-test--dataset-1>;
<https://w3id.org/delphi/ontology/hasVerdict> "mixed";
<https://w3id.org/delphi/ontology/hypothesis> "The locked particle-conserving block rule, averaged over 24 microstates with the same initial density bump, keeps the particle count fixed, looks random at the cell scale, and has a coarse density whose variance grows linearly and whose profile matches a Gaussian.";
<https://w3id.org/delphi/ontology/inferenceMethod> "Require exact conservation, an lzma randomness ratio, an OLS fit of variance versus time, a Pearson correlation with a Gaussian, and an edge-bin wrap check. All five support conditions must hold.";
<https://w3id.org/delphi/ontology/passCriterion> "Pre-registered. One rule, fully specified here because the block tables in the figures on pages 461-463 are not printed as text. Two colors, blocks of 4, even steps partitioned at offset 0 and odd steps at offset 2. The block map is the involution 1000<->0100, 0010<->0001, 1100<->1010, 0011<->0101, 1001<->0110, 1110<->1101, 0111<->1011, and 0000 and 1111 fixed. It preserves the number of 1s. Lattice width 160, periodic. Ensemble of 24 microstates from numpy Generator PCG64 seed 20261102: cells 56..103 are Bernoulli(0.75), all other cells Bernoulli(0.15), independent across runs. Evolve 100 steps. Coarse density uses 20 bins of width 8. Supports only if all of the following hold: (1) every run conserves its number of 1s exactly; (2) at step 50 of run 0, lzma-9(microstate) / lzma-9(a shuffle of that microstate, seed 7) >= 0.75; (3) for the ensemble-mean bin density, ordinary least squares of spatial variance against time on steps 30..90 has slope > 0 and R^2 >= 0.90; (4) at step 90 the mean bin profile, centered on its mean position, has Pearson correlation >= 0.90 with a Gaussian of the same variance and the same total mass; (5) the mean of the two edge bins at step 90 is <= 0.25, so the bump has not wrapped.";
<https://w3id.org/delphi/ontology/preregistered> "false"^^xsd:boolean .
<https://w3id.org/delphi/resource/claim/wolfram2002-ch09-08> <https://w3id.org/delphi/ontology/hasAssessment>
<https://w3id.org/delphi/resource/assessment/wolfram2002-ch09-08--claim-test> .
<https://w3id.org/delphi/resource/evidence/wolfram2002-ch09-08--claim-test--dataset-1>
a <https://w3id.org/delphi/ontology/EvidenceItem>;
dc:description "the one deterministic conserving rule and its density field";
dc:license "generated";
<http://www.w3.org/2000/01/rdf-schema#label> "Dataset: Particle-conserving block involution, 24 runs, width 160";
prov:wasDerivedFrom <https://www.wolframscience.com/nks/p464--conserved-quantities-and-continuum-phenomena/> .
}
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-programs-c-b6e6)";
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-ch09-08/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.933Z"^^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-ch09-08--claim-test>;
<http://www.w3.org/2000/01/rdf-schema#label> "Claim test of wolfram2002-ch09-08: mixed, confidence 0.5";
<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 "XBt4EvMaZpYXzcfJEDGlwCZU4Y4AFa2TlVeo1oKuMUJS4FPgrHMkC7s0Ge2/QVNFCkUnB32qZBB0nkDQoxgSd0lYIx1AxhtUwmoj6s776VwXnfWap8MfaJb/eCROxK+acH/n8X2jWXBRyvnOQ9/8NLMjTwlZlG/2Kdf8sQi7fVgmuV3VAetOaZhC291xbgvxNhxNR5jbsbbarMCLE2NCxrVtCQBFpfDnZPXkGhlvu/+0kwD3KOqRaLkpNfmpxxEwoxP6lnDf7tmEcAzo1OgvrkNrY7543MWK7I+H908BmaP9loVPdgJcW+aqawn3/GNX4cawpRf6wd9nOnpHOIwsWA==";
npx:hasSignatureTarget this:;
npx:signedBy <https://orcid.org/0009-0007-4948-9192> .
}