Reproducibility package for 'Exact finite-size corrections for spacelike-volume estimators in causal diamonds: preregistered tests in 1+1 and 2+1 dimensions'

Complete reproducibility package for the companion paper's two preregistered counting campaigns. Contents: per-sprinkling output rows for both campaigns (72 rows each, plus verdict records), the frozen counting and analysis code, seed and stream definitions, run logs, sha256 hash manifests (MANIFEST.sha256), execution-deviation records, figure-generation code and its statistics file, the derivations of record, a separately dated amendment concerning the 1+1 registration's disclosure, and a verbatim copy of the companion Lean 4 formalization (also deposited separately). All tables, slopes, and figures in the paper recompute from these rows; no new sprinklings are included or needed.