https://w3id.org/np/RA5Q0zMjotcw_G2Yp1UKDQhmEunRplz71JPwFe0tLUhDw
.trig | .trig.txt | .jelly | .jelly.txt | .jsonld | .jsonld.txt | .nq | .nq.txt | .xml | .xml.txt
@prefix this: <https://w3id.org/np/RA5Q0zMjotcw_G2Yp1UKDQhmEunRplz71JPwFe0tLUhDw> .
@prefix sub: <https://w3id.org/np/RA5Q0zMjotcw_G2Yp1UKDQhmEunRplz71JPwFe0tLUhDw/> .
@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-ch04-11--claim-test> a <https://w3id.org/delphi/ontology/Assessment>;
dc:description "analysis.py computes pi to 1,000,020 digits in base 10 and in base 16 by the Chudnovsky series with exact integer binary splitting (28 s), downloads the published 1,000,000-digit decimal file and the OEIS b-files and compares them digit by digit with the computation, then runs the pre-registered ten-test battery in each base on the first 10^6 digits after the point: chi-square tests of digit, non-overlapping pair and triple frequencies, a 5-digit poker test, a gap test for digit 0, serial correlations at lags 1-3, a maximum-periodogram test and an lzma size comparison with 20 PRNG digit strings. The 20 p-values are counted against the pre-registered thresholds.";
<http://www.w3.org/2000/01/rdf-schema#comment> "Measured: [object Object] p-values of the pre-registered battery (minimum: maximum-periodogram test, base 16) (n = 2000000, deterministic digits; p-values are the tests' own (asymptotic chi-square / normal approximations); the lzma p-value depends on the 20-sample PRNG reference). Interpretation: 'For practical purposes completely random' is read as: a standard battery of statistical tests of the kind used to vet random number generators finds no significant regularity. The claim's scope is 'any base'; bases 10 and 16 are tested (base 2 is tested separately in wolfram2002-ch10-15). Wolfram refers to 'all computed digits' (then about 2 x 10^11); this test examines only the first 10^6 digits in each base, so it can refute the claim (a regularity in a prefix would be a regularity) but supports it only for that prefix and that battery. Normality of pi is an open problem and is not what is tested. The published digit file is used for the decimal tests; the independent computation serves to validate it, and supplies the hexadecimal digits.";
<http://www.w3.org/2000/01/rdf-schema#label> "Claim test of wolfram2002-ch04-11: supports, confidence 0.8";
<http://www.w3.org/2000/01/rdf-schema#seeAlso> <https://github.com/fractastical/delphisci/blob/bf2af6ee0a84e23ffa6414ad7a0a50a8c276506e/test-data/claim-tests/wolfram-nks/wolfram2002-ch04-11/result.json>;
prov:wasAttributedTo <https://w3id.org/delphi/resource/agent/delphisci-claim-tester-claude-opus-5-5>;
<https://w3id.org/delphi/ontology/admissibleDatasets> "Digits of pi from a published digit file whose every digit is checked against an independent exact computation and against an independent tabulation (OEIS); random references from a seeded standard PRNG. Digits must start right after the point and be contiguous.";
<https://w3id.org/delphi/ontology/assessmentType> "claim-test/0.1.0";
<https://w3id.org/delphi/ontology/dataKind> "computational";
<https://w3id.org/delphi/ontology/disconfirmingObservation> "A p-value below 1e-6, or 4 or more of the 20 below 0.01, i.e. a detectable regularity in the digits.";
<https://w3id.org/delphi/ontology/evidenceAgainst> "Chi-square and normal p-values are asymptotic; every cell has expected count >= 5 (smallest: hexadecimal triples, about 81).",
"No positive control (a known non-random digit sequence) was pre-registered for this battery; the same chi-square, serial and compression tests readily reject structured sequences (see e.g. the Champernowne results in wolfram2002-ch10-14), but their power against subtle regularities in pi was not measured here.",
"Only the first 10^6 digits in each of two bases were tested, against roughly 2 x 10^11 digits computed when Wolfram wrote and about 10^14 today; the result supports the claim for this prefix and battery and says nothing about normality, which remains unproved.",
"The pass condition holds with a wide margin: no p-value below 0.01 (smallest 0.080, the base-16 maximum-periodogram test), and lzma compresses pi's digits to within 0.2 and 0.8 standard deviations of uniform random digit strings in base 10 and base 16. The published file agrees with the independent computation at all 10^6 positions and both OEIS b-files agree at 19,999 positions.";
<https://w3id.org/delphi/ontology/expectedObservation> "All 20 p-values from the fixed battery on 10^6 decimal and 10^6 hexadecimal digits of pi are consistent with uniform i.i.d. digits: none below 1e-4 and at most 2 below 0.01.";
<https://w3id.org/delphi/ontology/failCriterion> "Pre-registered. 'refutes' if any p-value is below 1e-6 or 4 or more p-values are below 0.01. Otherwise, if neither the pass nor the refute condition holds (exactly 3 below 0.01, or a minimum p in [1e-6, 1e-4)), 'mixed'.";
<https://w3id.org/delphi/ontology/hasConfidence> "0.8"^^xsd:double;
<https://w3id.org/delphi/ontology/hasEvidence> <https://w3id.org/delphi/resource/evidence/wolfram2002-ch04-11--claim-test--dataset-1>,
<https://w3id.org/delphi/resource/evidence/wolfram2002-ch04-11--claim-test--dataset-2>,
<https://w3id.org/delphi/resource/evidence/wolfram2002-ch04-11--claim-test--dataset-3>,
<https://w3id.org/delphi/resource/evidence/wolfram2002-ch04-11--claim-test--dataset-4>,
<https://w3id.org/delphi/resource/evidence/wolfram2002-ch04-11--claim-test--dataset-5>;
<https://w3id.org/delphi/ontology/hasVerdict> "supports";
<https://w3id.org/delphi/ontology/hypothesis> "The first 1,000,000 decimal and the first 1,000,000 hexadecimal digits of pi after the point show no statistically significant regularity under a fixed battery of frequency, block, poker, gap, serial-correlation, spectral and compression tests, i.e. they are indistinguishable from i.i.d. uniform digits by these tests.";
<https://w3id.org/delphi/ontology/inferenceMethod> "Ten classical randomness tests per base (chi-square frequency, pair, triple, poker, gap; serial correlation lags 1-3; maximum periodogram; lzma size against 20 PRNG references), p-values counted against the pre-registered thresholds at alpha = 0.01 with the binomial multiplicity rule above.";
<https://w3id.org/delphi/ontology/passCriterion> "Pre-registered. For each base b in {10, 16}, on N = 1,000,000 digits after the point, compute 10 p-values: (1) digit frequency chi-square (b - 1 df); (2) non-overlapping pair chi-square (b^2 - 1 df); (3) non-overlapping triple chi-square (b^3 - 1 df); (4) poker test on non-overlapping 5-digit hands by number of distinct digits (probabilities b!/(b-r)! S(5, r) / b^5; categories with expected count < 5 merged into the next); (5) gap test for digit 0 (gap lengths 0..3b-1 and >= 3b against the geometric law with p = 1/b); (6-8) serial correlation at lags 1, 2, 3 (z = r sqrt(N - lag), two-sided normal); (9) maximum periodogram ordinate of the centred digits over the N/2 Fourier frequencies (p = 1 - (1 - exp(-max I / mean I))^(N/2)); (10) lzma (preset 9 extreme) size of the digit string (one byte per digit) compared with 20 strings of N uniform random digits from numpy PCG64 (seed 20261031): two-sided normal p of z = (size - mean) / sd. 20 p-values in total. 'supports' if no p-value is below 1e-4 and at most 2 are below 0.01 (under the null, P(>= 3 of 20 below 0.01) is about 0.1 %). Data validity: the published decimal digits must agree with digits computed independently by analysis.py (Chudnovsky series, exact integer arithmetic) at all 1,000,000 positions, and with the OEIS A000796 b-file; the computed hexadecimal digits must agree with the OEIS A062964 b-file. Any disagreement makes the verdict 'inconclusive' with reason 'other'.";
<https://w3id.org/delphi/ontology/preregistered> "false"^^xsd:boolean .
<https://w3id.org/delphi/resource/claim/wolfram2002-ch04-11> <https://w3id.org/delphi/ontology/hasAssessment>
<https://w3id.org/delphi/resource/assessment/wolfram2002-ch04-11--claim-test> .
<https://w3id.org/delphi/resource/evidence/wolfram2002-ch04-11--claim-test--dataset-1>
a <https://w3id.org/delphi/ontology/EvidenceItem>;
dc:description "the decimal digits tested (downloaded to data/, not committed)";
dc:license "unstated (mathematical constant)";
<http://www.w3.org/2000/01/rdf-schema#label> "Dataset: Pi to 1,000,000 decimal places (Pi-Search page, angio.net)";
prov:atLocation <https://www.angio.net/pi/digits/pi1000000.txt>;
prov:wasDerivedFrom <https://www.angio.net/pi/>;
<https://w3id.org/delphi/ontology/hasChecksum> "sha256:b50ea720602439dcb8a56265b75fadfa4d0a0fbd46d9705693dde14b8a053fb0" .
<https://w3id.org/delphi/resource/evidence/wolfram2002-ch04-11--claim-test--dataset-2>
a <https://w3id.org/delphi/ontology/EvidenceItem>;
dc:description "independent validation of the published decimal digits; source of the hexadecimal digits tested";
dc:license "";
<http://www.w3.org/2000/01/rdf-schema#label> "Dataset: First 1,000,000 decimal and 1,000,000 hexadecimal digits of pi computed by analysis.py (Chudnovsky series, binary splitting, exact integer arithmetic, 20 guard digits)" .
<https://w3id.org/delphi/resource/evidence/wolfram2002-ch04-11--claim-test--dataset-3>
a <https://w3id.org/delphi/ontology/EvidenceItem>;
dc:description "independent tabulation cross-check of decimal digits";
dc:license "CC BY-SA 4.0 (OEIS)";
<http://www.w3.org/2000/01/rdf-schema#label> "Dataset: OEIS A000796, decimal expansion of pi, b-file (20,000 terms)";
prov:atLocation <https://oeis.org/A000796/b000796.txt>;
prov:wasDerivedFrom <https://oeis.org/A000796>;
<https://w3id.org/delphi/ontology/hasChecksum> "sha256:f8772370d624d403f056e3e3d4aadb15fec135d5075b5506053eb86460f4e20b" .
<https://w3id.org/delphi/resource/evidence/wolfram2002-ch04-11--claim-test--dataset-4>
a <https://w3id.org/delphi/ontology/EvidenceItem>;
dc:description "independent tabulation cross-check of hexadecimal digits";
dc:license "CC BY-SA 4.0 (OEIS)";
<http://www.w3.org/2000/01/rdf-schema#label> "Dataset: OEIS A062964, hexadecimal expansion of pi, b-file (20,000 terms)";
prov:atLocation <https://oeis.org/A062964/b062964.txt>;
prov:wasDerivedFrom <https://oeis.org/A062964>;
<https://w3id.org/delphi/ontology/hasChecksum> "sha256:d8e7bd8854beb2ff7d845d98bc6d3c663402f42db1d92701cb875dd5bd60bd8e" .
<https://w3id.org/delphi/resource/evidence/wolfram2002-ch04-11--claim-test--dataset-5>
a <https://w3id.org/delphi/ontology/EvidenceItem>;
dc:description "reference distribution of lzma compressed size";
dc:license "";
<http://www.w3.org/2000/01/rdf-schema#label> "Dataset: 20 strings of 1,000,000 uniform random digits per base, numpy PCG64 seed 20261031 (generated by analysis.py)" .
}
sub:provenance {
<https://w3id.org/delphi/resource/agent/delphisci-claim-tester-claude-opus-5-5> a
prov:SoftwareAgent;
<http://www.w3.org/2000/01/rdf-schema#label> "delphisci claim tester (claude-opus-5.5; cursor local subagent)";
prov:actedOnBehalfOf <https://orcid.org/0009-0007-4948-9192>;
<https://w3id.org/delphi/ontology/usesModel> <https://w3id.org/delphi/resource/model/claude-opus-5-5> .
<https://w3id.org/delphi/resource/model/claude-opus-5-5> a <https://w3id.org/delphi/ontology/LanguageModel>;
dc:identifier "claude-opus-5.5" .
sub:assertion prov:wasAttributedTo <https://w3id.org/delphi/resource/agent/delphisci-claim-tester-claude-opus-5-5>;
prov:wasDerivedFrom <https://github.com/fractastical/delphisci/blob/bf2af6ee0a84e23ffa6414ad7a0a50a8c276506e/test-data/claim-tests/wolfram-nks/wolfram2002-ch04-11/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-claude-opus-5-5> .
}
sub:pubinfo {
this: dc:created "2026-11-08T16:24:31.923Z"^^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-ch04-11--claim-test>;
<http://www.w3.org/2000/01/rdf-schema#label> "Claim test of wolfram2002-ch04-11: supports, confidence 0.8";
<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 "TjdvFsigNn/ZkOJo1Vo2FCcmRrGdK6pI2p4Deh84KuwEH18XsBWnwP6uRcz5k/hRYKZCcda9xzzxFohAvQIq2aKLetyFeuv5WSkpEF6vKuVXa6uLxmN37gMeMbtM7QF7YqYp2MTJn9SHaI++c0lXmM8FLZQ3nygcYyejwU8JhcSOtWeZAeCjy1jMOqw/fq7W4ctT3FZze0/zZRlPE6xxWn8dnldb7aU9rG9tUbU5r772ai2bWfjoMa1YeyOiEUADpHwevTYEq2f3TJnumwWe3NQ72PM0rCCfBH0s5y6oyhVf2sMdc9hl3F7C7cPHeQjc+pedC5yfZhFX3ltkTS1GOg==";
npx:hasSignatureTarget this:;
npx:signedBy <https://orcid.org/0009-0007-4948-9192> .
}