Every study, searchable

Many papers relate one National Health and Nutrition Examination Survey (NHANES) variable to one condition without correcting for multiple testing (Suchak et al. (2025)). We sampled 40 associations, reproduced each on its paper's cycles, and under a registered plan re-ran it on 2021–2023. There, 14 replicated as computed, and 10 with the survey design where papers ignored it. Most tests lacked power, but were every association true, 19 would replicate; counts this low are rare (0.047, or 0.011 with the design), so many effects are smaller than published or absent. In 36 papers the computation reproducing the estimate differs in some respect from the one described; as described, 6 fall outside the published interval.

• Published.Published: Of 40 associations sampled at random from those eligible among 341 papers that each relate one NHANES variable to one health condition (eligible meaning, among other rules, that its full text was open and that NHANES August 2021 to August 2023 could build its exposure, outcome, and population), 14 (35%; exact 95% confidence interval 21% to 52%, which treats the associations as independent) replicated in that cycle, meaning their estimate there has the published sign and a Benjamini-Hochberg-corrected p below 0.05, with each analysis computed as its paper's was. Of the 40, 15 were analyzed unweighted, ignoring the survey design, as their papers were; with those 15 fitted with the survey weights and design, as the plan also registered, 10 of the 40 replicated (25%; exact 95% confidence interval 13% to 41%).
• Published.Published: At an unadjusted two-sided alpha of 0.05, which bounds the power of the corrected replication decision from above, 13 of the 40 replication tests had at least 80% power to detect the published effect, taken as true, in the 2021 to 2023 cycle, and 10 of those replicated (77%; exact 95% confidence interval 46% to 95%); at the Bonferroni level of 0.05 over 40, which bounds it from below, 8 had that power, and 5 of them replicated. With the variance of the analyses re-run unweighted taken from the survey design, 13 tests had that power at the unadjusted level, 12 of them among the 13 above, and 9 of them replicated.
• Published.Published: On the analysis scale (log odds ratio or regression coefficient), the 2021 to 2023 effects are a median 0.77 times the published ones over all 40 associations (distribution-free 95% confidence interval 0.32 to 1.05) and 0.91 times (0.32 to 1.16) over the 13 informative ones; the intervals treat the associations as independent. The median is 0.53 over the 15 analyses re-run unweighted and 0.79 over the others; with the registered weighted fits in place of the unweighted ones, it is 0.85 (0.35 to 1.08).

12 more claims

How sensitive is national absolute carbon decoupling to the emissions boundary and comparison years? A descriptive audit of frozen public carbon inventories and inflation-adjusted gross domestic product covers 118 economies. Between 2015 and 2023, 48 have growing output and falling territorial emissions, 44 meet the consumption definition, and 39 meet both. The joint count is 22 using the pre-pandemic endpoint and 32 using averaged endpoints. These classifications describe the specified snapshots and definitions; they do not establish causal mechanisms or adequate emissions reductions.

• Published, Reproduced, Reviewed.Published, Reproduced, Reviewed: In the frozen Global Carbon Budget 2025 and World Bank complete-case panel of 118 economies, the 2015-2023 endpoint definition (positive real GDP change and negative fossil-carbon change) yields 48 territorial, 44 consumption, and 39 joint absolute-decoupling cases, including 9 territorial-only and 5 consumption-only cases. The joint count becomes 22 for 2015-2019, with 25 classification changes, and 32 for arithmetic-mean 2013-2015 versus 2021-2023 endpoints; 8 economies qualify jointly under all four specified endpoint windows and the smoothed comparison.

Implementations of this protocol must agree byte for byte on claim IDs, bundle hashes, Merkle log proofs, signatures, and the IDs operators and volunteers go by. This fifth version adds vectors for IDs no log assigns: an operator's ID is op: and the SHA-256 of its first public key, a volunteer's is obs: and that of their first passkey, and an entry's digest as signed lets two logs compare entries. The log's example leaves now name their operator by ID. An independent checker recomputes every vector with 0 claim-ID, 0 bundle, 0 log, 0 signature, and 0 ID mismatches, and accepts none of the invalid cases. Hashing Python's json.dumps output still gets 3 of 20 claim IDs wrong.

• Published, Reproduced, Reviewed.Published, Reproduced, Reviewed: The claim-ID test vectors in data/claim-id-vectors.json are correct: an implementation written independently of the reference node recomputes every listed claim ID from the claims.json text, verification inputs, and declared results given with it, rejects every claims file listed as invalid, and computes no ID for any case listed as unresolved, where a claim names a result the bundle doesn't declare.
• Published, Reproduced, Reviewed.Published, Reproduced, Reviewed: The bundle test vectors in data/bundle-vectors.json are correct: an independent implementation recomputes every listed file digest, bundle hash, and verification-inputs digest over the files under code/, env/, data/, and proofs/, and rejects every path set listed as invalid.
• Published, Reproduced, Reviewed.Published, Reproduced, Reviewed: The log test vectors in data/log-vectors.json are correct: an independent implementation of RFC 9162 recomputes the empty-tree root and every listed root hash, inclusion proof, consistency proof, and example leaf hash; every listed proof verifies, and every proof listed as invalid fails; and each example leaf holds its entry with every signature replaced by the SHA-256 of the signature's canonical JSON, over a signed entry that verifies against its operator's key; and each key entry's leaf names its operator by the ID that key makes.

3 more claims

Can repeated rounding hide escape even when a Mandelbrot parameter is exactly representable? We construct the first binary floating-point successor of the real cusp and give an elementary invariant argument: both separate rounding and single-round evaluation keep its computed critical orbit below an absorbing boundary, although its exact orbit is unbounded. An exact rational simulator and directed integer enclosures check 22 precisions. At single precision, the stationary transitions occur at 8999 and 9532, while the exact orbit first escapes at 18196. This supplies an adversarial numerical test family; it does not claim discovery of rounding artifacts or slow escape.

• Published, Reproduced, Reviewed.Published, Reproduced, Reviewed: For all 22 precisions p from 3 through 24, the supplied exact-dyadic benchmark reaches the stationary value 1/2 under both rounding models and certifies finite exact first escapes, with first stationary transitions 8999 and 9532 and exact first escape 18196 at p=24.
• Published, Reviewed.Published, Reviewed: For every binary significand precision p >= 3, the exactly representable parameter c_p = 1/4 + 2^(-(p+1)) has an unbounded exact critical orbit, while both nearest-even recurrences RN_p(RN_p(x_n^2)+c_p) and RN_p(x_n^2+c_p), starting at zero, stay in [0,1/2] for every iterate, with 1/2 absorbing.

We provide an explicit rational parameter for every finite iteration cutoff. Its critical orbit remains uniformly below the usual escape radius throughout the cutoff, although an elementary growth argument proves that it eventually escapes. The contribution is a deterministic adversarial test family, a short uniform proof, and a certified finite benchmark. Integer enclosures and Arb ball arithmetic agree on 7 cases, with first-escape counts [23,61,212,815,3228,12879,51482]. Slow escape near the real parabolic cusp is established in the literature; we claim no discovery of that phenomenon or of its asymptotic law.

• Published, Reproduced, Reviewed.Published, Reproduced, Reviewed: The exact-rational benchmark parameters generated from cutoffs [1, 4, 16, 64, 256, 1024, 4096] have first critical-orbit escape iterations [23, 61, 212, 815, 3228, 12879, 51482], with all 7 counts certified and matched by integer dyadic enclosures and Arb ball arithmetic, and all 49 exact-rational control checks passing.
• Published, Reviewed.Published, Reviewed: For every integer T >= 1, the real parameter c_T = 1/4 + 1/[16(T+1)^2] has critical iterates z_0 = 0 and z_(n+1) = z_n^2 + c_T in [0,17/32] for 0 <= n <= T, but an unbounded critical orbit.

How does repeated monitoring change false-positive rates for a coin-toss test? This resource computes exact rejection probabilities and expected observation counts using integer path weights. At the selected horizon, a fixed binomial test rejects a fair-coin null with probability 0.04431304005703379, repeated binomial testing with probability 0.20205809786793333, and a likelihood-ratio test with probability 0.04088964341296718. The benchmark provides 36 scenario rows and passes 18 exhaustive-enumeration comparisons. It supplies an auditable numerical illustration of established optional-stopping behavior, without asserting a new statistical theorem.

• Published, Reproduced, Reviewed.Published, Reproduced, Reviewed: A dependency-free exact-path benchmark computes rejection probabilities and expected sample counts for fixed, repeatedly monitored, and likelihood-ratio tests across the declared Bernoulli scenarios, and agrees with exhaustive enumeration in every declared oracle case.